【摘 要】
：
为解决复杂场景下离散事件系统动态性高引起的分析困难问题,提出了一种基于着色Petri网的离散事件动态系统建模方法.该方法首先对系统进行信息流分析并建立UML模型,然后根据规则将UML模型映射为Petri网模型,再对Petri网模型进行分层并添加颜色集,建立系统的着色Petri网模型.在向着色Petri网模型转换时,首先将动态系统分解为顶层模型和子模型;然后定义不同的颜色集,用来表示系统运行过程中的指令和状态等信息,减少库所和变迁的使用量;接着对子模型的变迁加载守卫条件和时间戳,使模型能够处理系统的并发和顺
【机 构】
：
北京交通大学 计算机与信息技术学院,北京 100000;中国电子科技集团公司第五十四所,河北 石家庄 050000
论文部分内容阅读
为解决复杂场景下离散事件系统动态性高引起的分析困难问题,提出了一种基于着色Petri网的离散事件动态系统建模方法.该方法首先对系统进行信息流分析并建立UML模型,然后根据规则将UML模型映射为Petri网模型,再对Petri网模型进行分层并添加颜色集,建立系统的着色Petri网模型.在向着色Petri网模型转换时,首先将动态系统分解为顶层模型和子模型;然后定义不同的颜色集,用来表示系统运行过程中的指令和状态等信息,减少库所和变迁的使用量;接着对子模型的变迁加载守卫条件和时间戳,使模型能够处理系统的并发和顺序性问题;在此基础上为系统库所添加令牌,用于表示系统中流动的信息资源.CPN Tools测试输出的结果,验证了所提方法的有效性,同时也为系统的设计与优化提供了一定的参考.
其他文献
为研究介质中俩物体间的作用力,建立无限大理想介质模型,用经典力学的方法得出无限大理想介质中两物体间的万有作用力是系统作用于两物体的万有引力合力和点浮力合力共同作用的结果,是一对作用力与反作用力,万有作用力表现为引力或斥力的形式,其数学表达式为Ff=G0(ρ1-ρ0)(ρ2-ρ0)V1V2/R2,ρ1、ρ2、和V1、V2分别为理想介质中两物质的密度和体积,ρ0为理想介质的密度,R为两物质间的距离.两物体所受万有引力的合力不再是大小相等方向相反,不是作用力与反作用力;两物体所受点浮力的合力也不是大小相等方向相
工业控制系统网络安全事件不断,工业控制系统网络安全面临的严峻形势,对于工业互联网企业用户在发生安全事件时如何及时的寻求行业专家和监管部门的协助进行安全应急响应显得尤为重要.本文通过分析建立工业互联网可信应急平台的必要性,从建立安全应急响应的平台、建立并共享专家库、通过基于国密算法来保障平台可信安全最终通过可视化展现建立一个基于工业互联网安全的大数据安全可信应急平台.平台以“共享化”模式为基础,建立信息安全专家库,为信息安全专家与工业互联网企业建立快速处理信息安全问题的桥梁.
“互联网+先进制造业”计划落向实处,工业互联网安全保障能力建设走向深水区,企业和主管单位在推进数字化、信息化、智能化跨越式发展过程中面临诸多需要解决的问题,亟需构建内外一体、多层防护、纵深防御的立体化工业互联网安全监测与保障体系,为数字化转型保驾护航.
干湿球温湿度计是一种用于测量环境温湿度的仪器,在各行各业中应用广泛.其具有数据读取直观方便,价格适中,维护简单,不易损坏等特点.随着科技的发展,现在对温湿度计的精度要求也越来越高.本文主要探讨干湿球温湿度计在检定、校准和使用中常见的一些影响因素,通过对这些影响因素的分析提出合理的改进措施,以期提高干湿球温湿度计测量准确性.
无人驾驶飞行器所特有的空域监控视角广、低空成像清晰以及地空联动通信便捷的特性,不仅使公安机关能在短时间内全面获取案发事件现场的第一手资料,提高了公安机关快速响应能力、指挥决策能力,也在一定程度上实现了侦查工作由被动发现到主动追踪、由广度信息群到轨迹信息链的变革.
在网络通信技术和安全防护技术不断更新发展的大环境下,如何解决工业网络安全管理平台瓶颈,为工业企业的安全管理更好的创造价值,须从大数据分析角度去解决这个问题,实现基于大数据分析的工业企业网络安全管理.我国经过十多年的信息与网络安全建设,企业和组织已经从网络安全的局部建设进入到了IT+OT的整体优化阶段,更加强调从生产业务系统安全风险的角度入手,而非从单一安全威胁和防御机制的角度去管理生产系统安全.要做好安全管理工作,就需要一套相应的安全管理技术支撑手段.本文重点解读如何大数据安全角度出发,基于大数据分析检测
智慧地铁是智慧城市发展的重要组成部分,已成为5G网络建设的重要场景之一.由于应用场景的特殊性及重要性,在具体的5G网络建设中,保障系统通信的信息安全显得尤为重要.文章主要是对地智慧地铁领域5G安全相关风险进行分析,并研究5G网络安全防护体系安全理念,以指导后期的5G网络在智慧地铁安全技术及体系建设工作.
目前国内外智能网联示范区和车联网项目路侧基础实施大多采用有线方式进行回传,存在施工难度大、施工成本高、施工周期长等缺点.武汉智能网联汽车示范区位于武汉开发区智慧生态城园区,该示范区采用国内首张SA组网的大规模5G商用网,实现C-V2X多场景的测试验证,率先实现自动驾驶应用的商业化落地,建立了人、车、路、网、云的智慧交通管理体系,通过应用驱动城市基础设施建设,形成智能网联的全新生态体系.本文介绍了在国家智能网联汽车(武汉)示范区二期项目中采用5G专网进行无线回传的技术方案,并对主要网络性能指标进行系统的测试
对浆液循环泵进行优化操作指导,有利于提高脱硫系统的经济性.本文提出采用聚类算法对浆液循环泵运行数据进行工况划分,并建立工况库,在系统运行时,基于工况库采用径向基神经网络算法预测工况类型以及最低能耗值,以实现浆液循环泵的运行优化,通过实验数据对该方法进行验证,结果显示节能效果较好.
电子皮带秤在烟草制丝线生产中起着非常重要的作用,随着工艺质量要求的提高,电子秤运行的稳定性和计量的精确性越来越受到关注.文章针对电子皮带秤传动装置动力轴更换困难的问题,研究出了一种结构简单、便于更换的新型传动装置,包括底架、移动板、传动机构等部件,通过销钉控制动力轴和两个安装块的固定与拆卸,方便实用,并且通过转动螺纹杆能够使螺纹杆顶着接触块,从而使皮带辊紧紧与皮带贴紧来对皮带进行张紧.