摘要：本文提出的离散事件动态系统（ＤＥＤＳ）建模新方法，是从Ｋ＋１个缓冲库状态中抽取有库存（Ｐｏ）和有空位（Ｐｋ）两种状态，合并到邻近的工作站中，构成相应的等效工作站，再将所有等效工作站联成ＤＥＤＳ生产系统，从而导出各项生产指标．这种方法是将离散断续工作的多级生产线转化为连续工作的多级生产线，于是可以采用常微分方程数学工具，得出静态和动态的精确分析解，较好地解决了离散断续工作系统建模的难题。

摘要：本文利用等效工作站理论和工件流平衡原理，推导出非串行离散事件生产线可以等价于串联系统，并归结为装配和拆卸两条定理，解决了系统的建模、分析与设计问题。

摘要：控制系统可靠性的分析与设计,离不开系统的各项性能指标,可靠性问题中的主要性能指标有可靠度、平均寿命、失效率等,但是从目前的情况来看,现有计算失效率的方法是比较复杂的,对有些系统要想推导它的失效率的具体表达式是比较困难的。所以就要求有简单、适用的方法,以求得系统的失效率。 本文讨论一种计算失效率的方法——工程近似法,其主导思想:在一定条件下,近似地把系统的失效率认为是常数,然后去解决实际的问题。

摘要：本文讨论了CIMS生产线的可靠性问题,提出了生产线的静态有效性及动态有效性,应用马尔柯夫过程分析了生产线的工作状态,得到了状态转移率及状态转移概率。用动态有效度分析了生产线在任何时刻能有效工作的概率,并用一个基本生产线的例子说明动态有效度的计算过程及步骤,这些对CIMS生产线的设计及有效运行有很大意义。

摘要：本文首先建立逻辑偏序结构概念，用于刻划非确定系统的功能结构；建立环境结构，用于描述实现系统功能所需的资源及其服务关系；以约束集表示系统应遵守的行为规范，三者合一形成了系统的需求规格说明。基于需求规格说明，分别给出逻辑偏序结构到功能网，功能网及其环境结构到系统结构网的转换算法。按照约束集的规范，结合以往的结果，对系统结构配置适当的初态，施加必要的协调控制装置，最终得到一个功能符合，性能良好，资源分配合理的系统Ｐｅｔｒｉ同模型。

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

摘要：在等效工作站的基础上，并以中途不丢失工件为前提，对串联ＣＩＭＳ进行了优化设计的研究．分别就首站前和末站后有无缓冲区、中间缓冲库容量是否一致、工作站是否可靠和总资源约束等不同的情况下，讨论了系统优化设计问题，得出了精确的分析解．最后列举一个计算实例，阐明所提出的方法在工程设计中的应用．

摘要：本文对带有中间缓冲库的可修CIMS可靠性进行了深入系统的研究。中间库是将刚性联结生产线进行柔性化的手段,是提高系统可靠性和生产率的有效措施。另一方面,工作站的维修也能起到同等重要的作用。但这样组成的大系统存在生产线的畅通、生产率的协调等问题,给系统可靠性与优化设计造成了很大的困难,长期以来没有得到很好的解决。本文从马尔可夫过程的排队论出发,运用系统可靠性理论,对缓冲库、工作站及系统进行分步分析,综合求解,从而得出一条工件流平衡定理,解决了各站之间生产率丢失的问题,并给出了系统可靠性的有关指标。

摘要：本文运用边界建模思想,提出了含不确定性因素线性系统的鲁棒控制设计的新方法.文中给出了不确定性系统时域边界模型的定义.对于受控系统在很弱的时域假设下,通过模型化边界定量地限制出一类未知过程,并据此构造出鲁棒控制策略.

摘要：本文从Ｐｅｔｒｉ网语言着手，研究系统设计方法，提出相应的理论，建立有关策略，形成一套从用户需求到原型Ｐｅｔｒｉ网模型以及对模型的性质分析和控制的方法。通过对系统的逻辑行为及性能指标的分析比较。