【摘 要】
：
形式规约使用形式语言构建所开发的软硬件系统的规约,刻画系统的模型和性质。其中,性质规约中的分支时间规约对于系统验证有着非常重要的作用。在经典情形下,系统性质规约是
【机 构】
：
桂林电子科技大学广西可信软件重点实验室
【基金项目】
：
国家自然科学基金(61672023),广西自然科学基金(2018GXNSFAA281326),广西可信软件重点实验室基金(kx201911)
论文部分内容阅读
形式规约使用形式语言构建所开发的软硬件系统的规约,刻画系统的模型和性质。其中,性质规约中的分支时间规约对于系统验证有着非常重要的作用。在经典情形下,系统性质规约是基于二值逻辑的,不能描述不一致或不确定的信息。因此,将其推广到模糊逻辑背景下,有助于对模糊系统进行形式验证。文中首先给出了性质规约中分支时间属性在模糊背景下的形式化定义,重点研究了其中的安全性和活性;然后,定义了两种闭包操作,从而产生了4种类型的属性,即泛安全性、泛活性、存在安全性和存在活性;最后,证明了每个分支时间属性,或是存在安全性和存在活性
其他文献
1AIoT/嵌入式系统的安全应用当前AIo T相关应用对日常生活的介入十分广泛,例如智能汽车、智能安防、智能家居(智能摄像头/门锁等)均可归属于此类应用场景。这些应用与每个人的隐私、生命财产安全和社会生产生活的正常进行息息相关。
干部考核存在的问题及对策杜桂兰干部考核是干部日常管理和选拔的重要环节，干部考核的质量不仅影响干部队伍的思想建设、组织建设和作风建设，还直接影响人力资源的合理配置，各项
不尽的情思──纪念中共石电地下党支部重建五十周年老同志返厂联谊活动漫记本刊记者郝来宝圆梦华北电力工业的摇篮——石景山发电厂已经走过了延绵不绝的七十六年的辉煌。石
1智能门锁的安全受关注目前越来越多的智能门锁接入云端,伴随用户使用便捷性而来的是安全方面的隐患,无论是黑客通过远程App操控智能门锁开门,还是个人隐私数据等在链路上的
随着科学技术的不断发展,电梯工业的水平也有了很大程度的提升。本文对现代电梯的控制技术以及发展方向进行了探究,力求能够对现代电梯的控制技术以及发展能够有一个更深的理
城镇化进程是衡量一个国家或地区文明程度的重要标志,上海市青浦新城作为“十二五”规划确定重点发展的新城之一,在新的历史阶段面临着更多的机遇和挑战.文化建设作为城镇化
通过实地调研于都县光皮梾木产业发展情况,分析了该产业的发展前景和存在的问题,根据章贡区的实际情况,提出了可以结合乡村振兴和农村人居环境整治、低质低效林改造项目以及
多经企业向股份制跨跃王军从全国电力系统多种经营来看，绝大多数企业为集体性质。它相对于国有企业，体制的本身具有相当的灵活性，实际上并未充分体现和发挥出来。主要原因：其一是
要稳定抓改革──记全国电力工业劳动模范京西电厂厂长田志国杨宝义京西电厂座落在石景山发电总厂厂部约７０公里的群山中，装机总容量为２０万千瓦，在这里，有一群为首都和国家的电力事业
主动检防保障健康于驹北京电力医院，作为电力系统的职工医院，为电力职工的医疗保健服务是我们义不容辞的责任。医院全体职工牢固地树立了为电业职工服务的思想，时时处处为电力职