Формалізація моделі "сутність-зв’язок": типи сутностей, типи зв’язків та їх обмеження
Побудова математичної теорії моделі "сутність-зв’язок": уніфікація елементів, аналіз еволюції. Формалізація структурної частини моделі щодо обмежень цілісності. Логічні зв’язки між різними видами обмежень кардинальності, їх математичне дослідження.
Подобные документы
Формалізація процедури формування поелементних послідовностей розкладання – складання системних технічних об'єктів складання з урахуванням вимог доступу та базування. Проведення кількісної оцінки варіантів по заданим локальним критеріям оптимальності.
автореферат, добавлен 29.07.2014Визначення інформаційної системи, склад, класифікація, сфери використання. Економічна інформація як об'єкт обробки. Поняття інформаційної моделі, рівні опису. Класифікація зв'язків між інформаційними одиницями, типи інформаційних та реляційних моделей.
шпаргалка, добавлен 30.10.2010Розробка навігаційних методів автономного мобільного робота з використанням локальної навігації у поєднанні з глобальною інформацією. Аналіз регулярного ітеративного способу градієнтного пошуку з локальною адаптивною оцінкою обмежень другого роду.
автореферат, добавлен 29.08.2014Виявлення сутностей та зв’язків. Виявлення атрибутів сутностей. Призначення первинних ключів. Організація взаємодії клієнтської частини програми з базою даних. Створення зв’язків між таблицями. Розробка інтерфейса користувача. Опис процедур обробки подій.
курсовая работа, добавлен 04.01.2014Етапи розв’язування задач на ЕОМ. Загальна структура алгоритмічного забезпечення. Властивості та способи представлення алгоритму. Мови програмування високого та низького рівнів. Побудова структурної схеми алгоритму для визначення кислотності середовища.
методичка, добавлен 18.12.2012Розробка нечіткої моделі керування шахтною зерносушаркою. Типи зерносушарок і технологія сушіння зерна. Переваги нечітких систем, особливості їх застосування. Середовище розробки, структура нечіткого логічного регулятора. Побудова бази нечітких правил.
дипломная работа, добавлен 19.06.2013Розробка моделі порівняння частково впорядкованих множин для аналізу результатів сегментації зображень, критерії їх оцінки для забезпечення пошуку областей інтересу зображення запиту. Сутність, значення та характеристика методу індексації та організації.
автореферат, добавлен 24.07.2014Особливості організації виробництва авіаційного профілю на базі використання експертних систем, призначених для підтримки рішень управлінського персоналу підприємства. Формалізація й алгоритмізація процесу ухвалення рішень щодо управління виробництвом.
автореферат, добавлен 03.09.2013Показники якості програми. Моделі, орієнтовані на використання готових компонентів. Визначення специфікацій при структурному підході. Побудова концептуальної моделі предметної області. Стереотипи як засоби розширення язика UML. Властивості й види класів.
учебное пособие, добавлен 11.02.2020Існуючі моделі впливів на працездатність елементів розподілених інформаційно-управляючих та інформаційних систем, методи і засоби оцінювання й забезпечення їхньої живучості. Нові моделі впливів екстремальних факторів різної природи на елементи РІС.
автореферат, добавлен 14.09.2014Порівняльний аналіз і класифікація методів формальних специфікацій щодо паралелізму за критеріями: класи задач, складність методів, ступінь автоматизації, зв’язок моделі з реальними програмами. Композиційно-номінативна мова, модель серверного середовища.
автореферат, добавлен 28.08.2014Принципи проектування програмних систем. Побудова математичної моделі макроскопічного рівня будови систем обробки даних та дослідження її властивостей. Застосування сформованого підходу до представлення проектів на прикладі навчальних середовищ.
автореферат, добавлен 11.08.2015Аналіз математичних моделей видовження і натягу ділянки рухомої стрічки. Побудова моделі зміщення фарб на ротаційних друкарських машинах, дослідження впливу параметрів на зміщення фарб. Розробка програмних засобів для моделювання стрічкопровідних систем.
автореферат, добавлен 22.10.2013Підвищення якості інтелектуальної обробки даних у автоматизованих інформаційних бібліотечних системах. Розробка логічної мережі для синтаксичного аналізу, моделі обробки текстової інформації у документах з використанням єдиного математичного апарату.
автореферат, добавлен 19.07.2015Сучасні інформаційні технології для організації різнотипних об’єктів та налагодження обміну інформації між ними. Побудова моделі сховища консолідованих даних, яка є розширенням моделі відношення з невизначеністю. Агрегація розрідженого гіперкуба даних.
статья, добавлен 29.07.2016Створення мови формалізації досвіду експертів системи представлення й інтерпретації знань у динамічних предметних середовищах, що складає основу методології побудови моделей динамічних систем. Алгоритми оцінки динаміки функціонального стану організму.
автореферат, добавлен 07.08.2014Розробка математичної моделі одновимірного промислового розкрою матеріалу різної довжини на основі лінійного програмування і методу січних площин. Дослідження ефективності алгоритму на основі тестових прикладів, характерних для машинобудівних підприємств.
автореферат, добавлен 26.07.2014Аналіз структури математичної моделі арифметико-логічного пристрою. Арифметико-логічні пристрої із загальними мікроопераціями та їх використання. Формування елементної бази для побудови блоку багатофункціонального арифметико-логічного пристрою.
курсовая работа, добавлен 27.03.2014Вимоги до безпеки інфокомунікаційної мережі спеціального призначення (ІМСП). Типи загроз, активів, які підлягають захисту, вразливостей, притаманних мережам. Мета створення математичної моделі ІМСП - визначення комплексу заходів захисту активів.
статья, добавлен 13.02.2016Поняття та сутність інформаційної системи. Інфологічне моделювання предметної області, створення логічної моделі. Характеристика система управління базами даних. Реалізація логічної моделі у середовищі Microsoft Access. Генерація схеми бази даних.
курсовая работа, добавлен 20.07.2014Розгляд задачі побудови імітаційної моделі дискретного відтворення растрового елемента округлої форми за допомогою простого примітива для дискретних значень радіуса. Аналіз структурної схеми моделі в Simulink і результатів комп'ютерного моделювання.
статья, добавлен 30.07.2016- 72. Моделі та алгоритми візуалізації багатовимірних даних на основі автоасоціативних нейронних мереж
Аналіз існуючих підходів до розв’язання задачі візуалізації багатовимірних даних, їх порівняння та визначення властивих їм обмежень та недоліків. Розробка архітектури нейронної мережі для зменшення розмірності багатовимірних даних із підвищеною якістю.
автореферат, добавлен 27.07.2014 Будова та призначення серверних процесорів, їх типи та принципи роботи, внутрішня структура та взаємозв'язок елементів. Генератори сигналів інфранизьких та синусоїдальних частот, закономірності їх вимірювання, особливості та головні сфери застосування.
курсовая работа, добавлен 15.06.2014Етапи проектування мікропроцесорних систем, формалізація вимог до них. Джерела помилок, перевірка правильності проекту. Основні характеристики і логічна структура типового мікропроцесора. Система команд, режими адресації, типи архітектур і класифікація.
реферат, добавлен 19.02.2010Визначення потреби статистичного моделювання та особливостей функціонування технічних систем з динамічною структурою. Формалізація основних етапів моделювання. Розробка статистичної моделі взаємодії об’єктів впливу та системи з динамічною структурою.
статья, добавлен 14.07.2016