Search | Engineering

订阅投稿

首页工程期刊工程焦点工程成就工程前沿关于我们 English

资源类型

期刊论文 95

年份

2024 1

2023 10

2022 15

2021 7

2020 2

2019 6

2018 5

2017 9

2016 13

2015 2

2014 1

2013 4

2010 1

2009 1

2008 2

2007 5

2006 1

2005 2

2003 1

2002 4

展开︾

关键词

工业软件 6

智能制造 3

产业瓶颈 2

大规模并行处理 2

工业互联网 2

软件抗衰 2

AAC 1

ArcObjects 1

CO₂ 捕集 1

COVID-19 1

GIS 1

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

HY-2 1

SCM软件 1

SWOT 1

SoC 1

三峡 1

三峡工程 1

中性原子量子计算 1

展开︾

检索范围：

排序：展示方式：

针对无人机系统安全的新型层级式软件架构 Special Feature on Intelligent Robats

Xiao-rui ZHU, Chen LIANG, Zhen-guo YIN, Zhong SHAO, Meng-qi LIU, Hao CHEN

《信息与电子工程前沿（英文）》 2019年第20卷第3期页码 353-362 doi: 10.1631/FITEE.1800636

摘要：提出一种覆盖底层源代码到上层用户任务代码的新型层级式软件架构，用于提高无人机系统安全性与可靠性。每个软件模块采用形式化验证方法，验证其源代码是否符合设计规范，软件模块基于经过形式化验证的操作系统内核（certified kit operating system，CertiKOS），防止无人机由于意外软件故障而坠毁考虑到无人机的机载传感器会对系统可靠性产生显著影响，对驱动传感器SPI总线与I2C总线形式化验证，并针对总线异常情况设计完成相关实验。实验结果表明，该软件架构能够有效提高无人机系统安全性与可靠性。

关键词：安全关键系统；无人机；软件架构；形式化验证

HTML PDF 收藏

基于改进规则检查静态分析技术的高效脆弱性检测方法 Article

Deng CHEN,Yan-duo ZHANG,Wei WEI,Shi-xun WANG,Ru-bing HUANG,Xiao-lin LI,Bin-bin QU,Sheng JIANG

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

摘要：静态分析是保障软件开发质量的一种重要方法。通过与软件开发过程集成并进行交互式应用可进一步提升静态分析工具的作用优势。然而，静态分析工具的交互式应用具有高性能和快速响应等要求。

关键词：基于规则的静态分析技术；软件质量；软件验证；性能改进

HTML PDF 收藏

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

张辉睿

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

摘要：

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

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

HTML PDF 收藏

智能化时代的软件开发：拥抱大模型的正确姿势 Perspective

彭鑫

《信息与电子工程前沿（英文）》 2023年第24卷第11期页码 1513-1519 doi: 10.1631/FITEE.2300537

摘要：以ChatGPT为代表的大语言模型技术对包括软件工程在内的很多领域都带来巨大冲击，也引发广泛焦虑。为在迷雾中看清一点方向，近期我们基于各种技术文献和实践分享以及我们自身的初步探索不断讨论和思考“大模型时代的软件工程”或者“大模型的软件开发能力”这一命题。由于到目前为止大模型在很大程度上仍然是一个黑盒，并且大模型技术还在快速迭代和发展之中，同时目前看到的以及我们自己实践的基于大模型的软件开发案例还比较初步，因此本文的很多认识和思考不一定准确，未来还可能会随着技术和实践的发展而不断刷新

关键词：大语言模型；ChatGPT；软件工程；软件开发

HTML PDF 收藏

拟态防御技术结合软件多样化在软件安全产业中的应用

庞建民,张宇嘉,张铮、邬江兴

《中国工程科学》 2016年第18卷第6期页码 74-78 doi: 10.15302/J-SSCAE-2016.06.015

摘要：

随着互联网的飞速发展，计算机软件全球化的进程不断推进。大量相同软件安装在数以万计的计算机中，容易导致黑客利用软件的漏洞，攻击安装了该软件的所有计算机。传统的软件安全措施是依靠对漏洞进行修补，其只能起到亡羊补牢的作用。软件多样化技术可以使这种情况得到缓解，但其并没有从根本上消除漏洞带来的威胁。本文提出将拟态防御技术与软件多样化技术相结合应用于软件安全产业，可以消除漏洞带来的威胁。

关键词：软件多样化拟态防御软件安全产业

HTML PDF 收藏

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

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

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

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

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

HTML PDF 收藏

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

胡成武,罗文波,彭炎荣

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

摘要：

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

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

HTML PDF 收藏

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

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

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

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

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

HTML PDF 收藏

流追踪：一种软件定义网络中低开销的时延测量和路径追踪方法 Article

硕汪,娇张,韬黄,江刘,韵洁刘,F. Richard YU

《信息与电子工程前沿（英文）》 2017年第18卷第2期页码 206-219 doi: 10.1631/FITEE.1601280

摘要：然而，由于这些工具并不被现有的OpenFlow交换机所支持，所以还不能够应用于软件定义网络中。此外，traceroute和ping依靠主动发送探测包来探测路径。基于此发现，我们提出了一套新的软件定义网络中的流追踪机制“FlowTrace”，利用它来追踪任意流量的转发路径以及测量数据流所经历的链路时延。该工具通过收集交换机的流表来计算流的转发路径。

关键词：软件定义网络；网络检测；路径追踪

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 线性蠕滑理论定义。车桥耦合动力方程以全过程迭代法求解。算例讨论了CRH380BL 高速列车通过我国标准设计桥梁的动力响应，计算了车速200~400 km·h^-1 范围内车辆与桥梁子系统的动力响应，并分析了振动发生的机理。

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

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 收藏

E级超算下应用软件发展的挑战与趋势 None

Guang-wen YANG, Hao-huan FU

《信息与电子工程前沿（英文）》 2018年第19卷第10期页码 1267-1272 doi: 10.1631/FITEE.1800459

摘要：面对前所未有的超强计算能力与超大并行规模，如何设计和实现相匹配的应用软件，成为当前高性能计算软件发展的重要挑战。以中国神威太湖之光超级计算机系统（峰值计算能力12.5亿亿次）及其相关应用挑战和解决方案为出发点，根据我们目前的经验，讨论未来十年全球超级计算机的软硬件发展方向，并提出未来高性能计算应用软件开发中将会遇到的潜在挑战和可能的发展趋势

关键词：超级计算；百亿亿次；应用软件

HTML PDF 收藏

标题作者时间类型操作

针对无人机系统安全的新型层级式软件架构

Xiao-rui ZHU, Chen LIANG, Zhen-guo YIN, Zhong SHAO, Meng-qi LIU, Hao CHEN

期刊论文

基于改进规则检查静态分析技术的高效脆弱性检测方法

Deng CHEN,Yan-duo ZHANG,Wei WEI,Shi-xun WANG,Ru-bing HUANG,Xiao-lin LI,Bin-bin QU,Sheng JIANG

期刊论文

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

张辉睿

期刊论文