Исследование и разработка методов организации системы для автоматизации обучения языку описания аппаратуры VHDL тема диссертации и автореферата по ВАК РФ 05.13.17, кандидат технических наук Павленко, Галина Федоровна

• Павленко, Галина Федоровна
• кандидат технических наук
• 2005

Оглавление диссертации кандидат технических наук Павленко, Галина Федоровна

щ ВВЕДЕНИЕ.

1 Аналитический обзор современных языковых средств описания аппаратуры и существующих систем обучения.

1.1 Обзор языков описания аппаратуры.

1.1.1 Этапы разработки языков описания аппаратуры.

1.1.2 Сравнительная характеристика (анализ) языков описания аппаратуры.

1.1.3 Языки моделирования многоуровневых проектов с формализованной семантикой. Особенности языка VHDL.

1.2 Анализ современных обучающих систем.

1.2.1 История вопроса.

1.2.2 Модели представления знаний в обучающих системах.

1.2.3 Учебные структуры знаний.

Щ 1.2.4 Методы обработки знаний в обучающих системах.

1.2.4.1 Таблицы решений.

1.2.4.2 Индуктивное обобщение.

1.2.5 Инструментальные средства разработки обучающих систем.

1.3 Формулировка и обоснование основных принципов построения системы обучения языку описания аппаратуры VHDL.

1.3.1 Инвариантность проекта VHDL относительно конкретного физического способа реализации.

1.3.2 Поддержка различных уровней абстракции и детализации представления проекта.

1.3.3 Основная парадигма и принципы организации обучающей системы языку VHDL

1.3.4 Адекватные модели представления и эффективные методы обработки знаний в системе обучения языку VHDL.

1.4 Выводы к главе 1.

2 Концептуализация знаний о языке описания аппаратуры VHDL.

2.1 Объект проекта.

2.2 Описание тела. Общая характеристика.

2.2.1 Структурное описание.

2.2.2 Поведенческое описание.

2.2.2.1 Модель времени в VHDL.

2.2.2.2 Потоковое описание.

2.2.2.3 Процедурное описание.

2.3 Основные элементы языка VHDL.

2.3.1 Сигналы, переменные, константы.

2.3.2 Типы и подтипы данных.

2.3.3 Выражения и операции.

2.3.4 Операторы управления.

2.3.5 Регулярные описания.

2.3.6 Атрибуты.

2.3.7 Утверждения. Операторы контроля.

2.4 Организация проекта.

2.4.1 Подпрограммы. Функции и процедуры.

2.4.2 Блоки и процессы.

2.4.3 Параллельные и последовательные операторы.

2.4.3.1 Параллельные операторы.

2.4.3.2 Последовательные операторы.

2.4.4 Пакеты.

2.4.5 Конфигурации.

2.4.6 Модули проекта и библиотеки.

2.5 Построение пирамиды знаний.

2.6 Поле знаний языка VHDL.

2.7 Выводы к главе 2.

3 Отображение концептуальной структуры VHDL как объекта обучения средствами фреймового формализма.

3.1 Общие принципы иерархической систематики и формализации языка VHDL.

3.2 Особенности фреймовых систем.

3.3 Структура и организация предметных фреймов.

3.4 Примеры фреймового представления описания аппаратурных блоков.

3.5 Выводы к главе 3.

4 Исследование и разработка механизмов обработки знаний.

4.1 Модификация механизма индуктивного обобщения на основе частичных прецедентов.

4.2 Ассоциативный механизм вывода.

4.3 Инвариантные ассоциативные схемы (Решение проблемы выбора ассоциативных схем).

4.4 Метапроцедура обучения.

4.4.1 Организация работы системы обучения.

4.4.2 Формализация и организация взаимодействия предметных и служебных знаний

4.5 Выводы к главе 4.

5 Реализация системы обучения.

5.1 Логическое и физическое моделирование системы.

5.1.1 Выбор программного инструментария для разработки системы.

5.1.2 Спецификация данных.

5.1.3 Диаграмма деятельности системы (Activity Diagram).

