Композиційні методи специфікації та верифікації програмних систем
Порівняльний аналіз і класифікація методів формальних специфікацій щодо паралелізму за критеріями: класи задач, складність методів, ступінь автоматизації, зв’язок моделі з реальними програмами. Композиційно-номінативна мова, модель серверного середовища.
Подобные документы
Аналіз сучасних методів та засобів проектування комп’ютерних пристроїв. Дослідження методів конфігурування базової архітектури з використанням опису алгоритму мовою високого рівня. Розроблення засобів конфігурування моделі базової архітектури процесора.
автореферат, добавлен 14.09.2015Класифікація ущільнювачів ґрунту, покриттів та майданчиків. Аналіз системи "робочий орган-середовище". Особливості проектування та конструкції. Методика розв’язання диференціальних рівнянь. Вибір програмного середовища. Побудова імітаційної моделі.
дипломная работа, добавлен 22.04.2015Створення методів математичного і чисельного моделювання аномальних дифузійних процесів на основі застосування апарату варіаційних нерівностей. Розробка програмних засобів аналізу, ідентифікації і управління, які забезпечують розв’язання прикладних задач.
автореферат, добавлен 28.08.2014Методи підвищення швидкодії функціональної верифікації цифрових систем на кристалах. Програмне забезпечення логічного моделювання, виконуване на послідовному комп'ютері. Удосконалення моделі сферичного мультипроцесора, розв’язання булевих рівнянь.
автореферат, добавлен 26.08.2015Необхідність автоматизації енергетичних систем та використання інформаційних моделей для оптимізації їх роботи. Характеристики інформаційних моделей, такі як структура, функції, взаємодії, поведінка та властивості. Моніторинг та прогнозування споживання.
статья, добавлен 21.03.2024Розгляд особливостей розробки методів структурної та параметричної адаптації моделей нечіткого виведення на основі штучних імунних систем. Знайомство з результатами роботи імунного алгоритму параметричної адаптації. Аналіз нечіткої моделі Такагі-Сугено.
автореферат, добавлен 27.08.2015- 107. Інтернет-технології: оцінка пріоритетності маніпулювання свідомістю за допомогою методів ранжування
Основні сучасні інформаційні технології маніпуляції свідомістю. Кількісні оцінки пріоритетів зазначених сугестивних технологій. Порівняльний аналіз методів ранжування та оцінок пріоритетності способів маніпулювання свідомістю за допомогою різних методів.
статья, добавлен 11.07.2018 Дослідження екстремальних задач на комбінаторних конфігураціях, розробка підходів та методів розв’язання. Розробка методу направленого структурування, на базі нових методів генерування: рекурсивного методу та методу переміщення максимального елементу.
автореферат, добавлен 19.07.2015Вибір обчислювальних методів для створення паралельних програмних комплексів аналізу перехідних режимів роботи електронних систем. Процес адаптації існуючих діакоптичних методів аналізу динамічних режимів електронних кіл до їх алгоритмічної реалізації.
автореферат, добавлен 07.03.2014Проблеми комп’ютерної інженерії та інформаційних технологій з використання математичних моделей і методів оптимізації систем багатовимірних комбінаторних конфігурацій. Взаємозв’язок симетричних і асиметричних груп з алгебричними структурами полів Ґалуа.
статья, добавлен 29.08.2016Метод формування профілів багатоверсійного програмного забезпечення, який дозволяє автоматизувати процес визначення множини вимог для його розробки та верифікації. Модель його життєвого циклу, що враховує види та кількість версій на кожному етапі.
автореферат, добавлен 29.08.2014- 112. Коди Голомба
Класифікація методів стискання і кодування інформації. Раціональне використання пропускної здатності каналу, використання відповідних методів кодування повідомлень. Основні теоретичні положення щодо кодів Голомба. Середа розробки і програмування.
курсовая работа, добавлен 03.11.2018 Історія та етапи розвитку інформаційних систем. Особливості використання автоматизації на підприємствах. Структура та класифікація інформаційних систем. Роль автоматизації в управлінні. Умови впровадження систем управління в діяльність підприємства.
курсовая работа, добавлен 27.02.2016Дослідження нечітких методів видобування даних, інтелектуальний аналіз баз нечітких знань та задач. Корегування збережених знань, виведення правил, мінімізації та оптимізації наявних правил, адаптації бази правил до нового зовнішнього середовища.
статья, добавлен 29.08.2016Аналіз основних методів кластеризації політематичних текстових документів. Розробка моделі адаптивної нечіткої нейронної мережі. Структура та функції інструментальних засобів вирішення прикладних задач. Зміст генетичного методу зі штучним відбором.
автореферат, добавлен 20.07.2015Розроблення моделей і методів підвищення якості обслуговування, надійності функціонування захищених комп'ютерних мереж. Методи моніторингу параметрів трафіку комп'ютерних мереж. Аналіз існуючих моделей систем їх захисту та інформаційної взаємодії.
автореферат, добавлен 26.08.2015Дослідження ролі використання комп'ютерних мереж, інтернет-технологій та програмних продуктів наскрізної автоматизації всіх бізнес-процесів туристичного бізнесу. Вивчення систем управління продажами турфірми. Аналіз необхідності автоматизації процесів.
лекция, добавлен 21.07.2017Аналіз математичного підходу та особливостей використання нечітких моделей для опису об’єктів житлового середовища. Дослідження основних характеристик параметрів якості житлового середовища, типів шкал їх вимірювання і методів побудови функцій належності.
статья, добавлен 27.07.2016Дослідження моделі комп’ютерного аналізу первинних даних наукових експериментів. Визначення набору обчислювальних методів для адаптивної обробки результатів вимірювань у радіаційних технологіях. Вивчення та аналіз методів обробки результатів дозиметрії.
автореферат, добавлен 30.07.2015Модель верифікації баз знань інтелектуальних систем управління високошвидкісного рухомого об’єкта з використанням блукаючого діагностичного ядра, яка дозволяє визначати наявність збоїв та некоректностей у базі знань із заданим ступенем достовірності.
статья, добавлен 14.07.2016Аналіз моделей піксела та методів антиаліайзингу графічних об’єктів. Розробка теоретичних засад щодо визначення параметрів для антиаліайзингу контурів графічних об’єктів. Розробка високопродуктивних методів антиаліайзингу для кривих другого порядку.
автореферат, добавлен 30.10.2015- 122. Аналіз основних підходів до вирішення задачі конвертації двовимірних зображень в тривимірну модель
Розвиток штучного інтелекту та інтеграція у виробництво нейромережевих систем. Вдосконалення методів організації конструкторської документації. Аналіз математичних рішень та алгоритмів розпізнавання двовимірних креслень для їх трансформації в 3D модель.
статья, добавлен 12.10.2023 - 123. Дослідження та експериментальний аналіз методів машинного навчання в задачах електронної комерції
Задача аналітики великих даних у персоналізованих системах електронної комерції, огляд методів машинного навчання для розв’язання задач регресії. Моделювання роботи методів машинного навчання для прогнозування суми витрат споживачів роздрібного магазину.
статья, добавлен 09.10.2020 Аналіз і класифікація моделей, метрик і інструментальних засобів оцінки надійності програмного забезпечення інформаційних і управляючих систем критичного застосування. Пошук шляхів удосконалення методів оцінки надійності програмного забезпечення.
автореферат, добавлен 28.07.2014Сучасні високопродуктивні обчислювальні системи і паралельні методи розв’язання динамічних задач із зосередженими параметрами. Паралельні неявні однокрокові методи чисельного розв’язання жорстких задач та їх реалізація в багатопроцесорних структурах.
автореферат, добавлен 29.08.2015