Publikacje - Katalog Publikacji - MOST Wiedzy

Wyszukiwarka

Katalog Publikacji

Filtry

wszystkich: 63756

  • Kategoria

  • Rok

  • Opcje

wyczyść Filtry wybranego katalogu niedostępne

Katalog Publikacji

Rok 2018

Rok 2008

Rok 2003

Rok 2022

Rok 2016

Rok 2010

Rok 2006

Rok 2004

  • A model of ship propulsion systems operating process.
    Publikacja

    - Rok 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.
    Publikacja

    - Rok 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.
    Publikacja

    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.
    Publikacja

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

Rok 2015

Rok 2023

Rok 2005

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

    - Rok 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
    Publikacja

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

Rok 2014

Rok 2020

Rok 2021

Rok 2017

Rok 2007

Rok 2002

Rok 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...

    Pełny tekst do pobrania w portalu

Rok 2019

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

    - SENSORS - Rok 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...

    Pełny tekst do pobrania w portalu

Rok 2024

Rok 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...

    Pełny tekst do pobrania w serwisie zewnętrznym

Rok 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...

Podział alfabetyczny