Filters
total: 3161
-
Catalog
- Publications 2347 available results
- Journals 2 available results
- People 180 available results
- Inventions 13 available results
- Projects 44 available results
- Laboratories 9 available results
- Research Teams 26 available results
- Research Equipment 2 available results
- e-Learning Courses 482 available results
- Events 17 available results
- Open Research Data 39 available results
displaying 1000 best results Help
Search results for: MODELOWANIE OBIEKTOWE
-
Modelling and uncertainty in system analysis for safety assessment.
PublicationArtykuł obejmuje zagadnienia związane z modelowaniem i reprezentacją niepewności i ilościowych oszacowaniach ryzyka. Problem jest istotny w praktyce, ponieważ wystęopujhą wymagania przeprowadzenia ocen niepewności miar probabilistycznych i ryzyka. Dyskutuje się potencjalne żródła niepewności i dokonuje sie przeglądu podstaw teoretycznych reprezentacji niepewności. W modelowaniu systemów zawierających nieprecyzyjnie zdefiniowane...
-
Combining tight-binding and molecular dynamics methods to model the behaviour of metals in the plastic regime
PublicationOpisujemy zastosowanie metody dwuskalowej (kwantowo-klasycznej) w zastosowaniu do metali. Region energetycznie najważniejszy jest traktowany kwantowo, podczas gdy reszta układu jest traktowana klasycznie. Wprowadzamy własną implementację metody oraz przedstawiamy uzyskane wyniki dla metali.
-
Modeling of effect of plastic deformation on Barkhausen noise and magnetoacoustic emission in iron with 2% silicon
PublicationW modelowaniu zaadaptowano model Alessandro-Beatrice-Bertotti-Montorsi dla opisu ruchu granic nie-180 stopniowych oraz model Jiles-Atherton dla opisu wpływu plastycznej deformacji na natężenie efektu Barkhausena oraz emisji magnetoakustcznej.
-
Modeling of hazards, consequences and risk for safety assessment of ships in damaged conditions in operation
PublicationPraca dotyczy problematyki związanej z modelowaniem zagrożeń, konsekwencji i ryzyka, w metodzie oceny bezpieczeństwa statków w stanie uszkodzonym. Metoda oparta jest na podejściu zorientowanym na ocenę zachowania się statku i ocenę ryzyka wypadku. Kolejne moduły metody dotyczą identyfikacji zagrożeń i scenariuszy wypadków oraz oceny i kontroli ryzyka. Ocenę ryzyka można przeprowadzić przy zastosowaniu elementów metodyki Przypadku...
-
Modelling of ic engine coolant system with permanent magnet brushless motor - bond graphs approach
PublicationW pierwszej części referatu przedstawiono strukturę i podstawy modelowania w ujęciu grafów wiązań nowoczesnego (nowej generacji) systemu chłodzenia silnika spalinowego. Istotną cechą rozważnego systemu chłodzenia jest zastosowanie zintegrowanego układu: pompa cieczy chłodzącej-bezszczotkowy silniki prądu stałego (BSPS, ang. BDCM). W kolejnych częściach referatu przedstawiono: podstawy modelowania całego systemu chłodzenia, model...
-
Model instalacji napowietrzającej dla celów sterowania - studium przypadku
PublicationBiologiczne oczyszczanie ścieków stanowi podstawową grupę procesów w oczyszczalni ścieków. Jednym z nich jest napowietrzanie ścieków realizowane z wykorzystaniem instalacji napowietrzającej. Powszechnie uważa się go za jeden z najważniejszych i najdroższych procesów w oczyszczalni ścieków. Model procesu jest potrzebny do szczegółowej jego analizy, zbadania możliwości modyfikacji istniejących lub zastosowania innych metod sterowania....
-
Niewspółmierność modalna wywołana dodaniem elementu inercyjno/sprężystego, zastosowana do eliminacji drgań niskiej częstotliwości
PublicationW pracy zaprezentowano zagadnienia eliminacji słabo tłumionych drgań przęseł mostów. Badania ograniczono do analizy numerycznej. Układ drgający zamodelowano korzystając z metody elementów skończonych. Następnie, zbudowano dwa alternatywne modele, różniące się obecnością elementu inercyjno-elastycznego. Jest nim dodatkowa przeciwmasa zwisająca za pylonem mostu, połączona elastycznie z drgającym elementem. Wyznaczono postaci i częstotliwości...
-
Dynamika układu wieloczłonowego podlegającego więzom opisującym punktowy kontakt pomiędzy układem i nieruchomą krzywką
PublicationPraca opisuje zagadnienia modelowania dynamiki układów wieloczłonowych ze skleronomicznymi więzami dwustronnymi. Modelowany układ ma strukturę zamkniętego wieloboku. Zamknięcie struktury wynika z obecności kontaktu pomiędzy układem wieloczłonowym i nieruchomą krzywką. W pracy skoncentrujemy się na równaniach więzów. Rozważania ograniczymy do analizy układów płaskich. Sformułowano ogólna postać równań więzów. Łączy ona równania...
-
Równania więzów pomiędzy układem wieloczłonowym i modelem złożonym z elementów skończonych
PublicationW pracy przedstawiono zagadnienia modelowania dynamiki układów wieloczłonowych. Zamodelowano oddziaływania pomiędzy odkształcalną belką i układem wieloczłonowym. W pracy skoncentrowano się na równaniach więzów. Rozważania ograniczono do analizy układów płaskich. Odkształcenia belki są małe. Układ ciągły, jakim jest odkształcana belka, zamodelowano korzystając z metody elementów skończonych. W przypadku układu wieloczłonowego, jego...
-
Identyfikacja rodzaju nieciagłośi w prętach metodą transformaty falkowej
PublicationW pracy przedstwiono, bazującą na transformacie falkowej, metodę identyfikacji rodzaju nieciagłości w prętach.
-
Optymalna konfiguracja czujników PZT w zagadnieniach detekcji uszkodzeń
PublicationW pracy przedstawiono analizę wpływu połozenia czujników piezoelektrycznych na efektywność detekcji uszkodzeń w elementach konstrukcyjnych.
-
Porównanie wybranych modeli delaminacji w kompozytach warstwowych
PublicationW artykule zaprezentowano oraz porównano metody modelowania delaminacji w materiałach kompozytowych. Dokonano porównania trzech modeli: modelu izotropowego opartego o kryterium uszkodzenia Hashin'a, modelu wynikającego z analizy wzrostu szczeliny powstającej pomiędzy warstwami laminatu, oraz modelu kinematycznego, w którym uszkodzenie zamodelowano kilkoma elementami skończonymi. W artykule poruszono również problem modelowania...
-
Applications of computational intelligence techqniues to acoustics
PublicationCelem artykułu jest przegląd wybranych zastosowań metod inteligentnych w akustyce, a w szczególności w szeroko rozumianej inżynierii dźwięku. Przedstawione badania i eksperymenty były prowadzone w oparciu o sztuczne sieci neuronowe, metodę zbiorów przybliżonych, logiką rozmytą, grafy przepływowe Pawlaka oraz algorytmy genetyczne. Rozwiązywane problemy dotyczyły klasyfikacji dźwięków muzycznych, rozpoznawania fraz muzycznych, przetwarzania...
-
Sterowanie temperaturą w drukarce 3D
PublicationArtykuł dotyczy zagadnień związanych z drukarką 3D. Opracowano dwa rodzaje modeli matematycznych, które zweryfikowano w oparciu o dane pomiarowe. Następnie zaprojektowano i symulacyjnie przetestowano dwa algorytmy sterowania temperaturą w drukarce 3D.
-
Modalne grafy wiązań - podejście wykorzystujące metodę transmitancji układu o parametrach rozłożonych
PublicationCelem pracy jest zastosowanie metody transmitancji układu o parametrach rozłożonych do konstruowania modalnych grafów wiązań. Grafy takie wykorzystuje się w modelowaniu układów zawierających jednowymiarowe podukłady o parametrach rozłożonych. W wyniku zaproponowanego podejścia uzyskuje się dalsze zwiększenie dokładności otrzymywanych modeli.
-
Nieliniowy dynamiczny model instalacji katalitycznego odtleniania wody
PublicationInstalacja katalitycznego odtleniania wody służy do redukcji stężenia tlenu rozpuszczonego w wodzie zasilającej obieg ciepłowniczy. W artykule opisano przykładową instalację tego rodzaju. Analiza procesów w niej zachodzących pozwoliła zaproponować metodykę budowy i strukturę modelu. Ze względu na różne skale czasowe dynamiki procesów zachodzących w instalacji i jej poszczególnych elementach, zaproponowano model w części statyczny,...
-
Application of the distributed transfer function method and the rigid finite element method for modelling of 2-D and 3-D systems
PublicationIn the paper application of the Distributed Transfer Function Method and the Rigid Finite Element Method for modelling of 2-D and 3-D systems is presented. In this method an elastic body is divided into 1-D distributed parameter elements (strips or prisms). The whole body (divided into strips or prism) is described by a set of coupled partial differential equations. Solving this equations in the state space form it is possible...
-
Obciążenia długiego, wiotkiego pręta przenoszonego przez układ robotów
PublicationPraca prezentuje badania nad układami nad mobilnymi dynamicznie. Opisano współpracę układu dwóch robotów przenoszących wspólny, długi i wiotki ładunek. Za modelowane roboty to urządzenia pracujące autonomicznie (o niewielkich możliwościach wymiany informacji). Po uchwyceniu wspólnego ładunku, w układzie pojawiają się więzy. Pomimo pojawiających się powiązań mechanicznych, układy sterowania robotów pozostają niepowiązane. Powstały...
-
Analiza symulacyjna zmodyfikowanego modelu układu napędowego samochodu z silnikiem spalinowym
PublicationModelowanie pojazdów samochodowych jest istotne w działalności koncernów samochodowych, ponieważ pozwala na szybkie projektowanie, testowanie i wdrażanie nowych modeli pojazdów na bardzo konkurencyjnym rynku motoryzacyjnym. W artykule przedstawiono budowę układu napędowego samochodu osobowego marki Golf III. Następnie dokonano modyfikacji modelu matematycznego na podstawie fizyki poruszania się pojazdu, zaimplementowano go w środowisku...
-
Projekt i wykonanie zdalnie sterowanego inspekcyjnego robota podwodnego
PublicationArtykuł dotyczy zagadnień związanych z projektowaniem i wykonaniem zdalnie sterowanego inspekcyjnego robota podwodnego. Przedstawiony został proces projektowania kadłuba robota oraz dobór części elektronicznej, a także zaimplementowane algorytmy sterowania i sposób komunikacji dedykowanej aplikacji z robotem. Na koniec przedstawiono wyniki badań testowych.
-
Analiza dokładności formuł do wyznaczania powierzchni ciała człowieka
PublicationPowierzchnia ciała człowieka (body surface area, BSA) jest wskaźnikiem o szerokim spektrum zastosowań w lecznictwie medycznym (m.in. w chemioterapii, transplantologii oraz toksykologii). Każdy z istniejących wzorów do wyznaczania wartości BSA charakteryzuje się pewnym (lepszym bądź gorszym) współczynnikiem zgodności pomiędzy wartością obliczoną, a wartością dokładną – uzyskaną na podstawie pomiaru skanerem 3D. Współczynnik ten...
-
Komputerowo wspomagana klasyfikacja wybranych sygnałów elektromiografii powierzchniowej
PublicationWykorzystywanie sygnałów elektromiografii powierzchniowej (ang. Surface Electromyography, SEMG) w procesach sterowania systemami rehabilitacyjnymi stanowi obecnie standardową procedurę. Popularność SEMG wynika z nieinwazyjności metody oraz możliwości szybkiej i precyzyjnej identyfikacji funkcji mięśniowej. W przypadku osób małoletnich proces klasyfikacji sygnałów jest utrudniony ze względu na mniejsze rozmiary i wyższą dynamikę...
-
Wpływ miejsca uderzenia w stalową barierę ochronną oraz uwarstwienia gruntu na wartość parametru ASI podczas testu TB11
PublicationBariery stalowe są najczęściej stosowanym rodzajem barier ochronnych. Ich podstawowym zadaniem jest zapobieganie zjechaniu pojazdu z drogi w miejscach szczególnie niebezpiecznych. Bariery stosowane na europejskich drogach muszą spełniać wymagania norm EN 1317. Jednym z najważniejszych parametrów pozwalających klasyfikować bariery ochronne pod kątem zapewnienia stopnia bezpieczeństwa w trakcie incydentu jest wskaźnik intensywności...
-
Podstawy baz danych (2324)
e-Learning CoursesPodstawowe pojęcia - dane, baza danych, model danych. Modele danych - płaski, hierarchiczny, sieciowy, relacyjny, obiektowy, język SQL na przykładzie PostgreSQL. Bazy obiektowo relacyjne, bazy noSQL, Zasady i techniki tworzenia aplikacji korzystających z baz danych
-
Bazy danych w zastosowaniach (2324)
e-Learning CoursesPodstawowe pojęcia - dane, baza danych, model danych. Modele danych - płaski, hierarchiczny, sieciowy, relacyjny, obiektowy, język SQL na przykładzie PostgreSQL. Bazy obiektowo relacyjne, bazy noSQL, Zasady i techniki tworzenia aplikacji korzystających z baz danych
-
Bond-graphs based modelling of hybrid energy systems with permanent magnet brushless machines
PublicationW referacie przedstawiono metodę grafów wiązań (GW) w zastosowaniu do modelowania hybrydowych systemów energetycznych z bezszczotkowymi maszynami elektrycznymi o magnesach trwałych. W części pierwszej referatu omówiono ogólne formalizm GW. Następnie przedstawiono kolejno: ogólną strukturę modelu hybrydowego systemu energetycznego w ujęciu GW; założenia modelowania maszyn elektrycznych w ujęciu GW, model silnika bezszczotkowego...
-
Bond-graphs based modelling of hybrid energy systems with permanent magnet brushless machines
PublicationW referacie przedstawiono metodę grafów wiązań (GW) w zastosowaniu do modelowania hybrydowych systemów energetycznych z bezszczotkowymi maszynami elektrycznymi o magnesach trwałych. W części pierwszej referatu omówiono ogólne formalizm GW. Następnie przedstawiono kolejno: ogólną strukturę modelu hybrydowego systemu energetycznego w ujęciu GW; założenia modelowania maszyn elektrycznych w ujęciu GW, model silnika bezszczotkowego...
-
Joanna Raczek dr inż.
PeopleEmployment 2003 -- 2019: Faculty of Applied Physics and Mathematics, Gdańsk University of Technology. 2019 - present: Faculty of Electronic, Informatics and Telecominications, Gdańsk University of Technology. Education May 2007: Doctor of Philosophy in Mathematics, University of Gdańsk. Doctoral dissertation: "Paired domination and doubly domination in graphs". Supervisor: dr hab. Jerzy Topp. 2000 -- 2004 Bachelor of Science...
-
Model of identification of events and accident scenarios for a method of risk and safety assessment of ships in damaged conditions
PublicationW pracy opisano podstawowe problemy związane z identyfikacją zdarzeń i scenariuszy wypadku oraz modelowaniem ryzyka dla alternatywnej metody oceny bezpieczeństwa statków w stanie uszkodzonym. Zastosowano podejście do bezpieczeństwa statków oparte na ocenie zachowania się statku i ocenie ryzyka wypadku. Wskazano możliwości zastosowania modelowania do analizy bezpieczeństwa statków na etapie projektowania, w czasie eksploatacji i...
-
Glucosamine-6-phosphate synthase,a novel target for antifungalagents.Molecular modelling studies in drug design
PublicationPraca dotyczy modelowania zarówno samych inhibitorów syntazy glukozamino-6-fosforanu jak i ich oddziaływania z obydwiema domenami tego enzymu. Enzym syntaza glukozamino-6-fosforanu został zaproponowany jako nowy cel molekularny w chemoterapii infekcji grzybowych. Zaprojektowano i zsyntezowano szereg inhibitorów tego enzymu - potencjalnych nowych leków przeciwgrzybowych. Dzięki modelowaniu molekularnemu udało się wyjaśnić mechanizm...
-
Reduction of vibration level by the spindle speed optimisation during ball end milling of flexible details
PublicationPraca dotyczy nadzorowania drgań podczas skrawania przedmiotów podatnych frezem kulistym. Przedsatwiono wspomaganą komputerowo procedurę nadzorowania z optymalizacją prędkości obrotowej narzędzia. Przy modelowaniu wykorzystano niestacjonarny model obliczeniowy. Rezultatem modelowania jest układ hybrydowy, w którym oddzielono podukłady: modalny, łączący i strukturalny. Metoda wymaga identyfikacji częstości własnych co może być wykonane...
-
Modelowanie ryzyka w ruchu drogowym szeregami czasowymi.**2003, 142 s. 48rys. bibliogr. 99 poz. maszyn. Rozprawa doktorska /17.12.2003/. P. Gdań., Wydz. Inż. Ląd. Promotor: prof. dr. hab. inż. Ryszard Krystek.
PublicationW pracy przedstawiono metodę modelowania wielkości ryzyka w ruchu drogowym z wykorzystaniem teorii szeregów czasowych, umożliwiającą wykrywanie i interpretację zmian poziomu bezpieczeństwa ruchu drogowego oraz wnioskowanie o przyszłych tendencjach tych zmian. Na jej podstawie zbudowano modele, dzięki którym możliwe było określenie związku pomiędzy poziomem bezpieczeństwa ruchu drogowego w Polsce, mierzonym liczbą śmiertelnych ofiar...
-
Programowanie Obiektowe - 2023
e-Learning Courses -
Programowanie Obiektowe - 2024
e-Learning Courses -
Jan Kozicki dr hab. inż. arch.
PeopleIn year 2002 after obtaining master's degree in construction was employed on Faculty of Civil and Environmental Engineering. In 2004 obtained master's degree in architecture on Faculty of Architecture focusing on a research outpost on Mars. Defended PhD in year 2007 in the field of numerical modeling. In 2013 obtained Licentiate degree in theoretical physics on University of Gdańsk. In year 2014 obtained habilitation in technical...
-
Ekspertyza techniczna dotycząca stanu i możliwości zabezpieczenia obiektów Oddziału Neutralizacji Ścieków Sanitarnych i Przemysłowych na terenie Wytwórni Sprzętu Komunikacyjnego w Kaliszu.
Publication -
Postępy Akustyki // Advances in Acoustics rozdział: Doskonalenie metod detekcji i śledzenia ruchu obiektów podwodnych pasywnym sonarem dalekiego zasięgu z holowaną liniową anteną
PublicationDalekosiężne pasywne sonary z długimi holowanymi antenami są obecnie najlepszymi systemami do wykrywania obecności i określania namiarów na współczesne, ciche okręty podwodne. Dlatego są stosowane zarówno na dużych okrętach nawodnych jak i podwodnych mimo niewygód przy ich rozwijaniu, holowaniu i zwijaniu a także mimo zawiłości oraz niejednoznaczności wskazań (tylko namiary na cel - bez rozróżnienia lewej i prawej burty oraz brak...
-
Opinia geotechniczna dotycząca projektu budowlanego Ocena rozwiązań konstrukcyjnych elementów posadowienia obiektów inżynierskich w ciągu drogi ekspresowej S7 na odcinku Koszwały – Kazimierzowo
PublicationPrzedmiotem opracowania jest ocena rozwiązań posadowienia obiektów inżynierskich w ciągu drogi ekspresowej S7 na odcinku Koszwały – Kazimierzowo, przedstawionych przez Transprojekt Gdański Sp. z o.o., ul. Partyzantów 72A, 80-254 Gdańsk. Weryfikacja obejmuje: Zadanie 1: Koszwały– Nowy Dwór Gdański; Zadanie 2: Nowy Dwór Gdański – Kazimierzowo
-
Droga ekspresowa S7 Koszwały - Kazimierzowo Ocena rozwiązań konstrukcyjnych elementów posadowienia obiektów inżynierskich w ciągu drogi ekspresowej S7 na odcinku Koszwały – Kazimierzowo.
PublicationPrzedmiotem opracowania jest ocena rozwiązań posadowienia obiektów inżynierskich w ciągu drogi ekspresowej S7 na odcinku Koszwały – Kazimierzowo, przedstawionych przez Transprojekt Gdański Sp. z o.o., ul. Partyzantów 72A, 80-254 Gdańsk. Weryfikacja obejmuje: 1. MA-01 – Most autostradowy 2. MA-19 – Most autostradowy 3. WA-16 – Wiadukt 4. WD-18 – Wiadukt 5. WD-24 – Wiadukt
-
Ryszard Katulski prof. dr hab. inż.
People -
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...
-
Accidental wow evaluation based on sinusoidal modeling and neural nets prediction
PublicationReferat przedstawia opis algorytmu do określenia charakterystyki zniekształcenia kołysania dźwięku. Prezentowane podejście wykorzystuje sinusoidalną analizę dźwięku bazującą zarówno na amplitudowym jak i fazowym widmie sygnału fonicznego. Trajektorie poszczególnych składowych tonalnych, obrazujące zniekształcenie kołysania, określane są na podstawie analizy ich chwilowych amplitud, częstotliwości i faz. Dodatkowo referat przedstawia...
-
Modelowanie właściwości termicznych tkanek żywych dla potrzeb termografii dynamicznej.**2003, 134 s. 115 rys. 40 tab. bibliogr. 138 poz. maszyn. Rozprawa doktorska /14.10.2003./ Wydz. ETI Promotor: prof. dr hab. inż. A. Nowakowski
PublicationCelem rozprawy jest opracowanie nowych metod diagnostyki obrazowej, nieinwa-zyjnej w wybranych aplikacjach medycznych, takich jak: diagnostyka i klasy-fikacja oparzeń, kardiochirurgia, diagnostyka nowotworów piersi. Metoda ba-zuje na analizie stanów przejściowych rozkładu temperatury na powierzchnitkanki po zadziałaniu zewnętrznego źródła pobudzenia termicznego. Estymowaneparametry zastępczego modelu termicznego są skorelowane...
-
Modelling of wave propagation in composite plates using the time domain spectral element method
PublicationW pracy przedstawiono wyniki obliczeń propagacji fali sprężystej w płycie kompozytowej modelowanej z wykorzystaniem czasowego sformułowania metody elementów spektralnych
-
FE-modeling of shear resistance degradation in granular materials during cyclic shearing under CNS condition
PublicationW artykule przedstawiono wyniki numerycznej analizy degradacji wytrzymałości na ścinanie w materiałach granulowanych podczas cyklicznego ścinania z warunkiem stałej sztywności normalnej. Obliczenia wykonano przy zastosowaniu metody elementów skończonych i mikropolarnego modelu hipoplastycznego.
-
Modelling of strain localization in quasi-brittle materials with coupled elasto-plastic-damage model
PublicationW artykule przedstawiono wyniki numerycznej dla zginania belki betonowej przy zastosowaniu połączonego modelu sprężysto-plastycznego z degradacja sztywności. Do opisu rys, model rozszerzono o nielokalność.
-
Application of case based reasoning to hybrid expert system for electronic filter design
PublicationPrzedstawiono koncepcję i przykład praktycznej realizacji obiektowo zorientowanego hybrydowego systemu ekspertowego wykorzystującego rozumowanie sytuacyjne. System wykorzystuje algorytmy najbliższego sąsiada i sztuczne sieci neuronowe. System został przetestowany jako klasyfikator decyzyjny w projektowaniu filtrów elektronicznych. W budowie systemu został wykorzystany obiektowy system CLIPS, rozszerzony o wiele dodatkowych funkcji...
-
Rafał Ossowski dr inż.
PeopleRafał Ossowski (born June 8th, 1973 in Chojnice) – expert in soil mechanics and geotechnics, mainly in field of numerical modeling and research on anthropogenic soils. Author and coauthor of publications on numerical modeling in soil mechanics, field soil investigation and application of anthropogenic soils in context of so-called "green geotechnics". In 1992–1997 he studied at the Faculty of Hydrotechnics GUT (renamed: Faculty...
-
OF-FEMEA: an approach to safety analysis of object oriented software intensive systems.
PublicationArtykuł przedstawia rozszerzenie metody FMEA znanej z jej zastosowań w stosunku do systemów związanych z bezpieczeństwem, w sposób umożliwiający jej stosowanie do systemów zawierających oprogramowanie i budowanych zgodnie z podejściem obiektowym. Punktem wyjścia dla metody są modele współpracy wyrażone w notacji UML. Komponenty systemu są modelowane z zastosowaniem notacji formalnej CSP. Metoda wspomaga systematyczną identyfikacje...
-
Jarosław Górski prof. dr hab. inż.
People