软件测试的一种数学优化方法──由Fokker Planck方程得到的Markov链算法

从数学优化角度对软件测试问题进行探索性研究，将软件测试中的结构测试问题转化为一个组合最优化问题，然后利用Ｆｏｋｋｅｒ－Ｐｌａｎｃｋ方程的离散形式而得到的Ｍａｒｋｏｖ链为基础的一个算法求解．最后给出了几个测试实例的部分数值结果。     

Windows应用程序结构剖析及运行控制技术

分析了Ｗｉｎｄｏｗｓ系统的运行机制，指出Ｗｉｎｄｏｗｓ编程与ＤＯＳ编程的本质区别．以ＢｏｒｌａｎｄＣ＋＋为工具，剖析了Ｗｉｎｄｏｗｓ应用程序结构，探讨了控制其运行的技术．以多媒体数据库中实时挂接视霸卡捕捉的图像数据为例，说明了运用该技术对不同工具开发的Ｗｉｎｄｏｗｓ应用程序的运行实施控制的方法     

DCS监督操作软件的设计方法研究

从中小型企业的生产实际出发，分析小型集散控制系统应具备的基本功能，工作特点，系统中各生产对象间的关系及对象内部的结构特点，并以此为基础提出一种采用分层方式组织数据的ＤＣＳ监控软件设计方法。     

链参技术及其在计算机管理信息系统中的应用

介绍链参技术的特点，也给出单链参数据结构设计，链参队列结构设计，链参表结构设计。还展示出了一个正在研制的ＭＩＳ软件的工作原理和实现方法     

AutoCAD与自动编程接口软件设计中文本的处理

本文介绍了AutoCAD与数控系统自动编程的接口软件中有关文本的处理及编程,通过该软件可把AutoCAD描述的文字自动生成数控加工指令,并转换为计算机自动传输要求的数拓格式。     

一个STD总线的开放式单片微机开发系统

介绍一个ＳＴＤ总线的开放式单片微机开发系统．对硬件断点逻辑电路和系统的软件开发环境作了深入的分析．     

42CrMo钢回火方程的建立

通过回归分析给出了４２ＣｒＭｏ钢的回火硬度、回火温度及回火时间的函数关系式。该关系式具有精度高，使用方便。同时分析了回火参量Ｐ＝ｆ［Ｔ（Ｃ＋ｌｇτ）］的算法，指出了其存在较大误差的原因     

钻井环空固液两相流压降模型理论分析

针对直井钻进过程中环空内岩屑运移的特点，对环空中固液两相流动压降进行了理论分析。采用因次分析的方法综合考虑了影响压降的诸多因素，导出了固相摩阻系数与傅劳德数之间的关系，提出了总摩阻系数的理论计算公式，修正了过去计算环空压降时忽略固相引起的压降，为准确进行水力优化设计提供了参考依据。     

微机控制防盗监控报警系统

介绍微机控制防盗监控报警系统的工作原理，系统组成，控制软件，抗干扰措施及发展设想，运行结果表明该系统功能强，灵敏度高操作方便。     

一种 Hoare 逻辑软件复用部件的匹配描述

提出了一种基于Ｈｏａｒｅ逻辑的软件复用部件的匹配描述，它为建立复用部件库的检索机制以及软件的自动化生产提供了理论描述．