Search | Engineering

订阅投稿

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

资源类型

期刊论文 924

年份

2024 1

2023 68

2022 68

2021 72

2020 59

2019 48

2018 67

2017 52

2016 38

2015 34

2014 13

2013 23

2012 21

2011 21

2010 22

2009 15

2008 25

2007 35

2006 43

2005 40

展开︾

关键词

系统工程 14

智能制造 8

开放的复杂巨系统 7

系统科学 7

系统集成 7

物联网 5

仿真 4

可持续发展 4

复杂系统 4

新一代智能制造 4

电力系统 4

电动汽车 4

神经网络 4

系统 4

钱学森 4

新一代人工智能 3

系统仿真 3

解耦控制 3

展开︾

检索范围：

排序：展示方式：

基于逻辑系统框架的节能换档控制策略设计 Research Articles

Ming-xin KANG, Jin-wu GAO

《信息与电子工程前沿（英文）》 2020年第21卷第2期页码 340-350 doi: 10.1631/FITEE.1900459

摘要：交通信息的有效获取为汽车动力系统节能减排控制带来巨大潜力。提出一种旨在提升汽车燃油经济性能的基于逻辑控制的换挡策略。考虑到档位控制的离散特性，换挡策略可在逻辑系统框架下设计。鉴于此，汽车车速动态被离散量化为若干逻辑状态，进而可用马尔可夫过程模型建模为一个逻辑系统。在逻辑系统框架下，将汽车燃油优化问题建模为滚动时域档位优化控制问题，并采用基于代数运算的动态优化算法在线求解最优档位控制策略。仿真结果表明，相较于传统换挡策略，所提出的控制器能有效提升燃油经济性能。

关键词：随机逻辑系统；换挡策略；滚动时域优化；交通信息；节能驾驶

HTML PDF 收藏

一类非仿射离散非线性系统的直接自适应模糊滑模控制 Article

Xiao-yu ZHANG

《信息与电子工程前沿（英文）》 2016年第17卷第12期页码 1331-1343 doi: 10.1631/FITEE.1500318

摘要：针对非仿射离散非线性系统的带干扰轨迹跟踪问题，提出一种直接自适应模糊滑模控制设计。为了获得自适应特性及消除滑模控制抖振，通过使用一个动态模糊逻辑系统（Dynamic fuzzy logical system, DFLS）实现等价控制。DFLS的参数实行在线自调节。用Lyapunov分析方法验证了滑模控制的稳定性，结果表明，整个系统渐近稳定且具备自适应、消除抖振的特点。通过数值仿真和一个2自由度机械臂的应用设计仿真证明了所提出设计的良好性能。

关键词：非线性系统；离散系统；动态模糊逻辑系统；直接自适应；滑模控制

HTML PDF 收藏

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

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

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

摘要：本文将FSM视为逻辑动态系统，借鉴控制论中动态系统平衡点的概念，引入t-等价状态和t-源等价状态概念。基于近年提出的FSM状态转移动力学方程，得到t-等价状态和t-源等价状态的数学描述（该数学描述可类比于控制论中关于动态系统平衡点的充要条件），进而给出该优化问题的数学解释。

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

HTML PDF 收藏

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

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

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

摘要：在有限状态机研究领域，传统矩阵法首先构造状态转移矩阵，然后利用状态转移矩阵的幂来表示系统动态转移过程。这一过程是有限状态机系统分析的基石。本文提出一种基于矩阵的静态方法。

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

HTML PDF 收藏

探测高超声速滑翔飞行器的区间二型模糊逻辑雷达任务优先级分配方法 Research Articles

孟繁卿1,田康生2

《信息与电子工程前沿（英文）》 2022年第23卷第3期页码 488-501 doi: 10.1631/FITEE.2000560

摘要：针对相控阵雷达探测临近空间高超声速滑翔飞行器时的资源管理问题，设计了一种基于区间二型模糊逻辑系统的雷达任务优先级分配方法。详细阐述了雷达任务数学模型、高超声速滑翔目标的运动模型和探测模型。为减少模糊规则数、避免规则爆炸，设计了分层结构的区间二型模糊逻辑系统。最后，通过仿真验证该方法可行性。结果表明，基于区间二型模糊逻辑系统的任务优先级分配方法具有更高的精确跟踪率、平均初始优先级和目标威胁度以及更短的偏移时间。

