Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Znaleziono wyników: 2

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: struktury matrycowe

Sortuj według:

Ogranicz wyniki do:

Weryfikacja struktury matryc materiałów emulsyjnych otrzymanych z wodnych roztworów saletry amonowej oraz mieszaniny azotanu(V) amonu z wodnym roztworem saletry amonowej

Biessikirski Andrzej, Kuterasiński Łukasz, Dworzak Michał, Pyra Józef, Twardosz Michał

Przemysł Chemiczny

2019

T. 98, nr 4

526--529

Na podstawie analizy wyników przedstawionych w pracy¹⁾ zaproponowano nową metodykę otrzymywania matryc emulsji. Otrzymane próbki zbadano pod względem struktury i morfologii stosując spektroskopię w podczerwieni (IR), dyfrakcję rentgenowską (XRD) oraz skaningową mikroskopię elektronową (SEM). Matryce otrzymane wg nowej procedury wykazały większe uporządkowanie struktury. Porównując uzyskane wyniki z danymi przedstawionymi w pracy1) stwierdzono zanik białych smug (pochodzących od emulgatora) oraz powiększenie się obszarów maksymalnego upakowania cząstek.

Two explosive matrix emulsions were prepd. by using a fertilizer or a mixt. of NH₄ and Na nitrates(V) and a hydrocarbon oil and studied for group compn. and crystal morphol. by IR spectroscopy, X-ray diffraction and scanning electron microscopy. The products showed improved long-range order. The disappearance of white smudges and an enlargement of the honeycomb structure areas were obsd.

Synteza logiczna przeznaczona dla matrycowych struktur programowalnych typu PAL

Kania D.

Zeszyty Naukowe. Elektronika / Politechnika Śląska

2004

z. 14

5-212

W pracy przedstawiono metody syntezy przeznaczone dla matrycowych struktur programowalnych. Jądrem układów matrycowych (CPLD) jest struktura typu PAL, zawierająca programowalną matrycę AND i stałe połączenia w matrycy OR, tworząca bloki logiczne typu PAL. Celem pracy jest zaprezentowanie metod syntezy, które umożliwiają realizacje funkcji za pomocą bloków logicznych typu PAL, zawierających określoną liczbę iloczynów. Podstawę pierwszej metody stanowi oryginalny sposób przedstawienia zminimalizowanej postaci wielowyjściowej funkcji. Istota tej metody polega na wyszukiwaniu wspólnych wielowyjściowych implikantów na podstawie analizy wierzchołków grafu wyjść, reprezentujących wektory wyjściowe. Zaproponowane algorytmy syntezy osadzone są na twierdzeniu o wyborze wierzchołka grafu wyjść. Twierdzenie to stanowi podstawę teoretyczną doboru grup implikantów realizowanych we wspólnych blokach typu PAL. W przypadku niespełnienia przez wierzchołki grafu wyjść warunków. Twierdzenie to stanowi podstawę teoretyczną doboru grup implikantów realizowanych we wspólnych blokach typu PAL. W przypadku niespełnienia przez wierzchołki grafu wyjść warunków twierdzenia dobór grupy implikantów dokonywany jest metodą heurystyczną. W części tej można znaleźć również oryginalną metodę opisu sprzężeń zwrotnych, sprowadzającą się do odpowiedniej modyfikacji wierzchołków grafu wyjść. Bloki logiczne spotykane w układach matrycowych często zawierają dodatkowe zasoby logiczne. Należą do nich między innymi trójstanowe bufory wyjściowe, których obecność może być uwzględniona w procesie syntezy. Proces syntezy rozpoczyna dwupoziomowa minimalizacja z rozłączeniem implikantów. Następnie wykonywany jest podział poszczególnych grup implikantów. Wynikiem tych dwóch procedur są zbiory implikantów o mocy mniejszej lub równej liczbie iloczynów znajdujących się w bloku logicznym typu PAL. Niezwykle cennym elementem syntezy jest dekompozycja. Wpływa ona przede wszystkim na minimalizację liczby bloków logicznych. Takie nietypowe zastosowanie teorii klasycznej dekompozycji jest przedmiotem rozważań zawartych w kolejnej części pracy. Opracowane algorytmy dekompozycji oparto na klasycznym modelu dekompozycji funkcjonalnej, wprowadzonym przez Curtisa. Poszczególne etapy dekompozycji opracowane są pod katem zasobów logicznych struktur CPLD typu PAL. Opracowana metoda dekompozycji wierszowej funkcji jednowyjściowej pozwala na dopasowania uzyskiwanych podukładów do struktury bloku logicznego typu PAL. Rozważania teoretyczne stanowią podstawę zawartych w pracy algorytmów syntezy. W końcowej części pracy przedstawiono złożone strategie syntezy przeznaczone dla różnych układów CPLD (z/bez wyjściowych buforów trójstanowych). Strategie syntezy opracowane są pod katem minimalizacji liczby bloków logicznych lub liczby warstw. Elementami tych strategii są przedstawione poprzednio poszczególne metody syntezy. W pracy zawarto również szereg wyników eksperymentalnych. Przeprowadzono je na popularnych układach testowych dla różnych rodzin układów programowalnych. Opracowane strategie syntezy porównano z akademickimi i komercyjnymi narzędziami syntezy.

