多输出逻辑函数最小化的一个算法

本文描述一个多输出逻辑函数的最小化算法。函数解中积项总数的多少被看作是衡量算法优劣的最重要指标。因此,我们努力使解中的积项被尽可能多的组成函数共享。 本文求本源蕴涵项的方法与[1]是相似的。因此,本文也可看成是[1]向多输出函数的延伸。

用Karnaugh图化简多输出逻辑函数

提出了用Karnaugh图化简多输出逻辑函数的方法,并给予了该方法正确性和最简性的证明。

多输出相关免疫逻辑函数的等价刻划及其应用

该文对多输出逻辑函数相关免疫性的两种刻划进行了讨论,在利用Walsh变换理论导出二元随机向量概率分布分解式的基础上,证明了两种刻划的等价性,并利用多输出相关免疫逻辑函数构造了一类不具有输入输出线性组合符合优势的密钥流生成器。

多输出组合逻辑函数共卡诺图化简法的研究

针对多输出逻辑函数 ,建立了一种规范化的共卡诺图化简法。该化简法要求用一张卡诺图表示多输出逻辑函数 ,使得它们的共享部分在几何上相互重叠 ,为辨识同类共享最小项和合并提供了方便。以实例说明了共卡诺图化简法的应用 。

多输出m值逻辑函数的谱特征(英文)

讨论了剩余类环上多输出多值逻辑函数的谱特征,给出了多输出m值逻辑函数的广义一阶Chrestenson谱与单输出m值逻辑函数Chrestenson谱之间的关系,得到了多输出m值逻辑函数的广义一阶Chrestenson谱与其函数之间的转换公式,接着给出了多输出m值逻辑函数的广义一阶Chrestenson谱的概率表示式.同时讨论了多输出m值逻辑函数的广义一阶Chrestenson线性谱和循环谱之间的关系,并给出了这两种谱之间的关系式.

多输出m值逻辑函数的相关函数及其与谱的关系(英文)

首先讨论了剩余类环上多输出m值逻辑函数的相关函数的若干性质,然后给出了多输出m值逻辑函数的相关函数的概率表示式,最后得到了多输出m值逻辑函数的广义一阶Chrestenson谱与自相关函数之间的关系.