期刊文献+
共找到2篇文章
< 1 >
每页显示 20 50 100
基于公式真度的公式集约简 被引量:4
1
作者 于鹏 候再恩 《模糊系统与数学》 CSCD 北大核心 2010年第1期66-70,共5页
基于经典命题逻辑的真度理论,讨论了经典命题逻辑系统当中公式集的约简问题。提出了真度约简及α-真度约简的概念,为公式集的约简提供了一种可行的操作方法。
关键词 Boole函数 公式真度 公式集约简 α-真度约简 近似推理
下载PDF
布尔函数的迹单项式逼近 被引量:1
2
作者 祁传达 袁小转 邵辉 《信阳师范学院学报(自然科学版)》 CAS 北大核心 2014年第3期440-443,共4页
提出了用单项迹函数代替线性函数来定义的布尔函数一种新的谱值,称之为布尔函数的d-Walsh循环谱,通过计算d-Walsh循环谱来研究布尔函数的最佳单项迹函数逼近,使用该方法的计算复杂性仅为22n/n.利用单项迹函数逼近序列密码的前馈函数可... 提出了用单项迹函数代替线性函数来定义的布尔函数一种新的谱值,称之为布尔函数的d-Walsh循环谱,通过计算d-Walsh循环谱来研究布尔函数的最佳单项迹函数逼近,使用该方法的计算复杂性仅为22n/n.利用单项迹函数逼近序列密码的前馈函数可实现对序列密码的采样攻击,对序列密码设计与分析具有重要意义. 展开更多
关键词 布尔函数 d-Walsh谱 迹函数 单项迹函数逼近
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部