5.2 Структура системы.

5.2.1 Описание структуры.

5.2.2 Основные компоненты интерфейса обучающей системы.

5.3 Выводы к главе 5.

Введение диссертации (часть автореферата) на тему «Исследование и разработка методов организации системы для автоматизации обучения языку описания аппаратуры VHDL»

Актуальность. Одним из этапов проектирования средств вычислительной техники является разработка электрических схем. По закону Мура [95] каждые 18 месяцев число транзисторов в кристалле СБИС1 увеличивается вдвое: на одном кристалле размещаются миллионы элементов, и разработка таких устройств уже не может осуществляться с помощью традиционных методов проектирования -ручного переноса описания проекта в набор логических уравнений.

В соответствии с возрастающей степенью интеграции и необходимостью как можно дольше работать с проектом на абстрактном формальном уровне, появились новые концепции описания проекта, которые привели к разработке специального инструментария для автоматизации проектирования цифровой техники. Это позволило создавать аппаратуру в достаточно короткие сроки, используя только рабочую станцию и специализированное программное обеспечение.

Таким специализированным программным обеспечением являются языки описания аппаратуры (ЯОА, HDL, hardware description languages), покрывающие основные понятия, существенные для проектирования вычислительных устройств (ВУ). В общей сложности создано уже более сотни ЯОА, но стандартом в области проектирования ВУ стал язык VHDL (Very high speed integrated circuits Hardware Description Language) [66].

С утверждением стандарта VHDL, любая разработка и документирование аппаратуры и алгоритмов функционирования дискретной системы должны сопровождаться описанием на языке VHDL, т.е. VHDL-описание является:

- неотъемлемой частью документации и для разработчика, и для заказчика;

- формальной записью, которая может быть использована на всех этапах разработки электронных, в том числе вычислительных, систем.

С учетом того, что между VHDL-моделью и реализацией проектируемой вычислительной системы (ВС) существует изоморфизм, то VHDL можно рассматривать как основное средство проектирования, документирования и эффективного моделирования ВС от уровня вентилей до уровня цифровых систем.

Язык разрабатывается независимо от технологии, методологии и среды проектирования и может быть ориентирован в направлении изменяющихся информационных потребностей систем автоматизированного проектирования (САПР). Кроме того, на базе подмножеств средств языка VHDL создаются системы, которые дополняют и расширяют функциональные и семантические возможности VHDL-конструкций в конкретных областях проектирования. В настоящее время существует большое число пакетов и систем проектирования, использующих VHDL. Одни из них относятся к промышленным (COMPASS, CADENCE, TANNER, SMASH, SYNOPSYS, Mentor Graphics, Workview Office), другие — к университетским (ALLIANCE, AMICAL, VANTAGE). Характерным для них являются: интерактивные средства моделирования с многооконным редактором, большой набор утилит, ориентированных на поддержку

1 Сверхбольшая интегральная схема коллективной работы. Все они, как правило, работают под ОС UNIX и реализованы на станциях типа SUN и др.

Интерес к VHDL в США, Европе, а в настоящее время и в странах АТР огромен, в силу особой роли, возлагаемой на язык. Его применение переросло как потребности оборонной промышленности, так и технологические особенности VHSIC (Very High Speed Integrated Circuits, Сверхбыстродействующие ИС). Созданы американская (VHDL Users Group) и европейская (VHDL-Forum) группы, занимающиеся всем комплексом вопросов, связанных с применением и развитием VHDL. Спонсорами работ по развитию VHDL являются: Air Force Wright Aeronautical Laboratories, Avionics Laboratory, Air Force Systems Command, United States Air Force, Wright-Patterson Air Force Base.

В нашей стране работы по языку VHDL поддерживаются Российским научно-исследовательским институтом информационных систем (РосНИИИС), Московским институтом электронного машиностроения (кафедра «Специализированные вычислительные комплексы» МИЭМ), Томским техническим университетом и Международным центром по информатике и электронике [52] и, только еще предполагается (!) ввести документирование на VHDL как обязательную составляющую технической документации на изделия [16].

