Wyniki wyszukiwania - BazTech

1

Przetwornik sygnałów logiki dwuwartościowej na trójwartościową z zastosowaniem wielowejściowego wzmacniacza operacyjnego

Walecki M., Urbańczyk M.

Pomiary Automatyka Kontrola

|

2011

|

R. 57, nr 3

261-263

PL

Opisano teoretyczny model przetwornika sygnałów dwuwartościowej logiki boolowskiej na trójwartościową, dla dowolnych poziomów liczbowych wartości logicznych. Pokazano jego schemat ogólny. Zaproponowano realizację przetwornika sygnałów logicznych dwuwartościowych na trójwartościowe z zastosowaniem dwóch wielowejściowych napięciowych wzmacniaczy operacyjnych. Przedstawiono wyniki symulacji modelu układu o jednobiegunowej charakterystyce wzmocnienia.

EN

The paper describes the theoretical model of a two-state logic into a three-state logic converter for which the value of the logic levels is arbitrary. For the purpose of analysing the converter, the number of binary inputs is set to two. The general diagram of the converter is shown. The realization of a two-state-logic converter into a three-state-logic signal with use of two multiple input voltage operational amplifiers is proposed. The converter output signals obtained from simulations are presented. Numerical simulations of the converter were performed when assuming single-pole role-off characteristics of the amplifier. The goal of the analysis is to examine the converter dynamics for different periods T of the input test signals. At the given distance between the consecutive output logic levels equal to 1 V, the converter generates signals of frequency up to 1 MHz. The upper limit of this logic converter frequency range results from the operational amplifier frequency characteristics. The main advantage of the converter with a multi-input operational amplifier is its simple construction and no additional passive elements required.

2

Polowa analiza siłowników elektromagnetycznych i transformatorów

Tomczuk B., Koteras R., Waindok A., Zimon J.

Pomiary Automatyka Kontrola

|

2011

|

R. 57, nr 3

264-268

PL

W artykule zamieszczono wybrane wyniki badań siłowników o ruchu liniowym i nowoczesnych transformatorów. Przedstawiono zarówno modele fizyczne analizowanych obiektów, jak i ich modele matematyczne. Praca zawiera wyniki obliczeń rozkładu pola magnetycznego oraz jego parametrów całkowych dla nowoczesnego siłownika liniowego do badań zmęczeniowych, dla siłownika łożyska magnetycznego oraz transformatora z rdzeniem z blach amorficznych. Prototypy wymienionych obiektów charakteryzują się parametrami spełniającymi wymagania przyszłych użytkowników. Należy także podkreślić dobrą zgodność wyników obliczeń i pomiarów.

EN

Selected investigation results of linear actuators and modern transformers are presented in the paper. Both, physical and mathematical models of the analysed objects are shown. There are given results of calculating the magnetic field distribution and its integral parameters for three objects: a modern linear actuator for fatigue tests, a magnetic bearing actuator and amorphous core transformer. The prototypes of the mentioned objects are characterised by parameters which fulfill the future user's needs. One should underline good conformity of the calculation and measurement results. In the introduction (Section 1), the up-to-date information on linear actuators [2, 3, 4, 5, 6, 7, 8] and transformers [1, 9, 10 11] is given. In Section 2 numerical models of the analysed objects are described. In all cases the finite element method was used [12, 13, 14, 15]. The next three sections include the calculation results and measurement verification for: the linear actuator for fatigue tests (Section 3), the magnetic bearing actuator [16, 17] (Section 4) and the amorphous core transformer [18] (Section 5).

3

Dekompozycja symboliczna wielowartościowych funkcji implementowanych w technologii FPGA

Wiśniewski M., Deniziak S.

Czasopismo Techniczne. Informatyka

|

2011

|

R. 108, z. 1-I

109-128

PL

W artykule przedstawiono metody dekompozycji wielowartościowych funkcji logicznych z przeznaczeniem do implementacji w układach FPGA opartych o komórki LUT. Zaprezentowana metodologia obejmuje algorytmy dekompozycji oraz kodowania funkcji symbolicznych, omówione zostały również zastosowania tej techniki do kodowania stanów oraz logicznej sieci wielowartościowej.

EN

The paper presets methods used in decomposition of multi-valued logic functions for LUT-based FPGAs. The methodology consists of algorithm of decomposition and coding technique of symbolic functions as well as using of this method for state encoding and decomposition of multi-valued logic network is presented.

4

Przetwornik sygnałów logiki dwuwartościowej na czterowartościową z zastosowaniem sześciowejściowego napięciowego wzmacniacza operacyjnego

Topór-Kamiński L., Walecki M.

Prace Naukowe Politechniki Śląskiej. Elektryka

|

2008

|

z. 2

93-106

PL

