基于CPN的排队网模型分析方法

提出一种新的排队网模型分析方法,将排队网络按照一定的规则转化为层次着色Petri网,利用着色Petri网的分析工具CPN-TOOLS在模型中加入Monitor监视器监视网络状态,在仿真过程中收集状态数据进行性能评价.这种方法在分析过程中不会对系统结构进行限制,可以对系统的任何方面进行评价,具有很大的灵活性;层次化模型不限制网络规模,不涉及状态空间问题可以更好的用来求解大规模的排队网络.     

基于FTCPN的工作流模型简化规则与线性推理研究

分布式协同工作流系统的建模和时间性能计算是工作流的一个重要研究内容.针对传统的Petri网不能对工作流系统的不同事件和事件的时间性能进行分析和优化的问题,给出了模糊时间着色Petri网(Fuzzy-timing colored Petri Net, FTCPN)的形式化定义,并给出了基于FTCPN的工作流网四种基本组件模型的简化规则及其线性推理.最后,以汽车车身的协同概念设计流程为例,对提出的方法进行了应用和验证.研究表明:模糊时间着色Petri网能全面描述复杂工作流系统的不确定性时间信息和不同事例的工作状态,对丰富分布式工作流系统的建模理论具有一定的参考价值.     

颜色Petri网一种专有协议的描述和验证

介绍了我们在一个网络安全项目中设计的点到点链路层协议,然后利用颜色Petri网和CPN Tools对该协议建模、分析和验证。首先建立了协议模型,然后运用仿真方法和状态空间分析方法考察协议行为特征。通过建模分析方法有助于我们找到协议中的疏漏,体现了协议设计过程中形式化建模和分析方法的优点和遇到的挑战。     

基于着色Petri网的卫星军事应用系统建模

卫星军事应用系统是一个复杂的军事信息系统,具有同步、并发、冲突等特点。应用着色Petri网技术对其进行建模,符合卫星军事应用系统的特点,能够有效分析系统的静态结构和动态行为。介绍了着色Petri网的基本概念,剖析了卫星军事应用系统的作战过程,建立了系统的CPN模型,最后针对模型进行了性能分析。     

Petri网在工作流系统建模和分析中的应用

工作流技术是计算机应用领域的一个研究热点,而行之有效的建模方法和分析工具是工作流系统的关键,也是研究人员的研究重点.介绍工作流系统的Petri网、时间Petri网、逻辑Petri网、着色Petri网、随机Petri网等建模方法,对基于工作流网(WF-net)的完整性验证、性能分析、资源调度、时间分配以及协同分析等方法进行综述,指出Petri网在工作流建模和分析中的不足,提出了Petri网解决工作流系统建模和分析进一步的研究的内容.     

基于CPN的联邦概念模型形式化建模与验证(英文)

提出了基于着色Petri网(CPN)的联邦概念模型(FCM)形式化建模与验证一体化方法。这种方法的提出主要基于下面两点:一是形式化的FCM与用自然语言描述的模型相比具有更完整、更准确和更规范的特点;二是形式化模型的验证需要专门的工具辅助完成。以一个简单的制造系统为例,采用CPN语言建立了该系统的形式化概念模型,利用辅助软件工具CPN Tools完成了该联邦概念模型的仿真和验证。应用研究表明,着色Petri网有助于描述联邦中各实体的行为和关系,CPN Tools辅助工具实现了形式化模型建模、仿真和验证的一体化过程。     

基于代价时间Petri网的合同网模型研究

提出一种扩展了价格信息的时间Petri网--代价时间Petri网,并用代价时间Petri网来模拟合同网协商过程,建立虚拟企业的合同加工模型.在合同网协议框架内,利用代价时间Petri网为合同网协议的招标、投标和中标过程进行建模分析,给出了招标要求和Agent在投标和评标决策过程的代价时间Petri网模型,最后利用该模型对盟员企业内部制造过程以及相互之间的协作关系进行了形式化分析和验证.     

基于分层着色Petri网的装备战场抢修系统建模

讨论了一种基于分层着色Petri网理论建立装备战场抢修系统模型的方法。这种方法是通过引入复杂库所和Petri子网来对原有的装备战场抢修系统模型进行改造，克服了以往用普通Petri网建模的不足之处，使模型变得直观、简单，并有利于模型分析和仿真实现。     

不可否认协议形式化分析的Petri网方法

Petri网是一种描述及分析并发行为的工具,在安全协议的形式化分析中得到了广泛的应用,但目前还没有人使用Petri网来分析不可否认协议.本文以一般安全协议的Petri网分析方法为基础,提出了使用Petri网分析不可否认协议的建模及分析方法,该方法可以描述并分析一些其它形式化方法无法描述的协议性质.使用该方法分析J. Zhou和D. Gollmann的公平不可否认协议发现了它议的一个许多其它形式化方法不能发现的已知缺陷.     

面向对象Petri网在舰炮武器系统建模中的研究

研究并实现了一种基于Petri网的系统建模方法，它将面向对象技术与Petri网相结合，从而综合了两种方法的优势，降低了Petri网模型的复杂性，增加了Petri网的应用范围。舰炮武器系统是一种大规模的、复杂的并具有并发性、分布式、非确定性等特点的系统，因此我们应用面向对象的Petri网(OOPN)对其进行了建模。通过对舰炮武器系统的建模，我们发现面向对象的Petri网建模方法可以有效的降低系统模型的规模和复杂性。     

Cluster based hierarchical resource searching model in P2P network

