Petri网的嵌入操作及其在系统递阶建模中的应用

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

微机可屏蔽中断系统的分析及应用

分析了与中、高档微型机可屏蔽中断系统有关的硬件级联结构、中断系统的端口地址、中断向量的定义、中断系统初始化，并以方正ＭＭＸ１６６为例，给出了应用中应注意的问题及具体例子。

功能确定的离散并发系统的Petri网规范设计方法

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

二维LIENARD系统的研究方法和结果

本文综述了近十年来国内外对二阶非线性微分方程的研究方法和结果,主要包括单调轨线的存在性,解的有界性,极限环的存在性、唯一性及唯二性等。

基于Petri网运算的系统范例分析

文献［１］中首次提出了Ｐ／Ｔ网的加法运算与笛卡尔积运算的概念，并对这两种运算的代数性质进行了研究。本文基于文献［１］的结果，对柔性制造系统、资源共享系统、控制系统中若干范例进行分析，从而显示了Ｐｅｔｒｉ网运算的背景及其意义。

IPX/SPX访问接口及其应用方法探讨

本文介绍了ＩＰＸ／ＳＰＸ访问接口的构成并给出了ＩＰＸ／ＳＰＸ包文收发的一般原理，然后，通过对获取网址，打开套接字，包文发送和监听等ＩＰＸ／ＳＰＸ访问接口编程应用的讨论。

φ——大系统部分变元与全部变元的实用稳定性

本文给出大型φ—系统关于部分变元的实用稳定性概念及判别准则,利用文[4]的结果,直接导出了大型φ—系统关于整体变元的实用稳定性判别准则。

人工智能在变压器优化设计中的应用探讨

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

NetWare的多线程机制与应用

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

组件正相依的单调关联系统可靠性下界的一个结果

讨论了组件正相依的单调关联系统的可靠性下界问题，基于一个改进的Ｂｏｎｆｅｒｏｎｉ不等式，得到了组件正相依的单调关联系统的一个可靠性下界。并给出了一个应用实例。

数据库系统中死锁处理的研究

本文给出了一种无夭折事务的死锁处理方法,由于这类死锁是由只读(查询)事务的参于而引起的,而在实际中只读事务往往占绝大多数,所以本方法将在很大程度上提高系统的事务处理效率。

小型文献资料检索系统

本文介绍的这种情报资料检索系统,采用了数据压缩存贮技术,并使用链表记录的存贮结构解决了变长信息的存贮问题,系统的功能以“菜单”和“快速”两种方式提供给用户,使用方便。

一类食饵具有常数存放率的功能性反应生态系统

本文利用定性分析的方法,研究了一类具有Holling第Ⅲ类功能性反应的食饵与捕食者两种群且食饵具有常数存放率的微分方程模型,讨论了系统平衡点的性态,得到了可行平衡点的全局稳定性、解的有界性、系统无环及极限环存在、唯一的条件,并给出了这些结论的生态学意义。

软件原型开发中领域知识的研究

为使领域知识更好的支持领域应用软件的开发，本文提出了一种领域知识分类与管理的方法。在此基础上，通过使用基于领域知识的软件原型支持工具，进行软件原型的快速开发。

WK—Ⅰ型电脑考勤机系统用设计

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

一类三分子生化反应系统的定性分析

利用定性分析的方法,讨论一类具有常量输入的三分子生化反应系统,得到了可行平衡点的全局稳定性,系统存在唯一极限的充要条件,并纠正了“三分子生化反应模型的稳定性”(傅延强)一文中的错误。

一类食饵具常数存放率的Kolmogorov生态系统

本文利用定性分析方法,研究了一类食饵具有常数存放率的Kolmogorov生态系统,讨论了系统平衡点的相对位置和性态,可行平衡点的全局稳定性,给出了一组解的有界性、系统无环性以及极限环的存在唯一性的条件,推广了文[1]和[2]的主要结果.

煤矿物资管理信息系统

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

一类生态系统的定性分析

本文利用定性分析的方法,讨论了一类食饵具有常数存放率的食饵与捕食者两种群的生态系统。通过分析系统的水平和垂直等倾线的性态,确定了系统可行平衡点的个数、相对位置和正平衡点的存在性;进而得到了平衡点的拓扑结构,可行平衡点的全局稳定性以及当系统存在唯一平衡点时在其外围存在极限环的条件。

P/T网的化简运算及其性质研究

本文首先给出P／T网的几种化简运算，然后证明这几种运算对于网的结构性质不变，从而为P／T网的分析与综合提供了有效途径．