基于UML与有色Petri网的RBC切换场景的建模方法研究

来源 :计算机测量与控制 | 被引量 : 0次 | 上传用户:flyingmomo1986
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
针对仅有一台车载电台正常的RBC(无线闭塞中心)切换场景,探讨了一种基于UML模型和有色Petri网(CPN)的系统建模方法;首先利用UMI。模型的顺序图及状态图描述RBC切换流程和过程中车载设备的状态转移,再从UMI。状态图中提取信息构造相应的有色Petri网模型,最后利用CPN Tools的状态空间工具分析模型的有界性、家态性、活性和公平性,得到的模型动态行为符合RBC切换功能的要求;论文验证了该建模方法的有效性,为完善RBC系统设计提供依据。
其他文献
介绍了一种用于高速飞行器测试系统的专用设备——测试转台,阐述了转台系统的基本构成和通行的技术要求;文章以工程为背景,重点阐述了研制测试转台的各项关键技术;给出了可供读者
针对智能交通系统中信号灯控制问题,提出一种新的控制方法——使用云理论的基本算法处理公交车辆反馈信息;将云理论中的前件云发生器与后件云发生器组合构建云控制器,对含有
针对固定场景中运动目标检测遇到的运动目标状态突变,非运动目标干扰以及阴影等问题,提出了一种背景差分和帧间差分相结合的运动目标检测算法;该算法首先通过平均法背景模型确立背景,使用背景差分得到一幅二值化前景图像,然后将通过连续的多帧图像进行相邻帧差分得到的多幅二值化前景图像进行逻辑或运算,最后将运算结果同背景差分所得到的二值化前景图像进行逻辑与运算,得到最终运动目标区域;实验表明,该算法运算速度快,准
为了满足某导弹测试设备网络化和一体化的要求,设计了该测试设备LAN接口卡;硬件方面,采用基于ARM的嵌入式系统技术,使用ARM内部EthernetMAC控制器和外部物理层芯片实现了100Mbps
摘要:针对罗经等惯性导航装备的动态标校问题,采用高精度的GPS载波相位测姿定位接收机对舰船真实航向信息进行实时动态测量,同时对罗经等导航设备的航向信息进行同步采集;通过对
近日,世界领先的涂料制造商宣伟(Sherwin—Williams)宣布了一项新近完成的业务收购:收购总部位于新加坡的Inchem国际控股有限公司(Inchem Holdings International Ltd.)的液体涂料业
针对无人机的典型的非线性、控制参数时变以及建模复杂的特性,设计了一种基于模糊自适应PID的控制器来实现对无人机纵向姿态的控制;该控制器以误差e和误差变化率ec作为输入,可以满足不同时刻e和ec对PID参数自整定的要求;利用模糊控制规则在线对PID参数进行修正,从而使被控对象具有更好的动、静态性能;仿真结果表明,设计的模糊自适应PID控制器具有响应快及超调小的特性,而且自适应能力也较强。
报道跨国化工公司投资中国,以收购、技术转让方式涉足中国的石化原料、中间体、塑料和树脂、橡胶和轮胎、化纤、有机硅、氟化物、涂料染料、精细和特种化学品、日用化工、医药
该公司30万t/a以天然气为原料生产甲醇产品的过程中,产生过剩的氢随弛放气排放,另一处装置20万t/a煤制甲醇和10万t/a合成氨排放二氧化碳,造成资源浪费。通过技术改造,将原先作为废气
为模拟全弹控制,伺服等系统的接口,产生适于测量系统作自身检测的数字和模拟信号,文章以基础测试为设计模式,设计了一种测量系统等效器,完成模拟外系统各种输入测量系统的被测信号,产生12路模拟信号,7路指令时序信号及3路数字信号;设计时结合USB协议芯片FT245实现与上位机通信接口,并依靠FPGA的高程控性和VHDL语言的高灵活性及超强的硬件描述能力,可靠地完成各种模拟信号源的下发和基于LVDS总线技