Search | Engineering

订阅投稿

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

资源类型

期刊论文 37

会议视频 2

年份

2023 2

2022 4

2021 3

2020 4

2019 2

2018 3

2017 6

2016 4

2013 1

2008 1

2006 1

2005 2

2003 2

2002 2

2001 1

2000 1

展开︾

关键词

严格雪崩准则 2

人工智能 2

模糊逻辑 2

粗糙集 2

自相关函数 2

逻辑推理 2

Chrestenson谱 1

QCA）；可逆逻辑；DG门；二进制减法器；量子成本 1

Walsh循环谱 1

m值逻辑函数 1

“两山”理论 1

人机识别；随机森林；支持向量机；逻辑回归；多维性能评价指标 1

代数推理 1

仿真技术 1

体系；云模型；描述逻辑；需求验证 1

信息技术 1

信息融合 1

假设评估 1

共振隧穿器件（RTD）；非相交分解算法；通用逻辑门；真值矩阵；函数综合算法 1

展开︾

检索范围：

排序：展示方式：

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

郭锦辉,李世取

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

摘要：

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

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

HTML PDF 收藏

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

Ming-xin KANG, Jin-wu GAO

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

摘要：提出一种旨在提升汽车燃油经济性能的基于逻辑控制的换挡策略。通过分析处理历史驾驶数据和实时交通信息，驾驶员在特定路段的功率需求显示出随机特征且可被统计分析；该随机特征为换挡策略设计提供了新思路。考虑到档位控制的离散特性，换挡策略可在逻辑系统框架下设计。鉴于此，汽车车速动态被离散量化为若干逻辑状态，进而可用马尔可夫过程模型建模为一个逻辑系统。在逻辑系统框架下，将汽车燃油优化问题建模为滚动时域档位优化控制问题，并采用基于代数运算的动态优化算法在线求解最优档位控制策略。仿真结果表明，相较于传统换挡策略，所提出的控制器能有效提升燃油经济性能。

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

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归纳结构、算法及其验证。

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

HTML PDF 收藏

图引导正则最小化的随机超梯度的交替方向方法 None

Qiang LAN, Lin-bo QIAO, Yi-jie WANG

《信息与电子工程前沿（英文）》 2018年第19卷第6期页码 755-762 doi: 10.1631/FITEE.1601771

摘要：机器学习中一些重要应用遵循图导引优化公式等作为线性回归、逻辑回归、Lasso结构化扩展以及结构化正则化逻辑回归的原则。通过融合逻辑回归和图形引导正则化回归，在几类数据集上进行了试验。

关键词：随机优化；图形引导最小化；超梯度法；融合逻辑回归；图导向正则化逻辑回归

HTML PDF 收藏

逻辑控制网络控制设计方法新进展 Review Articles

Xiang-shan KONG, Shu-ling WANG, Hai-tao LI, Fuad E. ALSAADI

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

摘要：控制设计是逻辑控制网络研究的一个基本问题。本文对逻辑控制网络控制设计方法的新进展进行综述。首先回顾矩阵半张量积和逻辑控制网络的一些基本结果。接着介绍逻辑控制网络研究中的控制设计方法新进展，包括能达集法、牵制控制法、控制李雅普诺夫函数法、事件触发法和采样控制法。最后通过一个示例说明这些方法的有效性。

关键词：逻辑控制网络；控制设计；矩阵半张量积

HTML PDF 收藏

基于RTD三变量通用逻辑门的函数综合算法 Article

Mao-qun YAO, Kai YANG, Ji-zhong SHEN, Cong-yuan XU

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

摘要：通用逻辑门因其强大的逻辑功能，成为数字电路的重要单元电路，而目前基于RTD通用逻辑门实现n变量逻辑函数的综合算法还很缺乏。本文基于RTD通用逻辑门，提出实现任意n变量逻辑函数的综合算法。首先，提出真值矩阵的概念，并提出一种运用真值矩阵将任意n变量逻辑函数分解成3变量子集函数的非相交分解算法；在上述工作基础上，提出用基于RTD通用阈值逻辑门（universal threshold logicgates, UTLG）、基于RTD三变量异或门XOR3和基于RTD三变量通用逻辑门ULG3实现n变量逻辑函数的综合算法。当n变量逻辑函数为可直接非相交分解函数时，用所提出算法实现的电路十分简单；当n变量逻辑函数为不可直接非相交分解函数时，用所提算法实现的电路比用单一UTLG门或ULG3门实现n变量逻辑函数的电路简单。提出的综合算法规范、可程序化，可方便地用于设计基于RTD通用逻辑门的任意n变量逻辑函数电路。

关键词：共振隧穿器件（RTD）；非相交分解算法；通用逻辑门；真值矩阵；函数综合算法

HTML PDF 收藏

探索知识体系的逻辑与架构：多层次、多尺度及介尺度复杂性

李静海

《工程（英文）》 2016年第2卷第3期页码 276-285 doi: 10.1016/J.ENG.2016.03.001

HTML PDF 收藏

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

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

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

摘要：本文将FSM视为逻辑动态系统，借鉴控制论中动态系统平衡点的概念，引入t-等价状态和t-源等价状态概念。

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

HTML PDF 收藏

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

孟繁卿1,田康生2

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

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

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

HTML PDF 收藏

统一集论与人工智能

张江,林华,贺仲雄

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

摘要：从分析集合理论和人类思维形式之间的关系人手，把统一集理论初步应用到模式识别、聚类分析、逻辑推理、机器学习、智能决策等多种人工智能领域，指出了集合论及其运算系统与逻辑推理系统的等价关系。统一集能对现有的理论进行总结、统一，还为开辟崭新的集合论、逻辑推理方法提供很好的理论基础。

关键词：统一集人工智能集合运算逻辑推理