数字试验测试验证标准体系 被引量：4

1

作者 陶飞 马昕 +31 位作者 张辰源 易航 刘蔚然 魏宇鹏 邹孝付 王子同 任羿 陶岚 葛军 丁露 卓兰 韩丽 弓志强 谭永华 郄永军 周文 李建双 杨春霞 许鸿杰 蔺文杰 刘广 孙波 李海旭 阎德劲 李少伟 罗谦 王敬贤 罗英 尚政国 刘志新 易贤 张文丰 《计算机集成制造系统》 北大核心 2025年第1期1-19,共19页

数字试验测试验证(Digital Experiment,Testing,and Validation,D-ETV)是利用“数力”和“智力”更好地了解产品或系统基本属性和性能特征的方法,是实现高质高效研制运维的重要支撑手段。然而,在物理试验测试验证(Physical Experiment,T... 数字试验测试验证(Digital Experiment,Testing,and Validation,D-ETV)是利用“数力”和“智力”更好地了解产品或系统基本属性和性能特征的方法,是实现高质高效研制运维的重要支撑手段。然而,在物理试验测试验证(Physical Experiment,Testing,and Validation,P-ETV)向D-ETV演化的过程中,因缺乏基础共性标准参考,导致不同人员对D-ETV的理解与认识存在差异;因缺乏关键技术标准参考,导致D-ETV实现难;因缺乏通用支撑、安全、行业应用等标准参考,导致D-ETV实施难。针对上述问题,首先从D-ETV有何用、如何用、何处用3个角度对D-ETV标准需求进行分析。在作者团队前期提出的D-ETV通用流程“D”模型及关键技术基础上,进一步建立并完善“析-定-建-测-评-融”D-ETV理论体系。面向航空航天、工程机械、船舶、电子信息、汽车等领域的国家重大需求,与相关研究院所和企业共同尝试探索建立一套D-ETV标准体系,包括基础共性、关键技术、通用支撑、安全和行业应用5类标准。期望相关工作为D-ETV理论研究、标准研制、行业应用提供参考,助力我国试验测试验证向数字化、智能化、服务化方向发展,进而为我国装备高质量发展提供支撑。 展开更多

关键词 数字试验测试验证 标准体系 数字试验 数字测试 数字验证 数字鉴定

在线阅读 下载PDF 职称材料

数字工艺规划验证研究及在轿车总装中的应用 被引量：4

2

作者 贾晨辉 张浩 +1 位作者 陆剑峰 徐晓峰 《系统仿真学报》 EI CAS CSCD 北大核心 2006年第10期2810-2814,共5页

从虚拟制造和仿真技术入手,介绍了数字化工厂的概念,研究数字化工厂中数字规划和数字验证技术与实施步骤。数字规划验证的方法可以被看作一种在数字化工厂中的生产规划过程DMU。规划和效验的数字化方法能够促进生产规划,在早期确保产品... 从虚拟制造和仿真技术入手,介绍了数字化工厂的概念,研究数字化工厂中数字规划和数字验证技术与实施步骤。数字规划验证的方法可以被看作一种在数字化工厂中的生产规划过程DMU。规划和效验的数字化方法能够促进生产规划,在早期确保产品的可生产性并且影响到产品设计质量。最后详细介绍了数字工艺规划验证在轿车总装中的应用,提出了轿车总装规划的工作流程。 展开更多

关键词 虚拟制造 数字化工厂 数字规划验证 数字样机DMU eM-Power

在线阅读 下载PDF 职称材料

数字化船舶EEDI验证方法 被引量：3

3

作者 王志芳 阳子轩 陈庆任 《中国机械工程》 EI CAS CSCD 北大核心 2022年第10期1189-1194,共6页

为提高我国内河船舶能效设计指数(EEDI)预报精度和速度,促进内河船舶能效评估的推进及能效水平的提升,研发了内河船舶EEDI数字化验证评估系统。收集典型内河船舶船模水池试验数据样本并将其分为两部分,利用其中一部分对艾尔法阻力评估... 为提高我国内河船舶能效设计指数(EEDI)预报精度和速度,促进内河船舶能效评估的推进及能效水平的提升,研发了内河船舶EEDI数字化验证评估系统。收集典型内河船舶船模水池试验数据样本并将其分为两部分,利用其中一部分对艾尔法阻力评估计算方法进行分析和改进,在此基础上提出了适用于方形系数大的宽扁型内河双机双桨船舶阻力曲线估算和有效功率计算的改进艾尔法,利用另一部分样本对改进的艾尔法进行验证,结果表明修正版艾尔法比原方法的预报误差从9.4%降至3.4%。基于所提方法对收集的32艘实船航速数据进行测试验证,结果表明该方法预报精度高,平均误差仅2.678%,远低于船东可接受的5%的误差。最后开发了船舶EEDI数字化验证软件,以满足内河船舶EEDI经济、快速验证的需要,促进内河船舶绿色高效发展。 展开更多

关键词 船舶工程 能效设计指数 艾尔法 阻力预报 航速预报 数字化验证

在线阅读 下载PDF 职称材料

智能制造装备数字化设计与验证系统研究 被引量：3

4

作者 秦永法 赵明扬 +1 位作者 陈书宏 黄雪梅 《机械设计与制造》 2003年第2期43-45,共3页

智能制造装备的设计水平不高是制约我国装备制造业发展因素之一。在阐述智能制造装备特点的基础上,提出了一种基于CORBA规范的智能制造装备数字化设计与验证系统的体系结构,并探讨了实现该系统的关键技术。该系统的目的是降低智能制造... 智能制造装备的设计水平不高是制约我国装备制造业发展因素之一。在阐述智能制造装备特点的基础上,提出了一种基于CORBA规范的智能制造装备数字化设计与验证系统的体系结构,并探讨了实现该系统的关键技术。该系统的目的是降低智能制造设备开发成本,缩短开发周期,提高智能制造装备的设计质量。 展开更多

关键词 智能制造装备 数字化设计 数字化验证 CORBA

在线阅读 下载PDF 职称材料

数字规划验证体系研究与应用 被引量：2

5

作者 贾晨辉 张浩 +1 位作者 张世翔 陆剑峰 《计算机集成制造系统》 EI CSCD 北大核心 2006年第12期1957-1963,共7页

从介绍数字化产品开发技术及实施方法入手,研究了面向装配的设计、数字工艺生产规划与验证的理论方法和技术实现,提出了数字化产品开发与规划验证的体系结构,说明了规划验证过程和评价方法。基于并行工程的数字规划与验证方法能够促进... 从介绍数字化产品开发技术及实施方法入手,研究了面向装配的设计、数字工艺生产规划与验证的理论方法和技术实现,提出了数字化产品开发与规划验证的体系结构,说明了规划验证过程和评价方法。基于并行工程的数字规划与验证方法能够促进工艺和生产规划,在早期确保产品的可制造性、可生产性和产品设计质量。最后,实现了汽车驾驶舱的数字装配仿真与工艺生产规划验证过程。 展开更多

关键词 面向装配的设计 数字样机 数字工艺规划 数字规划验证

在线阅读 下载PDF 职称材料

基于ElGamal体制的指定验证人多重数字签名 被引量：3

6

作者 段昌敏 粟栗 《计算机工程与应用》 CSCD 北大核心 2007年第36期153-156,共4页

通过分析指出公开可验证的多重签名会产生信息泄漏,危机信息安全,指出指定验证人多重签名能保护信息的安全性,并设计了两个基于ElGamal体制的方案:一种是可验证的按序多重签名,另一种是可抵制合谋攻击的广播多重签名。两种方案都具有指... 通过分析指出公开可验证的多重签名会产生信息泄漏,危机信息安全,指出指定验证人多重签名能保护信息的安全性,并设计了两个基于ElGamal体制的方案:一种是可验证的按序多重签名,另一种是可抵制合谋攻击的广播多重签名。两种方案都具有指定验证人的特性,避免了签名者和接收者的信息泄漏,同时签名长度都不随签名者的人数增加而增长,并能抵制伪造和勾结攻击,能保障签名者和签名接收者的安全性。 展开更多

关键词 指定验证人多重数字签名 按序多重签名 广播多重签名

在线阅读 下载PDF 职称材料

新的可验证数字签名托管方案

7

作者 王彩芬 葛建华 等 《西安电子科技大学学报》 EI CAS CSCD 北大核心 2002年第2期218-221,共4页

使用可验证数字签名共享方案的思想 ,提出可验证数字签名的托管方案 .该方案可以适用于多种数字签名 ,其中对RSA和Rabin签名方案的可验证数字签名的托管方案简单高效 ,更实用 .

关键词 可验证数字签名共享 托管 保密通信

在线阅读 下载PDF 职称材料

PRIMAR数字海图加密方案 被引量：1

8

作者 朱津 蒋红燕 《海洋测绘》 2003年第4期59-60,共2页

关键词 数字海图 加密 PRIMAR 国际海道测量组织 数字验证 数字签名 电子航海图

在线阅读 下载PDF 职称材料

民机飞控计算机系统虚拟样机验证平台研究 被引量：9

9

作者 陈宗基 孙晓哲 秦旭东 《系统仿真学报》 EI CAS CSCD 北大核心 2008年第15期4057-4063,共7页

介绍了虚拟样机技术,对飞控系统虚拟样机技术的发展趋势进行了概述。为了深入分析Boeing、Airbus系列和BUAA民机型方案的余度飞控计算机系统,为我国大型民机研究提供参考,对民机非相似余度飞控计算机系统虚拟样机的验证平台进行了研究,... 介绍了虚拟样机技术,对飞控系统虚拟样机技术的发展趋势进行了概述。为了深入分析Boeing、Airbus系列和BUAA民机型方案的余度飞控计算机系统,为我国大型民机研究提供参考,对民机非相似余度飞控计算机系统虚拟样机的验证平台进行了研究,该平台基于COTS产品、模块化组件,具有良好的人机交互界面等特征,可以实现Boeing777、A340和BUAA民机型方案的非相似余度飞控计算机系统虚拟样机。该平台具有开放性和可扩展性,支持多学科并行设计等。 展开更多

关键词 虚拟样机 非相似余度 飞控计算机 数字化验证

在线阅读 下载PDF 职称材料

基于NanoSim-VCS的芯片级混合信号验证 被引量：2

10

作者 胡越黎 经文怡 宣祥光 《上海大学学报（自然科学版）》 CAS CSCD 北大核心 2009年第1期42-46,共5页

在混合信号系统芯片设计过程中,复杂的全芯片系统验证以及数字单元和模拟IP电路间的接口节点分析成为设计的瓶颈.提出一种基于NanoSim-VCS的混合信号验证方法,以SHU-MV06芯片为具体对象,对一个包括Verilog和SPICE的数模混合系统设计进... 在混合信号系统芯片设计过程中,复杂的全芯片系统验证以及数字单元和模拟IP电路间的接口节点分析成为设计的瓶颈.提出一种基于NanoSim-VCS的混合信号验证方法,以SHU-MV06芯片为具体对象,对一个包括Verilog和SPICE的数模混合系统设计进行验证.这一验证方法在仿真的速度和精度间进行折衷,在保证一定精度的基础上大大缩短了仿真时间,提高了验证效率,使设计人员在早期仿真阶段就能及时发现设计中的问题,改进了设计质量.采用此方法验证的数模混合系统级芯片SHU-MV06一次流片成功,表明了此方法的正确性和有效性. 展开更多

关键词 模拟数字混合信号验证 NanoSim—VCS 片上系统芯片SoC

在线阅读 下载PDF 职称材料

对一个数字签名方案安全性证明的注记 被引量：1

11

作者 齐亚平 刘文化 禹勇 《计算机工程与应用》 CSCD 北大核心 2007年第24期123-124,151,共3页

研究了Willy,Zhang和Yi等学者提出的基于身份的强指定验证者签名方案(简记为WZY方案)的安全性证明,发现在他们的安全性证明中存在漏洞:在证明签名方案的不可伪造性时,敌手拥有指定验证者的私钥。在一个简单的假设下:假设对于一个有效的... 研究了Willy,Zhang和Yi等学者提出的基于身份的强指定验证者签名方案(简记为WZY方案)的安全性证明,发现在他们的安全性证明中存在漏洞:在证明签名方案的不可伪造性时,敌手拥有指定验证者的私钥。在一个简单的假设下:假设对于一个有效的输入,Hash函数的输出是随机的,并且敌手事先知道这个输入,重新证明了WZY方案的不可伪造性依赖于双线性Diffie-Hellman问题,从而完善了WZY方案的安全性证明。 展开更多

关键词 数字签名强指定验证者签名双线性对

在线阅读 下载PDF 职称材料

空客飞控计算机系统虚拟样机验证仿真

12

作者 孙晓哲 李卫琪 陈宗基 《系统仿真学报》 CAS CSCD 北大核心 2008年第S2期323-326,354,共5页

为了深入分析民机Airbus系列的余度飞控计算机系统,根据飞控系统虚拟样机技术的发展趋势,设计并建立了民机飞控计算机系统虚拟样机的验证平台,介绍了此虚拟样机平台的具体硬软件实现,在此平台上对民机空客A340飞控计算机系统的简化结构... 为了深入分析民机Airbus系列的余度飞控计算机系统,根据飞控系统虚拟样机技术的发展趋势,设计并建立了民机飞控计算机系统虚拟样机的验证平台,介绍了此虚拟样机平台的具体硬软件实现,在此平台上对民机空客A340飞控计算机系统的简化结构进行仿真分析,仿真当某一飞控计算机故障情况下舵面控制指令、舵面偏角和飞机姿态的输出情况,由仿真结果得此平台可以实现空客飞控计算机系统的余度配置,能够正确隔离故障和进行容错管理,最后总结了下一步需要进行的工作。 展开更多

关键词 虚拟样机 余度 飞控计算机 数字化验证

在线阅读 下载PDF 职称材料

核电站数字化仪控系统安全保密分析方法研究 被引量：2

13

作者 尹宝娟 丁义行 +3 位作者 孙王强 李幼媛 赵云飞 程建明 《核科学与工程》 CAS CSCD 北大核心 2016年第3期430-434,共5页

核电站数字化仪控系统的信息安全保密分析是核安全级仪控系统软件验证与确认工作的任务之一。按照相关规定,提出了一种基于核安全级仪控系统软件开发全生命周期过程,结合规则检查分析和基于信息流分析的安全保密分析方法。该方法经应用... 核电站数字化仪控系统的信息安全保密分析是核安全级仪控系统软件验证与确认工作的任务之一。按照相关规定,提出了一种基于核安全级仪控系统软件开发全生命周期过程,结合规则检查分析和基于信息流分析的安全保密分析方法。该方法经应用检验能够证实系统在信息安全保密方面的防范能力,在实际项目中得到应用。 展开更多

关键词 安全保密分析 验证与确认:数字化仪控系统 规则检查分析 信息流

在线阅读 下载PDF 职称材料

直升机特定结构先进陶瓷材料研究进展与应用展望 被引量：1

14

作者 谌广昌 段小明 +12 位作者 朱金荣 龚情 蔡德龙 李宇航 杨东雷 陈彪 李新民 邓旭东 余瑾 刘博雅 何培刚 贾德昌 周玉 《无机材料学报》 北大核心 2025年第3期225-244,共20页

为进一步拓展先进陶瓷材料在直升机结构领域的应用,本文对国内外直升机结构用先进陶瓷材料进行了审视和回顾,重点关注直升机能量冲击防护部位、能量转换部件及腐蚀防护区域等特定结构部位用各类先进陶瓷材料,对比分析国内外先进陶瓷材... 为进一步拓展先进陶瓷材料在直升机结构领域的应用,本文对国内外直升机结构用先进陶瓷材料进行了审视和回顾,重点关注直升机能量冲击防护部位、能量转换部件及腐蚀防护区域等特定结构部位用各类先进陶瓷材料,对比分析国内外先进陶瓷材料在直升机上述特定结构部位的应用差距,并提出未来发展建议。高速动态冲击能量防护部位应发展反应烧结曲面一体化成型的非透明装甲陶瓷材料和多晶透明装甲陶瓷材料,低能量冲击防护部位应发展与环氧树脂基基材兼容的金属陶瓷复合涂层,热能冲击防护部位应发展陶瓷基/树脂基混杂复合材料(Hybrid Ceramic Matrix Composite/Polymer Matrix Composite, HCMC-PMC),机械能与电能转换部件应发展以高性能微型压电陶瓷薄膜功能器件及柔性混合电子结构复合材料为代表的多功能复合材料,电磁能与热能转换部件应发展与环氧树脂基复合材料兼容的纤维增强吸波陶瓷基复合材料,腐蚀防护区域应发展高性能耐磨腐蚀防护用溶胶-凝胶涂层。同时,应大力构建直升机装备高速动态能量冲击防护机理及防护材料抗弹击性能优化机制,并发展垂直起降飞行器多功能复合材料数字试验验证技术,以显著缩短先进陶瓷材料的研发及装机应用周期并降低验证成本。 展开更多

关键词 直升机 特定结构 先进陶瓷 微型压电陶瓷 多功能复合材料 数字化试验验证技术 综述

在线阅读 下载PDF 职称材料

基于结构化模型的飞机改装数字化适航验证方法

15

作者 史永胜 晏洪伟 《科学技术与工程》 2025年第34期14906-14914,共9页

针对民机改装适航验证流程复杂、效率低下的问题,提出了基于“内容-条款-任务-指标”的结构化CSTI模型,通过分层解析改装需求、匹配适航条款、生成验证任务及确定验证指标,实现适航验证流程的规范化。将模型与数字化适航验证系统和数据... 针对民机改装适航验证流程复杂、效率低下的问题,提出了基于“内容-条款-任务-指标”的结构化CSTI模型,通过分层解析改装需求、匹配适航条款、生成验证任务及确定验证指标,实现适航验证流程的规范化。将模型与数字化适航验证系统和数据库相结合,可实现自动化生成验证任务、对比验证指标并管理验证数据。以飞机氧气系统改装为例,运用CSTI模型系统地分析了验证的流程及指标,指导验证任务实施,并对验证指标进行评估,验证结果表明了适航验证系统的可行性和模型的适用性。最后探讨了该模型及系统与新兴技术结合的可能性,并提出相关设想。研究成果可为飞机改装数字化适航验证提供高效、可扩展的解决方案,为后续适航验证系统的智能化发展提供理论参考。 展开更多

关键词 结构改装 适航验证 结构化模型 数字化验证系统

在线阅读 下载PDF 职称材料

荆江-洞庭湖洪水演进模型的率定和应用 被引量：3

16

作者 穆锦斌 张小峰 《人民长江》 北大核心 2010年第12期42-44,共3页

在建立了荆江-洞庭湖洪水演进模型的基础上,着重讨论了建模过程中有关断面资料处理、阻力问题和内外边界条件给定的问题。采用实测资料对模型进行率定与验证,并对荆江特大洪水进行模拟调度,结果表明,模型能很好地描述洪水在荆江-洞庭湖... 在建立了荆江-洞庭湖洪水演进模型的基础上,着重讨论了建模过程中有关断面资料处理、阻力问题和内外边界条件给定的问题。采用实测资料对模型进行率定与验证,并对荆江特大洪水进行模拟调度,结果表明,模型能很好地描述洪水在荆江-洞庭湖河网区演进过程,可用于各种防洪调度方案的模拟试验,预测各种调度方案实施效果,对荆江洞庭湖防洪规划具有重要现实意义。 展开更多

关键词 率定 数字验证 洪水调度 荆江-洞庭湖水系

在线阅读 下载PDF 职称材料

基于改进连续时间动态系统的模拟SAT求解器 被引量：2

17

作者 赵海军 陈华月 崔梦天 《计算机应用研究》 CSCD 北大核心 2024年第1期200-205,共6页

针对布尔可满足性问题的高效求解进行了研究。首先,通过对k-SAT问题和基于耦合常微分方程形式的确定性连续时间动态系统的分析,提出了一种基于时延信息形式的改进连续时间动态系统方程,以保持集中搜索特性;然后,提出了实现该系统方程的... 针对布尔可满足性问题的高效求解进行了研究。首先,通过对k-SAT问题和基于耦合常微分方程形式的确定性连续时间动态系统的分析,提出了一种基于时延信息形式的改进连续时间动态系统方程,以保持集中搜索特性;然后,提出了实现该系统方程的三个主要组件即信号动态电路、辅助变量电路和数字验证电路的模拟设计。在信号动态电路的设计中,设计了一种获得更高性能、更小面积和更低功耗的模拟硬件形式;在提出的辅助变量电路和数字验证电路的模拟硬件设计中,实现了避免梯度下降搜索陷入无解和确定给定问题的解是否已经找到的目标;同时提出了降低面积和功耗的可替代辅助变量电路的两种设计方案。仿真实验结果表明,提出的新的模拟SAT求解器不仅是有效的,而且相比于单一软件算法实现的SAT求解器和其他硬件类SAT求解器具有更高的加速性能和更低的功耗。 展开更多

关键词 布尔可满足性问题 连续时间动态系统 模拟设计 辅助变量 数字验证 加速性能

在线阅读 下载PDF 职称材料

基于Web service的系统交互设计与实现 被引量：3

18

作者 向宏 刘志 胡海波 《重庆工学院学报（自然科学版）》 2008年第11期110-114,共5页

介绍了共用数据库或共享数据库、建立SOCKET数据交互包、以Web service实现服务器间的交互等系统间交互方式,进行了基于Web service的交互的设计,阐述了Web service的体系架构和系统交互的流程,给出了部分系统间实现交互的代码.为系统... 介绍了共用数据库或共享数据库、建立SOCKET数据交互包、以Web service实现服务器间的交互等系统间交互方式,进行了基于Web service的交互的设计,阐述了Web service的体系架构和系统交互的流程,给出了部分系统间实现交互的代码.为系统交互设计的进一步研究提供参考. 展开更多

关键词 系统交互 SSH WEB SERVICE 数字验证

在线阅读 下载PDF 职称材料

区块链技术在资产全寿命周期管理中的应用 被引量：15

19

作者 王天军 郭江涛 +1 位作者 明涛 杨小蕾 《电测与仪表》 北大核心 2021年第6期21-25,共5页

电网企业在对资产全寿命周期管理效率影响企业的发展。目前,对资产全寿命周期管理存在管理不规范、管理流程不统一以及管理模块化不强等主要问题。区块链技术作为一种去中心化的数据存储技术,具有不可篡改的信息安全、开放共享和降低管... 电网企业在对资产全寿命周期管理效率影响企业的发展。目前,对资产全寿命周期管理存在管理不规范、管理流程不统一以及管理模块化不强等主要问题。区块链技术作为一种去中心化的数据存储技术,具有不可篡改的信息安全、开放共享和降低管理成本等优势。为此,将区块链技术应用于资产全寿命周期管理,探讨具有可追溯、可验证的、可扩展的管理系统,构建发基于区块链的运行架构,提高了对资产管理的规范化;利用区块链技术的不可篡改性,实现资产流动的数字认证;并利用区块链技术的分布式特点,实现对资产设备的高效验证,最终,提升设备全寿命周期事件记录能力和完善电网资产全寿命管理效率。 展开更多

关键词 区块链 电网资产 资产全寿命周期管理 数字存证 数字验证

在线阅读 下载PDF 职称材料

基于Java Socket技术的多功能网络通信系统

20

作者 罗辉 覃志宇 《桂林工学院学报》 北大核心 2007年第1期136-139,共4页

分析了目前基于TCP/IP的通信系统的现状与不足,采用先进的Java Socket技术,开发出一个B/S模式的基于TCP协议的网络通信系统.该系统充分利用了Java的跨平台性和Applet体积小、功能强的特性,结合目前已有的典型通讯软件BBS和OICQ的某些技... 分析了目前基于TCP/IP的通信系统的现状与不足,采用先进的Java Socket技术,开发出一个B/S模式的基于TCP协议的网络通信系统.该系统充分利用了Java的跨平台性和Applet体积小、功能强的特性,结合目前已有的典型通讯软件BBS和OICQ的某些技术,采用TCP协议与服务器转发的技术,扩展了文件发送的功能,使得客户间发送文件不受防火墙限制.本系统利用数字签名超越Java Applet的安全限制,解决了Applet客户端对文件读写的问题. 展开更多

关键词 SOCKET B/S模式 多线程 数字签名验证

在线阅读 下载PDF 职称材料