注册会员 | 设为首页 | 加入收藏夹
您好，欢迎光临本网站！[请登录] ！[注册会员]！  

搜索资源列表

  1. jSPIN5.0 model checker

  2. 基于线性时态逻辑的模型检测工具，很流行，很好用！

  3. 所属分类：其它

    • 发布日期：2013-01-31
    • 文件大小：1048576
    • 提供者：sbren

  1. Spin工具应用

  2. Spin工具应用，一种基于spin的自动柜员机的模型检测

  3. 所属分类：数据库

    • 发布日期：2013-07-20
    • 文件大小：724992
    • 提供者：u011176175

  1. SPIN在无线网络安全认证协议建模中的应用

  2. 为确保无线网络安全认证,应用模型检查工具SPIN对EAP-TLS认证协议进行建模,根据SPIN给出攻击轨迹,指出EAP-TLS可能存在双向认证失败的安全隐患,从抵抗攻击和协议改进提出了基于隧道的认证方法。使用SPIN PROMELA语言对通信各方建模,用线性时态逻辑LTL表示安全属性,提出了将SPIN应用于认证协议的验证方法。

  3. 所属分类：其它

    • 发布日期：2020-07-06
    • 文件大小：526336
    • 提供者：weixin_38630697

  1. 线性约束与时态逻辑编程语言的集成

  2. 线性约束与时态逻辑编程语言的集成

  3. 所属分类：其它

    • 发布日期：2021-03-03
    • 文件大小：210944
    • 提供者：weixin_38604916

  1. C14：Radiocarbon IT审查和提示-源码

  2. 时间建模 约会是事件或持续时间在时间线上的定位，与另一个事件或持续时间的定位相关。 约会可以说这发生在之前，或之后，或在...期间。 重要的困难可能来自约会的不确定性（日期±增量）和需要进行比较的班级间隔（第一共和国，帝国等）。 为了管理这种不确定性，需要进行统计（随机化，置信区间，贝叶斯建模等）。 概念和运算符 时间建模的经典运算符是那些来自时态逻辑（线性时态逻辑，间隔时态逻辑等）的运算符。 当已知开始和结束事件时（例如，法国第三共和国的公元1870年至1940年），也许最有趣的模型是，其中事

  3. 所属分类：其它

    • 发布日期：2021-02-11
    • 文件大小：51380224
    • 提供者：weixin_42139429

  1. 持续时态数据挖掘的研究

  2. 基于一阶线性时态逻辑!形式化定义时态数据挖掘中的主要概念,利用线性状态结构对每个时间点上的一阶语言符号进行赋值,并度量公式的真值范围.按照挖掘段概念,开发持续挖掘过程模型,用于归纳局部一阶规则与推导高阶规则.基于信息扩散原理,提出一阶规则的度量值估计方法和规则泛化算法.最后通过算例说明了扩散估计和算法的有效性.

  3. 所属分类：其它

    • 发布日期：2021-01-15
    • 文件大小：1048576
    • 提供者：weixin_38704386