【摘 要】
：
随着现代计算机软件和硬件的复杂性变大,模型检测作为一种形式化自动验证技术,与传统的检测技术相比有着一系列的优势,比如可以在系统实现之前对系统进行验证,可以提前发现问
【机 构】
：
陕西师范大学计算智能实验室,陕西师范大学计算机科学学院
【基金项目】
：
国家自然科学基金(11671244).
论文部分内容阅读
随着现代计算机软件和硬件的复杂性变大,模型检测作为一种形式化自动验证技术,与传统的检测技术相比有着一系列的优势,比如可以在系统实现之前对系统进行验证,可以提前发现问题,节约大量成本。传统的模型检测器大多是基于经典的模型检测技术实现的,而现实生活中存在大量的不确定信息,使用传统的模型检测无法解决这些问题。而多值模型检测理论的出现,结合多值计算树逻辑,构建多值可能性Kripke结构模型,可以很好地解决这些问题。为了实现模型检测自动化特性的最大优势,基于多值可能性定量模型检测的理论,设计了多值Kripke结构在
其他文献
目的研究糖尿病的防治方法与护理效果。方法选择在2018年1月-2018年7月来我院就诊的52例糖尿病患者为研究对象,对临床资料进行分析,采用随机数字表法均分,设为观察组和对照组
赤峰北部新第三纪火山活动的产物为玄武岩－粗面玄武岩组合。经 研究对比，认为该时期基性火山岩的形成可能与慢隆伸展作用有关，为板 内裂谷、地幔柱活动的产物。
随着物联网技术的发展应用,越来越多的物理对象能被远程主机感知发现,相关物理对象的属性信息能被搜集和表示,但目前对于物理对象属性信息的分析和研究还不够系统全面。为深入研究物理对象,把物理对象的属性信息分为社会域、信息域和物理域三个多域层次,通过融合分析物理对象的多域属性信息,发掘物理对象之间的关联特性,能找出网络空间中物理对象之间隐含的关联情况。综合物理对象不同域中的属性信息,建立不同的关联计算方法
当今科学技术在突飞猛进的发展,网络技术的广泛应用促进了档案管理工作的进步,同时对档案利用工作提出了新的要求。怎样依靠网络技术更好地服务档案管理已成为当前的热点。本
目的在针对膀胱结石的临床治疗中,使用等离子电切镜内鞘联合气压弹道碎石的治疗方法,并观察分析治疗效果。方法选择我院于2018年1月至2018年6月收治的80例膀胱结石患者,采用
目的探究将优质护理干预应用于慢性乙型病毒性肝炎治疗患者护理中的效果,评价对患者的心理状态、治疗依从性造成的影响。方法在我院数据库中调取时间段2018年1月至2019年4月
资源型矿业城市是指以矿产资源开发为主而建立起来的城市,目前,全国生产的矿产总量中有93%的煤炭、90%的石油、80% 的铁矿石、70%的天然气和大量矿物原料由矿业城市提供。矿
目的探究分析采取CT尿路造影技术(即CTU)配合CT动脉成像技术(即CTA)对于接受经皮肾镜取石手术患者其手术过程中的临床应用效果以及安全性研究。方法我们医院对于2017年12月至