Wyszukiwarka
Filtry
wszystkich: 7367
-
Katalog
- Publikacje 5489 wyników po odfiltrowaniu
- Czasopisma 5 wyników po odfiltrowaniu
- Osoby 429 wyników po odfiltrowaniu
- Wynalazki 7 wyników po odfiltrowaniu
- Projekty 79 wyników po odfiltrowaniu
- Laboratoria 8 wyników po odfiltrowaniu
- Zespoły Badawcze 46 wyników po odfiltrowaniu
- Aparatura Badawcza 1 wyników po odfiltrowaniu
- Kursy Online 1247 wyników po odfiltrowaniu
- Wydarzenia 45 wyników po odfiltrowaniu
- Dane Badawcze 11 wyników po odfiltrowaniu
wyświetlamy 1000 najlepszych wyników Pomoc
Wyniki wyszukiwania dla: METODY MODELOWANIA SYSTEMÓW
-
Metody modelowania probabilistycznego systemów związanych z bezpieczeństwem i ich implementacja komputerowa.
PublikacjaPrzedstawiono 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
PublikacjaRozdział 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
PublikacjaPrzedstawiono 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
Publikacjaprzedstawiono 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
PublikacjaArtykuł 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.
PublikacjaPsychologiczne 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ą.
PublikacjaW 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
PublikacjaW 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
PublikacjaCelem 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.
PublikacjaEfektywność 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
PublikacjaPrzedstawiono 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
PublikacjaRozwijają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
PublikacjaW 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
PublikacjaW 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
PublikacjaW 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
PublikacjaW 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.
PublikacjaPrzedstawiono 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
PublikacjaPrzeglą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
PublikacjaW 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
PublikacjaW 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.
PublikacjaW 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.
PublikacjaPrzedstawiono 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
PublikacjaOne 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ń
PublikacjaScharakteryzowano 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
PublikacjaW 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
Kursy Online -
Metody modelowania procesów
Kursy Online -
METODY MODELOWANIA PROCESÓW (PG_00044440)
Kursy Online -
Metody modelowania procesów (22/23)
Kursy Online -
Metody Modelowania Matematycznego - projekt 2021
Kursy OnlineAiR, stopień I, semestr 4, grupa piątek 8:15Prowadzący: dr inż. Mariusz Domżalski
-
Metody Modelowania Matematycznego - projekt 2023
Kursy OnlineAiR, stopień I, semestr 4, grupa wtorek 14:15Prowadzący: dr inż. Mariusz Domżalski
-
METODY MODELOWANIA PROCESÓW 2024/2025
Kursy Online -
Zespół Algorytmów i Modelowania Systemów
Zespoły BadawczeStudiowanie 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
Kursy Online -
Metody modelowania procesów sem letni 2023/2024
Kursy Online -
Wydajne metody modelowania i optymalizacji w rozwiązywaniu złożonych obliczeniowo problemów projektowych
ProjektyProjekt realizowany w Katedra Systemów Mikroelektronicznych zgodnie z porozumieniem UMO-2015/17/B/ST6/01857 z dnia 2016-07-13
-
Metody modelowania procesów - sem. LETNI 2021/2022 - sem.IV
Kursy Online -
Metody modelowania procesów - zaoczne - ZIMA 2022/2023 sem V
Kursy Online -
Zespół Systemów Mikroelektronicznych
Zespoły Badawcze* 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
Zespoły Badawcze* 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 Metody i narzędzia przetwarzania stanów emocjonalnych dla inteligentnych systemów edukacyjnych (Methods and tools for affect-aware Intelligent Tutoring Systems)
ProjektyProjekt realizowany w Katedra Inżynierii Oprogramowania zgodnie z porozumieniem Pol-Nor/20960/108/2015 z dnia 2015-06-23
-
Zespół Katedry Automatyki
Zespoły BadawczeMikroprocesorowe 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
Zespoły BadawczeMikroprocesorowe 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
Zespoły Badawcze* 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
Zespoły Badawcze* 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
PublikacjaW 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
PublikacjaKsiąż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ż.
OsobyProf. 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.
PublikacjaArtykuł 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)
PublikacjaW 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.