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

  Lista filtrów
Wyrównaj
Wyświetlanie 1-15 z 118
Tytuł:
Methodology for monitoring and diagnosing faults of hybrid dynamic systems: a case study on a desalination plant
Autorzy:
Achbi, Mohammed Said
Kechida, Sihem
Powiązania:
https://bibliotekanauki.pl/articles/328392.pdf
Data publikacji:
2020
Wydawca:
Polska Akademia Nauk. Polskie Towarzystwo Diagnostyki Technicznej PAN
Tematy:
fault diagnosis
hybrid dynamic systems
ANFIS
hybrid automata
desalination plant
diagnostyka uszkodzeń
hybrydowy system dynamiczny
Opis:
The imperative of quality and productivity has increased the complexity of technological processes, posing the problem of reliability. Today, fault diagnosis remains a very important task because of its essential role in improving reliability, but also in minimizing the harmful consequences that can be catastrophic for the safety of equipment and people. Indeed, an effective diagnosis not only improves reliability, but also reduces maintenance costs. Systems in which dynamic behaviour evolves as a function of the interaction between continuous dynamics and discrete dynamics, present in the system, are called hybrid systems. The goal is to develop monitoring and diagnostic procedures to the highest level of control to ensure safety, reliability and availability objectives. This article presents an approach to the diagnosis of hybrid systems using hybrid automata and neural-fuzzy system. The use of the neural-fuzzy system allows modeling the continuous behaviour of the system. On the other hand, the hybrid automata gives a perfect estimate of the discrete events and make it possible to execute a fault detection algorithm mainly consists of classifying the appeared defects. On the implementation plan, the results were applied in a water desalination plant.
Źródło:
Diagnostyka; 2020, 21, 1; 27-33
1641-6414
2449-5220
Pojawia się w:
Diagnostyka
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Monitoring and forecasting spatio-temporal LULC for Akure rainforest habitat in Nigeria
Autorzy:
Aliyu, Yahaya A
Youngu, Terwase T.
Abubakar, Aliyu Z.
Bala, Adamu
Jesulowo, Christianah I.
Powiązania:
https://bibliotekanauki.pl/articles/1444929.pdf
Data publikacji:
2020
Wydawca:
Politechnika Warszawska. Wydział Geodezji i Kartografii
Tematy:
LULC
change detection
Landsat
Cellular Automata Markov model
Nigeria
wykrywanie zmian
program Landsat
model Markowa
automaty komórkowe
Opis:
For several decades, Nigerian cities have been experiencing a decline in their biodiversity resulting from rapid land use land cover (LULC) changes. Anticipating short/long-term consequences, this study hypothesised the effects of LULC variables in Akure, a developing tropical rainforest city in south-west Nigeria. A differentiated trend of urban LULC was determined over a period covering 1999–2019. The study showed the net change for bare land, built-up area, cultivated land, forest cover and grassland over the two decades to be -292.68 km2, +325.79 km2, +88.65 km2, +8.62 km2 and -131.38 km2, respectively. With a projected population increase of about 46.85%, the study identified that the built-up land cover increased from 1.98% to 48.61%. The change detection analysis revealed an upsurge in built area class. The expansion indicated a significant inverse correlation with the bare land class (50.97% to 8.66%) and grassland class (36.33% to 17.94%) over the study period. The study observed that the land consumption rate (in hectares) steadily increased by 0.00505, 0.00362 and 0.0687, in the year 1999, 2009 and 2019, respectively. This rate of increase is higher than studies conducted in more populated cities. The Cellular Automata (CA) Markovian analysis predicted a 37.92% growth of the study area will be the built-up area in the next two decades (2039). The 20-year prediction for Akure built-up area is within range when compared to CA Markov prediction for other cities across the globe. The findings of this study will guide future planning for rational LULC
Źródło:
Reports on Geodesy and Geoinformatics; 2020, 110; 29-38
2391-8365
2391-8152
Pojawia się w:
Reports on Geodesy and Geoinformatics
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
The use of complexity hierarchies in descriptive set theory and automata theory
Autorzy:
Andretta, A.
Camerlo, R.
Powiązania:
https://bibliotekanauki.pl/articles/1964199.pdf
Data publikacji:
2005
Wydawca:
Politechnika Gdańska
Tematy:
hierarchies
infinite games
Borel reducibility
automata theory
Opis:
The concept of a reduction between subsets of a given space is described, giving rise to various complexity hierarchies, studied both in descriptive set theory and in automata theory. We discuss in particular the Wadge and Lipschitz hierarchies for subsets of the Baire and Cantor spaces and the hierarchy of Borel reducibility for finitary relations on standard Borel spaces. The notions of Wadge and Lipschitz reductions are related to corresponding perfect information games.
Źródło:
TASK Quarterly. Scientific Bulletin of Academic Computer Centre in Gdansk; 2005, 9, 3; 337-356
1428-6394
Pojawia się w:
TASK Quarterly. Scientific Bulletin of Academic Computer Centre in Gdansk
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Modelling and simulation of C² processes based on cases in the operational simulation system for CAXes
Modelowanie I symulacja procesów C² bazujących na przypadkach w systemie symulacyjnym dla CAX
Autorzy:
Antkiewicz, R.
Kulas, W.
Najgebauer, A.
Pierzchała, D.
Rulka, J.
Tarapata, Z.
Wantoch-Rekowski, R.
Powiązania:
https://bibliotekanauki.pl/articles/209606.pdf
Data publikacji:
2008
Wydawca:
Wojskowa Akademia Techniczna im. Jarosława Dąbrowskiego
Tematy:
modelowanie i symulacja pola walki
automat decyzyjny
system dla CAX
combat modelling and simulation
decision automata
system for CAX
Opis:
The Simulation Based Operational Training Support System (SBOTSS), which was constructed in order to provide cost-effective approach of Computer Assisted Exercises, is an integrated, interactive, many-sided land analysis and training support model (with logistics, engineering, electronic warfare and intelligence functions). The idea and model of command and control process applied for the decision automata on the tactical level are presented. The automata execute the two main processes: decision planning process and level are presented. The automata execute the two main processes: decision planning process and direct combat control. The decision planning process relating to the automata contains three stages: identification of a decision situation, generation of decision plans, variants evaluation and nomination of the best variant of these, which statisfy the proposed criteria. The paricular approach to identification of decision situation and variants of action are presented. The procedure of variants generation, based on some kind of pre-simulation process, contains the evaluation module, which allows us the best choice of action plan according to specified criteria. The direct combat control process contains such phases like command, reporting and reaction to fault situations. Some results of the simulation process including the decisions made by automata are considered.
System Symulacyjnego Wspomagania Szkolenia Operacyjnego Wojsk (SSWSO), który został skonstruowany w celu prowadzenia niskokosztowych ćwiczeń wspomaganych komputerowo (ang. Computer Assisted Extercises, CAX) jest zintegrowanym, interaktywnym, wieloszczeblowym, wspomagającym ćwiczenia i analizy postsymulacyjne systemem (z uwzględnieniem logistyki, wojsk inżynieryjnych, walki elektronicznej i rozpoznania). W pracy przedstawiono ideę i model procesu dowodzenia i kontroli w zastosowaniu do automatu decyzyjnego na szczeblu taktycznym. Automat realizuje dwa główne procesy: proces planowania decyzji i bezpośredniej kontroli walki. Proces planowania decyzji składa się z trzech etapów: identyfikacji sytuacji decyzyjnej, generowania wariantów decyzji (planów działań), oceny wariantów i wyboru wariantu najlepszego, który spełnia pewne kryteria. Zaprezentowano specyficzne podejście do problemu identyfikacji sytuacji decyzyjnych oraz wariantów działań. Procedura generowania wariantów bazuje na procesie presymulacji i zawiera moduł oceniający, który umożliwia nam wybór najlepszego planu działań w zależności od przyjętych kryteriów. Proces bieżącej kontroli walki zawiera takie fazy, jak: dowodzenie, meldowanie i reakcję na tzw. sytuacje awaryjne. W pracy przedstawiono wyniki wybranych symulacji uwzględniających decyzje podejmowane przez opisywany automat decyzyjny.
Źródło:
Biuletyn Wojskowej Akademii Technicznej; 2008, 57, 4; 9-24
1234-5865
Pojawia się w:
Biuletyn Wojskowej Akademii Technicznej
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Generating Layout for Complex Cave-like Levels with Schematic Maps and Cellular Automata
Autorzy:
Antoniuk, Izabella
Powiązania:
https://bibliotekanauki.pl/articles/27323140.pdf
Data publikacji:
2023
Wydawca:
Szkoła Główna Gospodarstwa Wiejskiego w Warszawie. Instytut Informatyki Technicznej
Tematy:
cellular Automata
computer games
diamond-square
procedural cave generation
procedural level generation
schematic maps
Opis:
Abstract. In this paper an algorithm for creating cave-like, user-guided layout is presented. In applications such as computer games, underground structures offer unique challenges and interesting space for player actions. Preparation of such areas can be time consuming and tiresome, especially during the design process, when many ideas are often scrapped. Presented approach aims at improving this process. Schematic input is used so the user can quickly define the general layout. Cave system is divided into levels and tiles - easily-parallelizable modules for the following method stages. Cellular automata are used to extend initial system sketch with interesting shapes while the diamond-square algorithm spreads the final terrain heights. Each stage uses the results of the previously performed operations as input, providing space for alterations. Input maps can be reused to obtain different variations of the same system. The final structure is represented as a 3D point cloud. Chosen representation supports multilevel systems and can be used either as a base for further algorithms, or as a final mesh. The presented approach can be easily incorporated into game design process, while visualizing initial layouts and speeding up preparation of unique, interesting and challenging game spaces for the players to traverse.
Źródło:
Machine Graphics & Vision; 2023, 32, 2; 45--65
1230-0535
2720-250X
Pojawia się w:
Machine Graphics & Vision
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Combining fuzzy and cellular learning automata methods for clustering wireless sensor network to increase life of the network
Autorzy:
Aramideh, J
Jelodar, H
Powiązania:
https://bibliotekanauki.pl/articles/957968.pdf
Data publikacji:
2014
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
wireless sensor network
clustering
fuzzy logic
cellular learning automata
Opis:
Wireless sensor networks have attracted attention of researchers considering their abundant applications. One of the important issues in this network is limitation of energy consumption which is directly related to life of the network. One of the main works which have been done recently to confront with this problem is clustering. In this paper, an attempt has been made to present clustering method which performs clustering in two stages. In the first stage, it specifies candidate nodes for being head cluster with fuzzy method and in the next stage, the node of the head cluster is determined among the candidate nodes with cellular learning automata. Advantage of the clustering method is that clustering has been done based on three main parameters of the number of neighbors, energy level of nodes and distance between each node and sink node which results in selection of the best nodes as a candidate head of cluster nodes. Connectivity of network is also evaluated in the second part of head cluster determination. Therefore, more energy will be stored by determining suitable head clusters and creating balanced clusters in the network and consequently, life of the network increases.
Źródło:
Advances in Science and Technology. Research Journal; 2014, 8, 24; 1-8
2299-8624
Pojawia się w:
Advances in Science and Technology. Research Journal
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Automaty komórkowe w modelowaniu ewakuacji
Cellular Automata in Evacuation Modelling
Autorzy:
Barański, M.
Maciak, T.
Powiązania:
https://bibliotekanauki.pl/articles/373258.pdf
Data publikacji:
2016
Wydawca:
Centrum Naukowo-Badawcze Ochrony Przeciwpożarowej im. Józefa Tuliszkowskiego
Tematy:
bezpieczeństwo pożarowe
ewakuacja ludności
modelowanie ewakuacji
automaty komórkowe
fire safety
people evacuation
evacuation modelling
cellular automata
Opis:
Cel: Przedstawienie i omówienie modeli automatów komórkowych wykorzystywanych w oprogramowaniu do modelowania ewakuacji i zjawisk jej towarzyszących. Wprowadzenie: Bezpieczeństwo w budynkach i obiektach budowlanych obejmuje wiele zagadnień. Jednym z nich jest zapewnienie procesu bezpiecznej ewakuacji z zagrożonych budowli. W obliczeniach symulacyjnych ewakuacji szerokie zastosowanie znalazło specjalistyczne oprogramowanie pozwalające na przybliżenie rzeczywistych zjawisk panujących podczas ewakuacji. Programy te pozwalają również na oszacowanie czasu ewakuacji. Obliczenia czasu ewakuacji dokonuje się według określonych algorytmów i modeli. W pracy zaprezentowano możliwości zastosowania jednej z gałęzi informatyki jaką są automaty komórkowe do projektowania modeli pozwalających odwzorowywać ewakuację. Na wstępie zostały zawarte założenia niezbędne do prawidłowej budowy modelu. Następnie przedstawiono rozwój modeli wykorzystujących automaty komórkowe. Autorzy przedstawili również niedoskonałości modeli oraz problemy, które mogą występować podczas implementacji algorytmów opartych na automatach komórkowych. Zaprezentowany materiał w sposób syntetyczny przedstawia elementy, które mogą posłużyć do budowy programów modelujących ewakuację na bazie automatów komórkowych. Jednym z najważniejszych w tym obszarze jest model Floor Field. Model ten podlega ciągłym modyfikacjom i udoskonaleniom. Zastosowanie automatów komórkowych pozwala na modelowanie ewakuacji przy wykorzystaniu znacznie mniejszych zasobów obliczeniowych niż w przypadku modeli agentowych czy Social Force, a dokładność wykonanych obliczeń jest porównywalna. Zrozumienie własności automatów komórkowych ma ogromne znaczenie we właściwym odwzorowaniu procesu ewakuacji przy zastosowaniu tego typu modeli. Metodologia: Przegląd publikacji, analiza poszczególnych modeli. Wnioski: W wyniku analizy literatury przedstawiono rozwój modeli na przestrzeni ostatnich lat. Wykazano, że proste modele bazujące na automatach komórkowych mają niską złożoność obliczeniową, co pozwala na modelowanie ewakuacji dla dużej grupy osób przy niewielkiej mocy obliczeniowej komputerów. Prawidłowo zweryfikowany model można stosować do dokładnego szacowania czasu ewakuacji osób z budynków i obiektów budowlanych.
Aim: Presentation and discourse of issues associated with cellular automata models used in evacuation modelling software and accompanying events. Introduction: Security in buildings and construction works covers many issues. One of these addresses the matter of ensuring a process for the safe evacuation of endangered buildings. Specialized simulation software for approximation of real events, which prevail during an evacuation, was used in calculations. Such software also allows for the estimation of evacuation time. Evacuation time calculations are performed according to specific algorithms and models. This paper reveals the potential use of one branch of computer science, namely cellular automata, to design models, which facilitate the mapping of evacuations. At the outset it was necessary to make essential assumptions for a proper construction of the model. These were followed by the development of models using cellular automata. The authors described the model imperfections and problems, which can occur during implementation of algorithms based on cellular automata. Material revealed by the study shows in a synthetic way the elements, which can be used to build evacuation modelling programmes using cellular automata. One of the most important models in this area is known as Floor Field. This model is exposed to continuous modifications and improvements. The use of cellular automata allows for the modelling of evacuations using much less computational resources than in the case of agent models or Social Force and the accuracy of calculations is comparable. Understanding the properties of cellular automata is of great importance for the correct mapping of the evacuation process when using such models. Methodology: Review of publications and analysis of individual models. Conclusions: An analysis of literature reveals advances made in the development of models during recent years. It is revealed that simple models based on cellular automata have low computational complexity, which permits the modelling of evacuation for a large group of people with low computing power. A properly validated model can be used to estimate the time to evacuate people from buildings and construction works with great accuracy.
Źródło:
Bezpieczeństwo i Technika Pożarnicza; 2016, 43, 3; 127-141
1895-8443
Pojawia się w:
Bezpieczeństwo i Technika Pożarnicza
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Model ewakuacji wykorzystujący automaty komórkowe
An Evacuation Model Using Cellular Automata
Autorzy:
Barański, M.
Maciak, T.
Powiązania:
https://bibliotekanauki.pl/articles/372998.pdf
Data publikacji:
2017
Wydawca:
Centrum Naukowo-Badawcze Ochrony Przeciwpożarowej im. Józefa Tuliszkowskiego
Tematy:
ewakuacja
modelowanie
szacowanie czasu ewakuacji
automat komórkowy
złożoność obliczeniowa
evacuation
modelling
estimating evacuation time
cellular automata
computational complexity
Opis:
Cel: Zapewnienie ludziom bezpieczeństwa podczas zgromadzeń i imprez masowych wymaga m.in. analizy warunków ewakuacji oraz właściwej organizacji ewakuacji w czasie zagrożenia. Modelowanie procesu ewakuacji to jeden z możliwych wariantów analizowania i planowania bezpiecznej ewakuacji zarówno z budynków, obiektów, jak i z terenu przeznaczonego na zorganizowanie imprezy. Celem artykułu jest zaprezentowanie praktycznego wykorzystania automatów komórkowych w modelowaniu ewakuacji oraz porównanie otrzymanych wyników z wynikami modelowania wykonanego dzięki wykorzystaniu oprogramowania komercyjnego. Dodatkowym celem pracy jest porównanie kosztu obliczeniowego modelowania ewakuacji przy zastosowaniu automatu komórkowego z kosztem obliczeniowym modelowania ewakuacji przy wykorzystaniu modelu Social Force. Projekty i metody: Posłużono się automatem komórkowym z siatką o stałych wymiarach 0,5 x 0,5 m. Podstawowym założeniem dla modelu ruchu były wartości pól warstwy statycznej Floor Field, obliczane zgodnie z metryką euklidesową, oraz algorytmem zachłannym. Wyznaczono wartość parametru μ = 0,55 określającą prawdopodobieństwo przejścia osoby do sąsiedniej komórki automatu. Implementację modelu wykonano w języku Python, korzystając z biblioteki do obliczeń naukowych Numpy i biblioteki matematycznej Math. Wyniki modelowania ewakuacji przy wykorzystaniu proponowanego modelu porównano z wynikami modelowania przy wykorzystaniu programu FDS+Evac dla pomieszczenia o wymiary 11,5 x 9 m z jednym wyjściem ewakuacyjnym i z dwoma wyjściami ewakuacyjnymi. Ponadto wykonano modelowanie i zestawiono uzyskane wyniki z wynikami programów FDS+Evac, Pathfinder oraz TraffGo zgodnie z testem Międzynarodowej Organizacji Morskiej (International Maritime Organization – IMO) IMO 9 dla 1000 osób. Wyniki: Stwierdzono, że zarówno przy modelowaniu ewakuacji z pomieszczenia zaproponowanego przez autorów, jak i przy modelowaniu ewakuacji z pomieszczeń zaproponowanych w teście IMO 9 oszacowane czasy ewakuacji są zbieżne z czasami oszacowanymi przy wykorzystaniu programów mających zastosowanie w inżynierii bezpieczeństwa pożarowego. Ponadto wykazano, że zastosowanie automatu komórkowego przy modelowaniu ewakuacji 1000 osób pozwala na wykonanie modelowania 20-krotnie szybciej niż w przypadku modelu Social Force zaimplementowanego w programie FDS+Evac. Średni koszt modelowania 1 s ewakuacji przy wykorzystaniu automatu komórkowego zależy liniowo od liczby osób podlegających ewakuacji, inaczej niż to jest w przypadku modelu Social Force, w którym czas modelowania zwiększa się wykładniczo w stosunku do liczby osób. Wnioski: Modele ewakuacji wykorzystujące automaty komórkowe, w przeciwieństwie do modelu Social Force, umożliwiają modelowanie ruchu dużych grup ludzi przy niższym koszcie obliczeniowym. Zastosowanie automatów komórkowych pozwala na wprowadzanie dodatkowych warstw wpływających na ruch ludzi przy niewielkim zwiększeniu się złożoności obliczeniowej. Wprowadzenie dodatkowych założeń i warstw do modeli opartych na automatach komórkowych umożliwi bardziej rzeczywiste odwzorowanie ewakuacji przy niewielkim wzroście kosztu zużycia zasobów sprzętowych. Ponadto narzędzia pozwalające na szybkie szacowanie czasu ewakuacji w przystępny dla inżynierów sposób byłyby pomocne w prawidłowym projektowaniu budynków. Obecnie komercyjne programy wymagają specjalistycznej wiedzy z zakresu modelowania. Zastosowanie prostego interfejsu z szybkim algorytmem szacowania czasu ewakuacji może przynieść wymierne korzyści w postaci poprawy bezpieczeństwa w projektowanych budynkach i obiektach budowlanych.
Aim: The safety of people during meetings and public events requires an analysis of the conditions of evacuation and the proper organisation of escape in times of danger. Modelling the evacuation process is one of the options for analysing and planning the safe evacuation of the buildings, facilities and spaces during events. The aim of the article was to present the practical use of cellular automata for evacuation modelling and comparing the results with the results achieved using commercial software. Additionally, the objective of this work was to compare the cost of computational evacuation modelling of cellular automata with the “Social Force” model. Project and methods: The authors used cellular automata on the grid with a fixed size of 0.5 m x 0.5m. The basic premise for the traffic model was the “Floor Field” static layer with Euclidean metric and the greedy algorithm. The determined value μ = 0.55 indicated the probability of the transition of a person to the neighbouring automat cell. The implementation of the model was made in “Python”, using the library for scientific computing “Numpy”, and the maths library “Math”. We compared the results of modelling the evacuation using the proposed model with the program “FDS + Evac” for room size 11.5 x 9 m with one and two emergency exits. Furthermore, the modelling was done and the results were juxtaposed with the results of the programs “FDS + Evac”, “Pathfinder” and “TraffGo”, using the example of a test of the International Maritime Organisation (IMO 9) covering the evacuation of 1,000 people. Results: For both the evacuation modelling proposed by the authors and the IMO 9 test estimated evacuation times are consistent with the times estimated using programs applicable in fire-safety engineering. It was further found that the use of cellular automata for modelling the evacuation of 1,000 people allows modelling 20 times faster than in the “Social Force” model implemented in the “FDS + Evac” program. The average cost of modelling of 1 s of evacuation using cellular automata depends linearly on the number of persons subjected to evacuation, in contrast to the “Social Force” model, where the modelling time will increase exponentially with the number of people. Conclusions: Evacuation models based on cellular automata, in contrast to the “Social Force” model, provide the ability to model the movement of large groups of people at a lower computing cost. The use of cellular automata allows the introduction of additional layers affecting the movement of people with a small increase in computational complexity. Introducing additional assumptions and layers to cellular automata models allow a more realistic representation of the evacuation with the small increase in the cost of the equipment used. Furthermore, a tool allowing fast estimates of the evacuation time in a manner accessible to engineers would help in the correct designing of buildings. Current commercial programs require expertise in the field of modelling. Using a simple interface with a fast algorithm estimating evacuation times can bring measurable benefits in terms of improving the safety of designed buildings and construction works.
Źródło:
Bezpieczeństwo i Technika Pożarnicza; 2017, 45, 1; 68-79
1895-8443
Pojawia się w:
Bezpieczeństwo i Technika Pożarnicza
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Extension of Critical Programs of the Computational Theory of Mind
Autorzy:
Baryshnikov, Pavel N.
Powiązania:
https://bibliotekanauki.pl/articles/31234160.pdf
Data publikacji:
2022
Wydawca:
Polska Akademia Nauk. Instytut Filozofii i Socjologii PAN
Tematy:
anticomputationalism
computational theory of mind
Chinese room
finite automata
symbolic semantics
language of thought
Opis:
Technological advances in computer science have secured the computer metaphor status of a heuristic methodological tool used to answer the question about the nature of mind. Nevertheless, some philosophers strongly support opposite opinions. Anti-computationalism in the philosophy of mind is a methodological program that uses extremely heterogeneous grounds for argumentation, deserving analysis and discussion. This article provides an overview and interpretation of the traditional criticism of the computational theory of mind (computationalism); its basic theses have been formed in Western philosophy in the last quarter of the 20th century. The main goal is to reveal the content of the arguments of typical anti-computationalist programs and expand their application to the framework of the semantic problems of the Classic Computational Theory of Mind. The main fault of the symbolic approach in the classical computationalism is the absence of a full-fledged theory of semantic properties. The relevance of considering these seemingly outdated problems is justified by the fact that the problem of meaning (and general problems of semantics) remains in the core of the latest developments in various areas of AI and the principles of human-computer interaction.
Źródło:
Filozofia i Nauka; 2022, 10, zeszyt specjalny; 263-274
2300-4711
2545-1936
Pojawia się w:
Filozofia i Nauka
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Zastosowanie automatu komórkowego do modelowania ruchu drogowego w zmiennych warunkach pogodowych
Application of cellular automata for road traffic modelling in varying weather conditions
Autorzy:
Bernaś, M.
Płaczek, B.
Powiązania:
https://bibliotekanauki.pl/articles/197698.pdf
Data publikacji:
2011
Wydawca:
Politechnika Śląska. Wydawnictwo Politechniki Śląskiej
Tematy:
ruch drogowy
modelowanie ruchu
warunki pogodowe
road traffic
road traffic modelling
cellular automata
weather conditions
Opis:
Publikowane w literaturze wyniki badan dowodza, e warunki pogodowe maja znaczny wpływ na zachowania kierujacych, a co za tym idzie take na parametry strumieni pojazdów i efektywnosc sterowania ruchem drogowym. Istnieje zatem potrzeba prognozowania wpływu warunków pogodowych na zmiany efektywnosci procedur sterowania ruchem drogowym. Chcac umoliwic taka prognoze, niezbedne jest opracowanie modelu ruchu, który bedzie uwzgledniał wpływ czynników pogodowych. W tym celu zaproponowano modyfikacje automatu komórkowego Nagela-Schreckenberga (NaSch). Dokonano rozszerzenia definicji modelu NaSch o elementy, które pozwalaja odwzorowac funkcjonowanie sygnalizacji swietlnej na skrzyowaniu oraz dostosowac predkosc maksymalna pojazdów do warunków pogodowych. Przedstawione w artykule wyniki symulacji dotycza wpływu zmiany warunków pogodowych na straty czasu i liczby zatrzyman pojazdów obserwowane na wlocie skrzyowania z sygnalizacja swietlna.
The research presented in many papers suggests that weather conditions have major influence on drivers’ behaviour; leading to parameters change of vehicles streams in road network. Therefore, there is a need to forecast the influence of the weather conditions on traffic control procedures. To make it possible the weather sensitive traffic model has to be proposed. Nagel-Schreckenberg (NaSch) model were used as a base for a proposed model. The model were enhanced by three equations to simulate traffic signal control and to adjust the maximum speed representing various weather conditions. Results of performed simulations show changes in number of stops and stop delays at the intersection approach in various weather conditions.
Źródło:
Zeszyty Naukowe. Transport / Politechnika Śląska; 2011, 72; 5-12
0209-3324
2450-1549
Pojawia się w:
Zeszyty Naukowe. Transport / Politechnika Śląska
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Functional simulation of railway stations on the basis of finite-state automata
Funkcionalnoe modelirovanie zeleznodoroznyh stancij na osnove konecnych avtomatov
Autorzy:
Bobrovskiy, V
Kozachenko, D
Vernigora, R
Powiązania:
https://bibliotekanauki.pl/articles/374463.pdf
Data publikacji:
2014
Wydawca:
Politechnika Śląska. Wydawnictwo Politechniki Śląskiej
Tematy:
railway station
simulation
ergodic model
finite-state automata
stacja kolejowa
symulacja
model ergodyczny
automaty skończenie stanowe
Opis:
The general scheme of railway station’s model and technique of formalizing the technologic processes at stations are described. To take into account the human impact on station’s operation is suggested to use ergatic models. In conformity with concept of stations’ ergatic models a person is directly involved into the simulation process and manages the station technological processes acting as a dispatcher. The formalization of technological processes for processing the objects is performed on the basis of deterministic finite-state automaton. Designed model can be used for optimization of technical and technological parameters of railway stations, as well as in computer simulators for training of railway traffic managers.
Приведена общая структура функциональной модели железнодорожной станции и методика формализации технологических процессов станций. Для учета влияния человека на станционные процессы предложено использовать эргатические модели. В соответствии с концепцией эргатического моделирования человек принимает непосредственное участие в процессе моделирования и управляет технологическим процессом станции, выполняя функции диспетчера. Разрабо-танная модель может быть использована для оптимизации технических и технологических параметров железнодорожных станций, а также в компьютерных тренажерах для подготовки диспетчерского персонала железных дорог.
Źródło:
Transport Problems; 2014, 9, 3; 57-65
1896-0596
2300-861X
Pojawia się w:
Transport Problems
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Złożoność półgrup charakterystycznych iloczynów prostych „G” automatów asynchronicznych silnie spójnych
Complexity of characteristic semi-groups of „G” direct sums of the strongly connected asynchronous automatons
Autorzy:
Bocian, S.
Powiązania:
https://bibliotekanauki.pl/articles/309744.pdf
Data publikacji:
2017
Wydawca:
Instytut Naukowo-Wydawniczy "SPATIUM"
Tematy:
automat
teoria automatów
automat asynchroniczny spójny
iloczyn prosty
półgrupa charakterystyczna
automaton
automata theory
asynchronous automaton
direct sum
characteristic semi-group
Opis:
W artykule przedstawiono i przeprowadzono dowód na wyznaczenie złożoności półgrup charakterystycznych iloczynów prostych „G” automatów deterministycznych skończonych asynchronicznych silnie spójnych DFASC2 (deterministic finite asynchronous strongly connected). Półgrupa charakterystyczna jest szczególnie istotnym pojęciem w teorii automatów; jest nośnikiem ważnych informacji i określa zdolność do przetwarzania informacji. Ma to bezpośrednio ważkie konsekwencje praktyczne w sferze projektowania optymalnych układów logicznych. Iloczyn prosty automatów można uważać za realizację – odpowiednio równoległych obliczeń.
The paper presents the assumption and the evidence is carried out of the direct product complexity of characteristic semi-groups of any numbers „G” of deterministic, finite, asynchronous, highly consistent DFASC2 automata. The characteristic semi-group is the particularly essential conception in the automaton theory; it is the carrier of the important information and define the ability to information processing. It has the direct weighty consequences that are practical in the designing domain of the optimum logic circuits. The direct product of automatons can be considered as the realization – the parallel calculations accordingly.
Źródło:
Autobusy : technika, eksploatacja, systemy transportowe; 2017, 18, 6; 1322-1326, CD
1509-5878
2450-7725
Pojawia się w:
Autobusy : technika, eksploatacja, systemy transportowe
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Złożoność półgrup charakterystycznych sum prostych “AG” automatów asynchronicznych silnie spójnych ustalonych analogów rozszerzeń związanych z izomorfizmani DFASC2
Complexity of the characteristic semi-group “AG” of the asynchronous automatons of the strongly connected determined analogs, their extensions associated with isomorpism DFASC2
Autorzy:
Bocian, S.
Powiązania:
https://bibliotekanauki.pl/articles/309692.pdf
Data publikacji:
2017
Wydawca:
Instytut Naukowo-Wydawniczy "SPATIUM"
Tematy:
pojazd szynowy
sterowanie pojazdem
symulacja sterowania
teoria automatów
automaty asynchroniczne
analiza graficzna
izomorfizm
model matematyczny
rail vehicle
vehicle control
control simulation
automata theory
asynchronous automaton
graphical analysis
isomorphism
mathematical model
Opis:
W artykule przedstawiono i przeprowadzono dowód na wyznaczanie złożoności półgrup charakterystycznych sum prostych “AG” automatów deterministycznych skończonych asynchronicznych silnie spójnych DFASC2 (deterministic finite asynchronous strongly connected). Półgrupa charakterystyczna automatu ingeruje w algorytm obliczeniowy uogólnionych homomorfizmów automatów, zatem wyznaczanie złożoności półgrupy charakterystycznej pozwala na oszacowanie złożoności obliczeniowej uogólnionych homomorfizmów dla innych klas automatów. W zakresie modelu matematycznego koncepcja ustalonego analogu rozszerzania automatu AG związanego z izomorfizmami g0, g1,..., gq-1 gdzie q stopień rozszerzenia, przy odpowiednich założeniach symuluje automat zmienny w czasie. Automat zmienny w czasie jest adekwatnym modelem matematycznym dla wielu procesów technicznych i obliczeniowych czasu rzeczywiste. Automaty te symulują prace kilku automatów za pomocą jednego automatu zmiennego w czasie. Sumę prosta automatów można uważać odpowiednio za realizację sekwencyjnych obliczeń.
The paper presents the assumption and the evidence is carried out of the simple sum complexity of characteristic semi-groups of any number (“G”) of deterministic, finite, asynchronous, highly consistent DFASC2. automata. The characteristic semi-group of the automaton interferes in the computational algorithm of the generalized homoeomorphism of the automatons. Then determination the complexity of the characteristic semi-group enables to estimate the complexity of the computational generalized homoeomorphism for the other classes of automatons. In the range of the mathematical model the conception of the determined analog of the extension of the automaton A associated with the isomorphism g0, g1,..., gq-1 where is the grade of the extensions, with the suitable assumptions it simulates the automaton variable in time. The variable automaton in time is the adequate mathematical model for the many technical and computational processes of the real time. The direct sum of automatons can be considered as the realization - sequence calculations accordingly.
Źródło:
Autobusy : technika, eksploatacja, systemy transportowe; 2017, 18, 12; 1473-1477, CD
1509-5878
2450-7725
Pojawia się w:
Autobusy : technika, eksploatacja, systemy transportowe
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Self-learning controller of active magnetic bearing based on CARLA method
Samo uczący sie sterownik aktywnego łozyslka magnetycznego oparty na metodzie CARLA
Autorzy:
Brezina, T.
Turek, M.
Pulchart, J.
Powiązania:
https://bibliotekanauki.pl/articles/152983.pdf
Data publikacji:
2007
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
sterowanie aktywnego łożyska magnetycznego
active magnetic bearing control
continuous action reinforcement learning automata
Opis:
The active magnetic bearing control through analytically designed linear PD regulator, with parallel nonlinear compensation represented by automatic approximator is described in this contribution. Coefficient (parameter) values come from actions of Continuous Action Reinforcement Learning Automata (CARLAs). Influence of CARLAs parameters to learning is discussed. Parameters influence is proved by simulation study. It is shown that learning improvement can be reached by selecting appropriate parameters of learning.
W artykule przedstawiono sterowanie aktywnego łożyska magnetycznego za pomocą analitycznie dobranego regulatora PD z nieliniową kompensacją równoległą. Współczynniki kompensacji są wyznaczane automatycznie z użyciem metody CARLA (Continuous Action Reinforcement Automata). Zbadano wpływ parametrów metody na proces uczenia się kompensatora w oparciu o eksperymenty symulacyjne. Wykazano, że właściwy dobór parametrów metody prowadzi do poprawienia skuteczności procesu uczenia się.
Źródło:
Pomiary Automatyka Kontrola; 2007, R. 53, nr 1, 1; 6-9
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Cellular automata: structures and some applications
Automaty komórkowe: struktura i pewne zastosowania
Autorzy:
Burzyński, M.
Cudny, W.
Kosiński, W.
Powiązania:
https://bibliotekanauki.pl/articles/282005.pdf
Data publikacji:
2004
Wydawca:
Polskie Towarzystwo Mechaniki Teoretycznej i Stosowanej
Tematy:
cellular automata
traffic flow
fuzzy rules
Opis:
A new approach to the modelling of various nature phenomena such as predator and prey ecological system, heat transport, spreading of oil slick and traffic flow is introduced. Cellular automata (CA) are discrete dynamical systems whose behaviour is completely specified in terms of simple local relations. They are mathematical models of spatialy distributed processes; however they can lead to an appropriate simulation of comlex dynamic processes. Applications to heat transfer and problems of environmental simulations are done. A discrete automaton model with fuzzy rules to simulate one-way traffic flow is also described. Results of simulations are consistent with phenomena observed in reality. It gives a base to propose the cellular automata tool as an option in modelling and solving problems of complex (and some times, not completely known) nature.
W pracy zaprezentowano metodę modelowania układów i zjawisk obserwowanych w przyrodzie, takich jak dynamika systemu ekologicznego drapieżnik-ofiara, przewodzenie ciepła, rozprzestrzenianie się plamy ropy naftowej po wycieku na wodzie czy ruch strumienia pojazdów na drodze miejskiej. Metodę oparto na tzw. automatach komórkowych, które są układami dyskretnymi o zachowaniach ściśle zdeterminowanych prostymi relacjami o charakterze lokalnym. Automaty komórkowe to matematyczne modele procesów przestrzennych, mogące z powodzeniem opisywać złożone zjawiska dynamiczne. W pracy przedstawiono aplikację do zagadnienia przewodzenia ciepła oraz kilku symulacji środowiskowych. Przedstawiono także model automatowy z regułami rozmytymi opisujący jednokierunkowy ruch pojazdów na drodze. Wyniki symulacji okazały się zgodne z obserwacjami rzeczywistych układów. Zachęcające rezultaty badań skłaniają do postrzegania automatów komórkowych jako efektywnej opcji w modelowaniu i rozwiązywaniu problemów o złożonej (czasem nie całkiem rozpoznanej) naturze.
Źródło:
Journal of Theoretical and Applied Mechanics; 2004, 42, 3; 461-482
1429-2955
Pojawia się w:
Journal of Theoretical and Applied Mechanics
Dostawca treści:
Biblioteka Nauki
Artykuł
Wyświetlanie 1-15 z 118

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