摘要:本文着重研究重写系统的合流性,通过引入符号测度的概念,本文定义了半正则重写系统,并证明了半正则重写系统的合流性。
摘要:本文给出了一种新的随机计算的机器模型:概率无限寄存器机器PURM,它比概率Turing机(PTM)更为简单。我们证明了PURM程序与可计算的PTM之间的等价性。基于对PURM程序的构造,我们给出了随机函数可被PURM程序或可计算的PTM模拟的充分条件。最后,讨论了PTM和PURM的一些简单性质。
摘要:本文提出了无向图(k,m)最优划分的一个近似算法,证明了这是一个产生近似最优解的多项式时间算法。在最坏情况下,该算法的性能保证为一个参数k所界定,这里k是与问题输入尺寸无关的。
摘要:软件功能形式规格说明的获取是软件自动化领域中十分重要的问题。本文采用概念学习与前件推导机制相结合的方法完成从软件功能实例规格说明到软件功能形式规格说明的自动转换,并能在某种意义下保证转换结果具有一定的合理性。
摘要:DFSES系统采用了一种缺省推理方法,大大地提高了该系统的决策能力,本文介绍了DFSES系统中的缺省理论及其扩张,并阐述了基于这些思想和类树形知识结构的特点缺省推理的实现。
摘要:随着计算机技术的发展,瀑布式软件开发模型日显不足,探索研究新的软件过程模型势在必然,CASE环境EASYCODE对此作了有益的尝试。本文在对传统的生命期模型作了简析后,讨论EASYCODE软件过程模型的特点,并阐述支撑该模型的基于知识的程序生成。
摘要:本文着重讨论了面向对象的基本思想和逻辑程序设计思想的关系,比较了各自的优缺点和相互补充的可能,从新的角度论述了将面向对象程序设计与逻辑程序设计相结合的一种可行途径,最后,提出了一系列具体的实现方法。
摘要:数据库应用程序转换问题已经在广泛的领域内进行了研究。本文首先综述了该领域的研究,总结了各种转换方法并归纳为三类,即基于语法的方法,基于语义的方法和基于规则的方法,着重讨论了分布式数据库查询系统DQS/SEIS中所采用的转换方法。
摘要:本文论述了“一体化MIS快速开发自动生成器系统CDBAG—4GL”的设计思想、方法和实现技术等,并对其系统构成设计、用户接口设计以及系统特点作了简要介绍,“CD-BAG—4GL”已商品化,它支持全新的MIS开发新方法——“快速原型法”;它采用高度非过程化的第四代语言作为友好用户接口;它根据用户需求定义即可快速自动地生成相应的具体MIS;它为应用开发人员和最终用户提供一个综合的全面的一体化的快速开发工具和环境,是成数量级的提高MIS开发效率、质量、缩短开发周期、降低开发成本的有效途径,是促进MIS开发走向标