Filters
total: 6635
filtered: 4524
-
Catalog
- Publications 4524 available results
- Journals 495 available results
- Conferences 275 available results
- People 307 available results
- Inventions 1 available results
- Projects 22 available results
- Research Teams 1 available results
- Research Equipment 2 available results
- e-Learning Courses 223 available results
- Events 9 available results
- Open Research Data 776 available results
Chosen catalog filters
displaying 1000 best results Help
Search results for: INTELLIGENT TUTORING SYSTEMS
-
Uniform solvability for families of linear systems on time scales
Publication -
Structural stability of invariant sets of vibro-impact systems
Publication -
Cyclosporine CsA—The Physicochemical Characterization of Liposomal and Colloidal Systems
Publication -
Artificial Intelligence for Energy Processes and Systems: Applications and Perspectives
Publication -
Mutual recognition of certification systems: The case of SERMO and ACLES
Publication -
The Efficiency and Productivity Evaluation of National Innovation Systems in Europe
Publication -
Safety and security governance problems of critical systems and infrastructures
PublicationW artykule przedstawiono kilka problemów związanych z zarządzaniem bezpieczeństwem i ochroną informacji w systemach i infrastrukturach krytycznych.Bardzo ważne jest zidentyfikowanie i scharakteryzowanie infrastruktury krytycznej. Przedstawiono nowe wyzwania związane z łączeniem podejścia bezpieczeństwa i ochrony informacji w procesie podejmowania decyzji
-
Numerical methods for systems of nonlinear differential functional equations
PublicationPraca dotyczy zagadnień początkowo brzegowych dla nieliniowych układów różniczkowo funkcyjnych. Rozważana jest aproksymacja rozwiązań rozważanego problemu różniczkowo funkcyjnego przez rozwiązania odpowiedniego problemu różnicowego. W pracy analizowana jest zbieżność prezentowanych metod. Dowód zbieżności opiera się na technice porównawczej z nieliniowym oszacowaniem typu Perron'a dla danych operatorów.
-
Game theory, as a way for integrating of ship control systems
PublicationReferat przedstawia koncepcję wykorzystania algorytmów zastosowanych w teorii gier do zintegrowania układów sterowania statków, takich jak układ sterowania kursu i trajektorii statku, układ sterowania napędu statku, układ sterowania stabilizacji kołysań bocznych statku, itp. Jest to koncepcja oryginalna.
-
Heteroclinic solutions for a class of the second order Hamiltonian systems
PublicationW pracy dowodzi się istnienia rozwiązań heteroklicznicznych dla pewnej klasy równań różniczkowych zwyczajnych drugiego rzędu typu hamiltonowskiego.
-
Model predictive controller for integrated wastewater treatment systems.
PublicationSterowanie optymalizujace systemem oczyszczania ścieków (WWTS) pozwala na zmniejszenie kosztów operacyjnych przy jednoczesnym spełnieniu narzuconych ograniczeń na wypływające ścieki, jednak wymaga zaawansowanych technologii sterowania. Sterowanie predykcyjne z modelem (MPC) jest bardzo użyteczną technologią sterowania takimi systemami. MPC doskonale radzi sobie z obecnością ogrniczeń na wielkości wyjściowe, wielowymiarowością problemu...
-
Challenges in security and safety management of critical systems and infrastructures
PublicationReferat poświęcono aktualnym problemom zarządzania bezpieczeństwem systemów i infrastruktur krytycznych. Infrastruktury krytyczne szereguje się z uwzględnieniem kilku kryteriów. Zarysowuje się problematykę zarządzania podatnością obiektów podwyższonego ryzyka na działania z zewnątrz oraz zagadnienie analizy ryzyka na przykładzie systemu elektroenergetycznego. W końcowej części referatu opisuje się nowe wyzwania związane z zarządzaniem...
-
Methodological and practical aspects of maintenance planning in hazardous systems
PublicationReferat porusza aktualne problemy obsługi w systemach podwyższonego. Charakteryzuje się zwięźle i ocenia techniki analizy obsługi profilaktycznej. W końcowej części przedstawia zalety i wady wynikowych technik zarządzania obsługą, koncentrując się szczególnie na poprawie niezawodności / gotowości i bezpieczeństwa z uwzględnieniem oceny kosztów.
-
Funcional safety concept for hazardous systems and new challenges
PublicationPrzedstawia się wybrane zagadnienia bezpieczeństwa funkcjonalnego według norm międzynarodowych IEC 61508 i IEC 61511. Opisuje się proces wyznaczanie poziomu nienaruszalności bezpieczeństwa (SIL) systemów elektrycznych, elektronicznych i programowalnych elektronicznych (E/E/PE). Podkreśla się znaczenie modelowania probabilistycznego tych systemów i weryfikowania SIL. Omawia się nowe aspekty analizy bezpieczeństwa funkcjonalnego...
-
Homoclinic solutions for a class of the second order Hamiltonian systems
PublicationW niniejszej pracy badamy istnienie orbit homoklinicznych dlaukładu Hamiltonowskiego drugiego rzędu: q^{..} + V_{q}(t,q) = f(t), gdzie V z iloczynu kartezjańskiego R x R^{n} do R jest postaciV(t,q) = -K(t,q) + W(t,q). Zakładamy, ze V jest T-okresowe ze względuna zmienną t, K spełnia tzw. ''pinching'' warunek, W jest superliniowew nieskończoności, a norma f w L^{2} jest wystarczająco mała.Orbitę homokliniczną takiego układu znajdujemy...
-
Determination of safety indicators of the freight wagons by mobile systems
PublicationThe organization of the movement of freight trains in Ukraine is an important factor in integrating the country’s railway transport into the European system. A situation that requires a significant renewal of the freight wagon park with modern wagons to meet the freight transportation requirements has arisen. Also, a significant drawback of railway transport in Ukraine is the limitation of the speed of trains, which include freight...
-
Boundary value problems for systems of functional differential equations
PublicationPraca dotyczy przybliżonych rozwiązań zagadnienia brzegowego dla funkcyjnych równań różniczkowych 2-go rzędu. Podano numeryczne algorytmy na wyznaczenie tego rozwiązania i warunki dostateczne, przy których metoda jest zgodna i zbieżna. Podano też konstrukcję metody dowolnego rzędu.
-
Dressing chain equations associated with difference soliton systems
PublicationAnalogicznie do teorii równań różniczkowych solitonowych, wprowadzamy proce-durę ubierania pary Laxa. Stosujemy metodę dla budowy nowych rozwiązań napodstawie znanych. Wprowadza się uogólnione wielomiany Bella. Tworzy sięschemat dla ogólnych par Laxa w postaci wielomianów od pewnego automorfizmupierscieni. Podany został przykład równań Hiroty i Nahma.
-
Theory of systems & cybernetics as a bridge between theory and practice. .
PublicationW pracy przedstawiono sposoby posługiwania się Teorią Systemów i Cybernetyką celem identyfikacji efektu synergii między nauką i działalnością praktyczną.
-
Waveform relaxation methods for periodic differential-functional systems.
PublicationPrzedmiotem badań były układy różniczkowo-funkcyjne z warunkiem okresowym.Prawą stronę układu z argumentem funkcyjnym przedstawiono w nowej formie wygodnej do stosowania metody relaksacyjnej ''waveform''. Podano warunki dostateczne (dyskutowano dwa typy takich warunków) przy których wyjściowy problem ma rozwiązanie i odpowiednie ciągi relaksacyjne są do niego zbieżne. Dyskutowano w szczegółach przedstawiony problem numeryczny...
-
Assessment of safety - related systems in industrial hazardous plants
PublicationPrzedstawiono problemy związane z określaniem bezpieczeństwa funkcjonalnego systemów przemysłowych, w oparciu o standard IEC 61508. Wykorzystując informacje zawarte w cytowanym standardzie opisujemy metody określenia wymaganych poziomów zabezpieczeń dla instalacji przemysłowej. Wyjaśniamy znaczenie poziomów SIL. Poddano dyskusji procedurę poprawnego określania poziomów bezpieczeństwa systemów składających się z elementów o...
-
Database systems for tomorrow: new challenges and research areas
PublicationZaprezentowano nowe obszary badawcze w dziedzinie baz danych, które będą rozwijane w najbliższej przyszłości. Omówiono takie obszary jak systemy typu ''Plug and Play'', duże systemy sfederowane, nowe architektury systemów baz danych oparte na dużych buforach pamięciowych, integracja danych i aplikacji oraz bazy danych semistrukturalnych.
-
Operation of technical systems as the index of reliability and safety ofthem
PublicationPrzedstawiono propozycję ilościowej interpretacji działania systemów technicznych, która jest rozpatrywana jako wielkość fizyczna z jednostką miary zwaną dżulosekundą [dżulxsekunda]. Wykazane zostanie też, że taka interpretacja działania może być uznana za wskaźnik niezawodności, a w szczególnych przypadkach - wskaźnik bezpieczeństwa funkcjonowania takiego sytemu. Do uzasadnienia takiej przydatności wspomnianego działania silnika...
-
Unmanned mine counter systems for South Baltic conditions.
PublicationPrzedstawiono warunki środowiskowe panujące na Bałtyku Południowego oraz opracowane w Polsce systemy przeciwminowe oparte na bezzałogowych statkach głębinowych. System głębinowy pk. ''Ukwiał'' wykorzystuje zdalnie sterowany, zasilany kablem statek głębinowy do przenoszenia ładunków wybuchowych. Jako alternatywne rozwiązanie przedstawiono urządzenie jednorazowego użytku w postaci statku głębinowego z obrotową głowicą bojową....
-
Adaptation of telecommunication modem techniques for underwater communication systems.
Publication...
-
Detection of broadband signals in the field of aperture and array systems.
PublicationAnteny i szyki anten w dolnopasmowych systemach hydroakustycznych wnoszą istotne zniekształcenia liniowe wpływające na możliwości detekcji sygnałów szerokopasmowych. W artykule analizowany jest charakter takich zniekształceń metodą przestrzenno - czasowych odpowiedzi impulsowych. Sygnał odbierany w różnych kierunkach przestrzeni poddano filtracji na dwa sposoby z filtrem dopasowanym do sygnału nadawanego i filtrem dopasowanym...
-
On the convergence of iterative methods for general differential-algebraic systems.
PublicationW pracy badane jest istnienie i jednoznacznoSC rozwiązań dla ogólnej klasy układów równań całkowo-algebraicznych i różniczkowo-algebraicznych oraz zbieżność różnych metod iteracyjnych włączając metody typu ''waveform relaxation''. Podane są warunki, spełnienie których gwarantuje istnienie rozwiązań w/w równań oraz zbieżność badanych procesów iteracyjnych.
-
Monitoring and diagnosis of quality and quantity in drinking water systems.
PublicationArtykuł przedstawia nowe podejście do inteligentnego monitorowania oraz diagnostyki Systemu Wodnego (WS) jako problem statusu, warunków operacyjnych oraz rozpoznawania zdarzeń. Oprogramowanie komputerowego systemu monitorowania i diagnostyki zawiera narzędzia dla identyfikacji modeli dyskretnych statusów oraz określenia parametrów ilości i jakości wody dla każdego statusu. Dla każdego stanu decyzje podejmowane są przy użyciu metody...
-
Truss imperfections in the design of bar and diaphragm bracing systems
PublicationIn the article three variants of roof bracing were considered: bar bracing, diaphragm bracing and the combination of bar and diaphragm bracing. Different analytical and numerical ways of taking into account the imperfections of the truss girder were compared. The entire 3D model of the roof (shell and beam elements with the eccentricities taken into account) was analysed numerically. Selected stressed-skin aspects were considered....
-
Highly parallel distributed computing systems with optical interconnections
Publication -
Neural Manoeuvre Detection of the Tracked Target in ARPA Systems
Publication -
Index filtrations and Morse decomposition for discrete dynamical systems
PublicationOn a Morse decomposition of an isolated invariant set of a homeomorphism(discrete dynamical system) there are partial orderings defined by the homeomorphism.These are called admissible orderings of the...
-
Stability of Discrete Fractional Order State-space Systems
Publication -
Nonlinear control systems modelling: global vs. local
Publication -
Methods for the synthesis of xanthine-derived polycyclic fused systems
Publication -
Safe-Guarded Agent Design Pattern for Mechatronic Systems
Publication -
Developing nucleic acid-based electrical detection systems
Publication -
The identification of operational cycles in the monitoring systems of underground vehicles
Publication -
Inexpensive Helical Antenna for Global Navigation Satellite Systems
PublicationZaprezentowane zostały wyniki badań teoretycznych oraz eksperymentalnych niskobudżetowej anteny na pasmo L. Wyjściowa geometria struktury została obliczona na podstawie ogólnych wzorów. Efekt przesunięcia częstotliwości wywołany przez użycie rdzenia PU został również uwzględniony. Równolegle przeprowadzono badania wrażliwości parametrów anteny na proces produkcji. Zaprojektowano i wykonano układ dopasowania impedancyjnego. W paśmie...
-
Model-Based Testing of Embedded Systems in the Automotive Domain
PublicationPhD
-
Visual Data Encryption for Privacy Enhancement in Surveillance Systems
PublicationIn this paper a methodology for employing reversible visual encryption of data is proposed. The developed algorithms are focused on privacy enhancement in distributed surveillance architectures. First, motivation of the study performed and a short review of preexisting methods of privacy enhancement are presented. The algorithmic background, system architecture along with a solution for anonymization of sensitive regions of interest...
-
Generalized quazilinearization for systems of degenerate singular perturbation problem
PublicationPraca dotyczy ogólnej metody kwazilinearyzacji dla układów równań różniczkowych z parametrami.
-
Some Optimization Methods for Simulations in Volunteer and Grid Systems
PublicationIn this chapter, some optimization methods have been presented for improving performance of simulations in the volunteer and grid computing system called Comcute. Some issues related to the cloud computing can be solved by presented approaches as well as the Comcute platform can be used to simulate execution of expensive and energy consuming long-term tasks in the cloud environment. In particular, evolutionary algorithms as well...
-
Mathematical Modelling and Computer Simulation of Activated Sludge Systems
PublicationPrzegląd systemów osadu czynnego. Rozwój modeli procesu osadu czynnego. Podstawowe definicje z zakresu modelowania matematycznego i symulacji komputerowej. Proces budowy modelu (model biokinetyczny, hydrodynamiczny, transferu tlenu, temperatury). Modelowanie procesów biochemicznych zachodzących w systemach osadu czynnego. Organizacja badań symulacyjnych. Praktyczne zastosowania modeli osadu czynnego.
-
AN ENERGY APPROACH TO THE FATIGUE LIFE OF SHIP PROPULSION SYSTEMS
PublicationThe conducted research investigations aimed to carry out an identification of the constructional materials fatigue state of the ship propulsions’ rotational mechanical units for diagnostic purposes. The fatigue cracks of the elements transmitting mechanical energy streams from the propulsion engines to the ship propellers or to the generators of the ship’s electric power station stand for a primary reason for the secondary, usually...
-
Voltage Harmonics Measuring Issues in Medium Voltage Systems
PublicationW rozdziale przedstawiono zagadnienia związane z dokładnością pomiarów zniekształceń harmonicznych napięcia z wykorzystaniem przekładników napięciowych w sieciach średnich napięć.
-
A Framework for Training and Testing of Complex Pattern Recognition Systems
PublicationW pracy przedstawiono szkielet aplikacji stworzony po to, by uprościć konstruowanie systemów rozpoznawania obrazów oraz zapewnić środowisko testowe umożliwiające ocenę algorytmów przy użyciu dużych zestawów danych. Jasno zdefiniowana architektura wraz z wieloma gotowymi do użycia modułami pozwala skoncentrować się na implementacji najważniejszych algorytmów. Szkielet wspiera tworzenie modułów, który mogą być wielokrotnie używane,...
-
Effective dielectric constant of two phase dielectric systems
PublicationW tym artykule model brick-layer ścianie został rozszerzony na dwufazowe systemy perkolacyjne. Porównano wyniki obliczeń z danymi eksperymentalnymi. Stałe dielektryczne obu faz oraz próg perkolacji pozwala na wyznaczenie efektywnej stałej dielektrycznej systemu dwufazowego.
-
Ontology of the Design Pattern Language for Smart Cities Systems
PublicationThe paper presents the definition of the design pattern language of Smart Cities in the form of an ontology. Since the implementation of a Smart City system is difficult, expensive and closely linked with the problems concerning a given city, the knowledge acquired during a single implementation is extremely valuable. The language we defined supports the management of such knowledge as it allows for the expression of a solution...
-
Some mechatronic solutions towards a surveillance of mechanical systems
PublicationCelem artykułu jest przedstawienie nowych rozwiązań związanych z nadzorowaniem systemów mechanicznych. Przedstawia on zmodyfikowaną metodę nadzorowania drgań opartą na sterowaniu modalnym i energetycznym wskaźniku jakości, nadzorowanie drgań z wykorzystaniem zmiennej prędkości obrotowej, nadzorowanie drgań systemu hybrydowego z wykorzystaniem sterowania optymalnego i energetycznego wskaźnika jakosci oraz nadzorowanie ruchu mobilnego...