Моделювання багато поточного програмного забезпечення на базі Winapi мережами Петрі
Розробка математичної моделі у вигляді мережі Петрі для формалізації роботи багатопотокових додатків і механізмів синхронізації. Аналіз ряду процесів і потоків в операційній системі. Застосування методів математичного аналізу для прискорення навчання.
Подобные документы
Програмне забезпечення для проведення імітаційного моделювання телекомунікаційних мереж. Переваги застосування таких програм в порівнянні з побудовою мережі. Застосування програмного продукту Riberbed Modeler Academic Edition в навчальних закладах.
статья, добавлен 27.07.2016Розробка математичної моделі технології проектування програмного забезпечення, критеріїв її оцінювання. Алгоритм та продукційні правила вибору технології проектування програмного забезпечення та середовища програмування відповідно до вимог користувача.
статья, добавлен 18.02.2016Розробка гібридних нейромережевих архітектур, а також методів, що дозволяють автоматизовано синтезувати ці архітектури. Проведення імітаційного моделювання розроблених архітектур і методів їх навчання, а також вирішення за їх допомогою практичних задач.
автореферат, добавлен 13.08.2015Аналіз існуючих систем електронного бізнесу, засобів програмного забезпечення для цих систем та розробка необхідної Торгової Інтернет Системи для електронного бізнесу. Розробка методів потоків платежів на основі дерева сценаріїв в електронному бізнесі.
автореферат, добавлен 14.10.2015Формування та аналіз примітивів, що відображають елементарні алгоритмічні конструкції: умовний оператор, оператор вибору, передумовний оператор циклу, післяумовий оператор циклу. Конструкції алгоритмічної мови Delphi та закономірності її роботи.
статья, добавлен 30.10.2016Аналіз переваг та недоліків популярних методологій розробки програмного забезпечення. Вивчення технологій створення додатків. Загальні підходи до побудови каскадної та ітеративній моделей. Характеристика мобільних платформ та техніка їх застосування.
статья, добавлен 07.04.2018Оцінка непараметричних моделей прогнозування показників надійності програмного забезпечення на етапах його тестування та експлуатації на основі нейронних мереж. Розробка методу подання марковського процесу вищого порядку у еквівалентному вигляді.
автореферат, добавлен 27.03.2016Розробка спеціалізованого програмного забезпечення для задач обліку, планування та прогнозування стану процесів розподілу ресурсів при прийнятті оперативних рішень на базі побудови компонентів СПЗ з використанням шаблонів критеріїв у формі об'єктів.
автореферат, добавлен 12.07.2014Вибір математичної моделі еталона, навчання нейронної мережі з використанням алгоритму оберненого розповсюдження похибки. Особливості модифікації вхідних кіл нейронного контролера – розділення входів. Імітаційне моделювання в середовищі Simulink.
статья, добавлен 26.01.2017Аналіз і класифікація моделей, метрик і інструментальних засобів оцінки надійності програмного забезпечення інформаційних і управляючих систем критичного застосування. Пошук шляхів удосконалення методів оцінки надійності програмного забезпечення.
автореферат, добавлен 28.07.2014Моделі формальної обробки інформації у системах штучного інтелекту. Розробка алгебро-логічних методів декомпозиції предикатів для формалізації процесів інтелектуальної обробки інформації у системах штучного інтелекту. Опис механізмів природної мови.
автореферат, добавлен 28.07.2014Розробка методики маршрутизації ІР-пакетів, яка дозволяє збільшити коефіцієнт використання комп’ютерної мережі та не потребує модернізації існуючого на інших маршрутизоторах програмного забезпечення. Розробка адаптивної моделі комп’ютерної мережі.
автореферат, добавлен 10.08.2014Варіантний аналіз сучасних методів та засобів проектування програмного забезпечення автоматизованих систем управління. Розробка алгоритмічного забезпечення. Аналіз результатів і дослідження ефективності програми. Інструкція програміста і користувача.
курсовая работа, добавлен 17.02.2010Тестування програмного забезпечення із використанням методу білої скриньки. Огляд інструментальних засобів для автоматизації тестування програмного забезпечення. Тестування потоків керування програми, потоків даних програми та мутаційне тестування.
статья, добавлен 05.06.2020Дослідження та систематизація видів математичного моделювання супутнього сліду повітряних суден. Аналіз встановлених правил та методів запобігання влучання у супутній слід. Модель небезпечних зон супутнього сліду, що формується за повітряним судном.
статья, добавлен 13.01.2017Класифікація прикладного програмного забезпечення. Частини програмного забезпечення для додатків в САПР. Генерація прикладного програмного забезпечення. Бази даних САПР. Графічні стандарти. Рівні зв'язку графічних стандартів. Зв'язок через формат IGES.
реферат, добавлен 10.01.2009Способи реалізації локальних алгоритмів у багатопроцесорних обчислювальних системах, зокрема, в мережі процесорних елементів з чотирма портами введення - виведення, в обчислювальному середовищі за допомогою штучних нейронних мереж та мережі Петрі.
автореферат, добавлен 29.07.2014Банкомат - автоматизований пристрій, що дозволяє віддалено здійснювати операції, пов'язані з аутентифікацією користувача, переглядом поточного стану рахунку та зняттям грошей. Визначення вимог до програмного забезпечення та аналіз предметної області.
курсовая работа, добавлен 25.06.2018Аналіз існуючих методів і алгоритмів, спрямованих на прискорення і підвищення якості структурного та параметричного синтезу прогнозуючих штучних нейронних мереж зі зворотним поширенням помилки. Розробка механізмів, що дозволяють істотно прискорити процес.
автореферат, добавлен 05.08.2014Огляд та аналіз особливостей застосування сучасних комп’ютерних технологій для створення зовнішнього інтерфейсу веб-додатків на основі застосування моделі машинного та глибокого навчання. Ключові особливості застосування мов програмування для додатків.
статья, добавлен 25.11.2023Розробки стратегії автоматизації. Вимоги до інформаційного забезпечення. Сутності, їх атрибути і зв’язки. Алгоритм перетворення концептуальної моделі соціальної мережі, представленої у вигляді мови ER-моделювання у реляційну модель. Скрипти створення БД.
курсовая работа, добавлен 18.11.2013Методологія об'єктно-орієнтованого аналізу і проектування великих програмних систем. UML як уніфікована мова моделювання. Характеристика робіт проектної групи на стадіях проектування, реалізації, кодування і впровадження програмного забезпечення.
реферат, добавлен 19.07.2017Розробка сучасного програмного засобу для визначення якості програмного забезпечення методами метричного аналізу. Розрахунок за допомогою показників якості відповідних метрик і визначення значення комплексного показника якості програмного продукту.
статья, добавлен 29.03.2020Постановка задач детермінізації та квазідетермінізації процесів в складних системах. Новий підхід до математичного моделювання систем з частково невідомими даними на вході і на виході системи. Відтворення режиму споживання електроенергії у вузлах мережі.
автореферат, добавлен 27.08.2014Аналіз принципів і процесів побудови системно організованих математичних моделей багатопотокових гнучких автоматизованих ліній механоскладального виробництва. Оцінювання показників їх функціонування й оптимізації параметрів міжопераційних накопичувачів.
автореферат, добавлен 26.08.2014