Из вышеизложенного следует, что распространение VHDL в нашей стране - весьма ограниченно. Это не позволяет унифицировать используемые средства и качественно повысить уровень проектных работ в области создания средств вычислительной техники; сделать доступными для применения множество коммерческих систем, разработанных ведущими компаниями мира.

В результате, налицо два противоречащих друг другу фактора: с одной стороны рост потребностей в создании проектов, соответствующих международным стандартам, с другой стороны - недостаточное развитие методов разработки, обеспечивающих высокий уровень и качество проектирования вычислительной техники. По-видимому, главная причина слабого внедрения VHDL в практику разработки ВУ, заключается в недостаточном количестве подготовленных специалистов в области проектирования аппаратуры с использованием ЯОА. Особенно ощутимо это в Дальневосточном регионе, так как ближайший «пункт» поддержки VHDL, как следует из вышеизложенного, -Томский технический университет. Кроме того, в силу многоуровневости описания, ориентированного на синтаксис языка ADA, а также существенного отражения динамики функционирования объектов [60], язык VHDL весьма сложен для освоения. В связи с этим, особую актуальность приобретают вопросы разработки средств, предназначенных для автоматизации обучения языку описания аппаратуры VHDL. В контексте проектирования автоматизированных обучающих систем актуальной является тематика исследований, затрагивающих как создание новых' форм представления и способов хранения знаний, так и новых стратегий изучения учебного материала (learning strategies) [26].

Целью диссертационной работы является исследование методов организации системы для автоматизации обучения языку описания аппаратуры VHDL на основе общих принципов иерархической систематики языка, и разработка механизма обработки знаний в рамках моделей индуктивного обобщения, используемого для реализации стратегии обучения.

В соответствии с поставленной целью в работе решаются следующие основные задачи: анализ ЯОА, выделение преимуществ VHDL перед другими языками описания аппаратуры; анализ тенденций развития существующих автоматизированных обучающих систем; формирование поля знаний языка VHDL; формализация концептуальной модели языка VHDL; исследование и разработка механизмов обработки знаний; разработка организации обучающей системы; внедрение разработанного формализма в систему для реализации стратегии обучения; реализация теоретических положений в системе, предназначенной для использования в качестве инструмента обучения языку описания аппаратуры VHDL.

Методы исследования основаны на использовании теории множеств, теории графов, комбинаторики, методах инженерии знаний, а также на современных методологиях построения программных комплексов и систем. В разработке программного обеспечения использовалась технология объектно-ориентированного программирования.

Научная новизна. Научная новизна работы состоит:

1. Предложена концептуальная модель языка описания аппаратуры цифровых систем VHDL, объединившая множество понятий языка и обеспечившая наглядное представление синтаксиса в виде набора графов.

2. На основе концептуальной модели впервые разработаны принципы организации иерархической систематики языка VHDL, позволяющие абстрактно формализовать описание множество экземпляров объекта проекта.

3. Впервые разработана система для автоматизации обучения языку VHDL, позволяющая на основе предложенных моделей, оптимизировать выработку концептуальных знаний у пользователя; отличающаяся от известных, использованием ассоциативного механизма индуктивного обобщения, как средства для реализации стратегии обучения.

- 4. Разработан механизм обработки знаний в рамках моделей индуктивного обобщения, отличающийся высокой интерпретируемостью результатов обобщения, что очень важно в обучающих системах.

Теоретическая и практическая значимость. сформулированы общие принципы иерархической систематики языка описания аппаратуры цифровых систем VHDL, которые могут быть использованы при разработке программных средств для автоматизации обучения языкам описания цифровой аппаратуры; разработан механизм обработки знаний, который может быть реализован в других обучающих системах.