关键词：高超声速滑翔飞行器；相控阵雷达；区间二型模糊逻辑系统；优先级分配

HTML PDF 收藏

一种基于模糊逻辑的带宽管理方法

李祖欣,王万良,雷必成,陈惠英

《中国工程科学》 2008年第10卷第7期页码 104-111

摘要：

在网络带宽受限的网络控制系统中，设计了一个基于一维输入输出映射关系的模糊逻辑调节器，对控制系统的带宽进行动态管理。通过调整该模糊逻辑调节器中的非线性偏移因子可以进一步改善系统的控制性能和带宽需求。同时利用线性矩阵不等式及资源受限条件来确定带宽动态分配的上下界来保证系的稳定性。另外，定义了多回路归一化控制质量和归一化带宽需求度性能衡量指标来评价网络控制系统的全局性能。在此评价方法下，提出的模糊带宽管理方法和采用固定带宽分配方法进行仿真比较。结果表明模糊带宽管理方法相对于固定带宽分配方法而言在提高系统控制性能的同时也节省了网络带宽。

关键词：模糊带宽管理网络控制系统控制质量带宽需求

HTML PDF 收藏

一种非侵入式的基于功耗的可编程逻辑控制器异常检测方案 Article

Yu-jun XIAO, Wen-yuan XU, Zhen-hua JIA, Zhuo-ran MA, Dong-lian QI

《信息与电子工程前沿（英文）》 2017年第18卷第4期页码 519-534 doi: 10.1631/FITEE.1601540

摘要：工业控制系统广泛应用于关键基础设施的建设中，关系到国计民生，因此，攻击者越来越多地将其作为攻击目标，并造成严重的破坏。可编程逻辑控制器（Programmable logic controller, PLC）作为工业控制系统中的核心组件，能够直接控制现场设备，一旦PLC中运行了恶意程序，则可能直接造成重大财产损失甚至是人员伤亡不幸的是，传统的入侵检测系统和杀毒软件并不能很好地保护PLC的安全，因此，针对PLC的有效的安全防护方案有待被研究。基于上述背景，本文提出了一种非侵入式的基于功耗的PLC异常检测方案。该方案的优点是无需对原工控系统的封装部分进行软硬件的修改，且无需负样本即可实现对未知攻击的检测。

关键词：工业控制系统；可编程逻辑控制器；边信道；异常检测；基于长短记忆单元的神经网络模型

HTML PDF 收藏

满足k阶严格雪崩准则的多值逻辑函数的谱特征

郭锦辉,李世取

《中国工程科学》 2005年第7卷第12期页码 45-48

摘要：

给出了剩余类环Z_m上逻辑函数的k阶严格雪崩准则(SAC)的概念, 用概率方法证明了m值逻辑函数满足高阶严格雪崩准则时一定满足低阶严格雪崩准则, 并借助Chrestenson谱给出了m值逻辑函数满足k阶严格雪崩准则的一个充分必要条件。

关键词： m值逻辑函数 Chrestenson谱自相关函数严格雪崩准则

HTML PDF 收藏

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

Xiao-hua LI, Ji-zhong SHEN

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

摘要：首先，根据逻辑变量的对称性定义，定义基于真值表的有序特征值矩阵。通过分析12类对称变量有序特征值矩阵的约束条件，提出对称变量检测算法。该算法适用于含无关项布尔函数和不含无关项布尔函数中的对称变量检测。

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

HTML PDF 收藏

碳纳米管场效应管四进制全加器设计与分析 Article

Mohammad Hossein MOAIYERI,Shima SEDIGHIANI,Fazel SHARIFI,Keivan NAVI

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

摘要：概要：CMOS二进制逻辑受短沟道效应、功率密度及互连约束等条件的限制。非硅多值逻辑计算是克服上述问题的一种有效方案。

关键词：纳米电子；碳纳米管场效应管；多值逻辑；四进制逻辑

