Filters
total: 5419
filtered: 4200
-
Catalog
- Publications 4200 available results
- Journals 4 available results
- People 173 available results
- Inventions 6 available results
- Projects 48 available results
- Laboratories 2 available results
- Research Teams 20 available results
- e-Learning Courses 925 available results
- Events 30 available results
- Open Research Data 11 available results
Chosen catalog filters
displaying 1000 best results Help
Search results for: metody modelowania systemow
-
Physical and numerical modelling of flow pattern and combustion process in pulverized fuel fired boiler.
PublicationW pracy przedstawiono źródła powstawania toksycznych związków podczas procesu spalania, metody ich redukcji. Do tego zadania wykorzystano eksperymentalne modelowanie fizyczne i uzupełniono je modelowaniem numerycznym. Obie metody, techniki modelowania miały na celu optymalizację procesu spalania.Wyniki obliczeń numerycznych porównano z pomiarami.
-
Numerical simulation of energy buoy motion in wave
PublicationW pracy przedstawiono opis numerycznej metody modelowania ruchu boi energetycznej na fali. Wyniki obliczeń porównano z wynikami otrzymanymi z badań modelowych przeprowadzonych w basenie hydromechanicznym.
-
Zastosowanie szeregów czasowych do analiz bezpieczeństwa ruchu drogowego
PublicationPrzykład metody modelowania i prognozowania zmian poziomu bezpieczeństwa ruchu drogowego w warunkach polskich. Określenie wielkości wpływu wybranych czynników na liczbę śmiertelnych ofiar wypadków drogowych w Polsce.
-
Analiza propagacji sygnałów cyfrowych w koplanarnych liniach transmisyjnych.
PublicationW pracy przedstawiono wyniki modelowania numerycznego zjawiska przesłuchu bliskiego i dalekiego końca w strukturze sprzężonych linii koplanarnych z uwzględnieniem wielorodzajowej propagacji fali elektromagnetycznej. Algorytm oparto na wykorzystaniu metody przestrzeni widmowej oraz transformacji Fouriera pomiędzy dzienią czasu i częstotliwości. Poprawność modelowania potwierdzono eksperymentalnie poprzez pomiar napięć przesłuchu...
-
Modelowanie układów napędu elektrycznego metodą grafów wiązań
PublicationW pracy przedstawiono wybrane elementy metody grafów wiązań w zastosowaniu do modelowania i symulacji dynamiki układów napędu elektrycznego (UNE). Przykładowe badania symulacyjne wykonano z zastosowaniem programu 20-sim. Celem pracy jest także popularyzacja metody grafów wiązań wśród inżynierów elektryków zajmujących się UNE.
-
Porównanie metody DSC do badania stabilności termooksydatywnej triacylogliceroli strukturyzowanych, otrzymanych w wyniku enzymatycznego przeestryfikowania tłuszczu mlecznego lub jego frakcji olejem słonecznikowym.
PublicationBadano stabilność oksydatywną produktów enzymatycznego przeestryfikowania tłuszczu mlecznego i jego frakcji olejem słonecznikowym. Katalizatorem reakcji był Lipozyme RM IM. Mieszaniny wyjściowe i produkty reakcji rozdzielano metodą chromatografii kolumnowej. W wyizolowanych TAG oznaczano stabilność oksydatywną metodą DSC. Stwierdzono, że strukturyzowane TAG charakteryzowały się gorszą stabilnością niż TAG mieszanin wyjściowych....
-
Wpływ produkcji butelek z tworzyw sztucznych na środowisko naturalne. Cz. I. Zastosowanie metody oceny ReCiPe 2016 w celu identyfikacji problemów środowiskowych
PublicationDokonano oceny wpływu opakowań na środowisko naturalne. Głównym celem było przeprowadzenie analizy cyklu życia (LCA) butelki do napojów wykonanej z poli(tereftalanu etylenu) (PET). Za jednostkę funkcjonalną przyjęto łącznie 1000 szt. butelek PET o pojemności 1 L. Granica przyjętego systemu obejmowała kroki od momentu dostarczenia preform do zakładu produkcyjnego aż do ich prawidłowego ukształtowania w procesie produkcyjnym. Z systemu...
-
The role and the place of method validation in the Quality Assurance and Quality Control (QA/QC) System
PublicationOznaczanie analitów na coraz niższych poziomach stężeń w próbkach charakteryzujących się coraz bardziej złożonym składem matrycy to jeden z głównych kierunków rozwojowych analityki chemicznej. Jest to zadanie niezwykle trudne i skomplikowane, w związku z czym stanowi wielkie wyzwanie dla analityków i wymaga zwrócenia uwagi na problem kontroli i zapewnienia jakości uzyskiwanych wyników (ang. Quality Assurance/Quality Control - QA/QC).W...
-
Bezkontaktowe, wielopasmowe pomiary emisyjności
PublicationW pracy zaproponowano i opisano wielopasmową pasywną metodę do pomiaru emisyjności obiektu. Omówiono inne metody pomiaru emisyjności oraz przeprowadzono analizę systemu wielopasmowego. Wyniki modelowania umożliwiają ocenę dokładności projektowanego systemu.
-
Concept of building knowledge based systems applied in software project management.
PublicationW artykule przedstawiono koncepcję budowy systemów opartych na wiedzy. Koncepcja ta bazuje na wykorzystaniu teorii zbiorów rozmytych oraz metodach ustawicznego modelowania. W artykule wskazano na metody strojenia i adaptacji tych modeli
-
On FE modelling of fully saturated soils
PublicationPrzedstawiono podstawy modelowania gruntów nasyconych w ramach metody elementów skończonych. Przedstawiono szczegółowo podstawowe równania różniczkowe problemu oraz ich słabą formę potrzebną w dyskretyzacji w metodzie elementów skończonych. Porównano dwie podstawowe metody formułowania elementów skończonych: uproszczoną u-p oraz pełną u-p-w. Omówiono podstawowe różnice i ograniczenia metody uproszczonej. Artykuł w swej rozszerzonej...
-
Ocena efektywności systemu pomocy doraźnej i ratownictwa medycznego w Polsce z wykorzystaniem DEA
PublicationCelem artykułu jest ocena efektywności funkcjonowania systemu pomocy doraźnej i ratownictwa medycznego w 16 województwach Polski, w latach 2010-2012. Wykorzystano dane pochodzące z Głównego Urzędu Statystycznego oraz Narodowego Funduszu Zdrowia. Wskazano potencjalne przyczyny nieefektywności. Uzyskane wyniki potwierdzają przydatność metody DEA do analizy efektywności usług medycznych.
-
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...
-
Modelowanie wybranych konstrukcji przetworników pomiarowych interferometrycznych czujników ciśnienia
PublicationW komunikacie przedstawiono wyniki modelowania wybranych konstrukcji membrany przeprowadzonego za pomocą metody elementów skończonych. Zaprezentowano zależność uzyskiwanych charakterystyk od doboru materiału, wymiarów i kształtu membrany. Przedstawiono kierunki dalszych prac nad konstrukcją omawianego czujnika.
-
Modelowanie silnika bezszczotkowego o magnesach trwałych w ujęciu grafów wiązań
PublicationCelem referatu jest przedstawienie modelu silnika bezszczotkowego o magnesach trwałych (SBMT) w ujęciu grafów wiązań. Omówiono ogólne zasady metody modelowania w ujęciu grafów wiązań. Model silnika opracowano z zastosowaniem edytora symulatora 20-sim
-
Speech codec enhancements utilizing time compression and perceptual coding
PublicationA method for encoding wideband speech signal employing standardized narrowband speech codecs is presented as well as experimental results concerning detection of tonal spectral components. The speech signal sampled with a higher sampling rate than it is suitable for narrowband coding algorithm is compressed in order to decrease the amount of samples. Next, the time-compressed representation of a signal is encoded using a narrowband...
-
Finite element method (FEM) implementation in some chosen areas in dental tytanium-ceramic crown design
PublicationAnaliza rozkładu naprężeń wykazała, że szczególnie duże spiętrzenia naprężeń powstają w częściach przyszyjkowych tytanowo-ceramicznej korony stomatologicznej. W przyszyjkowej części modelu występują największe naprężenia rozciągające, szczególnie niebezpieczne dla ceramiki nieodpornej na tego typu obciążenia. Mogą one stanowić przyczynę spękania i odprysków w części przyszyjkowej korony. Wyniki symulacji komputerowej metodą MES...
-
Determination of heat transfer coefficient in evaporator of the organic Rankine cycle using the Wilson method.
PublicationW pracy zastosowano metodę Wilsona do wyznaczania współczynnika przejmowania ciepła. Przedmiotem rozważań jest płytowy wymiennik ciepła pracujący jako parownik w laboratoryjnym stanowisku realizującym obieg ORC. Wykorzystana metoda jest metodą wydajną w przypadku wymienników ciepła o złożonej geometrii i dużej liczbie kanałów, dla których pomiar temperatury ścianki jest niemożliwy, a przez to określenie współczynników przejmowania...
-
Structure of liquid gold from tight-binding driven molecular-dynamics
PublicationPraca przedstawia wyniki symulacji ciekłego złota w nadkomórce periodycznej przy użyciu stworzonego przez autorów programu komputerowego, za pomocą połączonych metod dynamiki molekularnej (MD) i ciasnego wiązania (TB). Omówiono strukturę tak symulowanej cieczy, porównując ją z dostępnymi danymi doświadczalnymi oraz wynikami innych symulacji, pod kątem radialnej i kątowej funkcji rozkładu i elektronowej gęstości stanów.A tight-binding...
-
Development of linear projecting in studies of non-linear flow. Acoustic heating induced by non-periodic sound
PublicationRównanie bilansu energii rozkłada się na sumę dwóch równań, opisujących dynamikę fali akustycznej i wywołanego przez nią ogrzewania. Nowe równanie dynamiczne stosowane jest dla opisu dźwięku nieokresowego zarówno jak okresowego. Rozpatruje się geometrię wiązkową. Omówiane są poszczególne udziały przewodnictwa cieplnego i lepkości w ogrzewaniu akustycznym. Równania stanu ośrodka propagacji są uwzględniane w najbardziej ogólnej postaci.
-
Model of speed-varing rotor for mechatronic systems analysis and design
PublicationW artykule przedstawiono sposób modelowania złożonych układów mechatronicznych w oparciu o metodę grafów wiązań. Celem zilustrowania metody posłużono się przykładem liczbowym, w którym rozważano wirnik obracający się ze zmienną prędkością kątową. Prezentowana metodyka doskonale nadaje się do modelowania układów o zróżnicowanej naturze fizycznej. Otrzymany model ma charakter obiektu o pewnej liczbie wejść i wyjść, który można w...
-
Chemometryczne podejście do optymalizacji dyspersyjnej mikroekstrakcji w układzie ciecz-ciecz (DLLME), jako metody przygotowania próbek do rozdzielania i oznaczania krezoli w ściekach rafineryjnych
PublicationW pracy przedstawiono procedurę optymalizacji dyspersyjnej mikroekstrakcji w układzie ciecz-ciecz (DLLME), z zastosowaniem frakcyjnych planów czynnikowych tj. planu Placketta-Burman’a oraz centralnego planu kompozycyjnego. Zdefiniowano parametry mające istotny wpływ na efektywność ekstrakcji krezoli i dla nich przeprowadzono procedurę optymalizacyjną, w wyniku której wyznaczono wartości optymalne parametrów w tym pH 6 oraz objętość...
-
Projektowanie układów sterowania predykcyjnego obiektami z czasem ciągłym z uwzględnieniem niepewności modelowania.**2002, 166 s. 72 rys. 15 tab. bib- liogr. 79 poz. maszyn. Rozprawa doktorska /16.12.2002/ WETI PG. Promotor: dr hab. inż. Z. Kowalczuk, prof. nadzw. PG.
PublicationPrzedmiotem pracy jest uogólniony algorytm sterowania predykcyjnego w czasieciągłym CGPC, przeznaczony do sterowania obiektami ciągłymi o dowolnym cha-rakterze ze względu na stabilność i minmalnofazowość. Przedstawione jestkompletne wyprowadzenie przepisu na regulator, zaprezentowany jest sposóbstrojenia związany z mechanizmem predykcji i polegający na rozwinięciu po-czątkowego fragmentu odpowiedzi modelu obiektu w szereg...
-
O projektowaniu konstrukcji budowlanych zorientowanym na cykl życiowy,
PublicationArtykuł nawiązuje do problematyki cyklu życiowego i rozwoju zrównoważonego, która była przedmiotem konferencji w Ruhr-Universitat Bochum (Niemcy). W szczególności rozważono sprawy modelowania efektów pojawiających się w życiu konstrukcji, metody analizy konstrukcji i przyszłe strategie projektowania.
-
Book review: Simulation-Driven Design Optimisation and Modelling for Microwave Engineering
PublicationCelem książki jest przedstawienie aktualnego stanu badań dotyczących projektowania układów mikrofalowych poprzez modelowanie i optymalizacje wspomagane symulacjami elektromagnetycznymi. Grupa międzynarodowych ekspertów zajmujących się rożnymi aspektami komputerowo wspomaganego projektowania układów mikrofalowych, podsumowuje i dokonuje przeglądu ostatnich osiągnięć w tej dziedzinie oraz przedstawia szereg praktycznych zastosowań....
-
Modelowanie z wykorzystaniem pakietu symulacyjnego AweSim.
PublicationZaprezentowano możliwości wykorzystania pakietu AweSim dla modelowania procesów o charakterze losowym oraz stochastycznym. Szczegółowo opisano sposoby definiowania procesów oraz ich parametrów, a następnie przedstawiono metody komponowania scenariusza zachowań tych procesów w całościowym ujęciu systemowym. Zwrócono uwagę na metodologię opisywania pojedyńczego procesu w aspekcie konstrukcji całości systemu. Zrealizowano praktyczny...
-
MODELOWANIE TURBINY WIATROWEJ Z DWOMA PRZECIWBIEŻNIE OBRACAJĄCYMI SIĘ WIRNIKAMI
PublicationW artykule przedstawiono sposoby modelowania dwuwirnikowej turbiny wiatrowej z wykorzystaniem technik Obliczeniowej Mechaniki Płynów. Omówiono uproszczone metody modelowania Actuator Disc i Actuator Line Method oraz aspekty związane z dokładnym odwzorowaniem turbiny na siatce obliczeniowej. Zaprezentowano przykładowe wyniki obliczeń turbiny dwuwirnikowej złożonej z wirników NREL o mocy nominalnej 5 MW każdy. Do wykonania badań...
-
Analiza zróżnicowania przestrzennego cen paliw
PublicationW artykule analizowano zróżnicowanie przestrzenne cen paliw według asortymentu. Do badania wykorzystano analizę wariancji i metody analizy konwergencji cen. Przeprowadzona analiza wykazała,że istnieje zróżnicowanie cen paliw w przekroju województw, ale jest ono statystycznie nieistotne. Zbadano zatem cenową integrację rynków przestrzennych w celu potwierdzenia działania prawa jednej ceny. Do badania integracji rynków wykorzystano...
-
Modeling of substrate noise block properties for early rediction.
PublicationZaproponowano nowe podejscie do modelowania zakłóceń podłozowych we wczesnym etapie projektowania systemów na wspólnym podłożu krzemowym. Modelowanie zakłóceń oparto na założeniu, że głównym źródłem zakłóceń podłożowych jest sieć zasilająca. W oparciu o przeprowadzone symulacjie wykazano słusznosć takiej metody.
-
Dirichlet-to-Neumann and Neumann-to-Dirichlet embedding methods for bound states of the Dirac equation
PublicationZaprezentowano uogólnienie formalizmu operatorów Dirichleta-Neumanna (DtN) i Neumanna-Dirichleta (NtD) na przypadek równania Diraca. Przedstawiono zastosowanie tego formalizmu do znajdowania poziomów energetycznych cząstki Diraca związanej w potencjale.
-
Static analysis of grids assembled with thin-walled beams of the open cross-section
PublicationPraca dotyczny analizy statycznej rusztów zbudowanych z prętów cienkościennych. Przedstawiono w niej koncepcję metody modelowania konstrukcji dźwigarów cienkościennych i rusztów z wykorzystaniem superelementów w połączeniu z klasyczną teorią belek cienkościennych o przekroju nieodkształcalnym. Zamieszczono wyniki przeprowadzonej eksperymentalnej weryfikacji badań teoretycznych.
-
Wpływ modelu przepływu powietrza w budynku na dokładność prognozowania zapotrzebowania budynku na ciepło: Modelowanie
PublicationW artykule poddano analizie dwie odmienne metody służące do symulacji zużycia energii do ogrzewania i wentylacji w budynku. W tej części artykułu porównuje się pod względem matematycznym, dwa modele energetyczne budynku, wykorzystujące odmienne podejścia do modelowania przepływu powietrza w pomieszczeniach. .
-
Biomechaniczne modele układu mięśniowo-szkieletowego człowieka
PublicationNiniejsza monografia jest poświęcona problemom modelowania zachowania układu mięśniowo-szkieletowego człowieka. Publikacja zawiera opis badań rozwijanych w zakresie: biomechaniki mięśni, biomechaniki zespołów mięśniowych, biomechaniki układu szkieletowego, biomechaniki narządu ruchu, a także zastosowania sygnałów fizjologicznych (elektromiograficznych) oraz projektowania urządzeń do rehabilitacji na podstawie zasad sterowania...
-
Wstępne rozmycie modelu do prognozowania wielkości sprzedaży kredytów hipotecznych w Internecie
PublicationPrzedstawiono metody modelowania rozmytego w odniesieniu do opracowanego wcześniej regułowego modelu służącego do prognozowania sprzedaży kredytów hipotecznych w Internecie na rynku polskim. Prezentowane są: zagadnienia dotyczące rynku, stworzony model regułowy wraz z nanoszonymi zmianami, szczegółowy przebieg procesów fuzyfikacji i interferencj oraz perspektywy rozwoju.
-
Numerical simulation of threshold-crossing problem for random fields of environmental contamination
PublicationCelem artykułu jest analiza szacowania prawdopodobieństwa, że pole losowe zanieczyszczeń nie przekracza pewnej wartości w danej dwuwymiarowej przestrzeni. W analizie wykorzystano metodę modelowania stochastycznego wykorzystując procedurę symulacji warunkowej. Opisany przykład praktycznego zastosowania metody dotyczy pola zanieczyszczenia metalami ciężkimi gruntu w regionie gdańskim.
-
Modelowanie propagacji wiązek optycznych dla potrzeb konstrukcji systemów ramanowskich
PublicationW 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.
-
Some Aspects in the Model of a Wire Antenna by Using the Mathcad Language
PublicationW artykule omówiono możliwość modelowania anteny prętowej przy wykorzystaniu programu Mathcad. Przedstawiono sposób rozwiązywania równania różniczkowo-całkowego na przykładzie równania Pocklingtona. Artykuł zawiera szczegółowy opis modelu, uzyskane wyniki obliczeniowe i wnioski na temat użyteczności metody i problemów związanych ze zbieżnością zastosowanych algorytmów numerycznych.
-
Extended generalized blockmodeling for compound communities and external actors
PublicationNiektóre sieci społeczne wykazują się specyficzną strukturą wewnętrzną. W artykule rozpatrujemy społeczności, które składają się z mniejszych wspólnot. Takie społeczności nazywamy społecznościami złożonymi. Dla takich struktur zastosowalismy metodę ogólnego modelowania blokowego proponując odpowiednie rozrzerzenia dla tej metody. Wzięliśmy pod uwagę specyfikę złożonych struktur społecznych oraz ich relacje z aktorami zewnętrznymi...
-
Comparison of modal and finite-element methods in the vibrational analysis of marine propulsion systems
PublicationW okrętowych układach napędowych występują dwa typy części składowych. Pierwszym z nich są odcinki wałów, które należą do elementów o ciągłym rozkładzie własności masowych, sprężystych i tłumiących oraz elementy o parametrach skupionych, do których można zaliczyć śrubę napędową, tarcze sprzęgieł i inne. W pracy porównano dwie metody modelowania takich układów. Pierwsza z nich związana jest z tworzeniem modeli przybliżonych w oparciu...
-
Comprehensive modeling of interferometric hydrophone with self-supported mandrel transducer.
PublicationW pracy przedstawiono wyniki modelowania nowego typu samonośnego przetwornika dla interferometrycznego hydrofonu światłowodowego. Zaprezentowano wyniki analizy statycznej, modowej i dynamicznej przeprowadzonej przy pomocy Metody Elementów Skończonych. W modelowaniu wykorzyastano techniki opracowane dla laminatów, co pozwoliło na uzyskanie dokładnych wyników przy względnie krótkim czasie obliczeń.
-
Modelowanie ryzyka w ruchu drogowym szeregami czasowymi.
PublicationReferat jest syntezą analiz przeprowadzonych przez autorkę w pracy doktorskiej pod tym samym tytułem zakończonej w 2003 roku. Przedstawia metodę analizowania ryzyka w ruch drogowym bazującą na teorii szeregów czasowych, a także przykład aplikacji tej metody do modelowania zmian liczby zabitych w ruchu drogowym w Polsce.
-
Investigation of edible oils oxidation stability using photooxidation and SPME/GC method for determination of volatile compounds - preliminary investigation
PublicationOdporność olejów roślinnych na oksydatywną degradację prowadzącą do zjełczenia jest istotnym parametrem w ocenie jakości olejów. Artykuł przedstawia nową obiecującą metodę analizy lotnych produktów reakcji utleniania olejów. Jako czynnik przyspieszający proces utleniania olejów zastosowano promieniowanie ultrafioletowe. Badania zostały przeprowadzone przy zastosowaniu mikroekstrakcji do fazy stacjonarnej połaczonej z kapilarną...
-
New methods for assessment and stimulation of non-communicative patients employing advanced multimodal HCI . Nowe metody oceny i stymulacji pacjentów niekomunikatywnych z wykorzystaniem zaawansowanych interfejsów multimodalnych człowiek-komputer
PublicationIn most cases of patients with locomotor system damage it is possible to find a solution to the medical problems originating from the injury. However, it is much more difficult to prevent cognitive and emotional impairments. Therefore, we believe that the technological support of therapists working with such patients on an everyday basis may be essential. We have acquired experience in designing and providing diagnostic and therapeutic...
-
Adaptive Expectation Maximization Smoothing (AEMS) inverse technique forindirect fish target strenght estimation. W: [CD-ROM] Full Papers. 6th ICES Symposium on Acoustics in Fisheries and Aquatic Ecology. Montpellier, 10-14 June 2002. [Montpellier: Ifremer]**2002, [6 s.] 5 rys. bibliogr. 5 poz. Zastosowanie adaptacyjnej metody EMS do pośredniej estymacji siły celu ryb.
PublicationW pracy przedstawiono modyfikację statystycznej metody EMS (ang. Expecta-tion, Maximization, Smoothing) stosowanej w zagadnienia odwrotnych, polega-jącą na iteracyjnym rozwiązaniu równania Fredholma. Pokazano jej zastosowa-nie do pośredniej estymacji siły celu ryb stosowanej dla danych pozyskanychprzez hydroakustyczne systemy jednowiązkowe wykorzystywane w przeszukiwa-niach akustycznych. Wyniki porównano z rezultatami uzyskanymi...
-
Integracyjna metoda konstruowania aplikacji
PublicationZaproponowano metodę wytwarzania oprogramowania IMAC, która może stanowić pewien przełom w inżynierii oprogramowania na miarę jaką stanowiło wprowadzenie języków obiektowych zwłaszcza dla aplikacji rozproszonych do zastosowań biznesowych. W metodzie tej proponuje się ścisłe powiązanie analizy, projektu i implementacji w jednym, spójnym środowisku graficznym i stosowanie wspólnego języka modelowania i implementacji IML. Głównym...
-
Accurate modelling of microwave structures using shape-preserving response prediction
PublicationArtykuł prezentuje metodologię dokładnego modelowania struktur mikrofalowych. Jest to zmodyfikowana wersja techniki opartej na procedurze przewidywania odpowiedzi z zachowaniem kształtu (shape-preserving response prediction, SPRP), która oszacowuje odpowiedź struktury mikrofalowej otrzymanej poprzez kosztowną obliczeniowo symulację elektromagnetyczną za pomocą taniego obliczeniowo modelu tejże struktury. Modyfikacja polega na wykorzystaniu...
-
Application of polarisation-maintaining side-hole fibres do direct force measurement
PublicationW pracy przedstawiono zastosowanie utrzymujących polaryzację światłowodów typu Side Hole do bezpośredniego pomiaru siły. Dla wybranych struktur tych światłowodów wyznaczono, przy pomocy Metody Elementów Skończonych i metody modów sprzężonych, czułość na siłę działającą prostopadle do osi symetrii światłowodu. Określono zależność tej czułości od poszczególnych wymiarów struktur tych światłowodów. Następnie, biorąc pod...
-
Implicit versus explicit finite volume schemes for extreme, free surface water flow modelling.
PublicationPrzedstawiono jeden jawny i trzy niejawne schematy metody objętości skończonych. Porównano własności tych schematów oraz oceniono możliwości ich stosowania do modelowania gwałtownych przepływów w kanałach otwartych. Zaproponowano modyfikację schematu niejawnego. Poprawiony schemat może być stosowany do obliczeń przepływu szybkozmiennego w kanałach otwartych i w sieciach kanalizacyjnych.
-
Approximate methods for functional differential equations
PublicationW pracy przedstawione są dwie klasy przybliżonych metod rozwiązywania równań różniczkowo funkcyjnych ze szczególnym uwzględnieniem równań różniczkowych z opóźnieniem. Do pierwszej klasy należą metody bezpośrednie reprezentowane w przedkładanej rozprawie przez dwukrokowe metody Rungego-Kutty. Należą one do klasy ogólnych metod liniowych rozwiązywania równań różniczkowych. Druga klasę przybliżonych metod rozwiązywania równań różniczkowo...
-
A model-based approach to analysis of authentication protocols.
PublicationW referacie przedstawiono zintegrowane podejście do analizy protokołów uwierzytelniania o nazwie Object-oriented Formal Authentication Protocol Security Analysis Framework (OF-APSAF). Podejście to jest zaprojektowane na bazie sprawdzonej metody formalnej CSP wraz z narzędziami ją wspierającymi: Casper oraz FDR. Jego integralną częścią jest półformalna zorientowana obiektowo technika modelowania protokołów, ich kontekstu oraz wymagań...