Search | Engineering

订阅投稿

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

资源类型

期刊论文 1836

会议视频 116

会议信息 31

会议专题 3

年份

2024 4

2023 160

2022 190

2021 200

2020 127

2019 125

2018 124

2017 109

2016 67

2015 59

2014 44

2013 47

2012 43

2011 44

2010 56

2009 36

2008 58

2007 69

2006 71

2005 80

展开︾

关键词

颠覆性技术 31

能源 21

智能制造 18

系统工程 15

人工智能 13

数学模型 13

机器学习 12

运载系统 11

模型 10

可靠性 9

数值模拟 9

模型试验 9

农业科学 8

可持续性 8

安全性 8

2020 7

增材制造 7

多目标优化 7

开放的复杂巨系统 7

展开︾

检索范围：

排序：展示方式：

一种高效的异构车辆集群协同框架 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

摘要：异构车辆集群集成了多种类型通信网络，可在各种车辆应用中高效运行。长期演进（LTE）和专用短程通信的集成是异构网络的一种普遍形式。这种网络基础设施的异构性和成本/数据共享的不合作性是需要解决的潜在问题。车辆集群框架是解决这些问题的一种方案，但是该框架在部署到现实世界前应经过形式验证。为解决这些问题，提出一种异构的车辆集群框架，称为目标和兴趣感知集群框架。在此基础上，给出该框架的模型系统。使用模型检测技术对该模型进行形式验证，在功能层面评估其性能。为在微观层面评估该框架性能，通过整合最先进的工具创建异构仿真环境。

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

HTML PDF 收藏

后E级系统编程模型的构想 None

Ji-dong ZHAI, Wen-guang CHEN

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

摘要： E级高性能计算系统已经研制很长时间，可以在未来几年投入使用。现在是时候考虑未来的后E级高性能计算系统。后E级系统存在许多主要挑战，例如处理器体系结构、编程模型、存储架构和互连网络。讨论了后E级系统编程模型面临的3个重要挑战：异构性、并行性和容错性。基于我们当前在大规模系统上编程的经验，针对这些挑战，提出一些可能的解决方案。然而，未来需要更多研究工作以应对这些挑战。

关键词：计算模型；容错；异构；并行性；后E级

HTML PDF 收藏

802.11i认证协议可验安全性形式化分析

宋宇波,胡爱群,姚冰心

《中国工程科学》 2010年第12卷第1期页码 67-73

摘要：针对802.1X认证协议的三方交互结构提出一种扩展Bellare-Rogaway模型，对802.11i认证和密钥交换机制进行可验安全性分析。

关键词： 802.11i Bellare-Rogaway模型可验安全性形式化分析

HTML PDF 收藏

海上无人系统发展及关键技术研究

邱志明,孟祥尧,马焱,陈轶,冯炜

《中国工程科学》 2023年第25卷第3期页码 74-83 doi: 10.15302/J-SSCAE-2023.03.005

摘要：

海上无人系统是未来智能化、无人化战争中的重要组成部分，已经成为世界各国海上竞争新的制高点，在国家和国防安全方面将扮演越来越重要的角色。本文从国家智能无人战略发展需求出发，从战略规划和概念引领、技术研究和装备研发、系统演示和能力验证三个层面系统分析了当前国内外海上无人系统及其技术的发展现状，凝练了当前海上无人系统技术各方面发展趋势和面临的挑战，论证提出了未来海上无人系统发展中需攻克的关键技术。据此结合实际发展情况和未来发展趋势，分析提出了海上无人系统的重点发展方向，最后从总体思路、体系构成、装备发展、技术攻关四个不同层面提出了推动海上无人系统持续、稳步、快速发展的对策建议，以期促进我国海洋装备发展

关键词：海上无人系统；集群智能；跨域协同；关键技术

HTML PDF 收藏

针对无人机系统安全的新型层级式软件架构 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 收藏

以Matrix-3000为例研究面向裸金属加速器的异构多线程编程模型 Research Article

