Пошук академічних текстів

Інформація × Реєстраційний номер 0415U005126, Кандидатська дисертація На здобуття к.т.н. Дата захисту 02-07-2015 Статус Запланована Назва роботи Моделі та методи проектування цифрових компонентів комп'ютерних систем на основі табличних мов опису апаратури Здобувач Коніщева Анна Павлівна, Керівник Малиновський Михайло Леонідович Опонент Кривуля Геннадій Федорович Опонент Леонов Сергій Юрійович Опис Об'єкт дослідження: процес проектування цифрових компонентів комп'ютерних систем. Мета дослідження: підвищення якості та зменшення терміну реалізації проектів шляхом розробки моделей та методів проектування цифрових компонентів комп'ютерних систем на основі табличних мов опису апаратури. Методи дослідження: синтез цифрових автоматів, формальний опис мов, математичне моделювання, комп'ютерне моделювання, оцінка якості програмних продуктів. Теоретичні та практичні результати: запропоновані в роботі ідеологія створення мов опису апаратури, сукупність моделей табличних конструкцій, модель і процедура трансляції, методи проектування використані НВП "Стальенерго" (м. Харків) при створенні Центрального обчислювального модуля для реалізації алгоритмів керування об'єктами критичного застосування на залізничному транспорті та в метрополітені. Наукова новизна: вперше запропонована ідеологія створення табличних мов опису апаратури, яка орієнтована на використання двовимірних таблично-мовних конструкцій опису інтерфейсу, поведінки і архітектури цифрових систем, що дозволяє підвищити якість програмних проектів за рахунок зменшення розміру і автоматизації введення програмного коду, спрощення аналізу коду з вкладеними конструкціями і т.д.; вперше отримана сукупність моделей двовимірних таблично-мовних конструкцій опису апаратури, що дозволяє створити інструментальні засоби проектування цифрових систем на основі табличних мов і автоматизувати процедури компіляції проектів, реалізованих таблично-мовними засобами; вперше запропоновано модель і процедуру трансляції таблично-мовних конструкцій в стандартні мови опису апаратури, що забезпечує зниження трудовитрат проектувальників і підвищення якості програмних проектів за рахунок застосування існуючих компіляторів і засобів проектування до проектів, описаних табличними засобами; отримали подальший розвиток методи проектування цифрових компонентів комп'ютерних систем, які, на відміну від відомих, базуються на застосуванні таблично-мовних конструкцій опису умов і дій, що дозволяє підвищити показники якості проектів реалізації цифрових систем; удосконалено метод оцінки якості програмного забезпечення, який, на відміну від відомих, дозволяє виконати інтегральну оцінку якості ПЗ за сукупністю показників якості, яка включає обсяг словника мови програмування і повноту його використання, що дозволяє підвищити достовірність оцінки показників якості програмного забезпечення. Ступінь впровадження: НВП "Стальенерго" (м. Харків), Харківський національний технічний університет сільського господарства ім. Петра Василенка (м. Харків). Сфера використання: проектування цифрових пристроїв, комп'ютерне моделювання їх роботи, навчальний процес. Дата реєстрації 2015-07-02 Додано в НРАТ 2020-04-03 Закрити