Search
Filters
total: 7428
-
Catalog
- Publications 5533 available results
- Journals 5 available results
- People 433 available results
- Inventions 7 available results
- Projects 80 available results
- Laboratories 8 available results
- Research Teams 46 available results
- Research Equipment 1 available results
- e-Learning Courses 1259 available results
- Events 45 available results
- Open Research Data 11 available results
displaying 1000 best results Help
Search results for: METODY MODELOWANIA SYSTEMÓW
-
Metody modelowania probabilistycznego systemów związanych z bezpieczeństwem i ich implementacja komputerowa.
PublicationPrzedstawiono metody modelowania systemów związanych z bezpieczeństwem. Podkreślono znaczenie ilościowego modelowania probabilistycznego systemów elektrycznych, elektronicznych i programowalnych elektronicznych (E/E/PE). Przedstawiono również wspomagane komputerowo weryfikowanie poziomów SIL oraz modelowanie probabilistyczne systemów sterowania i automatyki zabezpieczeniowej z weryfikacją wyników względem przedziałów kryterialnych.
-
Wybrane metody i narzędzia modelowania systemów informatycznych z użyciem języka UML
PublicationRozdział prezentuje przykład technologii modelowania systemów informatycznych opartej na podejściu obiektowym w jednolitym środowisku, począwszy od Zunifikowanego Języka Modelowania (UML), poprzez metodykę Rational Unified Process (RUP), po aplikację Rational Software Modeler (RSM).
-
Katedra Algorytmów i Modelowania Systemów
PublicationPrzedstawiono podstawowe informacje nt. Katedry Algorytmów i Modelowania Systemów Wydziału Elektroniki, Telekomunikacji i Informatyki PG. W szczególności przedstawiono rys historyczny, działalność dydaktyczną, badania podstawowe, nagrody i wyróżnienia oraz ofertę dla przemysłu.
-
Hybrydowe metody modelowania układów mechanicznych
Publicationprzedstawiono dyskretno-ciągłą metodę pryzm oraz hybrydową metodę dekompozycji modalnej modelowania układów mechanicznych. W dyskretno- ciągłej metodzie pryzm elastyczne ciało dyskretyzuje się na jednowymiarowe elementy ciągłe nazywane pryzmami. Każda pryzma opisana jest przez zbiór sześciu sprzężonych równań różniczkowych cząstkowych. Do rozwiązania równań opisujących cały układ stosuje się metodę transmitancji dla układów o parametrach...
-
Metody i zastosowania modelowania tkanki ludzkiej
PublicationArtykuł opisuje możliwości, jakie daje medycynie modelowanie tkanki ludzkiej z wykorzystaniem rzeczywistości wirtualnej i rozszerzonej. Przedstawia on ponadto trzy propozycje zastosowania w praktyce lekarskiej modelowania gruczołu piersiowego. Propozycje te są wynikiem uzgodnień zespołu medyczno-informatycznego (autorów artykułu) i zostały zaplanowane jako realizowane oraz wdrażane w czasie następującym po publikacji artykułu....
-
Efektywność metod modelowania systemów z perspektywy psychologii poznawczej.
PublicationPsychologiczne dopasowanie metod modelowania systemów i narzędzi CASE do profilu wykonawcy ma istotny wpływ na efektywność pracy rozumianą chociażby jako czas wykonania zadania, ilość wprowadzonych defektów, łatwość pracy,czy też łatwość wykorzystania rezultatów. W referacie zaprezentowano dwa podejścia do oceny metod modelowania z perspektywy poznawczej. W pierwszym podejściu wykorzystano zbiór wymiarów poznawczych, natomiast...
-
Rozwój metod modelowania systemów organizacji i zarządzania produkcją.
PublicationW niniejszym rozdziale określono główne czynniki które wpływają na proces modelowania systemów organizacji i zarządzania produkcją. Dla każdego z wyróżnionych czynników przedstawono również rozwój ukształtowanych w wyniku modelowania technik i metod wspomagających produkcję.
-
Hybrydowe modele i metody modelowania układów mechanicznych
PublicationW monografii przedstawiono metody modelowania układów mechanicznych umożliwiające uzyskanie odpowiednio dokładnych modeli niskiego rzędu. Jedną z nich jest dyskretno-ciągła metoda pryzm (DCMP). Łączy ona zalety metod modelowania układów ciągłych o parametrach rozłożonych i dyskretyzowanych przestrzennie o parametrach skupionych. Jej opis matematyczny wyprowadzono posługując się metodami sztywnych elementów skończonych i transmitancji...
-
Metody zapewniania bezpieczeństwa systemów operacyjnych
PublicationCelem pracy było opracowanie nowych metod zapewniania bezpieczeństwa systemów operacyjnych opartych o trwały zapis istotnych danych systemowych na niemodyfikowalnych nośnikach oraz wykonanie mechanizmów kontroli dostępu do plików z wykorzystaniem skrótów kryptograficznych. Mechanizmy kontroli umożliwiają weryfikację poprawności treści plików oraz przywracanie ich oryginalnej treści w przypadku nieuprawnionej modyfikacji. Celem...
-
Efektywność metod modelowania systemów z perspektywy praktyki w firmach informatycznych.
PublicationEfektywność zastosowań metod modelowania i narzędzi CASE ma wpływ na wskaźniki ekonomiczne projektu oraz satysfakcję z pracy postrzeganą przez ich użytkowników - wykonawców oprogramowania. W referacie zaprezentowano ankietę do badań tej efektywności w praktyce względem oczekiwań propagatorów tej technologii oraz obecnych trendów. Przedstawiono również wyniki badań przeprowadzonych w kilku firmach informatycznych.
-
Wykorzystanie standardu WfMC do modelowania i implementacji systemów przepływów pracy
PublicationPrzedstawiono elementy standardu WfMC i jego wykorzystanie w systemach B2B, opisano model odniesienia dla budowy wzorcowejaplikacji typu workfow. Podano podstawowe defnicje związane z modelemodniesienia i opis interfejsów łączących poszczególne jego komponenty.
-
Metody oceny efektywności miejskich systemów sterowania ruchem
PublicationRozwijające się duże miasta borykają się ze wzrostem zatłoczenia motoryzacyjnego. Celem usprawnienia sieci transportowej duże miasta, w tym również kilka miast polskich decyduje się na wdrożenie narzędzia, które umożliwi im efektywne zarządzanie i sterowanie ruchem. Jeden z takich systemów został wdrożony w Trójmieście w grudniu 2015 roku. W niniejszym referacie przedstawiono metody oceny efektywności miejskich systemów sterowania,...
-
Metody modelowania charakterystyk magnesowania przełączalnych silników reluktancyjnych i ich porównanie
PublicationW pracy przedstawiono metody stosowane do modelowania charakterystyk magnesowania przełączalnych silników reluktancyjnych oraz dokonano ich porównania biorąc pod uwagę dokładność modelowania charakterystyk oraz złożoność obliczeniową poszczególnych metod.
-
Metody modelowania charakterystyk magnesowania przełączalnych silników reluktancyjnych i ich porównanie
PublicationW pracy przedstawiono metody stosowane do modelowania charakterystyk magnesowania przełączalnych silników reluktancyjnych oraz dokonano ich porównania biorąc pod uwagę dokładność modelowania charakterystyk oraz złożoność obliczeniową poszczególnych metod.
-
Zastosowanie metody grafów wiązań do modelowania układów chłodzenia silników spalinowych
PublicationW artykule uzasadniono celowość stosowania metody grafów wiązań (GW) do modelowania układów chłodzenia silników spalinowych. Przedstawiono koncepcję układu chłodzenia nowej generacji. Rozwinięto energetyczny model silnika spalinowego w postaci GW uwzględniając napęd pompy cieczy chłodzącej za pomocą silnika elektrycznego. Model układu chłodzenia przedstawiono w postaci połączonych modeli układu hydraulicznego i modelu wymiany...
-
Metody sztucznej inteligencji do wspomagania bankowych systemów informatycznych
PublicationW pracy opisano zastosowania nowoczesnych metod sztucznej inteligencji do wspomagania bankowych systemów informatycznych. Wykorzystanie w systemach informatycznych algorytmów ewolucyjnych, harmonicznych, czy sztucznych sieci neuronowych w połączeniu z nowoczesną technologią mikroprocesorową umożliwiają zasadniczy wzrost konkurencyjności banku. Dlatego w pracy omówiono wybrane zastosowania bankowe ze szczególnym uwzględnieniem zbliżeniowych...
-
Metody opisu treści obrazów dla potrzeb systemów wyszukiwania.
PublicationPrzedstawiono metody opisu i wyszukiwania obrazów na podstawie ich treści. Zaproponowano schemat ekstrakcji regionów oraz generacji ich opisów z zastosowaniem kodów długości serii. W opracowanym systemie zaprojektowano i zaimplementowano możliwość definiowania zapytań do baz danych uwzględniając:właściwości i parametry regionu (deskryptory intensywności, tekstury, i kształtu) oraz relacji przestrzennych pomiędzy regionami.
-
Przegląd interdyscyplinarnych zapożyczęń do modelowania systemów w podręcznikach do analizy i projektowania obiektowego
PublicationPrzegląd interdyscyplinarnych zapożyczeń do modelowania systemów wpisuje się w nurt katalogowania i oceny istniejących zapożyczeń interdyscyplinarnych w inżynierii oprogramowania. W referacie poddano ocenie zapożyczenia opisane w czterech najbardziej popularnych i wpływowych podręcznikach do analizy i projektowania obiektowego. Wykorzystano następujące kryteria oceny: systematyczność badań, jawność opisów oraz możliwość wykorzystania...
-
Metody i mierniki oceny efektywności postępowań i systemów upadłościowych
PublicationW artykule ukazano metody i mierniki oceny efektywności postępowań i systemów upadłościowych. Zaprezentowano ich wady oraz zalety oraz zaprponowano najlepsze rozwiązania.
-
Zastosowanie metody elementów spektralych do modelowania zjawisk propagacji fal sprężystych dla celów diagnostyki
PublicationW artykule przedstawiono modelowanie propagacji fal sprężystych przy pomocy metody elementów spektralnych na bazie płytowych elementów Mindlina. Zaletą tego sformułowania jest diagonalizacja macierzy mas wynikająca ze zgodności rozkładu węzłów elementu wzorcowego i fizycznego z położeniem punktów całkowania kwadraturą Gaussa-Lobatto-Legendre'a. W pracy przedstawiono symulacje propagacji fal giętnych wzbudzonych na jednej krawędzi...
-
Metody analizy systemów sterowania i zabezpieczeń z uwzględnieniem kryteriów bezpieczeństwa funkcjonalnego.
PublicationW rozprawie zaprezentowane zostały metody analizy probabilistycznej systemów sterowania i zabezpieczeń z uwzględnieniem kryteriów bezpieczeństwa funkcjonalnego. Przedstawione metody stosowane są w procesie weryfikacji poziomów nienaruszalności bezpieczeństwa SIL systemów elektrycznych, elektronicznych i programowalnych elektronicznych E/E/PE. W związku z występowaniem problemu oceny niepewności w oszacowaniach probabilistycznych...
-
Wybrane metody przydatne w analizie niezawodności i bezpieczeństwa funkcjonalnego systemów technicznych.
PublicationPrzedstawiono wybrane metody przydatne w analizie niezawodności i bezpieczeństwa funkcjonalnego systemów technicznych takie jak: metoda FMECA (failure mode, effect and criticality analysis, FTA (fault tree analysis, RBD (reliability block diagram) RCM (reliability centered maintenance, LCC (life cycle cost) i PMO (preventive maintenance optimising.
-
Modern approaches to file system integrity checking
PublicationOne of the means to detect intruder's activity is totrace all unauthorized changes in a file system.Programs which fulfill this functionality are called fileintegrity checkers. This paper concerns modernapproach to file system integrity checking. It reviewsarchitecture of popular systems that are widely used inproduction environment as well as scientific projects,which not only detect intruders but also take actions tostop their...
-
Kompatybilność elektromagnetyczna urządzeń i systemów przeznaczonych na jednostki pływające - Wymagania i metody badań
PublicationScharakteryzowano zagadnienia wpływu uwarunkowań kompatybilności elektromagnetycznej (EMC) na pracę okrętowych systemów teleinformatycznych. Opisano wymagania stawiane urządzeniom i systemom pracującym w takim środowisku.
-
Bond graph modeling of the new generation engine cooling systems = Zastosowanie metody grafów wiązań do modelowania nowej generacji układów chłodzenia silników spalinowych
PublicationW referacie szczegółowo opisano modele wymiany ciepła i przepływów w układzie chłodzenia. Metoda grafów wiązań okazała się szczególnie użyteczną dla modelowania skomplikowanych systemów energetycznych o różnych postaciach energii. Jako przykładu użyto obiegu chłodzenia silnika badawczego na hamowni silnikowej.
-
Metody modelowania procesów
e-Learning Courses -
Metody modelowania procesów
e-Learning Courses -
METODY MODELOWANIA PROCESÓW (PG_00044440)
e-Learning Courses -
Metody modelowania procesów (22/23)
e-Learning Courses -
Metody Modelowania Matematycznego - projekt 2021
e-Learning CoursesAiR, stopień I, semestr 4, grupa piątek 8:15Prowadzący: dr inż. Mariusz Domżalski
-
Metody Modelowania Matematycznego - projekt 2023
e-Learning CoursesAiR, stopień I, semestr 4, grupa wtorek 14:15Prowadzący: dr inż. Mariusz Domżalski
-
METODY MODELOWANIA PROCESÓW 2024/2025
e-Learning Courses -
Zespół Algorytmów i Modelowania Systemów
Research TeamsStudiowanie problemów i modeli teoriografowych ma na celu badanie złożoności obliczeniowej uogólnień problemu klasycznego kolorowania wierzchołków i krawędzi grafu znajdujących zastosowania w modelowaniu praktycznych problemów oraz badanie nowych miar oceny skuteczności algorytmów. W zakresie szeregowania zadań badania koncentrują się na konstrukcji harmonogramów optymalnych z punktu widzenia długości harmonogramu i średniego czasu...
-
Metody modelowania procesów - ZIMA 2023/2024
e-Learning Courses -
Metody modelowania procesów sem letni 2023/2024
e-Learning Courses -
Efficient Modeling and Optimization Techniques for Solving Computationally Expensive Engineering Design Problems
ProjectsProject realized in Department of Microelectronic Systems according to UMO-2015/17/B/ST6/01857 agreement from 2016-07-13
-
Metody modelowania procesów - sem. LETNI 2021/2022 - sem.IV
e-Learning Courses -
Metody modelowania procesów - zaoczne - ZIMA 2022/2023 sem V
e-Learning Courses -
Zespół Systemów Mikroelektronicznych
Research Teams* projektowania I optymalizacji układów i systemów mikroelektronicznych * zaawansowane metody projektowania i optymalizacji analogowych filtrów aktywnych * programowanie układów scalonych (FPGA, CPLD, SPLD, FPAA) * układy specjalizowane ASIC * synteza systemów o małym poborze mocy * projektowanie topografii układów i zagadnień kompatybilności elektromagnetycznej * modelowania przyrządów półprzewodnikowych * modelowania właściwości...
-
Katedra Energoelektroniki i Maszyn Elektrycznych
Research Teams* Modelowania, projektowania i symulacji przekształtników energoelektronicznych * Sterowania i diagnostyki przekształtników energoelektronicznych * Kompatybilności elektromagnetycznej przekształtników i regulowanych napędów elektrycznych * Jakości energii elektrycznej * Modelowania, projektowania i diagnostyki maszyn elektrycznych i transformatorów * Projektowania czujników i silników piezoelektrycznych * Technik CAD i CAE dla...
-
AFFITS Methods and tools for affectaware intelligent tutoring sysyems
ProjectsProject realized in Department of Software Engineering according to Pol-Nor/20960/108/2015 agreement from 2015-06-23
-
Zespół Katedry Automatyki
Research TeamsMikroprocesorowe urządzenia pomiarowo-rejestrujące i systemy monitorowania wykorzystujące technologie sieciowe, systemy sterowania urządzeniami i procesami technologicznymi. Systemy sterowania w obiektach energetyki odnawialnej, skupionych i rozproszonych. Modelowanie i symulacja obiektów dynamicznych, procesów oraz systemów sterowania i kontroli; projektowanie interfejsów operatorskich. Systemy elektroenergetyczne i automatyki...
-
Katedra Automatyki i Energetyki
Research TeamsMikroprocesorowe urządzenia pomiarowo-rejestrujące i systemy monitorowania wykorzystujące technologie sieciowe, systemy sterowania urządzeniami i procesami technologicznymi. Systemy sterowania w obiektach energetyki odnawialnej, skupionych i rozproszonych. Modelowanie i symulacja obiektów dynamicznych, procesów oraz systemów sterowania i kontroli; projektowanie interfejsów operatorskich. Systemy elektroenergetyczne i automatyki...
-
Katedra Inżynierii Zarządzania Operacyjnego
Research Teams* procesy i zarządzanie innowacjami w organizacjach gospodarczych * procesy i zarządzanie zmianą w systemach produkcyjnych * zarządzanie projektami, programami oraz portfolio projektów innowacyjnych i rozwojowych * modelowanie i doskonalenie procesów oraz systemów produkcyjnych * projektowanie i optymalizacja technologii informatycznych w inteligentnych systemach produkcyjnych * ilościowe metody wspomagania decyzji w systemach...
-
Katedra Elektroenergetyki
Research Teams* ochrona i bezpieczeństwo pracy systemu elektroenergetycznego, * stabilność sterowanie pracą systemu elektroenergetycznego, * kompleksowe modelowanie systemów elektroenergetycznych oraz szczegółowe modele elementów systemu, * urządzenia FACTS i systemy HVDC w systemach elektroenergetycznych, * odnawialne źródła energii w systemach elektroenergetycznych, * urządzenia i instalacje elektryczne, * optymalizacja struktury i parametrów...
-
Modelowanie propagacji wiązek optycznych dla potrzeb konstrukcji systemów ramanowskich
PublicationW komunikacie zaproponowano wykorzystanie metody propagacji wiązki BPM do wspomagania procesu projektowania systemów ramanowskich przeznaczonych do badania struktur. Modelowania komputerowe zostało wykorzystane do optymalizacji wprowadzania wiązki laserowej do materiału, co zapewni zwiększenie efektywności wzbudzania sygnału rozpraszania ramanowskiego w wybranym miejscu w warstwie.
-
Modelowanie matematyczne systemów fizjologicznych i farmakokinetycznych dla wspomagania diagnostyki terapii
PublicationKsiążka jest poświęcona matematycznemu modelowaniu systemów biomedycznych, ze szczególnym uwzględnieniem systemów fizjologicznych i farmakokinetycznych. W tym obszarze bardzo przydatne są metody modelowania kompartmentowego, wykorzystujące opis systemu w kategoriach zmiennych stanu. W tych kategoriach sformułowana jest także teoria filtracji stochastycznej Kalmana. Filtracja stochastyczna stosowana jest do usuwania zakłóceń z sygnału...
-
Andrzej Czyżewski prof. dr hab. inż.
PeopleProf. zw. dr hab. inż. Andrzej Czyżewski jest absolwentem Wydziału Elektroniki PG (studia magisterskie ukończył w 1982 r.). Pracę doktorską na temat związany z dźwiękiem cyfrowym obronił z wyróżnieniem na Wydziale Elektroniki PG w roku 1987. W 1992 r. przedstawił rozprawę habilitacyjną pt.: „Cyfrowe operacje na sygnałach fonicznych”. Jego kolokwium habilitacyjne zostało przyjęte jednomyślnie w czerwcu 1992 r. w Akademii Górniczo-Hutniczej...
-
Zastosowania metody HAZOP w inżynierii oprogramowania.
PublicationArtykuł przedstawia HAZOP - metodę analizy modeli systemów oraz jej zastosowania w dziedzinie inżynierii oprogramowania do identyfikacji błędów obecnych w modelach. Omawiane są różne obszary stosowalności związane z różnymi klasami błędów: defektów modelowania, zdarzeń niebezpiecznych dla otoczenia systemu oraz zagrożeń związanych z zabezpieczeniem systemu. Artykuł prezentuje również dotychczasowy stan badań związanych...
-
Soft modeling support for managing knowledge-based information technology (IT)
PublicationW pracy omówiono metody miękkiego modelowania. Wskazano na możliwości zastosowania tych metod do wspomagania tworzenia systemów opartych na wiedzy. Omówiono także metody oparte na teorii zbiorów rozmytych.