共查询到19条相似文献,搜索用时 46 毫秒
1.
提出了基于语义技术的Petri网自动共享合成方法。根据已经建立好的的领域本体,为Petri网中的所有库所添加语义标记,使其与已有的语义库建立联系。再通过Jena检索及推理技术来确定各个Petri网中的可融合库所,进而按照给定的语义合并规则来对可融合库所进行合并操作,以实现Petri网的自动共享合成。最后以服务计算为场景,讨论了利用语义技术来自动共享合成得到Web服务组合所需的Petri网的方法,并结合网上购书的Web服务组合实例,验证了该方法的正确性及可行性。 相似文献
2.
语义Web服务自动组合的有色网验证模型 总被引:1,自引:0,他引:1
Web服务组合是面向服务的计算模式下应用构造的主要方式,而现有的组合方法与实施框架缺乏有效的验证机制,从而产生大量无效的组合结果.针对这一问题,提出一种具有正确性分析与验证功能的Web服务自动组合系统框架.其核心是利用有色Petri网对基于OWL-S的服务组合系统进行形式化建模,通过对组合模型的模拟执行及对其动态性能的全面分析,预测组合服务的执行结果,从而提高组合的可靠性.另外,该框架采用智能Agent技术,可有效实现组合过程的自动化. 相似文献
3.
大型复杂装备的维修过程通常需要多个维修人员的协同配合操作,使得具有独占性的维修资源在分配和使用时存在一定的竞争性。对协同式维修操作过程特点及其协同模式进行分析的基础上,基于颜色Petri网对其相关的维修对象、维修人员和维修资源等要素进行行为分析和状态变换描述。在考虑维修操作时间开支的基础上,基于资源竞争机制建立了大型复杂装备的协同式维修操作过程模型。对避免资源竞争和并发冲突的相关策略进行了分析和论述,开发了大型复杂装备通用化CMOP仿真平台,为大型复杂装备协同式虚拟维修过程建模和仿真实现提供技术支撑。 相似文献
4.
5.
6.
统一建模型语言(UML)已经成为软件系统的分析与设计的标准工具,但由它扩充而成的代理统一建模型语言(AUML)还没变成一个标准,目前的AUML规格说明还有很多的局限性,还不能胜任多代理系统的开发.Petri网是仿真、验证软件系统执行的正确性与有效性的形式化工具.本文主要分析当前AUML规格说明和Petri网概念,找出它们之间的结合点,提出用Petri网扩充AUML的方法.将其应用于多代理系统的开发,就能实施之前运用Petri网进行系统的正确性与有效性验证. 相似文献
7.
面向并行工程的知识库校验模型与方法研究 总被引:6,自引:0,他引:6
主要研究并行工程知识管理中底层领域知识的分析和验证问题 .将 Petri网技术应用于领域知识库的建模和分析 ,基于高级网系统给出了知识库各种异常现象 (包括 :规则冗余、规则冲突、循环规则等 )检测的建模技术和验证方法 . 相似文献
8.
基于广义随机Petri网的城市道路公交优先建模与性能研究 总被引:1,自引:0,他引:1
针对当前城市道路网存在的交通拥堵问题,根据城市地面交通的特点和公交优先的原则,利用广义随机Petri网通过将变迁分为时间变迁和瞬时变迁,结合禁止弧和赋予各弧不同的优先权, 构建公交优先策略模型,为实施公交优先策略提供理论依据. 相似文献
9.
分布式协同工作流系统的建模和时间性能计算是工作流的一个重要研究内容.针对传统的Petri网不能对工作流系统的不同事件和事件的时间性能进行分析和优化的问题,给出了模糊时间着色Petri网(Fuzzy-timing colored Petri Net, FTCPN)的形式化定义,并给出了基于FTCPN的工作流网四种基本组件模型的简化规则及其线性推理.最后,以汽车车身的协同概念设计流程为例,对提出的方法进行了应用和验证.研究表明:模糊时间着色Petri网能全面描述复杂工作流系统的不确定性时间信息和不同事例的工作状态,对丰富分布式工作流系统的建模理论具有一定的参考价值. 相似文献
10.
自动测试系统中并行测试任务调度方案一直是尚未解决的难题.在基于Petri网理论的基础上,建立了并行测试的时间Petrl网模型,并且首次将遗传-蚁群算法引入到时间Petri网的变迁序列的寻找过程中,快速地求得了最优调度方案.仿真结果表明,该算法能够以较大的收敛概率快速地收敛,最终得到最优变迁序列. 相似文献
11.
优化医疗信息系统的整合问题是医疗信息化建设迫切需要解决的问题.目前医院中医疗信息系统大多是由各个子系统以互连方式整合而成.这些系统存在系统的可扩展性差、对系统的维护不方便、对系统的分析困难等问题.提出了基于IHE(Integrating the Healthcare Enterprise)技术框架的医疗信息系统的集中式整合模式,克服了现有的互连式整合模式的若干不足.运用对象Petri网对集中式整合模式进行建模.首先对各个子系统进行建模,然后根据各子系统之间的关系建立系统的整合模型,并对整合后的医疗信息系统的合理性进行了分析,给出了在IHE框架下针对复杂系统建立工作流模型的过程及其分析方法.该模型为整合医疗信息系统的实现提供了理论基础和依据. 相似文献
12.
13.
由于Petri网适于描述系统冲突和竞争,故在较多场合中引入了Petri网对通信协议及系统进行建模,但目前采用Petri网对现场通信系统建模和评价还很少,通过Petri网协议描述实现现场通信和评价系统性能双重功能更无先例,本文在时间Petri网的基础上加以拓展,提出了现场通信协议的类时间Petri网描述方法,针对多协议现场通信控制装置FCCD,从理论上建立了FCCD系统的类时间Petri网模型,实现了多协议智能设备的互连及其系统的性能仿真评价。 相似文献
14.
对于大型的并行自动测试系统,传统的系统组建方法单纯的依靠人工经验使得组建的系统容易发生死锁、资源冲突和饥饿等问题,逐渐不能满足需求。因此,提出了一种新的并行自动测试系统分层化建模方法,指导工程人员快速优化系统设计方案。应用该方法,工程人员只需要使用直观、浅显的UML语言设计测试系统功能结构模型,UML到Petri网模型的映射和Petri网模型对系统的评估等步骤都可以用相应的软件自动实现,简化了人工设计过程,提高了系统组建效率。最后,利用广义随机有色Petri网理论对并行测试系统进行了性能评估,与基于NI公司TestStand软件设计的并行系统进行了对比。Abstract: The process of the Parallel Automatic Test System’s construction and design is more complicated than the serial ATS,and it can not be completed depending on the traditional method only based on the people’s experiences because it will bring the deadlock,resources confliction,hunger and so on.A new hierarchical modeling method was proposed to instruct the engineer in the good design of system.In the method,engineer only used the simple UML to design the system’s functional structure model.The UML-Petri map process and the system performance evaluation was finished by software.It made the design process simple and improved the organic efficiency.At last,the generalized coloured stochastic Petri net (GCSPN) was used to evaluate the performance of system and is compared with the parallel system designed by TestStand software.The result embodies the advantages of the hierarchical modeling method. 相似文献
15.
随机Petri网:研究现状和面临的挑战 总被引:3,自引:0,他引:3
近来,随机Petri网正逐渐成为描述和分析那些具有并发、同步和冲突等特征的系统的广泛而强有力的工具,其在C3I系统、柔性制造系统、计算机系统及通讯等诸系统中的各个领域的应用都已取得了显著的成功。然而,随机Petri网的状态空间的组合爆炸作为主要问题正阻碍着大型随机Petri网精确解的求取,进而限制了该类Petri网作为建模和性能评估工具的广泛使用。在本文中,首先回顾了随机Petri网的发展历程以及随机Petri网的主要子类和相应的解决方法,然后明确指出了目前随机Petri网在理论和应用中遇到的困难,并进一步阐述了克服该困难的三种主要方法的研究现状和发展前景。 相似文献
16.
17.
18.
基于Petri网的并行自动测试系统资源分配模型与仿真 总被引:1,自引:0,他引:1
在并行自动测试系统中,为了对资源分配中的竞争与冲突进行分析,必须对该问题进行建模和仿真.在基于Petri网理论的基础上,提出了一种并行自动测试系统的资源分配模型,并且在该模型下,对一个系统实例进行了仿真分析.实验结果表明,该模型适于描述该类系统的资源分配问题. 相似文献
19.
计算机系统的并行化趋势使得传统的串行模拟器正面临严峻的挑战,一方面由于执行速度和内存的限制无法模拟目标大规模并行系统;另一方面,无法充分利用已有并行系统的资源.因此,串行模拟器已经成为宿主机和目标系统之间的瓶颈.Hypersim是基于SMP集群平台的新型并行模拟器,运行于其上的主从式操作系统原型hyperOS为应用程序提供了运行环境,实验表明,该模拟平台可以正确地模拟一种新型的HPP高性能计算机体系结构.为了高效并行,hypersim中采用细粒度负载分配及高效的同步和通信机制,提出并采用起步执行技术来加速模拟器执行,结果显示hypersim在多进程情况下有一定的加速,在单进程多线程情况下有较好的加速比. 相似文献