W niniejszej pracy podano teoretyczny model przetwornika sygnałów dwuwartościowej logiki boolowskiej na czterowartościową, dla dowolnych poziomów liczbowych wartości logicznych. Pokazano jego schemat ogólny oraz reguły wyznaczania parametrów. Przedstawiono koncepcję sześciowejściowego napięciowego wzmacniacza operacyjnego. Omówiono właściwości i modele oraz zastosowania takiego wzmacniacza do realizacji bezrezystancyjnych wzmacniaczy napięciowych. Zaproponowano model przetwornika sygnałów logicznych dwuwartościowych na czterowartościowe z zastosowaniem jednego sześciowejściowego napięciowego wzmacniacza operacyjnego. Przedstawiono otrzymane symulacyjnie kształty sygnałów wyjściowych tego układu (dla jego modelu o jednobiegunowej charakterystyce wzmocnienia).

EN

In this paper the theoretic model of a binary to quaternary valued Boolean logic encoder for optional number levels of their logic values is described in the paper. Its general circuit and rules for determination of its parameters are shown. The idea of a six-input voltage operational amplifier is presented. The amplifier properties and models as well as applications to realisation of resistanceless voltage amplifiers are discussed. There is proposed a model of the binary to quaternary valued logic encoder applied to a single six-input voltage operational amplifier. There are presented the output signal waveforms for the circuit model of one pole amplification characteristic obtained from simulations.

5

Zastosowanie metody identyfikacji modelu matematycznego oraz wielowartościowego kodowania w procesie tworzenia diagnostycznego modelu układu sterowania

Borowczyk H.

Prace Naukowe Instytutu Technicznego Wojsk Lotniczych. Technika Lotnicza

|

2004

|

nr 18

29-40

PL

Przedstawiono metodę tworzenia diagnostycznego modelu układu sterowania na podstawie wyników eksperymentalnych badań diagnostycznych z wykorzystaniem metod identyfikacji oraz wielowartościowego kodowania parametrów modelu dynamicznego.

EN

A method of generating a diagnostic model of a control system has been presented. The method has been based on the findings of experimental diagnostic testing work, with identitication methods and multiple-value coding of parameters of a dynamic model employed.

6

Dekompozycja lotniczego silnika turbinowego dla celów diagnostyki technicznej

Borowczyk H.

Prace Naukowe Instytutu Technicznego Wojsk Lotniczych. Technika Lotnicza

|

2004

|

nr 18

19-28

PL

W pracy przedstawiono wybrane aspekty dekompozycji lotniczego silnika turbinowego dla celów diagnostyki technicznej. Na podstawie analizy procesów związanych z działaniem obiektu i oddziaływaniem otoczenia wyróżniono dekompozycje w dziedzinach: konstrukcyjnej oraz procesów funkcjonowania, degradacji, towarzyszących i odnowy.

EN

What have been presented in the paper are some selected aspects of the diagnosis-orientated decomposition of an aircraft turbine engine. On the grounds of processes related with analyses of the object's performance and environmental effects, several kinds of decomposition have been distinguished, i.e. structural and functional processes dedicated decomposition, degradation, accompanying, and recovery ones.

7

Synteza diagnostycznego modelu układu sterowania z wykorzystaniem metod identyfikacji i wielowartościowego kodowania

Borowczyk H.

Diagnostyka

|

2004

|

Vol. 30, T. 1

83--86

PL

Przedstawiono metodę tworzenia diagnostycznego modelu układu sterowania na podstawie wyników eksperymentalnych badań diagnostycznych, z wykorzystaniem metod identyfikacji oraz wielowartościowego kodowania parametrów modelu dynamicznego.

EN

A method of a control system diagnostic model creation, based on experimental results of diagnostic examination with use of identification methods and multivalent encoding of dynamic model parameters, was presented.

8

Logic differential calculus in multi-valued logic design

Yanushkevich S.

Prace Naukowe Politechniki Szczecińskiej. Instytut Informatyki

|

1998

|

Nr 537(1)

7-326

EN

