Petri网替换运算

文中给出了Petri的替换运算定义,它是对分层模拟与逐步求精的Petri网建模思想方法的一个形式化描述。文中还通过Petri网语言讨论了Petri 网的替换运算同语言的替换运算之间的关系,结果表明,这两个从不同角度给出的替换运算在实质意义上是协调的。

位替换运算的超轻量级移动RFID认证协议

在传统的RFID系统中,读写器与服务器之间采用安全的有线信道通信;而新产生的移动RFID系统则与传统的RFID系统中不同,读写器与服务器之间基于无线信道进行通信,使得适用于传统RFID系统的认证协议并不能运用在移动RFID系统中。为解决该缺陷,提出一种基于位替换运算的超轻量级移动射频识别系统双向认证协议MSB。MSB基于按位运算对信息进行加密,降低通信实体的计算量;标签、读写器、服务器先认证再通信机制,使得MSB能抵抗常见的攻击。对协议进行安全性分析,表明协议具备较高的安全属性;对协议进行性能分析,表明协议具备低计算量的特征;对协议进行基于GNY逻辑形式化分析,给出协议严谨的推理证明过程。

基于对象替换运算的Petri网及其应用

结合替换运算和面向对象技术,对复杂系统建立逐步加细的分层模型,提出一种解决分布式系统中子系统异构所带来的复杂状态空间问题的方法。该方法对对象采用替换运算,将被替换对象定义为消息输入和输出的综合库所,并对综合库所进行库所型子网替换。基于对象替换的Petri网建模方法,通过对系统层次的划分和对对象的建模,并使用库所替换运算对子系统对象和子系统内部对象进行各类子网的替换加细,因而得到的模型具有可扩展、子网独立和异构等特性。最后,本文以车身分布式控制系统对此方法加以分析和验证。

二进制符号替换运算规律的实验研究

报道一种使用光学双稳滤光片作为光学逻辑器件实现二进制符号替换加法运算规律的全光实验系统,给出了实验结果,并讨论了多位数符号替换全加运算器的基本结构和计算过程。

共享密钥与位运算的移动RFID认证协议

移动RFID系统中,可移动读写器与后台数据库之间是通过无线方式进行通信,该信道不安全可靠,传统的RFID认证协议并不能适用于移动RFID系统中。为解决该问题,提出一种基于共享密钥与按位运算的超轻量级的移动无线射频识别双向认证协议MAP(Mutual Authentication Protocol)。MAP基于按位运算机制,采用超轻量级的位替换运算对传输信息进行加密,利用随机数保持传输信息及共享密钥的新鲜性。一次通信过程中标签、读写器、后台数据库三方之间进行认证以此来抵抗攻击者的蓄意破坏。安全性分析表明,MAP能够实现共享密钥动态更新及抵抗去同步化等攻击。通过GNY逻辑对MAP进行形式化数学推理,性能分析表明,MAP具有较低的计算量,适用于低成本的移动RFID系统中。

关于自中心图的一点注记

本文定义了一种加链替换运算,并证明了定理即两个自中心图通过这种运算所得之图其自中心性保持不变.