FMS运行控制软件调试环境排错功能的实现

FMS运行控制软件调试环境的主要职能是利用计算机模拟柔性制造系统环境．为FMS运行控制系统或单元控制器提供一种计算机辅助形式的调试和测试手段．其中，对FMS运行控制软件测试排错是FMS运控软件调试环境的基本功能之一。该文在Petri网（PN）理论基础上，在库所中引入结构，提出一种新的高级PN模型MPN（Macto Petri Net），这种模型对币同的FMS环境配置具有开放性．测试驱动下的运控指令序列转化为对应的MPN状态变迁，可应用PN理论实现对被测系统软件的测试排错。     

变电站高压电气设备绝缘诊断专家系统的开发

介绍了能对各种变电站高压气电气设备进行绝缘诊断的专家系统，讨论了它所采用的知识表示方法，诊断方法和其诊断过程，实例验证结果表明，它具有较高的可靠性。     

MATLAB在计算机控制系统中的应用

本文简要介绍了计算机控制系统的设计方法．同时，通过ＭＡＴＬＡＢ的设计实例，说明了在计算机控制系统中，ＭＡＴＬＡＢ速度快、使用方法简便等优点，是控制工程设计中不可多得的工具。     

FoxBASE通用查询程序设计

介绍了一种ＦｏｘＢＡＳＥ中数据库的通用查询程序．利用该程序，可以实现数据库的任意条件查询、增加、删除、修改等相关操作，并可利用宏代换对不同的数据库进行操作．该程序可以极大地减轻编程工作量．     

面向复杂连续系统仿真程序的自动并行化模型及其实现

有效的自动并行化能够帮助用户充分利用并行计算机的资源。本文介绍了我们自行设计的面向复杂连续系统仿真程序的自动并行化模型ＡＳＰＭ,并着重讨论了基于该模型的自动并行化系统、其特点及所解决的几项关键技术     

一重循环结构的分类及其循环不变性质的讨论

分析了一般一重循环结构的组成要素，按组成要素给出了一重循环结构的初步分类及其程序函数，并且利用不变式状态定理讨论了 样分类下的循环不变式。     

复杂平面连杆机构型转化法运动分析及其通用程序

以型转化理论为依据，给出了含Ｐ副平面连杆机构型转化单元运动分析的数学模型及机构运动分析的算法。开发了一个通用程序ＫＡＰＭ（ＫｉｎｅｍａｔｉｃＡｎａｌｙｓｉｓｏｆＰｌａｎａｒＭａｃｈａｎｉｓｍｓ），实现了含Ｐ副及复铰的平面连杆机构从结构分解到运动分析全过程的自动求解。     

编辑程序文本缓冲区的设计

本文根据编辑程序应用的范围、设计要求的不同给出了三种文本缓冲区的设计方法（线性结构、链式结构和链式线性结构），并分析了各种方法的优缺点；对于链式结构，给出了一种在８０８８及其兼容机环境下的具体实现方法．     

列车超速防护系统中主机自诊断方法

分析了 CPU,ROM,RAM 的几种故障检测方法,针对列车超速防护系统主机工作的特点,实现了系统开机时完备的主机功能级自诊断(包括关键 I/O 口)和工作中短时问的周期自检.利用主机中双 CPU 工作的特点,通过双口 RAM 通道,完成双机互检.能监视程序执行行为特征,发现单 CPU 故障或程序跑飞,并对 CPU 的执行结果进行合理性检测,提高了整个系统的故障检测覆盖率.还对故障检测覆盖平及检测代价做了评估.     

关于求已知do循环不变式的一个方法及for循环的WP的定义

对确定性do循环,利用其WP求出循环不变式.给出了for循环的话义定义.