HTML PDF 收藏

一种基于描述逻辑的体系质量需求建模与验证方法 Article

Qing-long WANG,Zhi-xue WANG,Ting-ting ZHANG,Wei-xing ZHU

《信息与电子工程前沿（英文）》 2017年第18卷第3期页码 346-361 doi: 10.1631/FITEE.1500309

摘要：针对体系质量需求建模和验证问题，本文提出一种基于描述逻辑的体系质量需求建模与验证方法。然后，提出了模型转换算法将模糊UML构建的体系需求模型转换为描述逻辑本体模型，并通过使用描述逻辑本体推理工具实现需求模型的自动化验证。最后，通过一个案例验证和演示了本文方法的正确性和可行性。

关键词：体系；云模型；描述逻辑；需求验证

HTML PDF 收藏

生态文明建设“两山”理论的内在逻辑与发展路径

胡咏君,吴剑

《中国工程科学》 2019年第21卷第5期页码 151-158 doi: 10.15302/J-SSCAE-2019.05.004

摘要：本文从“两山”理论指导实践的关键问题入手，采用外部性和经济增长理论方法，解析了生态产品价值实现的内在逻辑和绿色增长的内在机理，梳理形成“两山”理论指导实践发展的基本路径研究表明，生态产品价值实现的内在逻辑表现为从微观上引导和规范经济主体的生态化，主要路径是生态税费、生态市场、生态补偿和绿色金融；区域绿色增长的内在逻辑体现为生态与“空间– 产业&

关键词：生态文明建设 “两山”理论逻辑路径

HTML PDF 收藏

多重受限时滞逻辑控制网络的输出跟踪 Research Articles

Ya-ting ZHENG, Jun-e FENG

《信息与电子工程前沿（英文）》 2020年第21卷第2期页码 316-323 doi: 10.1631/FITEE.1900376

摘要：本文深入研究具有状态和控制受限的时滞逻辑控制网络的输出跟踪问题。与其他类型时滞相比，状态依赖型时滞数值的更新依赖当前的状态值和一个伪逻辑函数。采用矩阵半张量积方法将动态方程转化为代数形式，进而构造一个等价扩维系统。基于该扩维系统，输出跟踪问题被转化为集合镇定问题。利用变换的状态转移矩阵，可得到该系统实现输出跟踪的充分必要条件，通过数学软件容易验证此条件。此外，设计了状态反馈控制器使时滞逻辑控制网络的输出能跟踪参考信号。最后，通过一个例子验证本文的理论结果。

关键词：逻辑控制网络；多重受限；输出跟踪；镇定；状态依赖型时滞；半张量积

HTML PDF 收藏

选择逻辑函数的密码学性质

梁增,李世取

《中国工程科学》 2005年第7卷第7期页码 50-54

摘要：

通过计算选择逻辑函数的Walsh循环谱和自相关函数，系统分析了选择逻辑函数的密码学性质。所得结论表明选择逻辑函数在变元个数较大的情况下具有理想的稳定性，能够抵抗最佳仿射（BAA）攻击，但是其“扩散”特性不够理想，在一定意义下不能有效地抗击差分攻击。讨论了与选择逻辑函数线性等价意义下满足严格雪崩准则或具有相关免疫性的逻辑函数构造问题。

关键词：选择逻辑函数 Walsh循环谱自相关函数严格雪崩准则相关免疫概率表示式

HTML PDF 收藏

基于知识库的知识发现（KDK）的结构模型与挖掘算法研究

杨炳儒,申江涛,陈泓婕

《中国工程科学》 2003年第5卷第6期页码 49-54

摘要：

从知识库中发现新知识KDK（knowledge discovery in knowledgebase）是一个新课题，它的成功将直接作用于大型知识库的构建，并将为解决目前机器学习的瓶颈问题——知识获取起到重要影响。笔者的主要工作是：基于知识库中事实的KDK归纳结构、算法及其验证；基于知识库中规则的KDK归纳结构、算法及其验证。

关键词：基于知识库的知识发现卡尔纳普归纳逻辑科恩归纳逻辑假设评估