Title :
High-speed technology for the solving logical problems
Author :
Ktiaman, Hassan ; Hahanova, Anna ; Shcherbin, Dmitry
Author_Institution :
Comput. Eng. Fac., Kharkov Nat. Univ. of Radioelectron., Kharkov, Ukraine
Abstract :
This article describes a high-speed technology for description and solving logical problems, using the Boolean graphs of associative tables, by means of hardware implementation of parallel synthesis and analysis of algebraic, graph and tabular structures of predicate relations for obtaining deterministic multivalued result in n-dimensional discrete space. The problems of creating a theory of brain-like calculations are considered in the form: a metric of associative relations, association description architecture, optimization of the logical data structures, predicate computing models of system-level, architecture and instruction set of logical associative multiprocessor, synthesis and analysis of adjectives [1-5].
Keywords :
Boolean algebra; formal logic; graph theory; Boolean graph; algebraic analysis; brain-like calculation; graph structure; hardware implementation; high-speed technology; logical associative multiprocessor; logical data structure optimization; logical problem; n-dimensional discrete space; parallel synthesis; system-level; tabular structure; Brain models; Computational modeling; Computers; Consumer electronics; Libraries; Measurement; associative relation; associative table; logic problem; predicate computing model;
Conference_Titel :
CAD Systems in Microelectronics (CADSM), 2011 11th International Conference The Experience of Designing and Application of
Conference_Location :
Polyana-Svalyava
Print_ISBN :
978-1-4577-0042-2
Electronic_ISBN :
978-966-2191-17-2
