Search | Engineering

订阅投稿

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

资源类型

期刊论文 941

会议视频 67

会议信息 33

会议专题 3

年份

2024 2

2023 78

2022 105

2021 100

2020 82

2019 68

2018 67

2017 52

2016 45

2015 34

2014 13

2013 23

2012 21

2011 21

2010 23

2009 15

2008 25

2007 36

2006 43

2005 38

展开︾

关键词

智能制造 20

系统工程 15

能源 15

2020 13

运载系统 11

人工智能 9

2019 7

开放的复杂巨系统 7

物联网 7

系统科学 7

系统集成 7

仿真 5

仿真技术 5

农业科学 5

工业软件 5

智能电网 5

电力系统 5

可持续发展 4

展开︾

检索范围：

排序：展示方式：

计算系统多级抗衰技术研究

游静,徐建,李千目,刘凤玉

《中国工程科学》 2007年第9卷第2期页码 36-37

摘要：

为了对抗软件老化，提出一种细粒度的、事前的、主动的多级软件抗衰技术。通过分析系统资源的占用和损耗情况，判定系统性能的衰退规律，并据此制定了基于时间的多级软件抗衰策略和基于检测的多级软件抗衰策略，采用有限状态自动机对两种策略进行形式化描述，最后通过Web服务案例说明策略的制定过程实验表明，较之单一系统级软件抗衰，多级抗衰策略可以进一步缩短MTTR，提供更高的系统可用性，同时将抗衰成本降到更低。

关键词：软件抗衰软件老化系统可靠性系统可用性自动机

HTML PDF 收藏

自恢复容错系统的建模与分析

郭成昊,刘凤玉

《中国工程科学》 2007年第9卷第10期页码 75-79

摘要：

容错系统不仅会产生硬件故障，由于连续长时间的运行，系统的性能也会逐渐下降或失效，即老化现象。综合考虑容错系统中的硬件故障和老化现象，提出了将传统的冗余技术和软件抗衰技术相结合的策略，并给出了该系统的非马尔可夫随机Petri网模型，随之对基于该模型的系统进行了定量分析。

关键词：容错系统软件抗衰软件老化冗余策略非马尔可夫随机Petri网

HTML PDF 收藏

军事地理信息系统的现状与发展

王家耀

《中国工程科学》 2002年第4卷第12期页码 28-31

摘要：

在信息作战条件下，军事地理信息系统（MGIS）作为作战指挥自动化、数字化战场和现代武器系统的战场地理环境平台备受世界各国的重视。美国投入了大量人力、物力和财力先后研制并使用了地形分析系统等一系列应用系统，目前正着手研制地理影像情报综合管理系统（TPED）和地理影像与地理空间信息系统。我国的MGIS起步较晚，但发展很快，已成功地研制出了第一个具有自主版权的MGIS工具软件。该软件采用层次化体系结构和面向对象的设计方法，具有功能齐全、结构紧密、安全性好等特点。文章在分析国内外MGIS的基础上，着重介绍了军事地理信息系统软件的研制特点，并对军事地理信息系统进一步发展要解决的若干问题进行了探讨。

关键词：军事地理信息系统工具软件支撑软件

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

新时期我国工业软件产业发展路径研究

邵珠峰,赵云,王晨,冯希光,王建民,熊虹婷

《中国工程科学》 2022年第24卷第2期页码 86-95 doi: 10.15302/J-SSCAE-2022.02.010

摘要：

工业软件产业是制造业高质量发展的重要支撑；在新时期制造强国战略背景下，工业软件成为优化制造与管理流程、变革生产方式与生产关系、提升全要素生产率我国正在构建自主可控、安全高效的现代产业体系，在挑战原有“技术 – 生产 – 市场”分工模式的同时，也为工业软件产业发展创造了重要机遇。本文从当前国际市场格局出发，分类解析了工业软件产品的基本特征与市场份额情况，剖析了我国工业软件产业发展的不足与问题，归纳了工业软件产业的平台化、开源化两大新发展趋势；据此提出补短强基、追赶突破、卓越引领研究建议，优化组织模式，发挥工业企业的主体带动作用；细化政策对象，分层次推进工业软件关键技术突破；扩大应用市场，促进工业软件产品创新；挖掘人才潜能，多渠道支持工业软件人才培养。

关键词：工业软件系统集成产业瓶颈发展路径卓越引领工程

HTML PDF 收藏

软件定义网络中采用可伸缩视频组播的视频会议系统 Article

En-zhong YANG,Lin-kai ZHANG,Zhen YAO,Jian YANG

《信息与电子工程前沿（英文）》 2016年第17卷第7期页码 672-681 doi: 10.1631/FITEE.1601087

