Petri网的分享合成操作

通过引入Fork算子，建立Petri网的一种新的合成操作一分享合成，分享合成探作与传统的共享合成操作相比更适合于描述信息系统的建模。在分享合成时，子网中任何与分享库所无关的变迁序列在合成后保持不变，分享合成对于子网内由分享库所引发的变迁序列也保持不变。分享合成实际上增加了分享库所引发变迁序列发生的机会，使得到达输出集的机会增加。最后介绍了Petri网分享合成操作在信息系统安全管理中的应用。     

海洋环境信息云计算身份认证技术研究

设计了一种基于public key infrastructure(PKI)技术的Kerberos改进协议,用于解决海洋环境信息云计算环境身份认证问题.首先对Kerberos协议的认证原理进行分析;然后基于公钥体制的加密技术和Ker-beros协议,提出了一个安全性更高的身份认证协议,较好地解决了口令猜测攻击、重放攻击、时钟同步等问题,具有较好的安全性且易于实现.     

基于MSP430单片机slope功能的电阻测量方法

本文介绍了一种基于MSP430单片机slope功能的测量电阻的方法。借助于MSP430内部的定时器Timer_A和比较器Compare_A,可以较精确地测量电阻。应用此方法设计传感器、仪器仪表,特别是电池供电的系统时,可以减少使用的器件数量,简化外围电路。