Композиційні методи специфікації та верифікації програмних систем
Порівняльний аналіз і класифікація методів формальних специфікацій щодо паралелізму за критеріями: класи задач, складність методів, ступінь автоматизації, зв’язок моделі з реальними програмами. Композиційно-номінативна мова, модель серверного середовища.
Подобные документы
Побудова чіткої моделі програми, спираючись на класи та об’єкти - особливість об’єктно-орієнтованого підходу до створення програмних продуктів. Методи визначення точки у декартовій системі координат. Аналіз основних складових інтерфейсу програми.
курсовая работа, добавлен 25.09.2017Створення на єдиній методологічній основі нових моделей і методів інтеграції гетерогенних інформаційних систем і розподілених баз даних, інтелектуальних обчислювальних механізмів, методів і інструментальних засобів аналізу взаємозалежних задач користувача
автореферат, добавлен 27.07.2014Розробка методів оперативного та інтелектуального аналізу даних, що є складовими систем підтримки прийняття управлінських рішень на основі реєстру сільськогосподарських тварин та реєстру зернових культур. Основні моделі та методи вирішення завдань.
автореферат, добавлен 27.08.2015Розробка методів та алгоритмів моделювання інформаційних систем, що реалізовані на основі Web-технологій. Створення процедур оптимізації структури Web-систем. Побудова формальної моделі Web системи, аналіз її поведінки. Створення прикладної Web системи.
автореферат, добавлен 20.04.2014Аналіз основних етапів і методів побудови нейронних мереж прямого поширення та обґрунтування еволюційного підходу для синтезу нейромоделей. Розробка основних програмних засобів для синтезу розпізнаючих моделей об’єктів на основі запропонованих методів.
автореферат, добавлен 26.08.2015Розробка та використання методів виведення за аналогією для розв’язання аналітичних задач на основі атрибутивних і структурно-атрибутивних моделей знань, представлених в семантичних мережах. Порівняльний аналіз розроблених методів виведення за аналогією.
автореферат, добавлен 28.07.2014Характеристика існуючих методів алгоритмів модулярної редукції надвеликих чисел та їх порівняльний аналіз з метою визначення найбільш швидкодіючих. Математичне обґрунтування метода Монтгомері. Паралельні алгоритми обчислення модулярного експоненціювання.
автореферат, добавлен 05.01.2014Характеристика методів бінарного розрідженого розподіленого представлення реляційної структурованої інформації. Розробка і дослідження особливостей програмних та апаратних засобів, що реалізують запропоновані методи представлення та обробки інформації.
автореферат, добавлен 29.09.2015- 59. Розробка методів та програмного інструментарію створення прикладних програм для мобільних систем
Прикладні програми для мобільних систем, які враховують особливості апаратно-програмних платформ і спеціалізованих систем на їх основі. Побудова моделі прикладних програм. Перевірка її несуперечності на області програмного каркаса операційної системи.
автореферат, добавлен 29.08.2014 Інтеграція фінансових програмних систем Збройних Сил (ЗС) України в єдине інформаційне середовище на основі аналізу функціональності існуючих систем автоматизації. Склад системи автоматизації ведення бухгалтерського обліку "Парус - Бюджетна установа 8".
статья, добавлен 13.02.2016Розробка багатокрокових багатоточкових блокових методів рішення задачі Коши для звичайних диференціальних рівнянь. Теоретичне обґрунтування збіжності і стійкості розроблених методів та їх відображення на паралельних обчислювальних системах SIMD і MIMD.
автореферат, добавлен 04.03.2014Розроблення методу адаптивного інформаційного пошуку на основі контекстної моделі користувача, який складається з методів автоматичного формування моделі користувача і стереотипів, методів автоматичного розширення запиту інформацією з його моделі.
автореферат, добавлен 02.08.2014Методи рекурсивного аналізу операційних моделей динамічних систем на основі апроксимуючих імпульсних спектрів. Оцінювання втрат інформації при апроксимації. Алгоритмізація розроблених методів. Шляхи використання програм електронного моделювання.
автореферат, добавлен 05.01.2014Класи моделей представлення зображень, векторних моделей, адитивних абелевих груп функціоналів, які визначені на регулярних покриттях зображень. Поняття факторизації тополоґічного простору. Удосконалення існуючих методів суміщення зображень у наборах.
автореферат, добавлен 20.07.2015Оцінювання якості роботи систем розпізнавання образів. Аналіз основних методів фільтрації зображень, перетворення аналогового сигналу до цифрового. Походження, класифікація та види шумів, мінімізації їх шкідливого впливу. Характеристика гаусівського шуму.
статья, добавлен 29.03.2020Дослідження методів автоматизації пошуку цін на товари за вказаною назвою в декількох інтернет-магазинах одночасно. Технічні характеристики комп’ютера та зовнішніх пристроїв. Вибір програмних засобів та операційної системи. Алгоритм рішення задачі.
курсовая работа, добавлен 22.12.2019Аналіз методів розв’язання динамічних задач із зосередженими параметрами для систем звичайних диференційних рівнянь. Пошук шляхів підвищення ефективності паралельного розв’язання лінійних задач Коші з контролем похибки на кожному кроці інтегрування.
автореферат, добавлен 25.07.2014Розробка математичних методів для дослідження проходження нейтронів крізь уповільнюючі середовища. Моделювання характеристик позиційно-чутливих детекторів, проектування та дослідження систем нейтронографічної установки на прискорювачі електронів.
автореферат, добавлен 29.09.2015Порівняльний аналіз широко вживаних в практиці обробки геофізичної інформації методів усунення завад та альтернативних методів, заснованих на ортогональному діадному вейвлет-перетворенні. Простір ознак для опису об’єктів, що підлягають класифікації.
автореферат, добавлен 29.08.2014Побудова математичної теорії моделі "сутність-зв’язок": уніфікація елементів, аналіз еволюції. Формалізація структурної частини моделі щодо обмежень цілісності. Логічні зв’язки між різними видами обмежень кардинальності, їх математичне дослідження.
автореферат, добавлен 28.09.2015Класифікація наявних методів стиснення інформації з погляду особливостей використання у них моделей інформаційного джерела. Головний аналіз удосконалення алгоритмів у вигляді програмного середовища. Характеристика оптимальності одержаного кодування.
автореферат, добавлен 26.09.2015Класифікація моделей та методів дослідження виробничих систем у задачах автоматизованого управління програмою підприємства. Розробка інформаційних моделей опису виробничих систем для економічного моніторингу наукоємного високотехнологічного виробництва.
автореферат, добавлен 11.08.2014Розробка математичної моделі надійності програмних засобів, яка дозволяє кількісно оцінити і прогнозувати значення показників надійності. Отримання кількісної оцінки показників надійності комп'ютерних систем при заданих обмеженнях і припущеннях.
статья, добавлен 25.12.2016Аналіз функціонування сучасних систем-месенджерів. Дослідження і аналіз загальних проблем і перспектив щодо розробки універсального серверного Discord-бота з можливістю, зокрема, пошуку музики в YouTube, адміністрування каналу та перегляду погоди.
статья, добавлен 03.02.2023Аналіз сучасних моделей і методів побудови та інтеграції автоматизованих систем життєвого циклу виробів промислових підприємств машинобудівної галузі. Програмні засоби аналітичного дослідження технологічних процесів підприємств та методи їх вдосконалення.
автореферат, добавлен 28.09.2015