Filtry
wszystkich: 1906
-
Katalog
- Publikacje 1355 wyników po odfiltrowaniu
- Czasopisma 1 wyników po odfiltrowaniu
- Osoby 127 wyników po odfiltrowaniu
- Projekty 32 wyników po odfiltrowaniu
- Laboratoria 4 wyników po odfiltrowaniu
- Zespoły Badawcze 21 wyników po odfiltrowaniu
- Kursy Online 345 wyników po odfiltrowaniu
- Wydarzenia 13 wyników po odfiltrowaniu
- Dane Badawcze 8 wyników po odfiltrowaniu
wyświetlamy 1000 najlepszych wyników Pomoc
Wyniki wyszukiwania dla: modelowanie parametryczne
-
Joanna Raczek dr inż.
OsobyWykształcenie 1997 -- 2001 Studia inżynierskie, Wydział Fizyki Technicznej i Matematyki Stosowanej, Politechnika Gdańska. Kierunek: Matematyka, specjalność: Matematyka Stosowana. 2001 -- 2003 Studia magisterskie, Wydział Fizyki Technicznej i Matematyki Stosowanej, Politechnika Gdańska. Kierunek: Matematyka, specjalność: Matematyka Stosowana. 2000 -- 2004 Studia inżynierskie, Wydział Elektroniki, Informatyki i Telekomunikacji,...
-
Sterowanie temperaturą w drukarce 3D
PublikacjaArtykuł 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.
-
Nieliniowy dynamiczny model instalacji katalitycznego odtleniania wody
PublikacjaInstalacja 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,...
-
Analiza dokładności formuł do wyznaczania powierzchni ciała człowieka
PublikacjaPowierzchnia 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
PublikacjaWykorzystywanie 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
PublikacjaBariery 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...
-
Identyfikacja rodzaju nieciagłośi w prętach metodą transformaty falkowej
PublikacjaW 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ń
PublikacjaW 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
PublikacjaW 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
PublikacjaCelem 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...
-
Projekt i wykonanie zdalnie sterowanego inspekcyjnego robota podwodnego
PublikacjaArtykuł 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.
-
Obciążenia długiego, wiotkiego pręta przenoszonego przez układ robotów
PublikacjaPraca 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
PublikacjaBiologiczne 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....
-
Równania więzów pomiędzy układem wieloczłonowym i modelem złożonym z elementów skończonych
PublikacjaW 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
PublikacjaIn 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...
-
Niewspółmierność modalna wywołana dodaniem elementu inercyjno/sprężystego, zastosowana do eliminacji drgań niskiej częstotliwości
PublikacjaW 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ą
PublikacjaPraca 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...
-
Analiza symulacyjna zmodyfikowanego modelu układu napędowego samochodu z silnikiem spalinowym
PublikacjaModelowanie 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...
-
Modalne grafy wiązań - podejście wykorzystujące metodę transmitancji układu o parametrach rozłożonych
PublikacjaCelem 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.
-
Ekonomična efektivnist` teplovoï pompi v sistemi opalennâ = Economical efficiency of heat pump system in heating system
PublikacjaW artykule opisano wynik porównawczych obliczeń kosztów ogrzewania budynku jednorodzinnego. Porównano koszty konwencjonalnego ogrzewania z kotłem olejowym jako źródłem ciepła z kosztami ogrzewania układem hybrydowym, w którym współpracują ze sobą dwa żródła ciepła: konwencjonalny kocioł olejowy i sprężarkowa pompa ciepła. Wykonano studium parametryczne kosztów ogrzewania z wykorzystaniem metody kosztów narastających.
-
Bond-graphs based modelling of hybrid energy systems with permanent magnet brushless machines
PublikacjaW 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
PublikacjaW 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
PublikacjaW 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
PublikacjaPraca 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
PublikacjaPraca 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.
PublikacjaW 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...
-
Results on parametrical robustifiction of CGPC systems.
PublikacjaPrzedmiotem pracy jest stochastyczno-deterministyczny algorytm iteracyjny uodparniający układ sterowania predykcyjnego CGPC na parametryczną niepewność modelu sterowanego obiektu. Niezależnie od wybranej metody projektowania regulatora CGPC, nie ma gwarancji że projektowany regulator utworzy wraz z obiektem odporny układ sterowania.
-
Funcional safety concept for hazardous systems and new challenges
PublikacjaPrzedstawia 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
PublikacjaReferat 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...
-
Jan Kozicki dr hab. inż. arch.
OsobyW roku 2002 po uzyskaniu dyplomu magistra inżyniera w zakresie konstrukcji budowlanych podjął pracę na Wydziale Inżynierii Lądowej i Środowiska PG. W 2004 roku uzyskał dyplom magistra architekta na Wydziale Architektury za projekt stacji badawczej na Marsie. Doktorat obronił w 2007 roku w zakresie modelowania numerycznego w dynamice klasycznej. W 2013 roku uzyskał licencjat z zakresu fizyki teoretycznej na Uniwersytecie Gdańskim....
-
Jarosław Górski prof. dr hab. inż.
Osoby -
Modelling of wave propagation in composite plates using the time domain spectral element method
PublikacjaW 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
PublikacjaW 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
PublikacjaW 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
PublikacjaCelem 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...
-
Michał Szydłowski dr hab. inż.
Osoby -
Bayesian estimation of the parameters in safely and reliability models for the subjective priors.
PublikacjaRozważono problem estymacji nieznanych charakterystyk niezawodnościowych za pomocą nieparametrycznych metod Bayesowskich. W wielu przypadkach opinie ekspertów są jedynym źródłem danych apriorycznych w modelach Bayesowskich. Celem uzyskania subiektywnych prawdopodobieństw apriorycznych zastosowano pewne metody ekspertowe. W oparciu o proces Dirichleta, który jest kluczowym pojęciem w teorii Fergusona, zostały skonstruowane...
-
Mariusz Figurski prof. dr hab. inż.
OsobyDyrektor Centrum Modelowania Meteorologicznego Instytut Meteorologii i Gospodarki Wodnej - Państwowy Instytut Badawczy. Urodził się 27 kwietnia 1964 roku w Łasinie. Egzamin maturalny złożył w 1983 roku po ukończeniu II Liceum Ogólnokształcącego im. Jana III Sobieskiego w Grudziądzu, Studia wyższe w trybie indywidualnym ukończył w 1989 (10.07.1989) na Wydziałach Elektromechanicznym i Inżynierii Lądowej i Geodezji Wojskowej Akademii...
-
Materiały szklane w lekkiej obudowie cz. 2
PublikacjaPrzedstawiono stosowane w lekkich obudowach materiały szklane i kształtowane z nich wyroby. Przegląd kontynuuje rodzaje szkła pełniącego nie tylko rolę płaskiej przegrody z jej najważniejszą cechą, jaką jest przezierność. Opisano budowę szyb złożonych, które zmieniają właściwości szkła z funkcji przezierności w wysoko parametryczną przegrodę budowlaną
-
On a method of modelling and simulation of vibration surveillance during ball end milling of flexible details
PublikacjaPraca 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
PublikacjaPraca 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
PublikacjaJest 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...
-
Approaches to experiment based friction modeling: polynomial approximation versus ann approximation
PublikacjaBadano 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).
-
Intelligent acquisition of audio signals, employing neutral networks and rough set algorithms
PublikacjaAlgorytmy oparte na sztucznych sieciach neuronowych i metodzie zbiorówprzybliżonych zostały zastosowane do lokalizacji sygnałów fonicznych obar-czonych pasożytniczym szumem i rewerberacjami. Informacja o kierunku napły-wania dźwięku była uzyskiwana na wyjściach tych algorytmów na podstawie re-prezentacji parametrycznej. Przedstawiono wyniki eksperymentalne i przepro-wadzono ich dyskusję.
-
Układ elektroniczny stopnia mocy i cyfrowe sterowanie przenośnika wibracyjnego
PublikacjaPrzedstawiono zagadnienie transportu wibracyjnego surowca spożywczego w postaci granulatu w warunkach aseptycznych. Zastosowano analizę modalną i modyfikację parametryczną w celu uzyskania założonych własności dynamicznych panelu transportowego. W rozwiązaniu tym zastosowano układy mechaniczne sterowane mikroprocesorowo umożliwiające utrzymanie właściwych parametrów procesu w układzie sterowania w pętli sprzężenia zwrotnego.
-
Aleksandra Romanowska dr inż.
OsobyPracownik Katedry Inżynierii Drogowej i Transportowej na Wydziale Inżynierii Lądowej i Środowiska Politechniki Gdańskiej. Realizuje prace badawcze z zakresu modelowania ruchu drogowego, bezpieczeństwa ruchu drogowego, funkcjonowania dużych generatorów ruchu w strukturze miast, zachowań i preferencji transportowych społeczności akademickich, planowania zrównoważonej mobilności miejskiej. W 2019 roku uzyskała stopień doktora nauk...
-
Paradygmat parametryczno-algorytmiczny w architekturze
ProjektyProjekt realizowany w Wydział Architektury z dnia 2011-06-02
-
A model-based approach to analysis of security protocols - a case study
PublikacjaArtykuł 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...
-
Józef Kotus dr hab. inż.
Osoby -
Equivalence scales based on stochastic indifference criterion : the case of Poland
PublikacjaArtykuł przedstawia koncepcję stochastycznych skał ekwiwalentności (SES), która bazuje na kryterium stochastycznej indyferencji. SES jest dowolną funkcją, która transformuje rozkład wydatków określonej grupy gospodarstw domowych w taki sposób, że wynikowy rozkład jest stochastycznie indyferentny wobec rozkładu wydatków grupy gospodarstw odniesienia. Kryterium stochastycznej indyferencji jest także wykorzystane dla opracowania metody...