Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

English (EN)·Polski (PL)·Yкраїнський (UK)
Przejdź do strony domowej biblioteki Centralna Biblioteka Wojskowa Link otwiera się w nowym oknie Logo biblioteki Prolib Integro - strona głównaCentralna Biblioteka Wojskowa

Wyszukujesz frazę "formálne" wg kryterium: Temat

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-3 z 3
    Tytuł:
    Ontologia formalna. Przykład: ontologia w Polsce
    Autorzy:
    Kaczmarek, Janusz
    Powiązania:
    https://bibliotekanauki.pl/articles/705906.pdf
    Data publikacji:
    2012-09-01
    Wydawca:
    Polska Akademia Nauk. Czytelnia Czasopism PAN
    Tematy:
    ontologia
    ontologia formalna
    twierdzenia formalne
    twierdzeniainterpretacyjne
    parafraza
    hermeneutyka logiczna
    Opis:
    Na przykładzie ontologii uprawianej w Polsce podjęta zostaje próba określenia, czym jest ontologia formalna. Wskazane zostają typy twierdzeń wypracowanych w ramach ontologii oraz podane są przykłady twierdzeń, które tu nazywamy twierdzeniami formalnymi i twierdzeniami interpretacyjnymi. Dzięki temu można zrozumieć, czym jest ontologia formalna, oraz jaki jest jej stosunek do ontologii jako takiej. Temat tu podjęty jest fragmentem szerszego programu, którego celem jest prezentacja podstawowych koncepcji i problemów opracowanych bądź analizowanych w dziedzinie formalnej ontologii w Polsce.
    Źródło:
    Przegląd Filozoficzny. Nowa Seria; 2012, 3; 165-175
    1230-1493
    Pojawia się w:
    Przegląd Filozoficzny. Nowa Seria
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Functional safety verification of train control procedure in train-centric CBTC by colored Petri net
    Autorzy:
    Lin, Junting
    Xu, Qian
    Powiązania:
    https://bibliotekanauki.pl/articles/949829.pdf
    Data publikacji:
    2020
    Wydawca:
    Polska Akademia Nauk. Czytelnia Czasopism PAN
    Tematy:
    train control procedure
    Train-centric CBTC
    functional safety
    formal methods
    colored Petri net
    procedura kontroli pociągu
    sterowanie pociągiem
    bezpieczeństwo funkcjonalne
    metody formalne
    sieci Petriego
    Opis:
    Communication-based Train Control (CBTC) system is a widely-used signaling system. There is an increasing demand for innovating the traditional ground-centric architecture. With the application of train-train communication, object control and other advanced techniques, Train-centric CBTC (TcCBTC) system is expected to be the most promising tendency of train control system. The safe tracking interval would be reduced as well as the life-cycle costs. Formal methods play an essential role in the development of safety-critical systems, which provides an early integration of the verifiable design process. In the paper, the architecture design of TcCBTC is first analyzed. The official system specification of TcCBTC has not issued, so it takes efforts to perform the systematic summarization of the functional requirements. Secondly, we propose an integrated framework that combines the Colored Petri Net (CPN) models with the functional safety verification of the underlying systems. Functional safety depends on the logic accuracy and is a part of overall safety. The framework also specifies what kinds of functions, behaviors or properties need to be verified. The train control procedure of TcCBTC is regarded as the link among new functional modules, thus it is chosen as the modelling content. Thirdly, the scenarios and the color sets are prepared. Models are established with the novel design thought from top to bottom. Simulation and testing are implemented during the model establishment to discover the apparent errors. Lastly, the model checking by state space is performed. All possible states are checked in detail. Standard behavioral properties and other user-defined properties are verified by state space report and ASK-CTL (Computation Tree Logic) queries, respectively. Verification results reveal that the models are reasonable to depict the dynamic behaviors of train control procedure. The functional safety properties are satisfied and prepared for further drafting the system functional specification.
    Źródło:
    Archives of Transport; 2020, 54, 2; 43-58
    0866-9546
    2300-8830
    Pojawia się w:
    Archives of Transport
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Le roman post-sismique en Haïti: une écriture (post)contemporaine de l’extrême
    Autorzy:
    Vignoli, Alessia
    Powiązania:
    https://bibliotekanauki.pl/articles/2083175.pdf
    Data publikacji:
    2018
    Wydawca:
    Polska Akademia Nauk. Czytelnia Czasopism PAN
    Tematy:
    catastrophic literature
    Haitian earthquake 2010
    formal strategies
    Marvin Victor
    Makenzy Orcel
    pisanie o katastrofie
    trzęsienie ziemi na Haiti w 2010 r.
    literackie strategie formalne
    Opis:
    Many Haitian writers since the earthquake that destroyed Port-au-Prince in January 2010 have developed in their works of fiction the theme of writing the disaster, expressing it in various forms. The aim of this paper is to analyze the strategies adopted to write about the psychological and social effects of the cataclysmic event in two post-earthquake novels, Marvin Victor’s Corps mêlés (2011) and Makenzy Orcel’s Les Immortelles (2010). In questioning the relationship between literature and the present-time, the two Haitian writers chose different styles and forms to transpose into fiction the disruptions caused by the earthquake. We will focus our attention on two narrative strategies in particular: the interior monologue chosen by Victor and the hybrid narration preferred by Orcel.
    Od czasu trzęsienia ziemi, które w styczniu 2010 roku zniszczyło Port-au-Prince, większość pisarzy haitańskich na różne sposoby podejmuje w swojej twórczości powieściowej temat pisania o katastrofie. Celem niniejszego artykułu jest analiza strategii pisania o psychicznych i społecznych skutkach katastrofy, jaką było owo trzęsienie ziemi, obranych w dwóch powieściach: Corps mêlés (2011) Marvina Victora i Les Immortelles (2010) Makenzy’ego Orcela. Stawiając pytanie o związek między literaturąi współczesnością, ci dwaj haitańscy pisarze obierają odmienne style i formy powieściowe, by mówićo wstrząsie spowodowanym trzęsieniem ziemi. W centrum zainteresowania znajdą się tu zwłaszcza dwie strategie powieściowe: długi rozczłonkowany monolog w utworze Victora i hybrydalna narracja Orcela, mieszająca głosy i gatunki.
    Źródło:
    Kwartalnik Neofilologiczny; 2018, 3; 353-362
    0023-5911
    Pojawia się w:
    Kwartalnik Neofilologiczny
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      Wyświetlanie 1-3 z 3

      Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies