Filtry
wszystkich: 1749
wybranych: 803
-
Katalog
- Publikacje 803 wyników po odfiltrowaniu
- Czasopisma 23 wyników po odfiltrowaniu
- Wydawnictwa 2 wyników po odfiltrowaniu
- Osoby 71 wyników po odfiltrowaniu
- Wynalazki 4 wyników po odfiltrowaniu
- Projekty 9 wyników po odfiltrowaniu
- Zespoły Badawcze 2 wyników po odfiltrowaniu
- Aparatura Badawcza 1 wyników po odfiltrowaniu
- Kursy Online 566 wyników po odfiltrowaniu
- Wydarzenia 57 wyników po odfiltrowaniu
- Dane Badawcze 211 wyników po odfiltrowaniu
Filtry wybranego katalogu
Wyniki wyszukiwania dla: muzyka filmowa
-
Doskonalenie strumienia wartości
PublikacjaKsiążka ta ma na celu praktyczne ujęcie problemu optymalizacji przedsiębiorstwa opartej na koncepcji Lean (z ang. Lean – szczupły) i jej narzędziu Mapowania Strumienia Wartości. ---- Tu pobierzesz jej pełną treść w wersji elektronicznej: https://drive.google.com/file/d/1xNrdiuOHKpyjzG5dY3ocFG8fp2hY1b9C/view?usp=sharing ---- Prezentowane...
-
Implementation of a Non-Thermal Atmospheric Pressure Plasma for Eradication of Plant Pathogens from a Surface of Economically Important Seeds
Publikacja -
N-way modelling of sediment monitoring data from Mar Menor lagoon, Spain
PublikacjaW artykule przedstawiono zastosowanie modelowania typu Tucker3 dla danych pochodzących z monitorowania chemizmu osadów obszaru laguny Mar Menor w Hiszpanii. Celem badania jest modelowanie i interpretacja frakcjonowania metali ciężkich w materii zawieszonej i frakcjach osadów wynikających z procesów sedymentacyjnych. Modelowanie ma na celu oszacowanie ryzyka środowiskowego ponieważ działalność ludzka ma znaczny wpływ na stan laguny....
-
Weryfikacja poziomu nienaruszalności funkcji związanych z bezpieczeństwem
PublikacjaFunkcje związane z bezpieczeństwem są realizowane przez systemy sterowania i zabezpieczeń zawierające elementy elektryczne, elektroniczne i programowalne elektroniczne (E/E/PE). Systemy te należą do środków pozwalających na zmniejszenie ryzyka pochodzącego od instalacji technicznej i procesu. Właściwe zaprojektowanie systemu E/E/PE realizującego funkcje związane z bezpieczeństwem jest problematyczne. Zagadnienia weryfikacji poziomów...
-
Ryzyko płynności a poziom płynności finansowej przedsiębiorstw w Polsce
PublikacjaW artykule przedstawiono problem płynności w przedsiębiorstwach w Polsce. Wskazano, że postępujące ryzyko płynności, wyrażające się m.in. zatorami płatniczymi, wymaga jego ograniczania. Literatura przedmiotu wyraźnie wskazuje na kształt procesu zarządzania tym ryzykiem, lecz firmy nie przywiązują dostatecznej wagi do działań kształtujących płynność wewnątrz przedsiębiorstwa. Proces zarządzania ryzykiem płynności ma często charakter...
-
Providing for continuous risk management in distributed software projects.
PublikacjaArtykuł prezentuje koncepcję ciągłego zarządzania ryzykiem w rozproszonych projektach informatycznych. Proponowane podejście koncentruje się na dostarczeniu uczestnikom projektu szerokiego i łatwo dostępnego kanału komunikacyjnego, przez który mogą oni komunikować informację o ryzyku. Zebrane informacje mogą być później analizowane pod różnymi kątami tak, by wybrać największe zagrożenia dla projektu lub też by prześledzić...
-
Możliwości komputerowego wspomagania interaktywnych ćwiczeń i testów.
PublikacjaArtykuł dotyczy tworzenia interaktywnych obiektów uczących w środowiskach zdalnego nauczania. Opisano zalecenia standardu SCORM dotyczące sposobu tworzenia obiektów z wykorzystaniem języka XML. Omówiono problemy z implementacją pytań i testów w interaktywnych materiałach dydaktycznych. Wyróżniono typy pytań i testów możliwe do realizacji w technologiach internetowych. Wskazano na konieczność budowy narzędzi, które umożliwią nauczycielom...
-
Designing control and protection systems with regard to functional safety aspects.
PublikacjaZaproponowano zintegrowane podejście w ocenie bezpieczeństwa funkcjonalnego systemów E/E/PE. Niepewność probabilistycznych miar ryzyka dla elektrycznych, elektronicznych i programowalnych elektronicznych systemów jest reprezentowana za pomocą przedziałów, które są porównywane z przedziałowymi kryteriami probabilistycznymi zdefiniowanymi dla tych systemów przez normę IEC 61508, w postaci czterech poziomów nienaruszalności bezpieczeństwa...
-
Les transducteurs à sorties variables
PublikacjaW przetwarzaniu języka naturalnego słowniki elektroniczne wiążą ze słowami informacje. Najwydajniejsza reprezentacja takich słowników używa maszyn ze skończoną liczbą stanów (automatów prostych lub automatów Mealy'ego). W tym artykule wzorując się na algorytmach bezpośredniej budowy minimalnego automatu deterministycznego proponujemy nowy typ automatu Mealy'ego. Ta nowa forma pozwala na szybkie obliczanie informacji wyjściowej...
-
Digital hearing aid with time and spectral transposition.
PublikacjaNastępstwem uruchomienia w Polsce, prowadzonych na szeroką skalę, badań przesiewowych słuchu jest konieczność zaoferowania pomocy osobom cierpiącym na niedosłuch poprzez leczenie i protetykę słuchu. Tymczasem, aktualnie oferowane rozwiązania aparatów słuchowych nie są w stanie sprostać niektórym specjalistycznym potrzebom aparatowania, m. in.: najmłodszych dzieci, osób pracujących w hałasie, pilotów wojskowych oraz osób korzystających...
-
XXX Europejskie Dni Dziedzictwa. Zaspa Nova, wystawa projektów studenckich
PublikacjaWystawa stanowi element projektu 30. obchodów Europejskich Dni Dziedzictwa, z podtytułem tegorocznej edycji: „Połączeni Dziedzictwem”. Nowe spojrzenie i włączenie elementów własnej kultury reprezentowane studentów z Niemiec, Hiszpanii, Turcji, Szkocji, Kraju Basków, Włoch, Grecji i Portugalii pozwala nam, gdańszczanom spojrzeć na znane dobrze osiedle z innej perspektywy. Projekty pokazują nieoczekiwane interpretacje odkrywające...
-
Efektuacyjność modelu mentalnego przedsiębiorczości
PublikacjaArtykuł prezentuje dwa modele przedsiębiorczości: tradycyjny (kauzalny) i efektuacyjny. Zgodnie z modelem kauzalnym najważniejszymi czynnikami sukcesu firmy jest strategiczne planowanie i konkurencyjność. W modelu efektuacyjnym znaczenie mają posiadane przez przedsiębiorcę zasoby, elastyczne reagowanie na szanse pojawiające się w otoczeniu i budowanie relacji biznesowych z otoczeniem. Celem artykułu jest ocena efektuacyjności mentalnego...
-
Inwestycje alternatywne i ich korelacja z rynkiem inwestycji tradycyjnych
PublikacjaW referacie przedstawiono pojęcie oraz atrybuty inwestycji alter-natywnych w kontekście funkcjonowania inwestycji tradycyjnych. Wy-znaczone zostały również współczynniki korelacji liniowej Pearsona po-między stopami zwrotu inwestycji tradycyjnych (reprezentowanymi przez indeksy WIG, WIG20, mWIG40 oraz sWIG80) i alternatywnych (reprezentowanymi przez złoto, srebro, platynę, pallad i ropę naftową). W ten sposób zbadano, czy wybrane...
-
Zarządzanie bezpieczeństwem w złożonych obiektach i instalacjach krytycznych
PublikacjaW rozdziale scharakteryzowano wybrane metody wspomagające zarządzanie bezpieczeństwem w systemach technicznych, w tym metodę RCM (reliability-centered maintenance) polegającą na proaktywnej obsłudze, której celem jest nie dopuszczać lub przynajmniej ograniczać skutki potencjalnych uszkodzeń oraz metodę RBM (risk-based maintanance) i procedurę RIMAP (risk-based inspection and maintanance procedures) stosowaną w zarządzaniu bezpieczeństwem...
-
Naukowe podstawy projektowania geotechnicznego : między teorią, a praktyką
PublikacjaW artykule przedstawiono problemy, przed jakimi stoi współczesny inżynier geotechnik, zaangażowany w proces projektowania bezpiecznych, a jednocześnie ekonomicznych posadowień. Zaakcentowano najważniejsze aspekty dyscypliny, którą literatura anglojęzyczna określa jako geomechanika obliczeniowa (computational geomechanics). Przedstawiono również współczesne metody badawcze, niezbędne przy efektywnym projektowaniu oraz zakres ich...
-
Metody identyfikacji miejsc niebezpiecznych na sieci dróg
PublikacjaW artykule przedstawiono metodę identyfikacji miejsc niebezpiecznych na sieci dróg bazującej na ryzyku, jako elemencie systemu zarządzania bezpieczeństwem infrastruktury drogowej na przykładzie sieci dróg krajowych. Przedstawiono doświadczenia zagraniczne identyfikacji miejsc niebezpiecznych i uwarunkowania prawne w Polsce wdrażające konieczność identyfikacji miejsc niebezpiecznych na sieci TEN-T. W ostatniej części zaprezentowano...
-
Płynność w działalności przedsiębiorstw - zarządzanie i ryzyko
PublikacjaNiniejsza publikacja została poświęcona problematyce kształtowania płynności finansowej. Głównym celem jest wskazanie i ocena działań przedsiębiorstw w zakresie generowania tzw. optimum płynności, rozumianego jako zachowanie równowagi między wartością rynkową i wewnętrzną wartością płynności przedsiębiorstwa. W opinii Autorki stosowane przez przedsiębiorstwa działania nie wyczerpują wszystkich metod, pozwalających na zapewnienie...
-
Systemy ekspertowe wykorzystujące język korzyści do projektowania nowoczesnych technologii dla osób starszych
PublikacjaCelem artykułu jest próba znalezienia podejścia ułatwiającego projektowanie/dostosowanie nowoczesnych technologii dla osób powyżej 65 roku życia. Do projektowania zdecydowano się wykorzystać język korzyści i systemy ekspertowe. W pierwszej części artykułu opisane zostały statystyki związane z użytkowaniem Internetu przez osoby starsze na przestrzeni siedmiu lat. Druga i trzecia część została poświęcona przybliżeniu pojęcia systemów...
-
Matematyczny świat wirusów i bakterii
PublikacjaKiedyś, mówiąc o zastosowaniach matematyki, przychodziła nam na myśl głównie fizyka. Dziś wiemy, że matematyka ma ważne zastosowania również w biologii i medycynie. To, jak szybko rozwijają się bakterie i wirusy oraz jak szybko odpowiada na ich obecność nasz układ odpornościowy, można opisać językiem matematyki. Głównym narzędziem służącym do opisu tempa zmiany interesującej nas wielkości jest pochodna. Dzięki pochodnej możemy przewidzieć...
-
Metodologiczne aspekty opisowego modelowania w naukach ekonomicznych
PublikacjaPrzedmiot badań ekonomicznych, jako system złożony, podlega modelowaniu. Etapy dekompozycji i jakościowego opisu modelowanego systemu, w tym systemu gospodarczego, są nieodzowne w prawidłowym prowadzeniu badań naukowych. Z drugiej strony modelowanie w ekonomii nie powinno być pozbawione matematycznego języka opisu, ponieważ konstruując model wyjaśniający, należy posługiwać się zarówno modelem opisowym, jak i sformalizowanym. Tak...
-
Functional safety and security management in critical systems
PublikacjaGłównym celem referatu jest przedstawienie wybranych kwestii zarządzania bezpieczeństwem i ochroną w systemach podwyższonego ryzyka i systemach krytycznych. Zarysowuje się kilka praktycznych problemów analizy bezpieczeństwa funkcjonalnego w celu podejmowania decyzji zgodnie z normami międzynarodowymi IEC 61508 i IEC 61511. Podkreśla się, że aspekty związane z ochroną powinny być starannie rozpatrzone zarówno w fazie projektowania,...
-
An environmental risk measure of ships
PublikacjaW referacie wyszczególniono najistotniejsze rodzaje zanieczyszczeń emitowanych przez statki do środowiska naturalnego. Przeprowadzono krótką dyskusję norweskiej propozycji indeksacji środowiskowej statków. Zaproponowano probabilistyczny model do oceny ryzyka stwarzanego przez statki względem środowiska morskiego. Jest to model strategii liniowej. Wiąże w jedną wartość liczbową prawdopodobieństwa uwolnienia zanieczyszczeń ze statku...
-
Application of biocompatible and ultrastable superparamagnetic iron(iii) oxide nanoparticles doped with magnesium for efficient magnetic fluid hyperthermia in lung cancer cells
Publikacja -
Skuteczność klasyfikacji gatunków muzycznych za pomocą sieci neuronowej w zależności od typu danych wejściowych
PublikacjaRozpoznawanie gatunku muzycznego jest jednym z podstawowych elementów inteligentnych systemów tworzenia automatycznych list muzyki. Platformy strumieniowe oferujące taką usługę wymagają rozwiązań, które umożliwią jak najdokładniej określić przynależność utworu do gatunku muzycznego. Zgodnie z aktualnym stanem wiedzy – najskuteczniejszym klasyfikatorem są sztuczne sieci neuronowe (w tym w wersji uczenia głębokiego), dla których...
-
Integracyjna metoda konstruowania aplikacji
PublikacjaZaproponowano 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...
-
Diagnostyka weryfikacyjna podsystemów i urządzeń
PublikacjaRozdział dotyczy diagnostyki weryfikacyjnej podsystemów i urządzeń technologicznych. Diagnostykę techniczną podzielono na diagnostykę uszkodzeniową, która zajmuje się identyfikacją i lokalizacją uszkodzeń i defektów maszyn lub jego podzespołów oraz na diagnostykę weryfikacyjną, której zadaniem jest kontrola i ciągła weryfikacja istotnych parametrów z przyjętym ich modelem, traktowanym jako wzorcowy. Diagnostykę weryfikacyjną można...
-
Analiza niezawodności człowieka z uwzględnieniem aspektów zarządzania alarmami
PublikacjaW artykule przedstawiono zagadnienie analizy warstwowego systemu zabezpieczeń z uwzględnieniem błędu człowieka-operatora. W analizie bezpieczeństwa funkcjonalnego systemów sterowania i zabezpieczeń istotną kwestią jest dokonanie redukcji ryzyka poprzez warstwy zabezpieczeniowo ochronne. W referacie przeanalizowano system składający się z trzech warstw: podstawowego systemu sterowania BPCS, systemu alarmowego AS oraz systemu automatyki...
-
Alternatywne do R134a czynniki proponowane jako płyny robocze w klimatyzacji samochodowej i innych instalacjach chłodniczych o małej wydajności. Część 3. Zamienniki dla R134a w kontekście projektowania parowników instalacji chłodniczych i klimatyzacyjnych
PublikacjaW wyniku wycofania czynników CFC i HCFC ze względu na ich szkodliwy wpływ na warstwę ozonową, wprowadzono nowe ich odpowiedniki. Zaczęto jednak podnosić krytyczne opinie co do ryzyka związanego z ich wprowadzaniem do instalacji chłodniczych i klimatyzacyjnych. W ostatnich latach, uwagę w związku z tym coraz bardziej koncentruje się na naturalnych czynnikach chłodniczych. W poprzednich częściach przedstawiono analizę klasycznych...
-
Zastosowanie specjalnego uziemienia żył powrotnych w liniach kablowych SN
PublikacjaW artykule porównano metody uziemiania żył powrotnych kabli średniego napięcia. Głównym kryterium oceny poszczególnych rozwiązań było ograniczenie strat w przesyle energii elektrycznej oraz zapewnienie ochrony przeciwprzepięciowej osłon kabli. Na podstawie symulacji kabli zamodelowanych w programie CYMCAP i otrzymanych wyników obciążalności prądowej i strat w linii zaprezentowano metodę krzyżowania żył powrotnych (CB – cross-bonding...
-
Перевод английских заглавий фильмов в Польше и в России
PublikacjaArtykuł jest poświęcony problemowi przekładu angielskich tytułów filmowych, które w polskiej dystrybucji figurują pod nazwami oryginalnymi bądź zostały przetłumaczone tylko częściowo. Autorka wychodzi od poziomu znajomości języka angielskiego zarówno w Polsce, jak i w Rosji, który w pewnym stopniu może wpływać na wspomnianą praktykę, a następnie podaje przykłady tytułów, które z różnych powodów nie zostały przełożone na język polski...
-
The formal safety assesment in conforming to chosen vessel's type on the ground of hydromechanic characteristics in critical conditions.
PublikacjaTragedia jednego ze statków typu ro-ro pokazała podatność tego typu statków na utratę stateczności, przewrócenie a w ostateczności zatonięcie. Wszystkie ro-rowce charakteryzują się małym zanurzeniem, a wynurzona część kadłuba podatna jest na działanie wiatru. Jeżeli dodatkowo w takich warunkach dochodzi element nieprawidłowego rozmieszczenia pojazdów i ich słabego zamocowania to groźba przesunięcia ładunku staje się realna. W konsekwencji...
-
The formal safety assessment and influence of human factor in application to chosen ship's type
PublikacjaTragedia jednego ze statków typu ro-ro pokazała podatność tego typu statków na utratę stateczności, przewrócenie się, a w ostateczności zatonięcie. Wszystkie ro-rowce charakteryzują się małym zanurzeniem, a wynurzona część kadłuba podatna jest na działanie wiatru. Jeżeli dodatkowo w takich warunkach dochodzi element nieprawidłowego rozmieszczenia pojazdów i ich słabego zamocowania to groźba przesunięcia ładunku staje się realna....
-
Timing diagrams functionalities in information systems modeling with UML 2
PublikacjaArtykuł prezentuje aktualną klasyfikację diagramów interakcji języka UML 2 i przedstawia właściwości nowego diagramu tj. diagram harmonogramowania. W artykule omówiono ich istotę oraz podstawowe i zaawansowane kategorie ich modelowania. Diagram ten umożliwia reprezentowanie na osi czasu zmian dopuszczalnych stanów klasyfikatorów uczestniczących w interakcji. Możliwość harmonizacji linii zmian stanów dla większej liczby klasyfikatorów...
-
Szacowanie miar bezpieczeństwa ruchu drogowego dla potrzeb oceny efektywności inwestycji drogowych
PublikacjaKoszty wypadków drogowych to jeden z elementów składowych kosztów, które stanowią podstawę do analiz efektywności ekonomicznej inwestycji drogowych. Obok kosztów eksploatacji pojazdów, czasu podróży i czasu pracy oraz kosztów emisji spalin i hałasu, koszty wypadków drogowych decydują o tym czy dana inwestycja będzie opłacalna z punktu widzenia efektywności ekonomicznej. Prawidłowe wyliczenie kosztów wypadków dla planowanych inwestycji...
-
Internet w służbie historii. Zbiory muzealne Sekcji Historycznej BPG w przestrzeni internetowej
PublikacjaChoć liczne są funkcje, jakie mogą pełnić strony internetowe –zadania informacyjne, marketingowe, kontaktowe (komunikacyjne),społecznościowe, płatnicze czy rezerwujące – każda witryna WWWzostała przede wszystkim stworzona do przekazywania informacji. Zatakie możemy również uznać informacje na temat posiadanych przezmuzea zbiorów, a dynamiczny rozwój Internetu jako globalnego mediumwymusza...
-
Rozwój cywilizacyjny i technologiczny jako czynnik kształtujący obraz miejskiej przestrzeni = Technological and civizational evolution as a factor that forms the urban space
PublikacjaDostrzeżenie zależności pomiędzy formą, funkcjonalnością, estetyką jest dla projektanta istotną częścią procesu projektowego.Walory estetyczne nie koniecznie muszą się łączyć z funkcjonalnością. Widoczne jest to na przykładzie rozwoju miast. Stare struktury miejskie nie odpowiadają potrzebom współczesnych mieszkańców.Jednocześnie istnieje potrzeba troski o nie. Pojawia się także kwestia odpowiedzi jak zachować takie miasta. czy...
-
Functional safety and human factors
PublikacjaRozdział przedstawia istotny problem uwzględnienia czynników ludzkich (H&OF) w analizie bezpieczeństwa funkcjonalnego, które wpływają istotnie na bezpieczeństwo przemysłowych obiektów podwyższonego ryzyka, nie ujęty jednak w normach bezpieczeństwa funkcjonalnego. Przedstawia się metody analizy niezawodności człowieka (HRA) w kontekście tych czynników, które wpływają na błędy człowieka. Czynniki ludzkie i organizacyjne powinny być...
-
Niezrywalne depozyty terminowe w świetle Bazylei III i polskich uregulowań prawnych
PublikacjaPropozycje Komitetu Bazylejskiego dotyczące miar płynnościowych (LCR i NSFR) zawierają wyrażone liczbowo, za pomocą wag nadzorczych, opinie o ryzyku płynności poszczególnych klas pasywów. Zgodnie z Basel 3, w sytuacji napięć płynnościowych brak jest istotnych różnic pomiędzy depozytami bieżącymi a lokatami terminowymi posiadającymi opcję zerwania. Korzystniejsze wagi nadzorcze otrzymują depozyty niezrywalne (czyli: prawdziwe lokaty...
-
Zatory płatnicze a odroczone płatności
PublikacjaUdzielanie kredytu kupieckiego jest wpisane w działalność każdego przedsiębiorstwa. Odroczone płatności sprzyjają wzrostowi sprzedaży, ale również mogą powodować perturbacje w ich funkcjonowaniu. Wpływają na funkcjonowanie przedsiębiorstwa w warunkach ryzyka kredytowego, które przekształca się często w ryzyko płynności. W efekcie tworzą się zatory płatnicze. Celem artykułu jest przedstawienie zatorów płatniczych jako skutków odroczonych...
-
Powikłania po rekonstrukcji piersi: problem zakażeń i strategii prewencyjnej - przegląd literaturowy
PublikacjaW niniejszej pracy przedstawiono dane dotyczące powikłań po rekonstrukcji piersi. Manuskrypt ma na celu usystematyzowanie wyników badań z ostatnich lat wraz z aspektami, takimi jak: częstotliwość występowania powikłań oraz ich rodzaj, czynniki predysponujące, a także możliwości profilaktyki. Przeanalizowano dane literaturowe z ogólnie dostępnych artykułów z okresu ostatnich pięciu lat, ze szczególnym uwzględnieniem zakażeń. Do...
-
<p>Analysis of toxicity and anticancer activity of micelles of sodium alginate-curcumin</p>
Publikacja -
The agr function and polymorphism: Impact on Staphylococcus aureus susceptibility to photoinactivation
Publikacja -
Oszacowanie zagrożenia powodziowego dla budynku biurowo-usługowego Alchemia II przy al. Grunwaldzkiej 409 w Gdańsku
PublikacjaCelem pracy jest oszacowanie zagrożenia powodziowego wynikającego z natural-nych zjawisk meteorologiczno-hydrologicznych dla budynku biurowo-usługowego Alchemia II zlokalizowanego w Gdańsku przy al. Grunwaldzkiej 409. Zakres projektu obejmuje analizę potencjalnych źródeł zagrożenia powodziowego w Gdańsku z uwzględnieniem wód Morza Bałtyckiego i Zatoki Gdańskiej, dorzecza Wisły oraz wód opadowych i roztopowych kształtu-jących procesy...
-
Pieprzyk Pypcio Znamienity
PublikacjaPrzepiękna i edukacyjna książka opowiadająca o losach pieprzyka o imieniu Pypcio Znamienity, jego rodziny i dalekiego kuzyna Czarnego. Domem dla naszych bohaterów jest skóra Melanii, która uwielbia wycieczki na plażę.W książeczce oprócz zabawnej, wciągającej i wzruszającej przygody czytelnicy znajdą edukacyjne plansze, które pomogą im zrozumieć na czym polega wizyta u dermatologa, jak przebiega zabieg wycięcia pieprzyka,...
-
Wspomagane komputerowo określanie wymaganego poziomu nienaruszalności bezpieczeństwa z wykorzystaniem autorskiej aplikacji ProSIL
PublikacjaW referacie przedstawiony został autorski moduł oprogramowania ProSIL wspomagający zarządzanie bezpieczeństwem funkcjonalnym. W module ProSILen wykorzystuje się metody matrycy oraz grafów ryzyka. Referat nawiązuje w swej tematyce do zagadnień związanych z etapem określania specyfikacji wymagań bezpieczeństwa dla zidentyfikowanych funkcji bezpieczeństwa realizowanych przez systemy E/E/PE. Składa się ona z dwóch podstawowych grup...
-
Model dynamicznego balastowania małego morskiego obiektu typu stealth
PublikacjaW artykule przedstawiono podstawowe problemy związane z modelowaniem głównych cech decydujących o trudno-wykrywalności małego obiektu na etapie projektu koncepcyjnego. Metoda badawcza oparta jest na ocenie zachowania się obiektu i ocenie ryzyka wypadku. W artykule skupiono się głównie na przedstawieniu modelu matematycznego opisującego model dynamicznego balastowania małego morskiego obiektu typu stealth. Przedstawione w artykule...
-
Porównanie protokołów umożliwiających samorekonfigurację sieci Ethernet.
PublikacjaPrzedstawiono protokoły warstwy łącza danych stosowane w sieciach Ethernet wtym: algorytm drzewa opinającego - przeciwdziałający krążeniu ramek w sieci LAN (protokół ten z jednej strony ogranicza całkowitą przepustowość sieci, zdrugiej zaś umożliwia automatyczną rekonfigurację sieci w przypadku uszkodzenia łączy lub węzłów); algorytm agregacji łączy - umożliwiający zwiększenie transferu danych między przełącznikami bez zwiększania...
-
Genetics algorithms in multi-objective optimization of detection observer
PublikacjaW rozdziale przedstawia się możliwości zastosowania podejścia genetycznegodo zagadnień wielokryterialnej optymalizacji w przestrzeniach wielowymiaro-wych z wykorzystaniem koncepcji optymalności w sensie Pareto. Jako przykładilustrujący rozważane podejście daje się zadanie syntezy obserwatorów stanusłużących wykrywaniu błądów występujących w układzie sterowania bezzałogowe-go statku latającego oraz w układzie napędowym jednostki...
-
A model-based approach to analysis of authentication protocols.
PublikacjaW 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ń...
-
Dynamic Perfect hashing with finite-state automata
PublikacjaMinimalna doskonała funkcja mieszająca dostarcza odwzorowania zbioru n niepowtarzalnych słów w zwarty zakres n liczb całkowitych. Gdy jest realizowane za pomocą automatów skończonych, odwzorowanie wynika z porządku słów (zwykle alfabetycznego) w zbiorze. Dodanie nowych słów zmieniłoby porządek słów rozpoznawanych przez automat, zmieniając całe odwzorowanie i czyniąc je bezużytecznym w wielu dziedzinach. Dlatego nazywamy je statycznym....