论文研究离散时间区间时序逻辑模型检查 .pdf

上传：u735696828 浏览： 17 推荐： 0 文件：.PDF 大小：319KB 上传时间：2020-07-17 08:10:37 版权申诉

离散时间区间时序逻辑模型检查，朱维军，段振华，目前还没有模型检查的方法自动检测时间自动机模型是否满足时间区间时序逻辑描述的性质。我们约束时间域到离散时间，证明了离散时

论文研究离散时间区间时序逻辑统一框架模型检查.pdf

离散时间区间时序逻辑统一框架模型检查,朱维军,段振华,统一逻辑语义框架验证方法有利于从规范到实现的逐步求精;区间实时逻辑具有描述和验证实时区间的能力。然而在统一逻辑模型检查中

2021-04-23 18:13

论文研究基于命题投影时序逻辑的统一框架模型检查.pdf

基于命题投影时序逻辑的统一框架模型检查，朱维军，段振华，统一逻辑语义框架验证方法有利于从规范到实现的逐步求精；区间时序逻辑具有表达区间语义的能力和更强大的并发描述能力。然而在统

2020-07-17 08:10

论文研究基于扩展区间时序逻辑的规范程序自动验证.pdf

基于扩展区间时序逻辑的规范程序自动验证，朱维军，段振华，模型检查技术近年来取得了很大成功。基于统一逻辑的模型检查方法相比普通模型检查方法有很多优势，例如有利于逐步求精、有利于探

2020-07-17 08:10

论文研究描述逻辑的动态时序扩展.pdf

在一些基于本体的动态应用中,需要描述组合动作和变化域的时间特性。为了对这类应用建模,通过整合动态时序逻辑和描述逻辑,提出一类描述逻辑扩展。分析了该类扩展的基本形式DLTLALC的语法和语义,并提出一种

2019-09-12 03:04

论文研究具有区间时滞的离散时间基因调控网络稳定性研究.pdf

具有区间时滞的离散时间基因调控网络稳定性研究，何勇，曾进，针对具有随机干扰和区间时滞的离散时间基因调控网络(GRNs)，基于Lyapunov稳定性定理，利用改进型自由权矩阵方法和线性矩阵不等式方法�

2020-07-18 02:42

论文研究Lukasiewicz区间值命题逻辑的.pdf

保持解集的多样性和分布性是多目标进化算法的关键之一。在NSGA-II的基础上，提出了一种用混合距离来估计个体的拥挤度，并使用优先队列根据个体的混合距离来逐个删除种群中超出的非劣解以保持解的多样性，实验

2020-07-17 14:56

论文研究基于并发投影时序逻辑模型检测的入侵检测方法.pdf

基于并发投影时序逻辑模型检测的入侵检测方法，朱维军，陈建辉，基于投影时序逻辑模型检测的入侵检测方法具有描述网络入侵者分段攻击的能力，然而对并发攻击仍无能为力，因为该逻辑无法直接描述

2020-07-19 03:19

论文研究区间数的综合决策模型.pdf

论文研究-区间数的综合决策模型.pdf,

2020-04-25 21:09

论文研究基于行为时序逻辑的入侵取证研究.pdf

提出一种基于行为时序逻辑的入侵取证的形式化方法，其描述语言能够准确描述入侵证据、系统知识以及攻击行为，并具有在部分数据缺失的情况下进行非确定性推理的能力；其自动验证工具能够寻求额外的证据并可检查是否有

2020-07-17 08:10

论文研究带测试动作的动态时序逻辑扩展.pdf

作为一种动态知识表示形式, 动态时序逻辑DLTL尤适用于正规程序验证, 然而它不直接支持测试动作, 这使得其应用受到一定限制。为支持测试动作, 提出一个DLTL扩展DLTL 和一个判定DLTL 公式可

2020-07-19 03:18

论文研究基于时序逻辑的HTTP NG协议分析.pdf

形式化方法由于其简练、无二义性，在协议工程中有着重要的地位。首先对下一代超文本传输协议（HTTPNG）作了简单介绍,并利用基于时序逻辑MTLP的形式化方法对简化了的HTTPNG模型进行协议描述和分

2020-07-17 08:10

论文研究基于离散连续选择模型的通勤出行时间预测.pdf

论文研究-基于离散-连续选择模型的通勤出行时间预测.pdf, 把握出行者的日时间分配是交通行为分析的重要内容之一.本文基

2020-05-30 11:07

论文研究任意区间上的泛组合运算模型研究.pdf

泛组合运算为处理复杂系统中因素间相互冲突或协调的关系提供了有效解决途径。针对传统泛组合运算模型是基于单位区间[0,1]的理想情况,重点对在任意区间上取值的泛组合运算模型进行研究,给出并严格证明了其具有

2020-08-19 08:29

论文研究一种区间型数据的离散化方法.pdf

随着数据挖掘和知识发现等技术的迅速发展，出现了很多数据离散的算法，但是，已有的离散化方法大多是针对固定点上的连续属性值的情况，实际应用中大量存在着连续区间属性值的情况。针对这一问题，提出了一种连续区间

2020-07-17 17:37

论文研究时序残差GM11模型.pdf

论文研究-时序残差GM(1,1)模型.pdf,

2020-04-23 16:49