【摘 要】
：
针对目前语音通信软件设计中的困难,该文对通信流程形式化逻辑描述方法进行了研究.根据语音通信软件中呼叫控制过程的特点,该文使用状态推导图对通信流程进行建模,并结合人工
论文部分内容阅读
针对目前语音通信软件设计中的困难,该文对通信流程形式化逻辑描述方法进行了研究.根据语音通信软件中呼叫控制过程的特点,该文使用状态推导图对通信流程进行建模,并结合人工智能理论中的逻辑知识表示和推理方法,实现了通信流程的形式化描述,提出在分析和设计阶段利用计算机帮助程序员对通信流程的正确性进行部分验证的方法.该文设计的动作推导引擎模型(ADEM)是一个可复用系统框架,整合了该文的主要研究成果.ADEM模型采用流程输入的方法,将系统的逻辑推导信息显式表现出来,能直接体现系统的设计思想,实现程序自动生成程序;在分析和设计阶段能辅助程序员进行部分验证和检验工作,在一定程度上保证系统分析和设计的正确性;在系统运行过程中,能实时反映系统内部状态,帮助程序员监控和排除系统的异常.采用ADEM模型作为系统框架,提高了代码的重用,减少软件出错的几率,并且程序可读性、可扩充性和易维护性也都得到提高,有利于进行错误定位.该文的研究成果已经在中山大学软件研究所的CTM(计算机电话管理)系列产品中得到很好的应用,在实践中证明了ADEM模型有效性.
其他文献
嵌入式网络计算中，多服务代理技术的优势就是通过服务代理之间的协作，完成单个服务代理不能完成的任务或以更高的效率完成任务。一方面，嵌入式网络设备由于计算资源严格受限，随着
随着企业信息系统的普及和整个社会电子商务的发展,现代企业的运作日益依赖于信息技术.数据的高可用性、安全性对企业来说至关重要.同时许多企业和机构要求保证业务的连续性,
随着社会分工越来越细,单位的业务也越来越多样化,单一的信息系统已经无法满足和适应多方面的需求,使得一个单位往往是同时使用多个信息系统.而这些系统由于开发商或者采用的
随着ICAI(Intelligence Computer Assisted Instruction)技术的不断发展，其在许多学科领域已得到了广泛的应用。比如，在数学方面有著名的Geometry Tutor、BUGGY系统、张景中的
关联规则挖掘算法使用格理论中的组合特性来将原始问题分解为许多更小的互相独立的问题.最有名的和最有影响力的算法包括Apriori算法和FP-growth算法.这些算法在所有的最大频
论文以山东路政管理系统为政务背景，综合分析了其网络现状面临的威胁和风险，从系统安全和信息安全两个角度提出了山东路政内网安全机制的整体设计方案。 路政工作涉及的信息
近几年来，由于优秀的Java语言和J2EE体系结构的快速发展及成熟，越来越多的框架技术迅速出现，这些框架多处于低层应用平台(如J2EE)和高层业务逻辑之间的中间层，且大多采用MVC模式
皮影艺术由戏剧和造型两种艺术结合并发展而来，是民间传统艺术的瑰宝。然而，目前皮影戏的现状却不容乐观，特别是在“影人”的制作、皮影戏的表演、传播等很多方面存在不可避免的
本文从分析电子商务目前所面临的困境出发,提出当前电子商务发展的主要障碍是在Internet上企业间数据格式混乱,无法进行有效的信息交换的问题。然后从XML及HTML的技术比较入
当前,手机短信引起社会各界的关注.服务提供商(目前多为短信内容提供商)作为手机短信内容的主要来源,在短信增值业务价值链条中扮演着重要的角色,短信业务的繁荣特别是今后的