Інтелектуальні методи синтезу семантичних моделей програм
Розробка методу синтезу формальних моделей комп’ютерних програм на основі семантичних анотацій їх елементів. Розробка методу навчання інтелектуальної системи синтезу семантичних моделей програм. Структура онтології для системи синтезу моделей програм.
Подобные документы
Розробка методу ймовірнісно-геометричного моделювання інтерполяційних поліномів для функцій двох і трьох змінних на дискретних елементах. Побудова моделей сирендипових елементів для комп'ютерної діагностики фізичних полів, створення програмного комплексу.
автореферат, добавлен 23.11.2013Методи дослідження технічних систем і технологічних процесів. Розробка алгоритмічних основ і програмних засобів комп'ютерного моделювання широкого класу динамічних об'єктів. Формування непараметричних математичних моделей у вигляді інтегральних рівнянь.
автореферат, добавлен 29.09.2014Комплексний контрольно-розрахунковий метод оцінки технічного стану засобів автоматизації. Розробка програм діагностики параметрів апаратури Повітряних сил Збройних сил України. Порівняння інформаційних моделей поточного та еталонного станів комплексу.
статья, добавлен 14.07.2016Характеристика нової математичної моделі, яка призначена для синтезу топології живучої комп’ютерної мережі (ЖКМ). Розробка системи-порадника для визначення топології ЖКМ. Аналіз реалізації моделі на мові Visual-BASIC у середовищі системи MS EXCEL.
статья, добавлен 28.02.2017Аналіз сучасного стану технологій програмування та графічний інтерфейс в програмному забезпеченні. Створення програмної оболонки для пошуку двох трикутників з найменшими тупими кутами, її структура даних та функцій. Модульність в реалізації програм.
контрольная работа, добавлен 25.03.2010Алгоритм побудови моделей класу Word2Vec. Розробка рекомендаційної системи на основі моделі SkipGram для відео, створеної для наочної демонстрації результатів дослідження. Використання поточного рішення в медіа-платформах для збільшення їх конверсії.
статья, добавлен 10.10.2018Аналіз особливостей формування і використання непараметричних моделей динамічних об'єктів. Розробка алгоритмів чисельної реалізації непараметричних динамічних моделей з орієнтацією на розвиток засобів комп'ютерного моделювання динамічних об'єктів.
автореферат, добавлен 14.10.2015Визначення основних причин швидкого поширення комп'ютерних вірусів. Відмінні риси вірусних програм від звичайних. Класифікація комп'ютерних вірусів і особливості їх прояву. Методи антивірусного захисту комп'ютерної мережі. Антивірусні програми.
реферат, добавлен 21.05.2016Аналіз оптико-електронних моделей і інтерпретація отриманих результатів для побудови спеціалізованих моделей образного комп’ютера. Розробка математичної і структурно-функціональної моделей паралельно-ієрархічних мереж, аналіз ефективності їх застосування.
автореферат, добавлен 28.07.2014- 110. Особливості використання технології 3D-моделювання в робочому та навчальному процесі дизайнерів
Виявлення особливостей застосування 3D-моделювання у сучасній дизайн-освіті. З’ясування переваг і недоліків комп’ютерних програм для тривимірного моделювання, які застосовуються в дизайн-освіті, проблеми, які можуть виникати під час освоєння програм.
статья, добавлен 30.03.2023 Поняття, шляхи розповсюдження та приклади комп'ютерних вірусів, розробка засобів боротьби з ними. Виявлення і лікування заражених файлів. Функції детектора, фільтра та фага. Типи антивірусних програм, переваги ревізора Касперського. Захист від DOS атак.
реферат, добавлен 08.11.2017Аналіз існуючих методів і алгоритмів, спрямованих на прискорення і підвищення якості структурного та параметричного синтезу прогнозуючих штучних нейронних мереж зі зворотним поширенням помилки. Розробка механізмів, що дозволяють істотно прискорити процес.
автореферат, добавлен 05.08.2014Правила синтезу нелінійних операцій прямого та оберненого криптографічного перетворення. Розробка правил синтезу прямих та обернених операцій. Основний підхід щодо побудови операцій розширеного матричного криптографічного перетворення інформації.
статья, добавлен 26.08.2016Дослідження існуючих методів і засобів оцінки рівня безпеки інформації в комп'ютерних системах. Алгоритми реалізації нечітких арифметичних операцій за принципом узагальнення. Синтез комплексної системи оцінки рівня безпеки інформації.
автореферат, добавлен 10.01.2014Сутність та основні властивості комп'ютерних вірусів, їх класифікація та різновиди, відмінні риси та оцінка негативного впливу на роботу всієї системи. Правила виявлення та боротьби з вірусами на сучасному етапі, аналіз існуючих противірусних програм.
реферат, добавлен 22.10.2010Розгляд процесу програмування засобів комп'ютерного програмного забезпечення, призначеного за для використання інформації з баз даних і програм для роботи з мережевими протоколами через Інтернет. Огляд програм для електронної пошти і обміну файлами.
дипломная работа, добавлен 30.09.2013Методи та засоби, що підвищують рівень автоматизації процедур схемотехнічного аналізу та синтезу мікроелектромеханічних систем на напівпровідниковому кристалі. Вплив технологічних параметрів виготовлення на вихідні параметри інтегрального пристрою.
автореферат, добавлен 20.07.2015Методи розрахунку ізоповерхонь тривимірних об’єктів за проекційними даними, їх часові та просторові характеристики. Практичні задачі реконструкції ізоповерхневих моделей органів людини на основі проекційних даних (2D і 3D сканування) у медичній практиці.
автореферат, добавлен 25.08.2015Створення комплексу моделей, методів і засобів синтезу діалогових агентів, що забезпечують цілеспрямований еротематичний діалоговий процес в інтелектуальних системах. Розробка архітектури проблемно-незалежного уніфікованого діалогового вирішувача задач.
автореферат, добавлен 28.08.2015Огляд найбільш поширених комп'ютерних вірусів. Опис програм, які призначені для проникнення через інформаційні мережі до даних. Збитки, що завдають комп'ютерні віруси. Особливості файлових та бутових вірусів. Захист від вірусів у комп'ютерних мережах.
реферат, добавлен 23.04.2013Аналіз стану технології перетворення зображень на стадії додрукарської підготовки та моделей фарбодрукарських систем. Розробка інформаційної технології синтезу тонопередачі коротких фарбодрукарських систем для забезпечення підвищення їх ефективності.
автореферат, добавлен 30.07.2015Призначення програм-архіваторів як програмного забезпечення, що використовується для стиснення інформації. Загальна характеристика по використанню програм-архіваторів. Приклади використання програм. Приклади результатів архівування даних різного формату.
реферат, добавлен 13.11.2013Оцінка функціональних можливостей прикладних програм, особливо програми CARAT, яка офіційно застосовується в Україні. Визначення необхідності подальшого впровадження новітніх автоматизованих технологій в процес дослідження дорожньо-транспортної пригоди.
статья, добавлен 24.11.2016Параметрична ідентифікація як один із етапів побудови моделей статичних систем. Метод локалізації (апроксимації) області параметрів інтервальних моделей із виділенням "насиченого блоку" у базовій інтервальній системі лінійних алгебричних рівнянь (ІСЛАР).
статья, добавлен 28.08.2016Розроблення математичних моделей, алгоритмів, програм, інформаційних технологій автоматизованого управління в сфері раціонального землекористування. Математичний опис системи на базі мови теорії множин, що володіє всім типовим ресурсам складних систем.
автореферат, добавлен 29.09.2014