Інструментарій проектування комп’ютерних систем на основі діалогових алгебро-граматичних моделей представлення знань
Дослідження проектування автоматизованих систем управління. Обґрунтування використання діалогових алгебро-граматичних моделей представлення знань для їх синтезу. Розробка інструментарію проектування комп’ютерних систем – діалогова трансформаційна машина.
| Рубрика | Программирование, компьютеры и кибернетика |
| Вид | автореферат |
| Язык | украинский |
| Дата добавления | 27.08.2014 |
| Размер файла | 61,8 K |
Отправить свою хорошую работу в базу знаний просто. Используйте форму, расположенную ниже
Студенты, аспиранты, молодые ученые, использующие базу знаний в своей учебе и работе, будут вам очень благодарны.
Разработаны механизмы ведения истории формирования САА/Д-схем, что обеспечивает поддержку спиральной модели жизненного цикла компьютерных систем и оперативную корректировку разрабатываемых систем в случае изменения требований заказчика, позволяя использовать диалоговую трансформационную машину как средство прототипирования компьютерных систем.
Предложена технология для получения по САА/Д-схеме работы устройства соответствующей спецификации, в частности булевых функций возбуждения и выходов автоматов, а также схемы электрической принципиальной и эскиза печатной платы. Для отладки и анализа полученных в процессе проектирования схем операционных устройств используется cистема схемотехнического моделирования Electronics Workbench, а для получения схемы электрической принципиальной и эскиза печатной платы - система проектирования схем радиоэлектронной аппаратуры PCAD. Также разработаны механизмы получения по одной и той же САА/Д-схеме работы устройства программы, моделирующей проектируемое устройство, и непосредственно спецификации. Предложенные механизмы позволяют выполнять моделирование устройства на его программной модели, что существенно сокращает материальные и временные затраты при разработке аппаратного обеспечение компьютерных систем.
Разработан программный комплекс, реализующий предложенные методы проектирования компьютерных систем. Комплекс состоит из двух приложений Windows - диалоговой трансформационной машины и системного редактора, применяемого для редактирования базы знаний, а также нескольких вспомогательных утилит. Разработанное программное обеспечение имеет широкие функциональные возможности, простой и доступный пользователю, не имеющего специального компьютерного образования, интерфейс, позволяющий заказчику наряду с профессиональным программистом принимать участие в процессе разработки компьютерных систем. Предложенный программный комплекс отвечает современным требованиям к программным продуктам.
Возможности разработанного инструментария иллюстрируются примерами синтеза программного и аппаратного обеспечения компьютеров. Теоретические результаты проверены и подтверждены практическим применением разработанного программного комплекса на предприятиях, выполняющих разработку программного обеспечения компьютеров, и в учебном процессе в Херсонском национальном техническом университете.
Ключевые слова: диалог, предметная область, представление знаний, естественный язык, алгебра, система алгебр, модель, автомат, алгоритм, грамматика, инструментальные средства, компьютерные системы.
SUMMARY
Khohlov V.A. Instrument of designing of computer systems based on interactive algebra-grammatic models representation of knowledge. - Manuscript.
Thesis for the candidate's degree (Engineering) in the major 05.13.06 - automated control systems and progressive information technologies. - Kherson national technical university, Kherson, 2006.
The thesis is devoted to the problem of designing instruments for developing universal and specialized automated computer's systems based on algebra-grammatic models representation of knowledge.
The peculiarities of developing of computer systems as well as automated control systems are considered and the usage of interactive algebra-grammatic models representation of knowledge for its synthesis is substantiated. On the basis of the described models the instrument of designing computer systems is developed which is called the interactive transformation machine. The components of architecture of the interactive transformation machine are developed which include the knowledge base and a component of deduction's machine - the intellectual editor which realize symbolic deduction of SAA/D-schemas with correct syntax. The input language of the interactive transformation machine, which resemble a natural language is expanded by means of the user's interactive facilities and computer systems. The SAA/D language allows to engage the customers to developing process on early stages and thus assist to get components of automated control systems with necessary quality. The algorithms are developed which connect any procedural program language to SAA/D. The method of getting the device's specifications from SAA/D-schema is proposed. The methods of support of spiraled life cycle of computer systems are developed.
Keywords: automated control system, dialog, subject area, representation of knowledge, natural language, algebra of algorithms, transformation synthesis, grammar, computer systems.
Размещено на Allbest.ru
...Подобные документы
Структура системи автоматизованого проектування засобів обчислювальної техніки. Опис життєвого циклу продукту за методом Зейда. Основні поняття про системи автоматизованого виробництва. Проектування інформаційних систем та побудова мережевого графіка.
реферат [1,5 M], добавлен 13.06.2010Інфологічна модель програмного забезпечення. Формалізація технології проектування інформаційної системи. Єдина система класифікації і кодування. Проектування технологічних процесів обробки даних в діалоговому режимі. Класифікація діалогових систем.
контрольная работа [126,9 K], добавлен 22.09.2009Вивчення історії кафедри "Комп’ютерної інженерії". Дослідження процесу складання, монтажу, налагодження, тестування апаратного забезпечення комп’ютерних систем і мереж. Науково-дослідні роботи у лабораторії "Програмного забезпечення комп’ютерних систем".
отчет по практике [23,9 K], добавлен 01.03.2013Проектування офісу за допомогою системи 3D Home Architect 8, його зовнішнього та внутрішнього виду, устаткування. Підготовка інженерів-педагогів в галузі комп'ютерних технологій для моделювання об'єктів у різних системах автоматизованого проектування.
курсовая работа [4,7 M], добавлен 01.07.2010Загальна характеристика навчально-наукового комп'ютерного центру. Державні норми влаштування і обладнання кабінетів комп'ютерної техніки. Створення довідкової бази про факультет комп’ютерних систем для приймальної комісії у вигляді сайту для абітурієнтів.
отчет по практике [72,0 K], добавлен 07.07.2010Підхід Фліна до класифікації архітектур комп’ютерних систем. Доповнення Ванга та Бріггса до класифікації Фліна. Класифікація MIMD-архітектур Джонсона. Особливості способів компонування комп’ютерних систем Хендлера, Фенга, Шора, Базу та Шнайдера.
реферат [233,7 K], добавлен 08.09.2011Розрахунок інформаційних потоків у ЛОМ підприємства, планування середнього трафіку і коефіцієнта використання мережі. Планування структурованої кабельної системи. Структура клієнт-серверних компонентів корпоративної комп’ютерної мережі, захист інформації.
курсовая работа [828,7 K], добавлен 01.06.2013Фізичне та логічне представлення топології мереж, кабельна система. Вибір мережевого устаткування. Імітаційне моделювання корпоративної комп’ютерної мережі в NetCracker 4.0. Представлення локальної мережі в Microsoft Visio 2013, економічне обґрунтування.
курсовая работа [993,5 K], добавлен 17.05.2015Обчислення середньої трудомісткості потоку заявок. Визначення мінімальної швидкодії процесора. Дослідження безпріоритетної дисципліни обслуговування. Навантаження на обчислювальну систему. Програма моделювання комп’ютерної системи та програмний код.
курсовая работа [1,2 M], добавлен 15.03.2014Задання режиму роботи погромного лічильника. Дослідження базової схеми ТТЛ та побудова тригера. Розрахунок керуючого сигналу на виході позики кінцевого лічильника двох послідовно з'єднаних реверсивних лічильників за 51-тим синхронізуючим сигналом.
контрольная работа [1,5 M], добавлен 14.12.2012Схема виявлення атак на основі сигнатур. Сучасні тенденції у галузі розподілених систем виявлення комп’ютерних атак. Обґрунтування вибору програмного середовища та мови програмування для розробки підсистеми. Фізичне проектування бази даних підсистеми.
дипломная работа [2,2 M], добавлен 19.07.2014Передумови та фактори, що зумовлюють необхідність комп’ютеризації у аптеці. Задачі та цілі, що вирішуються при використанні комп’ютерних програм в аптеці. Порівняльний аналіз деяких інформаційних систем для вибору постачальника лікарських засобів.
курсовая работа [318,4 K], добавлен 01.03.2013Дослідження теоретичних аспектів проектування автоматизованих систем тестування знань. Розробка програми, яка призначена для забезпечення автоматизації процесу формування тестів та всього процесу контролю знань у дистанційній навчальній системі.
дипломная работа [2,1 M], добавлен 26.10.2012Використання комп'ютерних навчальних систем. Розуміння основних принципів об’єктно-орієнтованої ідеології програмування. Закріплення теоретичних знань та практичних навичок програмування мовою С/С++. Створення файлу, поповнення його з клавіатури.
курсовая работа [229,4 K], добавлен 09.09.2015Використання комп’ютерних тренажерних систем як електронних екзаменаторів для підготовки професійного персоналу. Формування моторно-рефлекторних навиків дій при виникненні позаштатних ситуацій. Використання тренажерних систем в авіації та збройних силах.
курсовая работа [2,7 M], добавлен 09.04.2009Сутність поняття "контроль". Оцінювання результатів навчально-пізнавальної діяльності учнів. Особливості комп’ютерного контролю знань. Підходи до зіставлення комп’ютерних програм контролю. Створення тесту з математики за допомогою програми MyTest.
курсовая работа [278,4 K], добавлен 24.04.2012Технологічні процеси складання, монтажу, налагодження і тестування комп'ютерних мереж між двома чи більше комп'ютерами. Функціонування локальної обчислювальної мережі. Офісні програмні продукти з пакету MS Office. Топологія мережі підприємства "зірка".
отчет по практике [1,5 M], добавлен 28.08.2014Особливості проектування автоматизованих систем. Аналіз креслень окремих деталей шестерінчастого насоса, проектування складального креслення та розробка специфікації. Розробка програмного додатку для автоматизованої зміни параметрів та конфігурації.
дипломная работа [4,5 M], добавлен 27.05.2014Поняття пам’яті в комп’ютері. Класифікація сучасних персональних комп’ютерів за їх ознаками. Основні принципи будови та функціонування комп'ютерних систем. Функціональність смартфонів і комунікаторів в порівнянні із звичайними мобільними телефонами.
курсовая работа [70,3 K], добавлен 31.01.2014Теоретичне дослідження особливостей проектування систем дистанційного навчання. Створення програмного забезпечення процедури статистичної обробки результатів тестування знань і оцінки якості тесту. Економічне обґрунтування доцільності розробки програми.
дипломная работа [3,6 M], добавлен 22.10.2012
