共查询到18条相似文献,搜索用时 125 毫秒
1.
为了实现大规模有色Petri网模型的性能测试,设计了基于FPGA的高速仿真系统。该系统实现了库所、变迁模块到硬件结构的映射,采用C语言实现了有色Petri网的硬件自动生成工具。通过分析有色Petri网的特征,该工具生成对应的Verilog代码和基于Quartus的自动脚本。以通信中"包传输"的模型为例,在FPGA中对生成的代码进行测试,验证了设计的正确性。 相似文献
2.
利用扩展Petri网建立了雷达组网系统模型,通过模型的分析,解决了各雷达之间的同步问题,给出了系统冲突的处理方法,然后将扩展Petri网与排队论结合起来,定量描述了系统的统计性能;最后运用建立的模型进行了仿真实验。研究表明,扩展Petri网是雷达组网系统建模与分析的一种有效途径,为系统的结构优化与效能评估提供了依据。 相似文献
3.
C^3I系统对现代化战争的支持越来越大,许多发达国家均投入大量人力和物力来提高C^3I系统的性能,但是系统多维性和复杂性使得系统的建模一直是一个难点,至今还没有较好的系统化的模型产生,本文讨论了一种基于有色Petri网的模型的建立方法,克服了以往用普通Petri网建模的一些缺点。 相似文献
4.
介绍了基于Multi-Agent的分布式环境扫描系统的结构模型.依据赋时层次有色Petri网(HTCP-net)的理论,应用建模、仿真工具CPN Tools建立了基于优先级的任务调度算法和最短等待队列动态负载均衡调度算法的系统调度模型.仿真结果表明,该调度模型有效满足了系统周期性重复访问网站的任务需求. 相似文献
5.
提出了一种用有色Petri网对安全协议建模,并通过模拟和对状态空间检测来发现协议漏洞的方法。利用这一方法对著名的Needham-Schroedor公钥协议建模,然后用CPN Tools实现并对协议进行检测,发现了协议存在的漏洞。应用结果表明,方法有效。 相似文献
6.
7.
通过对iSCSI协议对象的分解,论述了通信双方在整个会话生命周期中各阶段的状态以及状态转换的条件,并依据Petri网理论,建立iSCSI协议会话模型,完成对协议运行机制和实现原理的分析。 相似文献
8.
面向对象Petri网建模技术与应用 总被引:2,自引:0,他引:2
面向对象方法使得系统设计简化,符合所描述的现实事物的特点,简单易于理解.但是在设计系统时没有进行严格的检验和验证.Petri网提供了形式化的图形表示,层次化的结构在表示类的继承以及描述对象的动态性方面非常有用.现介绍一种抽象节点技术,将面向对象设计模型转换成层次化的Petri网模型将对象和对象属性封装到数据结构中去,从而结合了两者的优点. 相似文献
9.
Petri网是一种基于图形进行模拟和分析的数学工具,能够描述系统的异步和并发行为,但是现有高级Petri网不能对嵌入式实时系统进行完整的模拟与实时性分析。该文首先通过扩展有色Petri网提出了层次实时有色Petri网模型,然后描述了嵌入式实时系统的建模和实时性分析方法。最后,将该文提出的方法应用于硬实时系统列车通信网络MVB总线控制器的建模和实时性分析过程,仿真和分析结果表明,该方法能够满足列车通信网络系统设计对MVB总线控制器的功能验证和实时性分析需求。 相似文献
10.
Petri网在电信管理网可信性建模中的应用 总被引:2,自引:0,他引:2
介绍了TMN(电信管理网)可信性建模的一种新的方法-Petri网。首先简要介绍了Petri网的基本概念和Petri网的特性分析,然后描述了用Petri网进行建模的一般方法并举例说明了它在TMN可信性建模中的应用。最后还介绍了一种自动生成可信性Petri网模型的方法。 相似文献
11.
Petri网在系统可靠性分析中的应用 总被引:11,自引:0,他引:11
简单介绍了各种Petri网模型的定义和性质,对Petri网模型在系统可靠性分析中的基本行为描述、故障树表示与简化、故障诊断、可靠性指标的解析计算以及可靠性仿真分析等方面进行了较全面的评述,对进一步的研究方向进行了展望。 相似文献
12.
Shu-Hung Yang Yi-Nan Lin Cheng-Ying Yang Ming-Kuen Chen Victor R. L. Shen Yu-Wei Lin 《电子科技学刊:英文版》2022,20(2):209-223
An increasing number of social media and networking platforms have been widely used. People usually post the online comments to share their own opinions on the networking platforms with social media. Business companies are increasingly seeking effective ways to mine what people think and feel regarding their products and services. How to correctly understand the online customers’ reviews becomes an important issue. This study aims to propose a method with the aspect-oriented Petri nets (AOPN) to improve the examination correctness without changing any process and program. We collect those comments from the online reviews with Scrapy tools, perform sentiment analysis using SnowNLP, and examine the analysis results to improve the correctness. In this paper, we apply our method for a case of the online movie comments. The experimental results have shown that AOPN is helpful for the sentiment analysis and verifying its correctness. 相似文献
13.
14.
1 Attack Modeling A typical attack contains the following elements: 1) Objects attacked. These objects belong to the victims or can be regarded as public resource, such as networking bandwidth. 2) Attacker. These objects contain the hacker’s information, attacking tools and other states of attacker. 3) Attack processes. The stages of an attack and attack processes are used to depict the attacking action. 4) Control actions. These actions can be classified into response actions and defensiv… 相似文献
15.
模型复用是提高建模质量和效率的主要手段,而模型构件是复用的核心和基础。在对构成企业这一社会技术系统的各种要素进行分析的基础上,首先将组成系统的要素分为功能构件、资源构件和人力构件等三类模型构件。然后以Petri网作为建模工具,给出一种以模型构件作为变迁和库所的企业整体建模方法。由此方法建立的企业模型具有良好的整体性和可复用性,能够全面反映构成企业的技术实体、资源和人等要素的配置和相互关系。最后给出一个企业建模实例。 相似文献
16.
17.
文中详细综述了Petri网理论的发展、应用领域、基本定义以及分析方法和建模方法。重点介绍了Petri网在自动制造系统控制中的应用、发展方向,指出了Petri网在自动制造系统中的应用前景和作者的看法 相似文献