Інтелектуальні методи синтезу семантичних моделей програм
Розробка методу синтезу формальних моделей комп’ютерних програм на основі семантичних анотацій їх елементів. Розробка методу навчання інтелектуальної системи синтезу семантичних моделей програм. Структура онтології для системи синтезу моделей програм.
Подобные документы
Розроблення моделей і методів підвищення якості обслуговування, надійності функціонування захищених комп'ютерних мереж. Методи моніторингу параметрів трафіку комп'ютерних мереж. Аналіз існуючих моделей систем їх захисту та інформаційної взаємодії.
автореферат, добавлен 26.08.2015Дослідження систем керування базами даних, побудованих на основі графової моделі. Особливості застосування та реалізації предметно-орієнтованих мов програмування. Визначення можливості викорисання мови запитів Cypher в процесі обробки мережевих графіків.
статья, добавлен 11.12.2024Аналіз комп’ютерних інструментів програм динамічної математики, які використовуються під час розв’язування задач, а також інструментів, на які може спиратися вчитель у навчанні математики. Опис зауважень щодо застосування комп’ютерних інструментів.
статья, добавлен 28.08.2016Аналіз методів побудови емпіричних моделей оптимальної складності з внутрішним паралелізм на основі генетичних алгоритмів для розробки ефективної програми реалізації, що приведе до скорочення затрат машинного часу на побудову математичної моделі.
статья, добавлен 29.06.2016Порядок використання точок відновлення системи для збереження комп'ютера від негативних наслідків різних програм-твикеров, невдалої деінсталяції програм. Створення контрольної точки відновлення. Скасування змін, внесених під час відновлення системи.
доклад, добавлен 28.01.2014Нові класи задачі синтезу мереж, їхні властивості та математичні моделі в термінах потоків. Алгоритми знаходження точного й наближеного рішень задачі синтезу двозв’язної мережі. Ефективність запропонованих алгоритмів на реальних і тестових задачах.
автореферат, добавлен 29.08.2014- 57. Розробка методів та програмного інструментарію створення прикладних програм для мобільних систем
Прикладні програми для мобільних систем, які враховують особливості апаратно-програмних платформ і спеціалізованих систем на їх основі. Побудова моделі прикладних програм. Перевірка її несуперечності на області програмного каркаса операційної системи.
автореферат, добавлен 29.08.2014 Аналіз методів синтезу й оптимізації характеристик автоматів з "жорсткою" логікою, схеми яких реалізуються в гетерогенному елементному базисі. Розробка структур і методів синтезу автомата Мілі з кодуванням наборів мікрооперацій і фрагментацією змінних.
автореферат, добавлен 29.08.2014Аналіз сучасного стану і тенденції розвитку функціонально-орієнтованих інтегрованих комп'ютерних систем комерційного керування споживанням електроенергії. Розробка способів представлення звітно-комерційної інформації, орієнтованих на всі рівні керування.
автореферат, добавлен 29.07.2014Розробка табличного логічно-оборотного методу кодоперетворення та образно-знакових моделей спеціалізованих кодоперетворювачів на базі таблично-алгоритмічного методу апаратурної реалізації. Створення алгоритму машинного розрахунку корегуючих констант.
автореферат, добавлен 30.07.2015BIOS як набір програм введення-виведення, взаємодія операційної системи і прикладних програм з різними пристроями як комп'ютера. Програма тестування при включенні живлення комп'ютера POST. Управління чіпсетом та компонентами і ресурсами системної плати.
курсовая работа, добавлен 04.06.2013Моделювання та побудова системи паралельної обробки інформації. Розробка методики реалізації програм та демонстрація можливостей їх практичного застосування. Спектр застосування СПОІ як широкий і охоплює актуальні задачі соціально розподіленого простору.
автореферат, добавлен 07.08.2014Розробка способу побудови моделей системи захисту інформації. Виявлення загроз на основі використання інформаційних моделей захисту даних та інформаційних моделей загроз. Розробка алгоритму протидії атакам на електронні засоби масової інформації.
автореферат, добавлен 20.07.2015Аналіз критеріїв асимптотичної стійкості положення рівноваги нелінійної динамічної системи. Розробка методів розв’язання проблеми Ляпунова для істотно нелінійних систем. Побудова конструктивних алгоритмів аналізу та синтезу динамічних систем керування.
автореферат, добавлен 25.06.2014Розгляд підходів, спрямованих на підвищення реалістичності поведінки ігрових персонажів рольових комп'ютерних ігор за допомогою побудови моделей ігрового штучного інтелекту. Аналіз моделей машинного навчання з відповідно підібраними параметрами.
статья, добавлен 23.03.2024Дослідження математичних і комп’ютерних моделей трубчатого п’єзокерамічного сканера, пристроїв на основі планарних біморфних п’єзоелементів та камертона. Розробка методу покращення позиціонування сканерів за рахунок зменшення зв'язку між актуаторами.
автореферат, добавлен 14.08.2015Розробка методу синтезу мереж з технологією MPLS, що забезпечує стійкість базової структури при варіації інтенсивності вхідних потоків в широкому діапазоні. Визначення оптимальної структури мереж за критерієм вартості і місця розташування маршрутизаторів.
автореферат, добавлен 29.08.2014Склад мікропроцесорної системи. Структурна схема комп’ютера. Програмні засоби обчислювальної системи. Центральний процесор як головний пристрій комп’ютера. Програмне забезпечення як сукупність програм, призначених для розв’язання завдань на комп’ютері.
реферат, добавлен 26.08.2013Характеристика існуючих моделей надійності програмних систем. Розроблення алгоритмів та програм їх реалізації. Впровадження запропонованих підходів, моделей та методик інженерії тестування в проекти з розроблення програмних систем оброблення даних.
автореферат, добавлен 30.07.2014Дослідження проблеми створення інструментарію для поглибленого аналізу програмного коду та його рефакторингу. Пошук базових патернів та антипатернів у коді. Спосіб використання семантичних технологій для реалізації пошуку складних шаблонів в коді програм.
статья, добавлен 10.10.2018Дослідження використання у навчальному процесі підготовки бакалаврів та магістрів з маркетингу пакету прикладних програм на основі мови програмування Object Pascal в системі Delphi - для розв’язання комплексу типових задач маркетингового управління.
статья, добавлен 29.09.2012Дослідження властивостей булевих функцій. Аналіз факторів, що впливають на ефективність їх застосування в засобах захисту інформації. Розробка організації обчислень та програмних засобів для синтезу і реалізації перетворень, що базуються на функціях.
автореферат, добавлен 26.07.2014Розгляд задачі оцінки часу виконання програм для спеціалізованих комп’ютерних систем. Модель роботи програми у вигляді поглинаючого марківського ланцюга із дискретними станами і дискретним часом. Блок-схема алгоритму програми та її інтерпретація графом.
статья, добавлен 28.02.2016Розробка мультиагентних методів синтезу нейро-нечітких мереж для підвищення їхніх апроксимаційних та узагальнюючих здатностей. Динаміка роботи методів відбору інформативних ознак. Огляд програмних засобів для мультиагентного синтезу нейро-нечітких мереж.
автореферат, добавлен 20.07.2015Обґрунтування необхідності підвищення ефективності методів та моделей розпізнавання електронно-оптичних зображень. Здійснення синтезу методу автоматичної класифікації чорно-білих зображень для самонастроювання електронно-оптичних систем розпізнавання.
автореферат, добавлен 28.09.2015