基于功能的petri网飞机温控系统故障诊断研究

针对飞机温控系统的故障复杂性,提出了一种基于功能的以模糊Petri网为推理算法的故障诊断方法。首先根据系统分析,推导出子系统和系统功能参数,建立了描述功能层次关系的功能模型,提高了故障诊断的直观性和有效性;然后利用模糊Petri网的快速和并行推理能力,建立了反映功能模型的故障诊断模型,定位故障功能组件,提高了诊断的快速性和精确性;最后通过实例验证了该方法的有效性。     

基于Petri网的OA工作流模型的研究与设计

Petri网既有严格的数学描述,又有直观的图形表示,是理想的工作流建模技术。本文以发文管理流程为例,提出了一个基于Petri网工作流建模的方法并进行了模型的正确性验证。     

基于Petri网装配建模技术的研究

装配建模是装配序列规划的基础,本文采用适于离散系统建模的Petri网建立了装配系统模型,提高了装配序列规划的效率。采用分层Petri网建立装配体的装配模型,零件或子装配体采用库来表示;零部件之间的装配操作采用变迁来表示;零部件装配操作之间的关系采用流控制弧来表示,用来将库所节点和变迁节点连接起来。通过对所建立的Petri网装配模型进行分析可得到装配体的所有可行装配序列。     

基于Petri网的多媒体同步技术研究

在分析了已有Petri网模型的基础上,建立了一个完整的基于Petri网的分布式多媒体同步模型MMSPN,分析了MMSPN的同步控制能力,说明了MMSPN能有效克服因网络延迟、阻塞及丢包而带来的各种不良影响,对分布式多媒体同步系统具有良好的建模能力。     

基于Petri网的政府决策支持系统设计模型

政府决策支持系统是政府直接为企业和公众提供服务的一个平台,也是政府实现科学管理和整合业务流程的关键,是电子政务的重要组成部分。Petri网作为一种系统分析和建模工具,特别适合于描述并发和分布式系统。利用Petri网技术构建政府决策支持系统,能够有效地分析系统设计的静态结构和动态特性,提高系统开发效率。本文提出了基于Petri网技术的政府决策支持系统设计模型,分析了系统结构和工作过程,模型自适应性和鲁棒性好。     

基于petri网的自动销售机模型

Petri网络以网络理论、代数理论等为数学基础,以图形化的方法直观地描述了离散事件系统的各种关系和行为,适用于描述异步并发现象的计算机系统模型和对并行及并发系统进行行为分析。本文提出一种基于Petri网络的自动销售机模型模型,通过此模型解决自动销售机系统具有的并发性、异步性、分布式、非确定性、并行性等问题。     

基于扩展数据对象Petri网的工作流模型的研究

通过对当前工作流模型研究现状的总结分析,发现针对工作流中的数据信息的建模方法还存在局限性。因此,通过结合过程模型和数据对象模型,提出了一种扩展数据对象工作流Petri网模型,并给出了模型的形式化定义。     

基于模糊Petri网的采空区危险演变模型的研究

针对采空区危险演变的特点,提出了基于模糊Petri网的采空区危险演变模型(Mined-out Area Hazard Evolution Model,MHEFPN),并给出了模型的推理算法,算法考虑了推理过程中的众多约束条件,包括命题的可信度、输入输出的权值、变迁触发的阈值等。以采空区灾害为例,描述了建立采空区危险演变模型,以及基于矩阵运算的推理过程的相关问题。应用此模型,可以模拟采空区危险演变中众多危险因素所处的状态和各自所起的作用的大小以及危险演变的整个过程。     

技术系统的结构——休斯的技术系统观评析

休斯认为技术系统的结构是凌乱的,其划界并不清晰.系统中有两个重要的部件,即人工物品和建造者.休斯的技术系统观与埃吕尔的技术系统观存在着相似之处,但也存在着差别.休斯的技术系统观处于社会建构论和多西的技术范式论两种观点之间,稍偏向社会建构论,是一种弱社会建构理论.对技术系统结构的风格形成,休斯认为是由于技术环境因素-即政治、经济、文化等因素所决定.     

一种基于Petri网的模型调度方法

针对软件模型的时间约束能力不强以及形式化验证复杂的问题,本文提出一种基于Petri网的形式化模型调度方法,从时间层次上对模型的合理性进行验证与分析.该方法通过构建系统领域模型到Petri网模型的转换规则,利用Petri网的分析验证技术,实现对软件模型的正确性验证,解决了系统建模时存在的问题.应用实例和实验结果验证了该方...     

