VIP会员
作者:CSDN
出版社:CSDN《程序员》
ISBN:1111111111117
VIP会员免费
(仅需0.8元/天)
¥ 40000.0
温馨提示: 价值40000元的1000本电子书,VIP会员随意看哦!
电子书推荐
-
CTL模型检测 评分:
关于CTL模型检测,很好的入门,还有很多实例。
上传时间:2014-08 大小:72KB
- 16.46MB
SSM客户关系管理系统
2018-05-15SSM客户关系管理系统实现增删查改等功能!!!!!!!!!!!
- 95KB
opencv实现水面垃圾检测.rar
2019-07-08opencv实现水面垃圾的检测(对文件夹内的图片进行检测)(附结果图)
- 1.44MB
元素周期表(高清英文版).pdf
2019-11-06这是一份全英高清元素周期表,可以帮助全英教学的学生学习化学。
- 474KB
磁性介孔二氧化硅对重金属镉的解吸行为研究
2020-01-01磁性介孔二氧化硅对重金属镉的解吸行为研究,周丽枫,王韧,本文选用成本低的小分子酸盐酸作为解吸剂,利用HCl对吸附到磁性介孔二氧化硅(MMS)及巯基改性磁性介孔二氧化硅(TMMS)上的Cd2+进行�
- 25.57MB
通信网:基本概念与主体结构
2011-12-22通信网的中文翻译版。 《通信网:基本概念与主体结构》 作者: Alberto Leon-Garcia / Indra widjaja 出版社: 清华大学出版社 pdg格式的,影印版的,清晰度还行。
- 517KB
论文研究-使用多种机器学习算法预测CTL模型检测 .pdf
2019-08-14使用多种机器学习算法预测CTL模型检测,朱维军,樊永文,计算树逻辑(CTL)模型检测现已应用在多个领域。然而,状态爆炸问题限制了计算树逻辑模型检测的进一步应用。研究人员已经提出了许
- 591KB
符号化模型检测CTL
2011-05-06符号化的模型检测CTL*, 作者苏开乐 关键词 模型检测;时态逻辑; 有序二值判定图 (OBDD )
- 560KB
Coeus:CTL模型检查器
2021-04-10严格来说,CTL模型定义为一组状态,这些状态之间的转换以及标记函数L。在Coeus中,只有状态和转换包含在Model类中:标记是独立实现的。 可以通过YAML文档将模型加载到Coeus中。 您可以在spec/fixtures找到该模式的...
- 180KB
论文研究-Approximate CTL model checking.pdf
2019-08-15近似CTL模型检测,朱维军,,计算树逻辑(CTL)模型检测的瓶颈——状态爆炸问题——尚未被根本解决。为此,通过引入机器学习(ML)技术来寻找CTL模型检测的可接�
- 4.2MB
NuSMV模型检测工具安装包
2018-12-13新符号模型检测工具,对SMV重构的一个模型检测工具,支持计算树逻辑CTL和线性时序逻辑LTL描述的所有规范,整合了以SAT为基础的有界模型检测技术。
- 686B
动态聚类MATLAB 代码
2015-12-25根据矩阵计算聚类中心 并分类,再计算聚类中心,迭代出最终结果
- 773KB
信号与系统 卷积积分
2018-12-03北京邮电大学、信号与系统、卷积积分、课程讲解、内容详细充实,既有讲解也有例题,
- 954KB
社交网络数据集
2018-05-04可以用于复杂网络学习,网络结构研究,如社团划分发现等
- 4.68MB
asp.net教材管理系统源代码加论文
2013-01-19asp.net教材管理系统源代码加论文,数据库是2005的。
- 64.12MB
肺部数据集(标注以及原图)一一对应
2018-12-18本资源是 用于检测肺部肿块的数据集,里面 含有肺部图像以及标注好的2值图像
- 1.13MB
论文研究-基于模型检测技术的XML乐观并发控制协议.pdf
2019-07-22基于模型检测技术提出了一种新的乐观并发控制协议XOCC-MC。通过将XML文档对应的DTD文档转换为系统模型,将事务操作中的XPath转换为CTL公式,利用模型求值判断节点间是否存在A/D关系,进而根据冲突矩阵判断事务之间的...
- 15KB
elevator NuSMV 建模 模型检测 电梯
2016-06-08资源:一份源代码,一份英文报告。英文报告包括了模拟运行结果(20步随机),还有CTL以及CTL验证结果,最后一些简单说明。
- 487KB
模型检测中的CTL形式化描述模板 (2013年)
2021-06-13针对SPS(specificationpatternsystem)和Prospe(cpropertyspecification)不能将组合命题形式化为模型检测器可以接受的CTL(computationtreelogic)公式问题,通过研究SPS和Prospec产生系统性质描述的形式化方法,并对比...
- 637KB
论文研究-基于形式化规约的缺陷规则库构建与检测方法.pdf
2019-09-10以模型检测中的形式化规约为基础,提出一种积木式缺陷规则库构建和源码检测方法。利用元数据,用户能够通过简单的CTL逻辑操作,实现自定义待检测的缺陷种类。并且,在检测到缺陷后能返回带有源程序行信息的反例路径...
- 4.10MB
基于完备抽象解释的模型检验CTL公式研究
2021-02-22based view, the authors reduce the state space of a Kripke structure in order to obtain a minimal abstract state translation system that strongly preserves a given temporal specification language CTL....
- 10.79MB
数值分析(李庆扬第五版)完美课件
2019-02-26非常完美的数值分析课件,配套李庆扬第五版。
- 640KB
EMD工具箱MATLAB
2011-11-01EMD的工具箱,matlab下进行经验模态分解与黄金变换信号分析等处理的必备工具!
- 189KB
在线图书销售系统 需求分析和数据字典
2012-07-04在线图书销售系统的需求分析和概要设计,包括数据字典,数据流图和ER模型设计
- 38.4MB
数学建模历年题目及优秀论文
2009-04-27数学建模是一种数学的思考方法,是运用数学的语言和方法,通过抽象、简化建立能近似刻画并"解决"实际问题的一种强有力的数学手段。
- 170KB
水下机器人路径规划
2014-09-23matlab下的路径规划,水下机器人路径导航,智能导航
- 353KB
可能性测度下计算树逻辑的若干性质 (2013年)
2021-05-17通过PoCTL模型检测算法与PoCTL公式的分析,解决了PoCTL模型检测的时间复杂度问题.最后对重复事件与持久性事件的定性性质及定量性质进行研究,用实例验证了CTL公式与PoCTL公式在可能性测度与概率测度下的本质区别.
- 266KB
一种基于模型检测Web 应用生成测试用例的方法 (2015年)
2021-05-16Web 应用中的网页、构件及其关系被看成是原子命题, 测试覆盖准则被转换为用计算树逻辑(Computing Tree Logic, CTL) 表示的陷阱性质(TrapProperty), 生成的反例可以实例化来构造测试用例。但是一个陷阱性质生成一个...
- 280KB
基于CDFG和OVL的系统验证性质分类 (2005年)
2021-05-22在数据控制流图(CDFG)结构的基础上,结合模拟验证和...通过对OVL语言和CTL描述进行改进,针对模拟验证、CDFG图匹配、模型检测3种方法设计相应的性质,实验结果表明这种分治验证策略有助于提高系统验证的效率和规模。
- 442KB
基于四方的安全电子商务支付协议分析与验证 (2012年)
2021-05-22以基于四方的安全电子商务支付协议为研究对象,建立了协议的有限状态模型以及安全计算树逻辑CTL公式,利用符号模型检测工具SMV对协议的原子性进行检测验证。验证结果证明,基于四方的安全电子商务支付协议满足电子...
- 560KB
时态逻辑形式化描述并发系统性质 (2004年)
2021-05-17时态逻辑是一种描述反应式(并发)系统中状态迁移序列的形式化方法 ,用于刻画并发系统所需验证的性质 ,是模型检测的基础 。阐述了时态逻辑 CTL *及其子逻辑 CTL、LTL的语法及语义 ,然后分析运用时态逻辑描述并发系统...