Использование разработанного механизма позволит снизить временные и трудозатраты на проведение обучения в автоматизированных обучающих системах; система обучения языку VHDL, созданная на основе разработанных концепций обработки знаний, может быть использована как инструмент для обучения проектировщиков, испытывающих недостаток знаний об окружающей среде VHDL-проектов. Система будет особенно полезна тем, кто хотел бы на практике шаг за шагом пройти все стадии VHDL проектирования. Это позволит качественно повысить уровень выполнения проектных работ в области создания средств вычислительной техники в Дальневосточном регионе.

Ценность разработки подтверждает использование прототипа системы в учебном процессе кафедры Электронной и компьютерной техники Дальневосточного государственного технического университета (ДВГТУ), как базового средства обучения по курсу «Автоматизация инженерного труда»;

Положения, выносимые на защиту. На защиту выносятся: концептуальная модель языка описания цифровой аппаратуры VHDL; принципы организации иерархической систематики языка VHDL; ассоциативный механизм индуктивного обобщения, как способ обработки знаний в системе обучения языку VHDL.

Апробация работы. Основные результаты работы обсуждались на Ш-ей международной конференции «Автоматизация проектирования дискретных систем» г. Минск. Институт технической кибернетики, ноябрь, 1999, на научно-технической конференции «Вологдинские чтения» в ДВГТУ май 2000 г., на региональной научно-технической конференции ДВГТУ и ДВО РАН апрель-май 2002 г. и на Ш-ей международной научно-практической конференции ДВГТУ декабрь 2003. Работа прошла обсуждение на семинарах кафедры электронной и компьютерной техники ДВГТУ.

Публикации. По результатам выполненных исследований опубликовано 7 печатных работ, отражающих основные результаты диссертации.

Объем и структура обусловлены целью и поставленными в диссертационном исследовании задачами. Диссертация состоит из введения, пяти глав, заключения, списка литературы и приложений. Основное содержание диссертационной работы изложено на 153 страницах машинописного текста, иллюстрировано таблицами и рисунками. Библиографический список содержит 97 наименований.

Заключение диссертации по теме «Теоретические основы информатики», Павленко, Галина Федоровна

5.3 Выводы к главе 5

В пятой главе описана модель полнофункциональной ОС языку описания цифровой аппаратуры VHDL.

Основными особенностями разработанного программного средства являются:

• Обеспечивается обучение языкам описания аппаратуры;

• На основе использования ассоциативного механизма осуществляется выбор обучающей последовательности: учебный материал предоставляется обучаемому в таком порядке, который позволяет исключить бесконтрольную навигацию по учебному курсу, и таким образом, сократить время на обучение;

• В рамках организации контроля знаний созданы базы данных тестов и ассоциативная база знаний экспертов, реализующие:

Проведение априорного тестирования, и промежуточного тестирования в соответствии с адаптивной схемой;

Выбор категории сложности обучающей последовательности на основе использования ассоциативного механизма.

Обучающая система языку описания цифровых схем VHDL рассчитана на пользователя, знакомого с основами теории логических схем, с логическим и функционально-логическим моделированием цифровых устройств, элементами архитектуры и организации компьютеров, программированием на языке высокого уровня.

Система предназначена для интеллектуальной поддержки и обучения инженеров, а также специалистов, занимающихся разработкой вычислительной техники с использованием языка описания аппаратуры VHDL.

Прототип разработанного программного средства используется в Дальневосточном государственном техническом университете на кафедре электронной и компьютерной техники в качестве базового средства обучения по курсу «Автоматизация инженерного труда»;

Фрагменты программного кода представлены в приложении.

Заключение

К основным результатам работы можно отнести следующие:

1. Впервые сформировано поле знаний языка VHDL, сочетающее наглядное представление предметной области в виде графов и дуальную стратегию проектирования VHDL-модели;

2. На основе концептуальной модели впервые сформулированы общие принципы иерархической систематики языка VHDL, позволившие обобщить все модели представления объекта проекта;

3. Впервые разработана система для автоматизации обучения языку VHDL, позволяющая на основе предложенных моделей, оптимизировать выработку концептуальных знаний у пользователя; отличающаяся от известных, использованием ассоциативного механизма индуктивного обобщения, как средства для реализации стратегии обучения. Разработанная система обучения языку VHDL может:

