检索结果-维普期刊中文期刊服务平台

模式语义链元建模及其应用被引量：1: 1; 作者尹剑飞郭荷清彭新一《华南理工大学学报（自然科学版）》 EI CAS CSCD 北大核心 2005年第3期50-54,共5页; 大粒度的模型转换是模型驱动软件开发场景下的重要技术需求,仅通过定义通用模型转换语言不足以满足这一需求,其中一个原因是通用模型转换语言工作在特定建模语言的元模型层次而非一般设计意图层次上.文中提出一种模式语义链(PSL)元建模... 展开更多; 关键词模式语义链统一建模语言对象约束语言设计意图模型转换模式自动生成; 在线阅读下载PDF 职称材料

一种可扩展的格式化文件内容检查方法: 2; 作者高宁庞立会《计算机工程与科学》 CSCD 北大核心 2012年第6期32-37,共6页; 许多业务应用系统将数据以约定格式存放在文件中,通过文件传输实现远距离业务数据传送和处理。通过分析该类业务应用系统存在的安全威胁,本文首次提出了一种可扩展的格式化文件内容检查方法,设计并实现了格式化文件内容检查的原型系统FF... 展开更多; 关键词正则表达式字符串近似匹配格式化文件模式自动生成可扩展; 在线阅读下载PDF 职称材料

基于可测性测度的蚂蚁路径ATPG算法被引量：1: 3; 作者吴建新容太平《实验室研究与探索》 CAS 2008年第11期17-19,84,共4页; 电路集成度和复杂度的不断增加使得电路的故障诊断越来越困难。该文在蚂蚁路径ATPG算法的基础上,引入了电路设计中的可测性分析理论,以四值动态代价分析方法(FDCM)作为蚂蚁路径搜索过程中的智能引导启发函数,实现了对原型算法的加速,并... 展开更多; 关键词自动测试模式生成蚂蚁路径可测性分析回值动态代价分析法; 在线阅读下载PDF 职称材料

时序电路等价验证的触发器匹配被引量：1: 4; 作者张超竺红卫《电子与信息学报》 EI CSCD 北大核心 2014年第9期2283-2286,共4页; 通常的时序电路等价性验证方法是将触发器按时序展开,从而将时序电路转化为组合电路进行验证。而一般在待验证的两个时序电路中,触发器是一一对应的,找到触发器的对应关系,时序电路的验证就会得到很大的简化。该文通过一种新的基于布尔... 展开更多; 关键词触发器匹配自动测试模式生成模型布尔可满足性时序帧递进展开信息学习; 在线阅读下载PDF 职称材料

同步时序电路中组合冗余故障识别技术: 5; 作者郭希维苏群星谷宏强《兵工自动化》 2007年第2期83-85,共3页; 对时序电路的迭代逻辑阵列(ILA)施加组合ATPG(自动测试模式生成),可得到不可测故障识别的定理和条件,其条件针对故障电路给出。基于无故障电路的条件,其验证过程用状态图表示。并用ILA识别不可测故障均为组合冗余故障,而组合冗余故障可... 展开更多; 关键词不可测故障组合冗余迭代逻辑阵列自动测试模式生成; 在线阅读下载PDF 职称材料

基于ATPG的可测性设计在RSIC CPU的应用: 6; 作者周显文吕炳朝石岭《半导体技术》 CAS CSCD 北大核心 2001年第10期33-36,共4页; 介绍了自动测试模式生成的测试故障模型和设计流程，以及自动测试模式生成结合可测性设计技术在测试ＲＳＩＣ; 关键词可测性设计自动测试模式生成 CPU RSIC 中央处理器; 在线阅读下载PDF 职称材料

题名模式语义链元建模及其应用被引量：1: 1; 作者尹剑飞郭荷清彭新一; 机构华南理工大学计算机科学与工程学院; 出处《华南理工大学学报（自然科学版）》 EI CAS CSCD 北大核心 2005年第3期50-54,共5页; 基金国家重点基础研究发展规划 973资助项目(G20000263); 文摘大粒度的模型转换是模型驱动软件开发场景下的重要技术需求,仅通过定义通用模型转换语言不足以满足这一需求,其中一个原因是通用模型转换语言工作在特定建模语言的元模型层次而非一般设计意图层次上.文中提出一种模式语义链(PSL)元建模方法.通过重型扩展统一建模语言(UML)元模型以直接形式化描述可表达一般设计意图的模式,并应用UML动作语义和元模型继承实现模式自动生成及转换.该方法为实现一般设计意图层次上的大粒度模型转换提供了有效支持.; 关键词模式语义链统一建模语言对象约束语言设计意图模型转换模式自动生成; Keywords pattern semantic link unified modeling language object constraint language design intention model transformation automatic pattern generation; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名一种可扩展的格式化文件内容检查方法: 2; 作者高宁庞立会; 机构中国人民解放军国防科学技术大学计算机学院; 出处《计算机工程与科学》 CSCD 北大核心 2012年第6期32-37,共6页; 文摘许多业务应用系统将数据以约定格式存放在文件中,通过文件传输实现远距离业务数据传送和处理。通过分析该类业务应用系统存在的安全威胁,本文首次提出了一种可扩展的格式化文件内容检查方法,设计并实现了格式化文件内容检查的原型系统FFC-CIS。FFC-CIS使用正则表达式构造内容格式模板,在业务系统的数据处理之前实现文件内容的安全检查,很好地消除了数据文件被恶意篡改、非法文件传递等安全威胁。为了使内容格式模板的构建快速而便捷,本文还给出了一个基于字符串近似匹配技术的内容格式模板自动生成方法。; 关键词正则表达式字符串近似匹配格式化文件模式自动生成可扩展; Keywords regex expression approximate string matching files with formatted contents automaticgenerating templates scalable; 分类号 TP393 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名基于可测性测度的蚂蚁路径ATPG算法被引量：1: 3; 作者吴建新容太平; 机构华中科技大学电子与信息工程系; 出处《实验室研究与探索》 CAS 2008年第11期17-19,84,共4页; 文摘电路集成度和复杂度的不断增加使得电路的故障诊断越来越困难。该文在蚂蚁路径ATPG算法的基础上,引入了电路设计中的可测性分析理论,以四值动态代价分析方法(FDCM)作为蚂蚁路径搜索过程中的智能引导启发函数,实现了对原型算法的加速,并通过实验验证了该算法的良好性能。; 关键词自动测试模式生成蚂蚁路径可测性分析回值动态代价分析法; Keywords ATPG ants paths testability analysis FDCM; 分类号 TP206.3 [自动化与计算机技术—检测技术与自动化装置]; 在线阅读下载PDF 职称材料

