Проектування цифрових систем з використанням логічного програмування
Методологія автоматизації проектування і моделювання цифрових систем, що базується на логічному програмуванні. Аналіз методів розпізнавання часових діаграм і автоматизації символічного синтезу систем, які описуються за допомогою логічних секвентів.
Подобные документы
Моделювання цифрової системи на кристалі вентильного та регістрового рівнів для аналізу перехідних процесів. Тестування і верифікація цифрових проектів. Трійковий метод аналізу справної поведінки. Використання багатозначних апаратних моделей компонентів.
автореферат, добавлен 25.02.2015Огляд основ структурного синтезу при проектуванні складних систем. Використання методу гілок та границь, знаходження максимуму функції на допустимій множині. Основи застосування процесорної технології CUDA для розв’язання складних задач проектування.
контрольная работа, добавлен 28.11.2013Розробка математичних методів для дослідження проходження нейтронів крізь уповільнюючі середовища. Моделювання характеристик позиційно-чутливих детекторів, проектування та дослідження систем нейтронографічної установки на прискорювачі електронів.
автореферат, добавлен 29.09.2015Проектування та розробка програмного забезпечення інформаційної системи туристичної фірми, що служить для автоматизації роботи агентства. Функціональне й інфологічне проектування системи, опис запитів, екранні форми бази даних і розробка алгоритмів.
дипломная работа, добавлен 13.06.2017Організація централізованої системи постачання товарів. Аналіз моделі управління запасами з детермінованим динамічним попитом. Основи процесу розробки програмного забезпечення. Суть проектування систем баз даних. Особливість опису інтерфейсу користувача.
магистерская работа, добавлен 22.01.2017Аналіз основних принципів і особливостей методів побудови операційних систем. Розгляд областей використання. Аспекти реального часу й мультипрограмності. Розгляд побудови систем мікроядерної архітектури, переваги та недоліки. Вивчення монолітних систем.
реферат, добавлен 29.06.2014Розробка моделей та алгоритмів багатокритеріальної оптимізації з використанням цільового нелінійного цілочисельного програмування, що забезпечують синтез раціональних за багатьма заданими критеріями ефективності структур баз даних інформаційних систем.
автореферат, добавлен 15.07.2014- 83. Програмовані логічні контролери з вбудованими засобами тестового та функціонального діагностування
Аналіз сучасного стану і тенденцій розвитку типових структур програмованих логічних контролерів. Розробка і вдосконалення моделей, методів і алгоритмів синтезу і логічного проектування ПЛК з вбудованими засобами тестового і функціонального діагностування.
автореферат, добавлен 25.02.2015 Обґрунтування необхідності підвищення ефективності методів та моделей розпізнавання електронно-оптичних зображень. Здійснення синтезу методу автоматичної класифікації чорно-білих зображень для самонастроювання електронно-оптичних систем розпізнавання.
автореферат, добавлен 28.09.2015Використання квантових комірок у конструюванні фрагментів логічних, арифметичних наносхем. Роль синхронізації в керуванні роботою квантово-коміркової логіки. Моделювання квантових коміркових автоматів з використанням автоматизованої системи проектування.
статья, добавлен 30.10.2016Тенденції розвитку комп'ютерного геометричного моделювання як базової складової сучасних машинобудівних систем автоматизованого проектування. Визначення перспективних напрямків наукових досліджень у галузі прикладної геометрії та інженерної графіки.
статья, добавлен 28.10.2016Проектування й створення систем управління промисловим обладнанням з використанням програмованих електронних систем управління. Вимоги до програмного забезпечення всіх систем з урахуванням специфікації задля їх безпеки відповідно до стандарту IEC 62061.
статья, добавлен 18.01.2022Розробка програмної моделі системи навчального процесу для вирішення задач. Характеристика сервісно-орієнтованого планового інтерфейсу "University Learning Directory". Використання алгоритмів взаємодії інтеграції з існуючими порядками автоматизації дій.
автореферат, добавлен 14.09.2014Суть набору програмних засобів для проектування спільних підприємств, який містить набір для проектування одного виробництва і для визначення правил взаємодії кількох підприємств. Вирішення задач проектування матричним методом динамічного програмування.
статья, добавлен 12.08.2022Розробка теорії, методу та CASE-інструменту системного (системологічного) аналізу та моделювання, які вирішують проблему узгодження процедури і результатів системного аналізу з вимогами об'єктно-орієнтованої технології проектування інформаційних систем.
автореферат, добавлен 13.07.2014Проектування системи для відділу по роботі з клієнтами. Вдосконалення порядку документообігу завдяки його автоматизації. Написання простого та зручного додатку з використанням ERwin AllFusion. Створення переходу до атрибутивної моделі бази даних.
курсовая работа, добавлен 29.03.2017Розробка інформаційного, програмного та методичного забезпечення для побудови середовища колективного розподіленого проектування. Основні вимоги до систем автоматизованого проектування і GRID-технологій. Вивчення специфіки проектування гетерогенних САПР.
автореферат, добавлен 20.07.2015Аналіз застосування цифрових засобів генерування, фільтрації, виявлення тональних сигналів для підвищення достовірності ідентифікації об’єктів комп’ютеризованих систем контролю параметрів енергоспоживання. Апробація нових уніфікованих цифрових пристроїв.
автореферат, добавлен 28.08.2015Засоби автоматизації тестування рівня знань користувачів гібридних інтелектуальних систем. Агентні та об’єктні методи програмної інженерії. Передавання знань від агента-експерта до респондента. Моделі діалогу інформаційних процедур як доступ до баз знань.
автореферат, добавлен 29.08.2015Створення розвиненого людино-машинного інтерфейсу (розпізнавання мови, образів). Розвиток логічного програмування для баз знань і систем штучного інтелекту. Нові технології у виробництві обчислювальної техніки. Перехід до комп'ютерів п'ятого покоління.
реферат, добавлен 05.03.2014Необхідність створення систем автоматизації процесів керування та технічної діагностики інтегрованих інформаційних систем. Визначення основних напрямків досліджень щодо створення підсистеми технічної діагностики інтегрованих інформаційних систем.
статья, добавлен 14.07.2016Розробка експериментальної програмної системи для оцінки якості розроблених методів окремо і комплексного методу в цілому. Аналіз отриманих результатів за допомогою порівняння з результатами роботи відомих методів рішення даної задачі, їх ефективність.
автореферат, добавлен 26.07.2014Сутність концепції автоматизованого проектування ІАСУ. Складність задачі опрацювання раціональних рішень при створенні ІАСУ. Адаптивна технологія проектування певного об’єкта управління в умовах ІАСУ та методологічні проблеми в системному проектуванні.
контрольная работа, добавлен 30.11.2011- 99. Методи і моделі системологічного імітаційного моделювання розробки компонент інформаційних систем
Побудова імітаційних моделей з використанням системно-об’єктного підходу та методів моделювання складних інформаційних програмних систем та їхніх компонентів на базі УФО-технології. Удосконалення математичного апарату для моделювання бібліотек даних.
автореферат, добавлен 27.08.2014 Дослідження задачі планування технічного обслуговування складних систем, які формалізуються в класі моделей дискретного програмування з обмеженнями комбінаторного типу. Використання алгоритму, що базується на ідеології методу динамічного програмування.
статья, добавлен 25.10.2016