Search | Engineering

订阅投稿

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

资源类型

期刊论文 75

年份

2023 7

2022 4

2021 3

2020 10

2019 4

2018 1

2017 4

2016 2

2011 3

2009 1

2008 3

2007 3

2006 4

2005 9

2004 10

2003 2

2002 2

2001 2

2000 1

展开︾

关键词

严格雪崩准则 3

自相关函数 3

Bent函数 2

Walsh循环谱 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

RBF神经网络 1

Rough集 1

SAC 1

展开︾

检索范围：

排序：展示方式：

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

杨锐,曾本胜,李世取

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

摘要：

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

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

HTML PDF 收藏

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

Xiao-hua LI, Ji-zhong SHEN

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

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

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

HTML PDF 收藏

基于切换机制的所有子系统不稳定的非周期采样布尔控制网络镇定问题研究 Research Articles

Liang-jie SUN, Jian-quan LU, Wai-Ki CHING

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

摘要：本文旨在进一步研究带有非周期采样控制的布尔控制网络的全局稳定性。前期工作指出一个带有非周期采样控制的布尔控制网络能够被转化为一个切换布尔网络；通过研究转化后的切换布尔网络的全局稳定性，可以进一步得到带有非周期采样控制的布尔控制网络的全局稳定性。遗憾的是，由于前期工作主要思想是利用稳定子系统抵消由不稳定子系统引起的状态发散，因此所考虑的切换布尔网络至少含有一个稳定子系统。本文主旨是恰当的切换行为也可以具有良好稳定特性；即当所有子系统都不稳定时，通过设计合适的切换律，切换布尔网络也能达到稳定。这与前期工作的思想完全不同。具体地，对这种情况，首先驻留时间被要求限制在一对上下界内；然后，利用离散化李雅普诺夫函数和驻留时间方法，得到一个全局稳定的充分条件；最后，通过一个生物实例来论证所得结论。

关键词：非周期采样控制；布尔控制网络；不稳定子系统；离散化李雅普诺夫函数；驻留时间

HTML PDF 收藏

具有任意有限延迟耦合布尔网络的完全同步 Research Articles

Jie LIU, Lulu LI, HabibM. FARDOUN

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

摘要：研究耦合延迟布尔网络完全同步性问题。文中所讨论的耦合延迟布尔网络模型中，状态延迟和输出延迟可能不相等，并且每个布尔网络中的状态延迟也可能不相等。基于矩阵半张量积获得耦合延迟布尔网络达到完全同步的充要条件。提供解决耦合延迟布尔网络完全同步性的有效算法。最后，通过数值算例说明该算法的有效性。

关键词：布尔网络；同步性；时滞

HTML PDF 收藏

基于级联聚合算法下的布尔网络最优单点摄动 Research Articles

Jin-feng PAN, Min MENG

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

摘要：研究级联聚合算法分割下的大型布尔网络最优单点摄动问题；最大化期望吸引子吸引域，同时最小化非期望吸引子吸引域。首先，通过级联聚合算法给出一个在单点摄动下保持期望吸引子不变的充要条件。

关键词：大型布尔网络；吸引子；级联聚合算法；单点摄动

HTML PDF 收藏

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

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

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

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

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

HTML PDF 收藏

基于网络结构的布尔网络输出反馈镇定器设计 Research Articles

Jie ZHONG, Bo-wen LI, Yang LIU, Wei-hua GUI

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

摘要：本文利用矩阵半张量积工具，分析与研究布尔网络输出反馈镇定器的设计。基于描述节点间耦合关系的网络结构信息，设计了输出反馈镇定器以实现全局稳定。与传统牵制控制器设计相比，输出反馈镇定器设计不再基于布尔网络的状态转移矩阵，可以有效确定牵制节点，降低计算复杂度。本文所提方法有效避免了计算2n×2n维的状态转移矩阵，这里n是布尔网络的节点数。结果表明，与传统布尔网络牵制控制相比，该方法更为简单、简洁。

关键词：布尔网络；输出反馈镇定器；网络结构；矩阵半张量积

HTML PDF 收藏

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

郭锦辉,李世取

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

摘要：

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

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

HTML PDF 收藏

具有状态依赖随机脉冲的布尔网络稳定性研究

沈雅雯,郭宇骞,桂卫华

《信息与电子工程前沿（英文）》 2021年第22卷第2期页码 141-286 doi: 10.1631/FITEE.1900454

摘要：研究了具有由状态和随机因素触发脉冲的布尔网络的稳定性。采用混合指数模型描述脉冲神经网络。首先，得到前向完备性的几个充要条件。其次，基于概率布尔网络的稳定性准则和前向完备性准则，给出以概率1有限时间稳定性和依分布渐近稳定性的充要条件。讨论了这两种稳定性之间的关系。最后，给出算例和时域仿真结果。

关键词：脉冲布尔网络；前向完备性；以概率1有限时间稳定性；依分布渐近稳定性

HTML PDF 收藏

布尔控制网络的级联分解：一种图论方法 Research Articles

Yi-feng LI, Jian-dong ZHU

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

摘要：采用图论方法研究布尔控制网络的两类级联分解问题。提出嵌套完美等点划分（NPEVP）的概念。基于NPEVP，得到级联分解问题可解的充要图条件。

关键词：布尔控制网络；半张量积；级联分解；图条件

HTML PDF 收藏

状态和控制均具有多时滞的布尔控制网络可控性 Research Article

李一峰1,王兰2

《信息与电子工程前沿（英文）》 2023年第24卷第6期页码 906-915 doi: 10.1631/FITEE.2200618

摘要：本文研究状态和控制均具有多时滞的布尔控制网络可控性问题。首先，考虑控制具有多时滞的布尔控制网络可控性问题。其次，研究状态具有多时滞的布尔控制网络可控性问题，提出一个状态具有多时滞的布尔控制网络可控的充分必要条件。然后，提出一个状态和控制均具有多时滞的布尔控制网络可控性矩阵，利用该矩阵，提供一个简洁的可控性条件。最后，给出2个例子说明得到的理论结果。

关键词：布尔控制网络；矩阵半张量积；能控性；时滞

HTML PDF 收藏

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

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

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

摘要：

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

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

HTML PDF 收藏

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

张文英,李世取

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

摘要：

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

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

HTML PDF 收藏

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

梁增,李世取

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

摘要：

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

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