基于滤波优化的多租户应用QPN性能建模方法

为分析和评估多租户应用的资源消耗并预测其未来对资源的需求,研究了从细粒度上改进多租户应用性能建模的方法,在使用排队Petri网刻画应用系统能力的基础上,综合考虑工作负载、基础通信流和服务时间等因素,利用Kalman滤波快速适应参数变化的特征,建立优化的多租户应用性能模型。仿真实验表明,建模评估结果与实际性能度量值相比具有可接受的误差值,能较好地反映实际多租户应用的运行状态和预测评估各租户应用的资源需求。     

嵌套的基于时间的软件抗衰策略模型与分析

针对软件在连续运行过程中普遍发生的老化现象,提出了一种嵌套的基于时间的软件抗衰策略,在系统级恢复前先执行多次的应用级恢复。较之周期性系统级恢复,该策略降低了恢复成本;较之周期性应用级恢复,该策略避免了预测失败导致的系统失效。论文采用随机Petri网和有限自动机对策略的实施过程进行建模,计算了策略引发的停机时间和恢复成本,并与传统的软件抗衰策略的结果进行了比较。分析结果表明,嵌套的恢复有利于进一步减少恢复时间,降低恢复成本,提高系统的可靠性。     

工程计划的模糊时间Petri网(FTPN)模型

针对工程计划中工序作业时间的不确定性 ,传统网络计划方法缺乏数学表达能力的问题 ,提出了用模糊时间 Petri网 (FTPN)表达工程计划的新模型 .在讨论了工序完工隶属函数之后 ,给出了 FTPN的形式化描述及触发规则 ,依据工程计划的 FTPN建模规则 ,把求取关键路径转化为一个基于代数方程求取 FTPN中特定标识的问题 .算例表明 ,文中所提出的模型既能正确且更加直观的表达工程计划问题 ,又能形式化地描述并计算工程计划问题.     

支持产品创新设计的流形Petri网数据模型

提出一种支持产品创新设计的流形对象Petri网数据模型MOPN（Manifold Object PetriNet），其利用面向对象技术来刻画产品的静态结构，实现了产品数据的封装、抽象与层次化建模，特别是扩展了对象的属性类型，将对象的属性值扩展到流形上，因而可刻画对象属性值非均匀变化的情况。模型利用高级Petri网刻画产品的动态工作过程，不仅可支持产品工作过程的创新，而且还可通过模型的形式化来验证产品创新概念的逻辑正确性和完整性。     

A Novel Forensic Computing Model

0 IntroductionOWith the rapid development of society informatization,information society has arrived. While computer andcomputer networktechniques are being widely used,commit-ting cri mes on computers or using computers committingcri mes has been more and more rampant . Such cri mes treatcomputers as targets of tools ,and pri marily happen throughnetworks . They are seriously harmto national security andsocial stability,against the legal rights of citizens ,legiti matesand all other organiza…     

Application of Timed Petri Nets to Analysis and Scheduling of Flexible Manufacturing Cells

ＡｐｐｌｉｃａｔｉｏｎｏｆＴｉｍｅｄＰｅｔｒｉＮｅｔｓｔｏＡｎａｌｙｓｉｓａｎｄＳｃｈｅｄｕｌｉｎｇｏｆＦｌｅｘｉｂｌｅＭａｎｕｆａｃｔｕｒｉｎｇＣｅｌｌｓ￥ＧＵＩＺｈｉｂｏ（ＯｐｅｎＬａｂ．ｏｆＣｏｍｐｌ．Ｓｙｓｔ．Ｅｎｇ．，Ｉｎｓｔｉｔｕｔｅｏｆ...     

基于时间Petri网的潜在定时分析

针对潜在定时分析研究的现状,以及时间Petri网与潜在定时分析的共性,提出了基于时间Petri网的潜在定时分析方法。将Petri网模型分为五种基本模式,并分别定义了五种基本模式的变迁条件和变迁规则。通过Petri网的可达标识集与设计状态之间的关系找到潜在通路。两个实例的仿真分析结果与实际一致,证实了方法的有效性和正确性。     

基于Petri网的协议辅助设计工具的实现

研究了一种基于Ｐｅｔｒｉ网的协议辅助设计工具Ｐｅｔｏｎ的实现细节。该研究是对计算机辅助协议工程（ＣＡＰＥ）方法学的一种有益的尝试．     

事件驱动的多任务智能调度方法

目前多任务调度问题非常普遍,然而在开放动态环境中多任务调度经常会遇到大量不确定性,导致任务调度崩溃。为此,以事件驱动程序结构为框架,用Petri网作为任务调度处理器,建立了多任务动态调度体系结构,给出了基于事件驱动的多任务智能调度方法。该方法能根据所发生事件自动检测调度处理器的状态,对调度处理器做出正确和最优调度决策,从而实现了对有效任务或任务组合进行调度。     

复线列车运行调度的层次Petri模型及仿真

在对列车运行调度问题进行分析的基础上,通过综合受控Petri网、颜色Petri网和赋时Petri网的优势,提出一种混合Petri网模型并给出形式化描述和运行规则;采用混合Petri网建立包含设备故障和设备维修两种异常情况的列车运行调度的层次Petri网模型。通过对模型的分析,给出模型具有的两个性质,指出列车运行调度的本质是通过控制可控事件的发生时间来恢复列车的正常运行秩序。最后,以一个具有6个车站和5个区间的调度区段为例,采用CPN TOOLS仿真工具对模型进行了仿真。仿真结果表明了模型的有效性以及设备故障发生概率和列车运行可调整之间的关系。