摘要：本文定义Petri网嵌入操作的概念，讨论了嵌入操作对于系统行为（语言）以及性质（如活性，公平性，安全性和回归性）的保持关系，得到了一组充要条件，给出基于嵌入操作的并发系统递阶设计方法．

摘要：本文通过对WK-I型电脑考勤机研制的情况介绍,提出了特殊应用情况下的抗干扰措施,以及广大电脑考勤机适用范围和解决考勤“瓶颈”问题的有效方法,对考勤登记和综合统计算法也作了简明的论述。

摘要：本文讨论了用快速原型法开发煤矿管理信息系统(MIS)的方法与技术,主要论述了数据库设计技术,友好用户界面开发技术,以及动态表格生成技术。

摘要：线程概念在近来的软件应用和开发中频繁出现，尤其是在基于计算机网络的应用中。 Ｎｅｔ Ｗａｒｅ至今仍是局域网 Ｏ Ｓ 的主选产品之一，在其上的应用开发也更加深入。本文就其多线程机制进行分析。并以此为基础就多线程 Ｎ Ｌ Ｍ 设计中关于多线程建立、调度等方面的 Ａ Ｐ Ｉ及其应用方法作一初步探讨。

摘要：在分布数据库中,一个数据项可在多个结点上放有考贝,这是增加系统可靠性与效率的有效手段。但系统必须维护考贝之间的相互一致性。在通常情况下,相互一致性是可以保持的。但在结点失效时,如不特殊处理,事务就有可能破坏相互一致性,发生不一致的引用从而产生错误的结果。为此,我们以基本2PL作为分布式数据的并发控制机制,设计了一个结点失败时的多考贝管理算法,它可使系统在结点失败时正常运行,产生出正确的结果。

摘要：本文介绍了在IBM-PC及兼容机上使用DbaseⅡ开发的一个适合于煤矿企业的物资管理信息系统。该系统不仅完成日常物资管理业务的数据处理与统计工作,而且对整个企业及各单位物资消耗情况、物资储备情况等进行跟踪并加以综合处理,快速、准确地为管理人员和决策者提供多方位静动态信息。该系统对提高管理水平,实现科学合理决策具有重要作用。文中主要介绍系统功能及系统软件设计特色。

摘要：本文将计算机人工智能引入变压器的优化设计中,利用人工智能语言编写了变压器优化设计的专家系统。为变压器的优化设计提供了方便和提高了变压器优化设计的效率和质量。

摘要：本文提出概念模型的概念，作为实际问题到Ｐｅｔｒｉ同模型的桥梁，也就是系统的规格说明．概念模型包括功能图、资源图和约束集三部分，由此将系统设计中的功能与环境严格区分开，给出实际问题到概念模型，以及概念模型到Ｐｅｔｒｉ网模型的转换算法，从而构成一个面向功能的系统的Ｐｅｔｒｉ网规范设计方法．通过一制造系统的建模，说明了该方法的规范性和有效性．

摘要：在微处理机系统中，存储器的访问速度对微处理器性能的发挥有极大的影响。本文给出了以i860为微处理器的页方式DRAM设计方案，以比较简单的技制线路来提高DRAM的访问速度。