资源类型

期刊论文 1220

会议视频 186

会议信息 80

会议专题 3

年份

2024 4

2023 99

2022 148

2021 163

2020 136

2019 85

2018 79

2017 79

2016 45

2015 40

2014 32

2013 44

2012 39

2011 52

2010 69

2009 59

2008 36

2007 26

2006 15

2005 32

展开 ︾

关键词

信息技术 41

颠覆性技术 33

2020 28

智能制造 27

关键技术 21

技术创新 21

仿真技术 18

农业科学 17

技术 15

技术预见 11

能源 11

三峡工程 10

人工智能 10

发展 10

碳中和 10

发展趋势 9

学术会议 9

2019 8

技术路线 8

展开 ︾

检索范围:

排序: 展示方式:

军事工程物联网:概念模型、支撑技术与领域应用

杨启亮,邢建春,王 平,王双庆,谢立强,王荣浩

《中国工程科学》 2013年 第15卷 第5期   页码 95-105

摘要:

本文将物联网的思想和技术引入军事工程领域,提出军事工程物联网的研究理念,以促进军事工程与高度信息化的指挥系统和武器平台的对接和融合;定义了军事工程物联网的基本概念,分析了其内涵,建立了军事工程物联网的概念模型;结合军事工程物联网研究所面临的技术挑战,阐述了笔者在军事工程感知技术、军事工程特殊空间的网络传输技术、军事工程多模式大数据资源管理与挖掘技术、面向军事工程物联网的软件范型等方面的研究进展和成果

关键词: 军事工程     物联网     工程感知     数据挖掘     软件技术    

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

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

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

摘要:

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

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

可编程软件定义网络的新架构与安全技术:综述 None

Shen WANG, Jun WU, Wu YANG, Long-hua GUO

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

摘要: 为提升网络动态架构、安全性和服务质量,网络控制平面与数据平面的解耦是网络技术发展趋势。目前,软件定义网络(SDN)是新兴网络领域最热门、最具前景的技术之一。SDN有利于实现网络新技术、新协议,提升部署功能灵活性和可操作性。然而,该新型网络技术面临架构和安全方面的新挑战。

关键词: 软件定义网络(SDN);安全;可编程    

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

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

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

摘要:

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

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

RePizer:一种软件需求排序架构 Article

Saif Ur Rehman KHAN,Sai Peck LEE,Mohammad DABBAGH1,Muhammad TAHIR,Muzafar KHAN,Muhammad ARIF

《信息与电子工程前沿(英文)》 2016年 第17卷 第8期   页码 750-765 doi: 10.1631/FITEE.1500162

摘要: 标准的软件开发周期很大程度上取决于利益相关方的需求。软件开发全程围绕需求设计和管理。考虑到时间和资源的限制,必须分清哪些是必须首先考虑的高优先级需求。已有的需求排序架构缺少对历史数据的记录,而这些历史数据有助于从类似项目中方便地选取最适合的需求排序技术。本文中,我们提出一种名为RePizer的软件需求排序架构,该架构与一种选定的需求排序技术联合使用,可以基于给定标准(如开发成本),为软件需求优先级排序。RePizer通过从需求库提取历史数据,为软件需求工程师决策提供协助。此外,RePizer提供了对整个项目的全景式视角,以确保对资源的审慎使用。基于RePizer架构,采用已有的两种需求排序技术:计划博弈(planning game, PG)和层级分析(analytical hierarchy process, AHP),分别比较各自的预期准确度和易用程度

关键词: 软件需求;需求排序技术;排序架构;计划博弈;层级分析    

基于改进规则检查静态分析技术的高效脆弱性检测方法 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

摘要: 静态分析是保障软件开发质量的一种重要方法。通过与软件开发过程集成并进行交互式应用可进一步提升静态分析工具的作用优势。然而,静态分析工具的交互式应用具有高性能和快速响应等要求。为此,本文以基于规则检查技术的静态分析工具作为研究对象,提出一种改进的规则检查算法,旨在提升静态分析工具的性能。

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

基于重放分析的网络协议软件状态变量自动化发现技术 Research Article

黄见欣1,喻波1,刘润昊1,苏金树1,2

《信息与电子工程前沿(英文)》 2023年 第24卷 第3期   页码 403-416 doi: 10.1631/FITEE.2200275

