Search | Engineering

订阅投稿

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

资源类型

期刊论文 1609

会议视频 75

会议信息 17

年份

2024 3

2023 118

2022 128

2021 153

2020 96

2019 102

2018 102

2017 113

2016 61

2015 58

2014 62

2013 44

2012 48

2011 48

2010 57

2009 40

2008 54

2007 69

2006 51

2005 69

展开︾

关键词

颠覆性技术 31

数学模型 13

数值模拟 12

能源 11

模型 10

可靠性 9

模型试验 9

深度学习 9

可持续性 8

安全性 8

COVID-19 7

人工智能 7

战略性新兴产业 7

机器学习 7

农业科学 6

影响因素 6

智能制造 6

神经网络 6

管理 6

展开︾

检索范围：

排序：展示方式：

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

郭煦

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

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

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

HTML PDF 收藏

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

宋宇波,胡爱群,姚冰心

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

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

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

HTML PDF 收藏

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

李秀忠

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

摘要：在此基础上分析了IP-VPN的虚拟专用路由网（VPRN）和虚拟专用局域网（VPLS）两种类型。着重讨论了VPRN的两种实现机制——边界网关协议/多协议标记交换（BGP/MPLS）和虚拟路由器（VR），并进行了比较。

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

HTML PDF 收藏

腐蚀油气管线的可靠性分析

徐伟,刘茂

《中国工程科学》 2010年第12卷第9期页码 69-72

摘要：

ASME B31G是国际通用的评价腐蚀管线失效应力的标准，考虑到这种方法的保守性，以修正后的B31G模型作为研究腐蚀管线失效应力的基础，考虑管壁厚度、腐蚀速率、工作压力、缺陷深度等随机变量，构建腐蚀油气管线可靠性极限状态函数。然后，采用一次二阶矩法对腐蚀管线进行可靠性分析，得出管线的失效概率、可靠性指标以及剩余使用寿命。此外，为了更加规范的管理腐蚀管线，参照美国石油组织的相关规定，对不同失效概率的管线进行了等级划分。在最后的案例分析中，还讨论失效概率对不同变异系数对的敏感性，计算结果表明失效概率对管壁厚度

关键词：管线腐蚀可靠性分析一次二阶矩失效概率

HTML PDF 收藏

工程结构可靠性分析的高阶矩法研究

宫凤强,李夕兵,邓建

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

摘要：

提出了工程结构可靠性分析的高阶矩方法。主要是基于数值逼近原理，以切比雪夫正交函数族{T_k(x)}做基，利用功能函数的高阶矩信息，通过计算功能函数概率密度函数的逼近表达式，然后根据工程结构可靠性的一般表达式来计算结构的失效概率，进行可靠性分析。通过经典分布函数的数值检验和结构构件失效概率的计算结果比较，表明了该方法在理论上的正确性和工程中的实用性。

关键词：结构可靠性高阶矩切比雪夫多项式失效概率

HTML PDF 收藏

庞明慧1,2,朱秋明1,2,林志鹏1,柏菲1,田越1,李茁3,陈小敏1

《信息与电子工程前沿（英文）》 2022年第23卷第9期页码 1378-1389 doi: 10.1631/FITEE.2200041

摘要：视距（line-of-sight, LoS）概率预测对于无线通信系统的性能优化至关重要。然而，由于无人机等飞行器飞行高度从十几米到数千米不等，空地（air-to-ground, A2G）通信的LoS概率预测具有挑战性。本文针对A2G场景，提出一种高度相关的经验性LoS概率模型。然后，开发了一种基于双层反向传播神经网络（back propagation neural network, BPNN）的参数估计方法来建立每个模型参数与无人机高度之间的关系。仿真表明该模型获得的结果与射线追踪（ray trancing, RT）数据、实测数据和标准模型结果具有良好一致性。该模型还可提供比其他LoS概率模型更广泛的适用高度，能够应用于各种A2G场景下的不同通信高度。

关键词：视距概率模型；空地信道；机器学习；射线跟踪

HTML PDF 收藏

化工生产人工误操作危险与可操作性分析研究

高金吉,王峰,张雪,杨剑锋,王世达

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

摘要：

研究了危险化学品生产装置开、停车过程中人工误操作危险与可操作性分析系统，可为防范人工误操作提供新的分析方法，为防范事故提供技术依据。以吉林石化硝基苯初馏塔开车过程中由于人工误操作引发的爆炸事故为例进行了分析。

关键词：人工误操作危险与可操作性分析概率风险

HTML PDF 收藏

一类弱非线性波浪数值模型及其适用性分析

刘忠波,唐军

《中国工程科学》 2010年第12卷第9期页码 96-100

