摘要：对供应链管理中产品任务平均完成时间的求解策略问题作了讨论,提出了一种利用连续时间随机petri网实现对产品任务平均完成时间的算法,并通过算例验证了算法的可行性。

摘要：由于装甲车辆综合电子系统具有耦合性强、动态离散和复杂度高的特点,其难以采用静态故障树方法进行系统可靠性分析,针对这一难题,运用动态故障树方法对系统可靠性进行了分析判别,并运用随机petri网建立了故障树的仿真模型。以某型车辆为例,通过仿真实验得出了综合电子系统的故障率和可用度指标的动态变化曲线,其分析结果为系统可靠性与测试性设计提供了理论参考。

摘要：在动漫制作的过程中,渲染往往耗费大量的时间和资源,因此已成为了影响动漫制作效率的重要因素。分布式动漫渲染系统是一个动漫渲染服务平台,它能够实施高效大规模的渲染。为了尽可能地扩大系统中的动态资源,提出了集中式的激励机制和基于代理的激励机制。通过随机petri网建模仿真方法对两种机制的性能进行分析对比,得出了"随着离线处理速率的增加、基于代理的激励机制优于集中式的激励机制"的结论,为提高渲染系统效率而选择合适的激励机制提供了量化依据。

摘要：针对社会经济生活中参与主体间存在的竞争合作关系,以有限理性条件下二人合作博弈为问题对象,借助随机petri构建了随机演化博弈petri网模型SEGPN,并通过对模型SEGPN演化博弈分析,提出了对应的随机演化推理算法,实现了对二人合作博弈演化过程的图形化表示,勾勒出了局中人演化博弈路径,为管理决策提供了科学依据。

摘要：随着网格技术和应用的不断发展,一些关键领域或业务应用场景要求网格系统提供更好的服务质量(QoS),而具有较高可管理性的服务管理策略可以在提供较高服务质量的同时减小系统的开销.文中提出了网格服务的干扰和可管理性的形式化描述及量化计算方法,并建立了描述干扰发生过程的网格系统随机petri网(SPN)模型.之后文章对服务管理策略进行了分类研究,并根据SPN模型的仿真计算结果,对各类策略对网格服务的干扰情况的影响以及对网格服务可管理性的量化评价结果进行了比较和分析,为具有高可管理性的策略的设计提供依据.

摘要：为研究协同中的群体决策过程,进而为协同系统的设计和实施提供依据,以马尔科夫链和随机petri网为工具,提出一种结构为最近邻耦合网络的子群决策随机过程模型,并给出了转移概率矩阵及其递推公式,以实现类似结构的扩展。根据有限理性理论,该模型采用一个概率函数描述主体的决策能力,以体现主体决策时的随机特性。以某系统中的三人子群决策过程为例,计算了子群状态转换概率及形成共识所需的讨论次数,并利用蒙特卡洛方法验证了该模型的有效性。

摘要：研究基于随机petri网(SPN)的信息系统生存性分析建模方法.首先,将信息系统抽象为请求组件、通信组件、处理组件和存储组件4个部分;其次,将信息系统工作流程形式化描述和生存性分析建模相结合,并分别描述了通用信息系统、系统组件失效修复、串联并接、冗余以及具有可生存属性组件的随机petri网建模方法.从而对系统形式化描述的同时对系统生存性能做了定性和定量分析;最后,仿真实验证明基于SPN建模方法分析信息系统生存性的有效性和准确性,并为可生存的信息系统设计提供理论基础和指导.

摘要：通过分析云计算环境下服务模块流程组合的动态性,运用随机petri网进行动态流程建模与追踪,给出了分层计费体系下的流程计费模型,使用petri网对该计费流程进行建模分析和设计,便于云服务提供商实现基于状态的计费控制,从而优化计费策略.实现了云计算基于过程模型的服务计量,并根据该模型进行相应定价,用户即可按需付费.通过应用实例验证了该计费方法的有效性和可操作性,为云服务提供商计费决策提供了技术支撑.

摘要：为解决马尔科夫模型的状态空间爆炸问题,在状态空间分解法的基础上,建立单个部件(层次3)的SPN模型,然后根据子系统的组成结构建立单个子系统(层次2)的SPN模型.将子系统SPN模型集成为系统模型(层次1),得到系统模型的可达图及缩小的等效半马尔科夫图,按图建立系统模型的状态方程并求解,然后对系统进行可靠性和可用性评估.以泵送系统为例,验证分解法有助于解决状态空间爆炸问题,并使建模的难度和计算量减小,更易于操作.

摘要：结合多Agent架构设计方法,提出一种基于多Agent的自主计算系统的设计方案。利用扩展的G网对其进行形式化建模和分析。通过仿真实验证实,该设计方案能有效稳定系统性能。