【摘 要】
：
确保信息物理融合系统(Cyber-Physical System,CPS)运行时行为正确性是至关重要的,尤其在航空航天、汽车、核电和医疗等安全攸关领域.本文针对具有随机行为且状态不可观测的C
【机 构】
：
南京航空航天大学计算机科学与技术学院,安徽财贸职业学院云桂信息学院
【基金项目】
：
国家重点研发计划(No.2016YFB1000802);国家自然科学基金资助项目(No.61772270);安徽省高校自然科学基金重点项目(No.KJ2017A859);安徽省高校学科(专业)优秀拔尖人才学术资助计划(No.gxbj ZD32)
论文部分内容阅读
确保信息物理融合系统(Cyber-Physical System,CPS)运行时行为正确性是至关重要的,尤其在航空航天、汽车、核电和医疗等安全攸关领域.本文针对具有随机行为且状态不可观测的CPS,提出一种基于隐马尔科夫模型的运行时安全性验证方法.首先构造状态不可观测的CPS运行时安全性验证框架,该框架通过隐马尔科夫模型表示系统,使用确定性有限自动机规约系统安全属性的否定,两者的乘积自动机作为运行时监控器,从而将CPS运行时安全性验证问题约简到监控器上的概率推断问题.然后,提出一种增量迭代安全性验证算法以及
其他文献
ue＊M＃’＃dkB4＃＃8＃”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:（100084川C京市海淀区清华园申请人:清华大学发明人:隋森芳文摘:本发明属于生物技
目的观察加味四妙散配合中药热奄包外敷治疗风寒湿型膝关节骨性关节炎的临床疗效。方法选择符合纳入标准的病例40例,分为对照组、治疗组各20例。对照组口服双氯芬酸钾分散片
目的探讨老年糖尿病周围神经病变(DPN)患者平衡功能与神经传导速度(NCV)的相关性。方法选取老年糖尿病患者81例,根据其是否为糖尿病周围神经病变患者分为2组:DPN组(n=39)和非
王钰教授将毕生精力都投入临床科研工作中,如今已经工作四十多年,王钰教授将医学、教学、研究融为一体,特别是对中医的研究造诣颇高。不仅担任着中华内科学会肺系病专业委员
<正> 一走进河內的革命博物館,就看見壁上挂着一幅不平常的越南地图。它不是用紙、石膏、玻璃或其他材料做成的,而是用漆和介壳。在磨漆底板上,用介壳做出城市、鉄路、河流、
本文通过文献资料法、访谈法、问卷调查法，对呼和浩特市新城区5所中学150名学生的课外体育活动现状调查和分析，试得出影响呼和浩特市新城区中学生参加课外体育活动的因素，为增强
目的建立清热化毒丸的质量标准。方法HPLC法测定连翘酯苷A、黄芩苷含有量。结果:连翘酯苷A、黄芩苷分别在0.0477~1.909μg、0.0472~1.888μg范围内线性关系良好(r≥0.9998);(
目的探究中医护理干预在恶性肿瘤患者化疗期间对消化系统的改善作用。方法利用数字随机法,选取我院肿瘤科2017年12月~2019年11月收治的95例化疗患者为研究对象,并将其分为对
ue＊M＃’＃dkB4＃＃8＃”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:（100084川C京市海淀区清华园申请人:清华大学发明人:隋森芳文摘:本发明属于生物技
大数据环境下,海量个人信息的收集在为政府和企业提供价值的同时,也引起了人们对数据安全的关注和个人信息泄露的担忧。本文通过设计离散选择实验,设置信息泄露情境,分析不同