资源类型

期刊论文 4040

会议视频 363

会议信息 12

会议专题 1

年份

2024 17

2023 346

2022 419

2021 503

2020 270

2019 264

2018 217

2017 256

2016 159

2015 123

2014 114

2013 77

2012 94

2011 94

2010 112

2009 134

2008 127

2007 149

2006 143

2005 147

展开 ︾

关键词

智能制造 51

人工智能 39

可持续发展 35

能源 35

农业科学 32

医学 24

增材制造 24

工程管理 23

信息技术 21

机器学习 20

绿色化工 20

神经网络 19

遗传算法 19

数值模拟 17

创新 16

发展 14

建筑科学 14

管理 14

工程 13

展开 ︾

检索范围:

排序: 展示方式:

EAP-FAST在公共无线局域网安全接入控制中研究及实现

曹萍,裴文江

《中国工程科学》 2005年 第7卷 第12期   页码 78-82

摘要:

Cisco公司于2004年提出基于隧道灵活认证协议EAP-FAST)以替代存在安全漏洞LEAP认证协议,该协议具有安全性和易部署性特点。文章论述了基于802.1x协议EAP-FAST认证协议及其实现技术,并在公共无线局域网(PWLAN)综合实验平台上实现了EAP-FAST认证客户端、认证者、认证服务器端功能。

关键词: 公共无线局域网     端口访问控制协议(802.1x)     基于隧道灵活认证协议EAP-FAST   

基于双重分组和密钥计数并行认证模式

黄玉划,胡爱群,宋宇波

《中国工程科学》 2004年 第6卷 第7期   页码 70-74

摘要:

由于CBC-MAC模式不可并行处理,提出了一种基于双重分组并行认证模式(PKCB)。PKCB模式同并行认证模式PMAC相比,安全性和速率都有显著提高,PKCB认证模式与CTR(计数器)加密模式结合可构成分组密码算法一种全工作模式。在此基础上提出了一种基于密钥计数并行认证模式(KCTR-MAC)。KCTR-MAC模式安全性比PMAC模式高得多,而速率未降低,KCTR-MAC认证模式和CTR加密模式结合也可构成分组密码算法一种全工作模式(2CTR),2CTR模式综合性能不亚于标准模式CCM(CTRwith CBC-MAC),是一种安全快速实用模式。

关键词: 认证模式     CBC-MAC模式     PMAC模式     CTR模式     CCM模式    

基于多跳双向认证802.16Mesh网络SA管理机制

王兴建,胡爱群,黄玉划

《中国工程科学》 2006年 第8卷 第9期   页码 69-73

摘要:

IEEE802.16-2004无线城域网(wireless-MAN)标准支持多跳(Mesh)网络是一种树状网络和adhoc网络结合新型网络。针对Mesh中使用单跳单向认证SA(安全关联)管理机制安全和效率上缺陷,提出了一种和次优修正路由结合多跳双向认证SA管理机制。与单跳单向机制相比,该机制是前向安全,对中间节点攻击具有强安全性,同时减少了系统开销和传输时延。在按需路由建立前使用修正路由传递管理信息可减少服务流建立时延。安全性分析证明了多跳双向机制安全性,性能比较说明了在效率上优势。

关键词: IEEE80216     Mesh     节点     多跳双向认证     修正路由    

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

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

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

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

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

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

宋宇波,胡爱群,姚冰心

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

摘要:

IEEE 802.11标准组提出了802.11i标准以增强无线局域网安全性能。在802.11i标准中采用了802.1X标准实现无线局域网用户认证和接入控制过程。针对802.1X认证协议三方交互结构提出一种扩展Bellare-Rogaway模型,对802.11i认证和密钥交换机制进行可验安全性分析。通过分析,证明802.11i认证协议存在缺陷并给出了相应中间人攻击方法。

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

基于抗浮稳定盾构隧道合理覆土厚度研究

刘学彦,袁大军,姜 曦

《中国工程科学》 2015年 第17卷 第1期   页码 88-95

摘要:

运用理论分析和数值计算相结合方法,分别从施工期和运营期角度提出了隧道抗浮稳定合理覆土厚度设定原则和理论计算方法;对于隧道施工期,考虑土体侧向摩阻力和管片环间摩阻力影响等较为有利因素,同时考虑未凝浆液影响等不利因素,建立了合理覆土厚度理论计算公式;对于隧道运营期,建议只考虑隧道上覆土体自重进行抗浮,对于存在洪水冲刷隧道设计,其上覆土体厚度还要加上设计冲刷深度;为南京某在建隧道纵断面设计提供了一定参考,同时也为其他过江海盾构隧道满足抗浮稳定覆土厚度设定提供理论支持

关键词: 抗浮安全;隧道施工期;隧道运营期;覆土厚度    

一种基于Chaum-Pedersen协议欺骗可检测云存储数据共享协议 Research Papers

Xin WANG, Bo YANG, Zhe XIA, Hong-xia HOU

《信息与电子工程前沿(英文)》 2019年 第20卷 第6期   页码 787-800 doi: 10.1631/FITEE.1800066

摘要: 随着云计算技术发展,数据可外包给云,方便用户共享。然而,用户常常担心其数据在云端可靠性和完整性。因此,在云端提供安全数据共享服务至关重要。本文将门限秘密共享技术和Chaum-Pedersen零知识证明相结合,提出一种可靠、安全云数据共享方案。该方案不仅有效、灵活、语义安全,还能有效识别行为不诚实欺骗者身份,确保合法用户解密密钥安全。相比而言,该方案计算性能较好,尤其适合云端用户医疗保险数据保护。

关键词: 数据分享;Chaum-Pedersen证明;欺骗可检测;云储存    

基于深度学习技术集群电动汽车及家庭热水系统灵活性预测 Article

胡俊杰, 周华嫣然, 周羿宏, 张海婧, Lars Nordströmd, 杨光亚

《工程(英文)》 2021年 第7卷 第8期   页码 1101-1114 doi: 10.1016/j.eng.2021.06.008

摘要: 需求响应(demand response, DR)资源灵活性已成为解决这一问题一个有价值方法。然而,目前关于DR资源灵活性预测问题尚未得到充分研究。DR资源聚合灵活性。所提出灵活性预测方法使用了基于DR资源历史用电数据以及为了辅助预测所提出DR信号数据。所提方法不仅可以预测聚合灵活大小,还可以预测其维持时间。最后,本文通过算例仿真验证了灵活性预测结果准确性。仿真结果表明,在不同灵活性维持时间下,DR资源灵活大小会发生变化。文中所提出DR资源灵活性预测方法展现了其在释放需求侧资源灵活性以向电网提供备用容量方面的应用。

关键词: 负荷灵活    电动汽车     家庭热水系统     结合时间卷积神经网络Transformer模型     深度学习    

基于竞争二进制多目标灰狼算法快速紧凑天线拓扑优化 Research Article

董健,袁霞,王蒙

《信息与电子工程前沿(英文)》 2022年 第23卷 第9期   页码 1390-1406 doi: 10.1631/FITEE.2100420

摘要: 为降低传统多目标天线拓扑优化问题计算量,本文提出一种基于竞争二进制多目标灰狼优化算法(CBMOGWO)。该方法引入种群竞争机制,以减轻电磁(EM)仿真的负担并获取适当适应度值。此外,我们引入余弦振荡函数来改进原始二进制多目标灰狼优化算法(BMOGWO)线性收敛因子,以在探索和开发之间达到良好平衡。最后,通过具有高维混合设计变量和多个目标的紧凑型高隔离双频多输入多输出(MIMO)天线示例,验证了我们方法在降低计算成本方面的有效性。实验结果表明,与传统方法相比,CBMOGWO节省近一半计算成本,这表明我们方法对于复杂天线拓扑优化问题是高效。它为基于多目标进化算法(MOEA)以灵活高效方式探索新和意想不到天线结构提供了新思路。

关键词: 天线拓扑优化;多目标灰狼算法;高维混合变量;快速设计    

我国基于快堆可持续核能系统发展思考

