Композиційні методи специфікації та верифікації програмних систем
Порівняльний аналіз і класифікація методів формальних специфікацій щодо паралелізму за критеріями: класи задач, складність методів, ступінь автоматизації, зв’язок моделі з реальними програмами. Композиційно-номінативна мова, модель серверного середовища.
Подобные документы
Розроблення комбінованого механізму логічного висновку діагностичних експертних систем, який об’єднує у собі байесів і продукційний підходи до побудови МЛВ і є вільним від їх недоліків за допомогою математичних і програмних методів та кластеризації.
автореферат, добавлен 13.07.2014Оцінка результатів наукових досліджень і практичних розробок методів експертного оцінювання та методів побудови систем підтримки прийняття рішень відділу аналітичних методів інформаційних технологій Інституту проблем реєстрації інформації НАН України.
статья, добавлен 29.01.2019Вибір моделі геометричних перетворень як основи створення високоефективних методів класифікації, особливості завдань видобування даних. Кусковий метод побудови розділяючих поверхонь на основі формування дерева поділу на класи і матриці штрафів-заохочень.
автореферат, добавлен 24.07.2014Розробка методів визначення в реальному часі характеристик нестаціонарних імпульсних потоків при наявності різких змін інтенсивності. Дослідження адаптивних методів стиску та відновлення даних, одержаних при вимірюванні потоків енергійних частинок.
автореферат, добавлен 11.11.2013Розробка й аналіз нових методів побудови архітектури і навчання моделі неповнозв'язної нейронної асоціативної пам'яті, які забезпечують більшу ємність пам'яті даної моделі. Розробка програмних засобів для моделювання мереж і алгоритмів навчання.
автореферат, добавлен 25.08.2014Визначення особливостей математичних задач, для вирішення яких можуть бути використані різні методи та спеціалізоване програмне забезпечення, що дозволяє підвищити ефективність використання цих методів. Програмні модулі та управляючі системні програми.
статья, добавлен 15.02.2018Аналіз існуючих методів пошуку й використання інформації про аналогічні проекти при розробленні нової техніки. Розробка методів виділення значущих елементів та інформативних ознак в описі зразків техніки. Процес підбору й оцінювання аналогів зразків.
автореферат, добавлен 26.08.2015Дослідження головних першопорядкових композиційно-номінативних логік часткових однозначних, тотальних неоднозначних та часткових неоднозначних квазіарних предикатів. Розробка та аналіз основних методів розширення цих логік узагальненими реномінаціями.
статья, добавлен 28.02.2016Аналіз методів забезпечення відмовостійкості цифрових систем керування з програмованою логікою. Удосконалення методу вибору відмовостійких систем керування з урахуванням вимог до надійності та обмежень на габаритно-масові й енергетичні характеристики.
автореферат, добавлен 11.08.2014Аналіз методів захисту он-лайн спілкування на прикладі програм та програмних комплексів для обміну повідомленнями. Основні технології захисту особистої інформації в мережі Інтернет. Аналіз проблеми надмірного поширення персональних даних користувачами.
статья, добавлен 21.07.2018Розробка мультиагентних методів синтезу нейро-нечітких мереж для підвищення їхніх апроксимаційних та узагальнюючих здатностей. Динаміка роботи методів відбору інформативних ознак. Огляд програмних засобів для мультиагентного синтезу нейро-нечітких мереж.
автореферат, добавлен 20.07.2015- 87. Методи і моделі створення мобільних інформаційно-аналітичних систем управління кризовими ситуаціями
Розробка методу, заснованому на розподілі ситуацій на лавинонебезпечні та лавинобезпечні класи ситуацій. Метод розбудови структури мобільних засобів контролю лавинонебезпечних зон. Ситуаційна модель аналізу лавинонебезпечних та лавинобезпечних ситуацій.
автореферат, добавлен 25.02.2015 Аналіз сучасних систем підтримки прийняття рішень із розрахунками стану середовища. Алгоритми метеорологічного препроцесінгу. Розробка методів вимірювань в стохастичних лагранжевих моделях атмосферного переносу. Модель атмосферної дисперсії забруднень.
автореферат, добавлен 30.07.2015Аналіз сучасних методів розв’язання некоректних задач відновлення інформації і оптимізації. Постановка задачі відновлення інформації з використанням різних схем оптимізації. Аналітичні методи відновлення інформації на основі диференціальних перетворень.
автореферат, добавлен 18.10.2013Аналіз методів штучного інтелекту у задачі розпізнавання креслень та трансформації 2D моделі у 3D модель. Потенціал застосування різних методів штучного інтелекту в задачі розпізнавання креслень та трансформації двовимірних моделей у тривимірні моделі.
статья, добавлен 07.05.2023Розгляд особливостей експертних систем технічного діагностування як програмних систем. Дослідження методів формування вимог до програмного забезпечення та можливості їх застосування під час формування вимог до експертних систем технічного діагностування.
статья, добавлен 14.01.2017Аналіз існуючих методів та технологій ранньої діагностики анемії. Основні фактори ризику. Розроблення моделей, методів та інформаційної технології виявлення ранніх форм анемій для масового обстеження населення. Методика цифрової обробки зображень.
автореферат, добавлен 19.07.2015Аналіз методів і інформаційних технологій оцінки й забезпечення відмовостійкості систем обробки інформації літальних апаратів. Розробка програмно-технічні рішень інформаційної технології підтримки вибору СОІ при використанні різних методик оцінки.
автореферат, добавлен 06.11.2013- 94. Математичні моделі та методи аналізу й синтезу топологій комп’ютерних видавничо-поліграфічних систем
Аналіз графічних, матричних та аналітичних моделей топологій комп'ютерних видавничо-поліграфічних систем. Створення методів виявлення та перетворення топологічних структур, заданих матричним способом. Синтез комп’ютерних видавничо-поліграфічних систем.
автореферат, добавлен 29.09.2013 Використання нечіткої гібридної моделі для прогнозування трудомісткості розробки програмних систем. Ідентифікація залежності затрат робочого часу на програмування від стажу програміста, складності завдання. Переваги гібридної моделі прогнозування.
статья, добавлен 25.02.2016Аналіз існуючих методів визначення товщини шкіри людини, оцінка стан розробок ІВС в даній галузі. Фізична модель досліджуваного середовища, розв’язок стохастичної змішаної краєвої задачі математичної фізики. Методичні та інструментальні похибки системи.
автореферат, добавлен 15.07.2014Дослідження методів підвищення відмовостійкості інформаційно-управляючих систем без зниження продуктивності обробки інформації. Розробка математичної моделі відмовостійкості. Оцінка позиційних і непозиційних операцій у модулярній системі числення.
автореферат, добавлен 29.07.2015Аналіз існуючих підходів до проектування, моделювання оптимального керування логістичними інформаційними системами (ЛІС), розробка методів математичного програмування та багатофакторного оцінювання критеріїв. Сутність біллінгової інформаційної системи.
автореферат, добавлен 13.07.2014Розробка методів та засобів формування і застосування стилів програмування в дослідженні ПЗ. Комплекс інформаційно-програмних засобів, що автоматизують вирішення визначених задач. Застосування компонентів вторинного використання та успадкованого ПЗ.
автореферат, добавлен 30.07.2014Характеристика аналізу чинників, наукових методів дослідження та наявних науково-методичних підходів до оцінювання ризиків. Складність оцінювання ризиків у ході довгострокового оборонного планування. Структура комплексної моделі оцінювання ризиків.
статья, добавлен 27.03.2016