Filters
total: 2030
filtered: 1109
-
Catalog
- Publications 1109 available results
- Journals 12 available results
- Publishing Houses 1 available results
- People 78 available results
- Inventions 6 available results
- Projects 14 available results
- Research Teams 5 available results
- Research Equipment 1 available results
- e-Learning Courses 535 available results
- Events 29 available results
- Open Research Data 240 available results
Chosen catalog filters
displaying 1000 best results Help
Search results for: PROGNOZOWANIE RYZYKA
-
The cartographer algorithm for processing and querying description logics ontologies
PublicationLogika opisowa jest jednym z najbardziej popularnych formalizmów opisu wiedzy. Jej popularność jeszcze wzrosła kiedy pojawił się standard języka OWL. W artykule zaprezentowano nowy algorytm wnioskowania - algorytm kartograficzny - umożliwiający wnioskowanie niejawnie podanej wiedzy z terminologii (TBox) i opisu świata (ABox). Opisano sposób przetwarzania ontologii w terminach sygnatur binarnych i efektywny sposób odpytywania ontologii...
-
Internet as a new platform for delivery of microwave CAD services.
PublicationZaprezentowano aplikację przeznaczoną do syntezy filtrów rezonatorowych, która jest realizacją nowego sposobu myślenia związanego z rewolucją usług internetowych, które charakteryzują się niskim kosztem tworzenia oraz szybką i bezpieczną dystrybucją. Opisano stworzoną wielowarstwową aplikację, która gwarantuje łatwy, bezpieczny oraz ograniczony dostęp do aplikacji dla szerokiego kręgu osób. Zawarto w niej algorytm szybkiej syntezy...
-
Modele semantyczne wymiany informacji o stanie systemu elektroenergetycznego
PublicationZaprezentowano Common Information Model CIM opracowany w Electric Power Research Institute EPRI w USA. Model ten wypełnia brak uniwersalnego języka opisu topologii i stanu sieci elektroenergetycznej. Stworzony został na potrzeby integracji narzędzi stosowanych przez podmioty sektora elektroenergetycznego. CIM wykorzystuje RDF Schema Definition (RDFS) i RDF. Na tle tego standardu przedstawiono własny zestaw pojęć mapujący meta-ontologię...
-
Application of semi-Markov processes for evaluation of diesel engines reliability with regards to diagnostics
PublicationThe paper presents semi-Markov models of technical state transitions for diesel engines, useful for determination of their reliability, as a result of the conducted statistical empirical studies. Interpretation of technical states provided for this sort of engines refers to ship main engines, i.e. engines employed in propulsion systems of sea-going ships. The considerations recognize diesel engine as a diagnosed system (SDN), of...
-
Application of ecotoxicological studies in integrated environmental monitoring: possibilities and problems
PublicationPodstawowym celem badań stanu środowiska i procesów w nim zachodzących jest oszacowanie wpływu różnego typu zanieczyszczeń na organizmy żywe, w tym także na organizm człowieka. Jeszcze do niedawna do oceny ryzyka środowiskowego wykorzystywano wyniki uzyskane w trakcie badań analitycznych z wykorzystaniem typowych metod chemicznych i fizykochemicznych. Niestety, miały one charakter badań rutynowych i ograniczały się do oznaczania...
-
Anioły biznesu jako niekonwencjonalne źródło finansowania przedsiębiorczości
PublicationPodmioty gospodarcze, będąc elementem każdego modelu gospodarki, są bardzo istotne z punktu widzenia funkcjonowania wszystkich systemów ekonomicznych na świecie. Stan gospodarki jest bowiem silnie zależny od dynamicznego rozwoju sektora przedsiębiorczości. Zależność ta zachodzi na wszystkich etapach rozwoju gospodarczego, może ona jednak przybierać różne nasilenie i charakter. W Polsce, podobnie jak na całym świecie, powstaje wiele nowych...
-
Nowe podejście do analizy wskaźnikowej w przedsiębiorstwie
PublicationAutor 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...
-
Wykorzystanie miar złożoności projektu do oceny stanu ewolucji organizacji informatycznej.
PublicationCelem artykułu jest ocena możliwości wykorzystania miar złożoności projektu do oceny stanu ewolucji organizacji informatycznej. Stan ewolucji organizacji informatycznej ma znaczenie dla powszechnego obecnie zjawiska zwinnej transformacji, tak ważnej dla obniżenia ryzyka realizacji projektów informatycznych. Autorzy pracy przedstawili na wstępie problematykę procesów ewolucji organizacji informatycznych w kontekście zmian transformacyjnych....
-
Business angels jako alternatywne źródło finansowania start-upów
PublicationPodmioty gospodarcze jako element każdego modelu gospodarki są bardzo istotne z punktu widzenia funkcjonowania każdego systemu ekonomicznego na świecie. Stan gospodarki jest bowiem silnie zależny od dynamicznego rozwoju sektora przedsiębiorczości. Zależność ta zachodzi na wszystkich etapach rozwoju gospodarczego, może ona jednak przybierać różne nasilenie i charakter. W Polsce, podobnie jak na całym świecie, powstaje wiele nowych...
-
Zastosowanie metody hydrofitowej do oczyszczania odcieków ze składowisk odpadów komunalnych
PublicationW artykule omówiono działanie trzech oczyszczalnie hydrofitowych zasilanych odciekami ze składowisk odpadów komunalnych, zlokalizowanych w północnej Polsce (2 obiekty) oraz w południowej Szwecji (1 obiekt). Analizowane obiekty różniły się budową, sposobem przepływu ścieków i sposobem podczyszczania odcieków surowych. Przeanalizowano, jak różnice w konfiguracji oraz sposobie eksploatacji obiektów wpływały na ich funkcjonowanie i...
-
Wpływ parametrów filtra wejściowego lc pojazdu na stabilność trakcyjnego układu zasilania
PublicationW referacie przedstawiono wpływ zmiany parametrów elektrycznych filtra na stabilność układu zasilania trakcji elektrycznej. Zaprezentowano ogólne założenia teoretyczne problemu oraz zaproponowano nowy współczynnik pozwalający na wstępne określenie stabilności sys-temu dla przyjętych parametrów filtra wejściowego. Przedstawiono wyniki analizy symula-cyjnej wykonanej w programie PSpice przy wykorzystaniu opracowanych modeli poszcze-gólnych...
-
Poprawa bezpieczeństwa osób z niepełnosprawnością podczas ewakuacji z obiektów użyteczności publicznej
PublicationObecne przepisy budowlane nie zapewniają osobom z niepełnosprawnością pełnego bezpieczeństwa na wypadek pożaru. W artykule zarysowane zostaną obszary problemowe związane z technicznymi warunkami zapewnienia tym osobom bezpiecznej ewakuacji z budynku. Przedstawione zostaną przykłady rozwiązań zwiększających bezpieczeństwo tych osób oraz sposoby ewakuacji przy pomocy środków technicznych. Poruszona zostanie tematyka dostępu do informacji...
-
Zarządzanie terminowością w projektach. Wskaźniki i narzędzia
PublicationCzas jest istotnym elementem tzw. trójkąta projektu, dlatego też terminowość, rozu-miana, jako realizacja przedsięwzięcia w zadanym czasie, to parametr, który powinien podle-gać szczególnemu nadzorowi, a ryzyko nieterminowej realizacji powinno być wykrywane niezwłocznie. Istniejące już metody, takie jak np. wartość wypracowana (j.ang Earned Value - EV) pozwalają zaadresować te wyzwania, jednak ze względu na swoją złożoność mogą...
-
Superconducting SrSnP with Strong Sn–P Antibonding Interaction: Is the Sn Atom Single or Mixed Valent?
PublicationThe large single crystals of SrSnP were prepared using Sn self-flux method. The superconductivity in the tetragonal SrSnP is observed with the critical temperature of ∼2.3 K. The results of a crystallographic analysis, superconducting characterization, and theoretical assessment of tetragonal SrSnP are presented. The SrSnP crystallizes in the CaGaN structure type with space group P4/nmm (S.G. 129, Pearson symbol tP6) according...
-
RuAl6—An Endohedral Aluminide Superconductor
PublicationSuperconductivity is reported in an endohedral aluminide compound, RuAl6, with Tc = 1.21 K. The normalized heat capacity jump at Tc, ΔC/γTc = 1.58, confirms bulk superconductivity. The Ginzburg–Landau parameter of κ = 9.5 shows that RuAl6 is a type-II superconductor. Electronic structure calculations for RuAl6 are explored in comparison to its structural analogue ReAl6 (Tc = 0.74 K). The stability of the phases is discussed in...
-
Thermal, electrical, and magnetic properties of Fe2O3–PbO–SiO2 glass prepared by traditional melt-quenching and twin roller fast-cooling methods
PublicationIn this study, Fe–Pb–Si oxide glasses containing between 12.5 and 17.5 mol% Fe2O3 were prepared using two different methods comprising traditional melt-quenching and twin roller fast-cooling techniques. The topography and structure of the materials obtained were characterized by X-ray powder diffraction and scanning electron microscopy. All of the materials were found to be amorphous. The topography of most of the glasses comprised...
-
Gazetteer compression technique based on substructure recognition
PublicationAutomaty skończone są najlepszą formą reprezentacji słowników do przetwarzania języka naturalnego. Przedstawiamy nową technikę kompresji, która jest szczególnie użyteczna w stosunku do pewnego rodzaju słowników. Zastępujemy wielokrotnie występujące podstruktury ich niepowtarzalnymi reprezentantami. Do ich znalezienia traktujemy wektor przejść jako tekst i stosujemy technikę kompresji tekstu w stylu Ziv-Lempel, która znajduje powtórzenia...
-
Pathogenesis and pathophysiology of ovarian follicular cysts in mammals
Publication -
The role of TGF superfamily gene expression in the regulation of folliculogenesis and oogenesis in mammals: a review
Publication -
Improving flexibility and performance of PVM applications by distributed partial evaluation
PublicationA new framework for developing both flexible and efficient PVM applications is described. We propose Architecture Templates Interface (ATI) that allows to control application granularity and parallelism. To ensure high application efficiency we extend partial evaluation strategy into domain of distributed applications obtaining Distributed Partial Evaluation (DPE). Both ATI and DPE were implemented using a new distributed programming...
-
Systemy automatycznej detekcji bezdechu sennego
PublicationZgodnie z przyjętą klasyfikacją międzynarodową identyfikowanych jest ponad 60 różnych zaburzeń snu [58] z podziałem na 7 kategorii. Bezdech senny, zarówno centralny jak i obturacyjny zaliczany jest do kategorii drugiej. Systemy pomiarowe wykorzystywane w monitorowaniu i diagnozie snu, w tym wykorzystywane do detekcji bezdechu sennego, można sklasyfikować ze względu na wiele kryteriów, np. ze względu na to czy badania wykonywane...
-
Możliwości komputerowego wspomagania interaktywnych ćwiczeń i testów.
PublicationArtykuł 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...
-
Les transducteurs à sorties variables
PublicationW 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...
-
Badanie wpływu rodzaju asfaltu na odporność mieszanek mineralno-asfaltowych na spękania odbite z wykorzystaniem urządzenia Texas Overlay Tester (TxOT)
PublicationSpękania są jednym z głównych rodzajów zniszczeń występujących w nawierzchniach asfaltowych, zwłaszcza w przypadku starych nawierzchni, które zostały wzmocnione nowymi warstwami asfaltowymi – nakładką. Mieszanki mineralno-asfaltowe stosowane w takich przypadkach powinny być tak zaprojektowane, aby zapewniały wysoką odporność nowych warstw na spękania odbite. Jednym z czynników minimalizujących ryzyko wystąpienia...
-
Dopiero doświadczenie pokazuje, że nie jestem aż tak dobry – o malejącym poczuciu samoskuteczności wśród początkujących przedsiębiorców
PublicationW artykule prezentowane są wyniki badań ankietowych przeprowadzonych w grupie 76 przedsiębiorców, założycieli mikrofirm. Osoby badane były ankietowane po raz pierwszy na początku prowadzenia działalności – w czasie nie późniejszym niż 6 miesięcy od momentu założenia firmy oraz ponownie po upływie roku od pierwszej ankiety. Analiza statystyczna uzyskanych wyników wykazała, że w badanej grupie przedsiębiorców w sposób istotny obniżył...
-
Systemy ekspertowe wykorzystujące język korzyści do projektowania nowoczesnych technologii dla osób starszych
PublicationCelem 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
PublicationKiedyś, 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ć...
-
Public relations w społeczeństwie
PublicationW artykule stawiam tezę – powtarzając za „„Standardami profesjonalnych public relations”- o konieczności wysuwania na plan pierwszy - we wszelkich działaniach w obszarze public relations - ich zgodności z wartościami i normami etycznymi, ponieważ wszelkie działania public relations są nie tylko realizowane w przestrzeni społecznej, ale mają istotny wpływ na kształt, kondycję społeczeństwa, również na budowę demokracji i społeczeństwa...
-
WPŁYW OCENY WARTOŚCI ZACHOWANEGO KULTUROWEGO DZIEDZICTWA MATERIALNEGO NA PROCES INWESTYCYJNY NA TERENACH STOCZNI GDAŃSKIEJ OBJĘTYCH PROGRAMEM REWITALIZACYJNYM
PublicationRewitalizacja terenów poprzemysłowych i obiektów poprzemysłowych jest procesem długoterminowym i wieloetapowym. W pierwszym etapie rewitalizacji ważna jest ocena materialnej, emocjonalnej i użytkowej wartości zachowanego dziedzictwa kulturowego. Na przykładzie projektu rewitalizacyjnego, który trwa od 1996 r., Na dawnych obszarach Stoczni Gdańskiej, w których znajdują się pozostałości Stoczni Cesarskiej i Stoczni Schichau, przedstawiono...
-
Bez atomu w naszym domu. Protesty antyatomowe w Polsce po 1985 roku
PublicationPraca zbiorowa autorstwa Tomasza Borewicza, Kacpra Szuleckiego i Janusza Waluszko o protestach przeciw energetyce jądrowej w Polsce umiejscawia antyatomowe protesty, które przetoczyły się przez Polskę w latach 1985-1990, w szerszym kontekście. Energetyka jądrowa była przez kilka dekad symbolem nowoczesności, jednak od początku budziła kontrowersje przez skalę związanego z nią ryzyka. Wybuch w Czarnobylu był iskrą, która zapaliła...
-
Exchange Traded Funds (ETFs) rynków wschodzących
PublicationETFs są instrumentami umożliwiającymi osiąganie przez inwestorów szeregu korzyści, zwłaszcza w zestawieniu z tradycyjnymi funduszami. O wysokim zainteresowaniu ETFs świadczą rosnące rozmiary rynku. Jednak wzrost zróżnicowania ETFs i wprowadzenie na rynek funduszy syntetycznych sprawiły, że pojawiły się nowe czynniki ryzyka, które muszą zostać uwzględnione zarówno przez podmioty biorące udział w obrotach, jak i przez instytucje...
-
Characteristics of the Radunia river and its catchment in view of WFD
PublicationCelem Ramowej Dyrektywy Wodnej (RDW), między innymi problemami jest ochrona śródlądowych wód powierzchniowych, zabezpieczenie przed dalszym pogorszenien ich stanu i poprawa stanu ekosystemów wodnych. Badania Rzeki Raduni i jej zlewni zostały wykonane przez Instytut Budownictwa Wodnego i Politechnikę Gdańską. Dotyczyły one wód śródlądowych (rzeki, jeziora, zbiorniki), ich hydrologii, hydrauliki i jakości wody. Rzeka jest istotna...
-
Numerical simulation of rapidly varied water flow in the ´Wild River´ type water slide
PublicationPrzedstawiono numeryczną analizę przepływu w zjeżdżalni wodnej typu "Dzika Rzeka". Jako model matematyczny przyjęto równania przepływu wody płytkiej. Wobec szybkozmiennego ruchu wody do rozwiązania zastosowano metodę objętości skończonych. Numeryczną symulację przepływu wykonano na trójkątnej siatce niestrukturalnej. Wyniki obliczeń porównano z obserwacjami na obiekcie rzeczywistym zainstalowanym w parku wodnym w Sopocie. Dodatkowo...
-
Gemcitabine-Based Treatment in Poor Prognosis Patients with Relapsed and Refractory Hodgkin Lymphoma and Non-Hodgkin Lymphoma – a Multicenter Polish Experience
Publication -
Network-centric warfare: a strategy for homeland security
PublicationPojawienie się międzynarodowego terroryzmu skutkuje nowym podejście do identyfikacji potencjalnych zagrożeń dla bezpieczeństwa krajowego. Powstał strategiczny dylemat - jak zidentyfikować przeciwnika? Utworzono pojęcie asymetrycznego zagrożenia i, w konsekwencji, asymetrycznej wojny. Z dużym prawdopodobieństwem można założyć, że kolejne zagrożenia będą dotyczyć takich elementów krajowej infrastruktury, jak źródła energii, elektrownie,...
-
Problematyka implantacji protez piersiowych - przegląd literatury
PublicationOperacje związane z wykorzystaniem implantów piersi są jednymi z najczęściej przeprowadzanych zabiegów chirurgii plastycznej, dlatego istotne jest, aby zminimalizować ryzyko powikłań. Do najczęściej występujących zalicza się: obrzęk, wysięk, krwiaki, problemy z gojeniem ran oraz infekcje. Zakłada się, że infekcja jest głównym czynnikiem prowadzącym do degradacji implantu. Agresywne środowisko gospodarza, ciągłe zmiany pH i temperatury...
-
Application of biocompatible and ultrastable superparamagnetic iron(iii) oxide nanoparticles doped with magnesium for efficient magnetic fluid hyperthermia in lung cancer cells
Publication -
Nowe wyzwania dla architektury krajobrazu - oceny środowiskowe = New challenges for landscape architecture - Environmental Impact Assessments
PublicationArchitektura krajobrazu jest dziedziną, której potencjał w Polsce nie jest odpowiednio wykorzystywany w gospodarowaniu przestrzenią. Tymczasem istnieją narzędzia dające możliwość przełożenia dorobku tej dziedziny na działania praktyczne. Należy do nich system ocen środowiskowych, towarzyszący procesom planistycznym i inwestycyjnym. W Europie w ramach ocen oddziaływania na środowisko (OOŚ) stosowana jest metodologia ocen krajobrazowych...
-
Перевод английских заглавий фильмов в Польше и в России
PublicationArtykuł 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...
-
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...
-
Timing diagrams functionalities in information systems modeling with UML 2
PublicationArtykuł 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...
-
Filozofia Kaizen. Rozwój międzynarodowego przedsiębiorstwa według japońskiej metody
PublicationTematem niniejszej pracy stała się japońska koncepcja Kaizen, jej analiza na podstawie wybranych przykładów z badań własnych. Celem pracy było przywołanie filozofii pod kątem teoretycznym, ale również praktycznym opierając się na przytoczeniu kilku przykładów. Praca naukowa w swojej treści obejmuje analizę oraz znalezienie odpowiedzi na kilka kluczowych pytań: Czym jest koncepcja Kaizen? Co oznacza japońska filozofia pracy "...
-
Stability criteria as constraints in a fleet of ships optimisation problem
PublicationRozwiązano problem dotyczący matematycznej optymalizacji floty statków wielozadaniowych typu rzeka-morze, przeznaczonych dla europejskiej żeglugi przybrzeżnej i eksploatowanych w obszarze Mórz Północnego i Bałtyckiego, na poziomie zadania transportowego za pomocą metod programowania nieliniowego z ograniczeniami. Zaproponowano metodę włączenia istniejących kryteriów skuteczności statków jako ograniczeń w ogólnym modelu optymalizacji...
-
Physical modelling of water flow in 'Wild River' type water slide
PublicationPrzedstawiono wyniki fizycznego modelowania przepływu w zjeżdżalni wodnej typu Dzika Rzeka. Badania dotyczyły obiektu należącego do parku wodnego "Świat Wodny Nemo" w Sopocie. Eksperymenty przeprowadzono w Laboratorium Hydrauliki i Inżynierii Środowiska Politechniki Gdańskiej. Zaobserwowany w systemie kanałów i zbiorników przepływ wody można ocenić jako szybkozmienny. Wskutek zmian spadku dna kanałów oraz łuków trasy zjazdu obserwowano...
-
Badania polowe i analiza modalna trybuny stalowej
PublicationNiegdyś trybuny stalowe wykorzystywane były tylko podczas wydarzeń sportowych. Dzięki swoim zaletom dziś spotkać możemy je podczas koncertów muzycznych, wystaw, festiwali, gdzie dużej liczbie ludzi towarzyszy głośna muzyka. Użycie lekkich i smukłych elementów konstrukcyjnych, które wraz z nieprzewidywalnym zachowanie się tłumu oraz głośną muzyką przyczyniają się do niskich wartości częstotliwości drgań przez co łatwiej wzbudzają...
-
Eksperymentalne i numeryczne badania parametrów dynamicznych trybuny stalowej
PublicationTrybuny stalowe to konstrukcje, które odnajdują swoje zastosowanie głównie podczas wydarzeń sportowych, koncertów muzycznych oraz innych wydarzeń, którym towarzyszą rytmiczne aktywności widzów i głośna muzyka. Ze względu na smukłość oraz lekkość elementów z jakich wykonana jest konstrukcja trybuny jest ona bardzo łatwo wzbudzana przez ludzi do drgań. Z przeprowadzonej w pracy [4] analizy modalnej wynika, że masa ludzi prowadzi...
-
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ń...
-
Dynamic Perfect hashing with finite-state automata
PublicationMinimalna 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....
-
Designing world closures for knowledge-based system engineering
PublicationWraz z rozwojem komponentów opartych na wiedzy przed inżynierami oprogramowania postawione zostały nowe zadania. Jednym z nich jest zintegrowanie tych komponentów z innymi standarodowymi komponentami. Zrealizowanie tego zadania wymagało zdefiniowania języka komunikacji pomiędzy różnymi komponentami w celu wymiany informacji. W artykule omówiono problem wymiany informacji pomiędzy komponentami opartymi na wiedzy i komponentami opartymi...
-
Bezpieczeństwo statków towarowych w stanach uszkodzonego poszycia w odniesieniu do warunków eksploatacyjnych. Wady probabilistycznego modelu opisu bezpieczeństwa
PublicationArtykuł ten jest poświęcony bezpieczeństwu statków w stanie uszkodzonym. Została w nim przedstawionaanaliza wybranego modelu stanu awaryjnego, polegająca na uszkodzeniu poszycia i wtargnięciu wody dokadłuba statku. W artykule znalazła się krytyka istniejącej metody zawartej w przepisach konwencji SOLAS2009 oceny bezpieczeństwa statków, oraz wnioski z możliwego do zastosowania alternatywnego modelu, któryodpowiada wynikom...