摘要： text-align: justify;">研究了一类含弱非线性的改进型Boussinesq水波方程，在非交错网格下，利用有限差分法建立了混合四阶Adams-Bashforth-Moulton的预报校正格式的波浪数值模型在数值模型中，关于空间一阶导数差分格式采用四阶精度、二阶导数差分格式采用二阶精度。针对波浪的一维、二维传播变形问题进行了数值计算，并通过与相关实验结果对比分析考察了该数值模型的适用性。

关键词：数值模型适用性波浪

HTML PDF 收藏

一种基于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证明；欺骗可检测；云储存

HTML PDF 收藏

格上高效的身份基签名

陈江山1,2,胡予濮1,梁红梅2,高雯3

《信息与电子工程前沿（英文）》 2021年第22卷第2期页码 141-286 doi: 10.1631/FITEE.1900318

摘要：随着电子信息技术的飞速发展，数字签名已成为人们生活中不可或缺的一部分。由于证书管理的局限性，传统的公钥证书密码系统无法满足现有需求。基于身份的密码系统避免了证书管理问题。在随机谕言机模型中，可以证明该方案对适应性选择的消息和身份攻击是不可伪造的。其安全性级别是强不可伪造的，比其他方案存在性不可伪造的安全性更高。与其他有效方案相比，所提方案在计算复杂度和安全性方面具有优势。

关键词：身份基签名；格；强不可伪造性；随机谕言机模型

HTML PDF 收藏

基于MCMC稳态模拟的Weibull共享异质性模型及其可靠性应用

林静,韩玉启,朱慧明

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

摘要：

针对传统假设中个体寿命独立同分布的不足，构建了贝叶斯Weibull共享异质性模型，提出了对寿命服从Weibull分布的产品，运用基于Gibbs抽样的马尔可夫链蒙特卡罗（Markov chain MonteCarlo，MCMC）方法动态模拟出参数后验分布的马尔可夫链，在异质性因子的先验分布为Gamma分布时，给出随机截尾条件下，参数在Weibull共享异质性模型中的贝叶斯估计，提高了计算的精度。借助数据仿真说明了利用WinBUGS（Bayesian inference using Gibbs sampling）软件包进行建模分析的过程，证明了该模型在可靠性应用中的直观性与有效性。

关键词：贝叶斯分析可靠性 MCMC模拟 Gibbs抽样 Weibull分布共享异质性模型

HTML PDF 收藏

基于动态占用网格改进概率模型的换道辅助策略 Research Articles

杨正才1,2,高振海1,高菲1,武馨宇1,何磊1

《信息与电子工程前沿（英文）》 2021年第22卷第11期页码 1492-1504 doi: 10.1631/FITEE.2000439

摘要：该模型将车辆速度、障碍物、车道线和交通规则等信息封装成一种空间驾驶概率的形式。这些信息被编译成哈希表，通过哈希函数将网格图映射到一个哈希图中。利用该模型建立一个车辆行为决策成本方程，该方程基于最小成本原则，同时考虑车辆驾驶性能、安全性和动力等影响因素，辅助驾驶员做出准确换道决策。通过车辆测试验证了该换道辅助策略的可行性。结果表明，基于动态占用网格概率模型的换道辅助系统可为驾驶者提供兼顾动力和安全性的换道辅助。

关键词：占用网格；概率模型；换道辅助

HTML PDF 收藏

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

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

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

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

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

HTML PDF 收藏

声学综合无损检测技术

陈积懋

《中国工程科学》 2000年第2卷第4期页码 64-69

摘要：

论述了检测复合材料和胶接结构不连续（缺陷）的新型多模综合无损检测技术。该技术以声与超声检测技术为基础，包含五种不同检测模式，用以检测复合材料与胶接结构的失粘、脱粘、分层、疏松、夹芯压皱及其他缺陷。它适用于复合材料与构件的制造、维修和使用现场。它的检测可靠性高，重复精度好。文章还讨论了组成多膜声学综合胶接检测仪的五种不同检测模式的原理，并从我们和国内外同行的大量实践经验出发，说明了综合无损检测技术的巨大发展前景。

关键词：声学综合检测综合无损检测复合材料无损检测机械阻抗分析振动分析共振检测

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可以使第三方审计人员（third-party auditor, TPA）能够在云计算环境中高效和安全地验证外包数据的完整性。此外，证明了NaEPASC在挑战阶段受到数据隐私威胁，即TPA或冒充TPA的外部攻击者可以分析出外包数据的内容。本文分析表明NaEPASC在数据验证过程中不安全。本文的工作有助于密码学家和工程师设计、实施更安全高效的基于身份的云存储数据完整性公开审计方案。

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

HTML PDF 收藏

标题作者时间类型操作

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

郭煦

期刊论文

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

宋宇波,胡爱群,姚冰心

期刊论文

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

李秀忠

期刊论文