计量逻辑学中的雪崩逻辑公式  

Avalanche Logic Formulae in Quantitative Logic

作　　者：王庆平[1,2] 王国俊[2] 

机构地区：[1]聊城大学数学科学学院,山东聊城252059 [2]陕西师范大学数学与信息科学学院,陕西西安710062

出　　处：《模糊系统与数学》2012年第4期12-19,共8页Fuzzy Systems and Mathematics

基　　金：国家自然科学基金资助项目(10771129;11171200;61005046;61103133);陕西省教育厅自然科学基金资助项目(09JK439)

摘　　要：将密码学中满足严格雪崩准则的布尔函数的概念引入到计量逻辑学之中,提出了雪崩逻辑公式的概念,并研究了雪崩逻辑公式的真度及其性质。证明了至少含有三个原子公式的雪崩逻辑公式的真度之集为H1={k/2n-12n-3≤k≤3×2n-3;n=3,4,…},在此基础上,通过引入函数ξ建立了n(n≥3)元雪崩布尔函数个数的表达式,给出了雪崩逻辑公式的构造方法。最后,研究了反射变换下k阶雪崩逻辑公式的性质。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/2^n-1｜2^n-3≤k≤3×2^n-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.

关 键 词：计量逻辑学 雪崩逻辑公式 真度 反射变换 雪崩布尔函数 

分 类 号：O159[理学—数学]