摘要: 网络协议软件通常具有程序路径复杂、状态空间庞大的特点。程序中往往存在着一些带有状态的关键变量,用于记录协议状态和会话信息。这些状态变量一旦处理不当,很可能违背协议规范,进而产生逻辑错误,导致协议软件出现潜在的缺陷或漏洞。本文针对现有程序分析技术难以发现网络协议软件中的状态变量,且自动化程度偏低的问题,提出一种基于重放分析的状态变量识别方法。考虑到状态变量主要反映着通信双方的参数和程序的状态,具有这些特征的变量通常会以全局变量或静态变量的形式,持续存在于进程之中,该方法通过记录和重放协议软件的执行轨迹,运用动态插桩技术,在协议状态和软件状态的变化过程中在此基础上,设计并实现了一套能够自动化发现状态变量的原型系统,在ProFuzzBench中的9个程序和2个现实中的复杂协议软件上进行了测试。

关键词: 状态变量;网络协议软件;程序分析技术;网络安全    

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

彭鑫

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

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

关键词: 大语言模型;ChatGPT;软件工程;软件开发    

代码变更驱动的增量式软件架构恢复技术 Research Article

王丽1,2,孔祥龙1,王家慧3,李必信1

《信息与电子工程前沿(英文)》 2022年 第23卷 第5期   页码 664-677 doi: 10.1631/FITEE.2100461

摘要: 软件演化过程中,受开发能力和投入资源限制,软件架构通常难以与代码保持同步更新,导致架构设计与代码产生不一致,对软件维护等工作造成潜在影响。为解决此问题,本文提出一种增量式软件架构恢复技术,即ISAR。该技术首先从变更代码片段中提取依赖信息,然后根据依赖强度分析模块间关联关系,最后基于代码变更与架构更新间的关联关系设计两层分类器以恢复架构。本文基于10个开源项目构建验证实验,结果表明ISAR在架构恢复精度和效率方面优于传统技术。此外,本文发现架构设计文档质量对ISAR架构恢复精度有一定影响,但随着版本迭代逐渐趋于稳定。

关键词: 架构恢复;软件演化;代码变更    

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

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

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

摘要: 为了针对不同的应用和流量提供服务质量保障和差异化服务,负载均衡和多优先级队列技术被广泛地应用于网络中。然而,由于这些工具并不被现有的OpenFlow交换机所支持,所以还不能够应用于软件定义网络中。此外,traceroute和ping依靠主动发送探测包来探测路径。基于此发现,我们提出了一套新的软件定义网络中的流追踪机制“FlowTrace”,利用它来追踪任意流量的转发路径以及测量数据流所经历的链路时延。该工具通过收集交换机的流表来计算流的转发路径。

关键词: 软件定义网络;网络检测;路径追踪    

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

Guang-wen YANG, Hao-huan FU

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

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

关键词: 超级计算;百亿亿次;应用软件    

利用软件定义网络结构提升未来无线通信网络性能的方法研究与展望 Review

Mingjie FENG,Shiwen MAO,Tao JIANG

《信息与电子工程前沿(英文)》 2016年 第17卷 第7期   页码 606-619 doi: 10.1631/FITEE.1500336

摘要: 为了应对这一挑战,软件定义网络的概念被提出,并被认为是一种有前景的解决方案。在软件定义网络结构中,网络控制域和数据传输域是分开的;所有的网络设备被抽象化,通过一个集中式的控制器来进行管理。通过使用软件定义网络的结构,网络管理变得灵活和高效,因此可以潜在地提升网络性能。为了充分利用软件定义网络的优势,最近又提出了软件定义无线网络结构。本文首先分析在不同无线网络中软件定义网络结构的应用。然后讨论在基于软件定义网络结构的无线网络中使性能提升的几个关键技术环节。最后,提出一些关于软件定义无线网络可能的未来研究方向。

关键词: 软件定义网络结构;软件定义无线网络;OpenFlow;性能提升    

我国核安全技术发展战略研究

彭述明,夏佳文,王毅韧,彭现科,黄洪文,郑春,丁文杰

《中国工程科学》 2021年 第23卷 第3期   页码 113-119 doi: 10.15302/J-SSCAE-2021.03.017

