产品开发过程管理中协调组件研究

针对目前产品开发过程中时间上相互关联任务之间缺乏有效调度和管理的现状,介绍了时间上相互关联的任务之间的关系;以广义模糊时间Petri网为理论基础,根据关联任务之间不同的关系,建立了相应的协调机制,并引入组件理论,在工作流的系统中构建了协调组件,减少了并行和串行环节的等待时间,提高了工作效率,而且从一定程度上降低了系统的死锁概率,为实际系统进行模拟、性能评价和优化提供了强有力的支持.     

随机经济系统分析

本文提出了随机经济系统模式,研究了随机经济系统状态的最优估计与控制问题。利用Kalman现代滤波理论导出了随机线性经济系统状态的最优估计,由Bellman动态规划原理导出了线性二次经济系统的最优控制规律。由估计定理和最优控制规律给出了随机经济系统分析的一整套算法。     

—种SRM复合材料壳体的可靠性计算研究

本文采用蒙特卡罗随机有限元分析SRM纤维缠绕壳体的应力响应,然后进行强度校核和可靠性计算,进而为导弹总体结构可靠性评估提供依据。     

工作流网在MIS系统过程建模中的应用与研究

JDBC是SUN公司提供的一种支持基本SQL功能的通用的应用程序接口(ApplicationProgrammingInterface),它可以在Java语言中方便地建立与数据库的链接.     

广义随机Petri网在工作流建模中的应用研究

工作流管理技术是20世纪90年代初兴起的软件技术,其实现的关键在于工作流概念模型的建立。Petri网(GSPN)作为一种图形化的数学建模工具,适合于工作流领域的建模需求。提出了基于广义随机Petri网的工作流建模方法,运用可达图法对工作流正确性和可靠性进行检查。利用GSPN与马尔可夫链的同构关系,采用GSPN和马尔可夫链相结合的工作流性能分析方法,为工作流性能的有效评估提供理论依据。实例验证该方法是有效性的,有利于工作流管理系统的实现。     

阻塞呼叫控制机理广义随机Petri网建模与分析

基于广义随机Petri网(GSPN),对数字交换机面临过载时的一种阻塞呼叫控制机理进行了描述与分析,建立了其广义随机Petri网模型。通过对模型求解、构造可达图及同构Markov链,推导出了这种控制方式下系统性能的解析结果,给出了它们与控制严密程度之间的关系,从而为定量分析和评价数字交换机过载控制特性提供了依据。     

混流制造系统的Petri网建模与仿真研究

以赋时Petri网为分析工具,将混流制造系统工艺流程、产品类型标识、缓冲区和加工时间等用基本Petri网语言表示,建立了基于赋时库所Petri网的混流制造系统模型,从全局观点描述事件之间的顺序、并发和同步等关系,并基于该模型,进一步分析混流制造系统的性能,包括操作间的逻辑约束关系、资源冲突、生产能力和设备利用率等.相关实例的仿真结果证明了该模型的有效性.     

间歇式化工形式化建模与顺序控制器设计

摘要：
针对间歇式化工生产过程,根据执行机构网元件提出了其受控Petri网模型的设计方法,将工艺流程描述为变迁串的顺序控制目标,继而根据基本变迁串将工艺流程描述为Petri网的线性约束.最后,利用库所不变量方法设计监控库所,给出顺序Petri网监控器,实现了复杂化工过程的闭环控制系统的形式化建模、分析和优化.
关键词：
离散事件系统; Petri网; 间歇式化工; 顺序控制; 监控
中图分类号： TB 61; TK 31
文献标志码： A     

大批量制造系统生产能力和设备利用率分析

数学计算和建模仿真是分析制造系统生产能力和设备利用率的常用方法,一个高质量的模型对于提高系统性能分析的效率和精度具有重要意义.该文介绍了时间Petri net(PN)的基本概念,建立了制造系统的时间PN模型.基于此模型,利用Markov理论分析了系统的生产率和设备利用率,该方法在用于复杂系统时会导致Markov方程求解困难.因此又利用ObjectNet仿真软件对建立的时间PN模型进行了分析,结果表明仿真方法明显提高了分析的效率,并得到了精确的结果.该文还讨论了通过仿真方法解决顺序加工单元中间缓冲区的优化配置问题.     

一种用于嵌入式系统建模的扩展PRES网

在嵌入式系统设计前期需要对系统建立适当的形式化模型并进行仿真分析。该文在分析现有Petri网模型的基础上,提出了一种EPRES(extended Petri net based onrepresentation for embedded system)模型,并具体给出了相应的结构定义、图形表示和行为规则。EPRES将库所分为控制库所和数据库所两类,引入变迁函数和变迁时延,可以对嵌入式系统的功能实现、资源消耗和时间约束进行描述和仿真分析。给出的使用EPRES对嵌入式系统建模的实例表明,该方法能够较好地解决嵌入式系统的建模问题。