Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

English (EN)·Polski (PL)·Yкраїнський (UK)
Przejdź do strony domowej biblioteki Centralna Biblioteka Wojskowa Link otwiera się w nowym oknie Logo biblioteki Prolib Integro - strona głównaCentralna Biblioteka Wojskowa

Wyszukujesz frazę "Graph" wg kryterium: Temat

  Lista filtrów
Wyrównaj
Wyświetlanie 1-15 z 20
Tytuł:
Metoda poszukiwania strukturalnie niedokładnej odpowiedniości elementów obrazów poprzez poszukiwanie klik optymalnych
Method of structural inexact image element matching by optimal clique finding
Autorzy:
Bal, A.
Powiązania:
https://bibliotekanauki.pl/articles/152675.pdf
Data publikacji:
2007
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
odpowiedniość elementów obrazów
odpowiedniość grafów
niedokładna odpowiedniość
graf skojarzeniowy
stereokorespondencja
image elements matching
graph matching
inexact matching
association graph
stereo matching
Opis:
W pracy przedstawiono idee nowych, wykorzystujących informacje o strukturze obrazów, metod poszukiwania niedokładnej odpowiedniości elementów obrazów. W prezentowanych metodach poszukiwanie odpowiedniości elementów obrazów sprowadzono do zadania ustalenia niedokładnej odpowiedniości odpowiednio zdefiniowanych grafów. Na potrzeby rozwiązania tego zadnia opracowano metodę poszukiwania odpowiedniości grafów przez poszukiwanie klik optymalnych. Jako przykład zastosowania prezentowanych metod przedstawiono ich wykorzystanie w zadaniu poszukiwania stereokorespondencji.
In this paper the ideas of novel methods for finding inexact correspondence of image elements, using structural information, are presented. Task of matching image elements is reduced to the problem of inexact graph matching in accordingly defined graphs. For solving this problem method of finding graph matching by optimal clique finding was developed. As an example of practical usage of the described methods, their application in problem of stereomatching is presented.
Źródło:
Pomiary Automatyka Kontrola; 2007, R. 53, nr 5, 5; 9-11
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Poszukiwanie odpowiedniości elementów obrazów poprzez poszukiwanie klik optymalnych
Image element matching by optimal clique findingInstytut
Autorzy:
Bal, A.
Powiązania:
https://bibliotekanauki.pl/articles/156849.pdf
Data publikacji:
2007
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
elementy obrazu
poszukiwanie wzorca
graf
image analysis
pattern definition
graph
Opis:
W pracy przedstawiono idee trzech nowych, wykorzystujących informację o strukturze, metod poszukiwania niedokładnej odpowiedniości elementów obrazów. Metodami tymi są metoda: jednokrokowa, iteracyjna i wieloetapowa. Problem poszukiwania odpowiedniości elementów obrazów został w nich sprowadzony do problemu określenia niedokładnej odpowiedniości odpowiednio zdefiniowanych grafów. Na potrzeby rozwiązania tego zadnia opracowano metodę poszukiwania odpowiedniości grafów przez poszukiwanie klik optymalnych. Jako przykład zastosowania prezentowanych metod przedstawiono ich wykorzystanie w zadaniu poszukiwania stereokorespondencji.
In this paper the idea of three novel (i.e. one-step, iterative and multistage method), using structural information, methods for finding inexact correspondence of image elements is presented. In those methods the task of matching image elements is reduced to the problem of inexact graph matching in accordingly defined graphs. For this problem solving new method of finding graph matching by optimal clique finding in respectively defined association graph was developed. As an example of practical usage of the described methods, their application in problem of stereomatching is presented.
Źródło:
Pomiary Automatyka Kontrola; 2007, R. 53, nr 8, 8; 3-6
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Doskonała sieć Petriego w projektowaniu współbieżnych układów sterujących
Perfect Petri Net in parallel control circuits
Autorzy:
Adamski, M.
Kołopieńczyk, M.
Mielcarek, K.
Powiązania:
https://bibliotekanauki.pl/articles/152414.pdf
Data publikacji:
2011
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
sieć Petriego
sieć doskonała
graf doskonały
Petri net
perfect net
perfect graph
Opis:
W artykule wskazano na korzyści płynące z wykorzystania doskonałych bezpiecznych sieci Petriego w projektowaniu współbieżnych układów sterujących. Przedstawiono sposób sprawdzenia, czy sieć Petriego jest siecią doskonałą poprzez analizę jej stanów globalnych i badanie relacji miedzy jej stanami lokalnymi. Potwierdzono, że grafy współbieżności i sekwencyjności między miejscami sieci są grafami doskonałymi. Konsekwencją doskonałości sieci jest możliwość wykorzystania algorytmów o złożoności wielomianowej do jej analizy dynamicznej i statycznej.
This paper is pointing out benefits from application of perfect and safe Petri Nets to design process of parallel control circuits. There is presented a method for verifying the perfectness of Petri Net achieved by analysis of Petri Net global states and relation between Petri Net local states. There is also proved that the concurrency and sequencing graphs of a given Petri Net are perfect. Static and dynamic analysis can be performed using algorithms with polynomial complexity. The presented dependences can also be used to decompose a given Petri Net into components, i.e. state machines, and analyze and verify the project correctness. Petri net analysis is discussed on an example of a real-life object of the beverages mixing system. This paper is divided into five parts. The first section is a brief introduction to issues of perfect and safe Petri Nets. The second section is the theoretical introduction to the subject matter. In the third section an example of perfect Petri nets is presented. In the fourth section the method of constructing the perfect Petri Nets is presented. The last section contains the sum-mary.
Źródło:
Pomiary Automatyka Kontrola; 2011, R. 57, nr 6, 6; 656-660
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Synteza logiczna zespołu funkcji ukierunkowana na minimalizację liczby wykorzystywanych bloków logicznych PAL w oparciu o zmodyfikowany graf wyjść
The Logic Synthesis of the Multi-Output Boolean Function Directed to PAL Logic Block Number Minimization Based on a Modified Graphs Nodes
Autorzy:
Kubica, M.
Kania, D.
Powiązania:
https://bibliotekanauki.pl/articles/156944.pdf
Data publikacji:
2011
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
synteza logiczna
graf wyjść
układ CPLD
logic synthesis
graph's nodes
CPLD structure
Opis:
W artykule przedstawiono metodę implementacji zespołu funkcji prowadzącą do ograniczenia liczby wykorzystywanych bloków PAL. Istota metody tkwi w dopasowaniu opisu zespołu funkcji do charakterystycznej cechy każdego układu CPLD, jaką jest liczba iloczynów pojedynczego bloku PAL. Metoda wykorzystuje graf wyjść w zmodyfikowanej postaci, zawierający informacje na temat stopnia wykorzystania iloczynów w strukturze PAL. Wyniki eksperymentów wskazują, że wykorzystanie zmodyfikowanego grafu wyjść w procesie syntezy prowadzi do efektywniejszego wykorzystania zasobów struktury CPLD, w stosunku do metod implementacji opartych na klasycznym grafie wyjść.
The article is concerned with the implementation method of the multi-output Boolean function that leads to the limitation of the number of the PAL (Programmable Array Logic) logic blocks used. The essence of this technique is to match the description of a multi-output function to the distinctive feature of an each CPLD (Complex Programmable Logic Device) structure which is the number of terms of a single PAL block. This distinctive feature of a PAL block is best illustrated in the form of a picture (see Fig. 1) in which the number of terms is marked as k. Apart from that, the main purpose of the method is to apply a modified graph of outputs to present the degree to which terms were used in a given PAL block. In this article, the authors also present the operations of pasting and splitting in a modified graph of outputs thanks to which the degree of the terms used can be significantly improved. The process is presented in the form of three pictures (see Fig. 5, Fig. 6, Fig. 7). The experimental results show that the usage of a modified graph of outputs in the synthesis process enables to use the CPLD structure in a much more effective way (see Tab. 1) than in the case of the implementation method which is based on a classical graph of outputs. In the penultimate chapter proper conclusions were drawn on the experiment basis. The article ends with a bibliography list which presents all the works used by the authors while writing.
Źródło:
Pomiary Automatyka Kontrola; 2011, R. 57, nr 7, 7; 737-740
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Określanie geometrii tras szynowych z wykorzystaniem aproksymacyjnych funkcji sklejanych
Determining the geometry of rail routes using the approximating spline functions
Autorzy:
Lenda, G.
Strach, M.
Powiązania:
https://bibliotekanauki.pl/articles/155878.pdf
Data publikacji:
2012
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
regulacja torów kolejowych
wykres krzywizn
funkcje sklejane
railtrack adjustment
curvature graph
spline functions
Opis:
Opracowanie skupia się na metodach rozpoznawania geometrii odcinków trasy kolejowej, przeprowadzanego na potrzeby regulacji torów. Wymieniono metody klasyczne z opisem ich ograniczeń, zaproponowano również nowy algorytm, bazujący na skalowalnym wykresie krzywizn, tworzonym w oparciu o aproksymacyjne funkcje sklejane opisujące oś toru. Analizowany nowy typ wykresu różni się od stosowanego powszechnie wykresu krzywizn tym, że pozwala na zredukowanie wrażliwości na błędy pomiarowe i deformacje geometrii toru. Ułatwia także klasyfikowanie poszcze-gólnych odcinków krzywoliniowych tworzących regulowany tor.
The study focuses on methods of recognition of the geometry of the railway sections, carried out for the adjustment of railway tracks. It is proposed a new algorithm, based on scalable curvature graph, created based on the approximating spline functions describing the axis of the track. The article presents the classical method of identifying the geometry, using angle graphs, cant graphs, curvature graphs, and the arrows of the arc graph (Fig. 1, 2, 3), discussing their characteristic features. Emphasis was put on the curvature graph, which allows accurate readings. However this graph is sensitive to measuring errors and deformations of track geometry, making it difficult to perform readings. In addition, although greater in comparison with other methods of precision, with his help differentiate segments of the small differences in curvature (segmental arcs) can raise doubts. To reduce these limitations proposed new way of creating a scalable curvature graph (chapter 3), which is determined to track described by the approximating spline functions with a given damping ratio distortion. In order to present the possibility of the method, constructed with the help of it curvature graphs for two independent sections of the track, comparing them to the classical curvature graphs (chapter 4). Towards them, the new method allows to reduce the sensitivity of the measurement errors and deformations of track geometry (Figures 8 and 9), facilitating the readings. It also increases the precision of the demarcation of segments of the small differences in curvature (Figures 10 and 11).
Źródło:
Pomiary Automatyka Kontrola; 2012, R. 58, nr 12, 12; 1082-1086
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Kosynteza systemów dynamicznie rekonfigurowalnych reprezentowanych przez warunkowe grafy zadań
Co-synthesis of dynamically reconfigurable SOPC systems described by conditional task graphs
Autorzy:
Czarnecki, R.
Deniziak, S.
Powiązania:
https://bibliotekanauki.pl/articles/156196.pdf
Data publikacji:
2008
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
kosynteza
dynamiczna rekonfiguracja
FPGA
warunkowy graf zadań
co-synthesis
dynamic reconfiguration
conditional task graph
Opis:
W pracy zaprezentowany jest rafinacyjny algorytm kosyntezy wieloprocesorowych, dynamicznie rekonfigurowalnych systemów wbudowanych. Jest to pierwszy algorytm wykorzystujący informacje o zadaniach wzajemnie się wykluczających (ZWW) do optymalizacji systemów dynamicznie rekonfigurowalnych. Specyfikacja takich zadań jest możliwa przy pomocy warunkowych grafów zadań. Wykorzystując dynamiczną rekonfigurację systemu możliwe jest przyporządkowanie zadań ZWW do tych samych zasobów sprzętowych. W ten sposób można zmniejszyć powierzchnię, a w wolnej przestrzeni alokować inne zadania sprzętowe, co również może prowadzić do zwiększenia szybkości systemu.
In this work a co-synthesis method, which allows for optimization of dynamically reconfigurable multiprocessor SOPC system architecture, is presented. To our best knowledge, this is the first algorithm that takes into consideration mutually exclusive tasks in optimization of dynamically reconfigurable systems. Such tasks are presented using conditional task graphs. Partially reconfigurable FPGAs let reuse of the same hardware resources for mutually exclusive tasks. In this way the area occupied by embedded system can be decreased and free space can be used for other hardware tasks. It can also increase SOPC's performance.
Źródło:
Pomiary Automatyka Kontrola; 2008, R. 54, nr 8, 8; 460-463
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Metoda reprezentacji pośredniej programu PLC opisanego za pomocą języków LD i SFC na potrzeby syntezy sprzętowej
A common intermediate representation of LD and SFC programs for hardware synthesis purposes
Autorzy:
Milik, A.
Powiązania:
https://bibliotekanauki.pl/articles/151128.pdf
Data publikacji:
2013
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
sterownik programowalny
diagram stykowy
LD
sekwencyjny schemat funkcji
SFC
synteza logiczna wysokiego poziomu
graf przepływu danych
DFG
FPGA
układy rekonfigurowane
PLC
high level logic synthesis
DFG (data flow graph)
data flow graph
ladder diagram
Opis:
W artykule przedstawiono metody reprezentacji pośredniej programu sterowania opisanego językiem LD oraz SFC zgodnie z IEC61131-3, opracowane na potrzeby syntezy sprzętowej kładów sterowania PLC implementowanych w strukturach programowalnych FPGA. W opisie wykorzystano oryginalną implementację grafu skierowanego. Przedstawiono opracowane reguły odwzorowania, zapewniające zachowanie zależności sekwencyjnych przy jednoczesnym uzyskaniu maksymalnego zrównoleglenia działania. Przedstawiono również zarys metod syntezy na podstawie opracowanego odwzorowania pośredniego.
The increased performance of a PLC can be achieved by direct implementation of a control program in an FPGA device [3, 6, 7, 8, 12, 13]. The paper presents a methodology of transforming a standard PLC program given by LD or SFC according to IEC61131-3 to the common intermediate form dedicated for logic synthesis. The intermediate form of the control program is represented by a data flow graph (DFG, Fig. 1). The set of nodes is carefully selected to minimize the number of different types of nodes while assuring implementation of PLC behavior. Attributed edges and multiple argument nodes are used to reduce size of DFG (Fig. 2). The developed method for creating a DAG maintains sequential dependencies between variables and revel operations parallelism. In PLC programs the variables pass values between operations and computation cycles. In order to maintain sequential dependencies, value assignment to a variable is observed. If the accessed variable has not been assigned, its value is used for a driving node (Fig. 3). The SFC is based on step, actions and transitions [2]. The step variable in the DFG is represented by a JK flip-flop equivalent. The activation function of a step is based on analysis of its dependencies with preceding and succeeding steps and transitions (Fig. 5). Actions that are bounded with steps are controlled according to their types (Fig. 6). The presented intermediated representation has been successfully applied to synthesize a PLC implemented in an FPGA device.
Źródło:
Pomiary Automatyka Kontrola; 2013, R. 59, nr 8, 8; 799-802
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Rozpoznawanie wzorców cyfrowych pisma ręcznego z użyciem robota edukacyjnego
Handwritten digit pattern recognition based on education robot
Autorzy:
Dimitrova-Grekow, T.
Sworowska, A.
Powiązania:
https://bibliotekanauki.pl/articles/155788.pdf
Data publikacji:
2013
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
rozpoznawanie wzorców
pismo ręczne
drzewo decyzyjne
graf Hamiltona
pattern recognition
handwritten numbers
decision tree
Hamilton graph
Opis:
Niniejsza praca prezentuje zaimplementowanie systemu rozpoznającego ręcznie pisane wzorce cyfrowe z użyciem mobilnego układu edukacyjnego LEGO Mindstorms NXT. Został on wybrany ze względu na prostotę w konstrukcji i równocześnie możliwość złożonego programowania. Zbudowany w ramach projektu robot skanujący znaki pisma ręcznego spełnił założenia początkowe. Wyniki zaimplementowanego algorytmu rozpoznającego również pokryły się z oczekiwaniami - system osiągnął skuteczność na poziomie 100% w warunkach idealnych. We względnie utrudnionych warunkach skuteczność spadła do 91%.
Pattern recognition can be classified depending on the data source, the way data is read, processed and on the implementation of the recognition itself [9]. This paper presents a method of pattern recognition identifying handwritten Arabic numbers. The data is collected by a Lego Mindstorms NXT 2.0 mobile robot using a color sensor. Usually, the input data are gathered by high-precision equipment [2,5], and or have an additional multi-sensor subsystem [1]. Very successive recognition approaches are based on neural networks [3, 4,6] additional supported by statistic [8]. Unfortunately, all these methods require powerful calculations. The environment data read by such a simple educational robot contains many drawbacks: noises, relative stabile confidence etc. The solution we propose solves to some extent the problem using a minimal hardware equipment (Fig. 4) and undemanding computation effort. The built recognition system is divided into two parts. The first part presents the data set collection - the hand-written digits scanning (Fig.1) and the data initial processing. The second one consists of primary and secondary classification (Figs. 2 and 3). The algorithm is based on the undirected graph model [10]. The results of the conducted experiments are very interesting (Tabs. 1 and 2). This encourages further exploration of implementation of the well-known and new recognition methods on minimal hardware.
Źródło:
Pomiary Automatyka Kontrola; 2013, R. 59, nr 8, 8; 812-814
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Modeling of influences of sensor reflections on the accuracy of a microwave reflectometer
Modelowanie wpływu odbić sensorów na dokładność pomiaru reflektometrem mikrofalowym
Autorzy:
Klyuchnyk, I.
Miroshnik, M.
Tsekhmistro, R.
Warsza, Z.
Zaichenko, O.
Powiązania:
https://bibliotekanauki.pl/articles/155225.pdf
Data publikacji:
2014
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
microwave reflectometers
uncertainty
Kalman filter
signal flow graph
reflektometry mikrofalowe
niepewność pomiaru
filtr Kalmana
graf przepływu sygnałów
Opis:
In this paper the uncertainty component of a multisensor microwave reflectometer dependent on mutual reflections between sensors is described. One-line and two-lines arrangement of the set of sensor localization are considered. Adjacent sensors influence each other. The mathematical model of signal flow graphs of such a system was developed. The set of linear algebraic equations incorporating main reflections between sensors was worked out. The least squares method or Kalman filter for averaging the sensor signals with random distortions is used. The uncertainty of measuring the power by the multi-sensor reflectometer is estimated. The obtained results are discussed. The described methods of the uncertainty evaluation can be applied to automation of the multi-sensor reflectometer and in other multivariable measurements.
Artykuł przedstawia i porównuje wyniki modelowania błędów granicznych w pomiarach mocy sygnału mikrofalowego w falowodzie wielosensorowym reflektometrem. Wyniki te uzyskano metodą najmniejszych kwadratów lub też filtrem Kalmana. Stosowanie kilku dodatkowych sensorów w falowodzie umożliwia pomiary trzech podstawowych parametrów mocy sygnału ze zwiększoną czułością. Jednakże sensory oddziałują wzajemnie na siebie. Analizuje się jednorzędowy i dwurzędowy układ rozmieszczenia sensorów podany na rys. 1a,b. Odległość między sensorami odpowiada 1/8 długości fali w falowodzie. Wykorzystując grafy skierowane opracowano model przepływu sygnałów w układzie - rys. 2. Uwzględniono wpływy odbić od sąsiednich sensorów rozmieszczonych w falowodzie. Otrzymano uproszczony liniowy układ równań algebraicznych uwzględniający podstawowe oddziaływania odbić od sensorów - wzór (2). Przy założonych wariancjach dla normalnych rozkładów zakłóceń w torach czujników oszacowano standardowe niepewności pomiarów mocy sygnału w falowodzie. Użyto uśredniania metodą najmniejszych kwadratów MNK lub filtru Kalmana, dla którego podano schemat przetwarzania - rys. 3 i wzory (3)-(10). Niepewności uzyskane obiema metodami dla różnych przesunięć fazowych pomiędzy sensorami i różnej ich liczby przedstawiono na rysunkach 4 i 5. Porównano otrzymane wyniki. Stosując większą liczbę czujników niż 3 obiema metodami uzyskano kilkuprocentowe zmniejszenie standardowej niepewności pomiarów mocy mikrofalowego sygnału w falowodzie. Metodę filtru Kalmana można wykorzystać nie tylko przy automatyzacji pomiaru reflektometrem wielosensorowym, ale i do powiększenia dokładności innych wielosensorowych pomiarów procesów z zakłóceniami.
Źródło:
Pomiary Automatyka Kontrola; 2014, R. 60, nr 4, 4; 223-227
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Synthesis of Moore FSM with encoding of collections of microoperations implemented with ASIC
Syneza skończonego automatu stanu typu Moorea z kodowaniem zbiorów mikrooperacji implementowanego w układach o strukturze matrycowej
Autorzy:
Barkalov, A.
Titarenko, L.
Hebda, O.
Powiązania:
https://bibliotekanauki.pl/articles/153443.pdf
Data publikacji:
2012
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
automat typu Moore'a
sieć działań
stany pseudorównoważne
układ logiczny
Moore FSM
graph-scheme of algorithm
pseudoequivalent states
customized matrices
Opis:
The method for reduction of hardware amount in logic circuit of the Moore finite state machine is proposed. The method is oriented on customized matrix technology. It is based on representation of the next state code as a concatenation of the code for class of collection of microoperations and the code of the vertex. Such an approach allows elimination of a dependence between states and microoperations. As a result, both circuits for generation of input memory functions and microoperations are optimized.
: Model skończonego automatu stanu typu Moore'a jest często stosowany w jednostkach sterujących [1]. Postęp technologii półprzewodnikowej pozwala na tworzenie coraz bardziej złożonych układów cyfrowych. W przypadku produkcji masowej szeroko stosowane są układy ASIC (ang. Application-Specified Integrated Circuits). W układach ASIC automaty skończone są projektowane przy użyciu struktur macierzowych (rys. 1). Jednym z głównych problemów syntezy automatów skończonych ze strukturami macierzowymi jest zmniejszenie powierzchni układu scalonego zajmowanej przez układ logiczny automatu Moore'a. W artykule proponowana jest metoda, która jest zorientowana na redukcję zasobów sprzętowych potrzebnych do implementacji skończonego automatu stanu typu Moore'a implementowanego w układach o strukturze matrycowej. Ta metoda jest oparta na przedstawieniu następnego kodu stanu jako konkatenacji kodu klas zbiorów mikrooperacji i kodów wierzchołków. Takie podejście pozwala zmniejszyć liczbę linii w tabeli przejść automatu Moore'a do liczby linii równoważnej automatowi z wyjściami typu Mealy'ego. Oprócz tego przy zastosowaniu danej metody nie istnieje zależność między kodami stanów i kodami zbiorów mikrooperacji co pozwala zmniejszyć liczbę termów w bloku mikrooperacji. Artykuł przedstawia także przykład zastosowania proponowanej metody.
Źródło:
Pomiary Automatyka Kontrola; 2012, R. 58, nr 6, 6; 514-518
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Zmodyfikowana metoda budowy grafów przyczynowo-skutkowych procesów z wykorzystaniem archiwalnych przebiegów sygnałów
Modified method for building cause-effect graphs of processes using archival signal values
Autorzy:
Tabor, Ł.
Powiązania:
https://bibliotekanauki.pl/articles/156381.pdf
Data publikacji:
2012
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
graf przyczynowo-skutkowy
diagnostyka procesów
modelowanie procesów
odkrywanie wiedzy z danych
cause-effect graph
process diagnostics
process modelling
data mining
Opis:
W artykule opisano zmodyfikowaną metodę automatycznej budowy grafu przyczynowo-skutkowego procesu przemysłowego. Metoda składa się z etapów, w których między innymi analizowane są wskaźniki statystyczne oraz opóźnienia transportowe między sygnałami. W artykule poruszono kwestię wrażliwości metody na parametry oraz zaproponowano rozwiązanie mające zmniejszyć ten problem. Przedstawiono efekt działania algorytmu przed i po modyfikacji dla obiektu przemysłowego, będącego fragmentem sieci przesyłowej gazu ziemnego na dużym obszarze.
The paper describes a modified method for building the cause-effect graph of an industrial process. The algorithm consists of three steps. First, the dataset is searched for signals connected by well know relations such as the PID equation. Next, the algorithm searches the pairs of signals having high values of Kendall correlation coefficients. Additionally, the sequence of spreading disturbances is analysed [5]. The results of the basic algorithm performance are presented on example of a three tank system (Fig. 2) and a gas network (Figs. 4 and 5). In case of the gas network the cause-effect graph created using only the expert knowledge is shown in Fig. 3. In Section 3 the problem of the algorithm sensitivity is analysed (Figs. 4, 5 and 6). There is proposed a solution how to minimise the influence of selected parameters on the final result in Section 4. In order to be able to compare the results before and after modification, the distance measure between graphs [10, 11, 12] is suggested in Section 5. The described method sensitivity before and after modification on the example of the mentioned industrial object - a part of the gas network (Fig. 7) is discussed in Section 6. There is also given the best ( meaning the distance to the graph created by the expert) result of the algorithm for the gas network (Fig. 8).
Źródło:
Pomiary Automatyka Kontrola; 2012, R. 58, nr 1, 1; 101-104
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Zastosowanie grafu niezgodności i dopełnień w procesie kodowania automatów asynchronicznych
An application of the Incompatibility and Complement Graph to asynchronous FSM coding
Autorzy:
Kania, D.
Kulisz, J.
Powiązania:
https://bibliotekanauki.pl/articles/156212.pdf
Data publikacji:
2008
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
problem pokrycia i dopełnienia
teoria grafów
kodowanie stanów
sekwencyjne układy asynchroniczne
covering and complement problem
graph theory
state assignment
asynchronous FSMs
Opis:
W artykule przedstawiono przykład zastosowania nowego rodzaj grafu - grafu niezgodności i dopełnień. Specyficzną cechą tego grafu jest to, że zawiera on dwa rodzaje krawędzi: krawędzie skojarzone z relacjami niezgodności oraz krawędzie skojarzone z relacjami dopełniania. Graf może być wykorzystywany w szeregu problemów optymalizacyjnych, w których rozważane są relacje niegodności i dopełniania wzorców bitowych. W artykule zaprezentowano wykorzystanie grafu w procesie kodowania stanów asynchronicznych układów sekwencyjnych. Przedstawiono też odpowiednie algorytmy tworzenia grafu i kolorowania jego wierzchołków.
The paper presents an application of a novel concept of graph - the Incompatibility and Complement Graph. A specific feature of the graph is that it contains two kinds of edges: connecting mutually incompatible nodes, and connecting mutually complementing nodes [3, 4]. The graph can be useful in certain class of optimization problems, in which compatibility of bit patterns in both the true and the complemented form has to be analyzed [5]. An example of such a problem is covering analysis in asynchronous FSM coding. The relevant coding method was presented by Tracey [1]. The method consists of several steps. In one of the steps a Boolean matrix is built, describing partitions of the relevant state set, which are required to provide coding free form critical races. In the subsequent step the Boolean matrix has to be reduced. During this step compatibility of the matrix rows both in the true, and the complemented form has to be analysed. For this purpose the Row Incompatibility and Complement graph can be used. The paper presents a simple example explaining the method. Appropriate algorithms for the graph building (Fig. 3) and colouring (Fig. 4) are also presented.
Źródło:
Pomiary Automatyka Kontrola; 2008, R. 54, nr 8, 8; 486-488
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Matrix implementation of Moore FSM with expansion of coding space
Macierzowa implementacja automatu Moorea z rozszerzeniem przestrzeni kodowania
Autorzy:
Barkalov, A. A.
Titarenko, L.
Hebda, O.
Powiązania:
https://bibliotekanauki.pl/articles/154601.pdf
Data publikacji:
2010
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
automat typu Moore'a
sieć działań
stany pseudorównoważne
układ logiczny
Moore FSM
graph-scheme of algorithm
pseudoequivalent states
customized matrices
logic circuit
Opis:
The proposed method is targeted on reduction of hardware amount in logic circuit of Moore finite-state machine implemented with customized matrices. The method is based on using more than minimal amount of variables in codes of FSM internal states. The method includes two stages of state encoding. The second stage is connected with recoding of states inside each class of pseudoequivalent states. An example is given for proposed method application.
Zaproponowana metoda jest zorientowana na redukcję zasobów sprzętowych potrzebnych do implementacji skończonego automatu stanu typu Moore'a implementowanego w układach o strukturze macierzowej. Metoda wykorzystuje dwuetapowe kodowanie stanów, w którym liczba zmiennych jest większa od minimalnej. W pierwszym etapie realizowane jest optymalne kodowanie stanów dla klas stanów pseudorównoważnych. Poszczególne stany są reprezentowane jako pojedynczy unikalny interwał boolowskiej przestrzeni kodów. Etap ten jest konieczny do zoptymalizowania układu realizującego funkcje wejść. W drugim etapie zamieniana jest kolejność stanów w ramach poszczególnych klas stanów pseudorównoważnych, co pozwala na optymalizację powierzchni macierzy implementującej funkcje wyjść. Proponowana metoda może zostać użyta w układach CPLD z komórkami PAL i PLA oraz w układach FPGA. W artykule przedstawiono także przykład zastosowania proponowanej metody.
Źródło:
Pomiary Automatyka Kontrola; 2010, R. 56, nr 7, 7; 694-696
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Optimization of Moore finite-state-machine matrix circuit
Optymalizacja macierzowego układu skończonego automatu stanu typu Moorea
Autorzy:
Barkalov, A.
Titarenko, L.
Hebda, O.
Powiązania:
https://bibliotekanauki.pl/articles/155022.pdf
Data publikacji:
2011
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
automat typu Moore'a
sieć działań
stany pseudorównoważne
układ logiczny
Moore FSM
graph-scheme of algorithm
pseudoequivalent states
customized matrices
logic circuit
Opis:
The method for reduction of the area of matrix implementation of the Moore finite state machine (FSM) circuit is proposed. The method is based on optimal state coding and decomposition of a matrix in two sub-matrices. Thus, classes of the pseudoequivalent states are used. Such approach allows reducing number of lines of the Moore FSM transition table to that of the equivalent Mealy FSM. As a result, the area of the matrices forming the excitation function of a states memory register is optimized. An example of the proposed method application is given.
Model skończonego automatu stanu typu Moore'a jest często stosowany w jednostkach sterujących [1]. Postęp technologii półprzewodnikowej pozwala na tworzenie coraz bardziej złożonych układów cyfrowych. W przypadku produkcji masowej szeroko stosowane są układy ASIC (ang. Application-Specified Integrated Circuits). W układach ASIC automaty skończone są projektowane przy użyciu struktur macierzowych (rys. 1). Jednym z głównych problemów syntezy automatów skończonych ze strukturami macierzowymi jest zmniejszenie powierzchni układu scalonego zajmowanej przez układ logiczny automatu Moore'a. W artykule proponowana jest metoda, która jest ukierunkowana na redukcję zasobów sprzętowych potrzebnych do implementacji skończonego automatu stanu typu Moore'a implementowanego w układach o strukturze macierzowej. Ta metoda jest oparta na optymalnym kodowaniu stanów i rozbijaniu macierzy termów na dwie podmacierze (rys. 2). Takie podejście pozwala zmniejszyć liczbę linii w tabeli przejść automatu Moore'a do liczby linii równoważnej automatowi z wyjściami typu Mealy'ego (tab. 2). Artykuł przedstawia także przykład zastosowania proponowanej metody.
Źródło:
Pomiary Automatyka Kontrola; 2011, R. 57, nr 8, 8; 939-941
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Zastosowanie algorytmów przeszukiwania grafów do analizy obrazów medycznych
Analysis of medical images based on graph search algorithms
Autorzy:
Dimitrova-Grekow, T.
Dąbkowski, A.
Powiązania:
https://bibliotekanauki.pl/articles/156629.pdf
Data publikacji:
2012
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
analiza obrazów medycznych
algorytmy przeszukiwania grafów
uczenie maszynowe
eksploracja danych
rozpoznawanie choroby
image analysis
graph search algorithm
machine learning
data mining
disease recognition
Opis:
W artykule przedstawiono wyniki testów niekonwencjonalnego zastosowania metod do przeszukiwania grafów w celu analizy obrazów powstałych z rezonansu magnetycznego głowy. Zaprezentowano GUI do automatycznej obróbki serii obrazów. Zbudowane klasyfikatory wykazały, że metoda BFS analizy plików DICOM, po odpowiednej selekcji cech, pozwala na 100% rozpoznawanie chorych na wodogłowie i ponad 90% zdrowych, co zachęca do dalszych badań i obserwacji, np. czy osoby sklasyfikowane błędnie jako chorzy, po czasie rzeczywiście nie rozwinęli tej choroby.
There are many methods for image segmentation [1, 2]: threshold, area, edge and hybrid methods. Area methods indicate groups of similar pixels form local regions [3, 4]. Edge methods detect boundaries between homogeneous segments [5, 6, 7]. In this paper we present the results of tests of unconventional implementation of graph search methods for the analysis of images generated from magnetic resonance imaging [8]. We explored the effectiveness of different approaches for dividing areas within a similar gray scale, using adapted graph search algorithms (DFS, BFS) after appropriate modification (Fig. 1). For this purpose, the Weka package (a tool for pre-processing, classification, regression, clustering and data visualization) was used [9]. A training set was generated after analyzing all the series of images from the database. First, we evaluated models created using certain algorithms and compared their efficacy (Tab. 1). This was followed by a selection of attributes (Tab. 2) and a re-evaluation of the models (Tab. 3). Comparison of the results of both evaluations showed that after selection of the relevant product attributes, you can achieve up to 100% detection of patients with hydrocephalus and over 90% proper recognition of healthy persons. This encourages further research and observation, such as whether persons wrongly classified as sick actually developed the disease in time. We designed a web application for the study, written in Windows Azure, as well as a GUI for automatic processing of a series of images (Fig. 2).
Źródło:
Pomiary Automatyka Kontrola; 2012, R. 58, nr 7, 7; 578-580
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Wyświetlanie 1-15 z 20

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies