摘要:本文根据作者近年来研讨软件开发方法的工作和开发软件工具的经验,总结了模型开发方法,提出了模型方法的支持工具MTOOL,文章归纳了模型方法的开发过程和描述手段,详细介绍了MTOOL的组成和工作过程,给出了模型描述语言MSL的主要文法内容,讨论了MTOOL的设计思想和有关实现技术。

摘要:本文提出了一种用知识与知识处理观点统一智能决策支持系统的方法,这种方法能使智能决策系统接口方便,构造简单。 目前,我们正在研制一个基于这种方法的智能决策支持系统NCIDSS,它有很多有别于其它智能决策支持系统的特点。

摘要:本文讨论了NDIPS系统中基于轨迹的归纳程序综合方法。该方法对问题求解机制产生的或手工给出的程序执行轨迹,使用匹配识认算法找出其递归关系,进而生成目标程序,文章从理论和实现上对这种方法进行了探讨,用hanoi程序的归纳综合为例展示了方法的使用。

摘要:本文将分布式问题求解应用背景分为层次结构与平行结构两大类;给出了二维平行结构类问题的形式化描述,讨论了二维平行结构类问题的集中式与分布式求解方法以及计算复杂性。结果表明:基于知识的解法是可行的;分布式求解在提高问题求解速度与减少内存空间方面具有优越性。

摘要:结构测度对于判别重写系统的合流性是极为重要的,本文着重研究结构测度的有效定义方法。本文引入了压缩路径序概念,只要给出符号集上了拟序关系和相对该拟序关系协调的压缩结构,即可方便地生成良拟序的压缩路径序,同时可以有效地检查这一路径压缩序是否为给定重写系统的结构测度,本文提出的方法有力地支持了在非终止条件下对重写系统合流性的判别。

摘要:针对统计与科学数据库的应用要求,本文以语义数据模型MICSUM2为基础,以C—关系、原子统计表和复合统计表为操作对象,定义了统计与科学数据库上的操作。这些操作构成了C—关系、原子统计表和统计表集合上的代数,简称MS代数。MS代数从两个方面扩展了关系代数,一是MS代数操作具有更丰富的语义和更广泛的操作对象;二是MS代数包括很多支持统计分析查询的新代数操作,MS代数是构造对用户友好的统计与科学数据库查询语言的理论基础。

摘要:现有的排序算法,长记录位置不变算法时间复杂性还是O(N²),不能满足大规模信息处理需要。本文在文献[1,2]基础上,提出了一个提高排序速度的新算法,这一算法关键字与数组下标作映射处理,不实施反复比较和交换关键字的操作,时间复杂性达到O(N),适宜今后在大规模信息处理中广泛应用。

摘要:本文给出分段快速排序方法,对于给定的N个数据记录,此方法的最大平均排序时间为O(N)。本文最后给出利用三种快速排序方法在IBM—PC机上分别关于均匀分布数据记录和正态分布数据记录进行排序的实验结果。

摘要:本文对半连接运算进行扩展,提出一个新的循环查询求解方法——标志位映射法,该方法能将循环查询中的所有关系完全化简,代价为5n—4次相邻结点间的数据传输,其中n为查询图中的结点数。