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ę "temporal order" wg kryterium: Temat

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-4 z 4
    Tytuł:
    Temporal evaluation criteria of project-oriented socio-economic and technical systems development
    Temporal'nye kriterii ocenki razvitija proekto-orientirovannykh social'no-ehkonomicheskikh i tekhnicheskikh sistem
    Autorzy:
    Rach, V.
    Sultan, M.
    Powiązania:
    https://bibliotekanauki.pl/articles/793264.pdf
    Data publikacji:
    2014
    Wydawca:
    Komisja Motoryzacji i Energetyki Rolnictwa
    Tematy:
    temporal order
    technical system
    socioeconomic system
    comparative analysis
    computer simulation
    present state
    development process
    calculation method
    computer experiment
    Źródło:
    Teka Komisji Motoryzacji i Energetyki Rolnictwa; 2014, 14, 2
    1641-7739
    Pojawia się w:
    Teka Komisji Motoryzacji i Energetyki Rolnictwa
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Modeling of distributed objects computing pattern combinations using a formal specification language
    Autorzy:
    Taibi, T.
    Ngo, D. C. L.
    Powiązania:
    https://bibliotekanauki.pl/articles/908185.pdf
    Data publikacji:
    2003
    Wydawca:
    Uniwersytet Zielonogórski. Oficyna Wydawnicza
    Tematy:
    informatyka
    Balanced Pattern Specification Language (BPSL)
    First-Order Logic (FOL)
    Temporal Logic of Actions (TLA)
    substitution
    addition
    elimination
    Opis:
    Design patterns help us to respond to the challenges faced while developing Distributed Object Computing (DOC) applications by shifting developers' focus to high-level design concerns, rather than platform specific details. However, due to the inherent ambiguity of the existing textual and graphical descriptions of the design patterns, users are faced with difficulties in understanding when and how to use them. Since design patterns are seldom used in isolation but are usually combined to solve complex problems, the above-mentioned difficulties have even worsened. The formal specification of design patterns and their combination is not meant to replace the existing means of describing patterns, but to complement them in order to achieve accuracy and to allow rigorous reasoning about them. The main problem of the existing formal specification languages for design patterns is the lack of completeness. This is mainly because they tend to focus on specifying either the structural or behavioral aspects of design patterns but not both of them. Moreover, none of them even ventured in specifying DOC patterns and pattern combinations. We propose a simple yet Balanced Pattern Specification Language (BPSL) aimed to achieve equilibrium by specifying both the aspects of design patterns. The language combines two subsets of logic: one from the First-Order Logic (FOL) and the other from the Temporal Logic of Actions (TLA).
    Źródło:
    International Journal of Applied Mathematics and Computer Science; 2003, 13, 2; 239-253
    1641-876X
    2083-8492
    Pojawia się w:
    International Journal of Applied Mathematics and Computer Science
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Towards partial order reductions for fragments of alternating-time temporal logic
    O redukcjach częścio-porządkowych dla fragmentów logiki temporalnej czasu alternatywnego
    Autorzy:
    Dembiński, P.
    Jamroga, W.
    Mazurkiewicz, A.
    Penczek, W.
    Powiązania:
    https://bibliotekanauki.pl/articles/182716.pdf
    Data publikacji:
    2016
    Wydawca:
    Polska Akademia Nauk. Instytut Podstaw Informatyki PAN
    Tematy:
    Alternating-Time Temporal Logic
    asynchronous systems
    partial order reduction
    traces
    logika temporalna czasu alternującego
    systemy asynchroniczne
    redukcje częścio-porządkowe
    ślady
    Opis:
    A general semantics of strategic abilities of agents in asynchronous systems with and without perfect information is proposed, and some general complexity results for verification of strategic abilities in asynchronous systems are presented. A methodology for partial order reduction (POR) in verification of agents with imperfect information is developed, based on the notion of traces introduced by Mazurkiewicz. Two semantics of ATL∗ −X are considered and it is shown that for memoryless imperfect information (|=ir) contrary to memoryless perfect information (|=Ir), one can apply techniques known for LTL−X.
    Raport definiuje ogólną semantykę dla strategicznych umiejętności agentów w systemach asynchronicznych z pełną i częściową informacją, oraz prezentuje ogólne wyniki dotyczące złożoności weryfikacji strategicznych możliwości w systemach asynchronicznych. Metoda redukcji częścio-porządkowych, wykorzystująca ślady Mazurkiewicza, została zastosowana do weryfikacji agentów z niepełną informacją. Dla rozważanych dwóch semantyk logiki ATL*_x zostało pokazane, że dla bezpamięciowej niepełnej informacji (|=ir) w przeciwieństwie do bezpamięciowej pełnej informacji (|=Ir), można zastosować metody znane dla LTL_x.
    Źródło:
    Prace Instytutu Podstaw Informatyki Polskiej Akademii Nauk; 2016, 1036; 1-32
    0138-0648
    Pojawia się w:
    Prace Instytutu Podstaw Informatyki Polskiej Akademii Nauk
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Teoria systemów i zagadki kultury prawnej
    Systems Theory and Puzzles of Legal Culture
    Autorzy:
    Winczorek, Jan
    Powiązania:
    https://bibliotekanauki.pl/articles/531477.pdf
    Data publikacji:
    2012
    Wydawca:
    Stowarzyszenie Filozofii Prawa i Filozofii Społecznej – Sekcja Polska IVR
    Tematy:
    Niklas Luhmann
    teoria systemów
    kultura prawna
    sprzężenie strukturalne
    obserwacja pierwszego rzędu
    obserwacja drugiego rzędu
    czasowa natura systemów społecznych
    Systems Theory
    legal culture
    structural coupling
    first-order observation
    second-order observation
    temporal nature of social systems
    Opis:
    Kultura prawna to pojęcie tyleż centralne dla nauk prawnych i socjologii prawa, co trudne do zdefiniowania. Ma ono służyć ważnym potrzebom teoretycznym, ale jest też odpowiedzialne, za niektóre dylematy nękające prawników i badaczy problematyki społeczno-prawnej. Niektóre z nich są dość słynne: zagadka natury japońskiej skłonności do sporów, zagadka różnic w niemieckiej i holenderskiej kulturze prawnej czy też, ostatnio, zagadnienie obrony przez kulturę. Niektóre z nich są mniej znane, jak wielość sądowych strategii orzekania w rzekomo zunifikowanej kulturze prawnej Polski. Artykuł stawia tezę, że problemy tej natury są artefaktami pojęciowymi, wynikiem reifikacji rozumienia kultury prawnej jako fenomenu. Podkreśla się, że w takich badaniach większą wagę należy przykładać do bezpośredniej, proceduralnej natury badanych zjawisk. W celu poparcia tych twierdzeń wykorzystana zostaje pojęciowa maszyneria teorii systemów. Po pierwsze, ogólny pogląd N. Luhmanna dotyczące pojęcia „kultury” zostaje zaakceptowany i zaaplikowany do idei kultury prawnej. Ponadto wykazuje się, w jaki sposób cele, którym służy pojęcie kultury prawnej można osiągnąć odwołując się do takich konceptów teoretycznych, jak: sprzężenie strukturalne, obserwacja pierwszego i drugiego rzędu, a przede wszystkim – czasowa natura systemów społecznych. Ogólny wniosek jest taki, że w badaniu „kultury prawnej” nieunikniona jest perspektywa ewolucyjna.
    Legal culture is a concept as central to legal studies and sociology of law as difficult to define. It aims to serve important theoretical needs but it is also responsible for some puzzles that trouble legal and socio-legal scholars. Some of them are quite famous: the puzzle of the nature of Japanese litigiousness, the puzzle of differing German and Dutch legal cultures, or, recently, the issue of cultural defence. Some are lesser known, like the multitude of courts’ adjudicating strategies in Poland’s allegedly unitary legal culture. The paper argues that the problems of such nature are a conceptual artefact, a result of objectifying understanding of legal culture as a phenomenon. It is stressed that in such studies more weight should be put on the immediate, procesual nature of investigated phenomena. In order to support these claims, conceptual machinery of systems theory is utilised. First, a general view of N. Luhmann regarding the notion of culture is accepted and applied to the idea of legal culture. Further it is demonstrated how the aims served by the notion of legal culture can be achieved by appealing to such theoretical concepts as structural coupling, first- and second- order observation, and above all – temporal nature of social systems. A general conclusion of the paper is that in the study of “legal culture” an evolutionary perspective is unavoidable.
    Źródło:
    Archiwum Filozofii Prawa i Filozofii Społecznej; 2012, 1(4); 106-125
    2082-3304
    Pojawia się w:
    Archiwum Filozofii Prawa i Filozofii Społecznej
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      Wyświetlanie 1-4 z 4

      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