Розробка двійкового суматора на мові VHDL
Синтез двійкового суматора за допомогою програмного пакету Decomposer, для вирішення завдань автоматизованого логічного синтезу цифрових схем з використанням методів багаторівневої декомпозиції та їх реалізації на мікросхемах програмованої логіки.
Подобные документы
Моделирование и автоматизированное проектирование цифровых и микропроцессорных систем с использованием специализированного языка программирования VHDL. Основные компоненты и методы моделирования данного языка для различных уровней представления схем.
учебное пособие, добавлен 12.05.2014Системний аналіз багаторівневої архітектури програмного забезпечення автоматизованих систем управління. Розробка методу порівняння моделей технологічних платформ. Побудова бізнес-архітектури експериментальної моделі в області білінгу для телекомунікацій.
автореферат, добавлен 28.07.2014Розробка сучасного програмного засобу для визначення якості програмного забезпечення методами метричного аналізу. Розрахунок за допомогою показників якості відповідних метрик і визначення значення комплексного показника якості програмного продукту.
статья, добавлен 29.03.2020Процедури й функції Turbo Pascal. Набір, редагування та форматування тексту у текстовому редакторі Word. Вставка графічних об’єктів, таблиць та формул в документ. Вікно редактора Excel, та його елементи. Виконання розрахунків за допомогою пакету MathCad.
курсовая работа, добавлен 28.12.2011Метод синтезу та побудови послідовних біноміальних лічильників. Розробка методики оцінки завадостійкості пристроїв на основі біноміальних чисел з дублюванням та ухваленням рішення по провідному каналу або по каналам рівнозначними по значущості.
автореферат, добавлен 25.07.2015Аналіз методів синтезу й оптимізації характеристик автоматів з "жорсткою" логікою, схеми яких реалізуються в гетерогенному елементному базисі. Розробка структур і методів синтезу автомата Мілі з кодуванням наборів мікрооперацій і фрагментацією змінних.
автореферат, добавлен 29.08.2014Визначення мови програмування, яка буде використовуватись для розробки програмного продукту. Розробка блок-схеми алгоритм роботи та інтерфейсу програмного продукту, програмного коду. Прикладне програмне забезпечення комп’ютерів інформаційної системи.
отчет по практике, добавлен 27.02.2020- 58. Програмовані логічні контролери з вбудованими засобами тестового та функціонального діагностування
Аналіз сучасного стану і тенденцій розвитку типових структур програмованих логічних контролерів. Розробка і вдосконалення моделей, методів і алгоритмів синтезу і логічного проектування ПЛК з вбудованими засобами тестового і функціонального діагностування.
автореферат, добавлен 25.02.2015 Технології збору, аналізу результатів розподіленого моделювання для оцінки протоколів синхронізації логічних процесів з метою їхньої оптимізації. Розробка алгоритму оптимального відображення цифрових систем на граф мережних моделюючих процесорів.
автореферат, добавлен 29.09.2014Моделі формальної обробки інформації у системах штучного інтелекту. Розробка алгебро-логічних методів декомпозиції предикатів для формалізації процесів інтелектуальної обробки інформації у системах штучного інтелекту. Опис механізмів природної мови.
автореферат, добавлен 28.07.2014Підвищення рівня автоматизації систем підготовки та редагування технічної документації. Аналіз процесу автоматизованого виготовлення нормованої технічної документації за допомогою програмного забезпечення. Структура та реалізація інформаційної бази.
автореферат, добавлен 29.09.2015Проект бази даних для автоматизованого вирішення задач "Облік оплати водопостачальних послуг". Опис інфологічної моделі бази даних та її складових частин. Побудова діаграми "Сутність-зв'язок". Реалізація проекту СУБД MS Access, MySQL та MS SQL Server.
курсовая работа, добавлен 19.02.2017Ідентифікація групових переваг індивідуумів однорідної соціальної групи з використанням різних методів. Розробка моделей та інструментальних засобів вибору стратегій ефективного розподілу обмежених ресурсів з урахуванням стану зовнішнього середовища.
автореферат, добавлен 27.08.2014Розробка структурної схеми системи доступу на основі радіомодему, з використанням ІКМ в якості групової модуляції. Приклад електричної принципової схеми модулятора. Комп’ютерне моделювання за допомогою моделювального пакету Proteus 7 Professional Demo.
курсовая работа, добавлен 21.12.2012Встановлення таких пріоритетних факторів якості процесу оцифровування стародруків, як стан стародруку, особливість скануючого обладнання та функціональність програмного забезпечення; база знань із виконанням умови "якщо - то". Модель логічного виведення.
статья, добавлен 20.09.2020Проектування програмного забезпечення. Розробка специфікації системних вимог. Визначення специфікації ресурсів, апаратно-програмної конфігурації та програмного інструментарію для реалізації проекту. Формування електронного пакета UML документації.
курсовая работа, добавлен 24.02.2012Дослідження та аналіз моделей керування цифровими обчислювальними системами і системами автоматики. Визначення можливості мінімізації апаратної реалізації цифрових керуючих пристроїв за рахунок використання оптимального кодування внутрішніх станів.
автореферат, добавлен 28.09.2015Характеристика методів дешифрування космічних знімків для інтеграції матеріалів аерокосмічної зйомки у ГІС з використанням просторово-частотного аналізу, марковських моделей зображень, фрактальної геометрії. Програма формування цифрових комплексів карт.
автореферат, добавлен 08.06.2013Аналіз і класифікація атрибутів, метрик, методів та інструментальних засобів верифікації й сертифікації програмного забезпечення. Розробка методу верифікації програмного забезпечення в умовах ресурсних обмежень і неповноти проектної документації.
автореферат, добавлен 27.08.2015Забезпечення оптимального розподілу робіт в сфері навчання. Розробка алгоритму розкладу занять в університеті з урахуванням вимог викладачів та студентів. Створення математичної моделі. Використання еволюційних алгоритмів при оптимізації цільової функції.
статья, добавлен 20.04.2021Розгляд та аналіз засад класичного підходу до оцінювання ймовірності безпомилкової роботи програмних систем. Дослідження за допомогою алгебричних методів можливих джерел дефектів програмного забезпечення. Обумовлення порушень інтервальних відношень.
статья, добавлен 25.03.2016Розробка аксіоматичного підходу до проектування лінгвістичних трансляторів в системах логічного програмування, що базується на традиційних логічних численнях, реалізації фаз синтаксичного аналізу і перекладу мов проектування за допомогою методу резолюцій.
автореферат, добавлен 11.10.2011Розгляд системи автоматизованого проектування надземних ділянок магістральних трубопроводів. Наведення структури та UML-діаграми класів системи, опис функції її елементів та обчислювальних модулей. Розробка математичного і програмного забезпечення.
статья, добавлен 26.12.2016Удосконалення моделей автоматизованого навчання для підготовки фахівців на основі інтелектуалізації навчального процесу та використання інформаційних технологій. Розробка математичного інструментарію для автоматизації процесів підготовки студентів.
автореферат, добавлен 27.12.2015Аналіз засобів автоматизованого виправлення орфографічних помилок в природномовних текстових даних. Розробка контекстно-асоціативних методів орфокорекції для підвищення роботи програмного забезпечення за показниками швидкості виправлення помилок.
автореферат, добавлен 26.09.2015