1993, 4(1):1-5.
摘要:本文依据软件开发过程是软件的观点,首先讨论了它的控制结构与数据结构的含义;通过对其宏观结构的分析,给出了软件开发活动的三种基本控制结构,即正则结构、回溯结构、并行结构;在此基础上,讨论了它的控制的复杂度和描述的完备性问题;最后,给出了实例。
1993, 4(1):6-11.
摘要:本文证明了调解法的提升引理,以及输入调解法对Horn集的完备性,进而证出了单元调解法对Horn集的完备性。
1993, 4(1):12-14.
摘要:本文描述了采用规则与人工神经网络表示知识的专家系统,一种前向式神经网络模型及其学习算法,表明采用多种形式表示知识有利于提高系统的灵活性和有效性。
1993, 4(1):15-21.
摘要:抽象语法表示ASN.1在OSI网络高层协议的描述与开发方面起着重要的作用,本文介绍了ASN.1支持工具的构成及基于ASN.1的OSI网络应用层协议的开发环境,并给出了开发实例。
1993, 4(1):22-28.
摘要:在多处理机系统中,负载平衡是提高并行处理效率的一条重要途径。基于分布存贮的TRANSCUBE多处理机环境,本文提出一种分布式动态负载平衡算法。算法采用接收者开始的异步调度策略,通过“握手”协议在空载和重载处理机间建立联系,并自动实现任务(或进程)从重载处理机到空载处理机的迁移,该算法适于并行解具有动态特性的应用问题,而且在问题规模较大和处理机负载变化较慢时,性能较好。
1993, 4(1):29-36.
摘要:代码移动方法是编译程序全局优化的一个关键技术,本文将介绍一种新的代码移动算法,用此算法就可实现公共子表达式的删除和循环不变运算的移动,而且此算法无需检测循环控制结构,只要通过数据流分析就可实现代码移动,因此这种方法十分有效。
1993, 4(1):37-42.
摘要:CASS1是用代数化简方法设计的计算机代数系统。本文讨论CASS1的几个重要算法,包括:有理表达式的规范化简算法、非嵌套根式表达式的规范化简算法以及一类超越表达式的化简算法等。CASS1是用算法描绘语言ALDES语言实现的,是计算机代数系统建造规范化的一种尝试。
1993, 4(1):43-49.
摘要:面向对象的程序设计(OOP)以多种面貌广泛地出现在AI系统中,面向AI的OOP模型与结构依赖于对AI中对象的理解,以及相应的Al软件开发方法。本文提出在三个层次上,即世界观的层次上,方法论的层次上以及语言与环境的层次上,理解OOP。我们根据AI中知识表示假设,将AI软件中的对象规定为智能代理者(intelligent agent),并在此基础上讨论了Al软件的OOP方法学和结构,最后我们介绍反映上述思想的人工智能语言及其环境ROOT。
1993, 4(1):56-64.
摘要:面向对象软件开发是一种极有生命力的软件方法学,它导致了全新的求解问题的方法。为了快速构造支撑软件详细设计和编码的结构编辑器SE,我们已研制了一个能够生成SE,作为元工具使用的生成系统。SE的核心是基于面向对象概念的语法制导编辑程序,设计SE的关键问题之一是在系统内部如何用类的概念来表达靶语言的各种语言成分。本文简要介绍了设计思想、SE和生成系统的设计及其实现。