资源类型

期刊论文 457

年份

2024 1

2023 43

2022 32

2021 34

2020 15

2019 25

2018 21

2017 30

2016 11

2015 6

2014 11

2013 13

2012 12

2011 14

2010 14

2009 10

2008 24

2007 25

2006 20

2005 27

展开 ︾

关键词

数学模型 13

模型 9

模型试验 9

数值模拟 8

不确定性 5

深度学习 5

COVID-19 4

机器学习 4

GM(1 3

计算机模拟 3

1)模型 2

DX桩 2

D区 2

Preissmann格式 2

SWAT模型 2

TRIZ 2

Weibull分布 2

k-ε模型 2

三峡工程 2

展开 ︾

检索范围：

排序： 展示方式：

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

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

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

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

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

HTML PDF 收藏

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

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

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

摘要： 在体系顶层设计问题中，体系质量需求分析的关键是体系需求的建模以及自动验证，需要合适的建模方法来描述体系质量需求以及验证质量需求是否满足体系的能力需求。针对体系质量需求建模和验证问题，本文提出一种基于描述逻辑的体系质量需求建模与验证方法。首先，为解决体系功能和非功能需求的描述问题，通过添加模糊构造子扩展统一建模语言（Unified Modeling Language, UML）中的类和关系并定义了基于元模型的领域特定建模语言以实现体系质量需求中模糊和不确定概念的建模随后提出了基于云模型的体系质量需求评估方法实现了对体系质量需求的评估。然后，提出了模型转换算法将模糊UML构建的体系需求模型转换为描述逻辑本体模型，并通过使用描述逻辑本体推理工具实现需求模型的自动化验证。最后，通过一个案例验证和演示了本文方法的正确性和可行性。

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

HTML PDF 收藏

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

张辉睿

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

摘要：

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

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

HTML PDF 收藏

HY-2卫星雷达高度计风速反演验证

贾永君,张有广,林明森

《中国工程科学》 2014年 第16卷 第6期   页码 54-59

摘要：

本文给出了海洋二号（HY-2）卫星雷达高度计风速反演的双参数算法模型，并利用Jason-1 产品和HY-2 卫星微波散射计产品定性验证了双参数算法模型的正确性，同时利用星星交叉比对方法、美国国家浮标数据中心（National Data Buoy Center，NDBC）浮标数据验证方法、美国国家环境预报中心（National Centers for EnvironmentalPrediction，NCEP）再分析数据验证方法三种不同方法对该模型进行定量化验证，结果表明HY-2 卫星雷达高度计风速反演的双参数算法模型的反演精度达到2.0 m/s 的精度，满足海洋业务应用和科学研究的精度要求

关键词： 风速反演     双参数模型     雷达高度计     HY-2    

HTML PDF 收藏

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

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

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

摘要： 其次，为解决这一问题，建立了飞行甲板、舰载机实体、实体扩展、实体姿态、实体冲突检测和路径平滑的数学支持模型，为航母上飞机的转运路径规划提供了必要基础。

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

HTML PDF 收藏

单乙醇胺碳捕集工艺大规模工业化应用：提高非平衡级速率模型的预测精度

罗小波,Wang Meihong

《工程（英文）》 2017年 第3卷 第2期   页码 232-243 doi: 10.1016/J.ENG.2017.02.001

摘要： 为此，准确的模型是必不可少的基础。本文论述了关于通过升级参数和多级模型验证来开发一个更精确的基于乙醇胺碳捕集过程的非平衡级速率模型。本文首先分析了该过程速率模型的建模框架。采用Aspen Plus® 软件开发此过程的稳态模型，并且在三个模拟阶段对较宽范围的压力，温度和CO2 载荷进行了模型验证，包括热力学建模、物性计算和中试规模工艺模拟。模型验证结果表明，本文中采用的新的关联参数组合的热力学模型比其他三个经典模型具有更高的精度，而且试验规模的流程模拟结果和实验数据吻合很好。随后本文采用这一模型对一个250 MW 的联合循环燃气发电厂的碳捕集工艺过程设计进行了案例研究，并和另一文献进行了对比，本文的设计降低了吸收塔和解析塔的填料高度并减少了CO2特征热负荷

关键词： 过程模拟     模型验证     单乙醇胺     CO2 捕集     联合燃气发电厂     碳捕集和存储    

HTML PDF 收藏

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

胡成武,罗文波,彭炎荣

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

摘要：

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

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

HTML PDF 收藏

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

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

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

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

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

HTML PDF 收藏

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

潘家铮,王家柱

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

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

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

HTML PDF 收藏

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

黄灿,卜一之,张清华

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

摘要：

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

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

HTML PDF 收藏

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

张楠, 田园, 夏禾

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

摘要： 本文的车辆子系统模型以刚体动 力学方法建立，桥梁子系统模型以有限元方法建立，竖向与横向轮轨关系分别以轮轨密贴假定和 Kalker 线性蠕滑理论定义。车桥耦合动力方程以全过程迭代法求解。

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

HTML PDF 收藏

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

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

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

摘要：

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

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

HTML PDF 收藏

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

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

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

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

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

HTML PDF 收藏

一种高效的异构车辆集群协同框架 Research Articles

Iftikhar AHMAD1,2,Rafidah Md NOOR2,Zaheed AHMED3,Umm-e-HABIBA3,Naveed AKRAM4, 5,Fausto Pedro GARCÍA MÁRQUEZ6

《信息与电子工程前沿（英文）》 2021年 第22卷 第9期   页码 1247-1259 doi: 10.1631/FITEE.2000260

摘要： 车辆集群框架是解决这些问题的一种方案，但是该框架在部署到现实世界前应经过形式验证。为解决这些问题，提出一种异构的车辆集群框架，称为目标和兴趣感知集群框架。在此基础上，给出该框架的模型系统。使用模型检测技术对该模型进行形式验证，在功能层面评估其性能。为在微观层面评估该框架性能，通过整合最先进的工具创建异构仿真环境。

关键词： 车辆集群；异构性；协同；形式验证；系统模型    

HTML PDF 收藏

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

Xuehu Yan, Longlong Li, Jia Chen, Lei Sun

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

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

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

HTML PDF 收藏

标题 作者 时间 类型 操作

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

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

期刊论文

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

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

期刊论文

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

张辉睿

期刊论文

HY-2卫星雷达高度计风速反演验证

贾永君,张有广,林明森

期刊论文

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

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

期刊论文

单乙醇胺碳捕集工艺大规模工业化应用：提高非平衡级速率模型的预测精度

罗小波,Wang Meihong

期刊论文

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

胡成武,罗文波,彭炎荣

期刊论文

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

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

期刊论文

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

潘家铮,王家柱

期刊论文

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

黄灿,卜一之,张清华

期刊论文

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

张楠, 田园, 夏禾

期刊论文

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

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

期刊论文

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

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

期刊论文

一种高效的异构车辆集群协同框架

Iftikhar AHMAD1,2,Rafidah Md NOOR2,Zaheed AHMED3,Umm-e-HABIBA3,Naveed AKRAM4, 5,Fausto Pedro GARCÍA MÁRQUEZ6

期刊论文

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

Xuehu Yan, Longlong Li, Jia Chen, Lei Sun

期刊论文