摘要: 先进可靠的核安全技术是保持并提高本质安全的基石,开展核安全技术战略研究对于建设核科技强国意义重大。本文采用“总 – 分 – 凝 – 综”的思路,通过院士访谈、实地调研、会议研讨、资料调研等多种途径,对我国核安全技术体系展开深入研究。结果表明:在总体国家安全观和核安全观的指引下,近年来我国核安全技术进展明显,核安全业绩良好;但也面临核安全标准体系建设有待深化、核安全软件研发统筹不足、核安全高精尖装备受制于人等瓶颈问题。为持续推进核安全治理体系与治理能力现代化,实现核大国向核强国的历史性跨越,建议进一步完善核安全标准体系;统筹资源、集中攻关,推进自主化核安全软件高质量发展;强化“政、产、学、研、用&rdquo

关键词: 核安全技术     标准体系     核安全软件     核安全装备    

我国智能建造关键领域技术发展的战略思考

陈珂,丁烈云

《中国工程科学》 2021年 第23卷 第4期   页码 64-70 doi: 10.15302/J-SSCAE-2021.04.007

摘要:

智能建造作为新一代信息技术和工程建造的有机融合,是实现我国建筑业高质量发展的重要依托。本文阐述了智能建造的基本概念与重要性,归纳了面向全产业链一体化的工程软件、面向智能工地的工程物联网、面向人机共融的智能化工程机械、面向智能决策的工程大数据等四类关键领域技术;通过问卷调研与专家访谈,分析了我国智能建造关键领域技术在市场环境在此基础上,明确了关键领域技术的发展目标,提出了建立健全标准体系、推动“产学研用”协同、加大知识产权保护、开展典型工程试点示范等重点任务,继而从管理机构、企业、高校等多个主体的角度形成对策建议

关键词: 智能建造,工程软件,工程物联网,工程机械,工程大数据    

人工智能独立医用软件监管研究

张建楠,李莹莹,周佳卉,朱烨琳,李兰娟

《中国工程科学》 2022年 第24卷 第1期   页码 198-204 doi: 10.15302/J-SSCAE-2022.01.021

摘要: 人工智能(AI)独立医用软件是人工智能时代赋能医疗健康领域的重要产物。随着人工智能的深入发展,人工智能独有的黑盒算法及自主学习能力引起了巨大的监管挑战。AI 独立医用软件的监管需要与时俱进,为最大程度降低人工智能医疗软件不良事件发生率和风险影响,我们亟待寻求更为科学合理的监管应对方案。对此,本文从AI 技术特征监管应对出发,针对算法变更管理、质量控制、安全追溯等监管上存在的痛点和难点问题梳理了国内外AI 独立医用软件相关监管制度和支撑资源的现状。分析总结了我国AI 独立医用软件监管在制度层面、支撑资源层面仍面临的一些问题与挑战,并针对上市后监管短板提出了措施建议:系统完善AI 独立医用软件监管制度,深化AI 独立医用软件监管支撑体系。以期能够为进一步完善我国AI 独立医用软件科学监管提供参考。

关键词: 独立医用软件,人工智能,监管科学    

标题 作者 时间 类型 操作

军事工程物联网:概念模型、支撑技术与领域应用

杨启亮,邢建春,王 平,王双庆,谢立强,王荣浩

期刊论文

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

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

期刊论文

可编程软件定义网络的新架构与安全技术:综述

Shen WANG, Jun WU, Wu YANG, Long-hua GUO

期刊论文

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

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

期刊论文

RePizer:一种软件需求排序架构

Saif Ur Rehman KHAN,Sai Peck LEE,Mohammad DABBAGH1,Muhammad TAHIR,Muzafar KHAN,Muhammad ARIF

期刊论文

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

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

期刊论文

基于重放分析的网络协议软件状态变量自动化发现技术

黄见欣1,喻波1,刘润昊1,苏金树1,2

期刊论文

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

彭鑫

期刊论文

代码变更驱动的增量式软件架构恢复技术

王丽1,2,孔祥龙1,王家慧3,李必信1

期刊论文

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

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

期刊论文

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

Guang-wen YANG, Hao-huan FU

期刊论文

利用软件定义网络结构提升未来无线通信网络性能的方法研究与展望

Mingjie FENG,Shiwen MAO,Tao JIANG

期刊论文

我国核安全技术发展战略研究

彭述明,夏佳文,王毅韧,彭现科,黄洪文,郑春,丁文杰

期刊论文

我国智能建造关键领域技术发展的战略思考

陈珂,丁烈云

期刊论文

人工智能独立医用软件监管研究

张建楠,李莹莹,周佳卉,朱烨琳,李兰娟

期刊论文