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

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-4 z 4
    Tytuł:
    Control flow graphs and code coverage
    Autorzy:
    Gold, R.
    Powiązania:
    https://bibliotekanauki.pl/articles/908136.pdf
    Data publikacji:
    2010
    Wydawca:
    Uniwersytet Zielonogórski. Oficyna Wydawnicza
    Tematy:
    graf skierowany
    graf przepływowy
    testowanie oprogramowania
    directed graph
    control flow graph
    graph reduction
    software testing
    statement coverage
    branch coverage
    Opis:
    The control flow of programs can be represented by directed graphs. In this paper we provide a uniform and detailed formal basis for control flow graphs combining known definitions and results with new aspects. Two graph reductions are defined using only syntactical information about the graphs, but no semantical information about the represented programs. We prove some properties of reduced graphs and also about the paths in reduced graphs. Based on graphs, we define statement coverage and branch coverage such that coverage notions correspond to node coverage, and edge coverage, respectively.
    Źródło:
    International Journal of Applied Mathematics and Computer Science; 2010, 20, 4; 739-749
    1641-876X
    2083-8492
    Pojawia się w:
    International Journal of Applied Mathematics and Computer Science
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Time Petri nets state space reduction using dynamic programming
    Autorzy:
    Popova-Zeugmann, L.
    Powiązania:
    https://bibliotekanauki.pl/articles/970865.pdf
    Data publikacji:
    2006
    Wydawca:
    Polska Akademia Nauk. Instytut Badań Systemowych PAN
    Tematy:
    programowanie dynamiczne
    time Petri net
    dynamic programming
    state space reduction
    integer state
    reachability graph
    Opis:
    In this paper a parametric description for the state space of an arbitrary TPN is given. An enumerative procedure for reducing the state space is introduced. The reduction is defined as a truncated multistage decision problem and solved recursively. A reachability graph is denned in a discrete way by using the reachable integer-states of the TPN.
    Źródło:
    Control and Cybernetics; 2006, 35, 3; 721-748
    0324-8569
    Pojawia się w:
    Control and Cybernetics
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Extending the MAX Algorithm for Maximum Independent Set
    Autorzy:
    Lê, Ngoc C.
    Brause, Christoph
    Schiermeyer, Ingo
    Powiązania:
    https://bibliotekanauki.pl/articles/31339469.pdf
    Data publikacji:
    2015-05-01
    Wydawca:
    Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
    Tematy:
    maximum independent set
    stable set
    stability number
    independence number
    reduction
    graph transformation
    MAX Algorithm
    MIN Algorithm
    Vertex Order Algorithm
    Opis:
    The maximum independent set problem is an NP-hard problem. In this paper, we consider Algorithm MAX, which is a polynomial time algorithm for finding a maximal independent set in a graph G. We present a set of forbidden induced subgraphs such that Algorithm MAX always results in finding a maximum independent set of G. We also describe two modifications of Algorithm MAX and sets of forbidden induced subgraphs for the new algorithms.
    Źródło:
    Discussiones Mathematicae Graph Theory; 2015, 35, 2; 365-386
    2083-5892
    Pojawia się w:
    Discussiones Mathematicae Graph Theory
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Method of distribution network reconfiguration at daily operation scheduling
    Metoda rekonfiguracji sieci w codziennym działaniu
    Autorzy:
    Golub, I.
    Voitov, O. N.
    Semenova, L. V.
    Boloev, E. V.
    Powiązania:
    https://bibliotekanauki.pl/articles/952867.pdf
    Data publikacji:
    2017
    Wydawca:
    ENERGA
    Tematy:
    distribution network
    loss reduction
    renewable power generation
    reconfiguration
    active energy consumer
    graph theory
    sieć dystrybucyjna
    redukcja strat
    generacja mocy ze źródeł odnawialnych
    rekonfiguracja
    aktywny odbiorca energii
    teoria grafów
    Opis:
    The paper suggests a two-stage optimization algorithm of daily load curves of a distribution network to decrease electricity purchase costs and determine a primary distribution network configuration in presence of renewable power generation or without it. The first stage includes optimization of the daily load curves of active consumers, which ensures decrease of electricity purchase costs considering its price and daily consumption invariability. At the second stage the problem distribution network reconfiguration is solved to decrease power losses in it. The numerical calculations for the test distribution networks confirm the efficiency of the suggested algorithms.
    W poniższym artykule zaproponowano dwustopniowy algorytm optymalizacji dobowego wykresu obciążenia sieci dystrybucyjnej w celu obniżenia kosztów zakupu energii elektrycznej oraz określenia konfiguracji sieci pierwotnej z uwzględnieniem lub bez uwzględnienia źródeł odnawialnych. Pierwszy etap polega na optymalizacji dobowego wykresu obciążeń dla aktywnych odbiorców energii, co zapewni spadek kosztów zakupu energii ze względu na niezmienność cen i poziom zużycia energii. W drugim etapie zajęto się problemem rekonfiguracji sieci dystrybucyjnej w celu zmniejszenia strat mocy z sieci. Przeprowadzone obliczenia numeryczne dla testowej sieci dystrybucyjnej potwierdzają efektywność proponowanych algorytmów.
    Źródło:
    Acta Energetica; 2017, 2; 57-62
    2300-3022
    Pojawia się w:
    Acta Energetica
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      Wyświetlanie 1-4 z 4

      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