Author: Vadim Vasyukevich
Publisher: Springer Science & Business Media
ISBN: 3642216110
Category : Technology & Engineering
Languages : en
Pages : 134
Get Book
Book Description
This book is dedicated to new mathematical instruments assigned for logical modeling of the memory of digital devices. The case in point is logic-dynamical operation named venjunction and venjunctive function as well as sequention and sequentional function. Venjunction and sequention operate within the framework of sequential logic. In a form of the corresponding equations, they organically fit analytical expressions of Boolean algebra. Thus, a sort of symbiosis is formed using elements of asynchronous sequential logic on the one hand and combinational logic on the other hand. So, asynchronous logic is represented in the form of enhanced Boolean logic. The book contains initial concepts, fundamental definitions, statements, principles and rules needed for theoretical justification of the mathematical apparatus and its validity for asynchronous logic. Asynchronous operators named venjunctor and sequentor are designed for practical implementation. These basic elements are assigned for realizing of memory functions in sequential circuits. Present research work is the final stage of generalization and systematization of all those ideas and investigations, author’s interest to which alternately flashed up and faded over many years and for various reasons until formed “critical mass”, and all findings were arranged definitively as a mathematical basis of a theory appropriately associated under a common theme – asynchronous sequential logic, essentially classified as switching logic, which falls into category of algebraic logics.
Author: Vadim Vasyukevich
Publisher: Springer
ISBN: 9783642216121
Category :
Languages : en
Pages : 140
Get Book
Book Description
Covering new mathematical instruments to analyze sequential circuits, this book includes basic concepts, fundamental definitions, statements, principles, and the rules needed to justify the mathematical apparatus and its validity for asynchronous logic.
Author:
Publisher:
ISBN: 9780133245004
Category : Electronic digital computers
Languages : en
Pages : 0
Get Book
Book Description
Author: Andrew Schumann
Publisher: Springer
ISBN: 3319915428
Category : Technology & Engineering
Languages : en
Pages : 468
Get Book
Book Description
This book presents fundamental theoretical results for designing object-oriented programming languages for controlling swarms. It studies the logics of swarm behaviours. According to behaviourism, all behaviours can be controlled or even managed by stimuli in the environment: attractants (motivational reinforcement) and repellents (motivational punishment). At the same time, there are two main stages in reactions to stimuli: sensing (perceiving signals) and motoring (appropriate direct reactions to signals). This book examines the strict limits of behaviourism from the point of view of symbolic logic and algebraic mathematics: how far can animal behaviours be controlled by the topology of stimuli? On the one hand, we can try to design reversible logic gates in which the number of inputs is the same as the number of outputs. In this case, the behaviouristic stimuli are inputs in swarm computing and appropriate reactions at the motoring stage are its outputs. On the other hand, the problem is that even at the sensing stage each unicellular organism can be regarded as a logic gate in which the number of outputs (means of perceiving signals) greatly exceeds the number of inputs (signals).
Author: Frank Markham Brown
Publisher: Courier Corporation
ISBN: 0486164594
Category : Mathematics
Languages : en
Pages : 304
Get Book
Book Description
Concise text begins with overview of elementary mathematical concepts and outlines theory of Boolean algebras; defines operators for elimination, division, and expansion; covers syllogistic reasoning, solution of Boolean equations, functional deduction. 1990 edition.
Author: Donald D. Givone
Publisher: Palgrave Macmillan
ISBN: 9780072525038
Category : Computers
Languages : en
Pages : 738
Get Book
Book Description
Author: Steve Holzner
Publisher: John Wiley & Sons
ISBN: 0470046961
Category : Computers
Languages : en
Pages : 338
Get Book
Book Description
There's a pattern here, and here's how to use it! Find out how the 23 leading design patterns can save you time and trouble Ever feel as if you've solved this programming problem before? You — or someone — probably did, and that's why there's a design pattern to help this time around. This book shows you how (and when) to use the famous patterns developed by the "Gang of Four," plus some new ones, all designed to make your programming life easier. Discover how to: Simplify the programming process with design patterns Make the most of the Decorator, Factory, and Adapter patterns Identify which pattern applies Reduce the amount of code needed for a task Create your own patterns
Author: Chris J. Myers
Publisher: John Wiley & Sons
ISBN: 0471464120
Category : Technology & Engineering
Languages : en
Pages : 424
Get Book
Book Description
With asynchronous circuit design becoming a powerful tool in thedevelopment of new digital systems, circuit designers are expectedto have asynchronous design skills and be able to leverage them toreduce power consumption and increase system speed. This book walksreaders through all of the different methodologies of asynchronouscircuit design, emphasizing practical techniques and real-worldapplications instead of theoretical simulation. The only guide ofits kind, it also features an ftp site complete with supportmaterials. Market: Electrical Engineers, Computer Scientists, DeviceDesigners, and Developers in industry. An Instructor Support FTP site is available from the Wileyeditorial department.
Author: William James Dally
Publisher: Cambridge University Press
ISBN: 0521199506
Category : Computers
Languages : en
Pages : 635
Get Book
Book Description
This book provides students with a system-level perspective and the tools they need to understand, analyze and design complete digital systems using Verilog. It goes beyond the design of simple combinational and sequential modules to show how such modules are used to build complete systems, reflecting digital design in the real world.
Author: Tsutomu Sasao
Publisher: Springer Science & Business Media
ISBN: 9780792397205
Category : Technology & Engineering
Languages : en
Pages : 360
Get Book
Book Description
Representations of Discrete Functions is an edited volume containing 13 chapter contributions from leading researchers with a focus on the latest research results. The first three chapters are introductions and contain many illustrations to clarify concepts presented in the text. It is recommended that these chapters are read first. The book then deals with the following topics: binary decision diagrams (BDDs), multi-terminal binary decision diagrams (MTBDDs), edge-valued binary decision diagrams (EVBDDs), functional decision diagrams (FDDs), Kronecker decision diagrams (KDDs), binary moment diagrams (BMDs), spectral transform decision diagrams (STDDs), ternary decision diagrams (TDDs), spectral transformation of logic functions, other transformations oflogic functions, EXOR-based two-level expressions, FPRM minimization with TDDs and MTBDDs, complexity theories on FDDs, multi-level logic synthesis, and complexity of three-level logic networks. Representations of Discrete Functions is designed for CAD researchers and engineers and will also be of interest to computer scientists who are interested in combinatorial problems. Exercises prepared by the editors help make this book useful as a graduate level textbook.
