Nowa wersja platformy, zawierająca wyłącznie zasoby pełnotekstowe, jest już dostępna.
Przejdź na https://bibliotekanauki.pl
Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników

Znaleziono wyników: 32

Liczba wyników na stronie
first rewind previous Strona / 2 next fast forward last
Wyniki wyszukiwania
help Sortuj według:

help Ogranicz wyniki do:
first rewind previous Strona / 2 next fast forward last
PL
W pracy opisano heurystyczną metodę minimalizacji automatów skończonych, która pozwala na etapie minimalizacji stanów uwzględniać parametry bazy technologicznej oraz metodę kodowania stanów. Opisano kryteria minimalizacji liczby stanów ze względu na koszt ich realizacji w strukturze CPLD, gdzie głównym parametrem wpływającym na realizację jest liczba termów podłączonych do jednej makrokomórki i liczba elementarnych koniunkcji w opisie SOP (Sum of Products) funkcji logicznej oraz FPGA, gdzie głównym parametrem jest liczba wejść elementu logicznego i liczba argumentów realizowanej funkcji logicznej. Przedstawiono także wyniki badań opracowanych algorytmów i porównanie ich z innymi metodami minimalizacji stanów.
EN
In the paper a heuristic method of minimization of incompletely specified finite state machines is described. This method allows taking into account the parameters of technological base, the method of state assignment and realization costs. The presented method is focused on realization of FSM in CPLD and FPGA structures. The method is based on operation of merging two states. In addition to reducing internal states this method minimizes the number of FSM transitions and FSM input variables. In contrast to the previously developed methods, in each step of the algorithm there is considered not only one, but the entire set of all pairs of states for which it is permissible to merge. Then from the set there is selected the pair of states which best matches the criteria of minimizing. The paper describes the criteria for minimizing the number of states of the machine because of the cost of their implementation in the CPLD. The main parameter influencing the implementation is a number of terms connected to one macrocell and FPGA structures, where the main parameter is the number of LUT inputs and the number of logic function arguments. The results of implementation of the minimized FSMs in programmable devices showed that the proposed method allowed building FSMs at lower cost and higher speed than STAMINA program for CPLD and FPGA devices.
PL
W pracy przedstawiono metodą wyboru odpowiedniego modelu automatu skończonego do realizacji na danym układzie programowalnym. Wybór modelu dokonywany jest spośród 50 modeli automatów skończonych klas A, B, C, D, E i F, wspólnych modeli automatów skończonych oraz modeli z rejestrami na wejściach, wyjściach oraz z zatrzaskami na wejściach. Algorytm wyboru modelu automatu uwzględnia zapewnienie realizacji wymagań systemowych, określonych typami wejść i wyjść, możliwości architektur PLD konieczne do realizacji odpowiednich modeli, klasę automatu, do której odnosi się lub jest bliski realizowany automat skończony oraz koszt realizacji modeli na PLD.
EN
In this paper, a method of selection of proper finite state machine (FSM) model for realization on PLD devices is presented. A selection of model is performed from 50 different FSM models: A, B, C, D, E, F classes, common models of FSM and models with registers on inputs and outputs. An algorithm of selection of FSM model takes into consideration system requirements described by types of inputs and outputs, PLD features needed for realization of FSM models, a class of a FSM most suitable to synthesized FSM and a cost of realization of FSM on PLD.
PL
W pracy przedstawiono dwa algorytmy syntezy układów kombinacyjnych na bazie PAL (Programmable Array Logic): z wykorzystaniem montażowego łączenia wyjść z użyciem sprzężeń zwrotnych układu programowalnego. W przeciwieństwie do tradycyjnych rozwiązań do zagadnienia syntezy logicznej na PLD, pokazane metody biorą pod uwagę specyficzne właściwości architektury uniwersalnych struktur PAL na wczesnym etapie projektowania, co pozwala zwiększyć efektywność procesu syntezy logicznej.
EN
In the paper a two methods of logic synthesis on the base of Programmable Array Logic (PAL) are presented: the method which uses PLD outputs joining by wired-OR method and the method which uses PLD feedbacks. Unlike the traditional approach to the logic synthesis on PLD, these methods take in account special internal resources and architectural features of PAL structures at the earliest stages of project design that allows increase the efficiency of logic synthesis.
PL
W pracy opisano heurystyczną metodę minimalizacji nie w pełni określonych automatów skończonych, która pozwala już na etapie minimalizacji stanów wewnętrznych uwzględniać parametry bazy technologicznej, metodę kodowania stanów oraz optymalizować koszt realizacji automatu w strukturze programowalnej. Opisano kryteria minimalizacji liczby stanów automatu ze względu na koszt ich realizacji w strukturze CPLD, gdzie głównym parametrem wpływającym na realizację jest liczba termów podłączonych do makrokomórki. Dodatkowym efektem działania metody jest minimalizacja liczby przejść automatu.
EN
In the paper a heuristic method of minimization of incompletely specified finite state machines is described. This method allows taking into account parameters of technological base, the method of state assignment and realization costs. The presented method is focused on realization of an FSM in the CPLD structure. The method is based on an operation of merging two states. In addition to reducing internal states, this method minimizes the number of FSM transitions and FSM input variables. In contrast to the previously developed methods, in each step of the algorithm there is considered not only one, but the entire set of all pairs of states for which it is permissible to merge. Then the pair of states which best matches the criteria of minimizing is selected from the set. Two FSM states can be merged if they are equivalent. FSM behavior does not change after the states are merged, if the transition conditions from these states that lead to different states are orthogonal. If there are transi-tions from the states that lead to the same states, the transition conditions for such transitions should be equal. Moreover, the output vectors generated in these states should not be orthogonal. It should be noted that wait states can be formed at the merging of FSM states. This paper describes the criteria for minimizing the number of states of the machine because of the cost of their implementation in the CPLD structure, where the main parameter influencing the implementation is a number of terms connected to one macrocell.
PL
W pracy opisano badania eksperymentalne metody minimalizacji nie w pełni określonych automatów skończonych. Proponowana metoda bazuje na operacji sklejania dwóch stanów. W pracy pokazano warunki konieczne łączenia dwóch stanów oraz przypadek tworzenia się stanów oczekiwania. Opisana metoda pozwala na redukcję liczby stanów średnio 1,16 razy i liczby przejść automatu 1,27 razy. Pozwala także na redukcję liczby przejść w stosunku do programu STAMINA średnio 1,40 razy. Przedstawiono także wyniki implementacji zminimalizowanych automatów w strukturach CPLD i FPGA, które potwierdziły skuteczność metody.
EN
This paper presents experiments on a heuristic method for minimization of an incompletely specified finite state machine with unspecified values of output variables. The proposed method is based on two states merging. In addition to reduction of the finite state machine (FSM) states, the method also allows reducing the number of FSM transitions and input variables. In contrast to the previously developed methods, in each step of the algorithm there is considered not only one, but the entire set of all pairs of states for which it is permissible to merge. Then from the set there is selected the pair of states which best matches the criteria of minimizing. In the paper, the conditions of state equivalence are presented. Two FSM states can be merged only if they are equivalent. It should be noted that the wait states can be formed at the merging of FSM states. This method allows reducing the number of internal states of the initial FSM by 1.16 times on the average, and by 2.75 times on occasion. An average reduction of the number of FSM transitions makes up 1.27 times. The comparison of the proposed method with the program STAMINA shows that the offered method does not reduce the number of FSM states, however it allows reducing the number of FSM transitions by 1.40 times on the average. The results of implementation of the minimized FSMs in programmable devices showed that the proposed method allowed building FSMs at lower cost and higher speed than the STAMINA program for CPLD and FPGA devices.
8
100%
EN
A method of the minimization finite state machines (FSM) is proposed. In this method, such optimization criterion as the critical delay path is taken into account already at the stage of minimizing internal states. The method is based on sequential merging of two internal states including the optimization criteria. The critical path is estimated for CPLD devices. In addition, the proposed method allows one to minimize the number of transitions and input variables of the FSM. Experimental results shows, that the maximum clock frequency of minimized FSMs is higher by 17% comparing to initial FSM.
PL
Przedstawiono algorytm syntezy wspólnego modelu automatów skończonych klas A, D i E do zastosowania w strukturach programowalnych. Pokazana metoda wykorzystuje możliwości architektur współczesnych układów programowalnych, takie jak: możliwość stosowania wyjść i wejść układu zarówno buforowanych, jak i kombinacyjnych, a także przerzutnika w pętli sprzężenia zwrotnego układu programowalnego. Zastosowanie wspólnego modelu automatów skończonych klas A, D i E pozwala zniwelować niedogodności powstające podczas stosowania osobno modeli poszczególnych klas. Pokazano wyniki badań eksperymentalnych oraz ich porównanie z rezultatami otrzymanymi z przemysłowych pakietów projektowania układów cyfrowych na bazie logiki programowalnej: Max+Plus II oraz Xilinx Webpack. Analiza wyników pokazuje, iż stosując zaprezentowany model można dwukrotnie zmniejszyć liczbę elementów logicznych układu programowalnego.
EN
In this paper, a method of synthesis of common model of Finite State Machine (FSM) is presented. Presented method uses features of modern programmable logic devices (PLD), such as, possibility of using combinatorial and buffered inputs and outputs and registers in PLD feedback. Application of common FSM model allows to level disadvantages of separate FSM models. The experimental results and comparison with industrial design systems Max+Plus II and Xilinx WebPack are presented. Analysis of experimental results shows that an application of presented method allows to decrease twice a number of used PLD logic elements.
PL
Praca dotyczy problemu syntezy układu sekwencyjnego w oparciu o programowalne układy logiczne. Cechą szczególną zastosowanej metody jest wykorzystanie wartości zmiennych wyjściowych jako kodu lub części kodu stanów wewnętrznych automatu skończonego. Do uproszczenia funkcji wyjść i funkcji wzbudzeń elementów pamięci automatu zastosowano metodę syntezy wielopoziomowych układów kombinacyjnych wykorzystującą sprzężenia zwrotne układu programowalnego. Praca zawiera także wyniki badań eksperymentalnych metody.
EN
In this paper, a problem of synthesis of sequential circuit on programmable logic device was presented. A special feature of the method is application of values of output variables as a code or as a part of code of internal states of a finite automata. The synthesis method of multilevel combinational circuits, which uses feedbacks of PLD macrocells to synthesis of finite state machines was applied to simplification of combinational part of state machine. The experimental results of synthesis of the improved method are presented in the paper.
PL
W pracy opisano syntezę automatów skończonych na bazie programowalnych układów logicznych (PLD). Cechą szczególną metody jest zastosowanie wartości zmiennych wyjściowych w charakterze części kodu stanów wewnętrznych automatu. W celu rozwiązania zadania został zastosowany wspólny model automatów Mealy'ego i Moore'a, przy czym automat nie podlega żadnym przekształceniom związanym ze zwiększeniem liczby stanów wewnętrznych i liczby przejść. W pracy opisano też metodę syntezy wspólnego modelu automatów skończonych klas AC.
EN
This paper describes the problem of synthesis of finite automata on programmable logic devices. A special feature of the method is the application of the values of output variables as a code or the part of a code of internal states of finite automata. In order to solve the problem, a common model of Mealy [4] and Moore [5] machines is used. The main difference of this approach in relation to known methods [1-3, 6, 7, 9] is that the finite state machine does not undergo any transformation associated with a increase in the number of internal states and the number of transitions of a finite automaton. In this paper three models of finite state machines are considered (classes: A, B and C). They are applied to realization of a FSM on programmable logic. The paper presents the necessary conditions for the possibility of using the values of output variables as a code of internal states of a finite automaton. In the paper there is described the method for synthesis of a common model for the finite state machine of AC class. The idea of the proposed approach is to find such sets of the values of output variables which are formed at all transitions from the corresponding states and satisfy the conditions of realization. It also aims at doing a special coding of the internal states, where the sets of values of the output variables are used as a part of the code of the internal states. There are given possible directions for future research in the area of synthesis of new structural models of finite state machines.
PL
W artykule został opisany algorytm syntezy układów kombinacyjnych z łączeniem montażowym wyjść, dopuszczający użycie tylko jednego uniwersalnego układu PAL, a także jego modyfikacje pozwalające zastosować ten algorytm do syntezy na jednym "klasycznym" układzie PAL oraz do syntezy na jednym bloku funkcjonalnym złożonego układu programowalnego. Algorytm wykorzystuje właściwości architektury współczesnych uniwersalnych układów PAL, takie jak różna liczba linii iloczynów podłączona do jednej makrokomórki i możliwość wyboru polaryzacji sygnału wyjściowego. Określono też warunki realizacji systemu funkcji boolowskich przy pomocy tego algorytmu. Wyniki działania algorytmu porównano z innymi znanymi metodami oraz z wynikami uzyskanymi za pomocą systemu MAX+Plus II.
EN
This article contains a description of an algorithm of synthesis of combinatorial logic schemes, which uses wired-OR method of joining outputs, limited to use only one universal PAL device and some modifications, which allow to use this algorithm to synthesis on single "classic" PAL device and one functional block of complex programmable device. This algorithm uses features of modern universal PAL devices, such as different number of terms connected to single macrocell and possibility of selection of output signal polarity. Conditions allowing to realize boolean function system using this algorithm are described. Work results are compared
PL
Zaprezentowano rozwój działalności inżynierskiej usługowej oraz konstrukcyjno-wdrożeniowej z perspektywy dwudziestu lat istnienia lirmy. Omówiono dorobek i aktualne możliwości Energotestu w zakresie kompleksowych realizacji modernizacji i budowy nowych układów: automatyki elektroenergetycznej, energoelektroniki, automatyki procesowej, AKPiA oraz systemów sterowania i nadzoru dla energetyki generacyjnej, sektora przesyłu i rozdziału oraz różnych branż przemysłu
EN
Presented is the development of engineering, service, construction and implementation activities from the perspective of 20 years' existence of the company. Discussed are the achievements and present Energotest possibilities in the field of complex realization of modernization and building of new systems for power automatics, energoelectronics, process automation, measurement and monitoring equipment and automaties as well as control and supervision systems for power generation industry, distribution and transmission sectors and various other industrial branches.
EN
Introduction: Quince (Cydonia oblonga Mill.) is a plant of which both the fruits and the leaves are sources of compounds with antioxidant potential. Such activity could be helpful to prevent the development of socalled oxidative stress. Objective: The aim of the study was to evaluate the antioxidant properties of ethanolic, methanolic and acetonic extracts of mature and immature quince fruits, as well as leaves. Methods: The extracts were prepared using ultrasound-assisted extraction, for 15, 30 and 60 minutes. The antioxidant activity was assessed by DPPH, FRAP, ABTS and Folin-Ciocalteu (F-C) methods. Results: Antioxidant activity of all of the evaluated extracts were observed. The highest potential determined with each method was found for leaf extracts. Moreover, higher activity of unripe fruit extracts compared to ripe fruit was observed. Taking into account the applied extractants, the highest antioxidant capacity was found for methanolic extracts, extracted for 60 and 30 minutes. By contrast, the lowest potential was observed mainly for ethanolic extracts (extraction time 15 minutes). Conclusion: Quince extracts, particularly alcoholic extracts of leaves, seem to be a valuable source of antioxidants. Factors as extraction time, the type of solvent and degree of fruit maturity may influence the antioxidant activity of extracts.
EN
Introduction: Antioxidants, isolated from different plant parts, are widely used due to their ability to prevent the development of so-called oxidative stress. Sea buckthorn (Hippophae rhamnoides L.) is one of the plants with expected antioxidant properties. Objective: The aim of the study was to evaluate the antioxidant activity of ethanolic, methanolic and acetonic extracts of H. rhamnoides leaves, ripe and unripe fruits obtained by ultrasound-assisted extraction. Methods: To estimate the antioxidant potential of the extracts the DPPH, FRAP, ABTS and Folin-Ciocalteu methods were applied. Moreover, the influence of the extrahent, as well as extraction time, on this activity was evaluated. Results: Sea buckthorn leaf extracts showed higher activity, contrary to the fruit extracts. Moreover, higher activity of ripe fruit extracts compared to unripe material extracts was found. To obtain the highest content of antioxidants in the extracts, ultrasound-assisted extraction for 60 min with methanol should be applied. Conclusions: The presented in vitro results could lead to the conclusion that H. rhamnoides seems to be a valuable source of antioxidants to be applied in various branches of industry.
PL
Niniejsza praca prezentuje metodę modyfikacji właściwości związanych z magazynowaniem tlenu w układzie BaYMn2O5- BaYMn2O6 poprzez chemiczne podstawienie itru gadolinem. Praca zawiera charakterystykę właściwości strukturalnych oraz wyniki pomiarów odwracalnej pojemności magazynowania tlenu dla perowskitów z uporządkowaną podsiecią kationową A, należących do grupy BaY1-xGdxMn2O5+δ (x = 0; 0,25; 0,5; 0,75 oraz 1.0). Pomiary rentgenowskie potwierdziły tworzenie roztworów stałych, a materiały zawierające gadolin wykazują strukturę z warstwowym uporządkowaniem podsieci Ba-Y1-xGdx. Większe kationy Gd3+ powodują wzrost objętości komórki elementarnej zarówno dla materiałów zredukowanych BaY1-xGdxMn2O5, jak i dla utlenionych BaY1-xGdxMn2O6. Oprócz zmian strukturalnych, gadolin powoduje też zmianę właściwości związanych z magazynowaniem tlenu. Ich poprawa polega głównie na znaczącym przyspieszeniu szybkości redukcji oraz na obniżeniu temperatury charakterystycznej utleniania, jednakże, ze względu na większą masę molową, materiały zawierające gadolin wykazują obniżoną odwracalną pojemność magazynowania tlenu. Przedstawione w pracy wyniki wskazują, że chemiczna modyfikacja BaYMn2O5+˂ umożliwia otrzymanie materiałów o polepszonych właściwościach, co może w przyszłości doprowadzić do zasadniczego postępu w rozwoju technologii magazynowania tlenu w tlenkach o strukturze perowskitu.
EN
This work presents an approach to modification of oxygen storage properties of BaYMn2O5- BaYMn2O6 system by a chemical substitution of yttrium by gadolinium. Characterization of structural properties and results of measurements of reversible oxygen storage capacity of A-site cation ordered perovskites, belonging to BaY1-xGdxMn2O5+δ (x = 0, 0.25, 0.5, 0.75 and 1.0) family are presented. Formation of solid solutions was confirmed by x-ray measurements, with Gd-containing compounds exhibiting structure with layered arrangement of Ba-Y1-xGdx sub-lattice. Larger Gd3+ cations cause an increase of unit cell volume of reduced BaY1-xGdxMn2O5, as well as oxidized BaY1-xGdxMn2O6. Apart from structural modification, gadolinium significantly changes oxygen storage properties of the compounds. The major improvement is related to a significantly faster reduction rate, as well as to a lower characteristic temperature of oxidation, however, due to a higher molar mass, Gd-containing materials exhibit reduced reversible oxygen storage capacity. The presented results indicate that chemical modification of BaYMn2O55+δ allows to obtain materials with enhanced properties, which may lead to a significant progress of oxygen storage technology in perovskite oxides in the future.
first rewind previous Strona / 2 next fast forward last
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.