杨勇,王静,徐銤

《中国工程科学》 2018年 第20卷 第3期   页码 32-38 doi: 10.15302/J-SSCAE-2018.03.005

摘要:

核能是优化我国能源结构,降低二氧化碳排放重要能源形式之一。近期我国核能仍然将以压水堆为主,但压水堆长期发展将带来铀资源缺乏和放射性废物处置问题。研究表明基于快堆闭式燃料循环可通过多次循环有效增殖核燃料,同时具备嬗变6座以上同等规模压水堆产生锕系核素(MA)能力。根据我国快堆 “实验堆–示范堆–商用堆”三阶段发展战略,同时结合我国核电起步较晚国情,建议在2050年之前主要实施快堆增殖核燃料,在2050年之后实施MA嬗变技术路线。

关键词: 快中子增殖堆     可持续核能系统     增殖与嬗变    

基于接入控制器模式公共无线局域网安全体系设计

宋宇波, 胡爱群, 杨晓辉

《中国工程科学》 2008年 第10卷 第8期   页码 56-59

摘要:

公共无线局域网面临网络安全、用户数据保护、身份认证、移动管理及网络服务等多方面的挑战。将现有的公共无线局域网分为WISP-owned, Operator-owned以及for Enterprise 3种类型,并分别讨论了各种类型特征及其架构。在此基础上提出一种基于接入控制器模式通用安全体系,可应用与目前大多数类型公共无线局域网。提出了一种802.1X和WEB认证混合型认证协议,该协议在进行WEB认证时将利用802.1X协商后产生密钥进行,可有效抵抗窃取服务、基站伪装、消息窃听等攻击,并与现有公共无线局域网Web认证相兼容

关键词: 公共无线局域网     安全体系     认证     接入控制器    

流程工业智能制造展望:过程系统工程师面临挑战

Lockhart Bogle Ian David

《工程(英文)》 2017年 第3卷 第2期   页码 161-165 doi: 10.1016/J.ENG.2017.02.003

摘要:

本文讨论了流程工业智能制造对过程系统工程(PSE) 研究人员提出挑战。现有的研究在实现全厂和全站点优化方面已经取得了很大进展,进行基准化测试能够增加说服力。本文进一步讨论了过程系统工程师在开发可用工具和技术时遇到技术性挑战,包括灵活性和不确定性,响应性和敏捷性,鲁棒性和安全性,混合物性质和功能预测,以及新建模和数学范式。利用大数据进行智能化开发来驱动系统灵活性需要面对新挑战,例如,如何在漫长又复杂供应链中确保数据一致性和机密性。建模方面也存在很多挑战,涉及如何对所有的关键技术进行恰当建模,特别是健康、安全和环境方面,需要在特定地点对微小却关键量进行准确预测。对环境方面的关注要求我们紧密跟踪所有的分子种类,以便于它们能被最佳地用于创造可持续解决方案。而源自于新型个性化产品破坏性商业模式对环境影响则难以预测。

关键词: 智能制造     过程系统工程     不确定性     灵活    优化     基于模型控制    

基于一致性哈希算法低能耗共识协议 Research Article

Lei Yu, Xiao-fang Zhao, Yan Jin, Heng-yi Cai, Bo Wei, Bin Hu,yulei@ncic.ac.cn

《信息与电子工程前沿(英文)》 2019年 第20卷 第10期   页码 1361-1377 doi: 10.1631/FITEE.1800119

摘要: 当前区块链共识协议在去中心化、安全性和能耗方面存在“三难”优化困境。针对这个问题,基于一致性哈希算法,设计了两个新区块链共识协议,分别为CHB-consensus和CHBD-consensus。在新共识协议下,诚实“矿工”可以公平地获得创建新区块机会。在创建新块时,诚实矿工不再需要付出海量竞争性算力,且该新区块可获取整个区块链网络公平验证及确认共识协议。由CHB-consensus和CHBD-consensus共识形成区块链网络基于与比特币系统相同安全性假设,在节省海量电力同时,不会牺牲去中心化和安全性。分析了可能攻击行为,并给出严格但可调整验证策略。最后,分析了CHB-consensus和CHBD-consensus共识鲁棒性和能耗,并通过理论推导证明它们优势。

