基于Petri网的骨干网络安全风险评估分析

针对运行BPG协议的骨干网络面临CXPST攻击风险,采用Petri网的网络建模工具,对骨干网的拓扑结构进行了建模分析,通过设计仿真工具,模拟CXPST的攻击过程,建立CXPST攻击过程的特征抽取与建模,实现对大规模骨干网络的安全风险评估。仿真实验表明,该仿真模型对骨干网风险评估时,其骨干节点失效正确率为84.5%,节点失效延时误差为11.3%。     

通信部门移动自组网的抗毁性评估

从通信部门所担负的任务出发,建立通信部门移动自组网抗毁性模型,对两节点通信网络直接连接的两个简单网络进行抗毁性评估,同时深入研究了上述网络两节点必须中转一次的抗毁性评估方法．     

有色Petri网在web服务组合建模中的应用

以分布、异构、多自治域的互联网环境为背景,提出利用有色Petri网对web服务组合进行建模的方法,给出了web服务组合网的形式化描述和常用结构的图形化表示方法。文中所引用的案例模型可以在CPN—tools中测试．有效的建模是模型分析验证和模型应用的基础。对电子商务和企业应用集成在解决web服务组合问题中具有一定的参考价值。     

基于Petri网的体检流程建模优化分析

为提高体检的效率和质量,对医院体检流程进行建模优化非常重要.文中建立了一种基于Petri网的体检流程建模优化模型.给出体检基本流程的Petri网原模型,探讨了该流程模型中存在的问题,然后结合互联网智慧医疗对原模型进行了建模优化分析,增加了体检智能导检和排队叫号系统,从体检效率、体检秩序和审查环节等方面对原模型进行了优化...     

基于CPN Tools的驾驶培训系统建模及性能分析

Petri网在流程信息系统建模中能得以有效利用,一个有效的驾驶培训系统关乎学员的学习效率和驾校的效益。着色Petri网（Colored Petri Net,CPN）是对离散事件动态系统进行图形化建模的有效理论,CPN TOOLS是应用Petri网理论进行建模与仿真分析的有效工具。通过对驾驶培训系统流程进行设定,利用CPN TOOLS对驾驶培训系统进行建模与仿真,在假定参数条件下对产生的能够反映仿真动态过程和结果的数据进行性能分析,并得出合理的教练员配置方案及效益结果。通过实例反映了着色petri网的建模优势,验证了CPN Tools在仿真中应用的有效性。     

以太无源光网络接收机的建模(英文)

建立了以太无源光网络接受机的行为模型,该模型包括光纤、光电探测器、跨阻放大器、限幅放大器及时钟和数据恢复电路.模型中各部分都是利用电路结构和行为特性来进行建模的,同时也对它们的噪声和抖动进行了建模,如散粒噪声、热噪声、确定性抖动和随机抖动.由于使用了行为模型,仿真速度比普通电路模型更快,同时比解析模型更准确.整个模型用C + +语言描述,在Microsoft Visual C + +6.0 中进行实现,并利用蒙特卡洛方法对系统仿真.最后建立了测试环境对模型进行验证,结果表明仿真结果与实验结果有较好的一致性.     

电子商务系统网络安全隔离技术的研究

针对目前Internet上的黑客软件、网络病毒针对TCP/IP协议设计的特点及Windows终端与Windows终端服务器之间可以通过IPX协议建立通信连接的技术特征,提出外网Windows终端服务器选用一网卡只加载标准的TCP/IP协议与Internet相连,另一网卡只加载IPX协议仅与内网Windows终端相连的组网方案,阻隔黑客软件攻击与网络病毒传播的通信通道,研究电子商务系统内外网络安全隔离新型应用模式.     

基于Petri网的加工中心系统建模与仿真

介绍Petri网的基本理论，利用它对某车间加工中心系统生产过程建立模型，反应整个系统的加工动态特性，用ARENA7．0语言进行仿真研究，分析系统资源配置的合理性、高效性，提出更实际、更完整、更复杂的制造自动化未统的建模与仿真要求。     

基于扩展Petri网的混合系统建模方法

为了对混合系统进行有效地建模,提出了一种扩展的面向对象混合Petri网(EOHPN)建模方法.针对混合系统的复杂性,在EOHPN模型中融入了面向对象的抽象机制,例如封装和类定义.为了结合混合系统的连续部分和离散部分,减少混合系统的复杂性,引入混合Petri网并用面向对象建模技术作了扩展.在定义EOHPN模型的基础上,拓展了对象模型.最后,用实例描述了基于EOHPN的混合系统建模过程,同时验证了EOHPN模型在处理复杂混合系统建模时是有效的.     

Petri网理论在防空系统中的应用

战争由于它的离散性和同步并发性，应用传统的仿真方法很难得到令人满意的结果，Petri网能够描述异(同)步并发现象，能直接明了的揭示时间之间的演化逻辑关系。本给出了Petri网的定义方法和Petri网的分析方法，对一个防空C^3I系统进行了系统建模，很好的解决了战争系统的仿真模型问题。     

结合Petri网与进程代数的业务过程协同模型研究