方建滨1,张鹏1,黄春1,唐滔1,卢凯1,王睿伯1,王峥2

《信息与电子工程前沿（英文）》 2023年第24卷第4期页码 509-520 doi: 10.1631/FITEE.2200359

摘要：随着处理器设计转向使用专门的异构多核以避免功耗墙的影响，软件开发人员发现很难处理这些处理器系统的复杂性。本文分享了我们为Matrix-3000开发的并行编程模型及其支持编译器和库的经验。该低层次编程模型为使用Matrix-3000的裸金属加速器提供了原生编程支持，而高层次模型允许程序员使用OpenCL并行编程标准。我们详细介绍了该软件栈的设计选择，并强调了从开发系统软件中学到的经验教训，以实现裸金属加速器的高效程序编写和性能解锁。我们的编程模型已经被部署到一个E级原型系统的生产环境中。

关键词：异构计算；并行编程模型；可编程性；编译器；运行时系统

HTML PDF 收藏

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

张辉睿

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

摘要：

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

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

HTML PDF 收藏

联邦相互学习：一种针对异构数据、模型和目标的协同机器学习方法 Research Article

沈弢1,张杰2,贾鑫康2,张凤达1,吕喆奇1,况琨1,吴超3,吴飞1

《信息与电子工程前沿（英文）》 2023年第24卷第10期页码 1390-1402 doi: 10.1631/FITEE.2300098

摘要：联邦学习（FL）是深度学习中的一种新技术，可以让客户端在保留各自隐私数据的情况下协同训练模型。然而，由于每个客户端的数据分布、算力和场景都不同，联邦学习面临客户端异构环境的挑战。为解决联邦学习中的异构挑战，本文首先详述了数据、模型和目标（DMO）这3个主要异构来源，然后提出一种新的联邦相互学习（FML）框架。该框架使得每个客户端都能训练一个考虑到数据异构（DH）的个性化模型。在模型异构（MH）问题上，引入一种“模因模型”作为个性化模型与全局模型之间的中介，并且采用深度相互学习（DML）的知识蒸馏技术在两个异构模型之间传递知识。针对目标异构（OH）问题，通过共享部分模型参数，设计针对特定任务的个性化模型，同时，利用模因模型进行相互学习。本研究通过实验评估了FML在应对DMO异构性方面的表现，并与其他常见FL方法在相似场景下进行对比。实验结果表明，FML在处理FL环境中的DMO问题的表现卓越，优于其他方法。

关键词：联邦学习；知识蒸馏；隐私保护；异构环境

HTML PDF 收藏

针对异构隐式反馈的置信度估计方法 Article

Jing WANG, Lan-fen LIN, Heng ZHANG, Jia-qi TU, Peng-hua YU

《信息与电子工程前沿（英文）》 2017年第18卷第11期页码 1817-1827 doi: 10.1631/FITEE.1601468

摘要：由于其在现实世界中的易得性和丰富性，越来越受到推荐系统领域的关注。使用隐式反馈的常见做法是把隐式反馈当做正面或者负面的用户偏好，并附带不同的置信度。然而在现实世界中，经常同时存在多种隐式反馈，称为异构隐式反馈。现有方法无法有效地从异构隐式反馈中推测出置信度。本文提出了一种新颖的利用异构隐式反馈预测置信度的方法，把预测的置信度应用到“基于点的”和“基于对的”矩阵分解模型中，并提出了一种更通用的方法来为“基于对的”方法选择有效的训练样本。

关键词：推荐系统；异构隐式反馈；置信度；协同过滤；电商

HTML PDF 收藏

GPS车辆监控系统存在问题的探讨及解决方案

朱庄生,万德钧,王庆,张小国

《中国工程科学》 2003年第5卷第9期页码 49-54

摘要：

