该文根据我们软件所提出且已在CTM系统中实现的动作推导引擎理论,结合模型诊断的思想、并集成基于决策树和神经网络理论混合学习算......

针对目前语音通信软件设计中的困难,该文对通信流程形式化逻辑描述方法进行了研究.根据语音通信软件中呼叫控制过程的特点,该文使......

本文根据文[2]介绍的软件管理者方法,提出了基于动作推导引擎的软件管理者方法.软件管理者单元是一种自动的实时监控软件故障的软......

提出了一种基于动作推导引擎(Action Derivation Engine,ADE)的语音通信中间件MVCM(Model of voice CommunicationMiddleware).它......

动作逻辑作为描述程序行为的语言．常应用于智能机器人的开发上。该文把动作逻辑作为程序设计中的一种形式化语言，把动作解释为造成系......