摘要：当前典型视频会议是采用多点控制单元（MCU）部署的，MCU可能导致较大服务时延，并且可能成为限制整个系统的瓶颈。随着网络技术的发展，视频会议系统可以基于软件定义网络（SDN）进行部署，SDN使服务可控并提高服务的可扩展性和灵活性。另外，可伸缩视频编码技术（SVC）也可以帮助提高视频会议系统的性能。在本文中，我们提出了一种基于SDN中SVC组播的视频会议系统架构，提出的系统摒弃了传统的因特网组管理协议（IGMP）和MCU。该系统采用SVC组播，可以依据不同会议终端的设备能力差异提供不同服务。实验结果表明，我们提出的系统不仅可以提供灵活、可控的视频传输，还可以在保证视频会议服务质量（QoS）的前提下，节省网络资源的使用。

关键词：软件定义网络；组播；可伸缩视频；视频会议系统

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

系统表现特征实例化和构成的信息模式构造 Article

Shahab POURTALEBI, Imre HORVÁTH

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

摘要：为进一步说明之前的文章，提出了支持面向特定系统表现特征（system manifestation feature, SMFs）的信息管理和构成系统模型编程的信息模式构造（information schema首先，简要介绍了（1）利用SMFs进行具体化设计的一般过程，（2）创建基因型和表型SMFs的步骤，（3）表型SMFs实例化的具体步骤，以及（4）系统模型管理和处理的步骤。然后，讨论了与系统建模相关的信息管理问题。在研究方法上，系统建模包括（1）在模型空间中放置表型SMFs，（2）针对所需架构和操作，组合所放置的表型SMFs，（3）参数赋值以及约束条件符合程度检查，以及（4）在基于SMFs的数据仓中存储系统构建模型研究的最终目标是开发一个支持信息物理系统（cyber-physical systems, CPSs）建模的基于SMFs的工具箱。

关键词：系统表现特征；信息模式构造；数据库纲要；基因型系统表现特征；表型系统表现特征；系统表现特征实例；软件工具箱；系统层级设计；信息物理系统

HTML PDF 收藏

基于免疫Agent的网格性能抗衰

徐建,张琨,刘凤玉

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

摘要：分析和比较了免疫和抗衰之间的异同，构建了基于免疫Agent的系统抗衰逻辑模型，模拟生物免疫机理对计算网格的资源和性能进行监控和诊断，建立性能衰退的数学模型，并给出了抗衰策略决策方法。以一个分布式的音像资源事务处理系统为背景进行应用研究，给出了一个两阶段超指数分布的数学模型来评估性能，结果表明该方法是有效的。

关键词：网格免疫系统性能监控软件抗衰免疫Agent

HTML PDF 收藏

高端计算软件平台的研发

陈左宁

《中国工程科学》 2002年第4卷第9期页码 45-49

摘要：

高端计算软件平台是整机系统实现友善性、可用性和高效性的基本保障。随着计算处理规模愈来愈大，以及Peer-to-peer和Grid这类新型计算模式的出现，平台软件的设计面临新的挑战。首先，对高端计算软件平台发展状况以及面临的设计难题进行论述和分析；然后，介绍一个高端计算平台软件系统设计情况，并进行讨论。

关键词：高端计算大规模并行处理操作系统并行开发环境并行应用环境

HTML PDF 收藏

用于定义系统表现特征的基因型与表型仓库数据库的信息图式构造方法 Article

Shahab POURTALEBI,Imre HORVÁTH

《信息与电子工程前沿（英文）》 2016年第17卷第9期页码 862-884 doi: 10.1631/FITEE.1600997

摘要：概要：我们的长期目标是为复杂、异构系统（如信息物理系统）的预实体化设计建立一个软件工具箱。该工具箱的新颖性在于其利用了系统表现特征（system manifestation features, SMF）来进行跨学科的系统建模。实现该工具箱的难点在于其仓库的计算实现不依赖于功能设计和语言，和对于多种不断演变的SMF（基因型、表型及实例）工具的系统化的开发和管理。下一步研究中我们将重点关注基于SMF实例的系统建模方法的实施细节。

关键词：信息物理系统；软件工具箱；预实体化设计；系统表现特征；仓库；数据库图式；基因型系统表现特征；表型系统表现特征；实例系统表现特征；信息模式构造

HTML PDF 收藏

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

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

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

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

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

HTML PDF 收藏

高性能计算机的关键技术和发展趋势

金怡濂,黄永勤,陈左宁,桂亚东,漆锋滨

《中国工程科学》 2001年第3卷第6期页码 1-8

摘要：

介绍高性能计算机的关键技术和发展趋势。简要回顾高性能计算机的发展历史和当前形势，重点讨论大规模并行处理（MPP）所面临的挑战，包括可扩展性、友善性和可用性。介绍神威高性能计算机及其应用情况，并对如何发展我国高性能计算机提出一些初浅的看法。

关键词：大规模并行处理系统软件并行编译系统效率可扩展性可用性