扩展有限递归进程模型

主要讨论离散事件动态系统的建模问题。由ＫＩｎａｎ和ＰＶａｒａｉｙａ提出的有限递归进程（ＦＲＰ）是描述并发离散事件动态系统的有力工具，但在其ＦＲＰ中，没有定义对数据变量的操作和条件转移算子。本文扩展ＦＲＰ包括这两方面内容。最后举例说明扩展ＦＲＰ的描述能力。     

半导体企业高级订单承诺系统

为提高半导体企业的客户服务质量,研究半导体产业多工厂多阶段生产供应链系统和多客户关系、多产品市场环境下的订单承诺（Available-to-Promise,ATP）优化问题.以利润和客户满意度为目标,充分利用半导体产品之间的替代性,建立基于线性规划的高级ATP系统.该系统应用优化软件OPL将模型中的内容转化为OPL语言.仿真实验表明,该方法能帮助半导体企业提高订单响应速度,做出可靠ATP决策.     

模糊推理Petri网及其在故障诊断中的应用

分析了推理Petri网与传统Petri网的共性和区别,给出了模糊产生式规则推理 Petri网模型.在此基础上,给出了有效的推理算法,并以极大代数矩阵算子进行了形式化表 示,此算法充分利用了Petri网的数学理论基础和描述并发系统的能力,具有并行推理能力, 可以同时得到推理后系统的全部状态值.最后举例说明了其在故障诊断中的应用.     

RAID系统的双控制器研究及实现

本文介绍了RAID子系统中双控制器的结构,比较和分析了能够实现双控制器的两个方案,并针对通常的双控制器实现方案中存在的故障检测、故障处理和cache镜象等问题提出了相应的解决方案。     

RAID系统的结构化模型、

分析RAID系统组成,按功能分成target,内存管理,RAID管理和initiator四个部分,对各个部分的功能简单说明。     

模糊时间Petri网的时间推理及其在过程监测中的应用

针对传统分析方法的不足,提出用线性逻辑给出模糊时间Petri网描述和时间推理的方法。该方法能清楚地分析模糊时间Petri网的运行行为,具体例子说明了其在系统过程监测和诊断中的应用。     

敏捷供应链的生产销售模型

随着全球化市场的形成和信息技术的发展,动 态联盟可以极大地提高成员企业对市场的敏捷响应能力．本文采用精益制造思想,研究供应 链的最小成本生产规划问题,给出了综合考虑产品制造、储存、延期交货和合同取消成本的 单位周期生产规划数学模型．并对敏捷供应链上不同位置的企业采用不同的模型和约束进行 了定性和定量评估．     

具有重置时间切换服务系统的动态稳定性

由一个Server和多个Buffers组成的考虑重置时间的切换服务系统可建模为连续 流切换系统.当采用优先权调度策略时,证明了切换服务系统的连续状态轨迹能一致收敛于 惟一的周期轨道,指出周期轨道与初始状态无关,并给出收敛速度估计.     

数控系统定位误差的测量与补偿

以一维、二维的误差测量及补偿为研究主线，详细阐述了一维及二维误差补偿的原理和方法，在试验中使用该补偿方法，使得数控系统定位精度大大提高，说明计算机误差补偿技术是提高加工精度的经济可行的方法。