ltl相关论文
本文通过水热法合成了含骨架Fe 的LTL 沸石，采用XRD、XRF、CO2-TPD、TPR、FT-IR等手段对其进行了表征，并将其担载Pt 制成催化剂后应......
目的 白细胞端粒长度(LTL)可以作为年龄相关疾病和早期死亡的预测因子。应激与LTL的相关性提示端粒生物学可能是联系应激暴露......
模型检查是一种非常重要的形式化验证技术,它利用状态空间搜索来探索所有可能的系统状态。以这种方式,可以检查给定的系统是否满足......
概率模型检验是一种针对概率模型的形式化验证技术,与传统的非概率模型检验相比,概率模型检验不仅能对系统进行定性的检验,即判断......
国家经贸委负责人12月13日在新闻发布会上透露,为民众所关注的《反垄断法》的起草工作正在抓紧进行,不久将报国务院审批。这是一则......
12月22日,联想科技公司(LTL)显示设备事业部向新闻界展示了他自制的和代理日立公司的液晶显示器共六款新品,宣布从2000年开始,该......
联想科技近日宣布与日立公司合作向业界全面推广液晶(LCD)显示器。率先亮相的PCX-DT3141CN,尺寸为14.1,全屏显示,使可视范围与16......
基于RGPS服务层元模型的特征,本文提出了一种形式化方法来验证元模型的活性.首先,用BPEL语言描述RGPS服务层元模型.接着,实现BPEL......
公路零担货运业是典型的网络型产业,网络化的运输组织是提升运输效率的关键,而各种内、外部因素与零担货运业网络结构的形成密切相......
测试预言是一种用来检测被测系统的测试执行是否正确的方法.文中,作者设计并实现了一种根据程序的线性时序逻辑(LTL)的性质产生测......
计算状态空间可达图是验证工作流正确性的主要方法，状态空间爆炸是这类方法的主要困难。文章对线性时态逻辑LTLx描述的正确性提出了......
传统并发通信顺序进程（CSP）性质的验证通常使用3个不同的模型层面,从而增加了系统的复杂性和验证工具开发的难度;同时,主流的并发系......
跨时钟城（ClockDomainCrossing，CDC）设计和验证是soC系统芯片设计的关键问题。讨论了异步FIFO的模型检验方法，利用模型检验工具SMV，建立......
WS-BPEL作为一种webservice组合语言，如今在企业解决方案中已经得到了广泛的应用．但是，由于WS-BPEL所依赖的外部服务的自治性以及流程......
目前的模型检测方法中，有一种方法是基于自动机来实现的．具体做法是：将抽象出的系统模型用BUchi自动机来表示，将需要验证的性质用LTL（1i......
时态逻辑在软件确认和模型检查中有广泛的应用。时态逻辑的不同变体有不同描述能力。正确理解时态逻辑的描述能力有助于书写系统特......
概率模型检验建立在非概率模型检验技术的基础上，不仅能够对系统进行定性的验证，还能够定量判断系统满足相关性质的概率，具有广泛的适......
状态爆炸是模型检验需解决的一个关键问题．基于GPVW算法，以及从LTL公式导出识别该公式的Bachi自动机，用OBDD符号表示，通过符号操作求解......
在智能轨道交通中,信号系统作为指挥列车安全运行的核心控制系统,在列车运行过程中,控制不当可能导致对人类生命,财产或环境造成灾......
模型检测是一种有着自动化并能提供反例的验证系统属性的形式化分析方法,其由系统模型,系统属性的描述和模型检测器组成。模型检测......
文章介绍了密钥交换协议SSL 3.0协议,并利用模型检测工具SPIN对其进行了形式化分析、建模和验证。实验结果表明此验证方法的正确性......
应用中药制剂卵管通液在B超监测下行子宫输卵管通液术51例为实验组,另用38%泛影葡胺在X线下行子宫输卵管造影术51例.结果:两种方法......
基于线性时序逻辑（LTL）的模型检验是使用较为广泛的技术。该种模型检验最终归结为有穷自动机的判空问题，其复杂性来源于性质和模型乘......
UML是一种通用的图形化建模语言，在面向对象系统的分析与设计中，形成了一个统一的、公共的、具有广泛适用性建模语言，但它并不是形式......
针对传统的测试方法无法对网络安全协议的逻辑本身进行验证等问题,提出了一套基于形式化分析和SPIN模型检测的验证方法.该方法首先......
首先介绍自动机识别有限词和无限词两种情况，然后结合模型检查方法，把自动机作为规范自动机与模型自动机，使用自动机识别语言的包含问......
Spin不仅可以用于通信协议的正确性验证,也可以对其进行有效的安全性分析。对用Promela语言描述的进程调度模型进行分析研究,并对......
<正>对于联邦快递来讲,“快”一直是其追求的价值目标,也是其借以制胜的秘诀。然而在追求快捷的同时,忙中出错的情况也时有发生,成......
在空管运行系统中,分析相关事故或不安全事件过程中常把责任归咎于某一方面的不足,然而,对重大事故的彻底调查几乎总能发现其他的......
检查并发系统的性质变得日益困难。随着验证方法的发展,一些复杂系统并发性越来越高,越来越难以理解。偏序约简方法被提出以减少自......
随着计算机技术的不断进步,计算机系统的软硬件设计越来越复杂,过于复杂和庞大的设计必定会带来越来越多的设计缺陷和错误。传统的......
随着计算机硬件技术和相关软件技术日益成熟,软件在人们日常生产生活中扮演着越来越重要的角色,并在工业、通讯业、医疗、军事和航......
