【摘 要】
：
随着信息技术的迅速发展,对于硬件、软件、网络等可靠性的高效检验成为急需解决的一个重要问题.在众多验证方法中,运行时验证由于其反馈及时、轻量级等多种优势正被应用到越
【机 构】
：
南京航空航天大学 计算机科学与技术学院,南京 211106软件新技术与产业化协同创新中心,南京 211106;
论文部分内容阅读
随着信息技术的迅速发展,对于硬件、软件、网络等可靠性的高效检验成为急需解决的一个重要问题.在众多验证方法中,运行时验证由于其反馈及时、轻量级等多种优势正被应用到越来越广泛的领域.然而,现有运行时验证方法仍有两方面的不足:其一,尽管现有运行时验证中对性质的描述采用形式化方法,但现有自然语言向形式化语言的转化过程不能直接完成,这就会极大的影响了运行时验证的推广使用.其二,现有运行时中规约都是常量事件,并具有不可变性,而在实际中大量事件之间的关系是具有共性的.因此,在对现有规约进行统计的基础上,抽象出常用规约组成模式库,这样用户可根据需要,来调用模式库中的模板,从而减少了从自然语言到形式化方法的转化过程中所需的人工干预.
其他文献
心理学是研究人的心理现象的发生、发展及其规律的科学,其需求和动机理论对做好安全生产工作十分重要。控制论是研究各类系统的调节和控制规律的科学。控制分前馈控制、同期
1月22日，省农业农村厅召开全省农业农村局长会议，省委农办主任、省农业农村厅厅长于强，副厅长钟东，副巡视员成洪，省农机化管理中心主任卢景斌，全省各市（州）农委、长白山管委会环资局、长春新区农委、各县（市、区）农业（农经、农机，特产）局主要负责人等出席会议。会上，于强着重部署了全省农业系统扫黑除恶专项斗争工作，各级农业部门要切实把思想租行‘动统一到中央和省委、省政府的部署要求上来，针对基层群众反映强
学术和工业界所研究的推荐技术绝大部分都是关于单个用户的个性化推荐系统,然而被推荐的对象往往是超过一个人的群体.继而诞生了群组推荐技术,它可以对群组推荐又尽量满足群
发现王志安今年2月中旬,在朋友家里看到一本新书。《论技术创新与安全生产》,该书的序言给记者提供了这样的信息:作者王志安,胜利采油厂副总工程师,中国石油化工集团公司安
日前,在2017年中国(广州)国际渔业博览会上,笔者在围观的人群中发现了一条身披黄金战袍的鱼——黄金鲍肉鲩.光听名字就给人以无比想象的空间,而给它取这个名字的,正是它的主
该文尝试在实际工程项目中运用生态观念来指导规划设计,站在价值观的高度,结合实际环境深入到系统层次进行操作,突出自然生态系统在城市生态化发展中的重要性。
This paper
电子信息技术的发展,使得电子文件越来越多地形成于日常办公和档案管理中。但电子文件具有易改动性和易复制性,在传播过程中的完整性保护问题越来越凸显。文中提出了一种加密环境中保证文件备份完整性的实现方案,并以此实现方案为主线,介绍了一个基于多线程技术的文件备份完整性保证系统的设计与实现。系统具有对主机中指定类型的活动文件自动、强制备份的能力,同时具有较好的容错能力。并对实现过程中的一些难点技术问题进行了
上海增达环境试验设备有限公司生产的WGD系列高低温试验箱性能指标达到国家标准GB10592-89高低温试验箱技术条件,适用于按GB2423.1.2《电工电子产品的基本环境试验规程试验A:
该文结合重庆市涪陵五中校园建筑规划与设计,着重介绍本方案如何结合基地复杂自然环境和人文环境,在创作中寻求人工环境与自然环境的互动平衡,继而在物质的创造中达到精神的