Search | Engineering

订阅投稿

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

资源类型

期刊论文 100

会议视频 2

年份

2023 8

2022 8

2021 5

2020 9

2019 6

2018 4

2017 8

2016 6

2013 1

2011 3

2009 1

2008 4

2007 3

2006 5

2005 9

2004 10

2003 4

2002 3

2001 3

2000 2

展开︾

关键词

严格雪崩准则 3

Bent函数 2

Walsh循环谱 2

人工智能 2

可拓集合 2

自相关函数 2

2-基展开 1

AR模型 1

BP神经网络 1

BP算法 1

B样条函数 1

CAESAR竞赛；认证加密算法；分组密码；序列密码；哈希函数；安全性评估 1

Chrestenson谱 1

Gossip模型 1

Griewank；双尺度结构；多尺度量子谐振子算法；量子隧道效应 1

HVAC系统 1

Hilbert变换 1

LS算法 1

PTCNN 1

展开︾

检索范围：

排序：展示方式：

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

郭锦辉,李世取

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

摘要：

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

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

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

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

潘中良

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

摘要：

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

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

HTML PDF 收藏

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

Xiao-hua LI, Ji-zhong SHEN

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

摘要：为简化布尔函数中12类对称变量的检测过程，本文提出基于最小项展开或真值表的对称性检测新算法。首先，根据逻辑变量的对称性定义，定义基于真值表的有序特征值矩阵。该算法适用于含无关项布尔函数和不含无关项布尔函数中的对称变量检测。该算法避免了图形方法、谱系数方法、与—异或方法中的变量数限制，也解决了快速算法中的完备性问题。结果表明，与传统方法相比，新算法在适用的变量数、检测含无关项布尔函数、检测类型、检测过程复杂度方面是最优算法。

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

HTML PDF 收藏

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

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

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

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

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

HTML PDF 收藏

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

杨锐,曾本胜,李世取

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

摘要：

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

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

HTML PDF 收藏

密码函数的一类递归构造方法

滕吉红,张文英,刘文芬,李世取

《中国工程科学》 2003年第5卷第7期页码 47-52

摘要：

首先利用递归的方法证明了结构形式更为一般的布尔函数的Walsh谱分解式，然后利用这类布尔函数Walsh谱分解式，给出了密码学和编码学中具有重要应用价值的一些布尔函数，如弹性函数、Bent函数以及满足严格雪崩准则的布尔函数的构造方法

关键词： Walsh谱 Walsh谱分解式 Bent函数弹性函数严格雪崩准则

HTML PDF 收藏

类差分平衡函数的性质及其应用

张文英,李世取

《中国工程科学》 2004年第6卷第3期页码 45-52

摘要：

定义了布尔函数的类差分和类差分平衡函数，研究了类差分平衡函数的密码学性质以及构造方法。作为类差分平衡函数的应用，给出了〓上逻辑函数是完全非线性函数的充要条件，并在首先分析得到所有四元类差分平衡函数的基础上，编程搜索出〓上所有的完全非线性函数。

关键词： Bent函数完全非线性函数 2-基展开类差分类自相关函数类差分平衡函数

HTML PDF 收藏

指数多项式均匀样条模型

赵颜利,平萍,刘凤玉

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

摘要：

给出了k（ k ≥ ３）阶指数多项式的均匀样条模型。该类模型具有很多与B 样条模型相同的性质，并且增加了一个可调节的形状参数。由该模型构造的曲线，通过改变形状参数的取值，可以调整曲线接近其控制多边形的程度。应用于CAD/CAM领域，可作为几何造型的一种新的有效模型。

关键词：指数多项式样条函数 B样条函数形状参数

HTML PDF 收藏

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

Ming-xin KANG, Jin-wu GAO

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

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

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

HTML PDF 收藏

任意隶属度函数模糊系统的逼近特性

张钊,裴燕玲,郑爱红

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

摘要：

以四边形隶属函数作为一般的隶属函数，利用Stone-Weierstrass定理对任意隶属函数的模糊系统任意逼近紧集上的任意连续实函数进行证明，是对基本模糊系统逼近任意连续非线性函数理论的推广，模糊系统对任意非线性函数的逼近性能

关键词：模糊系统隶属函数逼近