Publications - Catalog Publications - Bridge of Knowledge

Search

Catalog Publications

Filters

total: 63643

  • Category

  • Year

  • Options

clear Chosen catalog filters disabled

Catalog Publications

Year 2008

Year 2003

Year 2022

Year 2016

Year 2010

Year 2006

Year 2004

  • A model of ship propulsion systems operating process.
    Publication

    - Year 2004

    Artykuł zawiera opis formalny procesu eksploatacji układów napędowych statków. Model tego procesu został przedstawiony w formie dwuwymiarowego procesu,, którego współrzędnymi są procesy semi-Markowa o skończonych zbiorach stanów. Jeden z tych procesów jest procesem zmian stanów technicznych układów napędowych a drugi „ procesem zmian ich stanów eksploatacyjnych. Zaproponowano także jednowymiarowy model procesu eksploatacji układów...

  • A model-based approach to analysis of authentication protocols.
    Publication

    - Year 2004

    W 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ń...

  • A multi-level risk-based method for safety assessment of ships in critical conditions.
    Publication

    W pracy przedstawiono podstawowe informacje na temat badań dla bezpieczeństwa statków w warunkach krytycznych. Opisano nowoczesne podejście do oceny bezpieczeństwa statków. Przedstawiono podstawowe elementy metody oceny bezpieczenstwa statków w warunkach krytycznych oraz elementy modelu obliczeniowego. Przedstawiono także elementy metody bezpośredniej oceny stateczności i stateczności awaryjnej statków. Podano kilka przykładów...

  • A multirate approach to DDS algorithm versus Taylor-series expansion technique.
    Publication

    Pokazano, że cyfrowy generator syntezy bezpośredniej (DDS) można traktować jako algorytm wieloszybkościowy. Rozważono i porównano dwa sposoby wykorzystania pamięci. W pierwszym z nich zastosowano filtr ułamkowo-opóźniający o strukturze Farrowa. Drugie podejście oparto na rotacji fazy na podstawie rozwinięcia w szereg Taylora. Eksperymenty pokazują, że za pomocą obu tych sposobów, dla sinusoidy zespolonej generowanej w kwadraturowym...

Year 2015

Year 2023

Year 2005

  • A model-based approach to analysis of security protocols - a case study
    Publication
    • M. (. Olszewski

    - Year 2005

    Artykuł przedstawia zintegrowane środowisko analizy protokołów bezpieczeństwa. Środowisko zostało oparte o znaną metodę formalną CSP oraz wspierające ją narzędzia: Casper oraz FDR. Integralną częścią opisywanego środowiska jest pół-formalne zorientowane obiektowo podejście do modelowania protokołów kryptograficznych, ich kontekstu aplikacyjnego oraz wymagań bezpieczeństwa. Modelowanie obiektowe zostało oparte o język UML oraz...

  • A multi-level risk-based method for safety assessment of ships in critical conditions. Option for preliminary design
    Publication

    W pracy przedstawiono wybrane informacje na temat metody oceny bezpieczeństwa statków w warunkach krytycznych. Metoda umożliwia wielokryterialne i wieloparametryczne badanie bezpieczeństwa statków, w celu otrzymania wymaganego i optymalnego poziomu bezpieczeństwa. W metodzie wykorzystano podejście do projektowania oparte o ocenę osiągów statku i ocenę ryzyka. Istnieje możliwość dostosowania metody do oceny bezpieczeństwa statku...

Year 2014

Year 2020

Year 2021

Year 2017

Year 2007

Year 2002

Year 2011

  • A more colorful hat problem

    The topic is the hat problem in which each of n players is randomly fitted with a blue or red hat. Then everybody can try to guess simultaneously his own hat color by looking at the hat colors of the other players. The team wins if at least one player guesses his hat color correctly, and no one guesses his hat color wrong; otherwise the team loses. The aim is to maximize the probability of winning. We consider a generalized hat...

    Full text available to download

Year 2019

  • A Multi-Antenna Scheme for Early Detection and Mitigation of Intermediate GNSS Spoofing
    Publication

    - SENSORS - Year 2019

    This article presents a method for detecting and mitigating intermediate GNSS spoofing. In this type of attack, at its early stage, a spoofer transmits counterfeit signals which have slight time offsets compared to true signals arriving from satellites. The anti-spoofing method proposed in this article fuses antenna array processing techniques with a multipath detection algorithm. The latter is necessary to separate highly correlated...

    Full text available to download

Year 2018

Year 2024

Year 2013

  • A multisensor detector of a sleep apnea for using at home

    Diagnosis of obstructive sleep apnea usually involves polysomnographic analysis, which unfortunately requires overnight stay in a specialized clinic and is very uncomfortable for a patient. This paper describes the method and apparatus for recording a set of signals to detect sleep apnea. The device records the following signals simultaneously: three-channel ECG, respiratory functions, signals from the accelerometer, and snoring...

    Full text to download in external service

Year 2009

  • A multistage turbine for a micro power plant

    This paper presents results of a design analysis of a multi-stage turbine for the cogeneration micro-power plant working in accordance with Organic Rankine Cycle (ORC). The heat power of the plant is assumed equal to 20 kW and the corresponding available electric output is estimated to be of about 3 kW. Different variants of the radial and axial-flow turbines have been considered, while the detailed results of the calculations...

Alphabetical order