Створення OWL-DL онтологій розподілених паралельних програмних систем
Аналіз доцільності онтологічного моделювання як етапу розробки метамоделей програмних систем. Способи створення онтології топології обчислювальних вузлів розподілених ПС. Особливості визначення правил граматики метамоделей як функціональної властивості.
Подобные документы
Побудова методу послідовної маршрутизації на паралельних обчислювальних структурах. Розробка системоаналогового методу маршрутизації на графах. Створення системоаналогового алгоритму багатошляхової маршрутизації на паралельних обчислювальних структурах.
автореферат, добавлен 28.07.2014Розглянуто особливості програмних комплексів Cyclone, Trimble RealWorks Survey, ScanIMAGER, LFM, які можна використовувати для обробки даних наземного лазерного сканування. Описано кожен із рівнів і подано результати моделювання тривимірних об’єктів.
статья, добавлен 30.01.2017Розробка моделей та архітектурних рішень для складноорганізованих інтелектуальних математичних програмних систем, що інтегрують різноманітні парадигми програмування на базі алгебраїчного та інсерційного програмування, теорії взаємодії агентів і середовищ.
автореферат, добавлен 12.08.2014Характеристика технології швидкої розробки програмних систем. Аналіз їх переваг та недоліків. Ознайомлення з особливостями фреймворків і швидкодії. Визначення сутності об’єктно-реляційного відображення. Вивчення основ коректності програмної системи.
статья, добавлен 28.02.2016Інформаційна технологія й методи побудови функціональних тестів. Відновлення працездатності апаратно-програмних засобів у складі автоматизованих систем управління. Скорочення обчислювальної складності й довжини тестів шляхом розробки методів синтезу.
автореферат, добавлен 29.01.2016Проектування розробки додатку для керування процесами розробки програмних продуктів, що буде представляти цілісну систему для розробки ПЗ, мінімізуючи складність комунікацій та сприйняття інформації та дозволить суттєво пришвидшити основні процеси роботи.
статья, добавлен 19.06.2024Розвиток методології і розроблення теоретичних засад формалізації та організації руху даних в розподілених комп'ютерних системах. Аналіз існуючих технологій проектування, діагностування та моделювання РКС. Формалізація характеристик системних об'єктів.
автореферат, добавлен 29.09.2014Побудова моделі якості програмних систем оброблення даних на базі метрик надійності. Роль програмного забезпечення у виконанні функцій системи. Математичні моделі прогнозування дефектів та графічний комплекс з використанням апарату байєсівських мереж.
автореферат, добавлен 30.07.2014Суть набору програмних засобів для проектування спільних підприємств, який містить набір для проектування одного виробництва і для визначення правил взаємодії кількох підприємств. Вирішення задач проектування матричним методом динамічного програмування.
статья, добавлен 12.08.2022Засоби та способи інтероперабельних моделей подання знань предметної області, що використовуються розподіленими Web-застосуваннями. Використання онтологічного аналізу та мереологічного підходу для визначення відношення між різними термінами тезаурусу.
статья, добавлен 25.03.2016Визначення та загальна характеристика найбільш поширених програмних платформ для мобільних пристроїв. Огляд і аналіз основних інструментальних середовищ для створення функціональних та ігрових додатків під мобільну операційну систему "Android".
статья, добавлен 28.11.2020Існуючі підходи до моделювання інтелектуальної діяльності: символьний та нейромережевий. Дослідження методів формування бінарних розріджених розподілених представлень інформації та методів її обробки. Характеристика методу грубого кодування Prager.
автореферат, добавлен 29.08.2014Побудова функціональної моделі IDEF0. Моделювання широкого кола систем і визначення функцій. Створення нової моделі, контекстної діаграми з єдиною роботою, яку виконує система в цілому. Типи граничних стрілок, їх призначення. Використання кодів ICOM.
лабораторная работа, добавлен 21.11.2021Вивчення і аналіз теоретичних, методологічних та програмних засад створення Web-систем підтримки навчальної діяльності у закладах освіти, розробка механізму динамічної модифікації їх вмісту. Вивчення існуючого інструментарію та його можливостей.
автореферат, добавлен 11.08.2014Побудова комп’ютерної моделі. Проведення експериментів, орієнтованих на розв’язання задач моделювання. Валідація апріорних вхідних даних. Розширення можливостей імітаційного інструментарію на основі сучасних мов та технологій розподілених обчислень.
автореферат, добавлен 14.09.2015Знаходження користувачем існуючих програмних систем, які відповідають критеріям пошуку. Вивчення переваг та недоліків розважальних інформаційних порталів та форумів. Відновлення вимог (reverse engineering) за програмою для обраної предметної області.
лабораторная работа, добавлен 07.02.2014Дослідження існуючих математичних моделей щодо переміщення рідкого середовища з рухомими границями. Визначення основних найбільш перспективних напрямків розвитку паралельних асинхронних і мультисіткових методів і програмних засобів для їх реалізації.
автореферат, добавлен 20.07.2015Використання корпоративних інформаційних систем та спеціалізованих програмних продуктів для розв’язання задач управління маркетингом. Концепція Material Resource Planning. Аналіз конкурентоспроможності на сегменті ринку. Моделювання стану ринку.
курсовая работа, добавлен 26.08.2013Інформаційно-аналітичне дослідження лімнологічних систем на основі використання онтології задач вибору рішень щодо оптимального розвитку екосистем. Методика формування онтології та створення на її основі бази даних за результатами досліджень якості води.
статья, добавлен 25.03.2016Розробка методів передачі інформації в розподілених системах із забезпеченням таких характеристик, як мобільність, висока швидкість розгортання, інтерактивність, легкість використання. Використання таких систем в різних галузях життєдіяльності людини.
статья, добавлен 23.02.2016Програмне обчислення середнього арифметичного випадкових послідовностей з використанням алгоритму циклічних процесів. Особливості створення задач по обробці послідовності символів, інформаційних масивів та їх реалізація на мові програмування С++.
методичка, добавлен 22.07.2017Визначення факторів, які суттєво впливають на ефективність функціонування комп’ютерних систем і мереж. Розробка та дослідження методів їх проектування при наявності нечіткості у визначенні характеристик та на основі маршрутизації та логічних каналів.
автореферат, добавлен 26.08.2014Аналіз наявних сьогодні систем опрацювання інформації та можливості створення інтегрально-оптичних елементів оптичних обчислювальних машин. Створення мініатюрних оптичних процесорів, основа яких – оптичні транзистори, є першочерговим завданням нині.
статья, добавлен 07.12.2016Аналіз загроз персональних комп’ютерів від несанкціонованого використання. Розробка методики захисту програмного забезпечення та автентичності навчальної звітності. Створення біометричного контролю особи користувача. Реалізація моделей у програмних кодах.
автореферат, добавлен 24.07.2014Створення архівних колекцій веб-сайтів у межах ініціативного документування з метою зберігання культурної спадщини України для майбутніх поколінь. Аналіз досвіду щодо зберігання веб-ресурсів. Програмні засоби для створення архівних копій веб-сайтів.
статья, добавлен 29.01.2017