Wyszukiwarka
Filtry
wszystkich: 10328
wybranych: 8863
-
Katalog
- Publikacje 8863 wyników po odfiltrowaniu
- Czasopisma 35 wyników po odfiltrowaniu
- Osoby 326 wyników po odfiltrowaniu
- Wynalazki 8 wyników po odfiltrowaniu
- Projekty 74 wyników po odfiltrowaniu
- Laboratoria 12 wyników po odfiltrowaniu
- Zespoły Badawcze 37 wyników po odfiltrowaniu
- Aparatura Badawcza 3 wyników po odfiltrowaniu
- Kursy Online 853 wyników po odfiltrowaniu
- Wydarzenia 42 wyników po odfiltrowaniu
- Dane Badawcze 75 wyników po odfiltrowaniu
Filtry wybranego katalogu
wyświetlamy 1000 najlepszych wyników Pomoc
Wyniki wyszukiwania dla: analiza algorytmow
-
Kilka uwag o ocenie stateczności zboczy. Część II: Analiza probabilistyczna.
PublikacjaW pracy przedstawiono koncepcję probabilistycznej oceny stateczności zboczy oraz krótko opisano podstawowe metody takiej analizy. Omówiono charakter losowości poszczególnych czynników wpływających na stateczność oraz podstawy matematycznego opisu stochastycznego ośrodka gruntowego. Podejście probabilistyczne zilustrowano na kilku prostych przykładach, wykazując jego praktyczną przydatność do bardziej niezawodnej oceny stateczności...
-
Kilka uwag o ocenie stateczności zboczy. Część I: Analiza deterministyczna.
PublikacjaW pracy przeprowadzono analizę praktycznie stosowanych deterministycznych metod oceny stateczności zboczy. Omówiono podstawowe zagadnienia zarówno ograniczające jak i sprzyjające stosowaniu różnych metod. Rozpatrzono warunki analizy, główne czynniki wpływające na stateczność, najistotniejsze założenia metod obliczeniowych oraz przedstawiono syntezę najczęściej występujących w nich różnego rodzaju błędów.
-
Analiza czasochłonności docierania jednotarczowego powierzchni płaskich elementów ceramicznych - studium przypadku
PublikacjaPrzedstawiono analizę czasochłonności docierania elementów ceramicznych. Badano czasochłonność obróbki na dwóch docierarkach jednotarczowych o znacząco różniących się średnicach tarcz docierających. Porównano czasy jednostkowe docierania elementów płaskich z ceramiki technicznej Al2O3
-
Numeryczna i eksperymentalna analiza zakładkowego połączenia śrubowego poddanego wymuszeniu impulsowemu
PublikacjaPołączenia śrubowe są szeroko rozpowszechnione w budownictwie, głównie dzięki ich wysokiej nośności, trwałości i usprawnieniu montażu. W zależności od typu użytych łączników, sposobu ukształtowania połączenia, czy zastosowania wstępnego sprężenia wpływają one w różnym stopniu na sztywność węzłów i pracę całej konstrukcji. Dotyczy to w szczególności właściwości dynamicznych konstrukcji: częstotliwości i postaci drgań własnych oraz...
-
Analiza porównawcza dostępności do świadczeń opieki zdrowotnej w polskich województwach
PublikacjaIstotnym problemem dla pacjentów jest dostępność do usług zdrowotnych. Celem artykułu jest przedstawienie możliwości zastosowania metody Data Envelopment Analysis (DEA) do oceny poziomu dostępu do trzech wybranych usług medycznych w polskich województwach: hospitalizacji w szpitalach ogólnych, opieki jednego dnia i zabiegów operacyjnych. Nieparametryczna metoda DEA pozwala na oszacowanie względnej efektywności obiektów opisanych...
-
Analiza informacyjności diagnostycznej temperatury spalin wylotowych okrętowego tłokowego silnika spalinowego
PublikacjaW rozprawie doktorskiej zaproponowano metodykę oceny stanu technicznego silnika okrętowego w eksploatacji na podstawie pomiarów szybkozmiennej temperatury spalin wylotowych w miejscu pomiaru standardowego. Metoda ta pozwoliłaby identyfikować znane i rozpoznawalne stany niezdatności eksploatacyjnej elementów konstrukcyjnych silnika okrętowego o ograniczonej podatności kontrolnej. Rozpatrywano następujące układy funkcjonalne silnika:...
-
Analiza porównawcza systemów zarządzania nauczaniem opartych na licencji Open Source
PublikacjaReferat zawiera przegląd najbardziej znanych systemów LMS opartych na licencji Open Source. Systemy przeanalizowano pod względem jakości interfejsu użytkownika, wsparcia dla standardów zdalnego nauczania oraz dostępności w języku polskim. Określono również technologie wykorzystywane do budowy analizowanych systemów.
-
Instalacja i wstępna analiza danych batymetrycznych pochodzących z echosondy wielowiązkowej
PublikacjaW akustycznym telemonitoringu środowiska morskiego stosowane są dwa rodzaje sonarów, a mianowicie: sonary boczne i echosondy wielowiązkowe. Oba systemy dostarczają danych zarówno dla batymetrii, jak i dla akustycznego obrazowania dna morskiego. Echosondy wielowiązkowe są zaawansowanymi technologicznie urządzeniami, które dzięki wielokierunkowej obserwacji szerokokątnej dna, przy jednoczesnym utrzymaniu wysokiej rozdzielczości kątowej,...
-
Analiza sztywności pali w warunkach gruntowych Portu Północnego w Gdańsku
PublikacjaOceniono rzeczywistą sztywność podpór palowych na podstawie próbnych obciążeń pali w warunkach geotechnicznych Portu Północnego. Rozpatrzono stalowe pale rurowe z dnem zamkniętym, z dnem otwartym oraz wielkośrednicowe pale wiercone.
-
Pomiary strumienia gazu ziemnego przepływomierzem termoanemometrycznym, część 1 - analiza teoretyczna.
PublikacjaW dwuczęściowej publikacji opisuje się opracowanie przenośnego kontrolnego układu pomiarowego do sprawdzania gazomierzy w stacjach sieci dystrybucyjnej gazu ziemnego. W pierwszej części omówiono wybraną do realizacji termoanemometryczną metodę pomiarową, podano uogólniony model opisujący działanie przepływomierza wg tej metody, opisano parametry jednego z rozwiązań technicznych takiego przepływomierza oraz zidentyfikowano i zanalizowano...
-
Analiza sygnałów ciągłych i dyskretnych przy użyciu pakietu symulacyjnego SIMULINK
PublikacjaNiniejszy artykuł przybliża możliwości środowiska symulacyjnego SIMULINK do obliczeń naukowo-technicznych i wizualizacji. Dzięki szerokim możliwościom programu użytkownik posiada dużą swobodę konfiguracji układu symulacyjnego. W kontekście symulacji układów energoelektronicznych na szczególną uwagę zasługuje biblioteka SimPowerSystems, której charakterystykę zamieszczono w artykule. Przedstawiono również przykłady badania układów...
-
Analiza chemicznych reakcji oscylacyjnych w łącznej dziedzinie czasu i częstotliwości
Publikacja.
-
Analiza nośności wyboczeniowej cylindrycznego silosu z blachy falistej wzmocnionego słupami
PublikacjaPrzedstawiono wyniki analizy stateczności cylindrycznego silosu wypełnionego materiałem sypkim. Wykonano liniową analizę wyboczeniową i nieliniową analizę statyczną silosu bez imperfekcji i z imperfekcjami geometrycznymi oraz obciążeniowymi z uwzględnieniem naporu materiału sypkiego według Eurokodu 1. Obliczone numerycznie obciążenia wyboczeniowe silosu porównano z obciążeniami dopuszczalnymi według Eurokodu 3.
-
Contactless Hearing Aid for Infants Employing Signal Processing Algorithms. [Bezkontaktowy aparat słuchowy dla niemowląt wykorzystujący algorytmy przetwarzania sygnału]
PublikacjaZaprojektowany bezkontaktowy aparat słuchowy umiejscawiany jest w łóżeczku niemowlęcia. Aparat składający się z matrycy 4 mikrofonów oraz prototypowej karty z procesorem DSP pracuje w polu swobodnym. Przetworzony sygnał mowy emitowany jest z wykorzystaniem miniaturowych głośników. Opracowane algorytmy pozwalają na elminację akustycznych sprzężeń zwrotnych, które mogą wystepować ze względu na niewielką odległość mikrofonów od głośników...
-
Metoda i algorytmy modyfikacji sygnału do celu wspomagania rozumienia mowy przez osoby z pogorszoną rozdzielczością czasową słuchu
PublikacjaPrzedmiotem badań przeprowadzonych w ramach rozprawy są metody modyfikacji czasu trwania sygnału (ang. Time Scale Modification –TSM) mowy operujące w czasie rzeczywistym oraz ocena ich wpływu na rozumienie wypowiedzi przez osoby z pogorszoną rozdzielczością czasową słuchu. Pogorszona rozdzielczość słuchu jest jednym z symptomów związanych z ośrodkowymi zaburzeniami słuchu (ang. Cetnral Auditory Processing Disorder – CAPD). W odróżnieniu...
-
Generowanie początkowych rozwiązań przez algorytm sił wirtualnych w problemach logistycznych: rola wartości parametrów i charakterystyk powiązań
Publikacja -
Algorytm automatycznego strojenia regulatorów PI serwonapędów w maszynie frezującej CNC z wykorzystaniem metody optymalizacji rojem cząstek
PublikacjaPublikacja traktuje o zagadnieniu automatycznego strojenia przemysłowych regulatorów liniowych. Przedstawiono proces projektowania i implementacji systemu zarówno w środowisku symulacyjnym, jak i rzeczywistym. Przeanalizowano wyniki badań porównujących jakość działania układu sterowania przy zestawach parametrów regulatorów otrzymanych różnymi metodami. Jako metodę służącą poszukiwaniu odpowienich nastaw regulatorów wykorzystano...
-
Realizacja układu sterowania blokiem wymienników ciepła w postaci programu komputerowego wykorzystującego zmodyfikowany algorytm regulacji predykcyjnej DMC
PublikacjaW artykule przedstawiono eksperymentalny układ sterowania blokiem wymienników ciepła elektrociepłowni wykorzystujący zmodyfikowany algorytm regulacji predykcyjnej DMC. Na początku krótko opisano obiekt sterowania, zadania stawiane przed układem regulacji i wybrany algorytm sterowania. Następnie omówiono sposób realizacji regulatora opartego na idei programu komputerowego uruchamianego na stacji operatorskiej i komunikującego się...
-
Drift, wow and flutter measurement and reduction in shrunken movie soundtracks
PublikacjaReferat przedstawia metodę i algorytmy do oceny i redukcji dryfu, kołysania i drżenia w skurczonych taśmach filmowych. Przedstawione algorytmy działają w oparciu o przetwarzaniu obrazu taśmy filmowej w celu wyznaczenia jej lokalnego skurczu, który jest jednym z powodów powstawania dryfu, kołysania i drżenia. Lokalny skurcz taśmy można wyznaczyć dzięki analizie wysokości: ramki obrazu, perforacji, lub innego, standaryzowanego elementu...
-
Diagnostyka i identyfikacja procesu przy użyciu AdMS-PCA
PublikacjaArtykuł dotyczy diagnostyki i identyfikacji procesu przy użyciu adaptacyjnego, wieloskalowego rozszerzenia PCA - Adaptive Multiscale Principal Component Analysis (AdMS-PCA). Przeprowadzona została analiza własności AdMS-PCA istotnych dla diagnostyki i identyfikacji. Zauważono wadę części adaptacyjnej metody, która ogranicza jej praktyczne zastosowanie. Zaproponowano modyfikację poprzez wprowadzenie algorytmu nadzorującego adaptację....
-
Incremental and Semi-Incremental Construction of Pseudo-Minimal Automata
PublikacjaPrzedstawione zostają modyfikacje trzech algorytmów przyrostowego i półprzyrostowego tworzenia automatów minimalnych w taki sposób, aby tworzyły automaty pseudominimalne. Istniejący od dawna algorytm Revuza tworzy takie automaty szybciej i zużywając mniej pamięci, ale wymaga kłopotliwego sortowania. Nie nadaje się też do dodawania nowych słów do automatu - ważnej czynności w realizacji dynamicznej doskonałej funkcji mieszającej....
-
Metody inteligencji obliczeniowej w zarządzaniu produkcją
PublikacjaW rozdziale zaprezentowany został przegląd metod inteligencji obliczeniowej stosowanych w zarządzaniu produkcją. Rozdział rozpoczyna się definicją problemu harmonogramowania zadań wraz z wprowadzeniem standardowej nomenklatury stosowanej w literaturze poświęconej temu zagadnieniu. We wstępie zwrócono uwagę na złożoność problemów harmonogramowania zadań i potrzebę stosowania algorytmów generujących dopuszczalne rozwiązania przybliżone....
-
On dynamics of flexible branched shell structures undergoing large overall motion using finite elements
PublikacjaZaprezentowano autorski algorytm do analizy dynamicznej powłok sprężystych oparty na niejawnym schemacie Newmarka. Rozważania dotyczą całkowania po czasie dynamicznych równań ruchu sformułowanych w ramach nieliniowej sześcioparametrowej teorii powłok. Opracowanie zawiera pewne elementy analizy statycznej, poprzedzającej badania dynamiczne. Przykłady numeryczne prezentują zastosowanie algorytmu stanowią podstawową część pracy.
-
Metody analizy sensorycznej jako narzędzie do oceny uciążliwości zapachowej powietrza atmosferycznego. CZ. II. Charakterystyka metod analizy sensorycznej.
PublikacjaZwiązki chemiczne obecne w powietrzu atmosferycznym i wywołujące nieprzyjemne wrażenia zapachowe mogą wywierać negatywny wpływ na zdrowie i życie człowieka. Wszystkie niepożądane substancje zapachowe, powodujące pobudzenie narządu węchowego, a następnie odczuwanie zapachu, nazywane są odorantami. Do pomiaru reakcji człowieka na bodźce pochodzące z otaczającego środowiska wykorzystuje się metody analizy sensorycznej. Umożliwia to...
-
Analysis of abrasive powder at lapping
PublikacjaPrzedstawiono wyniki badań wpływu dawkowania pasty i zawiesiny ściernej na jakość docierania powierzchni płaskich. Analizowano parametry chropowatości powierzchni elementów ceramicznych i miedzianych.
-
Preliminary analysis of diesel electric ships propulsion solution
PublikacjaArtykuł zawiera opis wytwarzania i transmisji mocy układów disel-elektrycznych. Referat zwraca uwagę na problemy dotyczące zastosowania tych układów na statkach oraz pokazuje rozwój napędów disel-elektrycznych w ostatnim czasie.
-
Infrastructure vulnerability analysis of a port container terminal
PublikacjaW referacie przedstawiono infrastrukturę nowobudowanego terminala kontenerowego w Gdańsku. Za pomocą narzędzia programowego CARVER2 przeanalizowano infrastrukturę krytyczną tego portu pod kątem zagrożeń atakami terrorystycznymi.
-
Electrocatalytic gas sensor response analysis
PublikacjaW pracy przedstawiono i porównano metody analizy odpowiedzi elektrokatalitycznych czujników gazów toksycznych. Opisane metody pozwalają na ekstrakcje z odpowiediz czujników informacji o rodzaju gazu oraz o jego stężeniu.
-
Analysis of reliability of redundant ship power plants
PublikacjaW referacie przedstawiono możliwości wykorzystania teorii procesów semimarkowskich do określania charakterystyk niezawodnościowych złożonych układów napędowych o zadanym stopniu redundancji. Na przykładzie wybranego układu zaproponowano model niezawodnościowy w formie procesu stochastycznego dyskretnego w stanach i ciągłego w czasie. W oparciu o rozkład graniczny procesu wskazano na praktyczne aspekty wykorzystania uzyskanych w...
-
Bezpieczeństwo danych w sieciach IPsec VPN z szyfrowaniem AES/Rijndael
PublikacjaW pracy przedstawiono wyniki analizy i badań symulacyjnych bezpieczeństwa protokołu IPsec. Zostały one poświęcone algorytmowi AES/Rijndael i ustaleniu, czy spełnia on ścisłe kryterium lawinowości Webstera-Tavaresa. Uzyskane wyniki pozwoliły na ocenę bezpieczeństwa algorytmu AES/Rijndael, z punktu widzenia jego odporności na kryptoanalizę różnicową oraz protokołu IPsec.
-
Pracujący w czasie rzeczywistym system detekcji gazów wykorzystujący przenośny komputer Raspberry PI oraz matrycę półprzewodnikowych czujników gazu
PublikacjaThe gas-analyzing systems based on the array of partially selective gas sensors and pattern-recognition techniques are potentially fast and lowcost alternative for other devices, like gas‑analysers. They give the possibility of recognition the type and the concentration of measured volatile compounds in their working environment. In this work we present the implementation of gas recognition system, in which the signals from an...
-
Równoległe obliczenia grup podobieństw dla wielowymiarowych danych w środowisku Beesy Cluster
PublikacjaOpisano podejście do analizy danych opartej na grupowaniuelementów podobnych do siebie. Przedstawiono realizację tego zadania z użyciem jednego z najprostszych algorytmów, dla którego dokonano zrównoleglenia podstawowej operacji wyznaczania podobieństwa stanowiącej najbardziej kosztowny element algorytmu. Przedstawiono opis dystrybucji zadań, metodą obliczania podobieństwa i sposób składowania danych wyjściowych. Zaprezentowano...
-
Metody pomiaru i analizy nierówności pionowych toru
PublikacjaDo czasu wprowadzenia jednolitych zasad oceny stanu infrastruktury na europejskiej sieci kolejowej zarządy krajowe stosowały różne metody pomiaru, analizy i oceny pomierzonych nierówności toru. W artykule przedstawiono metody pomiaru i analizy nierówności pionowych spełniające wymagania normy PN-EN 13848 oraz zdefiniowano i wyjaśniono podstawowe pojęcia w tym zakresie.
-
Problemy analizy kosztów i korzyści zapór wodnych
Publikacja -
Zastosowanie regresji liniowej do analizy obciążeń cieplnych
PublikacjaW artykule przedstawiono przykład zastosowania regresji liniowej do wyznaczenia zapotrzebowania na ciepło. Współczynniki prostej regresyjnej wyznaczane są na podstawie analizy regresyjnej danych dobowych o zapotrzebowaniu na ciepło. Prognoza zapotrzebowania na ciepło wykorzystuje wyznaczone współczynniki i planowane stopniodni w okresie prognozy. Przedstawiono wyniki zastosowania metody do prognozowania obciążeń w przykładowym...
-
Stochastyczny model analizy niezawodności kładek dla pieszych
PublikacjaRozważa się stan użytkowalności kładek ze względu na drgania pomostu. Imperfekcje w obciążeniu pieszymi zapisuje się w zmianach współczynników ruchu pieszego. Zmiany te opisuje się rozkładami prawdopodobieństwa. Stosuje się metodę Monte Carlo. Dane z realizacji probabilistycznych używa się do obliczeń numerycznych. Rezultaty są podane jako prawdopodobieństwa, że kładka nie osiągnie poziomu drgań uznawanego za nieodpowiedni. Szacuje...
-
Obliczenia konstrukcji dalby odbojowej metodą analizy MES
PublikacjaOpis założeń i obliczeń MES w programie Plaxis 3D dalby odbojowej terminala gazowego. Przedstawienie danych do obliczeń i schematu obliczeniowego. Prezentacja wyników obliczeń i porównanie ich z wynikami obliczeń analityczno-numerycznych metodą uogólnioną oraz obliczeń klasyczną metodą Bluma.
-
Projektowanie układów ramowych z zastosowaniem analizy wrażliwości
PublikacjaW pracy przedstawiono przykład projektowania układów ramowych z zastosowaniem analizy wrażliwości. Rozważane układy ramowe rozwiązano autorskim programem napisanym w środowisku MATLAB, metodą elementów skończonych. Badano wpływ zmiany modułu Younga oraz wpływ zmiany wielkości przekroju poprzecznego na wybrane przemieszczenia ramy. Przedstawiono wyniki dla analizy wrażliwości jedno i wieloparametrycznej.
-
Analizy wyznaczenia dedykowanych pasów autobusowych w Gdyni
PublikacjaRosnący udział podróży transportem samochodowym i związany z tym wzrost natężenia ruchu drogowego, negatywnie wpływa na jakość funkcjonowania transportu zbiorowego, a w szczególności tego, który jest z ruchem drogowym bezpośrednio związany – transportu autobusowego. Zwiększające się zatłoczenie ulic wywołuje zaburzenia funkcjonowania systemu transportu autobusowego, przede wszystkim w postaci opóźnień pojazdów lub też wydłużeniem...
-
Stanowisko do analizy sygnałów współczesnych systemów adiokomunikacyjnych
PublikacjaW referacie zaprezentowano budowę stanowiska służącego do analizy sygnałów współczesnych systemów radiokomunikacyjnych. Stanowisko to pozwala na badanie szerokiego zakresu systemów łączności radiowej pracujących w paśmie od 20 MHz do 3,6 GHz. Poprzez zastosowanie programowego modułu cyfrowego przetwarzania sygnału, możliwe jest łatwe przystosowanie stanowiska do badania wybranego systemu radiokomunikacyjnego.
-
Zastosowanie analizy wrażliwości do identyfikacji parametrycznej konstrukcji.
PublikacjaW pracy proponuje się sformułowanie problemu identyfikacji parametrycznej oparte na minimalizacji ''odległości'' wyników pomiarów pewnych zmiennych stanu opisujących zachowanie się konstrukcji i wyników analizy jej modelu matematycznego. Do efektywnego rozwiązania tego problemu wykorzystano analizę wrażliwości pierwszego rzędu.
-
Analizy numeryczne powłok walcowych z imperfekcjami kształtu
PublikacjaPrzedstawiono wyniki analiz numerycznych przykładowych imperfekcji typu obwodowego oraz obrotowo-symetrycznego dla powłok walcowych o dwóch promieniach zakrzywienia: R=10 m i R=30 m .
-
Zastosowanie analizy charakterystyk częstotliwościowych w diagnostyce transformatorów
PublikacjaPrzedstawiono admitancję transformatora z uszkodzeniem, a następnie sposób wyznaczenia parametrów schematu zastępczego transformatora dla prób prądem stałym. Dokonano analizy wpływu różnego typu uszkodzeń transformatora na zmiany charakterystyk (fazowej i amplitudowej). Stwierdzono możliwość zastosowania porównań tych charakterystyk do diagnostyki zmian stanu technicznego transformatora.
-
Struktura przestrzeni miasta w świetle analizy syntaktycznej.
PublikacjaBadania nad strukturami przestrzeni przy wykorzystaniu analizy syntaktycznej wskazały na fundamentalną zależność pomiędzy strukturą przestrzeni miasta i sposobem jego funkcjonowania. Kluczem do podjęcia dialogu z miastem historycznym jest zrozumienie logiki przekształcanej przez stulecia struktury przez pryzmat konfiguracji.
-
Wykorzystanie analizy kosztów w zarządzaniu szpitalem publicznym
PublikacjaProblemy z finansowaniem opieki zdrowotnej obserwowane są praktycznie na całym świecie. Jako przyczyny wzrostu wydatków uważa się głównie starzenie się populacji, złożoną naturę współczesnych chorób i szerokie wykorzystywanie kosztownych technologii. Systemy opieki zdrowotnej na całym świecie stają przed trudnym wyzwaniem zwiększenia efektywności, co oznacza kontrolowanie kosztów, przy jednoczesnym zapewnieniu wysokiej jakości...
-
Wybrane problemy analizy kosztów awarii sieci ciepłowniczych
PublikacjaAwaryjność sieci ciepłowniczych w Polsce jest rzeczą znaną, jednakże próby usystematyzowania jej przyczyn nie dają zadowalających rezultatów, gdyż dostępna dokumentacja jest zwykle niespójna, niepełna i niezbyt wiarygodna. Dodatkowe utrudnienie stanowi konieczność ujęcia tego zagadnienia w kategoriach ekonomicznych. W niniejszym artykule podjęto próbę metodologicznego opisu, uwzględniającego wpływ kosztów awarii na jednostkowy...
-
Nowe podejście do analizy wskaźnikowej w przedsiębiorstwie
PublikacjaAutor książki przybliża problematykę efektywności metod analizy ekonomicznej przedsiębiorstw w zakresie oceny ich kondycji finansowej w erze globalizacji, powszechnej niepewności i ryzyka oraz szybko zachodzących zmian w otoczeniu firm. Dokonuje oceny powiązań systemowych wskaźników finansowych, a następnie próby implementacji logiki rozmytej w wykorzystywanej w przedsiębiorstwach analizie wskaźnikowej. W opracowaniu szczegółowo...
-
Zastosowanie destylacji symulowanej do analizy produktów naftowych
PublikacjaW pracy omówiono normowane metodyki wyznaczania rozkładu temperatury destylacji, metodą destylacji klasycznej oraz destylacji symulowanej(SIMDIS). Normy opisujące sposób prowadzenia destylacji symulowanej dla poszczególnych materiałów, zostały porównane w zakresie wymagań w odniesieniu do aparatury oraz warunków prowadzenia analizy dla konkretnego rodzaju materiału naftowego. Przedstawiono również doniesienia naukowe dotyczące...
-
Wykorzystanie programu AutoFocus do analizy protokołów kryptograficznych
PublikacjaAutoFocus jest narzędziem wspomagającym wytwarzanie systemów wbudowanych charakteryzujących się wysoką niezawodnością. Artykuł prezentuje studium przypadku zastosowania narzędzia i związanej z nim metody formalnej Focus do analizy bezpieczeństwa (ang. security) protokołu tworzenia podpisu cyfrowego w środowisku rozproszonym. Zastosowana metoda formalna wykorzystana została jako ostatni etap zintegrowanej metody oceny protokołów...
-
Ocena ryzyka uszkodzeń sprzętu elektronicznego z punktu widzenia firm ubezpieczeniowych
PublikacjaProblem oceny usterek sprzętu elektronicznego z uwzględnieniem aspektów ubezpieczeniowych jest ciągle aktualny, mimo nowych metod oceny ryzyka awarii. W niniejszym artykule porusza się aspekt finansowy po wystąpieniu awarii urządzeń z punktu widzenia analizy eksperckiej dla firmy ubezpieczeniowej. Postawione tezy zostały poparte przykładem analizy przyczynowo skutkowej wraz z analizą uszkodzeń i błędów w przykładowej instalacji....