基于着色Petri网的无线闭塞中心安全加密

来源 :计算机应用 | 被引量 : 11次 | 上传用户:zhexiu1314
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
针对中国列车控制系统(CTCS)-3级列车控制系统中的车地安全通信问题,采用层次化建模思想,设计了一种基于Petri网理论的无线闭塞中心(RBC)和列车之间信息交互的模型,并应用着色Petri网(CPN) tools仿真工具动态仿真了列车和RBC之间传输信息的生成、加密和发送的整个过程。该模型主要分为三个部分:列车申请行车许可(MA)、RBC生成完全监控模式下的MA和列车通过无线网络接收到MA并按照MA进行安全控车。运用动态仿真和状态空间分析工具对所提模型进行仿真分析可得,所设计模型能够满足车地信息
其他文献
针对独立非同分布(i.n.i.d.)广义K衰落信道中的正交空时分组编码多输入多输出(OSTBC-MIMO)系统性能问题,建立了采用M-QAM调制的OSTBC-MIMO系统在i.n.i.d广义K衰落信道中的系统模
“靖县苗族有六声部民歌!”李刚和戈阳——两个毕业班的学生,刚从湘西采风归来,就迫不及待地跑来将他们的新发现告诉我。对如此重大的发现我将信将疑。过去我曾听过侗、苗、
针对煤电机组热力试验指标难以真实反映机组日常连续运行实际性能指标的问题,建立了一套基于电厂生产过程工业大数据的煤电机组技术经济指标动态计算(ETIC)模型和应用软件。利用燃煤机组生产实时系统海量运行数据和生产日报系统分析化验数据,通过"反平衡"动态计算锅炉、汽轮机和厂用电等子系统性能指标,以及机组运行效率、标准煤耗率等机组综合性能指标。将软件应用于某电厂1 000 MW等级超超临界煤电机组,计算结
岩性识别是火山岩油气藏研究的基础。通过对准噶尔盆地滴南凸起区克拉美丽油气田石炭系火山岩常规测井资料的详细分析,总结了该区火山岩的测井相应特征。在此基础上制作弹性
针对云数据库租户隐私数据的加密和查询问题,提出并实现了一种面向云数据库的属性基加密(ABE)和查询转换服务中间件。首先,服务中间件的加解密部件对租户的对称密钥进行属性基加密,生成密文并保存;其次,服务中间件的查询转换部件对查询语句进行转换,使其可在加密后的数据库上正确执行;最后,租户的隐私数据经过对称加密后保存到云数据库。实验结果表明,与未加密数据库的数据写入和查询时间相比,加密数据库的写入时间与