资源类型

期刊论文 709

年份

2023 33

2022 26

2021 46

2020 29

2019 36

2018 47

2017 43

2016 27

2015 33

2014 34

2013 28

2012 27

2011 26

2010 37

2009 20

2008 20

2007 32

2006 27

2005 31

2004 27

展开 ︾

关键词

风险分析 9

影响因素 6

ANSYS 4

分析 4

可持续发展 4

数值模拟 4

隧道 4

COVID-19 3

DX桩 3

数值分析 3

斜拉桥 3

有限元 3

2035年 2

BNLAS 2

HIV感染孕产妇 2

SARS 2

仿真 2

信息物理系统 2

制造业 2

展开 ︾

检索范围：

排序： 展示方式：

协议分析仪2Mb/s高速信令处理模块

刘志辉

《中国工程科学》 2002年 第4卷 第2期   页码 79-85

摘要：

为了满足2 Mb/s高速信令的测试要求，开发了2 Mb/s高速信令协议分析仪信令处理模块。信令处理模块分为硬件系统和软件系统两部分。介绍了开发2 Mb/s高速信令协议分析仪的意义，使用2 Mb/s高速信令链路的优势，信令处理模块的设计原理和功能。介绍嵌入式处理器和实时操作系统的相关内容。

关键词： 协议分析仪     2 Mb/s高速信令     嵌入式处理器     实时操作系统    

HTML PDF 收藏

分析仪器发展趋势展望

金钦汉

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

摘要： 分析仪器是科学仪器的重要组成部分。分析仪器工业是高技术信息产业。分析仪器的发展是现代科学、经济和社会发展的重要基础和推动力之一。分析仪器的主要应用领域正向生物医学领域转移。分析仪器本身将不断微型化、智能化。但人类向时间和空间的两个极限挑战所需的高级精密仪器也不容忽视。生命过程、生产、科研和社会活动大量需要的将是在线、非侵入、非损坏、原位、实时、多维分析仪器。我国分析仪器与国外的差距在扩大的趋势值得髙度重视。改变这种局面的要素之一是领导者、企业家和科技工作者都必须改变对科学仪器的旧观念。

关键词： 分析仪器     科学仪器     仪器创新     科技创新     发展趋势    

HTML PDF 收藏

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

郭煦

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

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

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

HTML PDF 收藏

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

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

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

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

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

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

FY-3卫星微波成像仪延寿技术分析和研究

刘高峰,陈卫英,翁艺航,于爽,王华

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

摘要：

针对风云三号（FY-3）卫星在轨寿命从3年延长到5年的特点，分析了寿命延长存在的风险，并对微波成像仪可靠性关键项目的扫描驱动系统和接收机系统的可靠度作了预估通过具体的分析与产品的改进，能够为微波成像仪在轨正常运行提供稳定有效的保障。最后，为了证明产品延寿技术的可靠性，提出了进行加速寿命试验的设想。

关键词： 微波成像仪     扫描驱动     接收机     寿命     可靠性    

HTML PDF 收藏

风云三号微波湿度仪天线设计与分析

王宏建,李靖,刘和光,张升伟

《中国工程科学》 2009年 第11卷 第4期   页码 39-45

摘要：

风云三号（FY-3）湿度仪天线接收各种目标的微波辐射能量，因此天线好坏对整个微波湿度仪系统性能及应用影响极大。FY-3湿度仪天线具有高增益、低噪声和高的波束效率，采用偏馈抛物面天线形式，天线频率分别达到150 GHz和183 GHz，是目前国内有效载荷的最高频率，其成功研制填补了我国航天微波遥感的空白，也使我国航天器天线技术进入一个新的领域

关键词： FY-3湿度仪     偏馈抛物面天线     波纹喇叭     遥感    

HTML PDF 收藏

马尔可夫中断下停止等待自动重传请求协议的性能分析 Regular Papers-Research Articles

Dashdondov KHONGORZUL, Yong-Ki KIM, Mi-Hye KIM

《信息与电子工程前沿（英文）》 2019年 第20卷 第9期   页码 1296-1306 doi: 10.1631/FITEE.1700185

摘要： 讨论了一种使用停止等待自动重传请求协议的语音数据集成分组多路复用器的性能。假设输入数据流量经泊松过程呈指数增长，且各数据包在单时隙中传输。引入缓冲器占用概念简化分析，并发现当中断信号通过马尔可夫过程给出时，使用停止等待自动重传请求协议的数据多路复用器表现出排队延迟和缓冲行为。仿真结果验证了分析结果的有效性。

