共查询到20条相似文献，搜索用时 15 毫秒
1.
Petri网在流程信息系统建模中能得以有效利用,一个有效的驾驶培训系统关乎学员的学习效率和驾校的效益。着色Petri网（Colored Petri Net,CPN）是对离散事件动态系统进行图形化建模的有效理论,CPN TOOLS是应用Petri网理论进行建模与仿真分析的有效工具。通过对驾驶培训系统流程进行设定,利用CPN TOOLS对驾驶培训系统进行建模与仿真,在假定参数条件下对产生的能够反映仿真动态过程和结果的数据进行性能分析,并得出合理的教练员配置方案及效益结果。通过实例反映了着色petri网的建模优势,验证了CPN Tools在仿真中应用的有效性。 相似文献
2.
Web服务动态组合技术是基于互联网的信息集成研究的重要内容.在对Web服务组合定义基础上,给出了Web服务动态组合的基本模式,并采用Petri网的图形化方式对这些基本模式进行了建模与分析.Web服务动态组合基本模式的研究对于构建服务组合引擎、分析与仿真组合过程具有重要的意义. 相似文献
3.
首先对Kerberos协议认证原理进行分析,然后基于公钥体制的加密技术和Kerberos协议,提出了一个安全性更高的身份认证协议,为SIP多媒体通信的安全设计了一种可行的解决方案。 相似文献
4.
《绵阳师范学院学报》2017,(2)
MIKEY协议是一种可应用于实时的、多媒体通信的密钥管理协议,密钥分发是密钥管理协议的一个重要内容.本文对MIKEY协议提供的三种密钥分发方式进行了基于时间Petri网的分析,并对其中公钥分发方式构建了中间人攻击的时间Petri网模型. 相似文献
5.
针对运行BPG协议的骨干网络面临CXPST攻击风险,采用Petri网的网络建模工具,对骨干网的拓扑结构进行了建模分析,通过设计仿真工具,模拟CXPST的攻击过程,建立CXPST攻击过程的特征抽取与建模,实现对大规模骨干网络的安全风险评估。仿真实验表明,该仿真模型对骨干网风险评估时,其骨干节点失效正确率为84.5%,节点失效延时误差为11.3%。 相似文献
6.
7.
Ad Hoc网络是目前无线网络的一个流行趋势,但作为一种新兴无线网络,因其自身的特点,传统有线网络的安全技术并不完全适用于它,因此Ad Hoc网络的安全问题一直是一个研究的热点问题。深入分析了AODV协议及其路由发现、路由维持和路由修复过程。在此基础上,本文基于AODV协议提出了一种基于信任的安全路由协议(TBS-AODV),利用NS2仿真器对TBS-AODV协议进行了仿真,其结果表明TBS-AODV协议在付出一定的消耗代价后可以较好的避免灰洞、黑洞等攻击,可以实现安全可信的路由。 相似文献
8.
9.
在给出用例及其相关概念的形式化定义的基础上,构建了从用例到具有优先级策略的时间Petri网模型映射的实施方法;提出了一种基于用例和Petri网的建模方法.它先以用例来捕获需求,再用具有优先级策略的时间Petri网来图形化用例,以此来实现它们各自优势的互补。 相似文献
10.
《绵阳师范学院学报》2019,(5):100-103
本文讨论了数据链路层信息传输协议,建立了单工信息传输的Petri网模型,通过Petri网的关联矩阵和可达图对数据链路层信息传输协议进行动态分析,进一步验证了通信协议的正确性. 相似文献
11.
12.
给出了任意流网络及其残留网络Petri网模型的构造流程;通过对模型中各元素的实际意义进行分析,指出如何得到最大流的各个分布;从理论上证明达到最大流的条件并给出通过活性分析可以得到一个最小割的结论;将残留网络和流网络Petri网模型结合起来给出最大流-最小割问题完整的解决方案。Petri网图形化的仿真过程为研究网络流从局部到整体的变化提供了直观的描述。仿真结果证实该方法准确、有效。 相似文献
13.
分析了现有网络安全身份认证的相关技术及Kerberos协议、Liberty协议和Passport。在身份认证的时候,比较了这两种协议以及Passport系统分别就实现单点登录认证的过程和实现原理。 相似文献
14.
15.
以分布、异构、多自治域的互联网环境为背景,提出利用有色Petri网对web服务组合进行建模的方法,给出了web服务组合网的形式化描述和常用结构的图形化表示方法。文中所引用的案例模型可以在CPN—tools中测试．有效的建模是模型分析验证和模型应用的基础。对电子商务和企业应用集成在解决web服务组合问题中具有一定的参考价值。 相似文献
16.
梁建芳 《海军大连舰艇学院学报》2002,25(1):59-60
战争由于它的离散性和同步并发性，应用传统的仿真方法很难得到令人满意的结果，Petri网能够描述异(同)步并发现象，能直接明了的揭示时间之间的演化逻辑关系。本给出了Petri网的定义方法和Petri网的分析方法，对一个防空C^3I系统进行了系统建模，很好的解决了战争系统的仿真模型问题。 相似文献
17.
《绵阳师范学院学报》2016,(2)
针对局域内网单台计算机下载外网资源速度慢的问题,本文以Petri网为系统逻辑设计工具,提出一种基于P2P(Peer to Peer)分布式结构的外网带宽共享协议。该协议指定内网多台计算机在外网下载所需文件的不同片段,再由局域内网传输给任务发起者所属计算机进行原文件整合。协议充分利用多台计算机的并行下载能力以及局域内网的快速传输能力,从逻辑层面提高了单台计算机的下行带宽。本文进一步通过基于Petri网的可达标志图,S_不变量和流程图方法对协议的逻辑正确性和行为许可性进行了验证。 相似文献
18.
分析了Windows2000系统的安全机制,介绍了Kerberos的认证过程,并分析了它的局限性.根据Windows 2000系统特点,提出了新的方案,解决了Kerberos系统各服务器的时钟难于同步性和鉴别码重放等不安全因素,加强Windows 2000的安全性. 相似文献
19.
分析了Kerberos身份认证的原理和认证过程,设计出符合Kerberos协议的统一身份认证以及单点登录的模型,以此确保系统的安全性和可靠性。 相似文献
20.
基于模型方法和软件仿真方法,对会话初始化协议（SIP）连接建立时的吞吐量进行了性能分析。首先在详细分析会话初始化协议（SIP）的服务工作过程的基础上,建立了SIP的广义随机Petri网模型（SPN）,利用工具SPNP6.0进行了模拟分析。考察协议建立会话过程中,网络建立连接请求数较少和连接请求压力较大时系统吞吐量的变化,从而可以针对不同的连接请求情况实施相应的SIP服务策略。 相似文献