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ę "multi-agent (MAS)" wg kryterium: Temat

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-4 z 4
    Tytuł:
    A comparison of SMT-solvers for timed weighted interpreted systems
    Autorzy:
    Zbrzezny, A. M.
    Powiązania:
    https://bibliotekanauki.pl/articles/122082.pdf
    Data publikacji:
    2016
    Wydawca:
    Uniwersytet Humanistyczno-Przyrodniczy im. Jana Długosza w Częstochowie. Wydawnictwo Uczelniane
    Tematy:
    SMT
    model (BMC)
    system wieloagentowy (MAS)
    multi-agent (MAS)
    Opis:
    We compare four SMT-solvers for the same SMT-based bounded model checking algorithm for multi-agent systems modelled by timed weighted interpreted systems and for properties expressed in the existential fragment of epistemic weighted linear-time temporal logic (WELTLK). To this end, we use the timed weighted generic pipeline paradigm (TWGPP) and the timed weighted train controller system (TWTCS). We consider several properties of the problems that can be expressed in WELTLK, and we present the performance evaluation of the mentioned bounded model checking method using four different SMT-solvers: Z3, Yices, CVC4 and Mathsat, by means of the running time and the memory used.
    Źródło:
    Scientific Issues of Jan Długosz University in Częstochowa. Mathematics; 2016, 21; 189-206
    2450-9302
    Pojawia się w:
    Scientific Issues of Jan Długosz University in Częstochowa. Mathematics
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Intelligent energy management system of a smart microgrid using multiagent systems
    Autorzy:
    Azeroual, Mohamed
    Lamhamdi, Tijani
    El Moussaoui, Hassan
    El Markhi, Hassane
    Powiązania:
    https://bibliotekanauki.pl/articles/140667.pdf
    Data publikacji:
    2020
    Wydawca:
    Polska Akademia Nauk. Czytelnia Czasopism PAN
    Tematy:
    artificial intelligence
    fault detection
    microgrid
    multi-agent system (MAS)
    power distribution
    smart grid
    Opis:
    The smart grid concept is predicated upon the pervasive use of advanced digital communication, information techniques, and artificial intelligence for the current power system, to be more characteristics of the real-time monitoring and controlling of the supply/demand. Microgrids are modern types of power systems used for distributed energy resource (DER) integration. However, the microgrid energy management, the control, and protection of microgrid components (energy sources, loads, and local storage units) is an important challenge. In this paper, the distributed energy management algorithm and control strategy of a smart microgrid is proposed using an intelligent multi-agent system (MAS) approach to achieve multiple objectives in real-time. The MAS proposed is developed with co-simulation tools, which the microgrid model, simulated using MATLAB/Simulink, and the MAS algorithm implemented in JADE through a middleware MACSimJX. The main study is to develop a new approach, able to communicate a multi-task environment such as MAS inside the S-function block of Simulink, to achieve the optimal energy management objectives.
    Źródło:
    Archives of Electrical Engineering; 2020, 69, 1; 23-38
    1427-4221
    2300-2506
    Pojawia się w:
    Archives of Electrical Engineering
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Rola kontekstu w modelach zarządzania zaufaniem systemów wieloagentowych
    The role of context in trust management models of multi-agent systems
    Autorzy:
    Klement, Mateusz
    Powiązania:
    https://bibliotekanauki.pl/articles/591201.pdf
    Data publikacji:
    2015
    Wydawca:
    Uniwersytet Ekonomiczny w Katowicach
    Tematy:
    Kontekst
    Modele zarządzania zaufaniem
    Społeczności agentów programowych
    Systemy wieloagentowe
    Zaufanie
    Agent societies
    Context
    Mas
    Multi-agent systems
    Trust
    Trust management models
    Opis:
    Zaufanie odgrywa niezwykle istotną rolę w naszym codziennym życiu. W praktyce większość podejmowanych przez nas decyzji oraz działań jest uwarunkowana poziomem zaufania bądź też – w niektórych sytuacjach – jego brakiem. Samo zaufanie jest natomiast w głównej mierze zależne od kontekstu. Oba te elementy odgrywają także coraz ważniejszą rolę w sferze technologii i systemów komputerowych, zwłaszcza tych, które posiadają pewien poziom autonomii. Doskonałym przykładem wpływu kontekstu na poziom zaufania są systemy wieloagentowe. W społeczności agentów programowych mechanizmy i modele związane z zaufaniem odgrywają istotną rolę, a kontekst może wywierać wpływ na poziom wzajemnego zaufania agentów. Celem niniejszej pracy jest przedstawienie roli kontekstu w społecznościach agentów
    Trust plays an significant role in our daily lives. In practice, most of our decisions and actions are conditioned by the level of trust or – in some cases, the lack of it. Trust itself, dependent’s largely on the context. Both of these elements also play an increasingly important role in the field of technology and computer systems, especially those that have a certain level of autonomy. An excellent example of the impact of context on the level of trust are multi-agent systems. In a community of software agents, mechanisms and models connected with trust play a central role in which context is a crucial element in the level of mutual trust between agents. The purpose of this paper is to present the role of context in multi-agent systems, with particular emphasis on aspects related to trust management models in this type of environment.
    Źródło:
    Studia Ekonomiczne; 2015, 216; 59-68
    2083-8611
    Pojawia się w:
    Studia Ekonomiczne
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Generating urban structures: a method for urban planning supported by multi-agent systems and cellular automata
    Generowanie struktur urbanistycznych: metoda planowania urbanistycznego wspomagana przez systemy wieloagentowe i automaty komórkowe
    Autorzy:
    Koenig, R.
    Powiązania:
    https://bibliotekanauki.pl/articles/369525.pdf
    Data publikacji:
    2011
    Wydawca:
    Zachodniopomorski Uniwersytet Technologiczny w Szczecinie. Wydawnictwo Uczelniane ZUT w Szczecinie
    Tematy:
    systemy wieloagentowe (MAS)
    automaty komórkowe (CA)
    generatywne systemy projektowania
    diffusion limited aggregation (DLA)
    diffusion-contact model
    modelowanie urbanistyczne
    multi-agent systems
    cellular automata
    generative design system
    diffusion limited aggregation
    urban modeling
    Opis:
    This work is based on the concept that the structure of a city can be defined by six basic urban patterns. To enable more complex urban planning as a long-term objective I have developed a simulation method for generating these basic patterns and for combining them to form various structures. The generative process starts with the two-dimensional organization of streets followed by the parceling of the remaining areas. An agent-based diffusion-contact model is the basis of these first two steps. Then, with the help of cellular automata, the sites for building on are defined and a three-dimensional building structure is derived. I illustrate the proposed method by showing how it can be applied to generate possible structures for an urban area in the city of Munich.
    Artykuł bazuje na założeniu, że struktura miasta może być zdefiniowana poprzez sześć podstawowych typów układów urbanistycznych. W celu umożliwienia bardziej kompleksowego planowania urbanistycznego, jako cel długoterminowy, Autor opracował metodę symulacyjną do generowania tych podstawowych układów i do przetwarzaniach ich w różne struktury urbanistyczne. Proces generatywny rozpoczyna się od dwuwymiarowej organizacji ulic oraz parcelacji wolnych obszarów. Dla realizacji tych dwóch pierwszych etapów podstawą jest odpowiedni system wieloagentowy. Następnie, z pomocą metody automatów komórkowych, wyznaczane są miejsca posadowienia budynków i tworzona jest przestrzenna struktura zabudowy. Zastosowanie proponowanej metody zostało tu zilustrowane na przykładzie symulacji dla obszaru zurbanizowanego miasta Monachium.
    Źródło:
    Przestrzeń i Forma; 2011, 16; 353-376
    1895-3247
    2391-7725
    Pojawia się w:
    Przestrzeń i Forma
    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