Search | Engineering

订阅投稿

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

资源类型

期刊论文 339

年份

2024 1

2023 28

2022 31

2021 26

2020 17

2019 16

2018 27

2017 28

2016 25

2015 11

2014 7

2013 6

2012 5

2011 4

2010 6

2009 4

2008 6

2007 7

2006 5

2005 13

展开︾

关键词

智能制造 15

工业互联网 7

工业软件 5

工业4.0 4

工业化 4

网络空间安全 4

中国 3

人工智能 3

发展 3

可持续发展 3

物联网 3

2035 2

中国汽车工业 2

产业政策 2

产业瓶颈 2

人–信息–物理系统 2

优化 2

低温铝电解 2

信息物理系统 2

展开︾

检索范围：

排序：展示方式：

构成新一代分布式系统的工业以太网

方来华,吴爱国,张钊,王冬青

《中国工程科学》 2005年第7卷第5期页码 66-69

摘要：

讨论了工业以太网构成分布式系统的可行性和优点，分析了4种满足分布式控制的工业以太网协议及其各自的优缺点。提出了设备制造商为支持这些协议在产品中增加以太网连接必须考虑的内容和实现途径。

关键词：分布式系统工业以太网协议以太网连接的嵌入

HTML PDF 收藏

西堠门大桥结构监测系统的设计与实现（II）：系统实现

刘志强,李娜,郭健 ,冯良平,宋刚

《中国工程科学》 2010年第12卷第7期页码 101-106

摘要：研究结果表明，西堠门大桥结构监测系统正常运行，实现了预期设计功能，基于工业以太网分布式数据采集与传输系统在桥梁结构监测系统中得以成功应用，可在其他工程中加以推广。

关键词：桥梁结构监测系统工业以太网分布式数据采集系统系统集成

HTML PDF 收藏

交换式以太网NC建模与实时性能分析

王晓欣,刘鲁源,刘昆,马津艳

《中国工程科学》 2006年第8卷第6期页码 55-59

摘要：

交换式以太网的实时性能分析是工业以太网研究领域的一个热点课题，目前还没有一个有效的数学模型来对其进行描述。应用网络微积分理论建立了交换机的服务曲线模型，该模型将交换机中的数据流分为实时数据和非实时数据，并得到了最大延迟值和最大缓存需求值等，最大延迟为交换机的实时应用提供了理论边界值，最大缓存需求值为在实时工业环境中的交换机构建提供了理论参考

关键词：网络微积分交换机到达曲线服务曲线延迟

HTML PDF 收藏

基于以太网通信的自动化立体仓库管理与监控系统

王志伟,蒋兆远

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

摘要：

介绍了基于以太网通信的自动化立体仓库管理与控制系统的结构、工作原理、主要功能特点以及该系统软件的设计思想。该系统充分利用了以太网高速通信的特点，实现了对立体仓库的实时管理和控制。

关键词：自动化立体仓库计算机管理与监控以太网通信

HTML PDF 收藏

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

曹萍,裴文江

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

摘要：

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

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

HTML PDF 收藏

基于IP骨干网的虚拟专用网理论与实现

李秀忠

《中国工程科学》 2002年第4卷第3期页码 84-91

摘要：

讨论了虚拟专用网（VPN），尤其是IP-VPN的相关方面。在此基础上分析了IP-VPN的虚拟专用路由网（VPRN）和虚拟专用局域网（VPLS）两种类型。着重讨论了VPRN的两种实现机制——边界网关协议/多协议标记交换（BGP/MPLS）和虚拟路由器（VR），并进行了比较。实现了一种VPLS——虚拟局域网（VLAN）。最后从理论上探讨了基于网络的VPN的服务质量（QoS）并提出了一种VPN QoS的实现途径。

关键词：虚拟专用路由网（VPRN）虚拟专用局域网段（VPLS）边界网关协议/多协议标记交换（BGP/MPLS）虚拟路由器（VR）最坏情况加权公平排队（WF²Q）随机早期检测（RED

HTML PDF 收藏

基于动态污点分析的工业控制系统协议自动逆向工程分析 Research Articles

麻荣宽1,郑豪2,王竟亦2,汪慕峰2,魏强1,王清贤1

《信息与电子工程前沿（英文）》 2022年第23卷第3期页码 351-360 doi: 10.1631/FITEE.2000709

摘要：私有（或半私有）协议广泛应用于工业控制系统（ICS）。通过逆向工程推断协议格式对于许多网络安全应用（例如程序测试和入侵检测）具有重要意义。传统协议逆向工程方法耗时，繁琐、易出错。最近提出的自动化逆向协议方法既不能有效处理基于网络流量分析的二进制ICS协议，也不能从协议程序实现中准确提取协议字段。本文提出一个工业控制系统协议逆向工程框架（ICSPRF），旨在以更高准确度提取ICS协议字段。ICSPRF基于以下关键见解架构：消息中单个字段通常在同一执行上下文中处理，例如基本块（BBL）组。通过监视程序的执行，ICSPRF可以在执行跟踪中收集每个BBL组中处理的污染数据信息，并将它们聚类以得出协议格式。用6个开源ICS协议实现评估所提方法。对于同一指标，ICSPRF比Autoformat更准确（后者对于所有评估协议匹配率为88.5％，对二进制协议匹配率为80.0％）。

