A framework to express variant and invariant functional spaces for binary logic

作     者：Jeffrey Zhi J.ZHENG Christian H.ZHENG 

作者机构：Department of Information SecuritySchool of SoftwareYunnan UniversityKunming 650200China Conjugate Systems Kunming Ltd.Co.Kunming 650032China Department of Electrical and Electronic Engineering School of EngineeringThe University of MelbourneParkvilleVictoria 3010Australia 

出 版 物：《Frontiers of Electrical and Electronic Engineering in China》 (中国电气与电子工程前沿（英文版）)

年 卷 期：2010年第5卷第2期

页      面：163-172页

学科分类：07[理学] 0701[理学-数学] 070101[理学-基础数学] 

基　　金：This work was supported in part by Information Security Professional Education System Constructions from Yunnan University and Yunnan Education Organization and Writing Environment in Conjugate Systems Kunming Ltd.Co 

主　　题：two-dimensional(2D)organization conjugate symmetry cellular automata(CA) permutation meta-state vector space truth table(TT) variant table(VT) invariant table(IVT) variant logic optimization global coding vector function space 

摘      要：A new framework has been developed to express variant and invariant properties of functions operating on a binary vector *** framework allows for manipulation of dynamic logic using basic operations and *** representations of binary functional spaces are *** ideas of binary functional spaces are extended and additional conditions are added to describe new function representation schemes:F code and C *** of the proposed functional space representation schemes were *** was found that the complete representation for any set of functions operating on a binary sequence of numbers is larger than previously *** complete representation can only be described using a structure having a space of size 2^(2n)×2^(n)!for any given space of functions acting on a binary sequence of length *** framework,along with the proposed coding schemes provides a foundational theory of variant and invariant logic in software and electricelectronic technology and engineering,and has uses in the analysis of the stability of rule-based,dynamic binary systems such as cellular automata.