净室软件工程探讨

净室软件工程是软件开发的一种形式化方法，它使用盒结构规约进行分析和设计建模，强调将正确性验证作为发现和消除错误的主要机制，从而大大提高了软件的质量。论述了净室软件工程的理论基础及所使用的主要技术，并阐述了净室过程与其他软件工程实践的关系。     

带优先级的基于论据的非单调逻辑

分析了常规非单调逻辑的局限性，通过介绍带优先级的非单调逻辑和累积缺省逻辑，指出非单调逻辑不仅需引入优先级而且须基于论据．提出了带优先级的基于论据的非单调逻辑，从而能更有效地处理非单调推理．     

浅析一次典型电网事故中继电保护和安全自动装置的动作行为

本文通过对P地区电网110kV系统的一次电网事故过程的叙述,简要分析了该110kV系统中与事故相关的继电保护和安全自动装置在这次电网事故中的重大作用及其动作行为的正确性.     

提高软件可靠性的措施

从软件可靠性的正确性和健壮性这两个角度出发，充分论述了如何提高软件的可靠性。     

流体力学方程组人为解应用研究

流体力学方程求解的应用程序已成为众多重大工程理论研究与设计的重要工具,其应用程序的正确性验证已成为研究的重要问题.人为解验证技术是基于偏微分方程建模与模拟、很难解析求解的复杂工程应用程序正确性验证的重要手段.文章对流体力学方程组人为解构造方法及在应用程序正确性验证方面的研究进行了综述总结.利用李群约化理论得到流体力学方程几类精确解,给出了人为解构造的准则及流程,三维理想流体力学方程组的人为解,二维平面、柱坐标系下流体方程组的人为解及在欧氏应用程序验证中的应用,流体力学拉氏方程组人为解及在拉氏应用程序验证中的应用.     

实施软件保护反外挂技术的一款网络游戏开发

描述实施软件保护反外挂技术网络游戏的开发环境、运营环境和具体实施情况,然后对实施反外挂技术的网络游戏进行模拟与控制式外挂和监听与修改式外挂攻击测试,验证基于软件保护的反外挂技术的可行性和正确性。     

国际空间站——地震预测的新起点

在国际空间站开展的一项实验将会证实关于在太空可以进行地震预测说法的正确性。研究者们希望可以通过对地球辐射带变化情况的跟踪调查来预测到其数百千米下地球内部的震动情况。如果实验成功的话，那么它将会为设计地震监测卫星系统铺平道路。     

净室软件工程

净室软件工程是一种以合理的成本开发高质量软件的基于理论、面向工作组的方法。本文从净室软件工程的理论基础出发，进行了其理论上的正确性验证。并提出了具体的净室过程。     

实时仿真系统可信性验证

实时仿真系统可信性验证是实时仿真理论研究及工程应用的重要内容。主要研究了实时仿真系统可信性验证，给出了验证的基本步骤，提出了从实时性、逻辑计算正确性及稳定性三个方面验证实时仿真系统可信性的观点；然后提出了三个指标来验证实时性，给出了各指标的定量计算模型；并研究了实时仿真系统逻辑计算正确性的相关问题，给出了逻辑计算正确性验证的基本步骤；最后分析了实时仿真系统稳定性验证。