检索结果-南通市图书馆

同方期刊数据库博看期刊评论

在线全文

学校读者我要写书评

暂无评论

MOTEC:一个存储一致性模型验证工具

计算机工程 2012年第11期38卷 242-246页

作者：吕正陈昊陈峰吕毅西北大学信息科学与技术学院西安710069 中国科学院软件研究所北京100190 中国劳动关系学院北京100048

由于缺乏可利用的额外观察条件,在芯片流片后阶段进行存储一致性模型验证较困难。为此,利用多核处理器系统中通用的性能计数器,通过定期扫描性能计数器以获得关键活动访存指令集合的信息,实现MOTEC工具。该工具由MOTEC随机指令发生模块... 详细信息

由于缺乏可利用的额外观察条件,在芯片流片后阶段进行存储一致性模型验证较困难。为此,利用多核处理器系统中通用的性能计数器,通过定期扫描性能计数器以获得关键活动访存指令集合的信息,实现MOTEC工具。该工具由MOTEC随机指令发生模块、多核处理器性能计数器记录模块和MOTEC分析模块3个部分组成。对其核心算法的分析结果表明,MOTEC的时间复杂度仅为O(p 3n),在目前流片后阶段进行验证的工具中时间复杂度最低。

关键词：多核处理器存储一致性模型形式验证动态验证存储系统验证工具

在线全文

学校读者我要写书评

暂无评论

分布式仿真系统验证工具设计与开发

江苏大学学报（自然科学版） 2006年第3期27卷 258-261页

作者：刘飞杨明孙国兵王子才哈尔滨工业大学控制与仿真中心黑龙江哈尔滨150001

为实现分布式仿真系统的自动验证,设计并开发了一个基于多Agent技术的验证工具.该工具采用形式化描述和校核方法完成多Agent系统的设计,利用Q学习算法实现多Agent之间的协调和协作,并使用面向对象知识表示方法表示了分布式仿真系统的验... 详细信息

为实现分布式仿真系统的自动验证,设计并开发了一个基于多Agent技术的验证工具.该工具采用形式化描述和校核方法完成多Agent系统的设计,利用Q学习算法实现多Agent之间的协调和协作,并使用面向对象知识表示方法表示了分布式仿真系统的验证知识,从而实现了统计验证、图灵测试和表面验证等任务.实际应用证明,该工具极大的提高了分布式仿真系统验证的自动化水平.

关键词：分布式仿真系统验证工具多Agent技术 Q学习算法面向对象知识表示

可持续发展基础设施项目的指导原则、自我评估与验证工具

在线全文

学校读者我要写书评

暂无评论

设备监理 2013年第3期 34-36页

作者：安德烈.施耐德全球能源巴塞尔基金会全球咨询公司

本文从三个方面介绍全球能源巴塞尔基金会开发的《可持续基础设施项目的指导思想、自我评价与验证工具》(简称分级工具)。首先介绍了分级工具开发的历史和背景,其次介绍其适用性和带来的附加价值,最后介绍策划共同开发的方法和进程。

关键词：可持续发展指导原则自我评估验证工具

新思科技IC Validator实体验证工具通过联华电子28nm工艺验证

在线全文

学校读者我要写书评

暂无评论

中国集成电路 2014年第6期23卷 9-10页

日前，联华电子与新思科技共同宣布，联华电子已于28nm工艺平台验证新思科技的IC Validator实体验证产品。双方客户现已享有In—Design实体验证的IC Validator所提供之好处，可放心采用此完全符合联华电子工艺精确与完整性要求的工具与... 详细信息

日前，联华电子与新思科技共同宣布，联华电子已于28nm工艺平台验证新思科技的IC Validator实体验证产品。双方客户现已享有In—Design实体验证的IC Validator所提供之好处，可放心采用此完全符合联华电子工艺精确与完整性要求的工具与程序执行文件。（来自联华电子）

关键词： Validator 电子工艺验证工具 IC 科技实体平台验证执行文件

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

应答器验证工具的设计探讨

铁道通信信号 2014年第3期50卷 17-19页

作者：王乐中铁十一局集团电务工程有限公司

近年来我国铁路发展迅速,应答器作为列车控制系统中地-车信息传输的重要设备,已在既有线、客运专线以及高速铁路中广泛应用。因此,应答器设置的合理性、报文编制的规范性以及报文内容的正确性,直接影响着列车的行车安全和运输效率。全... 详细信息

