Search | Engineering

订阅投稿

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

资源类型

期刊论文 77

年份

2024 1

2023 4

2022 4

2021 9

2020 10

2019 5

2018 6

2017 8

2016 3

2015 1

2014 2

2012 1

2011 2

2010 3

2009 3

2007 7

2006 2

2005 1

2004 2

2002 1

展开︾

关键词

应力状态 3

一阶分析法 2

斜拉桥 2

状态监测 2

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

ARMA模型 1

HBV相关疾病 1

Hugoniot 1

RTK GPS系统 1

TNT装药爆炸 1

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

π-演算 1

“白箱”模型 1

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

三向受力状态 1

不等围压 1

中药 1

中间塔 1

串联内阻 1

主体 1

展开︾

检索范围：

排序：展示方式：

Agent的PASS-BDI模型

樊玮,陈增强,袁著祉

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

摘要：

Agent的BDI模型主要基于Bratman提出的理性主体理论，未能充分体现Agent主动性的认知过程，使Agent的问题求解和心智状态之间的关系未得到充分表达，且难于编程实现。将Das等人提出的计划—注意—同时性加工—继时性加工认知过程模型引入Agent的理论研究中，建立了Agent的PASS-BDI模型，利用多价π-演算从心智状态，

关键词：主体 π-演算认知过程心智状态

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

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

闫东明,林皋

《中国工程科学》 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个子过程之间的相互联系和相互作用，同时还受到外界扰动输入因素的影响。最后以现浇预应力砼连续箱梁施工过程为例，阐述了该理论在铁路建设工程质量管理中的具体应用。

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

HTML PDF 收藏

针对Wimax中多用户的考虑状态转移损失的省电算法 Article

Bo LI,Sung-kwon PARK

《信息与电子工程前沿（英文）》 2016年第17卷第10期页码 1085-1094 doi: 10.1631/FITEE.1500314

摘要：在针对多个MSS的算法中，MSS从工作状态到休眠状态转变的电量损失又未被考虑。本论文研究针对多MSS的PSC参数设置问题，并考虑MSS从工作状态到休眠状态转变的电量损失。该问题是NP难问题。

关键词：省电类型；状态转变损失；IEEE 802.16e/m；服务质量

HTML PDF 收藏

聚酯材料状态方程的实验研究

林鹏,王长利,李焰,刘文祥,王等旺

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

摘要：

在单级轻气炮上对聚酯材料的激波状态方程进行了实验研究。最高撞击速度为526 m/s，相应在靶中得到的最高撞击压力为2.14 GPa。由实验结果拟合得到了聚酯材料的Hugoniot线性关系和多项式状态方程以及Grüneisen状态方程。

关键词：聚酯材料状态方程 Hugoniot 激波

HTML PDF 收藏

基于光纤激光传感器的重载铁路列车在途安全状态监测技术

杜彦良,张文涛

《中国工程科学》 2009年第11卷第10期页码 61-66

摘要：

针对重载铁路运行安全监测的迫切需求，提出了一种基于光纤激光传感器的重载铁路在途安全状态监测技术。在给出了光纤激光传感器基本原理与在途安全状态监测技术方案的基础上，指出了其中需要重点解决的关键技术，并给出了具体的实现方案。主要包括：高性能光纤激光振动传感器技术，高精度波长解调技术以及危险状态模式识别技术等。最后，给出了该监测技术的系统实现方案。

关键词：光纤激光器重载铁路安全状态在途

HTML PDF 收藏

土坡稳定分析应力状态新方法的过程解析

王国体,王婉娣

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

摘要：

依据土体应力状态、计算边坡稳定安全系数的思想，结合对土体根本性质的认识，对基本假定、公式推导过程和工程应用进行了详细的说明。

关键词：土坡稳定分析方法应力状态稳定安全系数

HTML PDF 收藏

UML状态图的机械语义和精化研究 Article

Feng SHENG, Liang DOU, Zong-yuan YANG

《信息与电子工程前沿（英文）》 2017年第18卷第11期页码 1773-1783 doi: 10.1631/FITEE.1601196

摘要：本文使用定理证明器Coq形式定义了UML状态图的语义和模型之间的精化关系，形成机械语义。基于机械语义，模型语义信息及精化关系可以被描述为谓词及定理，在定理证明器Coq中进行证明。

关键词： UML状态图；Coq；精化；结构化操作语义

HTML PDF 收藏

基于ARIMA和Kalman滤波的道路交通状态实时预测 Article

东伟徐,永东王,利民贾,勇秦,宏辉董

《信息与电子工程前沿（英文）》 2017年第18卷第2期页码 287-302 doi: 10.1631/FITEE.1500381

摘要：实验结果表明，基于ARIMA模型和Kalman滤波的实时道路交通状态预测方法是可行的，并且可以获得很高的精度。

关键词： ARIMA模型；Kalman滤波；建模；训练；预测

HTML PDF 收藏

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

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

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

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

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

HTML PDF 收藏

一种基于矩阵的有限状态机静态分析方法 Research Article

邓鹤1,闫永义1,陈增强2

《信息与电子工程前沿（英文）》 2022年第23卷第8期页码 1239-1246 doi: 10.1631/FITEE.2100561

摘要：在有限状态机研究领域，传统矩阵法首先构造状态转移矩阵，然后利用状态转移矩阵的幂来表示系统动态转移过程。这一过程是有限状态机系统分析的基石。本文提出一种基于矩阵的静态方法。该方法从拓扑结构的视角审视有限状态机，而非传统动态转移过程的视角，因此能够避免现有方法中存在的“维度爆炸”问题。基于这种静态方法，本文重新分析确定有限状态机的闭环检测与可控性问题。

关键词：逻辑系统；有限值系统；矩阵的半张量积；有限状态机；矩阵方法

HTML PDF 收藏

基于非完美信道状态的下行OFDMA系统中优化物理层安全问题的资源分配算法研究 None

Wei YANG, Jing MAO, Chen CHEN, Xiang CHENG, Liu-qing YANG, Hai-ge XIANG

《信息与电子工程前沿（英文）》 2018年第19卷第3期页码 398-408 doi: 10.1631/FITEE.1700026

摘要：假设系统中存在多名合法用户和一名采取“被动窃听”方式的非法入侵者，同时考虑基站端收到合法用户和窃听者的信道状态信息均含有误差。讨论了3种非完美信道状态信息情况，分别是：（1）信道信息存在估计误差；（2）信道信息反馈存在时延，需要通过预测估计当前信道状态；（3）反馈信道容量受限，导致量化误差，运用率失真理论可以推导出反馈信道容量的下界

关键词：资源分配；正交频分多址（OFDMA）；非完美信道状态信息；物理层安全

HTML PDF 收藏

基于实际工作状态的多跨悬索桥中间塔静力试验模型设计

吉林,王陶,吴寒亮

《中国工程科学》 2012年第14卷第5期页码 66-70

摘要：基于泰州大桥的实际工作状态（中间塔的纵向最不利工况），采用静力相似理论设计中间塔缩尺模型。

关键词：悬索桥中间塔实际工作状态相似理论数值仿真模型试验