题名时序电路等价验证的触发器匹配被引量：1: 4; 作者张超竺红卫; 机构浙江大学电气工程学院; 出处《电子与信息学报》 EI CSCD 北大核心 2014年第9期2283-2286,共4页; 文摘通常的时序电路等价性验证方法是将触发器按时序展开,从而将时序电路转化为组合电路进行验证。而一般在待验证的两个时序电路中,触发器是一一对应的,找到触发器的对应关系,时序电路的验证就会得到很大的简化。该文通过一种新的基于布尔可满足性(SAT)算法的自动测试模式生成(ATPG)匹配模型建立联接电路,使用时序帧展开传递算法比较触发器的帧时序状态输出,同时在SAT解算中加入信息学习继承等启发式算法,将时序电路的触发器一一匹配。在ISCAS89电路上的实验结果表明,该文算法在对触发器的匹配问题上是非常有效的。; 关键词触发器匹配自动测试模式生成模型布尔可满足性时序帧递进展开信息学习; Keywords Flip-flops matching Automatic Test Pattern Generation （ATPG） module Boolean Satisfiability（SAT） Progressive expansion of sequential frames Information learning; 分类号 TN47 [电子电信—微电子学与固体电子学]; 在线阅读下载PDF 职称材料

题名同步时序电路中组合冗余故障识别技术: 5; 作者郭希维苏群星谷宏强; 机构军械工程学院导弹工程系; 出处《兵工自动化》 2007年第2期83-85,共3页; 文摘对时序电路的迭代逻辑阵列(ILA)施加组合ATPG(自动测试模式生成),可得到不可测故障识别的定理和条件,其条件针对故障电路给出。基于无故障电路的条件,其验证过程用状态图表示。并用ILA识别不可测故障均为组合冗余故障,而组合冗余故障可用长度为1的ILA实现。故可由此简化不可测故障的识别过程。并通过时序电路中的组合冗余故障识别以验证。; 关键词不可测故障组合冗余迭代逻辑阵列自动测试模式生成; Keywords Undetectable faults Combinational redundancy ILA ATPG; 分类号 TP206.3 [自动化与计算机技术—检测技术与自动化装置]; 在线阅读下载PDF 职称材料

题名基于ATPG的可测性设计在RSIC CPU的应用: 6; 作者周显文吕炳朝石岭; 机构电子科技大学; 出处《半导体技术》 CAS CSCD 北大核心 2001年第10期33-36,共4页; 文摘介绍了自动测试模式生成的测试故障模型和设计流程，以及自动测试模式生成结合可测性设计技术在测试ＲＳＩＣ; 关键词可测性设计自动测试模式生成 CPU RSIC 中央处理器; Keywords design for test automatic test pattern generation fault coverage test pattern; 分类号 TP332 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	模式语义链元建模及其应用	尹剑飞郭荷清彭新一	《华南理工大学学报（自然科学版）》 EI CAS CSCD 北大核心	2005	1	在线阅读下载PDF 职称材料
2	一种可扩展的格式化文件内容检查方法	高宁庞立会	《计算机工程与科学》 CSCD 北大核心	2012	0	在线阅读下载PDF 职称材料
3	基于可测性测度的蚂蚁路径ATPG算法	吴建新容太平	《实验室研究与探索》 CAS	2008	1	在线阅读下载PDF 职称材料
4	时序电路等价验证的触发器匹配	张超竺红卫	《电子与信息学报》 EI CSCD 北大核心	2014	1	在线阅读下载PDF 职称材料
5	同步时序电路中组合冗余故障识别技术	郭希维苏群星谷宏强	《兵工自动化》	2007	0	在线阅读下载PDF 职称材料
6	基于ATPG的可测性设计在RSIC CPU的应用	周显文吕炳朝石岭	《半导体技术》 CAS CSCD 北大核心	2001	0	在线阅读下载PDF 职称材料