0-1和多值可达矩阵的性质及应用

讨论0-1可达阵的基本性质及其在认知诊断中的重要作用,证明可达阵导出的学生Q阵在先决关系下构成1个格,给出了多值可达阵的计算方法和基于多值可达阵的扩张算法,还给出已知属性最高水平下多值可达阵和0-1可达阵相互转换的膨胀和压缩算法,发现多值可达阵实质上是0-1可达阵的压缩形式,并讨论多值可达阵的性质及其在认知诊断中的应用.     

基于Petri网的双重数字签名的描述与验证

双重数字签名是保障电子交易中持卡人、商户及银行三方安全传输信息的重要技术之一。Petri网是一种描述和验证密码协议的有效手段。利用Petri网从静态和动态两方面仿真分析双重数字签名在电子支付系统中的应用。在静态描述方面,建立了双重数字签名的Petri网模型,并给出形式化描述。在动态验证方面,采用可达树分析此密码协议,验证了可达性、有界性、活性等性质。同时分析表明双重数字签名具有抵抗非法入侵的能力,可以提高电子支付系统的安全性。     

一种构造Petri网可达图的方法

Ｐｅｔｒｉ网是一种系统设计和分析的工具，为了完成Ｐｅｔｒｉ网的各项分析，还需借助如可达树、矩阵方程、可达图等工具．本文将提出可达图的一种构造方法     

基于仿射混杂系统控制设计的机器人导航控制

根据单纯形仿射混杂系统的可达性分析设计控制律,使机器人在平面任意两点间运行,保证其安全性并考虑其最优性.对机器人的状态空间进行三角划分,根据目标吸引原理来建立其对偶图,针对对偶图提出路径规划算法得到最短路径穿越的三角形序列.然后根据仿射系统在单纯形中的性质,提出运动规划算法,得到机器人的角速度和线速度,控制机器人穿越给定的三角形序列到达目标点.仿真结果表明了方法的有效性.     

基于时间Petri网的星载海量存储器动态仿真

星载海量存储器的实时性和安全性要求在系统设计初期进行形式化分析和仿真。在采用UML对系统进行建模的基础上,本文提出一种通用算法将状态图自动转化为时间Petri网。同时根据系统约束和Petri网化简规则化简,分析其可调度性并给出星载海量存储器的时间性能评估。该方法适用于周期任务的静态、有限级调度系统,具有较广的适用性。     

Navigability and Reachability Index for Emergency Navigation Systems Using Wireless Sensor Networks

Emergency navigation with a large number of sensors can serve as a safety service in emergencies.Recent studies have focused on navigation protocols to safely guide people to exits while helping them avoid hazardous areas.However,those approaches are not applicable in all circumstances.Both the dynamics of the environment and the mobility of users are key challenges for the efficiency and effectiveness of navigation protocols.The concepts of navigability and reachability are used to evaluate three typical navigation approaches.A large number of simulation results show that these two indicators effectively identify the performance levels of navigation protocols in changing environments.     

转炉吹炼后期动态终点控制

建立了转炉吹炼后期的系统状态模型,讨论了在正常吹炼条件下系统吹炼后期的动态行为与状态的可达性等问题。并在此基础上,提出了两种实用的动态终点控制方案,后期初始点调整与终点调整。     

多元化网络管理协议的Petri网模型及其验证

介绍了一种新型的卫星网网络管理协议，并阐述了此协议服务联系和服务原语的设计，利用Petri网描述协议的方法，对此网络管理协议模型进行了形式化描述，并利用Petri网的可达性分析、S_不变量分析和T_不变量分析对此协议进行了逻辑正确性验证，确保了此协议具有有界性、活性、守恒性、完整性、前进性等性质，从而减少了协议设计中潜在的错误，为此协议的实现打下了良好的基础。     

面向有向无环图的简化解释结构模型(SISM)法

针对解释结构建模法需要通过求解可达矩阵以实现建模结构化,但可达矩阵的求解比较复杂的情况。证明了对于一类特殊的有向图即有向无环图(DAG),应用解释结构建模法无须求解可达矩阵亦可保证建模结构化的实现。提出了面向DAG的简化解释结构建模法(SISM),并给出其算法。在一定条件下,简化解释结构建模法还可以扩展到全体有向图。以SW移民工程风险分析认知影响图为例,说明了简化解释结构建模法的应用。     

基于能量优化方法的petri网系统的可达性研究

petri网系统的可达性问题是系统的状态、行为分析的基础.本文主要研究了通过建立能量优化模型方法和神经网络技术来实现可达性问题,并给出了能量优化模型的神经网络算法设计.