• использоваться как инструмент для обучения проектировщиков, испытывающих недостаток знаний об окружающей среде VHDL-проектов;

• снизить временные и трудозатраты при подготовке специалистов, занимающихся разработкой вычислительной техники.

4. Впервые для реализации стратегии обучения использован формализм ассоциативного обобщения, основанный на «выращивании» коннекторов и построении ассоциативного графа, позволяющий путем обучения на тестовом материале экспертов принимать решения, связанные с рекомендациями вариантов изучения языка VHDL в зависимости от результатов априорного тестирования обучаемого. Упомянутый формализм отличается от существующих возможностью реализации в рамках любой из трех парадигм представления и обработки знаний:

• логической и продукционной;

• структурной;

• функциональной, а также высокой интерпретируемость результатов обобщения, что является очень важным в обучающих системах. Разработанный формализм позволит создавать на его основе обучающие системы, ориентированные не только на работу с языками описания аппаратуры, но и с другими ПО, кроме того, он может быть реализован не только в обучающих системах, но и в других системах, основанных на знаниях.

Список литературы диссертационного исследования кандидат технических наук Павленко, Галина Федоровна, 2005 год

1. VHDL для моделирования, синтеза и формальной верификации аппаратуры. М., Радио и связь, 1995.

2. Аванесов B.C. Современные методы обучения контролю знаний. -Владивосток, 1999.

3. Апатова Н.В. Информационные технологии в школьном образовании. М.: РАН, 1994.-227 с.

4. Армстронг Дж. Моделирование цифровых систем на языке VHDL. М., Мир, 1992.

5. Астанин СВ. Сопровождение процесса обучения на основе нечеткого моделирования Таганрог. Изд. ТРТУ, 2001

6. Бадд Т. Объектно-ориентированное программирование в действии. СПб.: Питер, 1997.

7. Бен-Ари М. Языки программирования: практический сравнительный анализ. -М., Мир, 2000. 336 с.

8. Бибило П.Н. Основы языка VHDL. М., Радио и связь, 2001. 200 с

9. Брусенцов Н.П., Маслов С.П., X. Рамиль Альварес. Микрокомпьютерная система обучения «Наставник». Наука, М.: 1990.

10. Брусиловский П.JI. Интеллектуальные обучающие системы // Информатика. Информационные технологии. Средства и системы, 1990. №2. С. 3-22.

11. Брусиловский П.Л. Построение и использование моделей обучаемого в интеллектуальных обучающих системах. // Техническая кибернетика. 1992. №5. С. 97-112.

12. Буч Г. Объектно-ориентированный анализ и проектирование с примерами приложений на С++., 2-е изд. М.: Изд-во «БИНОМ» СПб: «Невский диалект», 1998.

13. Гаврилова Т.А., Хорошевский В.Ф. Базы знаний интеллектуальных систем. СПб: Питер, 2000.

14. Галеев И.Х. Модели и методы построения автоматизированных обучающих систем (обзор) // Информатика. Научно-технический сборник. Серия Кадровое обеспечение. Выпуск 1. -М.: ВМНУЦВТИ, 1990. с.64-72.

15. ГОСТ Р50 754-95. Язык описания цифровых систем VHDL. - М.: Госстандарт, 1995.

16. Дейтел Х.М., П. Дж. Дейтел. Как программировать на С++.- М.: Изд-во «БИНОМ», 1999,- 1024 с.

17. Джексон П. Введение в экспертные системы.: Пер. с англ.: М.: Издат. Дом «Вильяме», 2001. - 624 с.

18. Довгялло А.М., Ющенко Е.Л. Обучающие системы нового поколения // УСиМ. 1988. - №1 - с. 83-86.

19. Йордон Э. , Аргила К. Структурные модели в объектно-ориентированном анализе и проектировании: Пер. с анагл. М.: «ЛОРИ», 1999. - 264 с.

20. Искусственный интеллект. Методы и модели: Справочник. Т. 1/Под ред. Д А. Поспелова М.: Наука, 1990.