业务过程协同允许组织之间彼此进行通信、交互与协作以完成特定业务目标。为了完整地描述出一个参与组织的协同,提出进程标号迁移系统PLTS（Process Labeled Transition System）,对单个参与组织的模型视图和通信行为视图序列进行集成,进而使整个跨组织业务过程协同可以通过各个参与组织的PLTS并行组合而成。该建模方法充分结合了Petri网与CCS各自的优势,避免了单一运用Petri网与进程代数建模业务过程时面临的问题,有效支持了业务过程协同的形式验证。同时为了避免模型状态空间过大而无法进行有效验证的问题,提出了6条约简规则,并证明了这些规则是满足协同正确性的充分条件,从而使行为验证方式由模型推导变为代数推导。     

基于Petri网的工作流模型设计

产品开发过程的建模、分析与优化是支持企业开发新产品的重要基础，而Petri网是一种行之有效的模型描述语言、论述利用Petri网建立面向企业新产品开发过程的工作流模型，并对其进行简化、     

基于广义随机Petri网的SIP的吞吐量性能研究

基于模型方法和软件仿真方法,对会话初始化协议（SIP）连接建立时的吞吐量进行了性能分析。首先在详细分析会话初始化协议（SIP）的服务工作过程的基础上,建立了SIP的广义随机Petri网模型（SPN）,利用工具SPNP6.0进行了模拟分析。考察协议建立会话过程中,网络建立连接请求数较少和连接请求压力较大时系统吞吐量的变化,从而可以针对不同的连接请求情况实施相应的SIP服务策略。     

大功率柴油机非稳定工况数值模拟研究

本文在对东方红-160拖拉机所配备的柴油机的非稳定工况充分分析、初步建立了各部分的数学模型的基础上,在SIMULINK的仿真环境下建立了柴油机各部分仿真模型,按柴油机的实际工作过程搭建了整机仿真模型,通过对其进行仿真研究,得到了理想的仿真结果。在建模过程中引入了有限状态机理论,利用Matlab/Statelfow模块,对缸内工作过程仿真模型的执行策略进行了设计,简化了柴油机的仿真模型,为柴油机建模提供了一种新思路。     

同线多跳自组网中一种基于最小ID的同步算法

同线多跳自组网既能解决现有同线通信方式的不足,又具有广泛的应用前景。在对同线多跳自组网进行深入研究的基础上,针对网络同步问题提出了一种新的基于最小ID的同步算法。经仿真分析验证,这种算法能较好地满足要求。     

基于Petri网的机场运管委航班调时调减工作流程仿真研究

民航业正处于数字化转型及协同运行机制建设时期，航空运输服务需求显著增加，优化运行工作流程、提高民航运行效率迫在眉睫。对数字化转型背景下民航机场联合运行管理委员会航班调时调减管理工作流程进行了总结，并基于Petri网系统的建模理论对工作流程进行仿真建模，通过分析仿真模型的性能，找出运行过程中容易出现瓶颈的环节，为民航抓住数字化转型机遇，优化运行工作流程提供决策依据。     

基于Petri网的最大流-最小割问题建模与求解

给出了任意流网络及其残留网络Petri网模型的构造流程;通过对模型中各元素的实际意义进行分析,指出如何得到最大流的各个分布;从理论上证明达到最大流的条件并给出通过活性分析可以得到一个最小割的结论;将残留网络和流网络Petri网模型结合起来给出最大流-最小割问题完整的解决方案。Petri网图形化的仿真过程为研究网络流从局部到整体的变化提供了直观的描述。仿真结果证实该方法准确、有效。     

通信网络建模在高等数学课程中的渗透

高等数学是一门通信工程专业的必修基础课程,为后期通信专业课的学习提供必要的保障。为培养该专业学生的通信网络建模思维及解决实际问题的能力,通过通信中典型的实例分析,分析数学模型的构造过程,并结合相应的软件编程开展对所建立模型的求解,强化了学生的建模思想,引起了强烈的学习兴趣,加深了对通信工程专业的理解和认识。结果表明:在高等数学中融入通信网络建模及求解的方式方法,得到了被试学生对象的认可,提高了数学的教学效果。     

建立诚信安全的P2P环境和分布管理系统

文章指出中国为实施中国下一代互联网(CNGI)计划而大规模布设IPv6骨干网,这为发展P2P应用、建立诚信安全具有分布管理能力的P2P网络环境提供了机会:一方面在CNGI的IPv6网上一开始就可以实行实名制,从而发展建立网络新秩序;另外一方面可以在CNGI上以无缝和持续演进的方式建立智能结点重叠网,以支持P2P应用并提供分布式管理。文章认为CNGI发展的IPv6终端和IPv6用户网(如家庭网、传感器网等)可以通过在现有IPv4有线/无线接入网和城域网中建立IPv6隧道连接到IPv6骨干网P2P平台,以获得足够的通达能力,并在此基础上发展基于P2P的各种新应用。     

中职物理课程改革的一些思考

通过计算机建立问题的模型并进行仿真,以程序的动态运行实现对对象发展变化过程模拟,认识复杂的现实研究问题,是一种对复杂系统进行处理的有效方法.介绍了基于系统动力学的计算机建模与仿真,并对系统动力学仿真的应用和发展方向进行了研究.