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ę "hipergraf" wg kryterium: Temat

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-14 z 14
    Tytuł:
    Dekompozycja systemów dyskretnych z wykorzystaniem hipergrafów
    Usage of hypergraphs in decomposition of discrete system
    Autorzy:
    Wiśniewska, M.
    Wiśniewski, R.
    Adamski, M.
    Powiązania:
    https://bibliotekanauki.pl/articles/152819.pdf
    Data publikacji:
    2007
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    Tematy:
    system dyskretny
    dekompozycja
    hipergraf
    discrete system
    decomposition
    hypergraph
    Opis:
    W referacie zaprezentowana zostanie metoda dekompozycji systemów dyskretnych z wykorzystaniem hipergrafów. Podział uzyskano poprzez zastosowanie hierarchicznej redukcji wierzchołków hipergrafu. W procesie partycjonowania bloki systemu dyskretnego reprezentowane są poprzez wierzchołki hipergrafu, natomiast połączenia pomiędzy blokami - poprzez hiperkrawędzie. Przedstawiona metoda umożliwia sekwencyjną redukcję wierzchołków hipergrafu, w których projektant sam może zadecydować, na którym poziomie hierarchii chce zakończyć partycjonowanie. Dzięki temu dany system może zostać podzielony na dowolną liczbę mniejszych układów.
    In the paper a method of discrete-system decomposition is proposed. The method is based on the hypergraph reduction and partition. A discrete-system is represented by a hypergraph; where module corresponds to the vertice and connection (net) corresponds to the hyperedge. The proposed method allows hierarchical reduction of the hypergraph and finally - partition of the discrete-system.
    Źródło:
    Pomiary Automatyka Kontrola; 2007, R. 53, nr 5, 5; 129-131
    0032-4140
    Pojawia się w:
    Pomiary Automatyka Kontrola
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Dekompozycja systemów dyskretnych poprzez zastosowanie hierarchicznej redukcji krawędzi hipergrafów
    Usage of hypergraphs in hierarchical decomposition of discrete system
    Autorzy:
    Wiśniewska, M.
    Adamski, M.
    Powiązania:
    https://bibliotekanauki.pl/articles/156242.pdf
    Data publikacji:
    2008
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    Tematy:
    system dyskretny
    dekompozycja
    hipergraf
    discrete system
    decomposition
    hypergraph
    Opis:
    W artykule zaproponowana zostanie metoda podziału systemu dyskretnego z wykorzystaniem teorii hipergrafów. System dyskretny reprezentowany jest poprzez hipergraf. Poszczególne moduły odzwierciedlane są poprzez wierzchołki, natomiast połączenia pomiędzy modułami - poprzez hiperkrawędzie. Tak określony system dyskretny może zostać poddany procesowi dekompozycji z wykorzystaniem teorii hipergrafów. Metoda podziału systemów dyskretnych z wykorzystaniem hipergrafów zostanie zilustrowana przykładem. Szczegółowo przedstawione zostaną wszystkie kroki, jakie są niezbędne do wykonania procesu dekompozycji hipergrafów.
    A new method of the discrete-system decomposition is proposed in the paper. The method is based on the hypergraph reduction and partition. A discrete-system is represented by a hypergraph; where module corresponds to the vertex and connection (net) corresponds to the hyperedge. The proposed method allows hierarchical reduction of the hypergraph and finally - partition of the discrete-system. All steps that are required in order to perform the decomposition of the discreete -system will be shown. The method of the hierarchical reduction and partition of hypergraphs will be illustrated by an example.
    Źródło:
    Pomiary Automatyka Kontrola; 2008, R. 54, nr 8, 8; 517-519
    0032-4140
    Pojawia się w:
    Pomiary Automatyka Kontrola
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Algorytm selekcji wykorzystujący teorię hipergrafów
    A selection algorithm based on the hypergraph theory
    Autorzy:
    Stefanowicz, Ł.
    Wiśniewski, R.
    Adamski, M.
    Powiązania:
    https://bibliotekanauki.pl/articles/152957.pdf
    Data publikacji:
    2014
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    Tematy:
    selekcja
    podsieci automatowe
    implikanty proste
    hipergraf
    hipergraf transwersal dokładnych
    transwersala
    transwersala dokładna
    selection
    State Machine Components
    SMCs
    prime implicants
    hypergraph
    transversal
    exact transversal
    Opis:
    Artykuł porusza kwestię selekcji określonych elementów zbioru z wykorzystaniem teorii hipergrafów. Przedstawiona została idea wspólnego algorytmu selekcji, w przypadku takich problemów, jak selekcja podsieci automatowych w dekompozycji sieci Petriego, a także selekcja implikantów prostych w procesie miminalizacji funkcji logicznych. Jako bazowy algorytm, wykorzystano metodę transwersal dokładnych, jednocześnie usprawniając ją o alternatywną scieżkę w przypadku, kiedy dany hipergraf selekcji nie należy do klasy hipergrafu transwersal dokładnych. Jak pokazują badania, metoda może być dobrą alternatywą obok wykorzystywanych metod tradycyjnych.
    The paper deals with the selection problem based on the hypergraph theory. There is presented an idea of a common selection algorithm for selection of State Machine Components and Prime Implicants. The exact transversal method was used as a baseline algorithm. It was improved by supporting it with an optional path when a given selection hypergraph did not belong to the xt-class (class of the exact transversal hypergraph). In this case, the exact transversal was searched. When it was unsuccessful, the regular transversal was searched. The studies prove that the method allows obtaining the exact solution when the selection hypergraph does not belong to the xt-class, but has an exact transversal. The presented results show that a hypergraph which does not belong to the xt-class may have an exact transversal enabling obtaining a solution which would be as good as the one obtained with the backtracking method. The exact solution was also obtained with the use of an ordinary transversal, which de facto indicated that the regular transversals allowed, in certain cases, obtaining the exact solution. It seems to confirm the aptly determined class of solutions of the proposed improvements. In some cases, the solution contained one extra subnet, but in one tested case, the solution turned out to be much worse than the exact one.
    Źródło:
    Pomiary Automatyka Kontrola; 2014, R. 60, nr 7, 7; 516-518
    0032-4140
    Pojawia się w:
    Pomiary Automatyka Kontrola
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Wielomianowy algorytm wyznaczania hipergrafu współbieżności w sieciach Petriego swobodnego wyboru
    A polynomial algorithm to compute the concurrency hypergraph in Petri nets
    Autorzy:
    Wiśniewski, R.
    Wiśniewska, M.
    Adamski, M.
    Powiązania:
    https://bibliotekanauki.pl/articles/156447.pdf
    Data publikacji:
    2012
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    Tematy:
    sieć Petriego
    hipergraf współbieżności
    dekompozycja
    Petri net
    concurrency hypergraph
    decomposition
    Opis:
    W referacie zaproponowano metodę umożliwiającą określenie strukturalnej relacji współbieżności w sieciach Petriego swobodnego wyboru (Free Choice). Algorytm znajduje miejsca wzajemnie współbieżne na podstawie struktury sieci oraz miejsc oznaczonych markerem startowym. W odróżnieniu od istniejących algorytmów, proponowana metoda znajduje wszystkie miejsca wzajemnie współbieżne, wyznaczając hipergraf współbieżności. Przeprowadzone badania eksperymentalne potwierdzają bardzo wysoką skuteczność proponowanej metody.
    In the paper a new algorithm of concurrency hypergraph computation is presented. The main aim of the proposed method is computation of a concurrency hypergraph in the polynomial time. The algorithm input is specified by the Petri net that belongs to the Free Choice subclass. Based on the net structure, the method outputs the concurrency relations between all places in the net. Particular relations are stored by the concurrency hypergraph instead of the concurrency graph, which is currently practiced. The hypergraph permits to store information about relations between all places in the net. In case of the concurrency graph it is limited to relations between pairs of places. Therefore, application of the concurrency hypergraph seems to be more intuitive and natural. The algorithm bases on the traditional solutions, however particular concurrency relation may contain more than two places which is not possible in currently known methods. The proposed solution is especially valuable in combination with the method presented in [1, 2] and permits to find the subsequent SM-Components in the polynomial time. The algorithm was experimentally verified. The method was compared with the traditional solution, where all maximal cliques in the concurrency graph were computed. The obtained results proved very high effectiveness of the proposed algorithm, which was always better than methods based on the graph theory. We have also noticed that the effectiveness increases drastically with the number of places and transitions in the Petri net.
    Źródło:
    Pomiary Automatyka Kontrola; 2012, R. 58, nr 7, 7; 650-652
    0032-4140
    Pojawia się w:
    Pomiary Automatyka Kontrola
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Towards al-based distributed lighting control systems
    W kierunku inteligentnych, rozproszonych systemów sterowania oświetleniem
    Autorzy:
    Wojnicki, I.
    Sędziwy, A.
    Kotulski, L.
    Powiązania:
    https://bibliotekanauki.pl/articles/282118.pdf
    Data publikacji:
    2012
    Wydawca:
    Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
    Tematy:
    oświetlenie
    LED
    reguły
    sztuczna inteligencja
    graf
    hipergraf
    lighting
    rules
    rule-based
    graph
    hypergraph
    AI
    Opis:
    The paper discusses an approach which is targeted at obtaining maximal benefits of contemporary advanced lighting systems. The benefits are expressed in terms of improved energy efficiency (i.e. lower power consumption) or citizens ąuality of life. Applying proposed solution one could use intelligent control methods which functionality goes far beyond simple preset lighting scenarios as it is present in existing commercial systems. The main problem tackled here is a high complexity of control algorithms related to a size of a state space compound of lighting profiles, fixtures' working parameters and varying environment conditions. The proposed method, designed for solving this issue, is using decom-posable graph representations of the environment under control, and multiagent system deployed on it. An important component of the system is a rule-based engine, adapting lighting control parameters to actual environment needs.
    Artykuł przedstawia podejście nastawione na maksymalizację korzyści płynących z zastosowania zaawansowanych systemów oświetlenia tj. poprawę wydajności energetycznej (np. zmniejszenie poboru energii) oraz polepszenie jakości życia. Proponowane rozwiązanie, bazujące na koncepcji inteligentnego sterowania, udostępnia funkcje dotychczas niespotykane w oferowanych komercyjnie produktach. Problemem, w przypadku systemów oświetlenia, jest duża złożoność obliczeniowa algorytmów sterujących. Związane jest to z rozbudowaną przestrzenią stanów dla takiego systemu reprezentującą różne profile oświetlenia, parametry pracy punktów świetlnych oraz warunki środowiska. Zaproponowane podejście rozwiązuje ten problem poprzez zastosowanie dekomponowalnej reprezentacji grafowej oraz środowiska wieloagentowego przetwarzającego takie grafy. Istotnym elementem rozwiązania jest system regułowy określający parametry sterowania dla poszczególnych punktów świetlnych w zależności od zapotrzebowania.
    Źródło:
    Automatyka / Automatics; 2012, 16, 2; 189-198
    1429-3447
    2353-0952
    Pojawia się w:
    Automatyka / Automatics
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Zastosowanie teorii hipergrafów w procesie analizy systemów dyskretnych opisanych sieciami Petriego
    Application of hypergraphs to analysis of discrete-systems described with Petri Nets
    Autorzy:
    Adamski, M.
    Wiśniewska, M.
    Powiązania:
    https://bibliotekanauki.pl/articles/155263.pdf
    Data publikacji:
    2011
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    Tematy:
    hipergraf
    transwersala dokładna
    sieć Petriego
    system dyskretny
    hypergraph
    exact transversal
    Petri net
    discrete system
    Opis:
    W artykule zaprezentowane zostały nowe metody wspomagające proces analizy systemów dyskretnych opisanych sieciami Petriego. Relacje w prototypowanym systemie dyskretnym są odwzorowane hiper-grafem. Dzięki temu projektowany, wbudowany, rekonfigurowany sterownik logiczny może zostać poddany efektywniejszemu procesowi analizy z wykorzystaniem nowych algorytmów, związanych z traktowanymi łącznie teoriami hipergrafów i sieci Petriego. Wykorzystano między innymi takie procedury jak dopełnienie, dualizm, transwersale, transwersale dokładne oraz kolorowanie hipergrafu. W artykule w sposób nieformalny wykorzystano autorskie twierdzenia, wspomagające cały proces projektowania sterowników. Szczególną uwagę zwrócono na nowe sposoby analizy systemów dyskretnych, opisanych sieciami Petriego, takie jak częściowa weryfikacja poprawności specyfikacji sterownika na podstawie struktury hipergrafu współbieżności oraz zastosowanie transwersal do-kładnych w procesie wyodrębniania powiązanych ze sobą procesów sekwencyjnych.
    In the paper application of the hypergraph theory to analysis of discrete-systems described by means of Petri Nets is proposed. The relations between local states are represented by hypergraph vertices whose edges correspond to the global states. Therefore, the analysis of a prototype system can be performed by more effective operations supported by the hypergraph theory as well as the Petri net theory (such as dualism, hypergraph complement, transversals, exact transversals, hypergraph colouring). In the paper the authors propose application of the concurrency hypergraph to the analysis of a discrete-system. Such a structure refers to the traditional concurrency graph, however it keeps information about global states of the analysed system. Moreover, the concurrency hypergraph has some unique properties, which can lead to reduction in the computational complexity of some algorithms of the analysis. All minimal transversals in the concurrency hypergraph are also exact transversals. Therefore, such a hypergraph can be applied also to the decomposition process of a discrete-system, which is described by a Petri Net. After the analysis, a controller described by a Petri Net can be decomposed into concurrent sub-nets (concurrent automata). Each exact transversal of the concurrency hypergraph refers to the concurrent automata. The proposed solution allows significantly reducing the computational complexity to a polynomial. The traditional methods, based on the coloring of a concurrency graph are exponential time algorithms, thus they are defined to be NP-complete.
    Źródło:
    Pomiary Automatyka Kontrola; 2011, R. 57, nr 8, 8; 945-947
    0032-4140
    Pojawia się w:
    Pomiary Automatyka Kontrola
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Wyznaczanie optymalnego oświetlenia wspomagane metodami formalnymi
    Optimal Lighting Design Supported by Formal Methods
    Autorzy:
    Sędziwy, A.
    Powiązania:
    https://bibliotekanauki.pl/articles/274589.pdf
    Data publikacji:
    2011
    Wydawca:
    Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
    Tematy:
    inteligentne sterowanie oświetleniem
    LED
    graf
    hipergraf
    system wieloagentowy
    intelligent lighting control
    graph
    hypergraph
    multi-agent system
    Opis:
    W niniejszym artykule przedstawiam kierunki swoich badań oraz motywację ich podjęcia. Dotyczą one budowy formalnego modelu wspierającego tworzenie inteligentnych systemów projektowania i sterowania oświetleniem ulicznym.
    The article presents my recent work and its future direction including their motivation and background. Developing formal methods underlying intelligent systems of design and control of street lighting are in my research area.
    Źródło:
    Pomiary Automatyka Robotyka; 2011, 15, 12; 135-136
    1427-9126
    Pojawia się w:
    Pomiary Automatyka Robotyka
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Zastosowanie hipergrafów w procesie selekcji implikantów prostych
    Application of hypergraphs to the prime implicant selection process
    Autorzy:
    Wiśniewski, R.
    Stefanowicz, Ł.
    Powiązania:
    https://bibliotekanauki.pl/articles/155992.pdf
    Data publikacji:
    2013
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    Tematy:
    minimalizacja funkcji logicznych
    selekcja implikantów prostych
    hipergraf
    transwersala dokładna
    minimization of Boolean functions
    selection of prime implicants
    hypergraph
    exact transversal
    Opis:
    W referacie przedstawiona została nowa koncepcja selekcji implikantów prostych w procesie dwupoziomowej minimalizacji funkcji logicznych. Aktualnie znane metody selekcji bazują na połączeniu metod dokładnych z przybliżonymi. W artykule zaproponowana została nowatorska metoda selekcji, która w całości opiera się na algorytmach dokładnych, poprzez zastosowanie teorii hipergrafów. Najbardziej istotną zaletą proponowanego rozwiązania jest wielomianowa złożoność obliczeniowa całej operacji selekcji, która w przypadku ogólnym ma złożoność wykładniczą.
    : In the paper a new idea for the selection of prime implicants is proposed. The method is based on the two-level minimization process of the Boolean functions, according to the Quine-McCluskey approach. Initially, the set of prime implicants for the logic function ought to be calculated. Next, the selection process is applied to achieve the minimal formula. Such an operation is a typical covering problem and in general case it has exponential computational complexity. In the paper we propose a new prime implicants selection method. An idea is based on the hypergraph theory. The prime implicants table is formed as a selection hypergraph. If the selection hypergraph belongs to the Exact Transversal Hypergraph class (xt-class), the solution may be obtained in a polynomial time, which is not possible in a general case. The proposed method is illustrated by an example. All necessary steps are shown in order to apply the proposed selection algorithm to minimize an exemplary Boolean function.
    Źródło:
    Pomiary Automatyka Kontrola; 2013, R. 59, nr 11, 11; 1195-1197
    0032-4140
    Pojawia się w:
    Pomiary Automatyka Kontrola
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Zastosowanie transwersali hipergrafów w minimalizacji pojemności pamięci systemów dyskretnych
    Application of hypergraph transversals to memory size minimisation
    Autorzy:
    Wiśniewska, M.
    Wiśniewski, R.
    Adamski, M.
    Powiązania:
    https://bibliotekanauki.pl/articles/154751.pdf
    Data publikacji:
    2010
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    Tematy:
    hipergraf
    transwersala (pokrycie wierzchołkowe hipergrafu)
    klasa kompatybilności
    mikrooperacja
    mikroinstrukcja
    minimalizacja pojemności pamięci
    hypergraph
    hypergraph transversal
    compatibility class
    microoperation
    microinstruction
    memory size minimization
    Opis:
    Algorytm redukcji pojemności pamięci systemów dyskretnych bazuje na wyznaczeniu i selekcji klas kompatybilności poszczególnych mikrooperacji. Proces selekcji klas kompatybilności jest zaliczany do problemów z klasy NP-trudnych. W artykule zaprezentowano metodę selekcji klas kompatybilności opierającą się o wyznaczenie transwersali hipergrafów. Proponowane rozwiązanie zostało gruntownie przeanalizowane oraz porównane z metodami tradycyjnymi, bazującymi na przekształceniach macierzowych.
    The problem of memory size minimisation is a very important part of the design process of a discrete system. Very often the volume of the prototyped memory exceeds the size of memory blocks offered by programmable devices (like FPGAs or CPLDs). One of the most popular solution to this problem is memory size minimisation. The reduction of the memory is achieved thanks to selection of the compatibility classes of the microoperations. Such a problem is NP-hard, therefore many various algorithms have been developed. Most of them are based on the graph and matrix theories. In the paper there is proposed a method for memory size reduction in which the hypergraph theory is applied. A hypergraph permits to store and reduce information about the compatibility classes in comparison with the traditional graphs. The memory size minimisation is reached thanks to the computation of its transversal (vertices cover). Any known transversal algorithm can be used in order to calculate the selection of compatibility classes. Four different covering methods of hypergraphs are presented and compared. All steps that are required in order to perform the microinstruction length reduction of discrete systems are shown. The proposed method is compared with the traditional solution. Finally, the detailed results of experiments are presented and discussed.
    Źródło:
    Pomiary Automatyka Kontrola; 2010, R. 56, nr 7, 7; 777-779
    0032-4140
    Pojawia się w:
    Pomiary Automatyka Kontrola
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Selekcja klas kompatybilności z zastosowaniem teorii hipergrafów
    Application of the hypergraph theory to selection of compatibility classes
    Autorzy:
    Wiśniewska, M.
    Adamski, M.
    Wiśniewski, M.
    Powiązania:
    https://bibliotekanauki.pl/articles/152400.pdf
    Data publikacji:
    2011
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    Tematy:
    hipergraf
    selekcja klas kompatybilności
    transwersale (pokrycie wierzchołkowe) hipergrafu
    mikrooperacja
    redukcja pojemności pamięci
    hypergraph
    selection of compatibility classes
    transversals (hitting set), microoperation
    memory size reduction
    Opis:
    Redukcja pojemności pamięci jest istotnym etapem w procesie projektowania systemów dyskretnych. Często pojemność prototypowanej pamięci przekracza rozmiar docelowego bloku pamięci (np. w układach programowalnych FPGA). Najczęściej stosowanym rozwiązaniem jest redukcja rozmiaru mikroinstrukcji w projektowanym systemie. Algorytm bazuje na wyznaczeniu, a następnie selekcji klas kompatybilności poszczególnych mikrooperacji. W artykule zaprezentowane zostaną 2 autorskie algorytmy selekcji klas kompatybilności. Metody opierają się o wykorzystanie teorii hipergrafów (zastosowanie pokrycia wierzchołkowego). Proponowane rozwiązania zostaną gruntownie przeanalizowane oraz porównane z metodą tradycyjną, bazują na przekształceniach macierzowych.
    The problem of memory size reduction is a very important part of design process of discrete systems. The prototyped memory size very often exceeds the size of memory blocks offered by programmable devices (in example FPGAs). One of the most popular solutions to this problem is memory size reduction. The reduction process is based on selection of the compatibility classes of microoperations. Three methods of selection of compatibility classes are presented in the paper. The first one is a well-known method of selection, to which the fast reduction algorithm is applied. The algorithm bases on the matrix operations, which can also be represented as reduction of the hypergraph incidence matrix. In each step some vertices and edges are reduced. The reduced matrix holds the final result. The two other solutions introduced in the paper are based on the idea of computation of the minimal transversal (vertices covering) of hypergraphs. Proper microop-erations are represented by the hypergraph vertices, while compatibility classes are described by the hyperedges. Therefore, any method of hypergraph transversal calculation can be applied to achieve the selection. In the paper the authors propose and analyse the effectiveness of backtracking and greedy algorithms. The proposed solutions are compared with the traditional method, which is based on transformation of the hypergraph incidence matrix. The obtained results of experiments are analysed and discussed in detail.
    Źródło:
    Pomiary Automatyka Kontrola; 2011, R. 57, nr 6, 6; 675-678
    0032-4140
    Pojawia się w:
    Pomiary Automatyka Kontrola
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Redukcja rozmiaru mikroinstrukcji w projektowaniu sterowników mikroprogramowanych
    Microinstruction length reduction in design of microprogrammed controllers
    Autorzy:
    Wiśniewska, M.
    Powiązania:
    https://bibliotekanauki.pl/articles/151802.pdf
    Data publikacji:
    2009
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    Tematy:
    hypergraph
    hipergraf
    klasa kompatybilności
    sterownik (układ) mikroprogramowany
    mikrooperacja
    mikroinstrukcja
    redukcja rozmiaru pamięci
    compatibility class
    microprogrammed controller (control unit)
    microoperation
    microinstruction
    reduction of the microinstruction length
    Opis:
    Problem redukcji rozmiaru mikroinstrukcji jest ważnym etapem w procesie projektowania sterowników mikroprogramowanych. Jest to problem NP-trudny, dlatego też powstało wiele metod poszukujących rozwiązania. Zdecydowana większość zaproponowanych algorytmów bazuje na tradycyjnej teorii grafów. W artykule przedstawiono nową metodę redukcji rozmiaru mikroinstrukcji pamięci sterowników mikroprogramowanych. Algorytm bazuje na reprezentacji klas kompatybilności mikrooperacji z zastosowaniem teorii hipergrafów, a redukcja rozmiaru mikroinstrukcji obliczana jest na podstawie najmniejszej transwersali hipergrafu.
    A microprogrammed controller (also called microprogrammed control unit) consisting of two main parts is one of realizations of the control unit. The first part is responsible for addressing microinstructions that are kept in the control memory. The role of the second part is to hold and generate adequate microinstructions. Typically, the control memory is implemented as a ROM or RAM memory. Many controllers have a long microinstruction width. It may cause serious problems in the prototyping process. If the design is realized as a System-On-Programmable-Chip (SoPC), the memory can be implemented with dedicated memory blocks of Field Programmable Gate Arrays (FPGAs). However, if the microinstruction length exceeds the length of the dedicated memory block offered by an FPGA, the controller's memory ought to be decomposed. In case of controllers implemented as a System-On-Chip (SoC), the memory is treated as an independent module. It means that each additional bit in the microinstruction width increases the total cost of the memory and the whole device. Therefore, the microinstruction length reduction is a very important part of the designing process of the microprogrammed controllers in a digital system. In the paper, we propose the method of microinstruction length reduction, where the hypergraph theory is applied. The microinstruction length reduction is reached thanks to the calculation of the dual hypergraph and computation of its minimum transversal (minimal vertices cover).
    Źródło:
    Pomiary Automatyka Kontrola; 2009, R. 55, nr 8, 8; 575-577
    0032-4140
    Pojawia się w:
    Pomiary Automatyka Kontrola
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Autorski system wspomagający proces dekompozycji sieci Petriego na podsieci typu automatowego
    CAD system for automatic decomposition of Petri Nets
    Autorzy:
    Wiśniewska, M.
    Powiązania:
    https://bibliotekanauki.pl/articles/155267.pdf
    Data publikacji:
    2011
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    Tematy:
    hipergraf
    transwersala dokładna
    system Hippo wspomagający proces dekompozycji sieci Petriego
    hypergraph
    hypergraph transversal
    CAD system Hippo for automatic decomposition of Petri Nets based on hypergraphs
    Opis:
    W referacie przedstawiono autorski system komputerowy wspomagający proces dekompozycji sieci Petriego na podsieci typu automatowego. System sterujący zostaje opisany za pomocą sieci Petriego, na podstawie której określany jest graf lub hipergraf współbieżności. Macierz incydencji hipergrafu współbieżności stanowi dane wejściowe systemu Hippo. Aplikacja oferuje przeprowadzenie dekompozycji z zastosowaniem operacji bazujących na teorii hipergrafów różnymi metodami i umożliwia wybór najlepszej z nich.
    The dedicated CAD system Hippo for automatic decomposition of Petri Nets into concurrent automata is presented. At the beginning the reachability graph is calculated for the Petri Net which may be easily represented by a concurrency graph or a hypergraph. Such structures are input for main decomposition process. There are several methods for decomposition of Petri Nets. The most popular one is based on the colouring of the concurrency graph, however recently, a few new algorithms based on hypergraph theory have appeared. Contrary to a concurrency graph, application of a concurrency hypergraph to the decomposition of Petri Net enables using new and fast methods. The solution can be found by colouring of a concurrency hypergraph, calculating its complement or finding exact transversals. Especially, the last method is most interesting, because it allows reducing the computational complexity to a polynomial. In the paper the decomposition process is presented in detail. There are several ways of decomposition presented (based on colouring graphs/hypergraphs), calculating hypergraph complement or finding its exact transversals. Each of the presented method was implemented in Hippo. The decomposition process is automated. As the input of the Hippo system, a description of a concurrency graph or hypergraph is required. Based on this structure and a selected decomposition method, Hippo finds and prints results. The obtained results are presented in graphical and text form.
    Źródło:
    Pomiary Automatyka Kontrola; 2011, R. 57, nr 8, 8; 948-950
    0032-4140
    Pojawia się w:
    Pomiary Automatyka Kontrola
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Dekompozycja sterowników współbieżnych z zastosowaniem transwersal dokładnych hipergrafu
    Exact transversals in decomposition of Petri Nets into concurrent subnets
    Autorzy:
    Wiśniewska, M.
    Adamski, M.
    Wiśniewski, R.
    Powiązania:
    https://bibliotekanauki.pl/articles/155099.pdf
    Data publikacji:
    2011
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    Tematy:
    hipergraf
    transwersala dokładna
    sieć Petriego
    dekompozycja sieci Petriego na podsieci współbieżne typu automatowego
    hypergraph
    exact transversal
    Petri net
    decomposition of a Petri Net into concurrent subnets automata
    Opis:
    W artykule zaprezentowany został nowatorski sposób dekompozycji cyfrowych sterowników współbieżnych opisanych z wykorzystaniem sieci Petriego na podsieci typu automatowego. W proponowanym rozwiązaniu relacje pomiędzy miejscami sieci Petriego określone za pomocą hipergrafu współbieżności. W odróżnieniu od dotychczas stosowanych rozwiązań, w artykule zaproponowano autorską koncepcję wyznaczania zbiorów niewspółbieżnych, która bazuje na obliczeniu transwersal dokładnych w hipergrafie współbieżności.
    In the paper a new decomposition method of a control system into concurrent automata is presented. The control unit is described as a Petri Net which is further decomposed into concurrent subnets. The main idea of the proposed method is application of exact transversals to the decomposition algorithm. Contrary to the traditional solutions, the authors propose the application of a concurrency hypergraph instead of a standard concurrency graph. The concurrent subnets are found by calculation of exact transversals in the hypergraph. The selection of concurrent automata is also performed with application of exact transversals. Such a solution allows achieving the optimal results (the fewest number of concurrent automata). The proposed concurrency hypergraph has some unique properties. First of all, it is defined to be an exact hypergraph. Therefore, each exact transver-sal in such a hypergraph refers to the concurrent automata. Moreover, all minimal transversals of the hypergraph are also exact transversals. Finally, computation and selection of all exact transversals can be performed in polynomial-time, and this is the most important advantage of the proposed method. The traditional solutions are based on the coloring of a concurrency graph, thus the complexity is NP-complete. All steps that are required in order to perform the decomposition of a controller described by a Petri Net are shown. The proposed method is compared with the traditional solution. Finally, the preliminary results of experiments are presented and discussed.
    Źródło:
    Pomiary Automatyka Kontrola; 2011, R. 57, nr 8, 8; 851-853
    0032-4140
    Pojawia się w:
    Pomiary Automatyka Kontrola
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Automatyczny system wspomagający proces projektowania systemów dyskretnych z wykorzystaniem hipergrafów
    CAD system for automatic decomposition of discrete systems based on hypergraphs
    Autorzy:
    Wiśniewska, M.
    Powiązania:
    https://bibliotekanauki.pl/articles/156956.pdf
    Data publikacji:
    2011
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    Tematy:
    graf
    hipergraf
    dekompozycja systemów dyskretnych
    autorski system wspomagający proces dekompozycji systemów dyskretnych z wykorzystaniem hipergrafów (system Hippo)
    graph
    hypergraph
    decomposition of discrete system
    CAD system Hippo for automatic decomposition of Petri Nets based on hypergraphs
    Opis:
    W artykule zaprezentowany został autorski system wspomagający proces projektowania systemów dyskretnych z wykorzystaniem hipergrafów. Narzędzie Hippo składa się ze zbioru bibliotek, realizujących najważniejsze operacje z zakresu teorii grafów i hipergrafów (m. in. kolorowanie, pokrycie, dopełnienie, dualizm, itd.), które zostały zrealizowane pod kątem ich zastosowania w dekompozycji systemów dyskretnych. Głównym zadaniem systemu jest usprawnienie oraz automatyzacja procesu dekompozycji systemów dyskretnych stosowanych m.in. w projektowaniu zaawansowanych układów cyfrowych (redukcja rozmiaru pamięci, selekcja klas kompatybilności, minimalizacja funkcji logicznych, dekompozycja automatów cyfrowych). Opracowany system Hippo umożliwia przeprowadzenie automatycznego procesu dekompozycji z zastosowaniem różnych algorytmów (zarówno grafowych, jak i hipergrafowych), w efekcie pozwalając wybrać użytkownikowi najkorzystniejsze rozwiązanie.
    In the paper a dedicated CAD system Hippo for automatic decomposition of discrete systems is presented. The tool consists of a set of libraries. Each library was designed as a separate module to solve the particular problem from the field of the graph and hypergraph theories (among others: vertex coloring, vertex covering, transversal computation, dualism, computation of the graph and hypergraph complement). The main task of the system is to improve the process of decomposition of discrete systems (for example: reduction of the microinstruction length, selection of the compatibility classes, decomposition of concurrent automata). The Hippo system consists of eight main modules:- complement -calculation of graph/hypergraph complement;- coloring - five methods of coloring of graph and hypergraph (four greedy and one backtracking);- transversal - four methods of transversals computation (fast reduction algorithm, greedy, backtracking, mixed fast reduction and greedy);- exact transversals - the calculation of the exact transversals is based on the Knuth DLX algorithm, the main advantage of such a solution is polynomial computational time in case of exact hypergraphs;- dualism (only for hypergraphs) - calculates the dual hypergraph;- converting graph to hypergraph;- converting hypergraph to graph;- conversion of the graph/hypergraph description to the TeX format.In the paper particular libraries are described in detail. Moreover, the stand-alone application (Hippo) is shown. Finally, an example of automatic decomposition of the discrete system is presented. All steps and required operations are described.
    Źródło:
    Pomiary Automatyka Kontrola; 2011, R. 57, nr 7, 7; 726-728
    0032-4140
    Pojawia się w:
    Pomiary Automatyka Kontrola
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      Wyświetlanie 1-14 z 14

      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