Search | Engineering

订阅投稿

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

资源类型

期刊论文 98

会议视频 1

年份

2024 1

2023 5

2022 8

2021 12

2020 13

2019 5

2018 8

2017 10

2016 4

2015 1

2014 2

2012 1

2011 2

2010 3

2009 3

2007 7

2006 3

2005 2

2004 3

2002 1

展开︾

关键词

应力状态 3

一阶分析法 2

光波导 2

变量变换级数展开法 2

状态监测 2

ARIMA模型；Kalman滤波；建模；训练；预测 1

ARMA模型 1

HBV相关疾病 1

Hugoniot 1

RTK GPS系统 1

TNT装药爆炸 1

UML状态图；Coq；精化；结构化操作语义 1

copula 1

π-演算 1

“白箱”模型 1

一致性；网络一致性；拉普拉斯能量 1

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

三向受力状态 1

不等围压 1

中药 1

展开︾

检索范围：

排序：展示方式：

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

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

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

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

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

HTML PDF 收藏

中型农业生态工程的数学模型

卞有生,刘来福,徐汝梅

《中国工程科学》 2001年第3卷第11期页码 39-44

摘要：

章以北京大兴县留民营村为例，建立了中型（村庄级）农业生态工程的数学模型，该模型为分室模型，由8个分室组成，文中给出了各个分室的状态变量及控制变量，建立了各分室的数学模型，并应用该数学模型指导了留民营的实际生产建设

关键词：农业生态工程数学模型状态变量控制变量

HTML PDF 收藏

《信息与电子工程前沿（英文）》 2021年第22卷第9期页码 1234-1246 doi: 10.1631/FITEE.2000426

摘要：

在工业过程中，软测量技术被广泛用于预测难以测量的质量变量。构建一个应对过程非平稳性的自适应模型非常必要。本文针对非平稳过程，设计了一种基于含有隐变量贝叶斯网络的质量相关局部加权软测量方法。提出一种有监督贝叶斯网络提取质量相关的隐变量，并应用于一种双层相似度测量算法。所提软测量方法试图通过质量相关信息为非平稳过程寻找到一般方法，且详细解释了局部相似度和窗口置信度的概念。结果表明所提方法预测关键质量变量的精确度优于竞争方法。

关键词：软测量；有监督贝叶斯网络；隐变量；局部加权建模；质量预测

HTML PDF 收藏

基于知识的多变量非线性系统变结构解耦控制

涂承媛,曾衍钧

《中国工程科学》 2001年第3卷第10期页码 48-52

摘要：

文章提出了一种基于知识的变结构解耦控制策略，并用于多变量非线性系统的控制，避免了传统解耦控制所必须的建模过程，特别是避免了相应的大量复杂的矩阵运算。

关键词：多变量非线性系统解耦控制基于知识的变结构解耦

HTML PDF 收藏

基于有序特征值矩阵的对称变量检测算法 Article

Xiao-hua LI, Ji-zhong SHEN

《信息与电子工程前沿（英文）》 2017年第18卷第10期页码 1644-1653 doi: 10.1631/FITEE.1601052

摘要：为简化布尔函数中12类对称变量的检测过程，本文提出基于最小项展开或真值表的对称性检测新算法。首先，根据逻辑变量的对称性定义，定义基于真值表的有序特征值矩阵。通过分析12类对称变量有序特征值矩阵的约束条件，提出对称变量检测算法。该算法适用于含无关项布尔函数和不含无关项布尔函数中的对称变量检测。该算法避免了图形方法、谱系数方法、与—异或方法中的变量数限制，也解决了快速算法中的完备性问题。算法用C语言实现并对MCNC91标准电路进行测试。结果表明，与传统方法相比，新算法在适用的变量数、检测含无关项布尔函数、检测类型、检测过程复杂度方面是最优算法。

关键词：布尔函数；对称变量；布尔逻辑代数系统；有序特征值矩阵；真值表

HTML PDF 收藏

基于频域的多变量广义预测控制（MIMO-GPC）稳定性分析

孙青林,陈增强,袁著祉

《中国工程科学》 2004年第6卷第10期页码 39-44

摘要：

提出了基于频域的多变量广义预测控制（MIMO-GPC）稳定性分析方法，推导了MIMO-GPC的闭环反馈结构，给出了基于闭环特征多项式的MIMO-GPC的稳定性判据和奈奎斯特稳定性判据。

关键词：多变量广义预测控制频域分析稳定性判据

HTML PDF 收藏

基于变量变换级数展开法的光波导矢量本征模分析

肖金标,孙小菡,张明德,丁东

《中国工程科学》 2001年第3卷第11期页码 49-53

摘要：

基于变量变换级数展开法，获得了掩埋矩形光波导及脊形光波导的矢量本征模及其传播常数。变量变换使无限平面映射成单位平两，从而使单位平面边界上的电磁场自然为零，消除了非物理反射，提高了计算精度；另外，由于这种方法所导致的矩阵阶数小，因此计算效率较高。

关键词：变量变换级数展开法光波导矢量本征模分析

HTML PDF 收藏

从控制论观点审视有限状态自动机的状态空间优化 Research Article

岳菊梅1,闫永义2,陈增强3,邓鹤2

《信息与电子工程前沿（英文）》 2021年第22卷第12期页码 1551-1684 doi: 10.1631/FITEE.2000608

摘要：现有大多数关于有限状态自动机（finite state machines, FSM）状态空间的优化方法不便甚至不能给出优化的数学意义。本文将FSM视为逻辑动态系统，借鉴控制论中动态系统平衡点的概念，引入t-等价状态和t-源等价状态概念。基于近年提出的FSM状态转移动力学方程，得到t-等价状态和t-源等价状态的数学描述（该数学描述可类比于控制论中关于动态系统平衡点的充要条件），进而给出该优化问题的数学解释。基于这些数学描述，设计了求解FSM所有t-等价状态和t-源等价状态的两种方法。此外，找到降低FSM状态空间的两种路径。可不借助计算机，仅用纸笔以数学推演方式实现。

关键词：有限状态自动机；有限值系统；逻辑系统；逻辑网络；矩阵半张量积；空间优化

HTML PDF 收藏

三峡库区香溪河流域多变量生态水文风险的不确定性分析 Article

Yurui Fan,Guohe Huang,Yin Zhang,Yongping Li

《工程（英文）》 2018年第4卷第5期页码 617-626 doi: 10.1016/j.eng.2018.06.006

摘要：

本研究基于copula函数开发了一种多变量生态水文风险评估框架，用于分析三峡库区香溪河流域极端生态水文事件的发生频率。通过马尔可夫链蒙特卡罗（MCMC）方法量化边缘分布及copula函数中参数的不确定性，并基于后验概率揭示联合重现期的内在不确定性，同时可进一步得到双变量及多变量风险的概率特征。同时，“AND”联合重现期的不确定性随着单个洪水变量重现期的增加而增加。此外，低设计流量及高服务年限可能导致高洪水风险且伴随大量不确定性。

关键词：洪水风险 copula 多变量水文频率分析概率分布马尔科夫链蒙特卡罗

HTML PDF 收藏

三向应力状态下混凝土强度和变形特性研究

闫东明,林皋

《中国工程科学》 2007年第9卷第6期页码 64-70

摘要：

对设计强度为10MPa的混凝土立方体试件进行三轴压缩试验，系统研究了等围压条件下混凝土的强度和变形特性，围压分别为0，4，8，12，16MPa５个量级；同时研究了不等围压条件下混凝土强度变化特性，试验表明，随着围压增加，混凝土的极限抗压强度有明显增强的趋势；随着小主应力的增加，中主应力的影响有减弱的趋势；峰值应力处应变随围压增加幅度显著。得出了在不同恒定围压下混凝土的应力应变全过程曲线；通过与当前文献资料的对比分析，指出了在混凝土结构计算中适用的强度及变形表达式，为工程实践提供了依据。

关键词：三向受力状态不等围压极限强度变形混凝土

HTML PDF 收藏

以土体应力状态计算边坡安全系数的方法

王国体

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

摘要：由于对土体应力状态条件的忽视和条分法本身的缺陷，使得条分法得到的安全系数在工程中的应用面临激烈的挑战。土体不同条件下的应力状态表现为K₀效应和变化，它对坡体的安全度影响不可忽视。笔者以考虑土体应力状态为条件，应用土的库伦强度定律和摩尔-库伦准则，推导出平面土坡的安全系数计算公式，与条分法的安全系数对比结果说明这种方法具有概念明确、计算简便、定性可靠的重要特点，可以直接提供于工程应用和参考

关键词：侧应力系数K₀ 初始应力状态稳定安全系数公式

HTML PDF 收藏

基于状态空间法的铁路建设工程过程质量模型研究

鲁守东,周国华,陈海峰,赵国堂

《中国工程科学》 2014年第16卷第3期页码 64-69

摘要：

在ISO9000过程“输入-输出”模型下，过程质量概念很难得到正确的阐释。从过程的“白箱”理论出发，以铁路建设工程的基本作业单元6M1E为例，给出了过程质量概念的科学涵义及过程质量模型。指出基本作业单元系统的过程包括工艺自然过程、作业过程、管理过程；基本作业单元系统的过程质量取决于3个子过程之间的相互联系和相互作用，同时还受到外界扰动输入因素的影响。最后以现浇预应力砼连续箱梁施工过程为例，阐述了该理论在铁路建设工程质量管理中的具体应用。

关键词：铁路建设工程 “白箱”模型状态转移方程过程质量