摘要:本文从分析系统软件传统模型的特点和局限性出发,介绍了永久性对象存储的概念,在此基础上,从实现的通用性和可移植性考虑,讨论了面向对象系统软件的分层构造模型,最后,围绕着分层模型,我们试图以一种统一的观点,就面向对象系统软件各部分之间的功能分配及相互关系等方面,阐述了我们的有关认识。

摘要:LogC语言和环境面向知识推理,旨在为包括专家系统在内的一大类智能软件系统设计提供一般目的的集成化环境支持,本文从知识表示、推理效率和环境结构化等三方面阐述LogC语言和环境的设计特点。

摘要:本文提出了一种基于拓扑法的多关节机械手无碰路径规划方法,文中重点讨论了三关节机械手路径规划时如何划分状态空间、判别各连通块之间的连通性以及路径搜索等问题,最后我们给出了一个实验结果以示该方法的有效性。

摘要:本文首先引入了“变换型语言”的概念,给出了代表这种语言特征的机制:“变换模块”和“变换控制命令”的具体定义;举例说明了如何使用“变换模块”描述一个抽象数据类型的部分实现,并通过“变换控制命令”来完成程序中抽象变量及有关操作的变换过程;最后,讨论了变换型语言表示的抽象性,一般性和控制的灵活性,以及变换型程序的正确性等问题。

摘要:本文提出了“面向对象的语义关联数据模型(CIM-OSA DM)”理论,在扼要介绍CIM-OSA DM的基础上,侧重于形式化地定义“对象”、“对象类”及类之间的“语义关联”,按照“对象”和“对象类”统一的观点,又进一步形式化地定义了“对象相等”、“对象类相等”、“子对象类关系”以及“子对象关系”,并采用严格的数学证明论证了它们具有的重要性质,最后提出“对象代数”并形式化地定义对象可执行的几种代数运算。

摘要:本文在分析现有验证技术的基础上,提出了实体自动机化简方法和错误优先的搜索算法(EFSA),同时介绍了根据上述策略建立的以ESTELLE为描述模型的协议自动验证系统APVS.

摘要:复杂对象是现实世界复杂实体的抽象与描述,CIMS、CAD和OA等许多应用领域需要定义和操纵复杂对象,本文给出了复杂对象模型的定义,并论述了面向对象数据库系统WHYMX的复杂对象并发控制机制。

摘要:本文对解释学习近期的研究进行了论述,包括解释学习机制,当前解释学习研究的几个重要问题:如可操作性的形式化定义、典型解释学习过程的解释与概括、针对不完善领域理论的多种解决办法等,还就解释学习特点、总体发展状况及今后研究方向提出了看法。

摘要:本文介绍了一个用于编译程序测试的程序自动生成器,该生成器以编译程序对象语言的前后文无关文法作为输入,根据该语言的具体特点,对语言的数据对象采用了一种表结构的描述方式,并通过对表的操作,有效的解决了语言的前后文相关问题,该生成器不但可按语言文法的描述自动生成覆盖该语言各种语法现象的程序,而且还可按用户要求生成具有某种语法现象的程序,另外,该生成器在生成策略、生成算法及推导机制等方面也有自己显著的特色。

摘要:本文给出一个判定∑上的任意串s是否为一正则语言L中某个串的子串的算法,即设s为∑上的任一串,L是∑上的任一正则语言,则s为L中某个串的子串,当且仅当s为集合V_n={w∈∑|w∈L,|w|≤2n+k-2}中某串的子串,其中k=|s|,n是某个自然数。