Filters
total: 2463
filtered: 1819
-
Catalog
- Publications 1819 available results
- Journals 17 available results
- Conferences 1 available results
- People 133 available results
- Inventions 1 available results
- Projects 32 available results
- Laboratories 4 available results
- Research Teams 22 available results
- e-Learning Courses 378 available results
- Events 15 available results
- Open Research Data 41 available results
Chosen catalog filters
displaying 1000 best results Help
Search results for: MODELOWANIE FUNDAMENTÓW
-
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...
-
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.
-
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...
-
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...
-
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,...
-
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.
-
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...
-
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...
-
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...
-
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...
-
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...
-
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....
-
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.
-
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...
-
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...
-
Posadowienie stadionu piłkarskiego na EURO w Gdańsku-Letnicy
PublicationCharakterystka ogólna stadionu. Koncepcja projektowa i wykonawcza fundamentów. Opis konstrukcji i wykonawstwa fundamentów w postaci stóp ław i płyt fundamentowych
-
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...
-
Rewiev of historical buildings's foundations
PublicationW pracy omówiono sposoby posadowienia obiektów zabytkowych, ze szczególnym uwzględnieniem rodzajów stosowanych w poszczególnych epokach historycznych fundamentów, rozwoju technik fundamentowania oraz problemów związanych z zabezpieczaniem starych fundamentów. Przedstawiono różne rodzaje fundamentów oraz metody ich zabezpieczeń zwracając uwagę na ich wady i zalety. Zagadnienie zilustrowano szeregiem przykładów.
-
Tragfähigkeit von Einzelfundamenten im bewehrten Baugrund - Vorschlag einer Berechnungsmethode
PublicationW artykule dokonano analizy zagadnienia nośności wyciąganych fundamentów stopowych z gruntu zbrojonego prowadzona w ramach pracy badawczej [1]. Krytyczna syntezę stosowanych metod obliczeniowych nośności fundamentów wyciąganych oraz własne badania modelowe [2] w przestrzennym układzie odkształcenia doprowadziły do zaproponowania własnej metody liczenia nośności fundamentów stopowych wyciąganych z gruntu zbrojonego.
-
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...
-
What is important for you makes you think about the pandemic differently: moral foundations, pandemic-related fears and convictions (Lo que cada uno consideramos importante nos hace reflexionar sobre la pandemia de forma distinta: fundamentos morales, temores y convicciones sobre la pandemia)
PublicationBuilding on the Moral Foundations Theory and findings regarding the linkage of values, convictions and beliefs, the aim of the study was to compare people displaying various constellations of moral foundations regarding their tolerance of ambiguity, fear of COVID-19 (FCV), endorsement of COVID-19 conspiracy theories and the extent to which they believed in the effectiveness of five COVID-19 preventive measures. This study was...
-
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
-
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ść.
-
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.
-
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...
-
Współpraca naukowa Katedr Geotechniki Politechniki Śląskiej i Politechniki Gdańskiej w zakresie terenowych i laboratoryjnych badań gruntów
PublicationScharakteryzowano zakres i metodykę terenowych i laboratoryjnych badań parametrów geotechnicznych gruntów niespoistych. Przedstawiono zależności empiryczne między tymi parametrami oraz możliwości wykorzystania tych zależności przy obliczaniu nośności fundamentów bezpośrednich i fundamentów na palach.
-
Approaches to experiment based friction modeling: polynomial approximation versus ann approximation
PublicationBadano warunki (poziom wymuszeń), przy których następowało wzbudzenie drgań mechanicznych przy tarciu ślizgowym konforemnego skojarzenia próbek wykonanych z Al2O3 (płaskie czoło tulei obracającej się względem swojej osi - powierzchnia płaska). Uzyskane dane eksperymentalne wykorzystano następnie do zbudowania modeli - stosując aproksymację wielomianami albo sztuczną siecią neuronową (ANN).
-
On a method of modelling and simulation of vibration surveillance during ball end milling of flexible details
PublicationPraca dotyczy nadzorowania drgań podczas frezowania przedmiotów podatnych smukłym frezem kulistym, z uwzględnieniem zgodności parametrów modelu modalnego. Przeprowadzono analizę dynamiki procesu frezowania. Następnie przedstawiono analizę niestacjonarnego układu drgającego, w którym wyodrębniono podukłady: modalny, strukturalny i łączący. Do minimalizacji poziomu drgań zastosowano dopasowanie prędkości obrotowej wrzeciona do optymalnego...
-
On a method of modelling and simulation of vibration surveillance during ball end milling of flexible details
PublicationPraca dotyczy nadzorowania drgań podczas frezowania przedmiotów podatnych smukłym frezem kulistym, z uwzględnieniem zgodności parametrów modelu modalnego. Przeprowadzono analizę dynamiki procesu frezowania. Następnie przedstawiono analizę niestacjonarnego układu drgającego, w którym wyodrębniono podukłady: modalny, strukturalny i łączący. Do minimalizacji poziomu drgań zastosowano dopasowanie prędkości obrotowej wrzeciona do optymalnego...
-
Interaction of amphotericin B and its selected derivatives with membranes: molecular modeling studies
PublicationJest to praca przeglądowa obejmująca krytyczną analizę danych dotyczących oddziaływania amfoterycyny B (AmB) i jej wybranych, mniej toksycznych pochodnych, z błonami lipidowymi. Amfoterycyna B jest antybiotykiem przeciwgrzybowym ale ze względu na jej toksyczność trwają prace nad modyfikacjami chemicznymi tego związku. Celem molekularnym dla tego antybiotyku jest błona lipidowa i dlatego różnicowe powinowactwo AmB i jej pochodnych...
-
Wykorzystanie platform roboczych w konstrukcjach trwałych na przykładzie podbudowy pod zbiorniki na olej napędowy
PublicationPlatformy robocze są to konstrukcje tymczasowe, które umożliwiają wjazd i pracę ciężkiego sprzętu budowlanego na słabym podłożu. Mogą również pełnić w późniejszym czasie funkcję trwałej podbudowy. W niniejszym artykule opisano przypadek platformy roboczej wykorzystanej przy wykonywaniu kolumn żwirowych KSS pod fundament pierścieniowy zbiorników na olej napędowy. Platforma robocza została wcielona w konstrukcję trwałą jako podbudowa...
-
Wykorzystanie platform roboczych w konstrukcjach trwałych na przykładzie podbudowy pod zbiorniki na olej napędowy
PublicationPlatformy robocze są to konstrukcje tymczasowe, które umożliwiają wjazd i pracę ciężkiego sprzętu budowlanego na słabym podłożu. Mogą również pełnić w późniejszym czasie funkcję trwałej podbudowy. W niniejszym artykule opisano przypadek platformy roboczej wykorzystanej przy wykonywaniu kolumn żwirowych KSS pod fundament pierścieniowy zbiorników na olej napędowy. Platforma robocza została wcielona w konstrukcję trwałą jako podbudowa...
-
Bearing capacity factors of sand assessed by model tests
PublicationPrzedstawiono wyniki własnych badań modelowych fundamentów bezpośrednich posadowionych na trzech rodzajach piasków, wykonane w warunkach płaskiego stanu odkształcenia. Przeanalizowano wpływ tarcia gruntu o ściany boczne stanowiska badawczego, wpływ efektu skali oraz powtarzalności wyników na nośność badanych fundamentów bezpośrednich. Zastosowano specjalną własną metodykę wykonywania badań modelowych eliminującą wymieniony wpływ...
-
A model-based approach to analysis of security protocols - a case study
PublicationArtykuł przedstawia zintegrowane środowisko analizy protokołów bezpieczeństwa. Środowisko zostało oparte o znaną metodę formalną CSP oraz wspierające ją narzędzia: Casper oraz FDR. Integralną częścią opisywanego środowiska jest pół-formalne zorientowane obiektowo podejście do modelowania protokołów kryptograficznych, ich kontekstu aplikacyjnego oraz wymagań bezpieczeństwa. Modelowanie obiektowe zostało oparte o język UML oraz...
-
A Quality Model for UML tools
PublicationJakość narzędzi UML wpływa na efektywność wykonywania zadań związanych z modelowaniem systemów w procesie wytwarzania oprogramowania. Celem badań prezentowanych w tym referacie jest wyodrębnienie kryteriów jakości narzędzi UML. Omówiono rolę narzędzi UML w projekcie informatycznym, a następnie zaprezentowano szereg kryteriów jakości narzędzi UML wraz z aspektami oceny oraz opisem ankiety, która służy do oceny narzędzi względem...
-
FE-modelling of concrete behaviour under mixed mode conditions with non-local and cohesive constitutive models.
PublicationW artykule przedstawiono wyniki symulacji rys zaokrąglonych w elementach betonowych w warunkach mieszanego sposobu obciążenia. Symulacje wykonano przy zastosowaniu modelu rys kohezyjnych i modeli mechaniki ośrodka ciągłego z nielokalnym osłabieniem.. Wyniki symulacji porównano z doświadczeniami.
-
Hard and Soft Modeling Tools and Approaches to Data and Information Management in Real-Life Projects and Systems : special issue editorial
PublicationOmówiono miękkie oraz twarde narzędzia służące do modelowania i symulacji przepływów dużych ilości danych oraz informacji. Przedstawiono mozliwości zastosowania tego typu narzędzi w funkcjonowaniu systemów rzeczywistych.
-
Optymalizacja eksperymentu identyfikującego modele procesów biomedycznych
Publicationksiążka przedstawia wybrane metody modelowania procesów w systemach biomedycznych oraz metody optymalnej identyfikacji modeli. w rozdziale 2 zaprezentowano metodykę modelowania kinetyki substancji. omówiono kompartmentowe modelowanie struktury wewnętrznej systemu oparte na koncepcji zmiennych stanu. w rozdziale 3 przedstawiono zagadnienie optymalizacji eksperymentu biomedycznego ze szczególnym uwzględnieniem optymalizacji sygnału...