Search | Engineering

订阅投稿

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

资源类型

期刊论文 403

会议视频 2

会议信息 1

年份

2024 1

2023 12

2022 22

2021 35

2020 39

2019 42

2018 25

2017 32

2016 31

2015 25

2014 16

2013 19

2012 9

2011 11

2010 11

2009 12

2008 7

2007 11

2006 5

2005 10

展开︾

关键词

人工智能 4

严格雪崩准则 3

Bent函数 2

Walsh循环谱 2

pH值 2

不确定性 2

人工神经网络 2

地下水 2

自相关函数 2

/III-V界面 1

1860 MPa等级 1

2-基展开 1

2050 1

2R-1C模型；嵌入式系统；参数估计；非迭代方法；二次型 1

300 M钢 1

32 m箱梁 1

4250 m 1

700 m跨径级别 1

9 %~12 % Cr 钢 1

展开︾

检索范围：

排序：展示方式：

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

郭锦辉,李世取

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

摘要：

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

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

HTML PDF 收藏

量子点细胞自动机中四值逻辑门的设计与模拟新概念 Research Articles

Alireza NAVIDI1, Reza SABBAGHI-NADOOSHAN2, Massoud DOUSTI1

《信息与电子工程前沿（英文）》 2021年第22卷第11期页码 1441-1550 doi: 10.1631/FITEE.2000590

摘要：用QCA进行系统建模和设计多值逻辑门，可使复杂逻辑电路设计更加便捷。本文提出“四值QCA（QQCA）”新概念。该概念已在本团队专为四值QCA模型开发的量子点细胞自动模拟器（QCASim）中设定。设计了基本四值QCA逻辑门，如MIN、MAX和不同类型反相器（SQI，PQI，NQI和IQI），并通过QCASim验证。本文将例示QCASim如何通过其方便的CAD工具集快速而准确地工作。将QQCA主要的逻辑门与基于碳纳米管场效应晶体管（CNFET）的四值门进行比较，结果表明本文所设计的电路具有更小延迟和更低能耗。

关键词：量子点细胞自动机（QCA）；四值逻辑；量子点细胞自动模拟器（QCASim）；四值QCA（QQCA）；四值译码器；四值门

HTML PDF 收藏

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

Xiao-hua LI, Ji-zhong SHEN

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

摘要：为简化布尔函数中12类对称变量的检测过程，本文提出基于最小项展开或真值表的对称性检测新算法。首先，根据逻辑变量的对称性定义，定义基于真值表的有序特征值矩阵。通过分析12类对称变量有序特征值矩阵的约束条件，提出对称变量检测算法。该算法适用于含无关项布尔函数和不含无关项布尔函数中的对称变量检测。结果表明，与传统方法相比，新算法在适用的变量数、检测含无关项布尔函数、检测类型、检测过程复杂度方面是最优算法。

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

HTML PDF 收藏

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

梁增,李世取

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

摘要：

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

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

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

带约束的矩阵值分布式随机优化

夏子聪,刘洋,卢文联,桂卫华

《信息与电子工程前沿（英文）》 2023年第24卷第9期页码 1239-1252 doi: 10.1631/FITEE.2200381

摘要：本文研究带有不等式约束和等式约束的矩阵值分布随机优化问题。其中，问题的目标函数是具有随机变量的多个矩阵值函数的和，并以分布式方式解决了该问题。本文推导了处理约束的惩罚方法，并提出选择可行惩罚函数和惩罚增益的原则。针对随机优化问题，提出一种基于gossip模型的分布式优化算法，并对其收敛性进行证明和分析。

关键词：分布式优化矩阵值优化随机优化罚函数法 Gossip模型

HTML 收藏

数字电路可测性设计的一种故障定位方法

潘中良

《中国工程科学》 2002年第4卷第1期页码 69-74

摘要：

在逻辑函数Reed-Muller模式的电路可测性设计方面，文章采用AND门阵列和XOR门树结构来设计电路，提出了一种设计方案，可实现任意逻辑函数的功能，而且所得电路具有通用测试集和完全可故障定位的特点

关键词：逻辑函数数字电路可测性设计故障定位单故障

HTML PDF 收藏

基于差分进化的椭圆型偏微分方程计算智能求解器 Research Article

Muhammad Faisal Fateh, Aneela Zameer, Sikander M. Mirza, Nasir M.

《信息与电子工程前沿（英文）》 2019年第20卷第10期页码 1445-1456 doi: 10.1631/FITEE.1900221

摘要：将全局留数声明为节点留数的均方根值，并将其作为代价函数。利用标准微分进化方法将椭圆型偏微分方程转化为全局留数的极小化问题求解。同时考虑线性与非线性椭圆偏微分方程的一系列基准问题，验证了该算法的有效性。将基于差分进化的计算节点值与用精确解析表达式得到的对应数据进行比较，比较结果显示了该方法的精确度和收敛性。

关键词：差分进化；边界值问题；偏微分方程；有限差分法；数值计算

HTML PDF 收藏

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

杨炳儒,唐菁

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

摘要：

文中提出基于模糊语言场和模糊语言结构的知识表示新型框架，并提出能够综合处理模糊不确定性与随机不确定性的广义细胞自动机和广义归纳逻辑因果模型。

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

HTML PDF 收藏

