Wyszukiwarka
Filtry
wszystkich: 56
Wyniki wyszukiwania dla: ZALEŻNOŚCI CZASOWE
-
Redukcja czasu analizy MZP przez ograniczenie rozmiaru rozwiązania
PublikacjaAnaliza drzew niezdatności jest uznaną metodą analizy bezpieczeństwa systemów. Notacja ECSDM pozwala definiować zależności czasowe między zdarzeniami drzewa oraz przeanalizować je w celu określenia zależności pomiędzy zdarzeniami z Minimalnych Zbiorów Przyczyn (MZP). Dzięki wprowadzeniu klasyfikacji zdarzeń z MZP można wyodrębnić zależności czasowe istotne dla zapobiegania wywoływania hazardu przez konkretny MZP. Pozostałe zależności...
-
Czasowe wymagania bezpieczeństwa wobec systemu monitoringu ruchu drogowego
PublikacjaAnaliza drzew błędów jest dedukcyjną metodą analizy pozwalającą ustalić przyczyny wybranego zdarzenia niepożądanego. Posługuje się w tym celu koncepcją przyczyn bezpośrednich i logiki boolowskiej, a pozwala ustalić przyczyny podstawowe analizowanego zdarzenia. Technika ta wykorzystuje jednak w swoich modelach notację nieformalną, co może powodować niejednoznaczności i ograniczyć wartość analizy, szczególnie, jeśli pracuje nad nią...
-
Dobór algorytmu do przetwarzania zależności czasowych w drzewach błędów
PublikacjaAnalizę drzew błędów można wzbogacić o rozważenia dotyczące zależności czasowych. Na podstawie informacji o zależnościach przyczynowo-skutkowych oraz o zależnościach czasowych zawartych w drzewie błędów można określić wymagania czasowe wobec komponentów analizowanego systemu, które podniosą jego bezpieczeństwo. Analiza zależności czasowych została precyzyjnie zdefiniowana w zakresie warunków wejściowych i wyjściowych przyjętego...
-
Scheduling with precedence constraints: mixed graph coloring in series-parallel graphs.
PublikacjaW pracy rozważono problem kolorowania grafów mieszanych, opisujący zagadnienie szeregowania zadań, w którym zależności czasowe zadań mają charakter częściowego porządku lub wzajemnego wykluczania. Dla przypadku, w którym graf zależności jest szeregowo-równoległy, podano algorytm rozwiązujący problem optymalnie w czasie $O(n^3.376 * log n)$.
-
Automatyzacja określania wymagań bezpieczeństwa na podstawie wyników analizy czasowej drzew błędów
PublikacjaW odpowiedzi na potrzebę wprowadzania formalnych narzędzi opisu do analizy bezpieczeństwa systemów zawierających komponenty programowalne powstała notacja ECSDM. Jej zaletą jest to iż umożliwia nie tylko definiowanie zależności czasowych obowiązujących w opisywanym systemie, ale również, przy zastosowaniu jej do drzew błędów, pozwala na prowadzenie wnioskowania odnośnie zależności czasowych pomiędzy zdarzeniami z minimalnych zbiorów...
-
Metoda analizy związanych z czasem wymagań dotyczących bezpieczeństwa systemów komputerowych
PublikacjaBezpieczeństwo jest pożądaną cecha systemów przemysłowych, transportowych i innych typów. A ponieważ do sterowania tymi systemami powszechnie stosuje się systemy komputerowe, jest ono również ważną cechą oprogramowania. Analiza bezpieczeństwa oprogramowania jest jednak, ze względu na jego niematerialność, trudniejsza od typowej analizy. Ponadto, ze względu na skomplikowane reguły sterujące oraz naturę kontrolowanych systemów, bezpieczeństwo...
-
Ocena wpływu wirtualizacji na jakość usługi telekonferencji w systemie VoIP
PublikacjaZastosowanie wirtualizacji w systemach informatycznych jest dzisiaj bardzo powszechne. Pod względem ekonomicznym wirtualizacja umożliwia efektywniejsze wykorzystanie zasobów. Dodatkowo w aspekcie technicznym oddzielenie fizycznych zasobów od logicznych instancji pozwala na poprawę niezawodności i dostępności systemu. Separacja między poszczególnymi wirtualnymi maszynami pozwala na zapewnienie większego poziomu bezpieczeństwa. W...
-
Thermal Imaging in Wound Healing Diagnostics
PublikacjaOpisano wyniki projektu badawczego poświęconego opracowaniu metody obiektywnej diagnostyki ran pooperacyjnych w kardiochirurgii. Sprawdzono możliwość połączenia oceny obrazów RGB z obrazami termograficznymi oraz nową w medycynie metodą aktywnej termografii dynamicznej ADT. W projekcie zastosowano chłodzenie obszaru zainteresowania wykorzystując kriostat na dwutlenku węgla. W okresie powrotu do stanu równowagi termodynamicznej rejestrowane...
-
Model matematyczny zespołu produkcyjnego reformingu katalitycznego benzyn do celów operatywnego sterowania produkcją rafinerii nafty
PublikacjaPrzedstawia się model matematyczny zespołu produkcyjnego reformingu katalitycznego benzyn, wchodzący w skład modelu matematycznego problemu operatywnego sterowania produkcją rafinerii nafty. Model ten pozwala wyznaczać na poziomie operatywnego sterowania produkcją rafinerii bieżące zadania produkcyjne dla zespołu reformingu katalitycznego benzyn, którego celem jest wytwarzanie z wybranych frakcji benzynowych tzw. reformatu o podwyższonej...
-
Wycena rozrachunków w prawie bilansowym i podatkowym
PublikacjaOmówiono czasowe i formalne instrumenty polityki bilansowej i podatkowej na przykładzie rozrachunków
-
Zintegrowane sterowanie stężeniem tlenu w oczyszczalni ścieków
PublikacjaNapowietrzanie jest jednym z najważniejszych i najdroższych procesów w oczyszczalni ścieków. Powodem tego są: różne skale czasowe w dynamice wewnętrznej procesów i elementów związanych z napowietrzaniem, mieszany charakter zmiennych steruących, przyjmujących wartości zarówno ciągłe, jak i dyskretne, ograniczenia czasowe na możliwości włączania dmuchaw powietrza, nieliniową dynamikę rozpuszczonego tlenu i systemu napowietrzania,...
-
Rynek walutowy w Polsce - dotychczasowy rozwój i dalsze perspektywy.
PublikacjaArtykuł skupia się na analizie dotychczasowego stanu polskiego rynku walutowego. Umownie wyznaczono granice czasowe poddane badaniom: Są to lata: 1989- 92, 1993-98, 1999-2002. Ponadto artykuł porusza problematykę dalszego rozwoju rynku, w szczególności po przystąpieniu do UE.
-
Ustna opinia uzupełniająca dotycząca projektu budowlanego, wykonawczego i realizowanego procesu budowlanego obiektu Międzynarodowego Centrum Konferencyjnego w Katowicach (Sygn. akt II C 889/13/7)
PublikacjaNa zapytanie sądu oraz zainteresowanych stron będących w sporze udzielano odpowiedzi na wątpliwości i wyjaśniano warunki i skutki czasowe, organizacyjne oraz finansowe dotyczące całego procesu inwestycyjnego obejmującego projektowanie i realizację robót budowlanych prowadzonych na obiekcie MCK w Katowicach.
-
Monte Carlo simulation of energy migration in uniaxially oriented polymerfilms.
PublikacjaOpisano zastosowanie metody Monte Carlo do symulowania (komputerowego) procesów fotofizycznych zachodzących w rozciąganych osiowo foliach polimerowych zawierających molekuły barwnika. Przedstawiono zaniki czasowe anizotropii emisji oraz jej zależność od koncentracji barwnika. Zbadano wpływ migracji energii na przebiegi anizotropii emisji badanego układu.
-
Dokładność metod obliczeniowych a skuteczność ochrony przeciwpowodziowej
PublikacjaPrzedstawiono wyniki porównawczej analizy dokładności prognoz meteorologicz-nych i hydrologicznych. Wykazano, że dokładność i wyprzedzenie czasowe tych pierwszych jest na tyle niska, że nie mogą one odgrywać istotnej roli w och-ronie przed powodzią, która powinna bazować na prognozach hydrologicznych.
-
Streaming caused by non periodic ultrasound.
PublikacjaOpracowano wzory na generację przepływów rotacyjnych przez falę akustyczną dowolnego typu. Równania ewolucyjne wyprowadzone, wyniki porównywane są teorią dla wielkości uśrednionych. Impuls dodatniej polarności służy przykładem fali akustycznej. Przedstawiono czasowe, przestrzenne wykresy na podstawie obliczeń numerycznych oraz linie pędu przepływu rotacyjnego.
-
Performance and Security Testing for Improving Quality of Distributed Applications Working in Public/Private Network Environments
PublikacjaThe goal of this dissertation is to create an integrated testing approach to distributed applications, combining both security and performance testing methodologies, allowing computer scientist to achieve appropriate balance between security and performance charakterstics from application requirements point of view. The constructed method: Multidimensional Approach to Quality Analysis (MA2QA) allows researcher to represent software...
-
An overview of Multiple-Input Multiple-Output(MIMO) system
PublikacjaW artykule omówiono podstawy teoretyczne funkcjonowania systemów wieloantenowych, w tym korzyści wynikające z ich stosowania, podstawowe konfiguracje systemów wieloantenowych i opis ich działania, pojęcie pojemności kanału MIMO i jego modelowania oraz dwa podstawowe sposoby realizacji techniki MIMO, tj. kodowanie przestrzenno-czasowe i multipleksacja przestrzenna (techniki BLAST).
-
Application of PCA and time series analysis in studies of precipitation in Tricity (Poland).
PublikacjaPrzedstawiono wyniki monitoringu zanieczyszczenia atmosfery Trójmiasta. Próbki wody opadowej pobierano w cyklach miesięcznych przez 4 lata (1998-2001)w 10 punktach. Wyniki poddano statystycznej i chemometrycznej analizie (szeregi czasowe, analiza wariancji, analiza głównych składowych). Wykazano wpływ lokalizacji punktów monitoringowych i bliskości Morza Bałtyckiego na zawartość jonów nieorganicznych w analizowanych próbkach.
-
Instantaneous electrochemical impedance spectroscopy of electrode reactions.
PublikacjaUstalona została ciągła transformata STFT sinusoidalnego sygnału pobudzeniai odpowiedzi prądowej dla pierwszorzędowej reakcji elektrodowej. Impedancja elektrodowa wyznaczona została w łącznej dziedzinie czasowo-częstotliwościowej. Wykonano pomiary reakcji redukcji Cd(II) na kapiącej elektrodzie rtęciowej w funkcji czasu. Zaprezentowano możliwość wyznaczania chwilowych widm impedancyjnych. Opisano czasowe charakterystyki rezystancji...