关键词：工业控制系统（ICS）；ICS协议逆向工程；动态污点分析；协议格式

HTML PDF 收藏

微观移动协议主动切换机制研究

赵阿群

《中国工程科学》 2004年第6卷第8期页码 50-56

摘要：

针对微观移动协议现有切换机制的缺点，提出了主动切换机制，利用移动预测技术，在切换发生前预测移动主机将要切换的下一蜂窝以及切换的时刻，为移动主机预先建立新路径；为了保证主动切换机制的实现，提出了一个适用于主动切换机制并易于实现的移动预测算法

关键词：微观移动协议主动切换机制移动预测性能评价

HTML PDF 收藏

智联计算网络技术发展研究

李丹,胡宇翔,潘恒,张建辉,邬江兴

《中国工程科学》 2023年第25卷第6期页码 39-48 doi: 10.15302/J-SSCAE-2023.06.014

摘要：

算网融合的理念和技术处于发展初期，相应计算任务调度、网络互联也处于“脱节”状态，因而把握智联计算网络技术发展趋势并提出自主创新的战略构想及发展路线成为亟需本文分析了现有信息网络技术面临的挑战，提炼出网络与计算融合发展的主要趋势；论证形成我国自主创新的智联计算网络核心架构，精准阐明智联计算网络的发展目标与预期效益；深入剖析智联计算网络技术发展路线，涵盖多样化协议支撑、“网 ‒ 算 ‒ 存”一体化控制、服务功能智能编排、内生安全构造等智联计算网络关键技术布局，智慧园区网络场景、垂直行业网络场景、数据中心网络场景等智联计算网络示范应用。

关键词：智联计算网络；多样化协议；“网 ‒ 算 ‒ 存”一体化；服务功能智能编排；内生安全

HTML PDF 收藏

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

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

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

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

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

HTML PDF 收藏

IP组播路由协议的研究与实现

李炜

《中国工程科学》 2002年第4卷第1期页码 82-88

摘要：

概述了组播路由协议。分析了协议独立的组播路由一稀疏模式（PIM-SM)的缺陷，提出多个会聚点（RPs)的PIM-SM的改进机制。多个RPs机制有效地提高了原有单个RP的PIM-SM协议的健壮性，有利于实现负载均衡、分类业务及提高系统的容错性能，并讨论多个RPs机制的开销问题。分析了 PIM-SM实现细节和组播技术的前景。

关键词：协议独立的组播路由一稀疏模式（PIM-SM) 多会聚点（RPs) 组播

HTML PDF 收藏

一种不可否认协议额外增益的公平性分析 Research Articles

郭煦

《信息与电子工程前沿（英文）》 2022年第23卷第6期页码 893-908 doi: 10.1631/FITEE.2100413

摘要：由于不可否认协议的脆弱性，通信中的一方当事人往往可以规避不可否认规则，获取预期信息，从而损害另一方当事人利益，造成不良影响。本文利用概率模型检测技术对该协议的公平性保证进行定量研究。利用概率时间自动机对协议建模，并验证概率计算树逻辑中指定的属性，来衡量协议的公平性。此外，提出为协议相关参数选择合适值的建议，以获取一定程度的公平，从而回答了另一个问题：对于一定程度的公平性度量ε，如何指定协议参数以确保公平性？

关键词：不可否认协议；公平性分析；概率模型检测；PRISM

HTML PDF 收藏

量子密码协议研究现状与未来发展

张雪,高飞,秦素娟,张平

《中国工程科学》 2022年第24卷第4期页码 145-155 doi: 10.15302/J-SSCAE-2022.04.015

摘要：分析表明，当前量子密码协议研究处于“量子密钥分配协议遥遥领先、其他协议有待突破”的不平衡状态，也是“其他协议难以突破”的瓶颈状态。需要说明的是，经典密码通常在密码算法的基础上构建可完成各种密码学任务的协议，而量子密码往往直接利用量子性质来设计类似协议。因此，相比于算法，协议是量子密码中的主要研究内容。一方面，协议对量子密码来说至关重要，所有密码学任务都是通过相关协议来完成；另一方面，与经典密码算法和协议相比，量子密码协议的安全性大大提高，可以对抗未来量子计算的攻击。根据掷币协议的参与方对掷币结果是否有固定的喜好，可将掷币协议分为强掷币协议和弱掷币协议。这可能正是我们照搬经典密码协议目标来设计量子密码协议时遇到瓶颈的原因。

关键词：量子密码协议量子密钥分配量子数字签名量子保密查询