基于切换系统建模的倾转旋翼机过渡模式光滑跟踪控制 Research Article

罗苛比,史爽,彭聪

《信息与电子工程前沿（英文）》 2023年第24卷第11期页码 1591-1600 doi: 10.1631/FITEE.2300266

摘要：本文使用切换建模和光滑插值技术，研究倾转旋翼机过渡模式的状态跟踪控制问题。基于过渡模式的非线性动力学模型，采用Jacobi线性化方法，并根据倾转角设计切换信号，建立线性切换系统模型。该方法不直接限制控制输入的幅值，而采用改进的光滑插值方法实现无扰切换。最后，以XV-15倾转旋翼机为例，验证该控制方案的有效性。

关键词：倾转旋翼机；状态跟踪控制；线性切换系统；类时间依赖的多Lyapunov函数方法；光滑插值

HTML PDF 收藏

耗散陀螺系统的李雅普诺夫函数构造：剩余能量函数方法 Personal View

Cem CİVELEK, Özge CİHANBEĞENDİ

《信息与电子工程前沿（英文）》 2020年第21卷第4期页码 629-634 doi: 10.1631/FITEE.1900014

摘要：剩余能量函数（REF）由哈密顿量及损耗或耗散能量（为负）之和组成，将其作为李雅普诺夫函数，可通过李雅普诺夫第二方法作稳定性分析，并从数学上推导出稳定性条件。

关键词：李雅普诺夫函数；剩余能量函数；耗散陀螺系统稳定性

HTML PDF 收藏

用于语音识别的二值神经网络 Regular Papers

Yan-min QIAN, Xu XIANG

《信息与电子工程前沿（英文）》 2019年第20卷第5期页码 701-715 doi: 10.1631/FITEE.1800469

摘要：为降低推理阶段计算量，本文开发了用于语音识别的二进制神经网络，并实现了高速的二值矩阵乘法。在中央处理器(CPU)和图形处理单元(GPU)上，二值矩阵乘法的运行速度是浮点矩阵乘法的5–7倍。针对大规模连续语音识别的声学建模，提出多种二值神经网络及相关模型优化算法。为提高二值模型的精度，探索了从浮点模型到二值模型的知识蒸馏技术。在标准的Switchboard语音识别任务上，该二值神经网络模型比浮点神经网络模型速度提高3–4倍。借助知识蒸馏技术，二值深度神经网络或卷积神经网络相对其浮点神经网络的词错误率增加可以保持在15%以内。若只二值化卷积神经网络的卷积层，词错误率增加几乎可忽略。

关键词：语音识别；二值神经网络；二值矩阵乘法；知识蒸馏；位1计数

HTML PDF 收藏

项目进度管理中基于挣值的随机工期分析 Review

Fernando Acebes, David Poza, José Manuel González-Varona, Adolfo López-Paredes

《工程（英文）》 2022年第9卷第2期页码 148-162 doi: 10.1016/j.eng.2021.07.019

摘要：

挣值工期管理（EDM）是一种用于项目进度管理（PSM）的研究方法，当无法使用挣值管理（EVM）时，可以考虑这种方法。挣值工期管理用于估算进度偏差和最终项目工期。挣值工期管理和挣值管理的关键区别在于：在挣值工期管理中，用工作周期表示活动的值；而在挣值管理中，用成本表示活动的值。本文将展示如何使用挣值工期管理监控随机项目。为便于解释该方法，本文通过实例分析对呈现出高度不确定性的项目开展研究，项目中的各项活动采用随机工期。根据这些活动的网络拓扑分析该方法的可用性，并比较了挣值管理和挣值进度分析法（ESM）对项目进度管理的作用。

关键词：挣值工期管理挣值管理随机项目控制工期预测不确定性

HTML PDF 收藏

正实特征值切换拓扑的一般线性多智能体动态系统稳定性 Article

李升波, 王志涛, 郑洋, 杨殿阁, 游科友

《工程（英文）》 2020年第6卷第6期页码 688-694 doi: 10.1016/j.eng.2020.05.006

摘要：为描述多智能体之间的信息交换，本文将切换拓扑建模为关联矩阵特征值均为正实数的有向图，利用黎卡提不等式设计了分布式控制率，并估算了闭环系统的收敛速度。研究提出了具有切换拓扑的多智能体系统稳定性充分判据，同时利用共同李雅普诺夫函数证明了该闭环系统的稳定性。将所得到的结论应用于网联汽车的队列控制，证明了所提出方法的有效性。

关键词：稳定性多智能体系统切换拓扑共同李雅普诺夫函数

HTML PDF 收藏

与特定密码函数线性等价的布尔函数谱和自相关特征

杨锐,曾本胜,李世取

《中国工程科学》 2005年第7卷第11期页码 60-65

摘要：

对线性等价意义下2个布尔函数的密码学性质的异同做了进一步的分析，得到了一个布尔函数线性等价于某个具有m阶相关免疫性的布尔函数的充分必要条件和线性等价于某个满足k次扩散准则的布尔函数的充分必要条件，在线性等价意义上，给出了由不具有相关免疫性且不满足扩散准则的布尔函数，构造既具有相关免疫性、也满足扩散准则的布尔函数的实例。

关键词：线性等价 Walsh循环谱自相关函数相关免疫性扩散准则 SAC