近年来我国铁路发展迅速,应答器作为列车控制系统中地-车信息传输的重要设备,已在既有线、客运专线以及高速铁路中广泛应用。因此,应答器设置的合理性、报文编制的规范性以及报文内容的正确性,直接影响着列车的行车安全和运输效率。全自动化的应答器数据验证工具,可以提高应答器数据的验证效率和智能化程度,同时,可以提高应答器数据的正确性和实际应用的安全性。

关键词：应答器数据验证工具列控系统

在线全文

学校读者我要写书评

暂无评论

一种弹性的软件过程模型验证工具

计算机工程与设计 2007年第7期28卷 1497-1500页

作者：胡旷董广智田勇柳军飞中国科学院软件研究所北京100080

过程模型验证是保证软件过程定义正确性的重要手段。针对目前过程模型验证中的一些问题,首先提出了一种以活动为中心的软件过程元模型,并以XML对其进行描述。在此基础上,从行为、资源、组织视图结合的角度,提出了保证软件过程模型正确... 详细信息

过程模型验证是保证软件过程定义正确性的重要手段。针对目前过程模型验证中的一些问题,首先提出了一种以活动为中心的软件过程元模型,并以XML对其进行描述。在此基础上,从行为、资源、组织视图结合的角度,提出了保证软件过程模型正确性的语义约束规则。最后,提出了一种弹性的用于验证XML描述的过程模型的机制,并基于此实现了过程模型验证工具,来验证过程模型的正确性。

关键词：软件过程过程模型验证工具语义规则可扩展标记语言

在线全文

学校读者我要写书评

暂无评论

几种密码协议验证工具的比较和分析

几种密码协议验证工具的比较和分析

新型验证工具推进FPGA和SoC中高速串行收发器的评估

全国第18届计算机技术与应用（CACIS）学术会议

作者：李亚敏帅飞高鑫鑫解放军信息工程大学电子技术学院解放军信息工程大学电子技术学院解放军信息工程大学电子技术学院

从密码协议的形式化分析和验证出发,对协议描述语言和验证方法进行分类,并比较、分析了几种典型的协议分析工具。通过对模型检测和逻辑分析验证方法的研究,结合两者的特点,设计了一种结合模型检测和逻辑分析方法的综合协议验证方法,并... 详细信息

从密码协议的形式化分析和验证出发,对协议描述语言和验证方法进行分类,并比较、分析了几种典型的协议分析工具。通过对模型检测和逻辑分析验证方法的研究,结合两者的特点,设计了一种结合模型检测和逻辑分析方法的综合协议验证方法,并给出了实例。

关键词：协议描述语言协议验证方法验证工具

来源： cnki会议评论

在线全文

cnki会议

学校读者我要写书评

暂无评论

今日电子 2014年第3期 71-72页

JNEYe链路分析工具提供了验证和电路板级全套设计工具。JNEYe支持设计人员迅速方便的评估高速AlteraFPGA和SoC中的高速串行链路性能。该工具结合了统计链路仿真器的速度优势和时域波形仿真器的精度优势，是一种新的混合行为仿真方法。JN... 详细信息

JNEYe链路分析工具提供了验证和电路板级全套设计工具。JNEYe支持设计人员迅速方便的评估高速AlteraFPGA和SoC中的高速串行链路性能。该工具结合了统计链路仿真器的速度优势和时域波形仿真器的精度优势，是一种新的混合行为仿真方法。JNEye工具经过优化，支持A1tera10代系列产品，为用户提供了评佶Altera下一代FPGA和SoC收发器链路性能的平台。

关键词：串行收发器验证工具 FPGA SoC 评估链路性能 Altera 设计工具

如何利用Visual Basic开发身份证号码批量验证工具软件

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

成才之路 2013年第3期 82-83页

作者：刘小龙甘肃省通渭县第二中学

通过对身份证号码实际应用中存在的问题进行详细分析，我们发现每学年的学籍建档、国家助学金申报等方面都离不开身份证号码。同时，人工核对信息工作量大，也易出错，势必对工作造成一定的影响。为此，我们运用大学学习的一些VB知识，... 详细信息

通过对身份证号码实际应用中存在的问题进行详细分析，我们发现每学年的学籍建档、国家助学金申报等方面都离不开身份证号码。同时，人工核对信息工作量大，也易出错，势必对工作造成一定的影响。为此，我们运用大学学习的一些VB知识，根据身份证号码编码规则编写了《身份证号码批量验证工具》软件，使身份证号码核对工作变得简单。轻松。

关键词：身份证号码工具软件验证工具 Basic 利用开发核对工作国家助学金