Формалізація процесу забезпечення живучості інформаційних систем [PDF]
, 2001 Узагальнено та формалізовано поняття живучості інформаційних систем, яке базується на позиції загальної теорії систем та теорії множин.Is generalized and the concept of survivability of information systems is formalized which is based on a position of ...
Серков, Олександр
core
Математична формалізація завдання пошуку повітряного судна, яке зазнало лиха, авіаційними засобами
Системи озброєння і військова технікаСтаття присвячена питанню математичної формалізації завдання пошуку повітряного судна, яке зазнало лиха. Формалізація здійснена з урахуванням особливостей проведення і термінології пошуково-рятувального забезпечення польотів повітряних суден.
Г. В. Худов +2 more
doaj +1 more source
Класифікація технологій поліграфічного захисту з урахуванням технологічних рядів [PDF]
, 2012 Проведено аналіз існуючих методів вибору комплексу захистів. Підсумком проведеного аналізу стала формалізація розподілу технологій поліграфічної захисту за технологічними рядами з урахуванням ступеня надійності захистуAn analysis of existing methods for ...
Бізюк, А. В. +1 more
core
Формалізація та моделювання багатошагових ігор трьох осіб [PDF]
, 2015 У роботі представлені методи формалізування і моделювання ігор, в яких приймають участь три сторони.
Мішина, К. Д. +1 more
core
Проблеми реалізації тактичних операцій і формалізація кримінального провадження
Проблеми Законності, 2013 Досліджуються проблеми тактичних операцій як засобів формалізації процесу розслідування і судового розгляду злочинів. Запровадження ідеї формалізації, створення і пропонування відповідних шаблонів у вигляді програм і алгоритмів жодним чином не повинно ...
В. М. Шевчук
doaj +1 more source
Системний аналіз в туристсько-рекреаційній діяльності: методичні вказівки для аудиторної та самостійної роботи магістрантів, які навчаються за спеціальністю «Економічна та соціальна географія» спеціалізацією «Рекреація та екскурсійна діяльність» [PDF]
, 2017 Методичні вказівки розроблені відповідно до програми курсу «Системний аналіз в туристсько-рекреаційній діяльності» як одного з найважливіших у циклі фундаментальної підготовки магістрів економічної та соціальної географії.
Гусєва, Н.В. +1 more
core
ФОРМУВАННЯ МНОЖИНИ ГЕОГРАФІЧНИХ КАРТ - ВИХІДНИХ ЕЛЕМЕНТІВ КЛАСИФІКАЦІЙНОЇ СИСТЕМИ
Problemi Bezperervnoï Geografìčnoï Osvìti ì Kartografìï, 2015 На емпіричному етапі створення класифікації виникає необхідність формування множини географічних карт як вихідних елементів класифікаційної системи. Одним зі способів окреслення множини є перерахування їх елементів із зазначеними властивостями. У статті
Т.М. Курач
doaj
Семантичне буття термінів різних систем [PDF]
, 2011 У статті осмислюються ознаки термінів на матеріалі слів міри та ваги, з одного боку, та метазнаків перекладознавства, з іншого. Формалізація семантичного наповнювання порівнюваних груп об’єктивує їх параметри на теренах термінологічного буття.
Kobiakova, Iryna Karpivna +5 more
core
Вчимося розв’язувати задачі зі стереометрії. Геометричні тіла у тестових завданнях: Навчальний посібник. [PDF]
, 2010 Навчальний посібник зі стереометрії містить розв’язання окремих важливих задач, прикладних задач та добірку тестових завдань із вказівками щодо розв’язування найскладніших із них. Для вчителів математики та старшокласників, викладачів і
Прус, А. В. +1 more
core
ФОРМАЛІЗАЦІЯ ПРОЦЕСУ РОЗПОДІЛУ РУХОМОГО СКЛАДУ З ВИКОРИСТАННЯМ ДИНАМІЧНОЇ МОДЕЛІ
Nauka ta progres transportu, 2018 Мета. Стаття спрямована на формалізацію процесу підвищення ефективності розподілу рухомого складу на залізницях під завантаження шляхом концентрації навантажувальних робіт на терміналах за допомогою динамічної моделі. Методика.
D. V. Lomotko +3 more
doaj +1 more source