Інтелектуальні методи синтезу семантичних моделей програм
Розробка методу синтезу формальних моделей комп’ютерних програм на основі семантичних анотацій їх елементів. Розробка методу навчання інтелектуальної системи синтезу семантичних моделей програм. Структура онтології для системи синтезу моделей програм.
Подобные документы
Ефективність застосування відновлювальних засобів із використанням мультимедійних релаксаційних програм у фізичному вихованні студентів спеціальної медичної групи. Огляд методів відновлення працездатності. Аналіз комп’ютерних програм для релаксації.
статья, добавлен 29.01.2016- 77. Моделі та методи класифікації текстових документів в спеціалізованих інформаційно-пошукових системах
Принципи створення електронного документообігу. Розробка системи автоматизованої класифікації документів управління митної служби України. Вивчення алгоритмів роботи глобальних комп’ютерних мереж. Апробація і реалізація інформаційно-пошукових програм.
автореферат, добавлен 27.08.2014 Підвищення надійності програмного забезпечення систем управління шляхом розробки семантичних атрибутів, метрик, моделей, методів, заснованих на аналізі семантичних інваріантів. Впровадження їх у методиках та засобах підтримки верифікації та експертизи.
автореферат, добавлен 28.09.2014Впровадження в освіту інформаційних та комунікаційних технологій, розробка програм для автоматизації робочого процесу навчальних закладів. Реалізація програм для роботи з документацією, розписом занять та ведення обліку при дистанційному навчанні.
статья, добавлен 14.01.2017Аналіз загальних принципів та підходів до процесу синтезу функціональної структури автоматизованої системи управління. Обґрунтування основних етапів цього процесу, формулювання задачі синтезу функціональної структури цієї системи з урахуванням обмежень.
статья, добавлен 14.07.2016Опис порівняльного аналізу методів моделювання та прогнозування, їх використання в задачах моніторингу. Значення комп’ютерних технологій для побудови моделей на основі методу групового урахування аргументів. Застосування критерію незміщеності помилок.
автореферат, добавлен 27.08.2015Розробка нових високонадійних методів керування електричними перетворювачами. Побудова образно-знакових моделей підвищеної точності датчиків вимірювання струму навантаження мостових інверторів. Формулювання методу перемноження аналогових сигналів.
автореферат, добавлен 30.07.2014Комплексний розгляд програм для роботи з аудіоінформацією (звуком). Простір для комбінацій різноманітних задач в галузі синтезу звуку. Забезпечення можливості запису аудіо та збереження на диск. Способи створення різних звукових ефектів, фільтрація.
статья, добавлен 26.04.2024Розробка інформаційної та математичної моделі розподіленої комп’ютерної системи з енергообмеженими вимірювальними модулями. Оптимізація енергоспоживання віддалених модулів. Аналіз результатів експерименту на базі віддалених п’єзоелектричних модулів.
статья, добавлен 25.10.2016Створення структурно-логічних моделей різних топологій і технологій виконання локальних обчислювальних мереж на основі теорії графів, кубічного зчислення і VHDL-мови опису апаратури високого рівня, що орієнтовані на існуючі системи моделювання.
автореферат, добавлен 04.03.2014Характеристика підходу до створення комп’ютерних навчальних 3D моделей військово-технічного призначення, ефективність їх застосування під час підготовки військових спеціалістів. Сутність кожного етапу створення навчальних 3D моделей зразків озброєння.
статья, добавлен 14.01.2017Дослідження основних принципів проектування засобів виявлення та протидії комп’ютерним атакам. Визначення й опис застосовуваних при виявленні та запобіганні мережевих атак методів і моделей. Дослідження характеристик моделей виявлення вторгнень.
статья, добавлен 24.01.2018Створення алгоритмів та методів для автоматичної верифікації формальних моделей асинхронних промислових систем. Перевірка динамічних властивостей, редукції простору пошуку, генерації множини тестових сценаріїв, що задовольняють певним критеріям покриття.
автореферат, добавлен 26.09.2015Дослідження існуючих математичних моделей процесів маршрутизації у складних гетерогенних мережах. Розробка часткових алгоритмів динамічної маршрутизації на основі методу аналізу ієрархій з пошуком і поточною корекцією власних значень матриці ієрархій.
автореферат, добавлен 22.07.2014Розроблення математичних моделей та моделей циркуляції даних (інформаційних моделей), методів і відповідних засобів моделювання зображень хімічних виразів для комп’ютерно-видавничих систем. Принцип конвертування інформаційних моделей хімічного редактора.
автореферат, добавлен 05.08.2014Особливості розробки програм в середовищі Delphi 7 на мові Object Pascal. Розробка програми для вводу, зберігання, опрацювання інформації. Стадії, етапи розробки програмного продукту, вимоги до нього. Розробка інструкції для оператора та програміста.
отчет по практике, добавлен 11.04.2018- 92. Інформаційна технологія автоматизованого навчання та контролю знань в управлінні учбовим процесом
Розробка системи моделей управління учбовим процесом та засобів інформаційної технології контролю знань і навчання студентів. Підвищенні ефективності управління. Розробка багатокомпонентних математичних моделей. Виділення рівнів представлення інформації.
автореферат, добавлен 27.07.2014 Розробка аналітичних і структурно-функціональних моделей основних компонентів комп'ютеризованих систем навчання, алгоритмів її функціонування. Сутність методу формального логічного подання знань за допомогою однорідних ієрархічних функціональних мереж.
автореферат, добавлен 27.09.2014Розробка робастних регуляторів низького порядку для багатозв’язних квазістаціонарних об’єктів. Необхідність алгоритмічної компенсації не модельованої динаміки. Робастні властивості при використанні редукованих моделей, законів керування низького порядку.
автореферат, добавлен 13.07.2014Аналіз інформаційних моделей автоматизованих системах остигання виливків у піщаних ливарних формах. Виявлення зв’язку між швидкістю моделей і відсотком браку на конвеєрі. Розробка динамічних моделей. Впровадження програми розрахунку ефективних параметрів.
автореферат, добавлен 27.07.2014Аналіз сучасних методів проектування алгоритмів для забезпечення можливості автоматизованого перетворення та створення паралельних версій алгоритмів. Розробка методу автоматизованого виконання програм і вибору найкращого алгоритму за заданими критеріями.
автореферат, добавлен 11.08.2015Методи рекурсивного аналізу операційних моделей динамічних систем на основі апроксимуючих імпульсних спектрів. Оцінювання втрат інформації при апроксимації. Алгоритмізація розроблених методів. Шляхи використання програм електронного моделювання.
автореферат, добавлен 05.01.2014Поняття комп'ютерних вірусів та їх основна класифікація, здатність до прихованого саморозмноження, знищення файлів та пониження ефективності роботи операційної системи. Характеристика сучасних антивірусних програм, їх головні функції та можливості.
презентация, добавлен 23.12.2014Системна інтеграція технологій штучного інтелекту з точними методами й моделями пошуку рішень та методи імітаційного моделювання. Пакет прикладних програм реалізації інтелектуальної системи підтримки прийняття рішень у стратегічному управлінні IDSS.
автореферат, добавлен 07.08.2014- 100. Програмовані логічні контролери з вбудованими засобами тестового та функціонального діагностування
Аналіз сучасного стану і тенденцій розвитку типових структур програмованих логічних контролерів. Розробка і вдосконалення моделей, методів і алгоритмів синтезу і логічного проектування ПЛК з вбудованими засобами тестового і функціонального діагностування.
автореферат, добавлен 25.02.2015