21. Карпова И.П. Исследование и разработка подсистемы контроля знаний в распределенных автоматизированных обучающих системах. // Диссертация на соискание звания канд. техн. наук по специальности 05.13.11. М.: МГИЭМ, 2002. - 176 с.

22. Компьютерные системы обучения. Вопросы дидактического программирования. № 1. Под ред. Кривицкого Б.Х. Изд. ГПНТБ, «Знание», 1993.

23. Компьютерные системы обучения. Вопросы дидактического программирования. № 6. Под ред. Кривицкого Б.Х. Изд. ГПНТБ, «Знание», 1993.

24. Кривошеее А.О. Разработка и использование компьютерных обучающих программ//Информационные технологии, 1996. №2. С. 14-18.

25. Кривошеее А.О., Фомин С.С. Конкурс «Электронный учебник» /В кн. «Компьютерные технологии в высшем образовании»/ Ред. кол. А.Н. Тихонов, В.А. Садовничий и др. Изд-во Моск. Ун-та, 1994 264-268 с.

26. Ларичев О.И., Мечитов А.И., Мошкович Е.М. Фуремс Е.М. Выявление экспертных знаний (процедуры и реализации) М.: Наука, 1989. - 128 с.

27. Леоненков А. В. Самоучитель UML. СПб.: БХВ-Петербург, 2001. - 304 с.

28. Ле Фаоу К., Мермье Ж. Введение графов перехода языка CASCADE в язык VHDL. В кн.: VHDL для моделирования, синтеза и формальной верификации аппаратуры. Под ред. В. М. Михова. М., Радио и связь, 1995. -с. 323-341.

29. Матрос Д.Ш. Электронная модель школьного учебника // Информатика и образование. 2000. - № 8. - С. 41 - 42.

30. Машбиц Е. И. Компьютеризация обучения: проблемы, перспективы. М., Знание, 1986. 88 с.

31. Машбиц Е. И. Психологические основы управления учебной деятельностью. Киев, Высшая школа, 1987. 223 с.

32. Машбиц Е.И. Психолого-педагогические проблемы компьютеризации обучения. -М.: Педагогика, 1988. — 191 с.

33. Минский М. Фреймы для представления знаний: Пер. с англ. М: Энергия, 1979.

34. Михеева Т.И., Михеенков И.Е. Программная таксономия основа для создания гипермедийных обучающих программ // Информационные технологии. - 1998. - № 8. - С. 40 - 43.

35. Морозевич А.И., Комличенко ВН., Гедранович В.В. Стратегия автоматизации управления познавательной деятельностью на основе информационной модели образовательного процесса // Информационные технологии, 2000,№ 5 с. 47-52.

36. Москаленко Ю.С. Ассоциативный механизм извлечения вариантов знаний в интеллектуальных справочниках. XXXVII научно-техническаяконференция. Тезисы докладов. Владивосток: ДВГТУ, 1997, с. 25-26.

37. Москаленко Ю.С., Павленко Г.Ф. Kangnam University Republic of Korea and Far-Eastern State Technical University Russia. Pacific Science Review. Volume one. 1999г. с. 33-36.

38. Москаленко Ю.С., Николаев А.В. Редукция данных. Логико-комбинаторный подход. Владивосток: ДВОРАН, 1989, с. 116.

39. Москаленко Ю.С., Шаршунов С.Г., Павленко Г.Ф. Априорное и апостериорное тестирование в обучающих системах. Сборник тезисов докладов научно-технической конференции «Вологдинские чтения» 2000. с 27-30.

40. Новиков Ф. А. Дискретная математика для программистов. СПб.: Питер, 2001.-304 с.

41. Околелов О. В. Электронный учебный курс. //Высшее образование в России. 1999. №4.

42. Павленко Г.Ф. Основные принципы построения обучающей системы языку VHDL. Сборник тезисов докладов Региональной научно-технической конференции г. Владивосток, ДВГТУ и ДВО РАН, май, 2002.

