资源类型

期刊论文 32

年份

2024 1

2023 3

2022 3

2021 3

2019 2

2018 1

2017 5

2016 1

2015 1

2014 1

2013 2

2009 1

2008 1

2007 1

2005 2

2003 1

2002 1

2001 2

展开 ︾

关键词

CO2 捕集 1

COVID-19 1

HMAC-SM3;侧信道分析;相关能量攻击;基于比特值的选择明文 1

HY-2 1

三峡 1

三峡工程 1

优化设计 1

传递函数 1

体系;云模型;描述逻辑;需求验证 1

假说—演绎方法 1

全过程迭代法 1

典型信息法 1

几何控制 1

几何非线性 1

力矩反馈器 1

动刚度 1

动态性能 1

单乙醇胺 1

双参数模型 1

展开 ︾

检索范围:

排序: 展示方式:

基于风险分析的可靠性指标加速验证方法研究

张辉睿

《中国工程科学》 2015年 第17卷 第5期   页码 31-37

摘要:

传统的可靠性验证试验由于一般在使用条件下进行,且只利用失效数据进行判定,往往需要大量的时间和费用。这对于高可靠长寿命船舶设备可靠性指标的验证是不可接受的。本文提出一种基于风险分析的可靠性指标加速验证方法,该方法利用退化数据进行分析,在试验风险可接受的条件下提前截止试验,得出验证结果。同时,利用高环境应力可以加速退化过程,进一步减少试验时间。本文具体给出了分析和计算提前截止试验和利用高应力进行试验产生的额外风险的方法,保证了验证结果的真实可靠。最后利用案例证实了该方法在减少验证试验时间上的有效性。

关键词: 退化数据;加速验证试验;可靠性验证;风险分析;优化设计    

航母飞行甲板上飞机转运路径优化方法的设计与验证 Research Articles

司维超,孙涛,宋超,张杰

《信息与电子工程前沿(英文)》 2021年 第22卷 第9期   页码 1221-1233 doi: 10.1631/FITEE.2000251

摘要: 研究了在能见度较低或夜间情况下,航母飞行甲板上飞机安全转运的路径规划问题。首先,分析了舰载机在飞行甲板上的转运路径规划问题,定义了优化目标和约束条件。其次,为解决这一问题,建立了飞行甲板、舰载机实体、实体扩展、实体姿态、实体冲突检测和路径平滑的数学支持模型,为航母上飞机的转运路径规划提供了必要基础。再次,为实现转运路径自动规划,设计了一种多生境并行混沌算法(KCMPSO),并将其作为转运路径规划的优化方法。最后,以库兹涅佐夫号航空母舰为例进行仿真模拟。仿真结果表明,与粒子群算法相比,该方法能较好解决航母飞行甲板上飞机的转运路径规划问题。

关键词: 舰载机;飞行甲板;转运路径规划;KCMPSO算法;方法设计与验证    

锥形凹模缩口力的理论计算与试验验证

胡成武,罗文波,彭炎荣

《中国工程科学》 2005年 第7卷 第6期   页码 54-56

摘要:

缩口力是导致薄壁筒形件缩口失稳的重要因素。为了提高缩口力的计算精度,M·B·斯德洛日夫和E·π·翁克索夫综合考虑板厚变化、加工硬化及磨擦等因素的影响,分别提出了圆筒形件缩口力的计算方法;通过实例对该两种方法的计算结果进行了分析,并与实验数据做了比较。结果表明,两种方法的计算结果十分接近,而且与实验数据相吻合。

关键词: 缩口力     理论计算     试验验证    

连轧张力公式的实验验证和分析

张进之,赵厚信,王喆,王保罗

《中国工程科学》 2008年 第10卷 第4期   页码 73-77

摘要: 日本在20世纪70年代对连轧张力公式进行了理论上的推导和实验验证,特别是浅川基男等人的连轧实验结果更为重要。为此引用了浅川基男的实验数据和宝钢2 050 mm热连轧机上的实测数据,验证了连轧张力公式。

关键词: 连轧张力公式     实验验证     解析解     定常性    

科学论证是重大工程正确决策的基础——三峡工程论证结论的实践验证

潘家铮,王家柱

《中国工程科学》 2001年 第3卷 第3期   页码 21-26

摘要: 重新论证的若干重要结论得到了初步验证,大江截流、深水围堰、永久船闸高陡边坡开挖稳定,特高强度混凝土浇筑施工等一系列重大科技难题得到克服,充分证明了当年科学论证的必要性和正确性。

关键词: 科学论证     三峡工程     实践验证    

特大跨度斜拉桥施工几何控制原理的数值验证

