Алгоритмізація основних етапів інформаційного моделювання предметної області
Розробка методу побудови концептуальної моделі великого підприємства. Обґрунтування переходу від множини функціональних залежностей до характеристичної булевої функції. Знаходження всіх потенційних ключів відношення на основі її матричного представлення.
Подобные документы
Підвищення надійності програмного продукту - надзвичайно важлива та актуальна наукова задача. Опис методу автоматизованої побудови сценаріїв тестування на основі розробленої моделі поведінки ПЗ з урахуванням його змінних, що скорочеє фінансові ресурси.
статья, добавлен 28.08.2016Поняття і визначення функціональної залежності. Дослідження процесу декомпозиції. Процедура нормалізації, роль функціональних залежностей для формулювання цієї концепції. Замикання множини атрибутів. Вивчення поняття детермінанту і залежної частини.
реферат, добавлен 01.01.2013Розробка архітектури та побудова компонентної об'єктної моделі уніфікованого та функціонально відкритого інтерфейсу користувача. Проектування методики автоматизованого формування адаптивного інтерфейсу за формалізованим описом предметної області.
автореферат, добавлен 22.06.2014Мережа Петрі, що представляє формалізовану модель системи перевезення вантажів літаками. Алгоритм знаходження запуску переходів. Алгоритмізація моделі системи і її машинна реалізація, оцінка часу очікування контейнерів із вантажами і завантаження літаків.
курсовая работа, добавлен 12.12.2018Дослідження сучасних методів пошуку в геометричній області та їх взаємозв’язку із задачами аналізу динамічної обстановки. Розробка та обґрунтування методів представлення й аналізу динамічної обстановки для геоінформаційних комплексів реального часу.
автореферат, добавлен 29.07.2014Аналіз стану робіт в області моделювання лісових пожеж, їх теоретичне узагальнення. Моделювання універсального алгоритму розповсюдження лісової пожежі. Розробка програми для візуального відображення динаміки пожежі на електронній карті місцевості.
автореферат, добавлен 27.07.2014Математичні моделі маніпулювання квантами знань, прийняття технологічних рішень, вирішення багатокритеріальної задачі звуження їх множини в гарячештампувальному виробництві. Алгоритмізація методів прийняття рішень. Інтерактивний програмний комплекс.
автореферат, добавлен 11.08.2014Аналіз побудови сучасних телекомунікаційних мереж. Визначення напрямів мінімізації затримки інформації. Розробка методики розрахунку кількості управляючої інформації на основі інформаційно-ентропійного методу для залежних контрольованих об'єктів.
автореферат, добавлен 25.07.2015Реалізація прямого методу знаходження оптимального керування та застосування його для отримання розв'язку задачі стабілізації біфуркації в електрофізіологічній моделі Ходжкіна-Хакслі. Приклад дослідження моделі в веб-інтегрованому програмному середовищі.
статья, добавлен 29.01.2016Класифікація програм автоматизації. Моделювання й аналіз інформаційних систем, засоби їх здійснення. Уніфікована мова моделювання UML, розробка моделі програмної системи її засобами. Розробка виду з погляду прецедентів, проектування та реалізації.
курсовая работа, добавлен 19.09.2017Workflow як методологія моделювання, яка використовує графічний опис інформаційних потоків. Обґрунтування специфічних особливостей у процесі декомпозиції діаграм IDEF3, що включає взаємодію автора і одного або декількох експертів предметної області.
статья, добавлен 15.11.2015Розробки стратегії автоматизації. Вимоги до інформаційного забезпечення. Сутності, їх атрибути і зв’язки. Алгоритм перетворення концептуальної моделі соціальної мережі, представленої у вигляді мови ER-моделювання у реляційну модель. Скрипти створення БД.
курсовая работа, добавлен 18.11.2013- 88. Моделі та інформаційні технології адміністрування інформаційного комплексу автоматизованих систем
Розробка нових інформаційних технологій, що забезпечують підвищення ефективності адміністрування та актуальності даних, які використовуються для виконання змінюваних запитів користувачів. Функції інформаційного комплексу системи за рахунок типізації.
автореферат, добавлен 19.07.2015 Розробка графу взаємозв’язків між критеріями, які ієрархічно впорядковані за пріоритетністю впливу на процес моделювання представлення інформації в електронних виданнях на основі аналізу критеріїв, що впливають на якість сприйняття цієї інформації.
статья, добавлен 29.08.2016- 90. Дослідження статистичної безпеки методів цифрового підписування на основі рекурентних послідовностей
Дослідження статистичної безпеки методу цифрового підписування на основі рекурентних V-послідовностей, його порівняння з відомими методами Фейге-Шаміра та Шнорра. Застосування методу в системах цифрового підписування з використанням великих ключів.
статья, добавлен 30.08.2016 Розробка моделі для оцінки успішності проекту на основі динамічних показників. Визначення відношення зацікавлених сторін до самого проекту та змін такого відношення під впливом певних дій. Аналіз динамічного ряду визначеності під впливом різних дій.
статья, добавлен 27.07.2016Стан досліджень в області систем автоматичного розпізнавання. Розробка комплексного методу побудови вирішуючих правил в імовірнісних САРЗ відкритого типа. Дослідження ефективності комплексного методу при побудові правил класифікації в імовірнісних САРЗ.
автореферат, добавлен 26.09.2015Характеристика методу побудови логічних залежностей між небінарними ознаками об’єктів в базах даних у вигляді агрегованих асоціативних правил. Аналіз результатів, що отримано, у вигляді програмної системи побудови узагальнених асоціативних правил.
автореферат, добавлен 29.08.2014Проведення повного синтезу багатофункціонального регістру з покроковим описом всіх вироблюваних дій. Визначення булевої функції, опис її мінімізації методом карт Карно. Характеристика таблиці синтезу автоматів Мілі та Мура. Скорочені формули для них.
курсовая работа, добавлен 25.03.2014Застосування спеціалізованих засобів розробки програмного забезпечення мовою С++ на основі уніфікованої мови моделювання. Практика використання інтегрованого середовища Microsoft Visual Studio 2010 для візуального програмування. Лістинг програми.
курсовая работа, добавлен 13.01.2015Аналіз предметної області. Застосування послідовної нормалізації до відношень. Визначення атрибутів що є потенційними, первинними ключами. Побудова даталогічної моделі бази даних. Створення діаграми "сутність-зв’язок". Специфікація вимог для користувачів.
курсовая работа, добавлен 24.12.2019Розробка зменшеної моделі режиму вибіркового гамування із прискореним виробленням імітовставки, яка зберігає алгебраїчну структуру всіх основних криптоперетворень та дозволяє подальше прогнозування рівня криптографічного стійкості повної версії шифру.
статья, добавлен 27.07.2016Класифікація структурних кодів на основі базових груп. Аналіз показників оцінки потужності підмножин пріоритетів. Характеристика матрично-аналітичного методу синтезу основних шифрів. Метод мінімізації логічних функцій у формі поліномів Ріда-Мюллера.
автореферат, добавлен 15.07.2014Розробка математичної моделі одновимірного промислового розкрою матеріалу різної довжини на основі лінійного програмування і методу січних площин. Дослідження ефективності алгоритму на основі тестових прикладів, характерних для машинобудівних підприємств.
автореферат, добавлен 26.07.2014Опис предметної області та розробка комп'ютерної системи у формі довідника для покупців з базою торгових точок міста. Обґрунтування вибору програмних рішень для розробки довідника та розробка структурного алгоритму проектованої комп'ютерної системи.
курсовая работа, добавлен 18.11.2019