形式化描述

作品数：545被引量：1759H指数：18
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：张广泉史建琦赵保华屈玉贵顾翔更多>>
相关机构：国防科学技术大学清华大学武汉大学中国科学技术大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家高技术研究发展计划国家教育部博士点基金国家重点基础研究发展计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机工程与设计x
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于CRCLA的形式化描述与退火遗传映射算法
《计算机工程与设计》2024年第5期1368-1375,共8页杨晨光 李伟 杜怡然 陈韬 
国家自然科学基金项目(61404175)。
为解决密码算法映射到粗粒度可重构密码逻辑阵列(CRCLA)过程的描述困难问题,提出一种数据流图节点与划分后节点簇的描述形式,并以一种坐标序列描述形式精确显示CRCLA中资源的占用情况;针对密码算法映射到CRCLA上性能不高及编译时间过长...
关键词：密码算法 数据流图 划分 描述形式 粗粒度可重构密码逻辑阵列 快速收敛 退火遗传算法 
蜕变关系形式化描述与分解技术被引量：3
《计算机工程与设计》2016年第2期405-412,共8页惠战伟 黄松 李辉 刘剑豪 
国家863高技术研究发展计划基金项目(2009AA01Z402);江苏省自然科学基金项目(BK20141072;BK2012059;BK2012060);解放军理工大学预研基金项目(20110202;20110210)
蜕变测试的实践应用研究虽得到了极大发展,但其理论基础却还未引起学者的足够关注,蜕变关系的描述就是其中关键问题之一。分析蜕变测试正确性理论基础,提出一种蜕变关系形式化定义与描述方法,对蜕变关系的取值进行分析;分析蜕变关系与...
关键词：蜕变关系 蜕变测试 测试判定 形式化描述模型 分解模型 
基于Z规格的LR(k)形式化分析及验证
《计算机工程与设计》2013年第7期2403-2407,共5页张杨 段富 
山西省自然科学基金项目(2008011039);山西省科技攻关基金项目(20080322008)
在编译器的构造中,常由于语义的二义性等问题导致不正确的目标程序。为解决此问题,提出了一种新型的语法及语义正确性验证方案,即建立LR(k)文法和Z规格说明的联系,以此构造LR(k)文法的形式化描述及其形式化验证。实验结果表明,该方案能...
关键词：LR(k)文法 形式化描述 形式化验证 Z规格 语法 语义 
嵌入式软件中断系统资源冲突检测技术研究被引量：13
《计算机工程与设计》2010年第23期5036-5038,5059,共4页杨芳 齐璇 董丽 叶东升 
由于中断触发的随机性和不确定性,导致中断缺陷引发的问题时有发生,而且通常是不易追踪的严重软件故障,因此对中断系统软件的测试就提出了很高的要求,但是目前可用于中断系统资源冲突检测的工具缺乏。为有效检测由中断的资源冲突引发的...
关键词：中断 资源冲突 形式化描述 副作用分析 嵌入式软件 检测 
UML顺序图中消息的形式化描述与相关特性分析被引量：5
《计算机工程与设计》2010年第15期3427-3431,共5页黄陇 杨宇航 李虎 
国家863高技术研究发展计划重点基金项目(2004AA119030)
为了实现基于UML顺序图的自动化测试,研究了顺序图中消息的形式化描述方法。形式化地定义了消息的发送和接收,并对二者的一致性关系进行了分析。提出了活动点的概念,讨论了其所具有的性质。建立了活动点集合上的二元关系描述方法,形式...
关键词：统一建模语言 顺序图 消息 形式化分析 活动点 
基于等级PRES+的嵌入式系统的建模与实现
《计算机工程与设计》2009年第24期5630-5632,5636,共4页周青 张伟 占东生 
为了有效的描绘规模较大的系统,需要一个分层机制,使模型可以有条理地构建。它由简单的单元组件构成,使得设计师在每个描述级上都可以很容易理解。提出并定义了用于形式化描述嵌入式系统建模的petri网的分层概念,显示了一个规模较大系...
关键词：等级PRES+ 嵌入式系统 PETRI网 建模 形式化描述 
改进身份认证协议的形式化描述与验证
《计算机工程与设计》2009年第13期3075-3077,共3页梁爽 吴晓艳 王怀江 
以前用着色Petri网验证协议,大多只验证了其正确性,采用着色Petri网对自行设计的基于PKI的动态身份认证系统的安全性进行了描述和验证;一般在使用传统1-可达性分析方法分析复杂身份认证协议时,会存在状态空间爆炸的问题。为了有效地解...
关键词：身份认证协议 PETRI网 可达树 可达性分析 安全性 形式化描述 
基于扩展序类逻辑的Ontology形式化描述与模型检验被引量：4
《计算机工程与设计》2008年第22期5780-5782,5785,共4页陶县俊 王晓东 
河南省科技厅科技攻关基金项目(0624480021)
本体一直是哲学中的词汇,后来随着计算机语义网络的发展,引入语义web领域,用来表示概念以及概念和概念之间的关系。用逻辑来形式化Ontology,并对形式化后的Ontology进行检验和推理一直是Ontology研究的热点和难点。参考描述逻辑描述本...
关键词：本体 序类逻辑 谓词 描述逻辑 属性 事件 
基于谓词逻辑的设计模式描述方法被引量：1
《计算机工程与设计》2008年第9期2353-2355,共3页殷磊 刘晓翔 
设计模式描述了面向对象软件设计过程中不断重复发生的问题以及这些问题的解决方案,强调系统的复用性,帮助人们做出有利于系统复用的选择,因此设计模式也可看成是对软件开发者的分析与设计知识的记录、提炼和表示,谓词逻辑是一种形式语...
关键词：设计模式 软件复用 知识表示 谓词逻辑 形式化描述 
文件系统增量备份策略的形式化描述及实现被引量：2
《计算机工程与设计》2007年第10期2455-2457,共3页肖克辉 倪德明 
文件系统备份和恢复过程中,需根据当前备份资源树和历史备份资源树进行合并等操作,这种操作在物理上表现为对目录树和资源树的处理。特别是增量备份时,它指明备份资源。恢复过程中,用户可以利用该策略根据时间点进行完全恢复和部分恢复...
关键词：文件系统 增量备份 备份资源树 目录树 文档对象模型 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部