Search | Engineering

订阅投稿

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

资源类型

期刊论文 100

会议视频 5

年份

2023 12

2022 9

2021 8

2020 3

2019 5

2018 7

2017 7

2016 4

2015 5

2014 1

2013 9

2012 1

2011 3

2010 1

2009 1

2008 3

2007 5

2006 6

2005 3

2004 4

展开︾

关键词

工程管理 3

关系 2

因果关系图 2

本构关系 2

火灾 2

2 Mb/s高速信令 1

2型糖尿病 1

3-酰基硫代四酸 1

4-adj模型 1

802.11i 1

Bellare-Rogaway模型 1

CDR 1

LED战略性中心企业 1

LED高端制造装备 1

MBR 1

PEDOT:PSS 1

PPP模式 1

Pareto 优于关系 1

Pareto 强度值 1

展开︾

检索范围：

排序：展示方式：

广义近似空间与粗糙分类代数

刘永红

《中国工程科学》 2006年第8卷第3期页码 39-48

摘要：

提出了广义近似空间、粗近似公理、干扰集公理、粗糙集的分类原则、粗选原则、不确定偶集原则、精选原则、对策分类、量子逻辑分类、bit量子对称分类、不可比集、bit空间集、协议关系、粗糙集函数、粗糙分类代数和粗糙单代数等基本概念，并提出了一个猜想；展示了一些新观点；基于协议关系构造了粗糙商代数和粗糙子代数，给出了回避-归并算法及算例。

关键词：广义近似空间粗糙集粗糙分类代数协议关系粗糙单代数粗糙商代数粗糙子代数

HTML PDF 收藏

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

赵阿群

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

摘要：

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

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

HTML PDF 收藏

三维体目标间拓扑方向关系描述和推理

刘新,李成名,刘文宝

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

摘要：

空间关系描述了地理信息系统（GIS）中实体间的位置、距离、方位、拓扑等的度量。为提高空间关系描述的惟一性和空间关系推理的准确性，将拓扑关系与方向关系集成描述，构建拓扑方向关系的描述表达模型。目标对象与参照物在X、Y、Z 3个坐标轴上投影间的Allen区间关系分别为[R1]、[R2]和[R3]，提出利用Allen区间关系对[(R1,R2,R3)]描述三维拓扑方向区域，用定义法研究拓扑方向关系定性推理，通过一些典型例子说明拓扑方向关系推理过程和结果，推理结果用组合推理表表示。

关键词：空间关系拓扑关系方向关系拓扑方向关系三维空间

HTML PDF 收藏

论GIS空间关系描述中存在的几个基本问题

邓敏,李成名,刘晓丽

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

摘要：

首先剖析了空间关系描述中“空间”的概念，论述了拓扑关系具有与实体位置本身无关的特性，进而阐述了空间实体的拓扑表达，分析了拓扑空间描述存在的不足，以及与地理环境、地理空间认知的相关性，提出了纳入度量特性的拓扑空间关系描述的方法。

关键词：空间拓扑空间关系空间关系描述

HTML PDF 收藏

拓扑关系与性质及其在空间推理中的应用

李成名,刘晓丽

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

摘要：

首先根据笔者以前的研究成果，给出了两个空间实体之间完备、唯一的拓扑关系形式化表达，进而论述了它们之间存在的性质。从这些性质出发，得出了相互间空间关系复合的结果。

关键词：拓扑关系空间关系复合空间推理代数推理逻辑推理

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

基于重放分析的网络协议软件状态变量自动化发现技术 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 收藏

伙伴关系模式的发展以及对中国建筑业的启示

张连营,王争朋,张杰

《中国工程科学》 2006年第8卷第8期页码 7-11

摘要：

伙伴关系模式作为一种西方建筑体制下的新型业主－承包商关系模式，已经在欧美发达国家建筑业中得到了广泛的应用，并被众多建设管理相关学者和建筑业行内人士视为未来欧美建设项目的一种重要管理模式。文章在回顾相关背景问题的基础上，提出了一个关于伙伴关系模式的概念模型，作为理解伙伴关系模式的框架；介绍了欧美主流建设管理学术刊物对伙伴关系模式的相关研究；指出了伙伴关系模式的行为学本质对中国建筑业的启示

关键词：伙伴关系模式业主-承包商关系建设管理行为学本质

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

摘要：分析表明，当前量子密码协议研究处于“量子密钥分配协议遥遥领先、其他协议有待突破”的不平衡状态，也是“其他协议难以突破”的瓶颈状态。一方面，协议对量子密码来说至关重要，所有密码学任务都是通过相关协议来完成；另一方面，与经典密码算法和协议相比，量子密码协议的安全性大大提高，可以对抗未来量子计算的攻击。通信双方通过观测输入和输出的经典比特信息间的关联关系，计算贝尔不等式的违背值，即可判断设备的可信程度，并估计出窃听者所能获取的最大信息量。根据掷币协议的参与方对掷币结果是否有固定的喜好，可将掷币协议分为强掷币协议和弱掷币协议。这可能正是我们照搬经典密码协议目标来设计量子密码协议时遇到瓶颈的原因。

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

HTML PDF 收藏

基于Voronoi区的GIS中方向关系的描述与计算

李成名

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

摘要：

方向关系在地理信息系统（GIS）中占据着十分重要的地位，由于它的模糊性和依赖空间实体形状的特性，使得它的形式化描述和判断比较困难。本文在三角形模型（CDR）方法的基础上，利用最小矩形（MBR）四边的Voronoi多边形及其边界，形式化描述了方向关系，进而将方向关系分为主方向关系和次方向关系，并分别给出了两者利用MBR四边Voronoi

关键词：方向关系 Voronoi区 CDR MBR

HTML PDF 收藏

一种直观的一般秩相关系数 Research Articles

Divya PANDOVE, Shivani GOEL, Rinkle RANI

《信息与电子工程前沿（英文）》 2018年第19卷第6期页码 699-711 doi: 10.1631/FITEE.1601549

摘要：提出一种算法，用于量化相关性理论并得出一个直观且更精确的相关系数。为计算配对值之间相关性，提出一项预测指标，称为一般秩相关系数。同时，展示了所提方程的数学推导过程，并与斯皮尔曼等级相关系数比较。结果表明，该指标在所有预测度量标准上均优于现存指标。

关键词：一般秩相关系数；多变量分析；预测指标；斯皮尔曼等级相关系数

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协议逆向工程；动态污点分析；协议格式