一种改进型的S4PR网活性条件

研究了顺序资源共享分配系统的建模模型S4PR (Systems of sequential systems with shared resources)网的活性问题. 已有的研究成果表明, 一个S4PR网在所有信标都满足max, max'或max"-controlled 时能保持活性, 但现有的活性条件对信标的限制严格且不适用于某些网系统, 本文提出了一类名为max*-controlled的改进型条件, 并证明了当一个S4PR网的所有信标都满足max*-controlled条件时, 网系统能保持活性. 与现有的其他条件相比, 新的活性条件更加宽松, 为设计更高允许度的死锁预防或者活性保持监控器提供了理论支撑.     

基于闭环调整策略的无线HART时间同步方法

时间同步是无线传感器网络的关键技术之一。无线HART是用于复杂工业环境的WSN通信协议.为了解决其时间同步问题,文章提出了一种基于闭环调整策略的时间同步方法 CATS。该方法通过测量同步节点之间的时间偏差,获得同步节点之间时间偏差对象模型参数,建立内部受控对象模型,实现节点间的时间偏差的短周期闭环调整。在CC2430通信模块上的实测表明:该方法具有同步精度高、环境适应性好、计算复杂度低等特点,为复杂工业领域中无线HART的时间同步提出了较优的方案。