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ę "maximum coverage problem" wg kryterium: Temat

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-2 z 2
    Tytuł:
    Solving SAT in a distributed cloud: A portfolio approach
    Autorzy:
    Ngoko, Yanik
    Cérin, Christophe
    Trystram, Denis
    Powiązania:
    https://bibliotekanauki.pl/articles/329749.pdf
    Data publikacji:
    2019
    Wydawca:
    Uniwersytet Zielonogórski. Oficyna Wydawnicza
    Tematy:
    resource provisioning
    resource scheduling
    parallel distributed SAT
    algorithm portfolio
    maximum coverage problem
    udostępnianie zasobów
    szeregowanie zasobów
    problem maksymalnego zasięgu
    Opis:
    We introduce a new parallel and distributed algorithm for the solution of the satisfiability problem. It is based on an algorithm portfolio and is intended to be used for servicing requests in a distributed cloud. The core of our contribution is the modeling of the optimal resource sharing schedule in parallel executions and the proposition of heuristics for its approximation. For this purpose, we reformulate a computational problem introduced in a prior work. The main assumption is that it is possible to learn optimal resource sharing from traces collected on past executions on a representative set of instances. We show that the learning can be formalized as a set coverage problem. Then we propose to solve it by approximation and dynamic programming algorithms based on classical greedy algorithms for the maximum coverage problem. Finally, we conduct an experimental evaluation for comparing the performance of the various algorithms proposed. The results show that some algorithms become more competitive if we intend to determine the trade-off between their quality and the runtime required for their computation.
    Źródło:
    International Journal of Applied Mathematics and Computer Science; 2019, 29, 2; 261-274
    1641-876X
    2083-8492
    Pojawia się w:
    International Journal of Applied Mathematics and Computer Science
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    A new approach for determining the most important system components and the budget-constrained system reliability improvement
    Nowe podejście do wyznaczania najważniejszych elementów systemu oraz poprawy niezawodności systemu w warunkach ograniczonego budżetu
    Autorzy:
    Pavlović, P.
    Makajić-Nikolić, D.
    Vujošević, M.
    Powiązania:
    https://bibliotekanauki.pl/articles/302045.pdf
    Data publikacji:
    2017
    Wydawca:
    Polska Akademia Nauk. Polskie Naukowo-Techniczne Towarzystwo Eksploatacyjne PAN
    Tematy:
    niezawodność
    miara ważności
    element krytyczny
    problem maksymalnego pokrycia zbioru w granicach budżetu
    optymalizacja
    reliability
    importance measures
    critical components
    budgeted maximum coverage problem
    optimization
    Opis:
    W złożonych systemach, w których koszty poprawy niezawodności poszczególnych elementów są znane, często ogranicza się budżet przeznaczony na podnoszenie ogólnej niezawodności systemu. W takich przypadkach konieczna jest maksymalizacja niezawodności systemu przy jednoczesnym utrzymaniu kosztów na poziomie minimum. Powszechnie znane metody rozwiązywania powyższego problemu opierają się na wyznaczaniu ważności kosztów, co wymaga określenia rang elementów składowych systemu, a w dalszej kolejności wyodrębnienia pewnej liczby najważniejszych elementów pierwszorzędnej rangi. W niniejszej pracy zaproponowano nowe podejście do określania najważniejszych komponentów systemu w oparciu o problem maksymalnego pokrycia w granicach budżetu (budgeted maximum coverage problem); podejście wdrażano z wykorzystaniem wcześniej znanych minimalnych przekrojów niezdatności. Optymalizacja proponowanego modelu matematycznego, pozwoliła na jednoczesne wyznaczenie wszystkich najważniejszych elementów, dla których łączne wydatki na utrzymanie ruchu nie przekraczały całkowitego ograniczonego budżetu. Nowe podejście zostało przebadane w serii eksperymentów przeprowadzonych na zbiorze przykładów testowych, za które posłużyły wzorcowe drzewa błędów. Wyniki badań porównano z wynikami uzyskanymi za pomocą dwóch miar ważności kosztów – miary ważności opartej na kosztach oraz miary ważności opartej na opłacalności. W większości przypadków, proponowany model dawał lepsze wyniki niż pomiary ważności kosztów.
    Importance measures are used for indexing system components due to their impact on the system’s overall reliability. In order to identify the specific number of the most critical components, first-ranked components are singled out as the most important ones. However, importance measures consider only the influence of individual components and they are not applicable to combinations or groups of components. This common feature of importance measures is referred to in literature as one of still open issues. This paper proposes a new approach for determining the most important system components, where a whole set of components are determined simultaneously taking into account their interdependence. In systems with a large number of interdependent components, the number of the most important components which should be prevented is often limited due to the available budget. Using pre-known minimal cut sets, a mathematical model based on the Budgeted Maximum Coverage Problem is proposed. By its optimization, the simultaneous determination of all of the most important components whose total expenses do not exceed the limited overall budget is achieved. The new approach was tested by a series of experiments conducted over a set of test examples. The results of the experiments were compared with the results obtained using two commonly used cost importance measures.
    Źródło:
    Eksploatacja i Niezawodność; 2017, 19, 3; 413-419
    1507-2711
    Pojawia się w:
    Eksploatacja i Niezawodność
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      Wyświetlanie 1-2 z 2

      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