黄灿,卜一之,张清华

《中国工程科学》 2009年 第11卷 第1期   页码 87-91

摘要:

以苏通长江大桥为研究对象,通过数值仿真分析验证了几何控制原理的正确性。

关键词: 斜拉桥     几何控制     几何非线性     数值验证    

车桥耦合动力分析方法及验证

张楠, 田园, 夏禾

《工程(英文)》 2016年 第2卷 第4期   页码 528-536 doi: 10.1016/J.ENG.2016.04.012

摘要:

本文系统研究了车桥耦合动力系统的分析方法。随着铁路技术的发展,车桥耦合动力分析日臻成熟, 此类研究对评判桥梁设计方案、确保列车运行的安全性与平稳性具有重要意义。车桥耦合动力研 究中考虑轨道不平顺、结构变形、风荷载、撞击荷载、结构损伤、基础冲刷和地震等因素的影响, 其研究方法主要包括解析法、数值模拟法以及试验研究法三类。本文的车辆子系统模型以刚体动 力学方法建立,桥梁子系统模型以有限元方法建立,竖向与横向轮轨关系分别以轮轨密贴假定和 Kalker 线性蠕滑理论定义。车桥耦合动力方程以全过程迭代法求解。算例讨论了CRH380BL 高速 列车通过我国标准设计桥梁的动力响应,计算了车速200~400 km·h-1 范围内车辆与桥梁子系统的 动力响应,并分析了振动发生的机理。

关键词: 车桥耦合系统     轮轨关系     全过程迭代法     现场试验     验证    

水污染防治生物处理技术验证评估指标研究

许春莲,张伟,宋乾武,黄海明,田艳丽,陈栋

《中国工程科学》 2013年 第15卷 第3期   页码 44-48

摘要:

建立科学的验证评估指标体系是开展环境技术验证评估的前提条件。立足于水污染防治生物处理技术,以公正、科学、保护知识产权等为原则,在总结国外验证评估指标体系、验证评估方法的基础上,结合我国的国情开展了水污染防治技术验证评估指标的设计。验证指标共分参考指标、测试指标、评价指标3个部分,按特性又划分为通用指标和特征指标两类。

关键词: 生物处理技术     验证评估     指标    

高效可验证的雾辅助私有集合交集计算 None

Qiang WANG, Fu-cai ZHOU, Tie-min MA, Zi-feng XU

《信息与电子工程前沿(英文)》 2018年 第19卷 第12期   页码 1558-1568 doi: 10.1631/FITEE.1800518

摘要: 提出一种高效可验证的雾辅助私有集合交集计算方案。在该方案中,实体将私有集合交集计算外包至雾,雾在没有解密能力的前提下计算集合交集。该方案不依赖全同态加密和配对操作,极大提高了计算效率。

关键词: 私有集合交集计算;雾计算;可验证;数据隐私    

用于毫米波性能空口测试的空间衰落信道重现技术:概念和实验验证

范伟1,Lassi HENTILÄ2,Pekka KYÖSTI2,3

《信息与电子工程前沿(英文)》 2021年 第22卷 第4期   页码 548-559 doi: 10.1631/FITEE.2000484

摘要: 最后展示了这两种测试方案在28 GHz频段下初步的实验验证结果。

关键词: 空间信道模型;空口测试;无线线缆;多探头电波暗室;FR2验证    

基于公钥具有双向影子图像验证功能且无像素扩张的图像秘密分享 Research Article

Xuehu Yan, Longlong Li, Jia Chen, Lei Sun

《信息与电子工程前沿(英文)》 2023年 第24卷 第1期   页码 88-103 doi: 10.1631/FITEE.2200118

摘要: 然而,传统处理者参与的方法主要是单向验证,即在解码阶段验证影子图像,存在像素扩张或额外辅助信息等不足。因此,分发(编码)阶段的影子图像认证对参与者来说也很重要。当处理者将每个影子图像分发给相应参与者时,参与者可以用其私钥验证接收到的影子图像。在解码阶段,处理者可以用其秘钥验证每个接收到的影子图像;此外,当获得任何k个或更多影子图像时,处理者可以无损解码秘密图像。理论分析、实验和比较验证了所提方法有效性。

关键词: 图像秘密分享;影子图像验证;公钥;像素扩张;无损恢复    

一种基于描述逻辑的体系质量需求建模与验证方法 Article

Qing-long WANG,Zhi-xue WANG,Ting-ting ZHANG,Wei-xing ZHU

《信息与电子工程前沿(英文)》 2017年 第18卷 第3期   页码 346-361 doi: 10.1631/FITEE.1500309

