线性时序逻辑

作品数：73被引量：185H指数：8
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：欧林林禹鑫燚郭永奎李永明肖云涛更多>>
相关机构：浙江工业大学国防科学技术大学中国科学院软件研究所清华大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家高技术研究发展计划浙江省自然科学基金国家教育部博士点基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=电子学报x
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
具有模糊时态的广义可能性线性时序逻辑的模型检测被引量：10
《电子学报》2017年第12期2971-2977,共7页梁常建 李永明 
国家自然科学基金(No.11271237;No.11671244;No.11401363;No.11501345);高等学校博士学科点专项科研基金项目(No.20130202110001)
本文首先定义了具有模糊时态的广义可能性线性时序逻辑GPoFLTL(Generalized Possibilistic Fuzzy Linear Tempora Logic)的语构以及基于路径和基于语言的两种语义解释,证明了GPoFLTL在模糊时态方面对GPo LTL(Generalized Possibilistic ...
关键词：模糊时态 可能性性质 线性时序逻辑 时间复杂度 阈值模型检测 
以DNA为载体的线性时序逻辑模型检测被引量：4
《电子学报》2016年第6期1265-1271,共7页朱维军 周清雷 李永亮 
国家自然科学基金(No.61250007;No.U1204608;No.U1304606;No.61572444);中国博士后科学基金(No.2012M511588;No.2015M572120);河南省高等学校青年骨干教师资助计划项目(No.2014GGJS-001)
线性时序逻辑模型检测被广泛应用于处理器设计与验证、网络协议验证、安全协议验证等领域.然而到目前为止,该技术只能在电子计算的平台上实现.为了以脱氧核糖核酸(Deoxyribo Nucleic Acid,DNA)为载体对线性时序逻辑(Linear Temporal Log...
关键词：模型检测 脱氧核糖核酸 线性时序逻辑 粘贴自动机 
面向SoC系统芯片中跨时钟域设计的模型检验方法被引量：5
《电子学报》2008年第5期886-892,共7页冯毅 易江芳 刘丹 佟冬 程旭 
国家863高技术研究发展计划(No.2006AA010202)
传统方法无法在RTL验证阶段全面验证SoC系统芯片中的跨时钟域设计.为解决此问题,本文首先提出描述亚稳态现象的等价电路实现,用以在RTL验证中准确体现亚稳态现象的实际影响;然后使用线性时序逻辑对跨时钟域设计进行设计规范的描述;为缓...
关键词：形式化验证 模型检验 跨时钟域设计 线性时序逻辑 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部