Wyniki wyszukiwania - BazTech

1

Quality of Minimal Sets of Prime Implicants of Boolean Functions

Prasad V. C.

International Journal of Electronics and Telecommunications

|

2017

|

Vol. 63, No. 2

165--169

EN

Two new problems are posed and solved concerning minimal sets of prime implicants of Boolean functions. It is well known that the prime implicant set of a Boolean function should be minimal and have as few literals as possible. But it is not well known that min term repetitions should also be as few as possible to reduce power consumption. Determination of minimal sets of prime implicants is a well known problem. But nothing is known on the least number of (i) prime implicants (ii) literals and (iii) min term repetitions , any minimal set of prime implicants will have. These measures are useful to assess the quality of a minimal set. They are then extended to determine least number of prime implicants / implicates required to design a static hazard free circuit. The new technique tends to give smallest set of prime implicants for various objectives.

2

Zabezpieczenie szyn zbiorczych z układem rezerwowania wyłączników typu TSL-6 efektem 30 lat doświadczeń produkcyjnych i eksploatacyjnych

Głowocz B.

Wiadomości Elektrotechniczne

|

2016

|

R. 84, nr 3

18--23

PL

Przedstawiono historię rozwoju konstrukcji krajowej produkcji zabezpieczeń szyn zbiorczych i układów rezerwowania wyłączników typu TSL.

EN

The paper presents a story of development of domestic production of busbar protection and breaker failure protection type TSL.

3

A Modern Approach to the Asynchronous Sequential Circuit Synthesis

Czekalski P., Tokarz K., Pochopień B.

Theoretical and Applied Informatics

|

2014

|

Vol. 26, No. 1-2

25--37

EN

This paper presents novel approach to the Huffman’s asynchronous sequential circuit two valued Boolean switching system design. The algorithm is implemented as software using distributed, service oriented application model with means of the web service component design. It considers method implementation challenges, both towards Moore and Mealy structures with particular respect to the estimation of the Huffman’s minimization algorithm computational complexity. The paper provides implementation details, theoretical model estimation and experimental results that acknowledge the theoretical approach in practice. This paper also examine the multistep design process implementation and its problems inherent in web service based environment both for development and educational purposes.

PL

Synteza asynchronicznych układów cyfrowych w logice szytej, bazująca na dwuwartościowej algebrze Boole’a, doczekała się licznych modeli i metod implementacji. Najpopularniejsze z nich to metoda Huffmana [2] oraz metoda Tablicy Kolejności Łączeń [3]. Metody te, jakkolwiek powstały w połowie XX wieku, są stosowane również obecnie, zarówno w procesie projektowania przemysłowego jak i w edukacji [10][11][14]. Metoda Huffmana pozwala na syntezę układów o strukturach Moore’a (Fig.1) i Mealy’ego (Fig.2). Proces projektowania z wykorzystaniem metody Huffmana jest wieloetapową metodą o deterministycznym przebiegu. W niniejszym opracowaniu przedstawiono nowatorskie podejście do zagadnienia automatycznego projektowania cyfrowych układów asynchronicznych, bazujące na wytworzeniu oprogramowania o budowie komponentowej oraz z zastosowaniem zunifikowanej komunikacji w sieci WEB z wykorzystaniem protokołu SOAP. Na podstawie teoretycznego modelu opracowano rozwiązanie programowe, składające się z bezstanowego serwisu obliczeniowego oraz aplikacji sieciowej WWW, która służy, jako interfejs użytkownika dla usługi obliczeniowej. W zastosowaniach edukacyjnych przewidziano zwracanie szczegółowych informacji z wszystkich etapów syntezy układów metodą Huffmana, co umożliwia ich wizualizację oraz poruszanie się po nich w przód i w tył, w celu prezentacji zależności i sposobu działania, co stanowi również element zdalnego nauczania - aplikacja WWW jest bowiem widoczna w globalnej sieci Internet (adres znajduje się w Appendix A). Ponieważ metoda Huffmana udostępnia wyniki w postaci zredukowanej i zakodowanej siatki bloku pamięci i bloku kombinacyjnego wyjściowego, serwis obliczeniowy korzysta z uprzednio przygotowanej, zewnętrznej usługi, implementującej funkcjonalność minimalizacji funkcji Boolowskiej metodą Kazakowa. W ramach prowadzonych badań przeanalizowano teoretyczną, pesymistyczną złożoność obliczeniową poszczególnych etapów metody Huffmana, a także łączną, pełną złożoność obliczeniową metody, w szczególności względem liczby sygnałów wejściowych, liczby stanów wewnętrznych oraz liczby sygnałów wyjściowych, otrzymując pełny model złożoności obliczeniowej metody Huffmana. Przeprowadzono szereg eksperymentów, aby potwierdzić oszacowaną teoretycznie złożoność obliczeniową w sposób doświadczalny (Tab. 2-4). Przeprowadzone eksperymenty potwierdziły zgodność z teoretycznie wyznaczonym modelem złożoności obliczeniowej, zarówno dla układów Moore’a jak i Mealy’ego (Tab. 5, Fig. 5 i 6). Na potrzeby sformalizowania zapisu wykresu czasowego opracowano gramatykę zapisu przełączania sygnałów (Appendix B). Stanowi ona format wewnętrzny danych wejściowych dla usługi obliczeniowej implementującej metodę Huffmana.

