检索结果-南通市图书馆

淄博日报

作者：伊茂林

政府工作报告提出，加快概念验证、中试验证和共性技术平台建设。全国人大代表、含氟功能膜材料全国重点实验室主任张永明听后深有感触、倍受鼓舞。他认为，对化工新材料领域而言，这种中试平台尤为重要，能够大大加速科技成果进一步产... 详细信息

政府工作报告提出，加快概念验证、中试验证和共性技术平台建设。全国人大代表、含氟功能膜材料全国重点实验室主任张永明听后深有感触、倍受鼓舞。他认为，对化工新材料领域而言，这种中试平台尤为重要，能够大大加速科技成果进一步产业化，实现科技自立自强。多年来，我国......

关键词：化工新材料验证平台

来源： cnki报纸评论

在线全文

cnki报纸

学校读者我要写书评

暂无评论

基于FPGA阵列的超大规模SoC验证平台

系统仿真学报 2007年第9期19卷 1967-1970页

作者：凌翔胡剑浩王剑电子科技大学通信抗干扰技术国防重点实验室四川成都610054

介绍了超大规模片上系统(SoC)验证平台的设计与实现。该验证平台采用多片现场可编程逻辑门阵列(FPGA)构成超大规模FPGA阵列,针对SoC的典型特点设计了平台拓扑结构和组成单元。该验证平台仿真规模大、互连资源丰富、工作频率高、扩展灵... 详细信息

介绍了超大规模片上系统(SoC)验证平台的设计与实现。该验证平台采用多片现场可编程逻辑门阵列(FPGA)构成超大规模FPGA阵列,针对SoC的典型特点设计了平台拓扑结构和组成单元。该验证平台仿真规模大、互连资源丰富、工作频率高、扩展灵活。应用实例表明该平台具有良好的实用价值。

关键词：片上系统验证平台仿真现场可编程逻辑门阵列原型验证软硬件协同仿真

大亚湾核电站模拟控制系统数字化升级验证平台方案研究

在线全文

学校读者我要写书评

暂无评论

核动力工程 2018年第3期39卷 81-85页

作者：方郁熊国华马蜀蔡叶发况德军彭超中广核研究院有限公司广东深圳518124 中广核核电运营有限公司广东深圳518124 大亚湾核电运营管理有限责任公司广东深圳518124

根据大亚湾核电站现有模拟控制系统的范围与实际情况,分析了信号配置、接口类型以及典型控制回路。结合第3个10年大修控制系统数字化升级的需求,提出了验证平台的技术要求,并搭建了基于数字化控制系统(DCS)小系统、工艺仿真系统与集中... 详细信息

根据大亚湾核电站现有模拟控制系统的范围与实际情况,分析了信号配置、接口类型以及典型控制回路。结合第3个10年大修控制系统数字化升级的需求,提出了验证平台的技术要求,并搭建了基于数字化控制系统(DCS)小系统、工艺仿真系统与集中控制模拟量机柜(KRG)系统的验证平台;针对具体的验证内容,给出了详细的验证方案。利用验证平台开展相应的验证工作,可有效地识别改进前后的平台差异性,保证数字化升级的顺利实施。

关键词：核电厂模拟控制系统数字化升级验证平台

多模态数据驱动的城市固废焚烧过程验证平台设计与实现

在线全文

学校读者我要写书评

暂无评论

中国电机工程学报 2023年第12期43卷 4697-4707页

作者：王天峥汤健夏恒潘晓彤乔俊飞刘溪芷北京工业大学信息学部北京市朝阳区100124 京东方科技集团股份有限公司北京市丰台区100176

鉴于城市固废焚烧(municipal solid waste incineration,MSWI)过程控制系统的封闭特性与工业现场的安全性要求,如何实现离线多模态数据的时间同步发布和如何搭建数据驱动预测模型的类工业现场验证环境,是实现智能建模算法落地应用需首... 详细信息

鉴于城市固废焚烧(municipal solid waste incineration,MSWI)过程控制系统的封闭特性与工业现场的安全性要求,如何实现离线多模态数据的时间同步发布和如何搭建数据驱动预测模型的类工业现场验证环境,是实现智能建模算法落地应用需首要解决的关键问题。该文开发多模态数据驱动的MSWI过程验证平台,由多模态历史数据同步子系统和多模态历史数据驱动建模子系统组成。首先,结合现场领域专家预测关键工艺参数过程的抽象化描述,设计验证平台的结构;然后,建立以炉膛温度、烟气含氧量和锅炉蒸汽流量为输出的多模态数据驱动预测模型;最后,搭建硬件环境并开发相应的软件系统,实现子系统间的协同运行。利用实际过程数据与火焰视频验证该平台能够解决多模态数据驱动预测模型构建中存在的采样难、同步难、匹配难等问题,能够提供可靠的工程化验证环境。

关键词：城市固废焚烧验证平台多模态数据同步关键工艺参数预测模型

在线全文

学校读者我要写书评

暂无评论

验证平台的可重用性分析

计算机科学 2004年第B09期31卷 198-200,219页

作者：詹文法马俊黄玉程一飞安庆师范学院教育技术系，安徽安庆246011

传统的验证方法学已经不能满足SoC验证的需求，现在通常使用验证平台来提高验证的质量．SoC的设计实际上是IP的集成设计，因此需要建立两个验证平台：IP单独验证平台和SoC系统验证平台．为了减少验证时间，提高验证质量，最有效的办法... 详细信息

传统的验证方法学已经不能满足SoC验证的需求，现在通常使用验证平台来提高验证的质量．SoC的设计实际上是IP的集成设计，因此需要建立两个验证平台：IP单独验证平台和SoC系统验证平台．为了减少验证时间，提高验证质量，最有效的办法是使这两个验证平台统一，即IP单独验证平台的部分元件甚至全部元件可以直接被SoC系统验证平台重用。本文对验证平台的元件，如激励、驱动、监视器、脚本等的可重用性进行了分析，并提出了达到最大可重用的验证平台的设计方法，按该方法设计的验证平台的可重用率至少可达到60％．

关键词：验证平台 SoC系统 IP SoC验证元件监视器可重用性脚本验证方法集成设计

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

流调度算法验证平台的设计与实现

小型微型计算机系统 2000年第12期21卷 1237-1239页

作者：向哲钟玉琢清华大学计算机系北京100084

在 VOD(视频点播 )系统中 ,优秀的流调度算法可以显著的提高系统服务能力和服务质量 .典型流调度算法都针对大型视频点播系统 ,因此我们不可能为验证算法而建立实际的系统 .我们设计和实现了一个媒体流调度算法的验证平台 ,在这个平台... 详细信息

在 VOD(视频点播 )系统中 ,优秀的流调度算法可以显著的提高系统服务能力和服务质量 .典型流调度算法都针对大型视频点播系统 ,因此我们不可能为验证算法而建立实际的系统 .我们设计和实现了一个媒体流调度算法的验证平台 ,在这个平台中 ,我们建立了用户行为的数学模型 ,实现了用户行为仿真器 ;用户行为仿真器生成的用户行为样本 ,可以运行在装载了不同算法的仿真系统中 .在这个平台中 ,我们还提出了变强度用户流的概念 ,使平台对实际用户点播服务的仿真更加客观 .

关键词：数学模型视频点播系统流调度算法验证平台

基于UVM的SoC环境中PCIe验证平台设计

在线全文

学校读者我要写书评

暂无评论

计算机工程 2024年第9期50卷 189-196页

作者：高秋辰胡勇华郑州大学计算机与人工智能学院河南郑州450001 湖南科技大学计算机科学与工程学院湖南湘潭411201

系统级芯片(SoC)集成多种外设接口,其外设接口的验证工作已经成为芯片开发最耗时的环节之一。PCIe协议为系统内部提供了高速的点对点串行互联服务,同时还支持热插拔和热交换,逐渐成为一种通用的总线协议。使用传统硬件描述语言(HDL)对P... 详细信息

系统级芯片(SoC)集成多种外设接口,其外设接口的验证工作已经成为芯片开发最耗时的环节之一。PCIe协议为系统内部提供了高速的点对点串行互联服务,同时还支持热插拔和热交换,逐渐成为一种通用的总线协议。使用传统硬件描述语言(HDL)对PCIe接口设计进行验证时,存在短时间内难以覆盖多种设计场景和边界条件,以及验证不完备等问题。为了解决上述问题,利用统一验证方法学(UVM)搭建1个PCIe接口的验证平台。该平台采用UVM定义的框架和测试类,实现了顶层环境集成和测试约束的设计,具有可重用性强和验证全面的特点。实现的内容包括SoC系统级环境集成、待测模块设计与连接、验证平台中sequencer类和monitor类的实现,以及部分接口设计。为了确保测试用例覆盖尽可能多地设计状态和路径,针对性地划分不同功能点,并设计约束条件。通过多种覆盖率指标对测试用例的有效性和覆盖程度进行评估。实验结果表明,该验证平台能缩短验证周期,使综合覆盖率提高30%以上。

关键词： PCIe协议验证平台统一验证方法学覆盖率验证IP

在线全文

学校读者我要写书评

暂无评论

中英文句法分析系统及验证平台的设计与实现

现代图书情报技术 2010年第2期 38-43页

作者：祝清松王惠临中国科学技术信息研究所北京100038

针对改善句法分析整体性能的需求,从可视化编辑学习的规则和词典、树形显示和操作句法分析结果两方面入手,提出并构建一个中英文句法分析系统及验证平台。对平台的设计思想、具体实现和关键技术进行详细的介绍,指出存在的问题和改善的... 详细信息

针对改善句法分析整体性能的需求,从可视化编辑学习的规则和词典、树形显示和操作句法分析结果两方面入手,提出并构建一个中英文句法分析系统及验证平台。对平台的设计思想、具体实现和关键技术进行详细的介绍,指出存在的问题和改善的方法。

关键词：句法分析验证平台可视化编辑树形操作

基于处理器硅前性能验证平台的基准程序库设计方法

在线全文

学校读者我要写书评

暂无评论

高技术通讯 2016年第8期26卷 713-718页

作者：张华亮刘宏伟刘天义中国科学院计算技术研究所计算机体系结构国家重点实验室北京100190 中国科学院大学北京100049 龙芯中科技术有限公司北京100190

提出了一种新的适用于处理器的硅前性能验证平台的基准程序实现方法。方法的主要思想是利用现成的广泛使用的测试程序集合,通过降低工作负载,采用基于基本块的划分、归并方式,将多个基于相同特征点的代码片段作为一个基准检测点,这些抽... 详细信息

提出了一种新的适用于处理器的硅前性能验证平台的基准程序实现方法。方法的主要思想是利用现成的广泛使用的测试程序集合,通过降低工作负载,采用基于基本块的划分、归并方式,将多个基于相同特征点的代码片段作为一个基准检测点,这些抽象的检测点构成了基准程序库。该方法将复杂的处理器内部行为的一致性判断转换为性能的宏观统计分析,充分利用了已有的权威测试基准集,无需重新编写性能验证平台的基准程序,既扩大了验证程序的规模,又节省了大量的劳动,同时可以针对验证样本通过分析系统自动展开验证工作,减少了人工核对的工作量。

关键词：基准测试程序集硅前性能验证处理器验证仿真加速器基本块验证平台基准程序库