43. Павленко Г.Ф. Общие принципы иерархической систематики языка VHDL. Сборник трудов ДВГТУ, 2004.

44. Петрушин В.А. Экспертно-обучающие системы. Киев: Наукова думка, 1992.

45. Поспелов Г.С. Искусственный интеллект основа новой информационной технологии. «Наука», 1998.

46. Поспелов Г.С. Экспертные системы. Принципы работы и примеры. М.: «Радио и связь», 1987

47. Построение экспертных систем: Пер. с англ /Под ред. Ф. Хейеса-Рота, Д. Уотермана, Д. Лената. М.: Мир, 1987

48. Стешенко В. ПЛИС фирмы ALTERA: проектирование устройств обработки сигналов — М.: Додэка, 2000.

49. Стешенко В. Школа схемотехнического проектирования устройств обработки сигналов // Компоненты и технологии, №3-8, 2000, № 1-4, 2001.

50. Талызина Н.Ф., Габай Т.В. Пути и возможности автоматизации учебного процесса. М., 1977. 412 с.

51. Тихомиров O.K. Основные психолого-педагогические проблемы компьютеризации обучения. Вопросы психологии. 1986 № 5. с. 67-69.

52. УинстонП. Искусственный интеллект: Пер. с англ. М.: Мир, 1980. - 519 с.

53. Уэно X., Кояма Т., Окамото Т., Мацуби Б., Исидзука М. Представление и использование знаний: Пер. с япон. М.: Мир, 1989.

54. Холдинг Д., Голдстейн Н., Эбертс Р. Человеческий фактор. В 6 т. т. 3. Моделирование деятельности, профессиональное обучение и отбор операторов: Пер. с англ./ М.: Мир, 1991. - 302 с.

55. Шаршунов С.Г. Язык описания аппаратуры цифровых систем VHDL. -Владивосток: ДВГТУ, 2002

56. Шаршунов С.Г., Москаленко Ю.С., Павленко Г.Ф. Концептуальная модель языка описания аппаратуры VHDL. Препринт. Институт автоматики и процессов управления ДВО РАН. Владивосток. 2002.

57. Шигина Н А. Создание мультимедийных электронных учебников /Изд-во Пензенского технологического института, Пенза, 2001. 39 с

58. HDL Chip Design. Smith, Douglas J. Madison, AL: Doone Publications, 1996.

59. Anderson, J. R. and Reiser, В.: The LISP tutor. Byte 10, 4 1985 pp. 159-175

60. Angelides M. C. & Gibson G. The Spanish Tutor: A Hypertext-based Intelligent Tutoring System for Foreign Language Learning. Hypermedia, 1993. pp. 205230.

61. ANSI/IEEE IEEE Standard VHDL Language Reference Manual Std 1076-1993

62. Barr, A., Beard, M., and Atkinson, R. C.: The computer as tutorial laboratory: the Stanford BIP project. International Journal on the Man-Machine Studies 8, 5 1976 pp. 567-596.

63. Bielawski L. & Lewand RIntelligent Systems Design Integrating Expert Systems, Hypermedia, and Database Technologies. John Wiley & Sons, New York. 1991.

64. Brusilovsky, P., Ritter, S., and Schwarz, E.: Distributed intelligent tutoring on the Web. In: du Boulay, B. and Mizoguchi, R. eds. Artificial Intelligence in Education: Knowledge and Media in Learning Systems. IOS, Amsterdam .1997. pp. 482-489

65. Brusilovsky, P. Methods and techniques of adaptive hypermedia // User Modeling and User-Adapted Interaction, 1996, v 6, n 2-3, pp 87-129.

66. Burns, H. L. and Capps, C. G.: Foundations of intelligent tutoring systems: An introduction. In: Poison, M. C. and Richardson, J. J. (eds.): Foundations ofintelligent tutoring systems. Lawrence Erlbaum Associates, Hillsdale (1988) 1-19

67. Callear, D.H. 1998 (1) Addressing the Problem of Computer Aided Assessment -a Fundamental Approach, Proceedings of the Second Annual Computer Aided Assessment Conference, Loughborough University, 17-18 June, pp. 76-84

