论文部分内容阅读
随着信息技术的快速发展，信息和通信技术（ ICT）系统被广泛使用，因而其可靠性非常重要。本文采用时序逻辑的形式化方法对ICT系统进行可靠性检测讨论，主要从3种时序逻辑的语法、语义及它们的异同进行比较分析，为ICT的可靠性检测分析提供了理论借鉴。
时序逻辑的语法语义比较分析
【摘 要】
：
随着信息技术的快速发展，信息和通信技术（ ICT）系统被广泛使用，因而其可靠性非常重要。本文采用时序逻辑的形式化方法对ICT系统进行可靠性检测讨论，主要从3种时序逻辑的语法、语义
【机 构】
：
重庆文理学院机器视觉与智能信息系统重点实验室,贵州大学计算机科学与技术学院,贵州科学院
【出 处】
：
重庆文理学院学报(社会科学版)
【发表日期】
：
2014年5期
【基金项目】
：
重庆市前沿与基础研究项目(CSTC2013JCYJA40053);重庆市教委科学技术研究项目(KJ131218、KJ111217、KJ1401112);永川区自然科学基金(重点)项目(YCSTC2013NB8001,YCSTC2013AD2002)
其他文献
目的对我院根部骨折的患者进行回顾性分析,探讨钢板内固定治疗根部骨折的临床疗效。方法选择我院2012年6月至2015月收治的根部骨折患者作为研究对象,一共有60例,男性患者有33
中药复方药效物质基础研究是中药现代化和创新现代中药的核心和基础。近年来在思路、方法和新药研发的实践方面都积累了许多经验,也取得了长足的进步。现代新技术,如分离鉴定
本文提出了一种机械化程度较高的新型整体升降楼板脚手架,通过动力集成顶升装置实现该脚手架楼板支撑平台的升降,机械化程度较高,设计形式新颖,操作简单方便,加快了施工速度,
宁波旅游经济发展水平与其城市地位及资源条件相比还不相称．文章从思想观念、体制与管理、旅游形象、宣传促销、规划、投入、地理与交通、人才等八方面探析了宁波旅游经济排徊
机械手在工业中的应用减少了危险作业对操作人员的损害,减轻了人们的劳动强度,已替代了大部分人工作业.本文以搬运式机械手为例,深入探讨了包含腕部链传动与机身回转部分的机
选取东折棱河自然保护区2种不同红松林林型(云冷杉红松林和蒙古栎红松林),采用乔、灌、草生物多样性对比研究的方法,研究林地结构特征对红松针阔混交林生物多样性的影响。对2
马克思不仅是一位怀有强烈的人文关怀意识的哲学家,也是一位具有自然关怀意识的哲学家.《1844年经济学哲学手稿》是阐发马克思生态思想的重要文本：其中“对象性”是人与自然关
韩国影视在中国传播的过程中,作为影视广告点睛之笔的片名的翻译,起到了至关重要的导视与促销的作用。当使用以上翻译方法都不能很好地表达影视的内涵时,就要抛开原片名的内
通过二元正交回归试验方法,研究了浸镀时间、浸镀温度与浸镀铝层厚度的关系,最终得出了较理想的热浸镀铝工艺参数。结果表明,采用最优化工艺参数浸镀铝,所得浸镀层分布均匀,