scholarly journals Mathematical logic: construction of logic circuits from logical elements in Maple

2021 ◽  
pp. 155-164
Author(s):  
А.А. Оленев ◽  
К.А. Киричек ◽  
Е.В. Потехина
Keyword(s):  
Mathematical Logic ◽  
Computer Modeling ◽  
Computer Algebra ◽  
Computer Algebra System ◽  
Logic Gates ◽  
Logic Circuits ◽  
Basic Logic ◽  
Logical Circuit

В статье рассматриваются возможности применения библиотеки Logic системы компьютерной алгебры Maple в аспекте компьютерного моделирования логических схем в различных базисах. Смоделированы основные логические элементы в Maple. На конкретном примере детально представлен алгоритм построения логической схемы в различных базисах. The article discusses the possibilities of using the Logic library of the Maple computer algebra system in the aspect of computer modeling of logic circuits in various bases. Basic logic gates are modeled in Maple. On a specific example, an algorithm for constructing a logical circuit in various bases is presented in detail.

scholarly journals Constructing Controllable Logic Circuits Based on DNAzyme Activity

Molecules ◽  
2019 ◽  
Vol 24 (22) ◽  
pp. 4134 ◽  
Author(s):  
Fengjie Yang ◽  
Yuan Liu ◽  
Bin Wang ◽  
Changjun Zhou ◽  
Qiang Zhang
Keyword(s):  
Simple Structure ◽  
Logic Gates ◽  
Dna Structure ◽  
Logic Circuits ◽  
Logic Circuit ◽  
Cascade Process ◽  
Activity Regulation ◽  
Basic Logic ◽  
Molecular Logic ◽  
Multi Level

Recently, DNA molecules have been widely used to construct advanced logic devices due to their unique properties, such as a simple structure and predictable behavior. In fact, there are still many challenges in the process of building logic circuits. Among them, the scalability of the logic circuit and the elimination of the crosstalk of the cascade circuit have become the focus of research. Inspired by biological allosteric regulation, we developed a controllable molecular logic circuit strategy based on the activity of DNAzyme. The E6 DNAzyme sequence was temporarily blocked by hairpin DNA and activated under appropriate input trigger conditions. Using a substrate with ribonucleobase (rA) modification as the detection strand, a series of binary basic logic gates (YES, AND, and INHIBIT) were implemented on the computational component platform. At the same time, we demonstrate a parallel demultiplexer and two multi-level cascade circuits (YES-YES and YES-Three input AND (YES-TAND)). In addition, the leakage of the cascade process was reduced by exploring factors such as concentration and DNA structure. The proposed DNAzyme activity regulation strategy provides great potential for the expansion of logic circuits in the future.

scholarly journals Multiple advanced logic gates made of DNA-Ag nanocluster and the application for intelligent detection of pathogenic bacterial genes

2018 ◽  
Vol 9 (7) ◽  
pp. 1774-1781 ◽  
Author(s):  
Xiaodong Lin ◽  
Yaqing Liu ◽  
Jiankang Deng ◽  
Yanlong Lyu ◽  
Pengcheng Qian ◽  
...  
Keyword(s):  
Dna Computing ◽  
Logic Gates ◽  
Logic Circuits ◽  
Basic Logic ◽  
Intelligent Detection ◽  
Bacterial Genes

A set of basic logic gates was constructed on a simple and universal DNA-AgNCs platform, and further integrated into advanced logic circuits for DNA computing and biosensing.

Generation of Correlated Logistic-Normal Random Variates for Medical Decision Trees

1998 ◽  
Vol 37 (03) ◽  
pp. 235-238 ◽  
Author(s):  
M. El-Taha ◽  
D. E. Clark
Keyword(s):  
Monte Carlo ◽  
Decision Trees ◽  
Computer Algebra ◽  
Taylor Series ◽  
Computer Algebra System ◽  
Random Variable ◽  
Monte Carlo Analysis ◽  
Normal Random Variable ◽  
Medical Decision ◽  
Theoretical Results

AbstractA Logistic-Normal random variable (Y) is obtained from a Normal random variable (X) by the relation Y = (ex)/(1 + ex). In Monte-Carlo analysis of decision trees, Logistic-Normal random variates may be used to model the branching probabilities. In some cases, the probabilities to be modeled may not be independent, and a method for generating correlated Logistic-Normal random variates would be useful. A technique for generating correlated Normal random variates has been previously described. Using Taylor Series approximations and the algebraic definitions of variance and covariance, we describe methods for estimating the means, variances, and covariances of Normal random variates which, after translation using the above formula, will result in Logistic-Normal random variates having approximately the desired means, variances, and covariances. Multiple simulations of the method using the Mathematica computer algebra system show satisfactory agreement with the theoretical results.

The Maple computer algebra system: A review

1995 ◽  
Vol 10 (3) ◽  
pp. 329-337 ◽  
Author(s):  
John Hutton ◽  
James Hutton
Keyword(s):  
Computer Algebra ◽  
Computer Algebra System ◽  
System A

scholarly journals Analog Low-Voltage Current-Mode Implementation of Digital Logic Gates

2003 ◽  
Vol 26 (2) ◽  
pp. 111-114 ◽  
Author(s):  
Muhammad Taher Abuelma'atti
Keyword(s):  
Power Series ◽  
Low Voltage ◽  
Logic Gates ◽  
Current Mode ◽  
New Technique ◽  
Basic Logic ◽  
Spice Simulation ◽  
Simulation Results ◽  
A New Technique ◽  
Logic Functions

In this letter a new technique is introduced for implementing the basic logic functions using analog current-mode techniques. By expanding the logic functions in power series expressions, and using summers and multipliers, realization of the basic logic functions is simplified. Since no transistors are working in saturation, the problem of fan-out is alleviated. To illustrate the proposed technique, a circuit for simultaneous realization of the logic functions NOT, OR, NAND and XOR is considered. SPICE simulation results, obtained with 3 V supply, are included

Some Basic Logic Circuits of Computers

1998 ◽  
pp. 505-528
Author(s):  
Narciso Garcia ◽  
Arthur Damask ◽  
Steven Schwarz
Keyword(s):  
Logic Circuits ◽  
Basic Logic
Sign in / Sign up

Export Citation Format

Share Document