4

Conventional Verification for Unconventional Computing : a Genetic XOR Gate Example

Konur S., Gheorghe M., Dragomir C., Ipate F., Krasnogor N.

Fundamenta Informaticae

|

2014

|

Vol. 134, nr 1/2

97--110

EN

As unconventional computation matures and non-standard programming frameworks are demonstrated, the need for formal verification will become more prevalent. This is so because “programming” in unconventional substrates is difficult. In this paper we show how conventional verification tools can be used to verify unconventional programs implementing a logical XOR gate.

5

Komputerowe wspomaganie nauczania w zakresie zagadnień wyścigu w układach cyfrowych

Kamionka-Mikuła H.

Studia Informatica

|

2003

|

Vol. 24, nr 3

229-236

PL

W nauczaniu, zwłaszcza nauczaniu na odległość z wykorzystaniem sieci komputerowych, ważnym elementem są programy edukacyjne umożliwiające nie tylko prezentacje tematyki nauczania, ale również ćwiczenia i sprawdzanie wiedzy. W pracy przedstawiono rozwiązania zastosowane w jednym z programów dydaktycznych uwzględniających nauczanie zagadnień wyścigu w układach cyfrowych. Omówiono rozwiązania umożliwiające tworzenie nowych zadań w zakresie tematyki nauczania.

EN

The educational programs are very important for teach process. They allow either presentation of the material parts or check student's knowledge. It is important especially for standalone teaching based on computer networks. This article presents the program showing race problems appearing in the asynchronous sequential logic circuits. The presented program allows make new exercises and control solution correctness also.

6

Układy logiczne z kwantowymi przyrządami półprzewodnikowymi

Korzec Z.

Elektronika : prace naukowe

|

2002

|

nr 7

5-22

PL

Przyrządy półprzewodnikowe oparte na zjawiskach fizycznych występujących w strukturach o wymiarach nanometrów, znane jako przyrządy kwantowe znajdują coraz więcej praktycznych zastosowań zarówno w układach analogowych wielkiej częstotliwości, jak i układach cyfrowych o bardzo krótkich czasach przełączania. Artykuł niniejszy poświęcony jest omówieniu aktualnych tendencji rozwoju układów logicznych, stanowiących podstawą techniki cyfrowej, wykonywanych przy wykorzystaniu najnowszych osiągnięć nanoelektroniki. Szerzej zostały przedstawione układy z przyrządami typu SET (Single Electron Device) oraz typu RTD (Resonant Tunneling Devices).

EN

In order to continue the miniaturization of circuit elements down to the nanometer scale researches are investigating several alternatives to the CMOS IC for ultra dense and ultra high-speed circuits. These new nanometer-scale electronic devices perform both switches and amplifiers just like today's transistors. However, unlike today's MOSFETs, which operate based on the movement of masses of electrons in bulk semiconductor, the new devices take advantage of quantum mechanical phenomena that emerge on the nanometer scale, including the discreteness of electrons. There are several promising ideas to implement nanoelectronic devices. The most current ones are: resonant tunneling devices and single-electron-transistors. The fundamental physical principle of single-electron devices is the Coulomb-blockade resulting from the quantization of the elementary charge in insulated node of a double-junction structure. Resonant tunneling devices are based on electron transport via discrete energy levels in quantum-well structures. An introduction to this new field of electronic one can find in [6] and [7]. In this paper some more information are given concerning the quantum devices application in the logic circuits and systems. It is expected that in nanoelectronic systems the building blocks with an increased functionality with the extension of conventional Boolean gates, linear threshold networks, and multiple-valued logic will be used.