Logic Differential (LD) Calculus theory is one of the directions of algebra of logic. It is oriented toward solving the Logic Design problems. The achievements of industry on Multiple-Valued Logic (MVL) gates has stimulated research on generalization of LD Calculus. In the thesis, for the first time, LD Calculus methods are developed and generalized for MVL functions and applied to solve a class of MVL Design problems. The matrix mathematical methods underlies the approach, that allows to explain the achieved results from the unified positions, to generalize and formalize the relations with other areas (spectral techniques and arithmetical Logic). In the first Chapter the research area is analyzed. Basics of MVL and LD Calculus, achievements in theory, computational techniques and application of LD Calculus and arithmetical Logic are considered. The state of the design and technology of MVL gates and networks (history, technology) are explained. In the second Chapter the matrix approach to formalize LD Calculus operators is explained. It generalizes and develops the achieved results, and reduces the problem of implementation of these operators to the mapping of their flow graphs into linear systolic arrays. The notation of Boolean Difference is generalized towards MVL functions. The correctness of the generalization is proved by logic Taylor series. The problem of minimization of Reed-Muller expansions for incompletely specified logic functions is solved. The generalization of exact and heuristic Zakrevskij's strategy is offered. The efficiency of the algorithms is confirmed by testing on benchmarks and their extensions. Applications of LD operators (analysis of function properties, groupability, analysis of sensitivity of MVL combinational circuits) are considered. A new approach to solve Logic Differential equations is demonstrated in the third Chapter. The Logic Design problems solved by using the LD equations are considered. The proposed algorithms are shown to be implemented on the linear systolic arrays. The fourth Chapter is devoted to arithmetical analogues of LD operators. The correctness of the approach is proved using arithmetical analogue of logic Taylor expansion. The minimization algorithms for incompletely specified logic functions in the arithmetical polynomials domain and experimental results are considered. In the fifth Chapter the problem of generalization of D-algorithm to detect faults in MVL combinational networks is solved. Fault models of typical failures in MVL circuits implemented by various technologies are proposed. LD operators are used as formal tools to generalize D-algorithm. Hardware support of the algorithm is evaluated. The Parametric LD operators, as a significant part of the LD Calculus, are presented in the Appendix. The newness consists in the development of the operators toward the space of multi-valued data and solution a number of related applied problem.

PL

Teoria logicznego rachunku różniczkowego jest jednym z kierunków algebry logiki i zorientowania na rozwiązywanie problemów projektowania logicznego. Osiągnięcia przemysłu w zakresie elementów wielowartościowych stymulują badania nad rozwinięciem LRR. W niniejszej pracy, po raz pierwszy, metody LRR rozwinięte i uogólnione dla funkcji wielowartościowych i zastosowane w celu rozwiązania klasy problemów logicznego projektowania układów na bazie bramek wielowartościowych. U podstaw tego podejścia leżą matemateczne metody macierzowe, które pozwalają na wyjaśnienie osiągniętych rezultatów z jedynych pozycji, co umożliwia formalizację relacji z innymi dziedzinami badań: metodami spektralnymi i logiką arytmetyczną. W pierwszym rozdziale przedstawiono podstawy logiki wielowartościowej i LRR, rozpatrzono podejścia alternatywne oraz osiągnięcia w dziedzinie projektowania wielowartościowych układów i systemów stworzonych na ich podstawie. Sformułowano cele badań i obszar zagadnień rozwiązywanego problemu. W drugim rozdziale wyjaśniono macierzowe podejście do formalizacji LRR. Umożliwiło to uogólnienie osiągniętych rezultatów, zmniejszenie problemu implementacji wspomnianych operatorów w celu odwzorowania grafów na liniowe macierze systoliczne. Zapis boolowskich różniczek został uogólniony dla funkcji wielowartościowych. Prawidłowość tego uogólnienia jest dowiedziona przy pomocy szeregu Taylora. Rozwiązany został problem minimalizacji wielomianów Reeda-Mullera dla niezupełnych funkcji logicznych. Zaprezentowano uogólnienia dokładnej i heurystycznej strategii Zakrzewskiego. Efektywność algorytmów została potwierdzona poprzez przeprowadzenie szeregu eksperymentów na standardowych funkcjach testujących. Pokazane jest wykorzystanie operatorów LRR (analiza właściwości funkcji, analiza czułości wielowartościowych układów kombinacyjnych). Nowe podejście do rozwiązywania logicznych równań różniczkowych zostało przedstawione w rozdziale trzecim. Rozpatrzono problemy projektowania logicznego formalizowane poprzez te równania. Proponowany algorytm został przedstawiony jako implementacja liniowych macierzy systolicznych. Czwarty rozdział został poświęcony arytmetycznym analogiom operatorów LRR. Prawidłowość podejścia została udowodniona przy pomocy arytmetycznych analogii logicznego szeregu Taylora. Rozpatrzono algorytmy minimalizacji niezupełnych funkcji logicznych w klasie wielomianów arytmetycznych. W rozdziale piątym przedstawiono zagadnienie uogólnienia D-algorytmu do detekcji błędów wielowartościowych układów kombinacyjnych. Zaproponowano modele błędów typowych uszkodzeń w wielowartościowych układach różnych rodzajów technologii. Operatory LRR były użyte jako formalne narzędzia uogólnienia D-algorytmu. Oceniono także sprzętowe ulepszenie przedstawionego algorytmu. W załączniku, zostały przedstawione parametryczne operatory LRR. Nowość polega na uogólnieniu tych operatorów dla przestrzeni funkcji wielowartościowych, na tej podstawie proponowana metodyka rozwiązywania szeregu stosowanych zadań.