The logic presents the synthesis for CPLDs. The core of CPLDs is a PAL-based structure which consists of the programmable AND matrix and fixed connections within the OR matrix. These matrixes form the PAL-based logic blocks. The aim of the work is to present the synthesis method of which enables implementation of a Boolean function by the means of the PAL-based logic blocks containing a definite number of terms. The first method is based on a unique of the multi-output Boolean function. The essence of the method concentrates on the process of searching for the common multi-output implicants based on the analysis of graph's nodes representing the output vectors. The suggested algorithms of synthesis have their foundation in the theorem on choosing a node of the graph outpust. That theorem serves as a theoretical background for the selection of those implicants' groups that are realized by the means of the shared PAL-based logic blocks. In a case of not meeting the conditions of the theorem by the nodes of the graph outpust to choose the specific node, a selection of the implicants' group is carried out according to the heurestic rules. Moreover, in this part of work, a new method for the description of feedback can be found, which leads to the appropriate modification of those nodes constituting the graph of outpust. The logic blocks that occur within the CPLD structures include frequently the additional logic resources. There are, among other things, such resources as the three-state output buffers, which can be taken into account in the process of logic synthesis. First, the process of synthesis starts with the two-level splitting minimization procedure. Then, a partition of the individual implicants' groups takes place. As a result of the two procedures mentioned above, the initial set of the Boolean function's implicants is divided into subsets with the higher or equal cardinality to the number of terms within the certain PAL-based logic blocks. Decomposition is an extremely valuable component of synthesis. First of all, it influences directly the number of logical blocks. The unusal application of the classical theory on the decomposition is discussed in the second part of this work. The algorithms developed are derived from the classical model of the functional decomposition that was introduced by Curtis. The individual phases of the decomposition are prepared for the PAL-based CPLD structures. The designed method for the row decomposition of the single-output Boolean function enables the adjustment of the obtained sub-circuits with the certain structure of the PAL-based logic block. The theoretical considerations serve as a base for the synthesis of algorithms included in this work. The final part of the work presents the complex strategies of synthesis, aimed at the various CPLD circuits (with/without the three-state output buffers). The strategies of synthesis are designed for the optimization following either the number of logical blocks or the number of levels. The individual synthesis methods, presented in the previous chapters, serve as the components of those strategies. The work presents also a number of results obtained from experiments. The experiments were carried out for the commonly used benchmarks, applying various families of programmable devices. The designed strategies were compared with the university-developed and the commercially available tools of the synthesis.