项重写系统弱基终止性的归纳证明

1.引言项重写系统是一种受到广泛研究和应用的形式计算模型。一个项重写系统由一组称为重写规则的定向等式组成。例如,下面的R是一个由五个重写规则组成的、定义用({0,s})表示的自然数集N上的两倍函数d(x)=2×n:N→N的项重写系统:     

半正则重写系统及其合流性

本文着重研究重写系统的合流性,通过引入符号测度的概念,本文定义了半正则重写系统,并证明了半正则重写系统的合流性。     

高效率重写型程序的设计

本文考虑如何设计高效率(即重写步数较少的)重写型程序。文中以计算Fibonacci数列的程序为例．比较具有相同功能的重写型程序,展示编写高效率重写型程序的可能性。介绍利用动态项重写计算编写高效率重写型程序的直观、简洁的方法。其中．动态项重写计算是项重写系统的元计算模型,其计算同样基于项重写。     

基于重写方法的程序开发系统的设计和实现

本文介绍了一个基于重写方法的程序开发系统的设计和实现。该系统使用代数规范说明语言和扩展的函数式语言合成而形成的混合语言进行程序设计。系统将代数规范转换为合流的重写系统，并以平行最外方法辅以必要归约进行计算。该文详细介绍了系统的原理和实现技术，并以一些实例说明了系统的特点。     

项重写系统等价性的归纳证明

尽管学者们在计算机软件理论及相关数学理论方面做出了不懈的努力,但伴随着计算机硬件的高速发展而来的软件危机却日益严峻,其原因复杂多样。其中,主要原因之一是缺乏程序验证的方法和工具。程序设计的主要步骤有:描述问题、设计程序、实现程序及测试程序。需要注意的是,这里是测试程序的正确性而非证明程序的正确性,这样程序的正确性就不能从根     

项重写系统的并行实现方案

项重写系统的并行归约可以提高归约的效率，在无共享内存的Ｔｒａｎｓｐｕｔｅｒ网络上实现时要考虑任务的分配，项的拼装，归约任务的控制等问题，其中怎么样减少机间的机内进程的通信慢提高系统效果的关键。本文从控制方式角度讨论在不同拓扑结构的Ｔｒａｎｓｐｕｔｅｒ网络上实现项重写系统的方案，重点介绍基于树形结构下的控制方法，进程安排和通讯形式。     

模式化简序与重写系统的终止性

本文引入了模式化简序的概念,并给出了基于模式化简序的重写系统终止性判别方法。本文还着重研究了模式递归路径序,同时定义了重写规则相对模式集的上下扩张概念,以此给出了用模式递归路径序判别终止性的有效方法,原有的递归路径序是模式递归路径序的一个特例。     

基于重写技术的程序开发与验证

完整地介绍了一个基于重写技术的程序开发和验证系统,重点展示验证子系统的理论、方法 和技术.验证子系统使得系统能自动证明程序和规范中的优化规则及测试等式,从而进一步保 证程序开发过程的正确性.验证子系统所采用的主要技术是以成批证明方法和证据测试集为 特色的重写归纳方法.     

直观的函数分割型程序设计系统VFDP

本文提出一种直观的函数分割型程序设计系统ＶＦＤＰ。     

具有主动功能的程序设计语言及其实现技术

本文将提出一种主动程序设计语言的概念，它将改变一般程序设计语言只能用来编制被动执行的计算机程序的惯例，可使由该程序设计语言实现的系统具有主动提供各种服务的功能，使得诸如实时监控和报警功能（包括系统状态、性能、安全、故障或错误等的监控）、异常或错误的主动处理和自动恢复功能、系统瞬时状态或关键点状态的自动输出功能、适应多部门（或专家等）合作解题所需的通信和同步功能、演绎推理功能、灵活的实时处理能力、系     

基于Python的混合语言编程及其实现

Python是一种被广泛使用的脚本语言,它特别适用于混合语言编程的软件开发。本文介绍了Python语言的特点,给出了混合运用Python语言和系统编程语言开发的软件结构,并在此基础上开发了一个类似Logo语言的交互式绘图应用。     

成员系统模型及其归约

本文提出了一种基于有限关联团块观点的成员系统模型，主要针对不确定性情况给出了其归约操作的形式化描述，讨论了它与产生式系统的关系，并根据该模型及其归约过程，成功地设计实现了一种并发成员系统程序计算语言，对研究支持多种ＡＩ问题求解的模型及其语言做了有益的尝试。     

领域语言模型及其在中文输入系统中的应用

提出一种构建领域语言模型的策略,并基于余弦相似度提出一种模型融合的方法,以便将领域语言模型融入动态自学习语言模型,该语言模型可应用于中文输入系统.实验表明,加载了领域语言模型的中文输入系统不仅降低了平均码长,而且显著提高了首字命中率.     

Sigma系统中数据依赖关系分析的完善与增强

文中在分析了Ｓｉｇｍａ系统中数据依赖关系测试算法的基础，修正了其算法中的不足，同时，为提高测试的精确度，针对距离量法提出了边界测试的思想，针对消元提出了将消元法和Ｂａｎｅｒｊｅｅ不等式相组的思想，为提高系统效率，提出了不相交子方程组的思想。     

一个装配机器人离线编程系统的设计与实现

机器人离线编程系统是机器人应用开发的有效工具。本文给出一个智能装配机器人离线编程系统ＡＲＰＳ。该系统提供了一个良好的机器人程序开发和调试环境。用户可采用交互方式建立机器人及环境模型，用操作手级的机器人语言ＡＲＬ描述机器人作业，通过图形仿真调控机器人程序，目标程序与数据通过串行口下装到机器人控制器。     

UNIX操作系统下FORTRAN语言与C语言混合编程的方法

本文介绍了在ＵＮＩＸ操作系统下，用Ｃ语言和ＦＯＲＴＲＡＮ语言进行混合编程的技术，讨论了二种语言之间进行数据交换的方法，以及子程序之间相互调用的方法。     

极限编程在进销存管理系统开发中的应用

极限编程是敏捷方法中最著名的一种基于实践的软件开发方法.通过介绍极限编程的特点以及在进销存管理系统项目开发中的实践,探讨研究了极限编程对于需求易变的小型信息管理软件开发项目应用的优势.