Проектування цифрових систем з використанням логічного програмування
Методологія автоматизації проектування і моделювання цифрових систем, що базується на логічному програмуванні. Аналіз методів розпізнавання часових діаграм і автоматизації символічного синтезу систем, які описуються за допомогою логічних секвентів.
Подобные документы
Структура управлінських інформаційних систем. Класифікація інформаційних систем за різними ознаками. Перелік складових комп'ютерної інформаційної системи підприємства. Аналіз наявних на ринку програмних продуктів автоматизації управлінської діяльності.
контрольная работа, добавлен 06.10.2010Оцінка якості функціонування спеціалізованих цифрових пристроїв. Аналіз сучасного стану розвитку засобів обчислювальної техніки. Розробка алгоритмів і моделей пристроїв кодування, декодування і контролю інформації для синтезованих систем числення.
автореферат, добавлен 05.08.2014Складання техніко-економічного обґрунтування проекту інформаційної системи. Проектування екранних форм електронних документів. Стандарти на створення систем захисту даних в автоматизованій інформаційній системі. Характеристика системи кодування.
контрольная работа, добавлен 21.09.2009Аналіз методів та засобів моделювання поведінки систем автоматичного керування. Дослідження моделі засобу, що реалізує процес моделювання, розробка його складових частин. Розробка обчислювальної схеми та програм моделювання систем автоматичного керування.
автореферат, добавлен 28.09.2015Розробка функціональної схеми автоматизованого проектування лопаткових компресорів, основою якої є програмне забезпечення на мови програмування Delphi для моделювання профілів лопаток. Енергетичні перетворення в компресорах газотурбінних двигунів.
статья, добавлен 28.10.2016Розробка методів та алгоритмів моделювання інформаційних систем, що реалізовані на основі Web-технологій. Створення процедур оптимізації структури Web-систем. Побудова формальної моделі Web системи, аналіз її поведінки. Створення прикладної Web системи.
автореферат, добавлен 20.04.2014Розробка підходу до взаємодії між системами розпізнавання та інтерпретації природної мови. Характеристика логіко-граматичних моделей конструювання діалога користувача з комп'ютерною системою. Розгляд середовища проектування природно-мовних інтерфейсів.
автореферат, добавлен 07.03.2014Результати поетапного теоретичного дослідження функціонування автоматизованих систем керування. Схеми областей використання досліджень і ресурсовитрат. Наукова методологія створення сучасних систем з використанням новітніх інформаційних технологій.
контрольная работа, добавлен 23.10.2010Розглянуто сучасні технології та інструменти проектування, які компанія Apple надає розробникам програмного забезпечення для власних операційних систем iOS, macOS, watchOS та tvOS. Аналіз перспектив впровадження у власні проекти нової мови програмування.
статья, добавлен 26.10.2020Проектування систем автоматизації розробки конструкторської документації. Методи створення графічних зображень і геометричних об`єктів. Загальні принципи COM-технології. Теоретичне дослідження об`єктної моделі AutoCAD. Опис інтерфейсу користувача.
дипломная работа, добавлен 22.10.2012Дослідження теоретичних джерел з проектування баз даних. Створення фізичного і логічного проектування бази даних туристичного агентства з використанням Microsoft Access. Виконання нормалізації її роботи, наведення інструкції користувача з базою даних.
курсовая работа, добавлен 23.06.2016Дослідження підходів, що використовуються у апаратно-програмних платформах домашньої автоматизації систем типу "розумний будинок" в рамках загальної концепції "Інтернету речей". Організація взаємодії між елементами платформи домашньої автоматизації.
статья, добавлен 26.10.2020Системний аналіз комунікаційних систем комп'ютерних мереж масштабу підприємства. Методи об'єктно-орієнтованої декомпозиції і проектування КСКМ масштабу підприємства на рівні об'єктів мережних структур. Методики проектування мережевих об'єктів і КСКМ.
автореферат, добавлен 29.08.2014Аналіз критеріїв асимптотичної стійкості положення рівноваги нелінійної динамічної системи. Розробка методів розв’язання проблеми Ляпунова для істотно нелінійних систем. Побудова конструктивних алгоритмів аналізу та синтезу динамічних систем керування.
автореферат, добавлен 25.06.2014Аналіз та характеристика існуючих систем розпізнавання людей. Особливості дво- та одноступеневого розпізнавання образів. Методика підвищення продуктивності глибоких нейронних мереж. Програмна реалізація алгоритму на основі YOLOv3 та фремворка Darknet.
статья, добавлен 07.09.2024Визначення напрямів розвитку систем захисту інформації, обґрунтування основних загальносистемних вимог на основі сучасної методичної бази. Вивчення особливостей систем критичного застосування. Засоби управління доступом для досягнення заданої мети.
статья, добавлен 28.08.2016Розробка інформаційних технологій проектування структурно-функціональних моделей скінчених автоматів для синтезу алгоритмів автоматизованого управління технологічними процесами. Вивчення методу моделювання алгоритмів автоматизованого управління.
автореферат, добавлен 20.07.2015Дослідження методів проектування мікросмужкових фільтрів НВЧ. Розробка алгоритмів проектування допусків в залежності від технології виготовлення підсистеми мікросмужкових фільтрів з можливістю аналізу та синтезу допусків на основних етапах технології.
автореферат, добавлен 26.08.2014Проектування бази даних (БД) служби таксі: її концептуальне моделювання, обґрунтування вибору системи управління БД. Особливості логічного проектування БД. Розробка додатку: створення таблиць, схеми БД, форм та звітів, створення кнопкової форми.
курсовая работа, добавлен 16.12.2015Особливості реалізації голографічних коректорів. Оптична система розпізнавання зображень. Оптичне розпізнавання образів з готових форм як найбільш оптимальний метод автоматизації. Програмне забезпечення, яке здійснює обробку та розпізнавання даних.
реферат, добавлен 26.08.2013Аналіз методів ідентифікації нелінійних динамічних систем. Інформаційна оцінка якості роботи методів ідентифікації. Нелінійні елементи й динамічні системи, що включають дані елементи. Програмне забезпечення для моделювання нелінійних динамічних систем.
автореферат, добавлен 30.10.2015Розгляд моделей, що деталізують функції інформаційної системи приймальної комісії для супроводу вступної кампанії, побудованих з використанням діаграм. Аналіз досліджуваних діаграм, які ґрунтуються на парадигмі об'єктно-орієнтованого програмування.
статья, добавлен 26.11.2023Викладення процесу моделювання протоколів інформаційного обміну й аналізу ефективності телекомунікаційних систем на основі комплексного використання Е-мереж і ймовірносно-часових графів. Методичний апарат, що дозволяє проводити такий аналіз протоколів.
автореферат, добавлен 06.07.2014Дослідження необхідності проектування управлінських систем та їхнього застосування в бізнесі. Визначення, історія розвитку, принципи та функції CRM-систем. Розробка множини продукційних правил інтелектуальної складової інформаційної системи управління.
статья, добавлен 29.08.2016Сутність, основні компоненти та функції систем інформації, класифікація методів їх проектування. Етапи складання технічної документації для налагодження і впровадження даних систем в роботу. Загальні ознаки та критерії організації інформаційних баз.
контрольная работа, добавлен 15.09.2009