Temat: modele formalne - Katalog OPAC zbiorów

Skocz do pozycji: 1.

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ł

Zmień widok

na półce

Skocz do pozycji: 2.

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ł

Zmień widok

na półce

Skocz do pozycji: 3.

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ł

Zmień widok

na półce

Informacja

Wyszukujesz frazę "modele formalne" wg kryterium: Temat

Źródło danych

Dostawca treści

Kolekcja

Rok wydania

Wydawca

Temat

Autor

Typ dokumentu

Język