验证环境

作品数：75被引量：125H指数：5
导出分析报告
相关领域：自动化与计算机技术电子电信更多>>
相关作者：周勇杨志斌查鲲鹏李峰谢军更多>>
相关机构：西安电子科技大学上海交通大学中国航空无线电电子研究所国防科学技术大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国防基础科研计划国家科技重大专项国防科技技术预先研究基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于数字孪生的数字环铁总体设计与实现
《铁路计算机应用》2024年第6期67-73,共7页郭悦 王志华 关则彬 
中国铁道科学研究院集团有限公司科研开发基金项目(2023YJ335)。
国家铁道试验中心是中国铁路技术创新的战略性支撑平台。为进一步提升中国铁道科学研究院集团有限公司科技创新能力,文章以智能高速铁路(简称:高铁)建设与运营需求为基础,构建全要素、全业务、全场景的智能化试验验证环境,搭建了涵盖关...
关键词：数字孪生 环形铁道试验基地 智能化试验验证环境 智能铁路 一体化平台 
一种可重用RISCV验证平台的设计与实现
《现代电子技术》2023年第16期39-43,共5页胡小刚 孙维东 唐屹晨 毛晓炜 
随着全球芯片技术的飞速发展,处理器的性能逐渐成为了制约各公司前进的短板。而RISCV开源处理器是一种新的精简指令集架构,与其他处理器最大的不同之处在于:它采用模块化的指令集,更易于扩展和组装。然而,目前可重用RISCV的验证平台还...
关键词：RISCV处理器 UVM RISCV验证环境 随机指令生成 C++参考模型 Python脚本 功能覆盖率 可重用 
机载软件建模与仿真技术研究
《科技与创新》2023年第13期17-19,25,共4页彭寒 张晓丽 刘舟洲 李美蓉 
陕西省重点研发计划(编号:2023-YBGY-014、2023-YBGY-131)。
机载软件是机载系统的核心功能的载体,它的开发面临着早期验证困难、可重用性差、验证成本高昂等难题。针对这些问题,构建了一个支持机载软件先期验证的建模环境,开发了一套机载软件中间件,并研制了一种机载软件仿真验证环境。实验结果...
关键词：机载嵌入式系统 软件中间件 建模 仿真验证环境 
基于机器学习的SCADE模型组合验证环境假设自动生成方法被引量：2
《计算机科学》2023年第6期297-306,共10页张泽伦 杨志斌 李晓劼 周勇 李维 
国家自然科学基金(62072233);国防基础科研项目(JCKY2020205C006);航空科学基金(201919052002)。
高安全应用开发环境(Safety Critical Application Development Environment, SCADE)是工业界进行安全关键软件建模、仿真测试和形式化验证的常用工具,如何解决工业级软件的SCADE模型在进行形式化验证时遇到的状态空间爆炸问题是目前面...
关键词：SCADE 组合验证 环境假设 决策树 遗传算法 
面向航空应用场景的嵌入式CPU应用验证思路与实施
《航空计算技术》2023年第2期127-130,共4页梁争争 许少尉 陈思宇 
装备预研航空工业联合基金项目资助(6141B05060402)。
应用验证是现阶段元器件,尤其是CPU等复杂关键器件,在成熟度不高的情况下,需要结合用户实际应用场景开展的必要工作之一。从CPU的本身特征和其所处的航空应用场景出发,分析了面向航空应用的验证需求,确定了验证环境与应用场景的转换关系...
关键词：应用验证 CPU 应用场景 验证环境 验证实施 
把握历史机遇 推进IPv6发展被引量：2
《软件和集成电路》2022年第6期54-57,共4页李星 
开源给基于IPv6的研究与应用提供了验证环境,而IPv6具备比IPv4更大的发展空间,因此,开源工程师将有更多机会在IPv6领域做出更多新的尝试。IP v6(互联网协议第六版)是互联网协议升级演进的必然趋势,是网络技术创新的重要方向,是网络强国...
关键词：网络地址 IPv6 互联网协议 网络强国建设 验证环境 IPV4 工程师们 技术创新 
整车EOL电检系统虚拟验证环境的搭建与应用被引量：3
《时代汽车》2022年第10期24-25,共2页陈子昊 王超逸 杨超 武利伟 吕小磊 顾金龙 
为提高整车EOL电检系统脚本的验证效率,简化验证过程,根据电检协议及原理提出一种搭建整车EOL电检系统的虚拟验证环境的方法。采用VSPY的Message Editor模块和Function Block模块搭建操作过程简单,实现条件方便的整车EOL电检系统虚拟验...
关键词：虚拟验证 EOL 测试 
集成电路UVM验证环境典型结构设计被引量：2
《测试技术学报》2022年第2期135-140,共6页孙晓东 王治强 
UVM作为通用的验证方法学,可以利用其为待测模块DUT(Design under Test)搭建验证环境并进行验证.由于UVM是一个通用整体结构,适用于所有待测模块,在详细设计时需要一定时间考虑各组件的具体功能设计.将待测模块按照功能和类型分为总线...
关键词：UVM 验证环境 总线协议 算法模块 控制模块 
风力与光伏发电的并网问题分析被引量：6
《集成电路应用》2021年第12期180-181,共2页高峰 
阐述风力发电和光伏发电并网中的问题,应对的措施,包括孤岛效应、发电系统运行可靠性、并网后电网经济效益、系统的验证环境、控制技术的应用。
关键词：控制技术 验证环境 风力发电 光伏发电 
综合化航电系统软件虚拟开发与验证技术被引量：2
《航空计算技术》2021年第3期118-122,共5页崔西宁 吴姣 戴小氐 郝玉锴 
国防基础科研项目资助(JCKY2016607B006)。
新一代高度综合化的航空电子系统普遍采用IMA架构,对航空电子系统的软件开发带来了新的挑战,提出了基于IMA平台的综合化软件虚拟开发技术,采用软件虚拟技术模拟硬件行为,解决了硬件成本高、研发周期长等问题,可以让软件开发人员摆脱与...
关键词：航空电子系统 IMA 虚拟开发技术 综合化软件 虚拟仿真验证环境 
全选清除导出
共8页<12345678>
检索报告 对象比较 聚类工具 使用帮助 返回顶部