68. Carbone & Schendzielorz 1997. Carbone, A., & Schendzielorz, P. (1997). Developing and integrating a Web-based quiz generator into the curriculum. WebNet'97, World Conference of the WWW, Internet and Intranet, AACE. 90-95

69. ComputerPREP, Inc, Phoenix, AZ. http://www.webassessor.com Accessed 23 May, 1998

70. Courtois В., CAD and Testing of ICs and Systems: Where are we going? Journal of Microelectronics Systems Integration, Vol.2, No.3, 1994.

71. De Bra, P. M. E.: Teaching Hypertext and Hypermedia through the Web. Journal of Universal Computer Science 2, 12 1996 pp. 797-804

72. Desmarais, M.C. Self-Learning Guide Stuttgart, Germany, CRIM, Montreal. http://www.crim.ca/hci/demof/gaa/introduction.html (Accessed July 5, 1999

73. Eliot, C., Neiman, D., and Lamar, M.: Medtec: A Web-based intelligent tutor for basic anatomy. In: Lobodzinski, S. and Tomek, I. (eds.) Proc. of WebNet'97, World Conference of the WWW, Internet and Intranet, Toronto, Canada, AACE 1997 pp. 161-165

74. Freeman A., Kilpatrick Jr., Greed H., Gunsch, Eugene Santos. «Induction and state space search for an intelligent training system». Air Force Institute of Technology (AFIT) - Depart, of Elect, and Сотр. Engineering. 1996.

75. Fundamentals and Standards in Hardware Description Languages, J. Mermet ed., Kluwer Academic Publishers, 1993.

76. Graw, K., and Harbinson, K. User-Centered Requirements: The Scenario-Based Engineering Process. Mahwah, NJ: Lawrence Erlbaum Associates, Inc. 1997. 380 P

77. Girratano J., Riley G. Expert Systems: Principles and Programming. PWS Publishing Company, Boston, 1993. (2nd Ed.)

78. Hammond N. Learning with Hypertext: Problems, principles and Prospects, HYPERTEXT a psychological perspective Eds. McKnight C., Dillon A. & Richardson J., Ellis Horwood Ltd, pp 54-55. 1993.

79. VHDL 87: IEEE Std 1076-1987. IEEE Standard VHDL Language Reference Manual (VHDLversion 7.2). -New York: IEEE, 1988.

80. IEEE Std 1076.3-1997, IEEE Standard Synthesis Packages (NUMERICJBIT and NUMERIC STD).

81. EEE Std 1164-1993, IEEE Standard Multivalue Logic System for VHDL Model Interoperability (STDLOGICl 164). New York: Institute of Electrical and Electronics Engineers, Inc., 1994.

82. Kay A C. The early history of SmallTalk. The second ACM SIGPLAN history of programming languages conference (HOLP -II) ACM SIGPLAN Notices, 28(3):69-75, March 1993.

83. Kinshuk & Patel A. A conceptual framework for Internet based intelligent tutoring systems. Knowledge transfer (volume II) (ed. A. Behrooz), pAce, London, 1996. pp. 117-124.

84. Lesgold A. Ideas about feedback and their implications for intelligent coached apprenticeship. Machine-Mediated Learning, 41., 1994 pp 67-80.

85. Luger G.F. Stubbleficld W.A. Artificial Intelligence: Structures and Strategies for Complex Problem Solving. Benjamin Cummings Publishing Company. 1993

86. Merat, F.L., & Chung, D. (1997). World Wide Web approach to teaching microprocessors. FIE'97, Frontiers in Education Conference, Stipes Publishing L.L.C. 838-841

87. Moore G.E. Cramming more components onto integrated circuits Electronics, volume 38, Number 8, April, 1965, 4p96. http://www.lotus.com/products/learningspace.nsf (Accessed 5 June, 1999)

88. Using networked tools to enhanse student success rates in large classes. FIE'97, Frontiers in Education Conference, Stipes Publishing L.L.C. 233-237