关键词： 自动重传请求协议；马尔可夫中断；泊松分布；缓冲器占用；等待时间    

HTML PDF 收藏

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

宋宇波,胡爱群,姚冰心

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

摘要： 针对802.1X认证协议的三方交互结构提出一种扩展Bellare-Rogaway模型，对802.11i认证和密钥交换机制进行可验安全性分析。通过分析，证明802.11i认证协议存在缺陷并给出了相应的中间人攻击方法。

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

HTML PDF 收藏

硅微z轴谐振陀螺仪负电刚度效应分析及实验验证

夏敦柱,周百令,王寿荣

《中国工程科学》 2007年 第9卷 第8期   页码 66-68

摘要：

介绍了在开环工作状态下硅微z轴谐振陀螺仪由于加工工艺缺陷所导致的误差机理。为减小陀螺仪初始电容差和抑制正交耦合误差，提出了一种闭环控制检测策略。重点分析了其力矩反馈器的电刚度效应并给出其线性数学模型表示式。通过对硅微z轴陀螺仪敏感模态的反馈力与谐振频率的关系分析，间接得出了在敏感方向上电负刚度与力矩器所施电压的内在联系，并在实验上进一步验证电刚度效应。这将为下一步闭环控制方案的设计奠定重要基础。

关键词： 硅微z轴陀螺仪     负电刚度     力矩反馈器     微机电系统    

HTML PDF 收藏

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

赵阿群

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

摘要：

针对微观移动协议现有切换机制的缺点，提出了主动切换机制，利用移动预测技术，在切换发生前预测移动主机将要切换的下一蜂窝以及切换的时刻，为移动主机预先建立新路径；为了保证主动切换机制的实现，提出了一个适用于主动切换机制并易于实现的移动预测算法；同时还提出了主动切换过程中分组丢失和重复避免方法；通过理论分析和系统仿真的方法对主动切换机制进行了性能评价，结果表明主动切换机制以较小的代价获得了可观的性能改善。

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

HTML PDF 收藏

新型扫描仪助力医学影像诊断能力提升

Mitch Leslie

《工程（英文）》 2022年 第16卷 第9期   页码 3-5 doi: 10.1016/j.eng.2022.07.005

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卷 第1期   页码 82-88

摘要：

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

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

HTML PDF 收藏

云存储环境下一种基于身份的公开审计协议安全性分析 Comment

Li-bing WU, Jing WANG, De-biao HE, Muhammad-Khurram KHAN

《信息与电子工程前沿（英文）》 2017年 第18卷 第12期   页码 1972-1977 doi: 10.1631/FITEE.1601530

摘要： 最近，Tan和Jia（2014）提出了一种基于身份的云数据完整性公开验证（NaEPASC）协议，以简化用户密钥管理和减轻完整性验证负担。此外，证明了NaEPASC在挑战阶段受到数据隐私威胁，即TPA或冒充TPA的外部攻击者可以分析出外包数据的内容。本文分析表明NaEPASC在数据验证过程中不安全。

关键词： 云数据；公开审计；数据完整性；数据隐私    

HTML PDF 收藏

标题 作者 时间 类型 操作

协议分析仪2Mb/s高速信令处理模块

刘志辉

期刊论文

分析仪器发展趋势展望

金钦汉

期刊论文

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

郭煦

期刊论文

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

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

期刊论文

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

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

期刊论文

FY-3卫星微波成像仪延寿技术分析和研究

刘高峰,陈卫英,翁艺航,于爽,王华

期刊论文

风云三号微波湿度仪天线设计与分析

王宏建,李靖,刘和光,张升伟

期刊论文

马尔可夫中断下停止等待自动重传请求协议的性能分析

Dashdondov KHONGORZUL, Yong-Ki KIM, Mi-Hye KIM

期刊论文

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

宋宇波,胡爱群,姚冰心

期刊论文

硅微z轴谐振陀螺仪负电刚度效应分析及实验验证

夏敦柱,周百令,王寿荣

期刊论文

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

赵阿群

期刊论文

新型扫描仪助力医学影像诊断能力提升

Mitch Leslie

期刊论文

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

曹萍,裴文江

期刊论文

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

李炜

期刊论文

云存储环境下一种基于身份的公开审计协议安全性分析

Li-bing WU, Jing WANG, De-biao HE, Muhammad-Khurram KHAN

期刊论文