自动制造系统Petri网模型的一类子网极小信标的计算

作为Petri网的一个结构性目标,信标在柔性制造系统死锁控制理论中起着关键的作用。基于Petri网图论和信标的定义,针对Petri的一类子网S4PR网,提出了一种极小信标的计算方法。首先找出S4PR网的初始资源图,然后根据初始资源图找到所有的资源子图,对应每一个资源子图计算其对应的信标,最后根据极小信标的定义对得到的信标进行判断,删除非极小信标即得到所有的极小信标。给出一个S4PR网的例子解释提出的计算方法的应用,和传统的极小信标的计算方法比较,该计算方法可以节约计算时间,另外该算法可以用于任意规模的S4PR网的极小信标的计算。     

基于Petri网的双重数字签名建模及分析

电子支付已成为电子商务快速发展中的瓶颈,通过对双重数字签名原理的研究.利用Petri网描述了双重签名在网络交易中的实现过程,保证了商家、客户和银行各方的安全.该模型是对传统商业交易的一个模拟,具有很强的理论和实用价值.     

城市地下物流服务供应链的流程设计：基于着色Petri网模型

针对缺乏对城市地下物流系统(underground logistics system,ULS)在市场环境下的运营状况进行研究的问题,引入ULS服务运营商的概念分析ULS服务供应链的运作流程,即ULS服务运营商承接第三方物流服务企业和生产企业的物流外包业务以及普通客户的物流服务需求,通过运营平台统一调度、分配服务资源,实现城市物流的集成、共同配送以及服务流程的自动化;进一步利用赋时着色Petri网理论构建基于城市ULS的服务供应链Petri网模型,考察该服务供应链运作流程的可靠性和效率,并根据仿真数据对模型的运作方式和性能进行分析,以期为ULS在市场化环境下运营模式及运作流程的研究提供建模仿真思路参考.结果 表明:该模型具备可靠性,符合设计预期;由仿真结果得到的各流程运作耗时情况以及服务供应链整体运作时间性能可知,售后服务、负责ULS终端分流的配送服务供应商和仓储服务供应商对城市ULS服务供应链整体的服务效率有较大影响,是供应链整体效率提升过程中需要关注的对象.     

基于Petri网的工作流建模及其优化

Petri网是一种有效的模型描述语言,不仅能描述系统的结构特性,同时还能描述其动态特性,尤其适用于描述含有并行成分的系统。本文在简要介绍了Petri网和工作流基本模式的基础上,利用替换规则用基本工作流模式构造了合理的Petri网模型,并对构造好的Petri网模型进行详细的分析,同时在分析的基础上提出了对应的优化方案。最后对基于Petri网的工作流模型进行了总结。     

基于系统动力学的产业技术路线图制定

将系统动力学引入产业技术路线图制定过程中,实施动态仿真,在界定系统边界的基础上,构建产业技术创新系统动力学模型,并给出主要系统动力学方程,旨在利用系统动力学定量、动态预测的特点对产业技术路线图的制定和更新提供参考和支持.     

基于连续Petri网的城市交通网络建模研究

建立了基于连续Petri网的城市交通网络模型。采用层次化的建模方法,首先构建整个交通网络系统的大框架模型,然后对其构成的关键要素——交叉口给出细化模型。交叉口模型清晰地描述了各个方向的交通流在道路交叉口处的转向行为和转向延误信息。体现路段阻抗和节点阻抗的时延因素的引入,使得模型能更加真实地反映交通网络的动态特性,为后续动态路径的诱导和交通控制提供思路。     

基于SD的技术标准化与技术创新交互模型构建

在分析技术标准化和技术创新运行机理的基础上,明晰两大系统之间的交互作用,运用系统动力学方法构建随过程发展演变的技术标准化与技术创新交互模型,以更好地挖掘两大系统之间的交互关系,为完善技术标准化体系和提升技术创新能力提供理论依据,为有效联结两大系统、构建协调的技术基础结构、共同促进经济增长提供一个新思路。     

基于系统动力学的二元技术创新扩散研究

力图放宽模型的假设,考虑创新技术市场间的非独立性、扩散过程中潜在采用—等待采用—已采用三阶段中时间延迟性,建立三阶段的二元技术创新扩散模型,并用系统动力学进行模拟仿真研究。仿真结果表明该模型比较符合实际,可为多元技术创新扩散的理论研究和实际实施提供理论指导。