摘要: 在体系顶层设计问题中,体系质量需求分析的关键是体系需求的建模以及自动验证,需要合适的建模方法来描述体系质量需求以及验证质量需求是否满足体系的能力需求。针对体系质量需求建模和验证问题,本文提出一种基于描述逻辑的体系质量需求建模与验证方法。然后,提出了模型转换算法将模糊UML构建的体系需求模型转换为描述逻辑本体模型,并通过使用描述逻辑本体推理工具实现需求模型的自动化验证。最后,通过一个案例验证和演示了本文方法的正确性和可行性。

关键词: 体系;云模型;描述逻辑;需求验证    

格上后向无关联性安全的验证者本地撤销群签名 Research Articles

张彦华1,刘西蒙2,胡予濮3,甘勇4,贾惠文5

《信息与电子工程前沿(英文)》 2022年 第23卷 第6期   页码 876-892 doi: 10.1631/FITEE.2000507

摘要:

群成员可撤销的群签名中,验证者本地撤销机制似乎是一种更为灵活的选择,因为在签名验证过程中,仅需验证者获取最新的撤销信息,而不涉及签名者。与经典的数论型构造相对应,Langlois等人给出了后量子安全的首个格上验证者本地撤销群签名。然而,截至目前,所有格上验证者本地撤销群签名方案暂不满足后向无关联性,该特性可保障群成员被撤销前其对消息签名的匿名性和无关联性。本文给出了首个格上后向无关联性安全的验证者本地撤销群签名方案,从而解决了这一公开问题。新方案为群公钥和群成员签名密钥节省了O(log N)的比特大小,并且没有任何公钥加密。

关键词: 群签名;格密码;验证者本地撤销;后向无关联性;小整数解难题    

三峡永久船闸高边坡工程的实践及验证

张超然

《中国工程科学》 2001年 第3卷 第5期   页码 22-27

摘要: 文章对三峡永久船闸高边坡设计原则和轮廓,施工程序,防渗及排水系统,高边坡加固支护措施,高边坡稳定分析以及永久船闸高边坡变形预测和高边坡监测资料验证等的研究结论和工程的重大科技成就做了介绍。

关键词: 三峡     永久船闸     高边坡    

低压断路器和漏电保护电器的可靠性研究

陆俭国

《中国工程科学》 2005年 第7卷 第6期   页码 36-40

摘要: 科学意义及其社会效益,介绍了国际上权威学术机构IEEE在该方面所做工作的概况,指出了开展该方面研究工作的难度与创新意义;重点分析了低压断路器和漏电保护电器的故障模式,在此基础上,在国内外首次提出了其可靠性指标与可靠性验证试验方案

关键词: 故障模式     可靠性指标     可靠性验证试验方案    

标题 作者 时间 类型 操作

基于风险分析的可靠性指标加速验证方法研究

张辉睿

期刊论文

航母飞行甲板上飞机转运路径优化方法的设计与验证

司维超,孙涛,宋超,张杰

期刊论文

锥形凹模缩口力的理论计算与试验验证

胡成武,罗文波,彭炎荣

期刊论文

连轧张力公式的实验验证和分析

张进之,赵厚信,王喆,王保罗

期刊论文

科学论证是重大工程正确决策的基础——三峡工程论证结论的实践验证

潘家铮,王家柱

期刊论文

特大跨度斜拉桥施工几何控制原理的数值验证

黄灿,卜一之,张清华

期刊论文

车桥耦合动力分析方法及验证

张楠, 田园, 夏禾

期刊论文

水污染防治生物处理技术验证评估指标研究

许春莲,张伟,宋乾武,黄海明,田艳丽,陈栋

期刊论文

高效可验证的雾辅助私有集合交集计算

Qiang WANG, Fu-cai ZHOU, Tie-min MA, Zi-feng XU

期刊论文

用于毫米波性能空口测试的空间衰落信道重现技术:概念和实验验证

范伟1,Lassi HENTILÄ2,Pekka KYÖSTI2,3

期刊论文

基于公钥具有双向影子图像验证功能且无像素扩张的图像秘密分享

Xuehu Yan, Longlong Li, Jia Chen, Lei Sun

期刊论文

一种基于描述逻辑的体系质量需求建模与验证方法

Qing-long WANG,Zhi-xue WANG,Ting-ting ZHANG,Wei-xing ZHU

期刊论文

格上后向无关联性安全的验证者本地撤销群签名

张彦华1,刘西蒙2,胡予濮3,甘勇4,贾惠文5

期刊论文

三峡永久船闸高边坡工程的实践及验证

张超然

期刊论文

低压断路器和漏电保护电器的可靠性研究

陆俭国

期刊论文