К вопросу организации диалога в человеко-машинных системах

Литература

1. R.M.Kling, P.Banerjee. A special purpose coprocessor, supporting cell placement and floorplanning algorithms / Proc. of the IEEE Custom Integr. Curcuits Conf. P. 3.1.1 -3.1.4.

УДК 656.012.011.56:681.3

Сеченов М.Д., Мухлаев A.B.

К вопросу организации диалога в человеко-машинных системах

Диалоговое взаимодействие представляет собой регламентированный обмен информацией между человеком и вычислительной машиной, осуществляемый в реальном масштабе времени и направленный на совместное решение конкретной задачи. Весьма актуальными являются вопросы организации диалога при реализации систем, предназначенных для работы в трудноформализуемых областях с неполной, недостоверной и нечбткой информацией. Прежде всего это относится к экспертным системам и САПР. В настоящее время наметилась устойчивая тенденция по интеллектуализации диалогового интерфейса пользователей с программными системами. “Дружественность” общения человека и системы достигается за счёт простоты и лаконичности языка, а также воспроизведения привычных способов манипулирования информацией и рабочей обстановки, непосредственного восприятия и воздействия на информационные объекты.

При интеллектуализации общения в человеко-машинных системах могут использоваться следующие приемы и принципы [1]: метафора письменного стола ; метафора крупноформатного бланка ; принцип непосредственности общения ; объектно-ориентированный диалог ; метафора текстового редактирования ; интеграция программных средств.

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

В качестве формального аппарата для описания сценария диалога в интеллектуальных человеко-машинных системах предлагается использовать нечеткие гиперграфы, описанные в [2]. Такой подход позволяет описывать ситуации и этапы сценария в условиях нечеткости, определяемой как нечёткой постановкой самой задачи, так и использованием интуитивных представлений эксперта и пользователя о путях ев решения и нечётком описании параметров. Нечёткие гиперграфы сочетают в себе достоинства как нечётких, так и графовых моделей и позволяют строить формальные оптимизационные и логические процедуры, удобно программируемые и обладающие естественным параллелизмом.

Использование математического аппарата нечётких ориентированных гиперграфов для описания сценариев диалога является развитием подхода, предложенного в [3].

Материалы Всероссийской конференции

“Интеллектуальные САПР-97”

Литература

1. Разработка САПР В 10 кн. Кн. 5. Организация диалога в САПР Практическое пособие / В.И. Артемьев, В.Ю. Строганов ; Под редакцией А.В. Петрова. - М. Высшая школа, 1990.-158с.

2. Малышев Н.Г Берштейн Л.С. , Божснюк А.В. Нечеткие модели для экспертных систем .- М.: Энергоатомиздат, 1991 .- 136с.

3. Глушенко А.А. , Письменов А.В. , Сеченов М.Д. Вопросы организации и построения диалога в интеллектуальных САПР СБИС/ Интеллектуальные САПР Междуведомственный тематический научный сборник. - Таганрог : ТРТИ, 1990.- Вып. 3. С. 92-98.

УДК 658.51.011.5:001.8

Таберкин П.А.

УМК “Моделирование цифровых систем на языке УНБЬ” в учебном процессе для специальности “Системы автоматизированного проектирования”

На протяжении последних трех лет на кафедре САПР Таганрогского государственного радиотехнического университета при преподавании курса “Лингвистическое обеспечение САПР” для студентов специальности 2203 “Системы автоматизированного проектирования” значительную часть курса составляло изучение основ языка УНОЬ международного стандарта в области средств описания, моделирования и проектирования цифровых систем обработки информации и ЭВМ.

Рабочая программа курса “Лингвистическое обеспечение САПР” для студентов специальности 2203 “Системы автоматизированного проектирования” условно может быть разбита на две основные части. В первой части рассматриваются основные элементы лингвистического обеспечения САПР, различные классификации формальных языков, обобщенная структура компилятора, проблемы лексического анализа и построения грамматик формальных языков, методы грамматического разбора, задачи оптимизации, генерации машинных кодов и распределения памяти.

Вторая часть курса построена на основе УМК “Моделирование цифровых систем на языке УНОЬ”, разработанного учеными и специалистами Российского научно-исследовательского института информационных систем и Московского городского экспериментального центра компьютерного обучения. В ней рассматриваются назначение, основные концепции и понятия языка УНБЦ такие как, объект проекта, архитектура объекта, структурные и поведенческие описания, общеалгоритмическая и проблемно-ориентированная компоненты УНБЬ, методика описания типовых узлов, основы организации модельного эксперимента средствами языка УНОЬ, основы моделирования микропроцессорных систем. Лабораторные и практические занятия этой части курса включают изучение методики применения УНЭЬ и работу с пакетами: УНОЬ-АМЬУгЕЯ интегрированная система подготовки и контроля \ТЮЬ-описаний; УНОЬ-НЕЬРЕЯ - справочно-информационная система по языку УНБЬ и методике по разработке УНОЬ-моделей; УНОЬ-КАКТиБ - программа автоматизированного контроля знаний.

Основная цель второй части курса - подготовить студентов к самостоятельной работе с УНОЬ-документацией на цифровые системы и программными средствами поддержки УНБЬ.

Для изучения и эффективного освоения языка УНОЬ достаточно знакомства с одним из современных языков программирования (СИ, Паскаль и т. п.) и знания основ построения и проектирования цифровых систем обработки информации, принципов функционирования и сопряжения типовых узлов (триггеров, счетчиков, сумматоров и т. п.) и устройств цифровых систем.