Search | Engineering

订阅投稿

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

资源类型

期刊论文 50

年份

2023 3

2022 4

2021 4

2020 3

2019 3

2018 4

2017 8

2016 5

2013 4

2008 1

2006 2

2005 2

2003 3

2002 2

2001 1

2000 1

展开︾

关键词

严格雪崩准则 2

拓扑关系 2

方向关系 2

模糊逻辑 2

粗糙集 2

自相关函数 2

逻辑推理 2

CAPP 1

CDR 1

Chrestenson谱 1

MBR 1

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

Voronoi区 1

Walsh循环谱 1

m值逻辑函数 1

“两山”理论 1

三维空间 1

产氢活性 1

人工智能 1

展开︾

检索范围：

排序：展示方式：

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

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

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

摘要：在体系顶层设计问题中，体系质量需求分析的关键是体系需求的建模以及自动验证，需要合适的建模方法来描述体系质量需求以及验证质量需求是否满足体系的能力需求。针对体系质量需求建模和验证问题，本文提出一种基于描述逻辑的体系质量需求建模与验证方法。首先，为解决体系功能和非功能需求的描述问题，通过添加模糊构造子扩展统一建模语言（Unified Modeling Language, UML）中的类和关系并定义了基于元模型的领域特定建模语言以实现体系质量需求中模糊和不确定概念的建模然后，提出了模型转换算法将模糊UML构建的体系需求模型转换为描述逻辑本体模型，并通过使用描述逻辑本体推理工具实现需求模型的自动化验证。最后，通过一个案例验证和演示了本文方法的正确性和可行性。

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

HTML PDF 收藏

基于模糊状态描述的不确定因果归纳自动推理机制

杨炳儒,唐菁

《中国工程科学》 2000年第2卷第5期页码 44-50

摘要：

文中提出基于模糊语言场和模糊语言结构的知识表示新型框架，并提出能够综合处理模糊不确定性与随机不确定性的广义细胞自动机和广义归纳逻辑因果模型。在此基础上，又提出基于模糊状态描述的新型不确定因果归纳自动推理机制，并讨论其在智能控制器研制中的应用。

关键词：语言场语言值结构广义细胞自动机广义归纳逻辑因果模型自动推理智能控制器

HTML PDF 收藏

建筑信息物理模型：一种建筑信息描述新形式

杨启亮,邢建春

《中国工程科学》 2023年第25卷第5期页码 222-232 doi: 10.15302/J-SSCAE-2023.07.027

摘要：离散与连续逻辑融合的建筑状态时空建模理论" outline_type="title" type="outline">《1.离散与连续逻辑融合的建筑状态时空建模理论

BIPM中的基本信息模型用于对建筑空间结构的数字描述，相应状态的时空轨迹表现为离散、静态、有穷、串行，逻辑基础多为离散数学。BIPM中的物理模型用于刻画建筑结构、环境、机电设备系统的物理规律，相应状态的时空轨迹表现为连续、动态、无穷、并发，逻辑基础多为力学、电学、热学。BIPM可信分析与验证理论

BIPM是信息 - 物理耦合、多物理场融合、具有多尺度层级、构造性复杂的逻辑体，内部逻辑交互的正确性、执行路径的畅通程度、执行结果的有效性唯有经过严格的分析和验证开展离散与连续逻辑融合的建筑状态时空建模、信息空间与物理空间耦合的建筑交互行为建模、BIPM可信分析构造与验证等研究，形成BIPM理论基础。

关键词：建筑信息描述；信息模型技术；建筑信息模型（BIM）；数字孪生；建筑工业软件

HTML PDF 收藏

论GIS空间关系描述中存在的几个基本问题

邓敏,李成名,刘晓丽

《中国工程科学》 2013年第15卷第5期页码 20-24

摘要：

首先剖析了空间关系描述中“空间”的概念，论述了拓扑关系具有与实体位置本身无关的特性，进而阐述了空间实体的拓扑表达，分析了拓扑空间描述存在的不足，以及与地理环境、地理空间认知的相关性，提出了纳入度量特性的拓扑空间关系描述的方法。

关键词：空间拓扑空间关系空间关系描述

HTML PDF 收藏

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

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

胡咏君,吴剑

《中国工程科学》 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 收藏

基于Voronoi区的GIS中方向关系的描述与计算

李成名

《中国工程科学》 2013年第15卷第5期页码 25-29

摘要：

方向关系在地理信息系统（GIS）中占据着十分重要的地位，由于它的模糊性和依赖空间实体形状的特性，使得它的形式化描述和判断比较困难。本文在三角形模型（CDR）方法的基础上，利用最小矩形（MBR）四边的Voronoi多边形及其边界，形式化描述了方向关系，进而将方向关系分为主方向关系和次方向关系，并分别给出了两者利用MBR四边Voronoi

关键词：方向关系 Voronoi区 CDR MBR

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

标题作者时间类型操作

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

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

期刊论文

基于模糊状态描述的不确定因果归纳自动推理机制

杨炳儒,唐菁

期刊论文

建筑信息物理模型：一种建筑信息描述新形式

杨启亮,邢建春

期刊论文