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

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-12 z 12
    Tytuł:
    New Grammar Systems and Their Application Perspectives
    Autorzy:
    Horáček, Petr
    Meduna, Alexander
    Powiązania:
    https://bibliotekanauki.pl/articles/1373727.pdf
    Data publikacji:
    2013
    Wydawca:
    Uniwersytet Jagielloński. Wydawnictwo Uniwersytetu Jagiellońskiego
    Tematy:
    synchronous grammars
    regulated grammars
    transducers
    computational control
    generative power
    natural language translation
    Opis:
    This paper presents new grammar systems that describe transformations of syntactic structures. They represent two approaches: synchronous grammars and transducers. The systems consist of well-known models such as context-free grammars and finite automata. Particular attention is paid to synchronization of regulated grammars. The paper recalls formal definitions of the systems and discusses theoretical results regarding their generative and accepting power. The last part briefly introduces application perspectives in natural language translation, illustrated by examples of Czech-English translation.
    Źródło:
    Schedae Informaticae; 2013, 22; 47-68
    0860-0295
    2083-8476
    Pojawia się w:
    Schedae Informaticae
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Numerical simulations of gap flow above rotating disk
    Autorzy:
    Wasilczuk, F.
    Flaszyński, P.
    Doerffer, P.
    Powiązania:
    https://bibliotekanauki.pl/articles/1938643.pdf
    Data publikacji:
    2015
    Wydawca:
    Politechnika Gdańska
    Tematy:
    computational fluid dynamics CFD
    internal flow
    flow control
    Opis:
    A rotating disk can be considered a basic configuration for the investigations of the impact of various conditions on the flow through the clearance between the shrouded turbine blade and the casing. Numerical calculations using Fine/Turbo Numeca were conducted to examine the influence of the rotational velocity and the pressure difference across the disk on the flow conditions, especially the mass flow through the clearance. The results were validated using the experimental data. Moreover, the flow field was investigated to reveal the vortices induced in the flow. The calculations showed a significant drop of the mass flow with a rise of the rotation velocity. Additionally, the vortex created upstream of the disk at higher rotation velocities was observed. The phenomenon of separation at the edge of the disk was investigated.
    Źródło:
    TASK Quarterly. Scientific Bulletin of Academic Computer Centre in Gdansk; 2015, 19, 2; 89-100
    1428-6394
    Pojawia się w:
    TASK Quarterly. Scientific Bulletin of Academic Computer Centre in Gdansk
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Flow analysis of hydraulic poppet control valve by means of computional fluid dynamics
    Autorzy:
    Łazowski, J.
    Krasucki, J.
    Powiązania:
    https://bibliotekanauki.pl/articles/248062.pdf
    Data publikacji:
    2012
    Wydawca:
    Instytut Techniczny Wojsk Lotniczych
    Tematy:
    poppet control valve
    computational fluid dynamics (CFD)
    flow characteristics
    Opis:
    The poppet control valve is one of the most widespread hydraulic components. The paper purpose is the evaluation of flow characteristics of poppet valve by means of a complete numerical analysis. The aim of this analysis is to evaluate the valve fluid dynamic performance, exploiting computational fluid dynamics (CFD) techniques, in order to give the reliable indications needed to define the valve design criteria and avoid expensive experimental tests. The numerical analysis was performed by using the commercial code of CFD, and the numerical results show the complete flow field inside the valve. Axisymmetric as well as three-dimensional valve model was considered and the simulation results also are verified with experimental results. The results have confirmed the good accuracy of the simplified CFD analysis based on 2D axisymmetric valve model being more efficient than full 3D approach and show this method as very useful to forecast flow characteristics of poppet control valves. Hydraulic control poppet valve, distribution of the velocity in layers of the fluid, computational grid in the modelled geometry, pressure distribution for axisymmetric and three-dimensional mode for different flow rate, fluid velocity distribution in valve metering section for axisymmetric and three-dimensional model for different flow rates, the example of streamlines, the comparison of flow characteristics are contained in the publication.
    Źródło:
    Journal of KONES; 2012, 19, 1; 251-259
    1231-4005
    2354-0133
    Pojawia się w:
    Journal of KONES
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    On convergence of the Monotone Structural Evolution
    Autorzy:
    Korytowski, A.
    Szymkat, M.
    Powiązania:
    https://bibliotekanauki.pl/articles/206572.pdf
    Data publikacji:
    2016
    Wydawca:
    Polska Akademia Nauk. Instytut Badań Systemowych PAN
    Tematy:
    optimal control
    direct computational methods
    gradient optimization
    monotone structural evolution
    Opis:
    The paper studies convergenceof the Monotone Structural Evolution (MSE), a computational method of optimal control. The principles of MSE are described and an expository example presents the method in action. It is then proved that under appropriate assumptions the method is convergent to the decision space stationarity conditions. Observations on finite convergence and on connections with Pontryagin’s maximum principle are also provided.
    Źródło:
    Control and Cybernetics; 2016, 45, 4; 483-512
    0324-8569
    Pojawia się w:
    Control and Cybernetics
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Computational intelligence in marine control engineering education
    Autorzy:
    Lisowski, Józef
    Powiązania:
    https://bibliotekanauki.pl/articles/1551899.pdf
    Data publikacji:
    2021
    Wydawca:
    Politechnika Gdańska. Wydział Inżynierii Mechanicznej i Okrętownictwa
    Tematy:
    ship control
    marine engineering curriculum
    computational intelligence
    game theory
    computer simulation
    Opis:
    This paper presents a new approach to the existing training of marine control engineering professionals using artificial intelligence. We use optimisation strategies, neural networks and game theory to support optimal, safe ship control by applying the latest scientific achievements to the current process of educating students as future marine officers. Recent advancements in shipbuilding, equipment for robotised ships, the high quality of shipboard game plans, the cost of overhauling, dependability, the fixing of the shipboard equipment and the requesting of the safe shipping and environmental protection, requires constant information on recent equipment and programming for computational intelligence by marine officers. We carry out an analysis to determine which methods of artificial intelligence can allow us to eliminate human subjectivity and uncertainty from real navigational situations involving manoeuvring decisions made by marine officers. Trainees learn by using computer simulation methods to calculate the optimal safe traverse of the ship in the event of a possible collision with other ships, which are mapped using neural networks that take into consideration the subjectivity of the navigator. The game-optimal safe trajectory for the ship also considers the uncertainty in the navigational situation, which is measured in terms of the risk of collision. The use of artificial intelligence methods in the final stage of training on ship automation can improve the practical education of marine officers and allow for safer and more effective ship operation.
    Źródło:
    Polish Maritime Research; 2021, 1; 163-172
    1233-2585
    Pojawia się w:
    Polish Maritime Research
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Analiza numeryczna zaworu kulowego - charakterystyka przepływowa i kawitacyjna
    Numerical analysis of ball valve - flow and cavitation characteristics
    Autorzy:
    Mocek, P.
    Powiązania:
    https://bibliotekanauki.pl/articles/156497.pdf
    Data publikacji:
    2011
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    Tematy:
    charakterystyki zaworów
    obliczeniowa mechanika płynów
    kawitacja
    control ball valve
    cavitation
    computational fluid mechanics
    Opis:
    W artykule zaprezentowano rezultaty obliczeń numeryczną mechaniką płynów (CFD) charakterystyki zaworu kulowego. Porównano rezultaty obliczeń metodami równań domykających k- oraz z wykorzystaniem symulacji wielkich wirów LES. Przeprowadzono również analizę numeryczną problemu kawitacji w zaworze kulowym. Uzyskane charakterystyki pokrywają się z danymi eksperymentalnymi. Obliczenia numeryczne CFD mogą mieć zastosowanie w optymalizacji kształtek profilowych oraz redukcji zużycia erozyjnego elementów zaworu.
    In the paper there are presented the results of numerical calculations of the ball valve characteristics with use of the computational fluid dynamics. The calculations were carried out with use of the hypothesis of turbulent flows, the k- and simulations of large vor-texes (DS LES). The flow patterns in and downstream the ball valves with respect to different valve openings are visualized using the computational fluid mechanics Fluent commercial code. The CFD procedure was validated on the basis of the experimental data obtained by other authors. The valve applied in industry is shown in Fig. 1. The numerical grids were prepared in the Gambit preprocessor. Fig. 2 presents the view of the numerical grid for valve in the sample 10, 30, 75o angle closure for the valve whose main dimensions are given in Fig. 3. The calculation results are local physical flow fields inside the valve. For example, the velocity vector fields in the valve crossection are shown in Fig. 4. The CFD calculation results were used for calculating the valve characteristics. They are presented in Fig 5a. The figure shows the measured and calculated values of the flow resistance factor and cavity index compared with the measurement results obtained by other authors. Fig. 5b shows the comparison of the data from literature [13] with the results of numerical calculations using different turbulence models. In that figure there is presented the modelling of the single phase and two phase gas-liquid mixture. The obtained characteristics coincide with the experimental data which allows using that method for optimising the profile shapes when applying the numerical iterative correction. The calculation results for two-phase flows are shown in Fig. 6. In that picture there are presented the cavitation zones for which the volumetric concentration of water vapour is greater than 10%. The results of theoretical predictions were found to be in general agreement with those obtained from calculations within the acceptable level of accuracy.
    Źródło:
    Pomiary Automatyka Kontrola; 2011, R. 57, nr 1, 1; 97-100
    0032-4140
    Pojawia się w:
    Pomiary Automatyka Kontrola
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Comparing SAT- and SMT- based bounded model checking for Ectl properties
    Autorzy:
    Zbrzezny, A. M.
    Powiązania:
    https://bibliotekanauki.pl/articles/121769.pdf
    Data publikacji:
    2017
    Wydawca:
    Uniwersytet Humanistyczno-Przyrodniczy im. Jana Długosza w Częstochowie. Wydawnictwo Uczelniane
    Tematy:
    logika drzewa obliczeniowego
    system sterowania
    metoda ograniczonego modelowania
    computational tree logic
    control system
    limited modelling method
    Opis:
    We compare two bounded model checking methods for properties expressed in the existential fragment of Computation Tree Logic (Ectl). To this end we use the generic pipeline paradigm (GPP) and the train controller system (TC), the classic concurrency problems, which we formalise by means of a finite transition system. We consider several properties of the problems that can be expressed in Ectl logic, and we present the performance evaluation of the mentioned bounded model checking methods by means of the running time and the memory used.
    Źródło:
    Scientific Issues of Jan Długosz University in Częstochowa. Mathematics; 2017, 22; 161-175
    2450-9302
    Pojawia się w:
    Scientific Issues of Jan Długosz University in Częstochowa. Mathematics
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    The Problems of Transition Predicates Construction in Hierarchical Concurrent Controllers
    Autorzy:
    Łabiak, G.
    Powiązania:
    https://bibliotekanauki.pl/articles/226340.pdf
    Data publikacji:
    2012
    Wydawca:
    Polska Akademia Nauk. Czytelnia Czasopism PAN
    Tematy:
    binary control system
    statechart diagrams
    hierarchy;concurrency
    conflicting transitions
    Boolean predicates
    computational complexity
    compatibility classes
    clique problem
    Opis:
    The paper presents a problem of a transition predicates construction in hierarchical concurrent state oriented notation. The notation, called statechart diagrams or state machine, serves as a very convenient formalism for specification of a complex behavior of the embedded systems control unit. The controller specified in this way is discrete, deterministic and synchronous system which operates on binary values and can be implemented in programmable devices as a digital circuit. Well designed controller has conflict-free transitions and its concurrent transitions should be independent. In order to meet this requirements transition predicates must be pairwise both orthogonal and non-implicative. Computational complexities of the problems is equal to classic clique problem. The paper also suggests some statecharts syntactic structures solving these problems.
    Źródło:
    International Journal of Electronics and Telecommunications; 2012, 58, 4; 411-418
    2300-1933
    Pojawia się w:
    International Journal of Electronics and Telecommunications
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Application of computational intelligence methods in control and diagnosis of production processes
    Zastosowanie metod inteligencji obliczeniowej do sterowania i diagnostyki procesów produkcyjnych
    Autorzy:
    Perzyk, M.
    Kozłowski, J.
    Zarzycki, K.
    Powiązania:
    https://bibliotekanauki.pl/articles/113057.pdf
    Data publikacji:
    2013
    Wydawca:
    STE GROUP
    Tematy:
    manufacturing
    process control
    fault diagnosis
    data mining
    computational intelligence
    wytwarzanie
    sterowanie procesem
    diagnostyka usterek
    eksploracja danych
    inteligencja obliczeniowa
    Opis:
    This chapter presents actual and potential applications of advanced data-driven models in control and fault diagnosis of manufacturing processes. Types of process control are discussed and the role of the computational intelligence as well as other data mining methods in them is shown. The main findings of the present authors, based on results of the previous works, are presented. They include the methodologies of determination of relative significances of process parameters and evaluation of prediction capabilities of time-series modeling. Results of a new research, aimed at assessment of capabilities of learning systems to detect out-of-control patterns of points observed in SPC charts, are presented.
    Niniejsze opracowanie przedstawia rzeczywiste i potencjalne zastosowania zaawansowanych modeli opartych na danych w sterowaniu i diagnostyce usterek procesów wytwarzania. Omówiono rodzaje sterowania procesem oraz pokazano rolę, jaką pełnią w nich metody inteligencji obliczeniowej i inne metody eksploracji danych. Zaprezentowano główne stwierdzenia, do jakich doszli autorzy na podstawie wyników wcześniejszych badań. Obejmują one metody określania istotności względnych parametrów procesu oraz ocenę zdolności predykcyjnych modelowania szeregów czasowych. Przedstawiono także wyniki nowych badań, mających na celu ocenę zdolności systemów uczących się do wykrywania układów punktów na kartach kontrolnych SSP, świadczących o rozregulowaniu procesu.
    Źródło:
    Systemy Wspomagania w Inżynierii Produkcji; 2013, 1 (3); 104-125
    2391-9361
    Pojawia się w:
    Systemy Wspomagania w Inżynierii Produkcji
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Simple cyclic movements as a distinct autism feature - computational approach
    Autorzy:
    Dobosz, K.
    Mikołajewski, D.
    Wójcik, G. M.
    Duch, W.
    Powiązania:
    https://bibliotekanauki.pl/articles/305787.pdf
    Data publikacji:
    2013
    Wydawca:
    Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
    Tematy:
    computational neuroscience
    neural networks
    attractor networks
    motor control
    repetitive movements
    ion channels
    Autism Spectrum Disorders
    ASD
    emergent simulator
    GENESIS simulator
    Opis:
    A diversity of symptoms in autism dictates a broad definition of Autism Spectrum of Disorders (ASD). Each year, the percentage of children diagnosed with ASD is growing. One common diagnostic feature in individuals with ASD is the tendency to exhibit atypical simple cyclic movements.The motor brain activity seems to generate a periodic attractor state that is hard to escape. Despite numerous studies, scientists and clinicians do not know exactly if ASD is a result of a simple yet general mechanism or of a complex set of mechanisms (either on the neural, molecular and system levels). Simulations using the biologically - relevant neural network model presented here may help to reveal the simplest mechanisms that may be responsible for specific behavior. Abnormal neural fatigue mechanisms may be responsible for motor symptoms as well as many (or perhaps all) of the other symptoms observed in ASD.
    Źródło:
    Computer Science; 2013, 14 (3); 475-489
    1508-2806
    2300-7036
    Pojawia się w:
    Computer Science
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Numeryczne i eksperymentalne badanie ograniczników przepływu
    Numerical and experimental investigation of flow reducers
    Autorzy:
    Peczkis, G.
    Homa, D.
    Powiązania:
    https://bibliotekanauki.pl/articles/401683.pdf
    Data publikacji:
    2018
    Wydawca:
    Polskie Towarzystwo Inżynierii Ekologicznej
    Tematy:
    kontrola przepływu wody
    ograniczanie przepływu
    eksperymentalna mechanika płynów
    numeryczna mechanika płynów
    water flow control
    flow reducers
    experimental fluid mechanics
    computational fluid mechanics
    Opis:
    W artykule przedstawiono wyniki pozytywnie zakończonych poszukiwań urządzenia hydraulicznego pozwalającego na samoczynne ograniczenie strumienia przepływającej cieczy w zależności od jej prędkości napływu. Urządzenie takie jest wykorzystywane do samoczynnej regulacji ilości wody płynącej ze zbiorników wody (np. deszczowej) do cieków wodnych (rzek, kanałów itp.). Idea prezentowanego urządzenia została zgłoszona do opatentowania w Polskim Urzędzie Patentowym i po upływie kilku lat uzyskała ochronę Patentową. Przedstawione rozwiązanie poddano badaniom laboratoryjnym w trakcie których ustalono dla jednej typowielkości cechy konstrukcyjne w zależności od żądanych parametrów przepływowych. W trakcie badań laboratoryjnych potwierdzono założenia przepływowe prezentowanej konstrukcji.
    The paper concerns the flow reducers which allow the flow to be self-limited as the velocity of flow increases. This kind of reducers can be successfully applied to control water flow rate from reservoirs (for example rainwater reservoirs) to watercourse (rivers, channels etc.). The concept of such device has been submitted to the Polish Patent Office and now is under patent protection. The presented construction has been tested experimentally. As a result of the construction features, a function of demanded flow parameters has been determined. During experiments, the design assumptions have been proven. The numerical simulation of the flow through the reducer was also carried out. The pressure distributions, as well as force acting on the plate of the reducer, were determined.
    Źródło:
    Inżynieria Ekologiczna; 2018, 19, 2; 48-55
    2081-139X
    2392-0629
    Pojawia się w:
    Inżynieria Ekologiczna
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Process Design for Size-Controlled Flame Spray Synthesis of Li4Ti5O12 and Electrochemical Performance
    Autorzy:
    Waser, O.
    Brenner, O.
    Groehn, A.J.
    Pratsinis, S.E.
    Powiązania:
    https://bibliotekanauki.pl/articles/952680.pdf
    Data publikacji:
    2017
    Wydawca:
    Polska Akademia Nauk. Czytelnia Czasopism PAN
    Tematy:
    Li-ion battery
    Li4Ti5O12
    size control
    residence time distribution computational fluid
    dynamics
    flame synthesis of electroceramics
    bateria litowo-jonowa
    kontrola rozmiaru
    płyn obliczeniowy do dystrybucji czasu przebywania
    dynamika
    synteza płomieniowa elektroceramiki
    Opis:
    Inexpensive synthesis of electroceramic materials is required for efficient energy storage. Here the design of a scalable process, flame spray pyrolysis (FSP), for synthesis of size-controlled nanomaterials is investigated focusing on understanding the role of air entrainment (AE) during their aerosol synthesis with emphasis on battery materials. The AE into the enclosed FSP reactor is analysed quantitatively by computational fluid dynamics (CFD) and calculated temperatures are verified by Fourier transform infrared spectroscopy (FTIR). Various Li4Ti5O12 (LTO) particle compositions are made and characterized by N2 adsorption, electron microscopy and X-ray diffraction while the electrochemical performance of LTO is tested at various charging rates. Increasing AE decreases recirculation in the enclosing tube leading to lower reactor temperatures and particle concentrations by air dilution as well as shorter and narrower residence time distributions. As a result, particle growth by coagulation - coalescence decreases leading to smaller primary particles that are mostly pure LTO exhibiting high C-rate performance with more than 120 mAh/g galvanostatic specific charge at 40C, outperforming commercial LTO. The effect of AE on FSP-made particle characteristics is demonstrated also in combustion synthesis of LiFePO4 and ZrO2.
    Źródło:
    Chemical and Process Engineering; 2017, 38, 1; 51-66
    0208-6425
    2300-1925
    Pojawia się w:
    Chemical and Process Engineering
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      Wyświetlanie 1-12 z 12

      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