提供了笔者在实际工程应用中总结出的一些经验，为人们设计实用的、具有广泛推广价值的GPS（全球卫星定位系统）车辆监控系统提供参考；从数字地图、无线通信以及GPS三个部分入手，通过总结实际工程应用中遇到的问题和客户反馈的意见，探讨了目前车辆监控系统中存在的一些问题以及针对这些问题提出的解决方案；多次跑车实验结果和客户长期试用的信息反馈显示，笔者提出的方案解决了车辆监控系统中存在问题对系统的影响，该方案已应用于实际工程，并获得了良好的应用效果

关键词：全球卫星定位系统(GPS) 数字地图车辆监控系统通信系统

HTML PDF 收藏

基于多关系平移图注意力网络的需融中小企业挖掘方法 Research Article

梁倩乔1,卫华2,吴亚熙2,韦峰2,赵登3,何建衫3,郑小林1,马国芳4,韩冰2

《信息与电子工程前沿（英文）》 2023年第24卷第3期页码 388-402 doi: 10.1631/FITEE.2200151

摘要：本文首先深入分析中小企业的融资需求在企业社交网络中的传递现象，从而提供了一个利用企业社交网络来提升需融企业挖掘有效性的想法，即学习企业社交网络中企业节点的表征并利用该表征挖掘需融企业。然而，该想法面临两种异构性挑战，即融资需求在不同关系下的传递异构性和中小企业在不同关系类型下的行为模式异构性。为了应对这些挑战，本文提出一种基于多关系平移图注意力网络的需融企业挖掘方法。该方法不仅基于一种新颖的实体-关系组合算子来对不同关系类型下的融资需求传递异构性进行建模，还基于本文所设计的关系超平面平移机制来获得中小企业在不同关系类型下的表征，以区分中小企业在不同关系类型下的异构行为模式

关键词：需融企业挖掘；图表征学习；传递异构性；行为模型异构性

HTML PDF 收藏

多处理器系统中的数据局部性及其优化技术研究

杨学军,戴华东,夏军

《中国工程科学》 2002年第4卷第5期页码 44-52

摘要：

数据局部性是多处理器系统中的重要研究方向之一。结合该领域目前国内外研究现状和我们近一阶段的研究进展，讨论了多处理器系统中的数据局部性及其优化问题。针对现有局部性度量模型存在的不足，提出了一种增强的可用于层次式并行计算机体系结构的局部性度量模型。在静态和动态局部性优化技术方面，分别探讨了基于投影分层的数据变换框架和基于瞬时访问信息的动态页迁移策略，并展开了系列相关的讨论。另外，针对利用数据局部性时必须解决的一个关键问题——存储一致性问题，进行了深入的研究，提出了以操作系统为中心的线程存储一致性模型。

关键词：计算机多处理器系统数据局部性局部性度量模型数据变换框架页迁移线程一致性模型

HTML PDF 收藏

基于改进粒子群算法优化的PID控制器在协同碰撞避免系统中的应用 Article

Xing-chen WU, Gui-he QIN, Ming-hui SUN, He YU, Qian-yi XU

《信息与电子工程前沿（英文）》 2017年第18卷第9期页码 1385-1395 doi: 10.1631/FITEE.1601427

摘要：为解决将PID控制器引入协同碰撞避免（cooperative collision avoidance system，CCAS）的研究中存在的不能合理优化PID控制器，以及对车辆行驶稳定性、舒适性及燃油经济性研究不足的问题，本文提出使用改进的粒子群优化算法（particle swarm optimization, PSO）优化PID控制器的方法，来实现CCAS对车辆更好的操控的目标。最后，本文模拟了配备CCAS的车辆在其PID控制器经过优化前后，在低速（≤50 km/h）和高速(≥100 km/h)两种巡航状态下，进行减速行驶、减速转向工况的测试。结果表明，经过本文方法优化的PID控制器，不仅可使CCAS实现基本功能，还可实现车辆动态稳定性，行驶舒适性和燃油经济性的改善。

关键词：协同碰撞避免系统；改进的粒子群算法；PID控制器；行驶舒适性；燃油经济性