【摘 要】
：
随机系统运行时验证中,由于可靠地传感系统运行状态的成本非常高以及一些事件的监控严重影响系统时间相关的行为,因此,复杂随机系统在运行时其状态是难以观测的。为了对该类
【机 构】
：
南京航空航天大学计算机科学与技术学院,安徽财贸职业学院云桂信息学院
【基金项目】
：
国家重点研发计划资助项目(2016YFB1000802),国家自然科学基金资助项目(61772270),安徽省高校自然科学基金重点资助项目(KJ2017A859),安徽省高校学科(专业)优秀拔尖人才学术资助项目(gxbjZD32)
论文部分内容阅读
随机系统运行时验证中,由于可靠地传感系统运行状态的成本非常高以及一些事件的监控严重影响系统时间相关的行为,因此,复杂随机系统在运行时其状态是难以观测的。为了对该类系统进行运行时验证,提出了状态不可观测的随机系统运行时安全性验证方法。首先,给出了随机系统安全性验证框架,框架使用隐马尔科夫模型建模运行时系统,使用确定性有限自动机规约系统安全属性,使用两者的乘积自动机作为属性验证器。然后,提出了属性验证器的构造算法,该算法消除了从初始状态不可达的状态以及与验证属性无关的组合状态,约简了验证器的规模。最后,基于验
其他文献
针对压缩采样匹配追踪信道估计算法需已知稀疏度而稀疏度不易得到这一问题，研究了一种稀疏度和稀疏信道联合估计算法。首先提出了一种新的稀疏向量的替代，能够在有限长度的训练
针对输出带有不确定性的Lipschitz非线性系统,提出了一种基于LMI的Lyapunov方法来设计此类系统观测器。在系统输出的不确定性满足Lipschitz条件时,通过LMI方法选取观测器的增
[案情]甲系某国有企业经理，因涉嫌受贿由纪检部门移送检察机关处理。在检察机关立案侦查后其对在纪检部门交待的犯罪事实全部翻供，主要证人（行贿人）也完全改变证言。
2011年9月9日,第27个教师节来临之际,最高人民检察院在国家检察官学院举行了2011年教师节座谈会。座谈会由高检院副检察长孙谦主持。国家检察官学院教师代表在座谈会上围绕检
我国《刑法》第216条规定的假冒专利罪是刑法保．护专利权的唯一罪名，如何界定“假冒他人专利”的行为，如何把握刑法保护专利权的尺度．在实务上存在争议，本文拟就三则案例，结合专利
针对工业现场交换式以太网网络传输时延过长、子网间负载不平衡的问题,在第二代非支配排序遗传算法的基础上,提出基于0-1映射矩阵的多目标交换式以太网拓扑优化方法。该方法