论文部分内容阅读
引入了基于广义可能性测度 LTL 模型检测的基于路径和基于语言的两种语义，证明了其等价性。基于可能 LTL 公式语言等价的方法，给出基于广义可能性测度的 LTL 模型检测的算法和复杂性分析。
可能 LTL 模型检测的两种方法
【摘 要】
：
引入了基于广义可能性测度 LTL 模型检测的基于路径和基于语言的两种语义，证明了其等价性。基于可能 LTL 公式语言等价的方法，给出基于广义可能性测度的 LTL 模型检测的算法和
【机 构】
：
陕西师范大学计算机科学学院
【出 处】
：
陕西师范大学学报：自然科学版
【发表日期】
：
2014年6期
【基金项目】
：
国家自然科学基金资助项目（11271237,61228305）,教育部高等学校博士点基金资助项目（201307180001）
其他文献
<正>多种疾病与病毒性肝炎有相似的临床表现,易误诊为肝炎.为总结经验,提高诊断水平,现将宁夏医学院附属医院初诊误诊为病毒性肝炎57例,总结分析如下.
<正>乙肝病毒在肝细胞内持续活跃的复制是导致乙肝慢性化的基本病理基础,病情迁延不愈,患者可发展为肝硬化和肝癌,目前尚无特异性治疗方法,本组应用抗乙肝免疫核糖核酸联合潘
为给人民群众提供更多可供选择的纠纷解决方式．各地各级法院都在不断积极探索．创新．并协调有关部门大力发展替代性纠纷解决机制。河南省法院在创新中探索．一种有益的尝试——社会
杨舍镇是张家港市府所在地。全镇有26万常住入口，60％以上为农村居民，散居在51个村，如何有效利用公共服务资源，让农民也能享受到现代城市文明？杨舍镇围绕“城市现代化、城乡一体化”
<正>近年来《兼症医学》的提出,在医学界引起了人们的注视,对兼症的基本概念和定义进行了广泛的探讨.本文回顾性分析了我院98例死亡者中的兼症状况,以探讨兼症中的某些概念、
编辑部：今年中央＂一号文件＂首次聚焦水利建设,出台了许许多多支持水利建设、特别是农村小水利设施建设的扶持措施,湖北省谷城县农民听了甭提有多高兴,看到发展农业生产有希望了
<正>感染是使用埋藏式心脏起搏器最重要、最常见的并发症.根据其发生原因、部位、程度及时间不同,处理方式亦不同.现将我院起搏器安置术后发生的感染情况分析报告如下,以供参
基于完备格L,在Quantale中引入了L-模糊滤子的概念,并研究了L-模糊滤子的基本性质.在L是闭集格的条件下,得到了Quantale中的L-模糊滤子的等价刻画;在L是空间式Frame且Q是幂等
利用声散射理论,推导了平面波斜入射时水中液体柱形粒子的声辐射力,研究了入射角变化对柱形粒子声辐射力的影响,并对水中不同液体柱形粒子的声辐射力进行了仿真。结果表明：在