Проектування цифрових систем з використанням логічного програмування
Методологія автоматизації проектування і моделювання цифрових систем, що базується на логічному програмуванні. Аналіз методів розпізнавання часових діаграм і автоматизації символічного синтезу систем, які описуються за допомогою логічних секвентів.
Подобные документы
Розв'язання проблеми забезпечення безпомилковості процесу проектування реактивних алгоритмів промислового рівня складності, що передбачає розробку математичного апарату доказового проектування алгоритмів. Розробка методів синтезу автомата-розпізнавача.
автореферат, добавлен 27.04.2014Етапи моделювання, визначення методу та механізму проектування лікувальних систем прийняття рішень, що дає змогу підвищити ефективність виконання поставлених завдань при розробці систем такого типу. Допомога комп'ютерних систем штучного інтелекту.
статья, добавлен 21.03.2016Дослідження проектування автоматизованих систем управління. Обґрунтування використання діалогових алгебро-граматичних моделей представлення знань для їх синтезу. Розробка інструментарію проектування комп’ютерних систем – діалогова трансформаційна машина.
автореферат, добавлен 27.08.2014Підвищення ефективності тестування цифрових систем. Попереднє складання словників несправностей. Процедури тестування цифрових систем за рахунок врахування ступеня підозрюваності її компонентів. Програмне забезпечення, що дозволяє здійснювати перевірку.
автореферат, добавлен 27.09.2014Розгляд "ручного" методу проектування систем автоматики з застосуванням програмованих логічних матриць, який оснований на шести етапах проектування. використання теорії автоматів і комп’ютерної логіки. Застосування методу продемонстрованого на прикладі.
статья, добавлен 27.07.2016Структурно-функціональний метод аналізу тестопридатності цифрових систем на кристалах. Розробка неітеративної моделі діагностування цифрових систем на кристалах з регістром граничного сканування в якості мультизонду. Процес вибору контрольних точок.
автореферат, добавлен 29.08.2015Аналіз проблем та підходів до автоматизації обробки параметрів шарів геоінформаційних систем. Розробка структури інформаційних моделей їх елементів, методів та алгоритмів ідентифікації. Головні програмні засоби для реалізації розробленої технології.
автореферат, добавлен 13.08.2015- 33. Проектування тестів для послiдовносних функціональних схем, що реалізованi у програмованiй логіці
Розробка та загальний опис структурно-функціональних моделей послiдовних схем і удосконалення методів генерації тестів для зменшення часу верифікації цифрових систем на стадіях їхнього автоматизованого проектування й імплементації в кристалах ПЛIС.
автореферат, добавлен 25.06.2014 Аналіз існуючого рівня автоматизації. Вимоги до апаратної складової системи. Визначення методів структурного системного та об'єктно-орієнтованого аналізу та проектування. Діаграми бізнес-варіантів використання. Інтерфейси введення та виведення даних.
курсовая работа, добавлен 08.12.2016Знайомство з особливостями та проблемами перетворення каскадних систем організації проектування предметної області для IC до форми. Розгляд ключових аспектів методології проектування сучасних баз даних. Аналіз складу сучасних інформаційних систем.
статья, добавлен 30.07.2016- 36. Комплексна методика проектування моделей інтелектуальних систем діагностики та методи оцінки якості
Розгляд процесу технології проектування інтелектуальних систем, що дає нові можливості для управління даним процесом. Комплексна методика проектування довідкових систем, заснована на семантичній технології комп'ютерних систем різного рівня інтелекту.
статья, добавлен 21.06.2016 Аналіз методів забезпечення відмовостійкості цифрових систем керування з програмованою логікою. Удосконалення методу вибору відмовостійких систем керування з урахуванням вимог до надійності та обмежень на габаритно-масові й енергетичні характеристики.
автореферат, добавлен 11.08.2014Вивчення проблеми розробки структурних методів синтезу багатозначних оборотних засобів розв'язання систем логічних рівнянь для синтезу багатозначних логічних елементів прямої та зворотної дії, які використовують у системах та засобах штучного інтелекту.
автореферат, добавлен 20.07.2015Розгляд загальної характеристики систем програмування, орієнтованих на "швидку розробку" з технологіями візуального проектування і подієвого програмування. Розробка додатку "Кулінарна книга", який забезпечує роботу з базою даних альбомів та фотографій.
курсовая работа, добавлен 09.07.2012Рішення задачі лінійного програмування за допомогою двоїстого симплекс–методу. Поняття двоїстості в лінійному програмуванні. Аналіз першої та другої теореми подвійності. Сутність двоїстого симплекс метод та його алгоритм. Схема алгоритму подвійних задач.
курсовая работа, добавлен 20.12.2008Розгляд формалізації й алгоритмізації конструкторських робіт та автоматизації проектування нестандартного електротехнічного устаткування судна. Характеристика послідовності використання комп’ютерного програмного забезпечення для розв'язання задач.
автореферат, добавлен 16.10.2013Інтеграція фінансових програмних систем Збройних Сил (ЗС) України в єдине інформаційне середовище на основі аналізу функціональності існуючих систем автоматизації. Склад системи автоматизації ведення бухгалтерського обліку "Парус - Бюджетна установа 8".
статья, добавлен 13.02.2016Аналіз та діагностування тестопридатності цифрових систем на кристалах з регістром граничного сканування. Вибір критичних контрольних точок та мови опису апаратури. Синтез кубічних покрить цифрових проектів. Пошук дефектів на перевіряльному тесті.
автореферат, добавлен 24.07.2014Характеристика основних методів підвищення ефективності автоматизованого діагностування цифрових систем. Розробка революційних методів генерації перевіряльних тестів і застосування більш потужної кратної стратегії спостереження вихідних сигналів.
автореферат, добавлен 20.07.2015Еволюція в проектуванні складних систем. Аналіз інформаційного простору підприємств. Вибір мови програмування. Інтегроване середовище розробки додатків Visual Basic Net. Електронні уніфіковані комунікації. Модель складної системи в положеннях UML.
реферат, добавлен 09.07.2017Математичні моделі мікропомп та актюаторів гідравлічних мікроелектромеханічних систем з врахуванням особливостей автоматизованого проектування. Інформаційне та лінгвістичне забезпечення для систем проектування гідравлічних мікроелектромеханічних систем.
автореферат, добавлен 30.08.2014Історія та етапи розвитку інформаційних систем. Особливості використання автоматизації на підприємствах. Структура та класифікація інформаційних систем. Роль автоматизації в управлінні. Умови впровадження систем управління в діяльність підприємства.
курсовая работа, добавлен 27.02.2016Вивчення методології проектування інформаційних систем. Методи проектування і їх класифікація. Характеристика ієрархічної багатоаспектної системи класифікації економічної інформації. Проектування процесів завантаження і ведення інформаційної бази.
контрольная работа, добавлен 10.09.2009Сучасні технології проведення інформаційного аналізу. Особливості моделювання динамічних систем і процесів за допомогою інтерпретації мереж Петрі. Доцільність використання ієрархічного підходу до проектування шляхів ліквідації надзвичайних ситуацій.
статья, добавлен 25.10.2016Створення дедуктивної моделі реконфігурування структур даних опису цифрових систем на тест-векторі з метою виконання швидкодіючої процедури паралельної обробки дефектів. Тестування пристроїв великої розмірності, реалізованих у програмованій логіці.
автореферат, добавлен 25.06.2014