一种自动仓库的方案及应用软件设计

利用微机对飞机外胎重力式立体仓库进行管理和控制,使仓库在控制和管理上实现了自动化。本文对该仓库的方案和应用软件的设计作了较深入的分析。     

在APPLE-Ⅱ上运行的简型纯流体物性数据库

本文介绍在ＡＰＰＬＥ－Ⅱ上运行的简型纯组分流体相物性数据库。该库是普及微机应用的实用软件，适用于一般用户，具有操作简便，易于掌握，运行安全可靠等特点．该系统来用（ＢＡＳＩＣ）语句．本文扼要地介绍系统的数据结构，程序结构和系统功能．较详细地介绍由分子的组成式查询物性的操作。     

基于部件的道路施工放样集成系统

提出了以部件的方式开发道路工程应用软件。采用面向对象的编程方法及部件组装技术，运用VC5.0和VB5.0等开发工具，以Auto CAD 2000为图形平台，按照Active X部件的开发方式成功地开发了道路施工放样集成系统ROSE2000。     

高级语言程序设计考试计算机组卷系统

利用计算机对建成的题库进行随机抽取试题组成符合要求的试卷，是实现考试规范化和科学化的重要手段，根据《高级语言程序设计》教学大纲的要求，设计开发了一个基于库的高级语言程序设计考试计算机组卷系统，经过使用取得了良好的效果。     

基于组件的分布式应用系统的实现

为了解决传统的两层体系结构存在的不安全、不易维护、胖客户端等问题，提出了分布式计算的方法。该方法采用了企业应用服务器中的Jaguar CTS(Component Transaction Server，组件事务服务器)，为基于组件的分布式应用提供了中间层的框架结构。在探讨和研究分布式计算的基础上，用一个实例叙述了用PowerBuilder和Jaguar CTS实现基于组件的3层应用软件体系结构的过程。实践证明，该方法可行、有效。     

基于AutoCAD for Windows实现微机CAD系统

文中阐述了基于AutoCAD for Windows开发具有完全Windows风格的各种CAD应用软件的策略与方法，重点讨论DDE及类库技术在微机CAD系统中的应用。     

基于CORBA技术的三层结构应用软件的开发

讨论了三层结构的应用软件及其优点，介绍了CORBA技术，全面分析了这项技术对三层结构的应用系统的支持。并通过对银行大额现金管理系统的分析，详细讲解了如何用CORBA技术构建一个三层结构的应用软件。     

基于面向对象软件工程方法的CAI开发与实现

介绍了几种常用的面向对象软件工程方法，论述了用面向对象软件工程原理进行课件开发的观点。在瀑布模型的基础上给出了CAI课件的开发模型，进行了对象模型分析并创作了基于网络的《C系列数据结构教程》CAI课件。     

浅论我国数字图书馆建设的标准化

从数字图书馆定义入手，分析了我国数字图书馆发展现状，进而在阐述标准化对数字图书馆建设的重要意义的基础上，提出了数字图书馆标准化建设的主要内容以及我国数字图书馆标准化建设的方法与策略。     

Model Checking over Paraconsistent Temporal Logic

Classical logic cannot be used to effectively reason about concurrent systems with inconsistencies （inconsistencies often occur, especially in the early stage of the development, when large and complex concurrent systems are developed）. In this paper, we propose the use of a guasi-classical temporal logic （QCTL） for supporting the verification of temporal properties of such systems even where the consistent model is not available. Our models are paraKripke structures （ extended standard Kripke structures）, in which both a formula and its negation are satisfied in a same state, and properties to be verified are expressed by QCTL with paraKripke structures semantics. We introduce a novel notion of paraKripke models, which grasps the paraconsistent character of the entailment relation of QCTL. Furthermore, we explore the methodology of model checking over QCTL, and describe the detailed algorithm of implementing QCTL model checker. In the sequel, a simple example is presented, showing how to exploit the proposed model checking technique to verify the temporal properties of inconsistent concurrent systems.