Didn't find any results in this catalog!
But we have some results in other catalogs.Filters
total: 7332
-
Catalog
- Publications 5479 available results
- Journals 5 available results
- People 419 available results
- Inventions 7 available results
- Projects 77 available results
- Laboratories 8 available results
- Research Teams 46 available results
- Research Equipment 1 available results
- e-Learning Courses 1237 available results
- Events 42 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.