Інтелектуальні методи синтезу семантичних моделей програм
Розробка методу синтезу формальних моделей комп’ютерних програм на основі семантичних анотацій їх елементів. Розробка методу навчання інтелектуальної системи синтезу семантичних моделей програм. Структура онтології для системи синтезу моделей програм.
Подобные документы
Розробка моделей та методів алгоструктурної організації паралельних обчислювальних процесів задля підвищення ефективності роботи комп'ютерних систем. Особливості методу перетворень алгоструктурних моделей та розпаралелення обчислень в алгоструктурах.
автореферат, добавлен 29.08.2015Розробка моделей, методів і процедур синтезу легкотестованих компонентів мереж клітинних автоматів на базі програмованих логічних інтегральних схем. Створення методів синтезу вбудованих засобів сигнатурного моніторингу для однорідних клітинних мереж.
автореферат, добавлен 30.07.2015Розробка системи автоматизованого проектування маршрутів формування кристалів інформаційних систем. Методи виділення фактуальних знань та засоби синтезу моделей і алгоритмів. Технологічне проектування кристалів напівпровідникових інформаційних систем.
автореферат, добавлен 23.02.2014Аналіз апарату системних мереж як одного з найбільш поширених способів представлення знань. Основна концепція семантичних структур, на основі якої можлива побудова моделей представлення слабо формалізованих умінь, придатних для побудови складних систем.
статья, добавлен 27.07.2016Визначення переваг та недоліків використання віртуальної лабораторії та комп'ютерних моделей в освітньому процесі з фізики. Обґрунтування доцільності застосовувати віртуальних лабораторій та комп'ютерних моделей в умовах змішаного навчання фізики.
статья, добавлен 21.02.2022Загальні теоретичні відомості про зміст програмного середовища Borland С++ Builder. Моделювання блок-схеми алгоритму для обчислення об’єму умовного усіченого циліндра. Особливості виконання на комп’ютері найпростіших програм на мові програмування С+.
лабораторная работа, добавлен 06.11.2014Вибір та систематизація методів аналітичного перетворення математичних моделей динамічних об’єктів. Сутність, реалізація методів аналітичного та апроксимаційного перетворення, створення структури пакету комп’ютерних програм, їх специфіка та використання.
автореферат, добавлен 28.08.2015Реалізація методу синтезу композиційних мікропрограмних пристроїв керування з традиційними й елементарними операторними лінійними ланцюгами на основі адреси мікрокоманди у вигляді конкатенації коду операторного лінійного ланцюга та її компонентів.
автореферат, добавлен 27.02.2014Застосовування методів аналізу й синтезу при розробці обчислювальних пристроїв. Адаптація методу великих часток реального часу до вимог систем візуалізації. Синтез зображень газодинамічних об'єктів. Розробка схеми обчислювача, моделювання блоків.
автореферат, добавлен 27.08.2015Розгляд підходів до побудови нейрокомп’ютерних систем. Розробка базової структури нейроорієнтованої комп’ютерної системи реального часу. Визначення особливостей нейрообробки даних, операційного базису спеціалізованих модулів і етапів їх синтезу.
статья, добавлен 30.10.2016Аналіз методу синтезу алгебраїчних нормальних форм булевих SAC-функцiй нульового та вищого порядкiв. Особливості розробки підходу i застосування апарату булевих функцій для аналізу i синтезу ефективних криптографічних алгоритмів захисту інформації.
автореферат, добавлен 29.08.2013Класифікація моделей об'єкта на основі кореляційних функцій і теоретико-числових базисів. Теоретичні основи діагностування об'єктів управління на основі кластерних моделей. Розробка діалогової системи і алгоритмів моделювання на базі кластерних моделей.
статья, добавлен 29.01.2016Аналіз алгоритму автоматизованого синтезу баз даних та просторових об’єктів для збереження параметрів математичної моделі процесів зміни стану об’єктів. Розгляд підходів до автоматизації процесу інтегрування математичних моделей екологічних процесів.
автореферат, добавлен 19.07.2015Розробка теоретичних та методологічних засобів опису лінгвістичних зв’язків української мови у вигляді рівнянь алгебри предикатів. Побудова математичних моделей акцентних характеристик і букво-фонемних відношень для голосних та приголосних звуків.
автореферат, добавлен 29.07.2014Розробка та рекомендації з практичної реалізації моделей, алгоритмів управління матеріальними, інвестиційними, інформаційними, трудовими та інтелектуальними потоками. Вдосконалення ресурсного забезпечення науково-дослідних програм моніторингу довкілля.
автореферат, добавлен 14.09.2014Особливості тривимірного моделювання одягу на основі графічних редакторів 3D графіки. Використання спеціалізованих програм для створення 3D моделей одягу. Ознайомлення з інтерфейсом та програмними можливостями програм Tailotnova та Marvelous designer.
статья, добавлен 30.07.2024Аналіз блок–схем програм сортування. Визначення недоліків використання моделей абстрактних алгоритмів в умовах бурхливого розвитку комп’ютерної техніки. Дослідження взаємозалежності характеристик складності варіантів побудови вузлів асоціативної пам’яті.
автореферат, добавлен 25.02.2015Процеси, пов’язані зі створенням комп’ютерних програм. Вироблення навиків практичного використання інтегрованих середовищ програмування з метою створення, виконання та відлагодження програм на мові Cі. Визначення інженерії програмного забезпечення.
лабораторная работа, добавлен 12.11.2022Класифікація структурних кодів на основі базових груп. Аналіз показників оцінки потужності підмножин пріоритетів. Характеристика матрично-аналітичного методу синтезу основних шифрів. Метод мінімізації логічних функцій у формі поліномів Ріда-Мюллера.
автореферат, добавлен 15.07.2014Дослідження методів обчислюваності програм, які узагальнюють традиційні підходи до неї. Описання класів обчислюваних функцій і композицій над номінативними даними різних рівнів абстракції і загальності, побудування алгебраїчних представлень таких класів.
автореферат, добавлен 19.04.2014Розробка методології синтезу абстрактних, структурних і HDL-моделей безпечних логічних автоматів для ПЛІС-контролерів з паралельною архітектурою. Експериментальні дослідження, промислові випробування і оцінка функціональної безпеки ПЛІС-контролерів.
автореферат, добавлен 20.07.2015Дослідження задач прийняття рішень при неповній початковій інформації. Побудова алгоритмів синтезу цільових псевдобулевих функцій на основі знань. Обчислення паретівської множини шляхом попарних порівнянь точок. Розробка метода активних звужуючих запитів.
автореферат, добавлен 22.06.2014Вивчення проблеми розробки структурних методів синтезу багатозначних оборотних засобів розв'язання систем логічних рівнянь для синтезу багатозначних логічних елементів прямої та зворотної дії, які використовують у системах та засобах штучного інтелекту.
автореферат, добавлен 20.07.2015Розробка методів, алгоритмів та моделей аналізу трафіку. Оптимізація пропускних здатностей ліній зв’язку та інших систем для підвищення ефективності гетерогенних комп’ютерних мереж. Методика використання рандомізованих моделей динаміки мережного трафіку.
автореферат, добавлен 30.08.2014В якій саме формі треба охороняти алгоритм та програму для електронної обчислювальної машини. Правова охорона інтелектуальної власності. Зміст авторського права. Незаконне відтворення, розповсюдження виконань, фонограм, відеограм і програм мовлення.
реферат, добавлен 26.08.2013