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ę "modele formalne" wg kryterium: Temat

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-7 z 7
    Tytuł:
    Most łączący nauki biologiczne z techniką - biocybernetyka
    Autorzy:
    Tadeusiewicz, R.
    Powiązania:
    https://bibliotekanauki.pl/articles/846701.pdf
    Data publikacji:
    2015
    Wydawca:
    Polskie Towarzystwo Przyrodników im. Kopernika
    Tematy:
    biologia
    medycyna
    technika
    biocybernetyka
    modele formalne
    schematy blokowe
    modele biocybernetyczne
    Źródło:
    Wszechświat; 2015, 116, 04-06
    0043-9592
    Pojawia się w:
    Wszechświat
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Prognozy wskaźnika zatrudnienia i ich weryfikacja w krajach Unii Europejskiej w świetle strategii „Europa 2020”
    Employment rate forecasts and their verification in the European Union member states in the light of the Europe 2020 strategy
    Autorzy:
    Krupowicz, Joanna
    Powiązania:
    https://bibliotekanauki.pl/articles/424982.pdf
    Data publikacji:
    2017
    Wydawca:
    Wydawnictwo Uniwersytetu Ekonomicznego we Wrocławiu
    Tematy:
    strategia „Europa 2020”
    prognozy wskaźnika zatrudnienia
    weryfikacja prognoz
    subiektywne modele formalne
    Opis:
    Jednym z celów strategii „Europa 2020” jest osiągnięcie wskaźnika zatrudnienia osób w wieku 20-64 lata na poziomie co najmniej 75%. Celem badania było ustalenie, jakiego tempa zmian w czasie należy spodziewać się, aby kraje wspólnoty osiągnęły założone wartości wskaźnika w 2020 roku. Zbudowano subiektywne modele formalne o różnych postaciach funkcji trendu dla krajów członkowskich Unii. Wyznaczono prognozy wskaźnika do 2020 roku. Zweryfikowano prognozy wyznaczone na lata 2010-2015. Posłużono się średnimi błędami ex post (ME, MAE, MAPE), współczynnikami: Theila i rozbieżności dla różnic. Prognozy były generalnie obarczone małymi błędami, ale systematycznie zawyżane, a przyczynami złej jakości prognoz było nieodgadnięcie średniej wartości zmiennej. Stosując kryterium minimalizacji błędu średniego ex post, ustalono, że w 18 krajach oraz całej wspólnocie charakterystyczny był przyspieszony wzrost, w 4 krajach – stały wzrost, w 3 – spowolniony wzrost, a w 2 – spowolniony spadek wskaźnika zatrudnienia.
    Źródło:
    Econometrics. Ekonometria. Advances in Applied Data Analytics; 2017, 1 (55); 25-42
    1507-3866
    Pojawia się w:
    Econometrics. Ekonometria. Advances in Applied Data Analytics
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Podstawowe Twierdzenie Bezpieczeństwa
    Basic Security Theorem
    Autorzy:
    Liderman, K.
    Powiązania:
    https://bibliotekanauki.pl/articles/210628.pdf
    Data publikacji:
    2011
    Wydawca:
    Wojskowa Akademia Techniczna im. Jarosława Dąbrowskiego
    Tematy:
    informatyka
    ochrona informacji
    modele formalne
    polityka bezpieczeństwa
    zarządzanie bezpieczeństwem informacji
    computer science
    security
    formal models
    security policy
    information security management
    Opis:
    W artykule przeprowadzono rozważania nt. współczesnego, praktycznego znaczenia podstawowych modeli formalnych z dziedziny ochrony informacji. Przedstawiono także Podstawowe Twierdzenie Bezpieczeństwa (ang. Basic Security Theorem) oraz pokazano przykład jego uściślenia na bazie modelu Bella-LaPaduli.
    The paper considers the contemporary practical importance of basic formal models within the area of information security. The Basic Security Theorem is presented and an example of its reference to the Bell-LaPadula model is given.
    Źródło:
    Biuletyn Wojskowej Akademii Technicznej; 2011, 60, 4; 315-329
    1234-5865
    Pojawia się w:
    Biuletyn Wojskowej Akademii Technicznej
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Analysis of decision-making methods in patients’ treatment
    Analiza metod wspomagania procesu podejmowania decyzji przy leczeniu pacjentów
    Autorzy:
    Melnikova, Natalia
    Shakhovska, Natalya
    Powiązania:
    https://bibliotekanauki.pl/articles/548968.pdf
    Data publikacji:
    2013
    Wydawca:
    Uniwersytet Rzeszowski. Wydawnictwo Uniwersytetu Rzeszowskiego
    Tematy:
    podejmowanie decyzji
    modele formalne
    analiza danych medycznych
    medyczne systemów eksperckie
    problemy leczenia
    decision-making
    formal model
     analysis of medical data
    expert medical systems
    the problems of treatment.
    Opis:
    The article undertakes an analysis of decision-making methods used in solving difficult-formalized problems of medical diagnostics and treatment. A formal model of a medical expert system is proposed, with the purpose of selecting medical pharmaceutical treatment systems. The important task at any stage of the medical evaluation is to determine the general condition of the patient, the depth of the pathological process and the operational control of the effec-tiveness of treatment for timely correction. These problems can be attributed to a large class of practical problems in the weakly formalized decision-making process in the treatment of patients.
    W artykule przedstawiono analizę metod wspomagania podejmowania decyzji, które są prze-znaczone do rozwiązywania słabo sformalizowanych problemów diagnostyki medycznej i lecze-nia. Zaprezentowano formalny model systemu eksperckiego, którego celem jest usprawnienie sposobu farmaceutycznego leczenia pacjentów. Najważniejsze zadania na każdym etapie oceny medycznej to określenie ogólnego stanu pa-cjenta i głębokości procesu patologicznego oraz prowadzenie kontroli skuteczności leczenia i jego odpowiednia korekta. Zadania te są powiązane z szeroką klasą praktycznych problemów występujących w słabo sformalizowanym procesie podejmowania decyzji dotyczących leczenia pacjentów.
    Źródło:
    Nierówności Społeczne a Wzrost Gospodarczy; 2013, 36; 333-340
    1898-5084
    2658-0780
    Pojawia się w:
    Nierówności Społeczne a Wzrost Gospodarczy
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Formal models of generating checkup sets for the technical condition evaluation of compound objects
    Modele formalne generowania zbiorów sprawdzeń dla oceny stanu technicznego obiektów złożonych
    Autorzy:
    Sowa, A.
    Powiązania:
    https://bibliotekanauki.pl/articles/1365985.pdf
    Data publikacji:
    2014
    Wydawca:
    Polska Akademia Nauk. Polskie Naukowo-Techniczne Towarzystwo Eksploatacyjne PAN
    Tematy:
    obiekty złożone
    ocena stanu technicznego
    modele formalne obiektów
    binarna i wielowartościowa ocena
    wspomaganie komputerowe
    compound objects
    technical condition evaluation
    formal models of objects
    binary and multiplevalued evaluation
    computer aiding
    Opis:
    Praca dotyczy problemów związanych z budową systemów wspomaganego komputerowo generowania zbiorów sprawdzeń cech niezbędnych do oceny zdatności obiektów złożonych, a także lokalizacji niezdatności ich elementów składowych. Analizowano przydatność do tego celu macierzowej metody określania zbiorów sprawdzeń oraz metody skreśleń. Sformułowano binarne i trójwartościowe modele ocen stanu technicznego elementów obiektu oraz jego cech wejściowych i wyjściowych. Pozwala to wtedy na utworzenie macierzowego modelu obiektu, wykorzystywanego w obu analizowanych metodach. Dla metody macierzowej zdefiniowano także binarne i trójwartościowe modele oceny rozróżnialności stanów technicznych obiektu. Binarne modele wykorzystano w programie generującym zbiory cech testu zdatności i lokalizującego, napisanym przy użyciu pakietu Mathematica. Przy trójwartościowym modelu ocen do generowania zbiorów sprawdzeń cech dla obu testów zaproponowano użycie metody skreśleń i sformułowano dla niej warunki rozróżnialności stanów technicznych. Przedstawiono także przykład użycia tej metody do określenia zbiorów sprawdzeń cech pozwalających na ocenę stanu technicznego części układu pneumatycznego hamulca wagonu.
    The paper refers to problems connected with building systems of computer-aided generation of evaluation sets of features necessary for the evaluation of compound objects’ ability, and also the localization of imperfections of their component elements. In order to solve these problems, the usefulness of both the matrix method of determining sets of checkups and the cross-out method was analyzed. Binary and three-valued models of technical condition evaluation of the object’s elements as well as the object’s input and output features were formed. It allows then for the creation of the object matrix model which is used in both analyzed methods. For the matrix method, binary and three-valued evaluation models of distinguishing of the object technical condition were also defined. The binary models were used in a program which generates sets of features of the ability and localizing test. This program was written with the use of a Mathematica package. For a three-valued evaluation model for generating the feature checkup sets, the use of the cross-out method was proposed for both tests, with the technical state distinguishing conditions formed for this method. There was also presented an example of using this method to determine checkup sets of features which allow for the evaluation of the technical condition of part of the carriage brake pneumatic system.
    Źródło:
    Eksploatacja i Niezawodność; 2014, 16, 1; 150-157
    1507-2711
    Pojawia się w:
    Eksploatacja i Niezawodność
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    A safety related perspective for the power supply systems in railway industry
    Bezpieczeństwo systemów zasilania w przemyśle kolejowym
    Autorzy:
    Oz, M. A.
    Kaymakci, O. T.
    Koyun, A.
    Powiązania:
    https://bibliotekanauki.pl/articles/301911.pdf
    Data publikacji:
    2017
    Wydawca:
    Polska Akademia Nauk. Polskie Naukowo-Techniczne Towarzystwo Eksploatacyjne PAN
    Tematy:
    Markov models
    reliability
    formal modeling
    modele Markowa
    niezawodność
    modelowanie formalne
    Opis:
    Within its structure railway transportation systems contain very critical subsystems that can seriously harm the system itself, people or the environment if not properly controlled. Therefore, these critical subsystems are analysed according to the related standards and necessary safety functions are implemented, verified and operated. On the other hand, railway power supply system, which is a critical subsystems, is generally properly analysed from a reliability perspective whereas the corresponding safety related functions are roughly examined. This paper proposes that the railway power supply systems should be considered as safety critical systems and justifies this proposal using risk analysis as presented in the standard IEC 61508. The safety related functions of the system are examined and each function is modelled in detail using Markov modelling method. These models are implemented over a power supply system of Istanbul Transportation Co. and SIL values of the safety functions are calculated using these modular and easily adaptable Markov models. Furthermore the obtained results are compared with simplistic Fault Tree analysis (FTA) and the significance of accurate calculation is demonstrated.
    W skład struktury kolejowych systemów transportowych wchodzą krytyczne podsystemy, które, nieodpowiednio monitorowane, mogą narażać sam system, a także ludzi oraz środowisko na poważne szkody. Dlatego też, podsystemy krytyczne analizuje się zgodnie z odpowiednimi normami oraz wdraża w nich, weryfikuje i realizuje niezbędne funkcje bezpieczeństwa. W przypadku systemów zasilania kolei, które należą do grupy podsystemów krytycznych, system na ogół analizuje się dokładnie z punktu widzenia niezawodności, natomiast funkcje bezpieczeństwa bada się jedynie pobieżnie. W prezentowanej pracy postuluje się że systemy zasilania kolei powinny być traktowane jako krytyczne dla bezpieczeństwa, co autorzy uzasadniają z wykorzystaniem analizy ryzyka przedstawionej w normie IEC 61508. W proponowanym rozwiązaniu, bada się funkcje bezpieczeństwa systemu, przy czym każda funkcja zostaje szczegółowo zamodelowana za pomocą metody modelowania Markowa. Modele tego typu wdrożono w systemie zasilania firmy Istanbul Transportation Co. Wartości poziomu nienaruszalności bezpieczeństwa (SIL) badanych funkcji bezpieczeństwa obliczano za pomocą wspomnianych modularnych modeli Markowa charakteryzujących się łatwością adaptacji. Ponadto, uzyskane wyniki porównano z symplistyczną analizą drzewa błędów (FTA), a także wykazano znaczenie prowadzenia dokładnych obliczeń.
    Źródło:
    Eksploatacja i Niezawodność; 2017, 19, 1; 114-120
    1507-2711
    Pojawia się w:
    Eksploatacja i Niezawodność
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    From formal methods to implementation based on Petri Nets model of concurrent systems
    Od metod formalnych do implementacji na przykładzie modelu w sieci Petriego systemu współbieżnego
    Autorzy:
    Wojciechowski, J.
    Powiązania:
    https://bibliotekanauki.pl/articles/152825.pdf
    Data publikacji:
    2007
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    Tematy:
    sieci Petriego
    metody formalne
    rzutowanie
    modele klas w Java
    procedury w języku C
    Petri nets
    formal methods
    mapping
    C language
    Opis:
    Purpose of this work is to suggest a path from formal methods to implementation in designing concurrent system, thus helping further stages of systems development to go on. Author focuses on mapping of nonhierarchical Coloured Petri Nets model to class model of the system in Java and C language. Author extends among others formal model with information which would imply generation of class models from formal model, conforming to Java specification and C language, making continuous integration possible. The whole cycle would be presented with changed Petri Nets model of simple concurrent system.
    Celem pracy jest zaproponowanie ścieżki przejścia od modelu formalnego systemu opisanego siecią Petriego do implementacji. Autor skupia się na rzutowaniu niehierarchicznych modeli sieci do modelu klas odpowiadającemu obiektowemu paradygmatowi programowania języka Java i proceduralnemu dla języka C. Autor rozszerza model formalny o informację umożliwiającą dokonanie konwersji do modelu klas i procedur. Cały cykl będzie zaprezentowany na prostym systemie współbieżnym.
    Źródło:
    Pomiary Automatyka Kontrola; 2007, R. 53, nr 5, 5; 132-134
    0032-4140
    Pojawia się w:
    Pomiary Automatyka Kontrola
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      Wyświetlanie 1-7 z 7

      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