| 计量逻辑学中的雪崩逻辑公式 |
| |
| 引用本文： | 王庆平,王国俊.计量逻辑学中的雪崩逻辑公式[J].模糊系统与数学,2012,26(4):12-19. |
| |
| 作者姓名： | 王庆平 王国俊 |
| |
| 作者单位： | 1. 聊城大学数学科学学院,山东聊城252059;陕西师范大学数学与信息科学学院,陕西西安710062
2. 陕西师范大学数学与信息科学学院,陕西西安,710062 |
| |
| 基金项目： | 国家自然科学基金资助项目，陕西省教育厅自然科学基金资助项目 |
| |
| 摘 要： | 将密码学中满足严格雪崩准则的布尔函数的概念引入到计量逻辑学之中,提出了雪崩逻辑公式的概念,并研究了雪崩逻辑公式的真度及其性质。证明了至少含有三个原子公式的雪崩逻辑公式的真度之集为H1={k/2n-12n-3≤k≤3×2n-3;n=3,4,…},在此基础上,通过引入函数ξ建立了n(n≥3)元雪崩布尔函数个数的表达式,给出了雪崩逻辑公式的构造方法。最后,研究了反射变换下k阶雪崩逻辑公式的性质。
|
| 关 键 词： | 计量逻辑学 雪崩逻辑公式 真度 反射变换 雪崩布尔函数 |
Avalanche Logic Formulae in Quantitative Logic |
| |
| WANG Qing-ping
,
WANG Guo-jun.Avalanche Logic Formulae in Quantitative Logic[J].Fuzzy Systems and Mathematics,2012,26(4):12-19. |
| |
| Authors: | WANG Qing-ping WANG Guo-jun |
| |
| Institution: | 1.School of Mathematics Science,Liaocheng University,Liaocheng 252059,China;2.College of Mathematics and Information Science,Shaanxi Normal University,Xi’an 710062,China) |
| |
| Abstract: | The concept of Boolean functions satisfying strict avalanche criterion in cryptology is introduced into Quantitative Logic.The concept of avalanche logic formulae is proposed. The truth degree of avalanche logic formulae and their properties are studied.It is proved that the set of truth degree of avalanche logic formulae which contain at least three atom formulae is H1={k/2n-1|2n-3≤k≤3×2n-3;n=3,4,…}.Then,a formula for calculating the total number of avalanche Boolean functions of arity n(n≥3) is established by means of a newly introduced function ξ, and a method of construction of avalanche logic formulae is given.Finally, the properties of avalanche logic formulae of order k under reflexive transformation are studied. |
| |
| Keywords: | Quantitative Logic Avalanche Formulae Truth Degree Reflexive Transformation Avalanche Boolean Functions |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
