Моделювання багато поточного програмного забезпечення на базі Winapi мережами Петрі
Розробка математичної моделі у вигляді мережі Петрі для формалізації роботи багатопотокових додатків і механізмів синхронізації. Аналіз ряду процесів і потоків в операційній системі. Застосування методів математичного аналізу для прискорення навчання.
Подобные документы
Опис моделі координаційного механізму програмної системи підтримки асинхронної дистанційної взаємодії в мережі Інтернет, створеної за допомогою кольорових мереж Петрі. Вивчення результатів дослідження моделі на безпечність, активність та коректність.
статья, добавлен 25.10.2016Виконання GPGPU-застосувань за допомогою математичного апарату мереж Петрі. Процес побудови алгоритмів для сучасних відеоадаптерів з урахуванням особливостей їх роботи. Формування асинхронної операції з пам'яттю за рахунок використання різних потоків.
научная работа, добавлен 28.02.2016Шляхи моделювання динамічних дискретних систем, що відображують інформаційні загрози для комп’ютерів, маршрутизаторів та комутаторів. Огляд провідних спеціалізованих програмних продуктів. Умови використання розфарбованої мережі Петрі та гіперграфів.
статья, добавлен 21.02.2017Сучасні технології проведення інформаційного аналізу. Особливості моделювання динамічних систем і процесів за допомогою інтерпретації мереж Петрі. Доцільність використання ієрархічного підходу до проектування шляхів ліквідації надзвичайних ситуацій.
статья, добавлен 25.10.2016Уніфікована мова моделювання UML. Використання інформаційних технологій в індустрії розваг. Розробка моделі програмної системи засобами UML. Особливості створення покрокової рольової гри. Інтеграція проектування, розробки додатків в програмне середовище.
курсовая работа, добавлен 19.09.2017Основи теорії моделювання та базові принципи моделювання складних технічних та економічних систем. Характеристика моделей систем масового обслуговування, мережі Петрі і програмних генераторів випадкових величин і процесів. Шляхи імітаційного моделювання.
учебное пособие, добавлен 12.06.2011Розробка математичної моделі специфікації вимог до програмного забезпечення, прогнозування характеристик ПЗ на основі аналізу специфікацій та математичної моделі процесу прогнозування характеристик ПЗ, в основі якої лежить штучна нейронна мережа.
статья, добавлен 13.10.2016Створення методів математичного і чисельного моделювання аномальних дифузійних процесів на основі застосування апарату варіаційних нерівностей. Розробка програмних засобів аналізу, ідентифікації і управління, які забезпечують розв’язання прикладних задач.
автореферат, добавлен 28.08.2014Розробка й аналіз нових методів побудови архітектури і навчання моделі неповнозв'язної нейронної асоціативної пам'яті, які забезпечують більшу ємність пам'яті даної моделі. Розробка програмних засобів для моделювання мереж і алгоритмів навчання.
автореферат, добавлен 25.08.2014Методи та шляхи поширення шкідливого програмного забезпечення в операційній системі Android. Новий метод динамічного аналізу додатків, який дозволить покращити існуючу систему безпеки. Аналіз послідовностей API-викликів за допомогою інструментарію Frida.
статья, добавлен 26.08.2020Експериментальна розробка теоретичних і практичних основ побудови розподілених систем імітаційного моделювання на базі вдосконалення формального апарату Е-мереж за рахунок застосування додаткових механізмів синхронізації в рамках консервативного підходу.
автореферат, добавлен 26.08.2014Мережа Петрі, що представляє формалізовану модель системи перевезення вантажів літаками. Алгоритм знаходження запуску переходів. Алгоритмізація моделі системи і її машинна реалізація, оцінка часу очікування контейнерів із вантажами і завантаження літаків.
курсовая работа, добавлен 12.12.2018Розробка методики аналізу можливостей модернізації локальної обчислювальної мережі та визначення умов її застосування на прикладі реального підприємства. Аналіз локальної обчислювальної мережі методами математичного та імітаційного моделювання.
статья, добавлен 29.06.2016Розробка математичних моделей процесів та апаратів первинної переробки сирих вуглеводнів, їх узагальнення з метою типізації та уніфікації математичного опису класу процесів. Формалізація та уніфікація методів та засобів математичного моделювання.
статья, добавлен 28.08.2016Пошук шляхів підвищення ефективності управління децентралізованими технічними системами. Розробка методичного, математичного, алгоритмічного та програмного забезпечення для оптимізації та моделювання процесів функціонування децентралізованих систем.
автореферат, добавлен 27.08.2014Алгоритм будови математичної моделі багатовимірного подання інформації в реляційній базі даних, яка враховує характер їх опрацювання під час аналізу. Основні методи інформаційного забезпечення процесів підтримки прийняття рішень у предметній області.
автореферат, добавлен 13.07.2014Підвищення ефективності процесів комерційної команди за рахунок розробки моделі вибору програмного забезпечення для оцінки мобільних додатків, коли критерії задані інтервальними значеннями. Модель програмного забезпечення для оцінки мобільних додатків.
статья, добавлен 07.01.2023Аналіз математичного і програмного забезпечення процесів набору та редагування формул алгоритмів засобами універсальних і спеціалізованої комп’ютерних систем. Синтез та мінімізація математичного забезпечення редактора, його програмна реалізація.
автореферат, добавлен 26.07.2014Обґрунтування математичної моделі фотоплетизмосигналу у вигляді лінійного періодичного випадкового процесу. Розробка методів аналізу та імітаційного моделювання ФПГ-сигналу для потреб діагностики та виявлення функціональних порушень у судинному руслі.
автореферат, добавлен 13.07.2014Визначення точності регресійних моделей у залежності від запропонованих способів формалізації апріорної інформації про об'єкт моделювання. Консистентність оцінок параметрів моделі, їхній розподіл, матриця середніх квадратів похибок, дисперсія залишків.
автореферат, добавлен 27.08.2014Метод побудови програмного забезпечення систем дистанційного навчання. Використання принципів інженерії програмного забезпечення – багаторівневого представлення, шаблонування, квантифікація. Моделювання бізнес-логіки і аналіз навчального контексту.
автореферат, добавлен 30.10.2015Впровадження комп'ютерної техніки та програмного забезпечення на вищому рівні керівництва. Розробка діаграм користування і потоків інформації для удосконалення та оптимізації бізнес-процесів служби підтримки діяльності кабельної системи зв'язку.
курсовая работа, добавлен 06.02.2022Аналіз і класифікація атрибутів, метрик, методів та інструментальних засобів верифікації й сертифікації програмного забезпечення. Розробка методу верифікації програмного забезпечення в умовах ресурсних обмежень і неповноти проектної документації.
автореферат, добавлен 27.08.2015Класифікація програм автоматизації. Моделювання й аналіз інформаційних систем, засоби їх здійснення. Уніфікована мова моделювання UML, розробка моделі програмної системи її засобами. Розробка виду з погляду прецедентів, проектування та реалізації.
курсовая работа, добавлен 19.09.2017Специфіка застосування програмного засобу "Statistica" для проведення системного аналізу в політології. Приклади практичного застосування пакету програм. Алгоритм проведення дискримінантного аналізу в рамках системного аналізу політичних явищ та процесів.
статья, добавлен 18.02.2014