For the problem of large network load generated by the Gnutella resource-searching model in Peer to Peer (P2P) network, a improved model to decrease the network expense is proposed, which establishes a cluster in P2P network, auto-organizes logical layers, and applies a hybrid mechanism of directional searching and flooding. The performance analysis and simulation results show that the proposed hierarchical searching model has availably reduced the generated message load and that its searching-response time performance is as fairly good as that of the Gnutella model.     

多归属P2P网贷平台定价及盈利模式分析:一个两阶段动态博弈模型

本文结合P2P网贷平台的特点,建立了一个基于双边市场定价理论的两阶段动态博弈模型,用来研究P2P平台的不同商业模式,特别是盈利模式.为揭示在我国金融环境下以P2P为代表的新型金融产品的持续经营条件与未来发展方向,结合我国新出台的P2P相关政策,在模型中考虑政策影响,理论研究结果表明:1)在二部制收费和只收会员费的两种不同盈利模式下,网络外部性均会使多归属P2P平台的利润降低;2)二部制收费的盈利模式优于只收取会员费的盈利模式;3)现有P2P相关政策对保证本金(利息)模式的明令禁止将更好的保障出借人的利益.基于所得结论,最后提出若干关于我国P2P平台发展及监管的政策建议.     

离散模糊系统的新型模糊控制器与观测器设计

基于T－S模糊动态模型，研究了一类在状态空间形式下，离散模糊系统的稳定监督控制器的设计与分析，将全局模糊型按隶属函数重新划分成若干子空间，采用分段Lyapunov函数法，克服了以往设计法中需要求解一公共正定矩阵P的不足，也无需求解繁琐的Riccati方程，并针对系统状态不可测的实际情况，设计了模糊观测器，从而用成熟的线性系统理论完成对复杂非线性系统的控制，模糊控制器与观测器设计简单，适合工程应用。     

非平稳随机信号的参数模型分析方法

非平稳随机信号的分析与处理是近年来新兴的重要领域。分别从自适应AR谱分析法、可化为平稳随机情况处理的非平稳随机信号的分析方法、时变参数模型法以及基于非参数模型分析的参数模型法等几个方面综述了非平稳随机信号参数模型分析方法的发展现状,评述了这一前沿领域的最新进展。最后指出了这一领域需进一步研究的有关问题。     

商业模式PNMP-CET@I反馈调节分析模型:蚂蚁金服案例

本文认为商业模式创新是一个反复调整的过程,基于商业模式冰山理论和CET@I方法论,构建了商业模式PNMP-CET@I反馈调节分析模型.该模型综合考虑各类环境因素,基于集成的思想对各要素进行综合集成分析,进而对现有的商业模式进行优化调整.应用本文提出的模型进行案例研究,集成分析结果得出蚂蚁金服的商业模式优于传统金融的商业模式,希望给互联网金融企业和传统金融企业的发展提供新的思路和管理启示.     

ARMA-GM combined forewarning model for the quality control

1.INTRODUCTION Tocontrolthequalityoftheproducts,wemustsu pervisethequalityindexesandanalyzethechanging tendency.Therearealotofstatisticaltoolsincom monuse,themosteffectivemethodisacontrol chart.Itcangrasptheabnormalsymptomofatrend ofthequalityofproductsincontrollingprocessand makethequalitypreventionpossible.Butfromits workingprocessweknowthismethodalsohassome limitation.Becausethecontrolchartonlydetermines theaveragevalueandlimitinterval,onecanonly judgethequalitystateofproductsstatica…     

有限元仿真分析软件中建模的多态机理研究

有限元仿真分析软件是一种广泛应用于工程技术各领域的科学计算软件,而针对实际问题建立合适的模型是应用这类软件的首要工作。通常,为了使分析结果尽可能精确,研究人员希望建立无限接近真实形体的模型,但真实形体中某些特征的存在可能对网格质量和计算结果造成严重的消极影响,甚至还会导致问题不可解。同时过于复杂的模型也将消耗大量计算时间。为建立合适模型,提高计算效率,将多态模型概念引入有限元领域,就模型态与计算精度之间的关系进行了研究并得出初步结论。     

短期负荷预报模型库的研究及应用

本文针对电力负荷变化的非平稳性和周期性，采用灰色模型，可调灰色模型分析用电负荷的趋势项并与历史负荷比较得一系列残差，然后应用自回归模型，傅氏模型，人工神经网络模型进行修正以提高精度。用一系列组合模型分别用于不同场合和要求下的负荷预测，并在微机上开发软件，通过实例计算，效果良好，具有一定的应用价值.     

一种用于可靠性分析的功能模型

针对传统的可靠性分析模型知识描述能力差和分析结果指导意义较弱的问题,设计一种功能模型用于可靠性分析.这种模型能够描述系统功能知识和性能知识,并且能够建立系统性能对功能的影响关系.此模型的建模过程较为简捷,模型结构适合于可靠性推理.由于模型描述了系统本身的领域知识,基于该模型得到的可靠性分析结果较传统的可靠性分析结果更具指导意义.最后,基于这种建模策略建立了某型家用门铃系统的功能模型,并分析了其可靠性,验证了该模型及其算法的有效性.     

导弹武器系统总体一体化设计中的模型集成研究

针对导弹武器系统总体一体化设计中多学科协同设计的模型集成问题，在虚拟样机一体化模型的基础之上，设计开发了客户／服务器模式的模型集成和分析平台，为导弹武器系统总体一体化设计中的模型集成提出了一种解决方案，给出了模型集成和分析平台的软件体系结构，并说明了下一步的工作方向。