Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Wyszukujesz frazę "automaton" wg kryterium: Temat


Wyświetlanie 1-14 z 14
Tytuł:
Semigroups defined by automaton extension mapping
Autorzy:
Osys, Mirosław
Powiązania:
https://bibliotekanauki.pl/articles/729089.pdf
Data publikacji:
2005
Wydawca:
Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
Tematy:
automaton mapping
Mealy automaton
semigroup
Opis:
We study semigroups generated by the restrictions of automaton extension (see, e.g., [3]) and give a characterization of automaton extensions that generate finite semigroups.
Źródło:
Discussiones Mathematicae - General Algebra and Applications; 2005, 25, 1; 103-118
1509-9415
Pojawia się w:
Discussiones Mathematicae - General Algebra and Applications
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Representations of a free group of rank two by time-varying Mealy automata
Autorzy:
Woryna, Adam
Powiązania:
https://bibliotekanauki.pl/articles/729091.pdf
Data publikacji:
2005
Wydawca:
Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
Tematy:
changing alphabet
Mealy automaton
time-varying automaton
group generated by time-varying automaton
free group
Opis:
In the group theory various representations of free groups are used. A representation of a free group of rank two by the so-calledtime-varying Mealy automata over the changing alphabet is given. Two different constructions of such automata are presented.
Źródło:
Discussiones Mathematicae - General Algebra and Applications; 2005, 25, 1; 119-134
1509-9415
Pojawia się w:
Discussiones Mathematicae - General Algebra and Applications
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Simulations of behaviour of granular bodies using a lattice-gas automaton
Autorzy:
Kozicki, J.
Tejchman, J.
Powiązania:
https://bibliotekanauki.pl/articles/241283.pdf
Data publikacji:
2005
Wydawca:
Polska Akademia Nauk. Instytut Budownictwa Wodnego PAN
Tematy:
collisions
dissipation
granular flow
gravity
lattice-gas automaton
Opis:
A lattice-gas automaton of hydrodynamics was used to calculate the kinematics of non-cohesive granular materials during 3 different complex two-dimensional problems: granular pile, granular flow in a vertical channel and granular flow in a parallel/converging silo. In the model, collisions and dissipation of particles were taken into account. The simulation results were qualitatively compared with experimental results.
Źródło:
Archives of Hydro-Engineering and Environmental Mechanics; 2005, 52, 1; 21-37
1231-3726
Pojawia się w:
Archives of Hydro-Engineering and Environmental Mechanics
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
A method of making up a clinic schedule with use of a finite-state automaton
Autorzy:
Tkachenko, R.
Kovalyshyn, O.
Powiązania:
https://bibliotekanauki.pl/articles/411052.pdf
Data publikacji:
2016
Wydawca:
Polska Akademia Nauk. Oddział w Lublinie PAN
Tematy:
clinic
schedule
schedule construction
abstract automaton
finite-state automation
Opis:
The article investigates the problems of scheduling methods for making up the schedules for medical care institutions, with a view to further optimization the conditions and improvement the patient care. It is noted that a key step in the operation of medical institutions is the scheduling stage process. Depending on the specifics of a particular institution, work plans take different forms, mostly turning into a timetable. It is established that there are a number of scheduling methods, ranging from manual planning and mathematical programming with limitations, ending with the use of artificial intelligence. Most methods consist of two or more stages and initially require the construction of the very schedule that satisfies the strict limitations of the institution functioning. At a later stage the scheduling optimization of one or more criteria is regarded. The types of finite-state automata are analyzed and, with their use, developed a method for constructing the supporting schedules for clinics. An algorithm of finite-state machines for clinic schedule construction is established.
Źródło:
ECONTECHMOD : An International Quarterly Journal on Economics of Technology and Modelling Processes; 2016, 5, 3; 131-134
2084-5715
Pojawia się w:
ECONTECHMOD : An International Quarterly Journal on Economics of Technology and Modelling Processes
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Design of pseudo-equivalent microprogram automata on programmable logic devices
Projektowanie pseudoekwiwalentnych automatów mikroprogramowalnych na układach PLD
Autorzy:
Bułatowa, I.
Radziwoniuk, M.
Powiązania:
https://bibliotekanauki.pl/articles/341119.pdf
Data publikacji:
2011
Wydawca:
Politechnika Białostocka. Oficyna Wydawnicza Politechniki Białostockiej
Tematy:
automat mikroprogramowalny
automat pseudoekwiwalentny
programowalne układy logiczne
sieć działań
dodatkowe stany wewnętrzne
microprogram automaton
algorithmic state machine
pseudoequivalent automaton
additional internal states
programmable logic devices
Opis:
Metody syntezy automatów mikroprogramowalnych oparte na wprowadzeniu dodatkowych stanów wewnętrznych prowadzą do otrzymania automatów pseudoekwiwalentnych. Sekwencja słów wyjściowych takich automatów naruszana jest pojawieniem się zerowych słów wyjściowych w stanach dodatkowych, co nie zawsze jest dopuszczalne w zastosowaniach praktycznych. W artykule została przedstawiona nowa metoda syntezy automatów mikroprogramowalnych, która pozwala przekształcić automat pseudoekwiwalentny na postać ekwiwalentną. Zaproponowana została zmodyfikowana struktura automatu mikroprogramowalnego, w której zmiana sygnałów wyjściowych jest możliwa wyłącznie w stanach podstawowych, tym samym eliminuje się słowa zerowe na wyjściach automatu. Badania eksperymentalne pokazały, że złożoność realizacji zaproponowanej struktury na układach programowalnych wzrasta w nieznacznym stopniu, natomiast takie podejście pozwala znacznie rozszerzył obszar zastosowania metod syntezy automatów mikroprogramowalnych opartych na wprowadzeniu dodatkowych stanów wewnętrznych.
In this paper, a new method of synthesis of microprogram automata from ASM specification is presented. This method allows converting pseudo-equivalent automaton to an equivalent one by eliminating the zero-value output sets appearing in additional internal states. The proposed method is based on a modified model of microprogram automaton, which permits changing the output signals only in the basic internal states, thereby eliminating the zero-value sets of output signals generated in additional states of pseudo-equivalent automata. This allows removing the adverse effects of introducing additional states and provides a wider application of numerous methods for the synthesis of pseudo-equivalent microprogram automata. The experimental results show that the cost of realization of the proposed structure in programmable logic devices increases insignificantly, but then it leads to extend the field of application synthesis methods based on the introduction of additional internal states.
Źródło:
Zeszyty Naukowe Politechniki Białostockiej. Informatyka; 2011, 7; 17-29
1644-0331
Pojawia się w:
Zeszyty Naukowe Politechniki Białostockiej. Informatyka
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Modelling of eutectic saturation influence on microstructure in thin wall ductile iron casting using cellular automata
Autorzy:
Burbelko, A. A.
Gurgul, D.
Kapturkiewicz, W.
Górny, M.
Powiązania:
https://bibliotekanauki.pl/articles/380375.pdf
Data publikacji:
2012
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
proces krzepnięcia
automat komórkowy
modelowanie
solidification process
thin cellular automaton
modeling
Opis:
The mathematical model of the globular eutectic solidification in 2D was designed. Proposed model is based on the Cellular Automaton Finite Differences (CA-FD) calculation method. Model has been used for studies of the primary austenite and of globular eutectic grains growth during the ductile iron solidification in the thin wall casting. Model takes into account, among other things, non-uniform temperature distribution in the casting wall cross-section, kinetics of the austenite and graphite grains nucleation, and non-equilibrium nature of the interphase boundary migration. Calculation of eutectic saturation influence (Sc = 0.9 - 1.1) on microstructure (austenite and graphite fraction, density of austenite and graphite grains) and temperature curves in 2 mm wall ductile iron casting has been done.
Źródło:
Archives of Foundry Engineering; 2012, 12, 4; 11-16
1897-3310
2299-2944
Pojawia się w:
Archives of Foundry Engineering
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Rich Ornaments and Delightful Engines: The Poetics of Failed Festivity and Figural Automation in William Shakespeare’s Titus Andronicus
Autorzy:
Żukowska, Agnieszka
Powiązania:
https://bibliotekanauki.pl/articles/2049069.pdf
Data publikacji:
2021-10-06
Wydawca:
Uniwersytet Warszawski. Wydawnictwa Uniwersytetu Warszawskiego
Tematy:
William Shakespeare
Titus Andronicus
Lavinia
automaton
sculpture
automatic waterwork
Joyous Entry
Opis:
The present study focuses on the poetics of failed festivity in William Shakespeare’s Titus Andronicus, tracing analogies between early modern festival culture, in particular the Joyous Entry of the Renaissance prince into the city, and the machinery of the play, which is set in motion by Titus. The principal element of this machinery is the figure of Lavinia, who can be seen as the inverted version of such wonders of occa- sional architecture and civic pageantry as the automaton, the breathing sculpture and the automatic waterwork. One of the major problems explored is the confrontation of reality and fiction, or human flesh and art, in the manifestly echoic universe of the play, where the objectified automaton-like figure responds to the actions of its animators with its own stirring.
Źródło:
Anglica. An International Journal of English Studies; 2021, 30(1); 79-95
0860-5734
Pojawia się w:
Anglica. An International Journal of English Studies
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Simulation of Dendrite Morphology and Micro-Segregation in U-Nb Alloy During Solidification
Autorzy:
Su, Bin
Liu, Jing-Yuan
Zhang, Xiao-Peng
Yan, Xue-Wei
Powiązania:
https://bibliotekanauki.pl/articles/2174585.pdf
Data publikacji:
2022
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
U-Nb alloys
solidification process
dendrite growth
cellular automaton
numerical simulation
Opis:
Due to the importance of uranium and uranium alloys to national defence and nuclear industrial applications, it is necessary to understand dendrite formation in their solidification structures and to control their microstructures. In this study, a modified cellular automaton model was developed to predict 2-D and 3-D equiaxed dendrite growth in U-Nb alloys. The model takes into account solute diffusion, preferential growth orientation, interface curvature, etc., and the solid fraction increment is calculated using the local level rule method. Using this model, 2-D large-scale and 3-D equiaxed dendrite growth with various crystallographic orientations in the U-5.5Nb alloy were simulated, and the Nb micro-segregation behaviour during solidification was analysed. The simulated results showed reasonable agreement with the as-cast microstructure observed experimentally.
Źródło:
Archives of Metallurgy and Materials; 2022, 67, 4; 1333--1339
1733-3490
Pojawia się w:
Archives of Metallurgy and Materials
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Topology algorithm built as an automaton with flexible rules
Autorzy:
Tajs-Zielińska, Katarzyna
Bochenek, Bogdan
Powiązania:
https://bibliotekanauki.pl/articles/2086875.pdf
Data publikacji:
2021
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
topology optimization
cellular automaton
flexible update rules
optymalizacja topologii
automat komórkowy
zasady aktualizacji elastyczne
Opis:
Developing novel methods, approaches and computational techniques is essential for solving efficiently more and more demanding up-to-date engineering problems. Designing durable, light and eco-friendly structures starts at the conceptual stage, where new efficient design and optimization tools need to be implemented. Nowadays, apart from the traditional gradient-based methods applied to optimal structural and material design, innovative techniques based on versatile heuristic concepts, like for example Cellular Automata, are implemented. Cellular Automata are built to represent mechanical systems where the special local update rules are implemented to mimic the performance of complex systems. This paper presents a novel concept of flexible Cellular Automata rules and their implementation into topology optimization process. Despite a few decades of development, topology optimization still remains one of the most important research fields within the area of structural and material design. One can notice novel ideas and formulations as well as new fields of their implementation. What stimulates that progress is that the researcher community continuously works on innovative and efficient topology optimization methods and algorithms. The proposed algorithm combined with an efficient analysis system ANSYS offers a fast convergence of the topology generation process and allows obtaining well-defined final topologies.
Źródło:
Bulletin of the Polish Academy of Sciences. Technical Sciences; 2021, 69, 5; e138813, 1--17
0239-7528
Pojawia się w:
Bulletin of the Polish Academy of Sciences. Technical Sciences
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
A mechanism reliability analysis method considering environmental influence and failure modes’ correlation : a case study of rifle automaton
Autorzy:
Fang, Yi-chuan
Wang, Yong-juan
Sha, Jin-long
Gu, Tong-guang
Zhang, He
Powiązania:
https://bibliotekanauki.pl/articles/24200826.pdf
Data publikacji:
2023
Wydawca:
Polska Akademia Nauk. Polskie Naukowo-Techniczne Towarzystwo Eksploatacyjne PAN
Tematy:
mechanism reliability
environmental influence
failure modes’ correlation
copula function
Kaplan-Meier estimation
rifle automaton
Opis:
In order to overcome the challenge of quantifying the influence of environmental conditions and the coexistence of multiple failure modes involved in mechanism reliability modelling under different environments. In this paper, we propose a method for the analysis of mechanism reliability that takes into account the influence of environmental factors and failure modes’ correlation, quantifies the influence of environmental factors as the random distribution and degradation path of parameters, and derives the Copula description of failure mode correlation from the historical data of environmental experiments. On the basis of the discrete mechanism dynamics model, the output parameters of the characteristic points are calculated, and the failure rate of each failure mode is calculated based on the failure criterion and the performance margin theory. Additionally, the dynamic change pattern of the mechanism reliability is compared with the Kaplan-Meier estimation of the corresponding environmental test history data to assess the validity of the calculation results. The reliability modelling problem of a motion mechanism of an automatic rifle automaton in a high and low temperature environment is applied to the method, and the reliability calculation results are close to those of Kaplan-Meier estimation of the test history data, and all are within the upper and lower bounds given by the reliability boundary theory, demonstrating the method's validity.
Źródło:
Eksploatacja i Niezawodność; 2023, 25, 2; art. no. 166145
1507-2711
Pojawia się w:
Eksploatacja i Niezawodność
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
A systematic approach for microscopic models based on cellular automata for road traffic
Systematyczne podejście do modeli mikroskopowych opartych na automatach komórkowych dla ruchu drogowego
Autorzy:
Valente, Eduardo
Avram, Camelia
Astilean, Adina
Machado, José
Powiązania:
https://bibliotekanauki.pl/articles/31232994.pdf
Data publikacji:
2022
Wydawca:
Politechnika Rzeszowska im. Ignacego Łukasiewicza. Oficyna Wydawnicza
Tematy:
urban traffic theory
cellular automaton
simulation
modeling
traffic elements
teoria ruchu miejskiego
automat komórkowy
symulacja
modelowanie
element ruchu
Opis:
The transportation infrastructure is one of the most important resources for a country's economic and social well-being. The effectiveness of a country's street network will decide whether it develops further or stagnates. With the increasing number of vehicles on the road and the effects of urbanization, traffic roads are being subjected to a variety of requests and uses for which they were not designed, sized, or predicted. Because of the critical relevance of traffic roads, research must begin to lessen the effects of traffic jams in the streets, determine the appropriate number of traffic lanes, and integrate real-time traffic information into GPS systems. The goal of modeling a traffic-road system is to either build new traffic systems or gain a better knowledge of existing traffic systems so that they can be optimized. The accuracy, performance, stochastic and dynamic behavior of the model produced will be evaluated using a simulation of a genuine traffic system. This paper provides microscopic models based on cellular automation to replicate the behavior of various automobiles on a set of urban streets in Cluj Napoca city downtown. This model includes streets with multiple traffic lanes, various types of vehicles such as automobiles, buses, and trams, intersections with multiple possible upcoming streets controlled by traffic lights, bus stops inside and outside the traffic lane, tram stops inside the traffic lane, pedestrian crosswalks, and parking areas alongside and transversely with the right traffic lane of a street. TCA (Traffic Cellular Automata) is a proposed model that produces adequate findings in urban traffic theory. The results were obtained in both free-flow and traffic-jam conditions.
Infrastruktura transportowa jest jednym z najważniejszych zasobów zapewniających dobrobyt gospodarczy i społeczny kraju. Skuteczność sieci ulic danego kraju zadecyduje o dalszym rozwoju lub stagnacji. Wraz z rosnącą liczbą pojazdów na drogach i skutkami urbanizacji, drogi drogowe są przedmiotem różnych wymagań i zastosowań, do których nie zostały zaprojektowane, zwymiarowane ani przewidziane. Ze względu na krytyczne znaczenie dróg, badania muszą zacząć łagodzić skutki korków na ulicach, określić odpowiednią liczbę pasów ruchu i zintegrować informacje o ruchu drogowym w czasie rzeczywistym z systemami GPS. Celem modelowania układu ruch-droga jest albo zbudowanie nowych układów ruchu, albo uzyskanie lepszej wiedzy o istniejących układach ruchu, aby można je było zoptymalizować. Dokładność, wydajność, zachowanie stochastyczne i dynamiczne wytworzonego modelu zostaną ocenione za pomocą symulacji rzeczywistego systemu ruchu. W tym artykule przedstawiono mikroskopowe modele oparte na automatyzacji komórkowej w celu odtworzenia zachowania różnych samochodów na zbiorze miejskich ulic w centrum miasta Cluj Napoca. Model ten obejmuje ulice z wieloma pasami ruchu, różnego rodzaju pojazdy, takie jak samochody, autobusy i tramwaje, skrzyżowania z wieloma możliwymi zbliżającymi się ulicami sterowanymi przez sygnalizację świetlną, przystanki autobusowe wewnątrz i poza pasem ruchu, tramwaje przystanki wewnątrz pasa ruchu, pieszy przejścia dla pieszych oraz parkingi wzdłuż i w poprzek z prawym pasem ruchu ulicy. TCA (Traffic Cellular Automata) to proponowany model, który daje odpowiednie wyniki w teorii ruchu miejskiego. Wyniki uzyskano zarówno w warunkach swobodnego przepływu, jak i w korku.
Źródło:
Technologia i Automatyzacja Montażu; 2022, 1; 14-27
2450-8217
Pojawia się w:
Technologia i Automatyzacja Montażu
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
IS MULTIPLE LINEAR REGRESSION THE PROPER TOOL OF MODELLING A BEHAVIOUR OF REAL SYSTEMS?
Autorzy:
Nowak, Jacek
Powiązania:
https://bibliotekanauki.pl/articles/453283.pdf
Data publikacji:
2009
Wydawca:
Szkoła Główna Gospodarstwa Wiejskiego w Warszawie. Katedra Ekonometrii i Statystyki
Tematy:
model of real system
multiple linear regression
real system structure
discrete automaton
„black box” modelling
quality of approximation
Opis:
Methodological assumption that multiple linear regression is an adequate tool of modelling the behaviour of real systems is checked. To do this the experiment is organised on the basis of simple “real” system represented as finite discrete automaton. Main result is that in situation of “black box” modelling the approximation of output variables with multiple linear regressions (from several samples and under different conditions) may not fulfil any of criterions of feasible approximation of systems behaviour, also in situations where real relation between input and output variables is strictly linear and only one of variables is omitted.
Źródło:
Metody Ilościowe w Badaniach Ekonomicznych; 2009, 10, 1; 194-206
2082-792X
Pojawia się w:
Metody Ilościowe w Badaniach Ekonomicznych
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Use of an automaton model for the designing of real-time information systems in the railway stations
Autorzy:
Zhukovyts’kyy, I.
Powiązania:
https://bibliotekanauki.pl/articles/374003.pdf
Data publikacji:
2017
Wydawca:
Politechnika Śląska. Wydawnictwo Politechniki Śląskiej
Tematy:
railway station
real-time information system
asynchronous automaton
floor equipment
stacja kolejowa
system informacji w czasie rzeczywistym
automaty asynchroniczne
Opis:
The author proposes to develop special models that are built based on finite-state machine, Mealy, in order to display information about technological processes at railway stations. The input alphabet of such machines is represented by the real signals (from the floor equipment, the related information systems and the dispatch office personnel). This representation allows one to formalize the software design process of real-time information management systems for these technological processes. The article demonstrates the possibility of formal transition from the automaton model to the software algorithms. The proposed approach was tested when designing the information system for Nizhnedneprovsk junction railway yard.
Źródło:
Transport Problems; 2017, 12, 4; 101-108
1896-0596
2300-861X
Pojawia się w:
Transport Problems
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Cellular Automaton Finite Element Method Applied for Microstructure Prediction of Aluminium Casting Treated by Laser Beam
Autorzy:
Hajkowski, J.
Popielarski, P.
Ignaszak, Z.
Powiązania:
https://bibliotekanauki.pl/articles/382992.pdf
Data publikacji:
2019
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
microstructure alloys prediction
aluminium alloys
remelting by laser beam
tribology
finite element method applied
cellular automaton
dendrite arm spacing
prognoza mikrostruktury stopów
stopy aluminium
przetapianie wiązką laserową
trybologia
zastosowanie metody elementów skończonych
Opis:
What is the limit of improvement the structure obtained directly from the liquid state, with possible heat treatment (supersaturation and aging)? This question was posed by casting engineers who put arbitrary requirements on reducing the DAS (Dendrite Arm Spacing) length to less than a dozen microns. The results of tests related to modification of the surface microstructure of AlSi7Mg alloy casting treated by laser beam and the rapid remelting and solidification of the superficial casting zone, were presented in the paper. The local properties of the surface treated with a laser beam concerns only a thickness ranging from a fraction to a single mm. These local properties should be considered in the aspect of application on surfaces of non-machined castings. Then the excellent surface layer properties can be used. The tests were carried out on the surface of the casting, the surface layer obtained in contact with the metal mould, after the initial machining (several mm), was treated by the laser beam. It turned out that the refinement of the microstructure measured with the DAS value is not available in a different way, i.e. directly by casting. The experimental-simulation validation using the Calcosoft CAFE (Cellular Automaton Finite Element) code was applied.
Źródło:
Archives of Foundry Engineering; 2019, 3; 111-118
1897-3310
2299-2944
Pojawia się w:
Archives of Foundry Engineering
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