关键词: 区块链;共识协议;一致性哈希;低能耗;去中心化    

灵活可变运动图像分割算法

赵彦玲,张之超,高振,张庆超

《中国工程科学》 2006年 第8卷 第5期   页码 84-87

摘要:

运动图像分割在基于内容视频编码及视频检索中占有重要地位。利用运动图像帧中时空域信息,提出了一种分割运动对象方法。其最大特点是灵活性,可以根据序列实际情况来选择算法。

关键词: 时空结合     运动区域     运动对象     形态梯度算子     灵活   

TEES:一种面向高性能计算快速、灵活应用程序部署拓扑感知运行环境服务 Research Article

邵明天,卢凯,迟万庆,王睿伯,戴屹钦,张文喆

《信息与电子工程前沿(英文)》 2022年 第23卷 第11期   页码 1631-1645 doi: 10.1631/FITEE.2100284

摘要:

高性能计算(HPC)即将达到新高度:百亿亿次。应用程序部署正成为一个日益突出问题。容器技术解决了应用程序及其运行环境封装和迁移问题。但是,容器镜像太过笨重,在大量计算结点上部署过程非常耗时。虽然点对点(P2P)方式带来更高传输效率,但也引入更大网络负载。所有这些问题都会导致应用程序高启动延迟。为解决这些问题,提出拓扑感知运行环境服务(TEES),用于在高性能计算系统上快速、灵活地部署应用程序。TEES为用户创建了一个更轻量级运行环境,并使用一种更有效拓扑感知P2P方法减少部署时间。结合分步传输和提前启动机制,TEES降低了应用程序启动延迟。在天河高性能计算系统中,TEES在3秒内实现了在17560个计算结点上一个典型应用程序部署和启动。与基于容器应用程序部署方式相比,速度提高了12倍,网络负载减少了85%。

关键词: 运行环境;应用部署;高性能计算(HPC);容器;点对点(P2P);网络拓扑    

标题 作者 时间 类型 操作

EAP-FAST在公共无线局域网安全接入控制中研究及实现

曹萍,裴文江

期刊论文

基于双重分组和密钥计数并行认证模式

黄玉划,胡爱群,宋宇波

期刊论文

基于多跳双向认证802.16Mesh网络SA管理机制

王兴建,胡爱群,黄玉划

期刊论文

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

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

期刊论文

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

宋宇波,胡爱群,姚冰心

期刊论文

基于抗浮稳定盾构隧道合理覆土厚度研究

刘学彦,袁大军,姜 曦

期刊论文

一种基于Chaum-Pedersen协议欺骗可检测云存储数据共享协议

Xin WANG, Bo YANG, Zhe XIA, Hong-xia HOU

期刊论文

基于深度学习技术集群电动汽车及家庭热水系统灵活性预测

胡俊杰, 周华嫣然, 周羿宏, 张海婧, Lars Nordströmd, 杨光亚

期刊论文

基于竞争二进制多目标灰狼算法快速紧凑天线拓扑优化

董健,袁霞,王蒙

期刊论文

我国基于快堆可持续核能系统发展思考

杨勇,王静,徐銤

期刊论文

基于接入控制器模式公共无线局域网安全体系设计

宋宇波, 胡爱群, 杨晓辉

期刊论文

流程工业智能制造展望:过程系统工程师面临挑战

Lockhart Bogle Ian David

期刊论文

基于一致性哈希算法低能耗共识协议

Lei Yu, Xiao-fang Zhao, Yan Jin, Heng-yi Cai, Bo Wei, Bin Hu,yulei@ncic.ac.cn

期刊论文

灵活可变运动图像分割算法

赵彦玲,张之超,高振,张庆超

期刊论文

TEES:一种面向高性能计算快速、灵活应用程序部署拓扑感知运行环境服务

邵明天,卢凯,迟万庆,王睿伯,戴屹钦,张文喆

期刊论文