Logical Synthesis and Circuitry of Digital Current Circuits: Polynomial Approach

Author(s):  
Nikolay V. Butyrlagin ◽  
Nikolay I. Chernov ◽  
Nikolay N. Prokopenko ◽  
Vladislav Yugay
Keyword(s):  
2012 ◽  
Vol 58 (4) ◽  
pp. 397-402 ◽  
Author(s):  
Michał Doligalski ◽  
Marian Adamski

Abstract The paper presents method for hierarchical configurable Petri nets description in VHDL language. Dual model is an alternative way for behavioral description of the discrete control process. Dual model consists of two correlated models: UML state machine diagram and hierarchical configurable Petri net (HCfgPN). HCfgPN are Petri nets variant with direct support of exceptions handling mechanism. Logical synthesis of dual model is realized by the description of HCfgPN model by means of hardware description language. The paper presents placesoriented method for HCfgPN description in VHDL language


1993 ◽  
Vol 03 (01) ◽  
pp. 3-12 ◽  
Author(s):  
DETLEF SIELING ◽  
INGO WEGENER

(Ordered) binary decision diagrams are a powerful representation for Boolean functions and are widely used in logical synthesis, verification, test pattern generation or as part of CAD tools. NC-algorithms are presented for the most important operations on this representation, e.g. evaluation for a given input, minimization, satisfiability, redundancy test, replacement of variables by constants or functions, equivalence test and synthesis. The algorithms have logarithmic run time on CRCW COMMON PRAMs with a polynomial number of processors.


2021 ◽  
Vol 4 (2) ◽  
pp. 125-144
Author(s):  
Natalia Mironova

The digital transformation of processes and control systems in the last decade has been accompanied by the introduction of artificial intelligence technologies. The purpose of this study is to investigate the conditions for the safe use of intelligent technologies and tools for managing social infrastructure. The research methodology bases on an integrated approach, comparative analysis, and logical synthesis. The author suggests a philosophical analysis of existential risks of intellectual automation of social management and the mechanisms of their implementation, and also investigates the conditions for a safer use of technologies for intelligent automation of socially significant decisions. Generalized measures and search directions are proposed to reduce a number of risks associated with intelligent automation of control.


1957 ◽  
Vol 50 (2) ◽  
pp. 114-122
Author(s):  
W. Servais

Teachers of elementary mathematics are beginning to realize that certain elementary ideas are fundamental to the study of mathematics. This article presents some of these ideas and applies them to topics studied in secondary mathematics.


Author(s):  
Sergey Tiurin ◽  
◽  

In the wave of the green computing trend, research has recently intensified on the so-called adiabatic logic, reversible computing, which is supposed to be the basis of quantum computers and bring to a new level of computing power, combined with low power consumption. The basis of this logic is special reversible gates, for example, Fredkin’s gates. Reversibility is a one-to-one correspondence (bijection) between the inputs and outputs of circuits, which means, on the one hand, the possibility of total control of the results of calculations, and on the other hand, the possibility of returning the obtained "energy" quanta for the perform calculations to their source. This approach can significantly reduce the power consumption of computers, as well as increase the reliability of calculations. There are a lot of publications on this topic, however, the development of universal logic modules on such a basis has not been fully considered. The aim of the study is the development and modeling of universal logic modules based on the Fredkin element. In this case, the methods of logical synthesis of a reversible scheme based on a binary Fredkin element, modeling and analysis of billiard calculations are used. The article presents the proposed schemes of the decoder and multiplexer based on the Fredkin element, the "billiard" simulation. The practical significance of the study lies in the fact that the obtained universal logic modules can be used in the synthesis of binary reversible circuits, for example, FPGAs. The performed simulation can be used as examples in practical exercises in the discrete mathematics, mathematical logic, mathematical modeling, and circuitry disciplines.


2019 ◽  
Vol 4 (2) ◽  
pp. 111-126
Author(s):  
Abu Yazid Adnan Quthny

As a method of Tafsir - in the context of classical science -, hermeneutics is used to solve, interpret and interpret the meanings contained in scriptures, jurisprudence, ancient documents and texts. Hermeneutics as a theory of interpretation will surely give birth to hetereutic products as operational-applications tafsirnya. Fazlur Rahman is one of contemporary Muslim thinkers using the hermeneutic approach in nash interpretation. He grew up in a strong family environment in holding religious teachings by adopting a system of schools against Imam Hanafi (Sunni) as a figure of mujtahid madhhab ulama with traditional-conventional Islamic thinking and developing his scholarship to Western world which influenced many modern-contemporary thinking patterns. Rahman's education with traditional and contemporary background is apparent in his ijtihad results by carrying on the Qur'an, systematic-interpretation and logical-synthesis approaches. Rahman's traditional-liberal form of thought can be understood from his superior theory of double movement theory which was launched in 1982 AD with his basic ideas and ideas about the fundamental differences between the legal aspects of the Qur'an and the ideal aspects of the moral al -Qur'an. The integration of an education system of the traditional system in the state of origin (Pakistan) with the modern system of philosophy while continuing its studies in the West (France) made Rahman consistent with the position of al-Qur'an and sunna as the source of the first and main Islamic teachings as a means to uncover the meaning of the text and messages of both mashdar al-hukm. Fazlur Rahman classified as a unique and prominent thinker of his time is very interesting to be studied. He grew up in Pakistan and expanded his science to France and then to Chicago Canada who was later invited by his local government to return to help in Pakistan. But his struggle in his birthplace did not last long which made Rahman have to move back to Chicago, Canada. It seems like this hijrah experience as a reference to make it easier to remind us of the popular hermeneutic theory which is also pacing or reciprocity between inductive and deductive ie double movement theory around text, context and contextualization Keywords: method , Tafsir and hermeneutics


1971 ◽  
Vol 93 (4) ◽  
pp. 227-232
Author(s):  
R. L. Woods ◽  
K. N. Reid

This paper discusses a procedure for the synthesis of hybrid control systems which incorporate both continuous (proportional) and decisional (binary) variables. A hybrid logic algebra is presented which permits the mathematical statement of input-output relations involving both types of variables. Simplification of these relations is straightforward using the algebra. An example is presented to illustrate the synthesis procedure. Fluid power, electronic, and fluidic implementation schemes are identified.


1985 ◽  
Vol 25 ◽  
pp. 135-179 ◽  
Author(s):  
Richard Sylvan ◽  
Keyword(s):  

Sign in / Sign up

Export Citation Format

Share Document