автореферат диссертации по информатике, вычислительной технике и управлению, 05.13.12, диссертация на тему:Содержательно-эволюционный подход к проектным решениям в САПР

РГО

аосковсш ОРДЕНА ЛЕНИНА и ОРДЕНА ОКТЯБРЬСКОЙ РЕЙОЛЯЦНИ АВИЙЦИОШШЙ ИНСТИТУТ иаени СЕРГО 0РД10НИКИДЗЕ

На правах рукописи ЗДК 681.3.015

Со С1ШЛИ, 'Jlx>Jií£> UB~cin&&~ur¿. '

О ОД ЕРЖА ТЕЛЬНО-Э13.0/МОТД ЛЛ ОННЫИ П ОДХОД К ПРОЕКТНЫМ Y» ЕШКНИЯМ 13 САПР

Спеииальность:05.13.1г - Система автонатизации проектиропаннз

Автореферат

диссертации на соискание ученой степени доктора технических наук

ИОСКВА - 19Э4

МОСКОВСКИЙ ОРДЕНА ЛЕНИНА и ОРДЕНА ОКТЯБРЬСКОЙ РЕВОЛВЦИИ АВИАЦИОННЫЙ ИНСТИТУТ икени СЕРГО 0РД10НИКИДЗЕ

На правах рдкопкск ЗЛК 681.3.015

Сос^илл. 'Лг>тг>

С ОДЕРЖАТЕЛЬНО — ЭВОЛЮЦИОН ЯЕЫК! ПОДХОД К ПРОЕКТНЫМ РЕШЕНИЯМ й СЛПР

Спешшьность:05Л3.12 - Сястешг автоиаткзацкя проектирования

Автореферат

диссертации на соискание дчекой степени доктора технических иадк

МОСКВА - 1994

Работа выполнена на кафедре "Вычислительная техника" Ульяновского политехнического института

Официальные оппоненты:

- доктор технических наук,профессор.заслуненный деятель науки и техники РФ Гдудкин О.П.;

- доктор технических наук.профессор.заслуяешшй деятель науки и техники РФ Петров O.K.:

- доктор технических наук,профессор Сеиенов В.В.

Бедудаа организация - Государственный научно исследовательский институт авиационных систеи,г.Москва

Зацита ссстоится "___"___________1994г. в_____часов

на заседании специализированного Совета Д.053.18.01 в Московской ордена Ленина и ордена Октябрьской револвции авиационном институте ии.С.Орджоникидзе по адресу 125871.Москва.

Волэколаыское воссе.4.

£■

Отзыв на автореферат в одной экземпляре.заверенный пе-чатьв.просии выслать по адресу 125871.ГСП.Йосква,йолоко-яаиское ииссе.4," Ученый совет.ученому секретари специализированного совета Д.053.18.01.

. С диссертацией конно ознакоииться в библиотеке ковского авиационного института им.Серго Орджоникидзе

Автореферат разослан "___________1994 г.

Эченый секретарь специализированного совета Д.053.18.01 кандидат технических наик.иоиент

Я.И.Федотов

Общая характеристика работы ,

Область исследований и их актуальность Сущность современного этапа теории и практики автоматизации проектирования определяют вопросы организации (в том ..числе технологий и инструментария) сквозного проектирования в комплексных САПР с интегрированными , ресурсами.Специфику организации таки* работ . составляет необходимость оперативного развития САПР по ходу проек-•. тирования. . '

Независимо от причины конкретной модификации САПР ее источником всегда является ситуация.сложившаяся в процессе проектирования,по спецификациям которой проектировщик формулирует соответствующее техническое задание на доработку САПР.Задание на доработку .обычно, передается для исполнения программистам или'другим специалистам, что приводит к параллельному развертыванию двух процессов - процесса адаптации и-доработок САПР,начиная с исходного комплекса'методов и. средств; и процесса проектирования определенного изделия. Параллельные процессы принятия согласованных проектных решений в 'САПР (с учетом ее оперативного развития)составляют принципиальную область исследований,знания о которой явно недостаточны. - Необходимость работ ' в,названной области и их актуальность легко, •'.обосновываются.К разработкам и внедрению комплексных САПР с интегрированными ресурсами.привела практика автоматизации параллельной 'работы группы проектировщиков.Исследования параллельных процессов в., человеке^компьютерных средах 'демонстрируют существенную зависи-

■ мо'сть их эффективности от.организации действий (оперативного расп-,'ределения работ,синхронизации их исполнения,согласования я контроля результатов). Система, методов и* средств'„обеспечивающих параллельное развитие САПР и работы над: проектом,в.которых существенная ■

/..часть действий( по доработкам.' САПР., выполняется проектировщиком-пользователем САПР, не может не .привести к повышению качества проектных решений, уменьшению. времени проектирования и снижению', об--„ щих затрат. • •.. . ' "' ':.,. • , -

Наиболее перспективным подходом к организации и согласованию па' раллелькых процессов., принятия решений в САПР считается ведение единой (для всех процессов.и в любой момент проектирования) базы

■ данных проекта (БДП).По ходу, проектирования в 6ДП вводятся и свя- ', •эываются в целое нормативно-справочная информация,требования и

- технические условия,проектные процедуры и модели,проектные решения

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

В тех случаях,когда в процессе проектирования принимаются решения по развитию САПР к БДП логично присоединять базы данных проекта развития. САПР.Логично пойти чуть дальше и потребовать,чтобы в единую БДП объединялись:база данных проекта САПР,конструируемая в процессе ее разработки;база данных проекта развития САПР;" база данных проекта изделия,разрабатываемого в среде САПР.Подобная БДП приобретает статус динамической информационной модели ИМ(Ъ) среды и объекта проектирования,а вернее единой информационной модели САПР и объекта проектирования.

Модель ими),представляя САПР и конкретный объект проектирования, уникальна для каждого проекта,выполняемого-в среде САПР.Организация работ по построению и использованию Ими) должна исходить из того,что с ими) как с единым: целым в разные моменты времени взаимодействуют проектировщики,принимающие проектные решения,в том числе решения по разработке САПР и ее развитию.Такой подход к управлению . параллельными процессами принципиально по новому ставит Проблему , инф'ормационного взаимодействия проектировщика с САПР. Диссертационная работа открывает ' новое направление исследований этой проблемы и вносит положительный вклад в ее разрешение.

Задача информационного взаимодействия с Йми) подобна задаче взаимодействия пользователя системы искусственного интеллекта (СИИ) с базой знаний (БЗ).причем из СИИ к САПР наиболее близки экспертные системы (ЭС). В экспертных системах роль ИМ(0 выполняет система представления знаний экспертов,открытая для информационного взаимодействия с пользователем.Формирование экспертных знаний и их применение в актах принятия решений осуществляются в понятийных действиях.Опыт понятийной деятельности в ИИ и ЭС логично заимствовать для его Применения в САПР,особенно в процессах концептуального проектирования.Разработки и - исследования методов и средств оперативного информационного взаимодействия проектировщика с Ими), осуществляемого в формах понятийной деятельности и нацеленного на принятия проектных: решений,включая решения по развитию САПР, актуальны и составляют область исследований дисссертационной работы.

Объект исследований

Роль объекта исследований в работе возложена на информационное

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

Основные установки и идеи , • На выбор предмета исследований и направления работы оказали влияние следующие установки: '.;..••

У1.САПР проявляет себя только, в . конкретных применениях,когда проектировщик,настраивая САПР на решение поставленной перед ним задачи,оперативно Еедет БДП ,что представляет собой развитие им САПР для конкретного приложения,то есть пользователь САПР,по сути дела,является ее разработчиком,а БДП является составной частью САПР и должна представлять этапы разработки,развития'к применения .САПР.,- . \ • - '■■' /

. У2.Согласно первой установке пользователь САПР условно входит в коллектив ее разработчиков и должен быть обеспечен средствами для ее продолжающегося развития, в том числе по системе .баз данных, системе диалога, системе проектных процедур и моделей,системе документации и т.п. ■ ■ УЗ.Общим для каждой из адаптируемой или., развиваемой подсистемы САПР,в том. числе по БДП .является концептуальное проектирование каждой из подсистем,которое немыслимо без оперативного построения ' и использования понятий (то есть без понятийной деятельности) и должно развертываться на единой понятийной,базе. '. У4.Наиболее близким аналогом .'понятийной деятельности для САПР является понятийная/деятельность,используемая -при разработке и • применениях экспертных ; систем';- .. \

• •Такие установки, привели автора к. идее осуществлять ,концептуальную разработку,и■развитие -составных частей САПР параллельно и согласовано на единой основе,которую составляют: "■•"'•.■ ; 1.Построение БДП в виде информационной модели .ИМШ', представляющей САПР и объект, проектирования как целое.•''•.. 2.Методы, и средства оперативного'документирования,кодирования и систематизации проектных 'решений,регистрирующие в ИМ(Ь) ход и состояние проектных-работ.. ". 3.Методы и- .средства ■ оперативного информационного взаимодействия проектировщика с Ш(Ъ),синтезирующей в" единое целое используемые им методы,средства и проектные решения в" форме,согласованной с за-

дачами построения, развития и применения САПР.

Предмет исследований Исследования связаны с разработкой системы методов и средств а? тивного информационного взаимодействия проектировщика с САПР ,6е зирующайся на оперативном и обоснованном документировании принимг емых решений.-и нацеленной ,на построение информационной ' моде.) ИМ(1) среды и объекта проектирования,'используемой для информации ной поддержки принимаемых решений и выполняющей другие функции Б,!

Сущность активного информационного взаимодействия проектировщш с САПР в диссертационной работе определяет оперативное (по хо, проектирования) формирование и использование системы понятий ,вст; иваемой в ИМШ и интегрирующей в единое целое системы проекта решений л проектной документации,системы проектных моделей, проц> дур и продукций, системы баз данных и диалога. .

Цели и задачи исследований Основная цель работы связана с поиском теоретического обобщен методов и средств информационного взаимодействия проектировщика САПР и объектом проектирования,позволяющего построить систему Б( понятийной деятельности 0П проектировщика,обеспечивающую постро ние модели ИМ^) с отмеченными функциональными возможностями. . Под обобщение подводились системы баз данных со словарно-справс ной надстройкой,системы обеспечения диалога,средства интеллект альнои организации библиотек проектных решений,в том числе библ>: т$к проектных-процедур,системы документирования. . Цель исследований согласована с решением следующих основных за;

1.Исследовать подход к автоматизированному проектированию,£ зирующийся на управлемом включении э САПР системы методов средств. . информационного взаимодействия проектировщика с ШК^ формах понятийной деятельности Пп, сущность которой определ) формирование,регистрация,исследование,обработка и систематиза; проектных документов. , ^

2.Разработать и исследовать информационную модель ИМ(Ъ) среды объекта проектирования ,в основе оперативного построения и-при нений которой лежит теоретическое обобщение методов и средств, служивающих понятийные действия проектировщика в САПР.

. 3.Разработать и исследовать систему Э(0П) методов и средств по тийной деятельности Бп,обеспечивающей эффективное . иформацион взаимодействие проектировщика с САПР в процессах принятия реше и их синтеза в систему решений,учитывающую решения по разработк

>азвитию САПР.

Для диссертационной работы принципиальны следующие-функции ин-юрмационного взаимодействия проектировщика с САПР:

- коммуникативная функция,обеспечивающая согласованное понима-гае (в коллективе проектировщиков) хода и состояния работ .находя-¡ем свое представление в'информационном содержимом модели HM(t);

-управляющая функция,действие которой обусловлено раесогласо-¡аниями между состоянием модели HM(t) и разрабатываемым проектом;

- эвристическая функция,управляющая творческой активность?) про-:ктировщика в процессах наблюдений и экспериментов в среде ИМ С t). На' используемое в диссертационной работе представление понятийной ;еятельности в САПР,в контексте названных функций,существенное *лияние оказали работы таких отечественных ученых как Вермкшав Ю.Х. 1оренков И./l. ,Гридин В.Н.,Войшвилло Е'.К. .Звегинцев Б.А. ,йаль-ювский М .Г ., Мельников Г.П..Пиотровский Р.Г.,Попов Э.В..Поспелов I.A., Смирнов В.А. и таких зарубежных ученых как Акофф Р., Джонс ^ж. К. , Заде JI.A., Минский М. .Мулуд Н.,Нильсон Н. и Пойг д..

Обобщенное представление понятийной деятельности проектировщика, юпользуемое ^втором, привело к разработке содержателько-зволюци-энного подхода к системам решений,принимаемых а процессах проектирования. В основу содержательно-эволюционного под;:одд положена эриентация действий проектировщика на аналогии с эволюцией в построении IfM(t) .Применение содержательно-эволюционного подхода приводит к введению в MM(t). структур,представляющих "исуорнга" принимаемых решений, оперативно конструируемую по ходу проектирования.Роль "истории" решений возлагается на систему S(T.t) текстов Т оперативной проектной документации .которая' строится и регистрируется в MM(t) в"явно выраженном вопросно-ответном стиле .Систематизация ' S(T,t) осуществляется,по образцу теорий Th(t) содержательно-эволюционного типа.В оперативных применениях система S(T,t) интерпретируется и работает как "предыстория" системы принимаемых решений,от состояния и содержания которой зависит как продолжение процесса проектирования,так и-его результат - проект.

. Основания исследований'

Исследования проводились в соответствии с координационным планом МВиССО СССР и АН СССР "О совместных НИР в области ВТ" (29.12.80 / 31-. 12.80) .Поволжской региональной программой "Автоматизация и роботизация производственных процессов и искусственный интеллект" (1985-1990 г.г.),Ульяновской областной программой "Прогресс-90" ,.

а также планами госбюджетных и хоздоговорных НИР Ульяновского политехнического института (1974-1993 г.г.).

Метод исследований

Сущность метода исследований определяла управляемая комбинаторика системного,деятелыюстного и генетического'(эволюционного) подходов, проводимая в рамках поиаговой детализации работ с задачей исследоваш:

Научная новизна .

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

2.Разработана и исследована форма теоретического обобщения методов, средств и результатов информационного'взаимодействия проектировщике с САПР,приводящего к построению проектировщиком содержательно-^ .эволюционной теорий ТйСО проектных решений,оперативное применение которой приводит к сокращению сроков проектирования.

3.Предложен и исследован метод системного приращения знаний в ИМШ позволяющий проектировщику в соответствии с практикой экспертных систем выявлять знания,необходимые для принятия проектных решений,и про водить их автоформализацию в среде САПР баз помощи-специалистов по инженерии знаний,что снижает общую стойкость'проектных работ.

Л .Предложена и исследована понятийно-квантовая модель знаний о среде и объекте проектирования,объединяющая в единое целое • семантическую сеть понятий и классификационное преставление области проектирования,продукционные и предикатные - модели составляющих модели Ш,!((;).системные и интегрирующие свойства которой вносят вклад в эффективность процесса проектирования.

5.Разработана и исследована система понятийной.деятельности Б(0п), содержащая систему,управления информационным взаимодействием (интерфейсом) проектировщика с процессами проектирования,включение которо-;' в САПР объединяет названные'выше источники повышению эффективности автоматизированного проектирования.

Достоверность

Теоретическая достоверность полученных результатов подтверждается формулировкой основных положений'-диссертации ка основе достоверных знаний из области прикладной 'информатики (системы автоматизации проектирования', системы искусственного'интеллекта "и эксперт-

ые системы)/прикладной лингвистики.практической и формальных ло-ик.В выводах и доказательствах использовались релевантная логика : логика предикатов первого порядка для индуктивных и дедуктивных тверждений соответственно.Текст диссертации построен с использо-¡анием основных требований к теориям содержательно-эволюционного •ипа.

Экспериментальные подтверждения достоверности получены при раз-»аботке и применениях САПР тестов микропроцессорных схем (САПР ТМ), :истемы проектирования реляционных баз данных "КОРД", "системы уп-завления диалогом и интерфейсом "КОНДОР" и автоматизированной :истемы обучения комбинаторике' переборов.

Практическая ценность В состав практических результатов,полученных в диссертационной заботе, входят:

- технология и инструментарий информационного взаимодействия проектировщика с моделью ИМ(1,) как с БДП САПР .осуществляемого на основе содержательно-эволюционного подхода в ферма:. поя:: глиной деятельности Пп,нацеленной на представление.обобщение,интеграцию и систематизацию в модели ИМ( Ъ) используемых в пропегг-^ проектирования методов,средств и проектных решений;

- система управления интерфейсом.построенная'по аналогии с системами управления базами данных и ориентированная на гипермедиа технологию взаимодействия проектировщика с ИМ(Ъ);

- методика и инструментальное обеспечение для оперативного • построения теорий ТЫЬ) содержательно-эволюционного типа,в том числе для систем понятий.используемых в процессе автоматизированного проектирования.

Реализация и внедрение Наиболее-полно результаты диссертационной работы использованы в системе "СИЛУЭТ" ( Система Информационно-Лингвистического Управления Эвристической деятельностью).обеспечивающей понятийную деятельность проектировщика в САПР.Версия этой системы, адаптированная для обучающих целей, реализована в виде системы Имитацион-но-Деятельностного Обучения "ИДО", которая внедрена в учебный процесс Ульяновского политехнического института.Инструментарий проектирования, диалога и адаптации "ИДА" .конструктор реляционных баз данных "КОРД", конструктор многооконных интерфейсов "КОКОС" и система управления интерфейсом "КОНДОР".предназначенная для построения гипермедиа-структур в среде САПР .внедрены в НПО "МАРС".На

основе системы управления интерфейсом "ДОРА" построен ряд электронных справочников и визуальная . документация на все названные системы.Разработана методика и инструментальная среда для продукционно-предикатного моделирования в актах принятия решений.По заказам ряда предприятий разработаны и внедрены САПР печатных плат,САПР тестов контроля цифровых блоков, САПР тестов контроля микропроцессорных схем.

На защиту выносятся

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

2.Содержательно-эволюционная теория ТЬ(Ъ) процесса проектирования, по образцу которой проектировщик строит и/или развивает информационную модель Ими), в структурах которой представляются, обобщаются, интегрируются и систематизируются методы,средства и результаты информационного взаимодействия проектировщика с САПР.

3.Комплекс методов и средств для оперативного извлечения,обработки, систематизированного представления и использования понятийных знаний о среде и объекте проектирования по ходу проектировочной деятельности.

Апробация работы Материалы диссертационной работы отмечены почетной грамотой международного конкурса "ИНТЕРФЕЙС-СЭВ"(1967г.),дипломом второй степени конкурса имени академика А.й.Берга (1988 г.),бронзовой медалью ВДНХ (1936 г.). •

Разработки инструментальных средств представлялись на. выставках интеллектуальных систем в Ульяновске .(1988),в Минске (1990 г.), в Саратове (1992 г.) и в Орле (1992 г.).

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

Структура и объем работы.

Содержание работы и ее логику раскрывают, введение, смысл которого раскрыт выше,пять глав описания,заключение и четыре.приложения. Содержит 290 страниц основного текста, 47 рисунка.Список литературы состоит из 316 наименований. В первой главе представляется и исследуется понятийная активность проектировщика в САПР,включающая его понятийные действия в: про-

цессах концептуального проектирования,оперативного, докукенткроса-ния проектных решений,запросах к базг,м' данных, запросах к бяблтмтг-кем проектных процедур,диалоговых взоинодсйстекях с процессом проектирования, процессах обучения.Особое зннмание уделяется концептуальному проектированию разрабатываемого объекта, состав!»'г» частей САПР (систем проектных процедур, систем баз дашмх и дчгло-га,системы документации) и САПР как целого,доработок и разезткя САПР.Выявляется специфика инструментальной поддержки ккфоркакиса-кого взаимодействия проектировщика со средой "и объектом проектирования, раскрывается направление исследований,выделяются объект и предмет исследований, формулируется основная задача и наиечготся подход к ее решению.

Представляется'опыт автора по оперативному документирования хода проектных работ, связанных с автоматизированным решением задач компоновки, размещения и трассировки з блоках радиоэлектронной аппаратуры (РЭА).разработкой автоматизированных средстк синтеза тестов цифровых устройств и микропроцессорных схем.

Оперативное документирование предполагает", что ведение дскукгпта-ции начинается с текста Т0 технического задания ТЗСЪ ) з цемент 1,0 начала процесса проектирования. Изменения и детализация ТЗ фиксируются текстами его состояний- ТЗ(^).В состав оперативной документации также включаются: взаимосвязанная совокупность текстов Т| постановок задач 2^; тексты Т^ идей-гипотез рамках каждой из задач регистрируются тексты Т^ и Тп вопросов С^ и ответов. Ал) на эти вопросы соответственно; с помощью описаний Т^ . регистрируются действия Рп,требующиеся для построения ответов Аи; определенная часть утверждений Сг,потенциально ценных для после-.дукщей.работы фиксируется текста!!« Тг.Таким образом,с оперативной документацией связывается совокупность текстов

" БТСЪ) - {Т1}и{Т^]и{Тк]и{Т1}и{Тт}и{Тп}и{Тг), ,( 1 )

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

Для оперативного документирования принципиален вопрос о конструктивной .основе порождения и систематизации .документов . БТШ .Поскольку сущность документации определяют включенные в проект проектные решения,а ее'форму - требования стандартов и нормативов,в практику документирования была введена система ,Ъ) = БТи) и Э(ПРЛ) и Б(ЧН) (2)

. где БСПР.й) - выделенная в БТ(Ъ) система текстовых документов о

проектных решениях ПР,a S(QH) - входящая в ST(t) система нормати ных вопросов QH,Ha базе которых формируется проектная документа ция,соответствующая требованиям заказчика.Такая нагрузка на доку ментацию позволяет проектировщику отслеживать следующие цели: Ц1. Отобразить'в унифицированной текстовой форме ST(t) работую каждого участника разработки так, чтобы руковод! тель проекта имел' возможность контролировать по ST(t) хо; общей работы и,при необходимости,корректировать действия исполнителей.

Ц2.Выбрать словарный состав естесгвенно-ррофессионального языка L(t), используемого в коллективе проектировщиков,и построить толковый словарь SL(t) проекта' и процесса его создания.

ЦЗ.Создать текстовую основу для нормативного документиров ния проектных работ в соответствии со стандартами един систем программной документации (ЕСПД), конструкторской f кументации (ЕСКД) и технологической документации (ЕСТД).

Освоение документирования ST(t) проводилось в процессе раз! ботки САПР тестов микропроцессорных схем (САПР ТМ), в кото} встраивались система S(N) понятий N и система диалога S(d). Использовавшаяся система понятий S(N) обладала возможност) словарей-справочников и интегрировала в единое Целое - информа онную модель HM(t) - методы,средства и проектные решения,влож ные как в САПР,так и используемые по ходу проектирования тес для конкретной микропроцессорной схемы.Система S(N) строилась основе документации ST(t) и упрощала проектировщику вложение в (HM(t)) недостающей информации,открывала ему оперативный досту БДП по незапланированным запросам,а также уменьшала среднее е доступа к БДП от проектных процедур,что привело к решению вклн в состав целей оперативного документирования цель:

Ц4.Построить информационную модель ИМ среда и объ! проектирования,состояния которой HM(t) "в текущий moi времени t синтезируют в структурах IlM(t) информацию из да ментации ST(t).библиотек базовых элементов и проек . процедур,нормативно-сйравочных документов и текущих резу тов проектирования.

В разработках САПР ТМ особое внимание уделялось методам и с ствам взаимодействия проектировщика тестов с HM(t) и проце проектирования.Назначение диалоговой системы САПР ТМ (ДС САПР

связывалось с активным участием -. пользователя в решении задачи проектирования.тестов для ; схем с элементами микропроцессорных . комплектов и например, включало .-оперативное управление ходом синтеза тестов-'с незапланированным доступом к ЙМ(Ъ).реагирование на тупиковые ситуации процесса. Для решения таких задач свою эффективность доказало формирование диалога на базе системы понятий Б(Ю.Этот факт.а также то,что диалог конструировался и использовался- по ходу процесса проектирования приводили к учету времени t и послужили причиной присоединения БСН^) и ,Ъ) к системе документов БСГ, Ь) ,что позволило развить ее структуру до системы V вЛ^^аШПР^Ш^ШМЛШ«!^) (3)

Опыт документирования ЭТШ и подходов к систематизации 5ТШ указал-на практически полезный вид деятельности,входивший в сос--тав проектировочной деятельности 0.Это-деятельность с текстами,их составляющими и результатами обработки текстовой информации,включала работы,входящие в сферу концептуального (понятийного) проектирования ,в том числе работа по..концептуальному проектировании /БД САПР и диалога в САПР ,что дает право отнести ее к категории "понятийная деятельность" .

Проведенный анализ опыта работ с БСГ.У показал,что ЙСТ.Ь) позволяет отслеживать и следующие цели; . ~ . Ц5.Осознать (понять) ситуацию принятия решения,принимаемое решение и систему принятых решений. '

•„ Ц6.Конструктивно - обосновать и зарегистрировать в Б (ТЛ) .и,тек сашм.в, НУ(Ъ) каждое .решение,принимаемое по ходу .. ; проектирования,согласовав его с уже"принятыми решениями.

Ц7.Проводя;анализ состояния оперативной документации БТЧО и' текущего /состояния;, модели-,управлять ходом проектирова-. ния. '' '■-■. ..;'-/ ■ , '..'. -;''',''■

: ЦЗ.Полученный в .- конкретном--процессе проектирования опыт ове-; цествить-. так, чтобы он был открыт, для обучения и использования

в других проектах,.''.'.'■••,.'■/•• ' --, Проведенный,анализ' ■■ дополнительных • нагрузок на работы с' 5(Т^).которые йущестзенвдм" образом повышают потенциальную ценность. деятельности Оп.для автоматизированного проектирования,выявил, что система 5(7, к). открыта для развития,повышающего качественные, и количественные характеристики проектирования, при дости-. нения целей Ц1-ЦЗ. ,

Опыт разработок. САПР ТП привел к идее эволюционного развития

систематизации Б(Т,0 при переходе от вСЫ,Ъ) к 3((3д).Вста! вопрос об очередном шаге эволюционного развития Б(ТЛ) и форме систематизации,воплощающей развитие.

Так как модель ИМ(Ъ) среда и объектов проектирования в САПР РЭА в общем случае,объединяет в единое целое модели и формальны! представления различной природы,что не позволяет связать их един* формальной теорией,тем более учитывающей эволюционное развитие,б; ло принято решение использовать для очередного шага систематизац Б(ТД) теорию ТйШ содержательно-эволюционного типа.Содержател но-эволюционная теория - это развиваемая по ходу ее построен 'система б(Ттекстов Т,каждый из которых,начиная с исходно состояния эСТЛо) присоединяется к б(Т,1) .только при наличии оси ваний {обоснований,аргументации).которые также включаются в сист ну Б(ТЛ). V ,,

1 При построениях Б(Т,0 в формах Th(t) акцент систематизадо переносится на конструктивное построение;и использование пониме ния проектировщика в его работе, с проектными решениями.Штт этот акцент порождения и систематизации Б(Т) был положен в осно! сущности диссертационной работы,ч;то позволило сформулировать о< новную задачу исследований: ; /

г . Разработать и исследовать, ^ибтему в(Вп) понятийной . деятельности Б11.проектировщика,обеспечивающую по ходу автоматизированного проектирования оперативное построение и использование информационной модели ИМШ среды, и.-объекта проектирования.Деятельность 0П должна осуществляться в формах автоматизированного порождения;'- регистрации,исследования,обработки, систематизации и использования проектяых.'докуыентов Б(Т,Ъ), включающих описание системы решений .3(ПР, О , прщяпп в среде САПР.Модель Ш(Ъ). должна овеществляться.Б взд'е базь знаний БЗ, содержимое которой включает содержательно-эволюционную теорию ТЪСЬ) процесса проектирования,построенную по ходу работы над-конкретным техническим, задание« ТЗ. В структурах должны синтезироваться в единое целое содержат;: ТЗ.необходимые подели.и нормативно-справочная информация,информационные представлена • приюшазкьк.- решений,результат; проектирования .и проектные процедуры.Модель ЕМ Ш доглк быть открыта для. диалогового доступа,проведения эксперименте с ее составляющими и эволюционного..развития до состояния,вкл чающего разработанный проект.

Решение ..задачи позволяет конструктивно и, управляемо ввести в роектировочную' деятельность 0 понятийную составляющую 0П,согласованную с достижением целей Ц1-Ц8,что приводит к определенной тратегии проектирования.Стратегия применима к разработке онкретной САПР,по ходу которой строится ее теория ТЬ0(Ь) и мо~ ' .ель ИМ0(Ъ).Любое конкретное применение САПР,в структурах которой редставлена ИМ (Ъ),а значит и "П10(Ъ).развивает САПР за счет :остроения теории ТЦШ этого применения,то есть теории ТЦ(Ь) юнкретного процесса проектирования.На построение ТЬ^(Ь) оказыза->т воздействие два источника проектных решений - доработки САПР и. [роектирование конкретного объекта.

Таким образсЗм, применение БЬг. к совокупности технических зг-даний ТЗ^ приводит к построениям теорий {ТЬ^(Ъ)},эзолюционио разитс-31дих ТйоШ до состояния

1Ъ(Ь) = ТЬ0(Ъ)и{ и ТЪ1СЬ)}, (4)

тредставлякяцего. САПР с учетом работ,уже выполнении:: а »з ср-5!,а. Последовательное применение стратегии приводи? к построениям специфической системы автоматизированного проектирования 5(Р,0П}, : разработкой к применением которой в исследованиях свяггао понятие "содержательно -эволюционный подход" к проектным решениям а ЗАПР.что и определило'название темы диссертационной работы.

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

использование системного подхода к проводимой им понятийной деятельности", выделяющего в процессе проектирования систему 8(0п)*"с учетом ее. структуры и связности с другими составляющая процесса;

- применение деятельностного подхода в.его. -откоиониях к Б(0П) как к .объекту метадеятельности,версию которого он должен построить в определенной инструментальной.среде и в соответствии с определенными нормативами;.'•",

- использование генетического подхода к продукту деятельности 0П, эволюционно развивающему содержимое модели ИМ(0 в соотзетстс-ии с теорией Ъ).

Применение содержательно—эволюционного подхода заключается в управляемой комбинаторике системного,деятельностного и генетического подходов в их применении,к активному информационному взаимодействию проектировщика с моделью ИМ(Ь) среды и объекта проектирования. Особое место в информационном взаимодействии проектироЕщи-

ка с ИМ^) содержательно-эволюционный подход отводит действиям проектировщика по развитию составляющих (рис.1).

■ Задаче г в исследованиях приписан статус технического "задания 73, к которому применяется содержательно-эволюционный подход с целью построения теории Т!1ии) как теории процесса и результата проектирования система Б(Пп) и,в частности,построения системы инструментальных средств,обслуживающих деятельность ,приводящую г..построению Ш.КЬ).Так как разработка Б(0П> нацелена на построения теорий типа ТЬШ.то допускает ее интерпретации как мета-

теории и как "образец" теорий типа ТЬШ.

Оснокиып вопросами,извлекаемыми из текста г .следует признать йопрссы об основных объектах системы ТЬМ(Ъ) - "вопросе"."ответе" .. "теории ТЬ(Ъ)". Принципиальны вопросы о конструктивных механизмах извлечения вопросов § из текстов Т, целенаправленном поиске ответов А и их конструктивном встраивании в теорию ТЬШ.

Первая глава .завершается анализом "фронта исследований",соответствующего выделенным вопросам,в результате чего выявляется вопрос об интегрирующей ' основе' исследований,что связывается . с построением специального языка Ь и) теории ТМО, предназначенного' для конструктивного определения и представлений спецификаций области проектирования, процесса'и объекта проектирования.'. Во второй главе • конструктивно вводятся и исследуются метода и средства формирования и применения понятий в процессе проектирования. Основу этих средств определяет лотеко-лингвпстическое обеспе- . чение теории Тв^),вложенное в язык I .Предложение ПП языка • I выполняет функции базовой единицы взаимодействия проектиров- ; щика сфиксирующей факт существования в ¡ми) объектов среды проектирования;развивающей структуру и информационное содержимое йМ(и; выявляющей вопросные ситуации Ц( ъ), требующие1 ответной реакции проектировщика. Вводится интерпретации понятия Нг о классе К£ объектов используемых проектировщиком, в форме содержательно-эволюционной теорий ТЬМГ(Ъ).предназначенной для выявления и обоснованного выражения фактов существования в Ш(Ъ).Формулируются основные требования к языку 1*г(1.) теории И1ИГ(Ь) .Намечается подход к синтезу теории Т^Ш- ШЪМГШ систеш понятий 2Ш,Ь)<о среде и объекте проектирования "и синтезу языка С5=0 как языка теории Т11к_(1),что позволяет назвать Ь (Ь) языком понятий.Язык поня-

«I ...

тий Ь (Ъ) отождествляется с язьщом теории ТМЪ)» состав, которой

С0Д£Р1АТЕЛЫ!0-ЗВ0/ЩЙ0ШШЯ ТЕОРИЯ Th(t) +

с а с т Е M й S(I.t) +ûS(I,t) s а р я 8 я 3 Е а

с .И С Т Е а SCd.t) + ûSCd.t)

ЯОКЗНЕНТЙЦИЯ StT) +ÄSCT) ' Sínp.t) +л5(ПРД)

И H т Е Р 0 Е Я С А й с й _ с т Е 9 Й П . О H 3 Т И Я S(H.t) +ûS(H,t) Й я V, 1 к О !( Б й ¡I Й т О Р и к ft

1 п л 0 Г ft С И С т Е SCBA.t) + аВСБДЛ) ft Б ft 3 Д ft H H H X

S(P,U +ûSCP,t)

С И С T Е а Й ПРО Ц £ Д Ч Р

1 ПРОЕКТИРОВЩИК

• Рис Л. йифориационная зоделъ среда и обгшста проектирования.

включается ThN(t).

Теория ThN(t) обеспечивает решение задач классифицирования в процессе взаимодействия проектировщика с HM(t).Исходя 4из такой нагрузки предлагается версия K(t) . организации HM(t),объектная структура которой определяется .системой

Wit)=S([pbj})-S({ и Vi(Kr),U1,Mjk(0bj)}), (.5) где V^(N) - представление варианта употребления, понятия .^.соответствующего проявлению объекта Obj в условиях Uj через модель Mjk<0bj).Со структуризацией (5) связывается рабочее понятие "мир проектирования'W(t)",позволяющее применять аналогии.с окружающим, миром,в том числе для выбора строя языка L (t) и его спецификаций. Для представления V^N) средствами языка L (t) используется модель семиотической определенности,подобная модели типа"семиотический треугольник" .Различаются, ситуативное УС|-(Nj.) употребление понятия ^.находящее евое проявление в конкретном месте текста Т,используемого проектировщиком, и его нормативное VH ^(Nr) отображение на систему языка L (t).Ситуативное выражение VCj(Nr) связывается с соответствующим предложением ПП языка L, (t),констатирующим конкретный факт существования и его адекватность . ситуации; St употребления Vе^(Nj.).

Формулируется задача оценки адекватности,в основу которой положен феномен предикации в его проявлениях при использовании проектировщиком естественно-профессионального языка. Процесс' предикации я(ПП ) нацеливается на логику решения задачи,согласно которой Vе (Ю,еще не прошедшее проверки на адекватность,и предложение ПП .содержащее V°(H) и,следовательно,также не прошедшее проверки (представляющее собой не более чем замысел ПП) вступают во взаимодействие с нормативами языка t,.(t).Положительный результат взаимодействия утверждает ПП и подтверждает адекватность VC(N),в общем ' случае развивая L (t).Отрицательный результат фиксирует вопросную ситуацию Q и выполняет функции конструктивной : предпосылки соответствующего вопроса (запроса к HM(t)h

Требования к процессу п(ПП ) используются для формировавши -требований и спецификаций .языка L*(t).В первую очередь производится определение предложений :'ПП ■,учитывающее структурно-семантический, логический .коммуникативный и-синтаксический аспекты. Предложение ПП строится как. субъектно-предикатная модель СПМ, субъектно-предикатная, форма СПФ .которой . приближена к формам, используемым в логике предикатов,и учитывает с помощью ассоциатив-

ной составляющей АС контекст,то.есть .

<СПМ >: :=<СПФ>.<ЛС>. (6)

Конструкция СПФ предназначена для регистрации элементарных фактов и ее составляющие ПР-предикат,СБ-субъект и ОБ-объект подобны одноместным и .двухместным предикатам

<СТ1Ф>: :-<ПР>(<СБ>)1<ПР>( <СБ>, <0Б>), (7) '

где СБ - составляющая предложения ГОТ .называющая тот объект ОЬ^.на котором сосредоточено внимание проектировщика;СБ - элемент ПП , указывающий на объект О^.с которым ОЬ^ вступает'в отно'ление; ПР - составляющая ПП , называющая свойство объекта 01^ или отношение между ОЬ^ и ОЬ-.

Выбор-предикатной формы СПМ обусловлен учетом тзвдпицж" иор-зноса опыта из предметной области Щ и ЭС в САПР,р. сост.-в г-угопнх входят:

- ориентация на использование моделей принятия црез^ют реке-ний в форме экспертной системы;

- предпочтение реляционным схемам БД.которсз стл^-'.сп в разработках ИО САПР.

* ф,

В оценках достоверности ПП различаются и используются состояния и интерпретации СПМ до проверки адекватности а посл--? .т^оис-гкл.Для теории ТЬ( Ь) принципиальйа интерпретация СШ£ « г.рда ждагезстк-ческого уравнения (ЛУ),решение которого вводит в процесс проектирования, а также в состав языка I (О и систейу аргументированную версию варианта ¥Н(Ю понятия К,исходному ситуативному употреблению УСШ 'которого ставится в соответствие гоня?;;» лингвистической неизвестной (переменной) X. Под лингвистическим уравнением .

л(ПП*(X)) = У°(Н) " (8)

в работе понимается замысел (исходное состояние записи) предложения ПП , в котором по крайней мере одно понятие X используется в роли' лингвистической переменной.В работе исследованы лингвистические уравнения с одной лингвистической переменной, представляющей в записи ПП любую из его составляющих ПР-.СБ или ОБ."' ' Процесс решения уравнения (8) осуществляется как процесс предикации гг(ПП ((X)) с подстановки УН^(Ю з уравнение ПП (X). на "место", занятое знаковым выражением X в ПП ,что,в зависимости- от "конкуренции" слов, составляющих X и У11^(И) .приводит к результатам

0. ■ 5 > 5*,

п(пп'ш) = ганю, ^ 4 5-5<з*, ( 9 )

тнюйа'+дь*) 5—д < 5 *,

где б - рассогласование,характеризующее допустимую степень семиотической неопределенности,0 - вопрос,а ситуативное аХ и нормативное аМ семиотические рассогласования определяются выражениями гХ <= Х/(Х п Уаг^Ю) = (гх1}, ( 10 )

зК = Уаг1(Ы)/(Х.п Уаг^Ю) = {а^], г = ' зХ и 5 N,

на множествах элементарных семиотических рассогласований {гХ^} и [¿К-}.Рассогласования подсказывают проектировщику возможное

упущенное,а рассогласования «Х^ являются потенциальным источником знакового "сырья" для развития языка Ь (Д),а значит и ИЫ(Ъ).Выявленные рассогласования осознаются,оцениваются (в категориях существенного и несущественного) и отрабатываются в соответствии с их типом так,чтобы достичь состояния семиотической определенности уаотребления понятия Н,замещающего X в ПП . • ■

Процесс решения лингвистического уравнения является конструктивной версией процесса предикации,подчиняющегося логике,сохраняющей варианты употребления понятий ,что позволило назвать ее логикой понятий. Разработанная логика понятий исходит из того.чтс конструктивная форма представления понятия N в.языке Ь (Ъ) обеспечивает эволюционное развитие содержания N - за' счет аддитквногс

встраивания в понятие .(и в ¡'М(^) существенных элементарны;

£

рассогласований аХ- любого типа. Логика понятии относится к классу практических логик.Ее правила 1 механизмы, согласованы с логикой предикатов, первого порядка, выполняющей функции'дополнительной логики.Логика предикатов расшпряе логику понятий и позволяет осуществить конструктивный выход на ка тегории истинности,определимости {{'логического следования.Согласо вани'е обеспечивается за счет отождествления функции приписывай!: £(знаковое выражение).приписывающей значение выражению в скобках, действиями в процессе решения лингвистического уравнения. Приписывание в процессе предикации позволяет .перейти к традкцио£ ному для категории "истинность" утверждению "Предложение ПП- ист: но в возможной реализации М относительно приписывания или

символической записи

М . ПП *: ( И )

В общем случае допускается, что исследуемое предложение иохот быть истинным в. некотором, множестве возможных реализаций. [1-!^} Для упрощения толкования такой ситуации,использовано - поняти "предложение ПП выполнимо в возможной реализации М ( ил

* r *

сокращенно. Вып(ПП. , .М)).Предложение ПП выполнимо а возможной реализации ' М, если и только если существует такое приписывание," что ПП истинно в М при f, то есть

. Вып (ПП*,М) =?{М --> ПП*}. (12)

Истинность в некотором множестве реализаций {'.»¡J фиксируется символически формулой

.[Вып (ПП.М)} =2>{М £-> ПП*}, i = 1,1, ( 13 )

где - fi соответствующие проводимым (или проведенным) истинностным оценкам функции приписывания.

Понятие выполнимости позволяет строго логически t руцпмросать к систематизировать совокупности предложений ПП ^,испо-ьдуя для этих целей понятия модели MOD и теории Th.Каждая возможна,! реализация , выделяемая определенным предложением ПП ., >.<ли созокул-ность согласованных лруг с другом вогможшаг рег/.и^аци/- '-'-•П'^ j является некоторой моделью КОД определенного мн^ес.-ьз простых

предложений [ПП „} , то есть

к * * *

M0D»{?.f |у ПП 1(ПП £ {ПП L}> => Вглт<1Ш . { 1-1 )

За конкретный wicsecTBOU моделей { l.'OD^} сто".г ••глгд.* ^»мдстгп а проектные реализации-, вовлеченные з конкретней rjj-'-»>ff'»,,o-

вания.

Возможная реализация не единственной критерий 'группирования предложений.В том случае,когда группирование .почгзоляэт .проводить вывода в системе Б(ПП ) предложений,такой системе ставится в соответствие теория Th (t) .допускающая ее вютленке в состав Tb.'t). Необходимость реализация связей единиц в !''•':( t) с ппчощь.ю языка понятий L (Ъ) и его логики приводит к задачп щ>о/1стзмстя листан понятий S(N,t) в IM(t).решение которой сулйстоепг.ык о-'фззом зависит от организации K?,!(t).Ha базе объектно-ориентированного подхода построено решение, согласно которому ьсе обгскты мира W(t)=ffiJ(t) строятся по типовой схеме понятия,что послужило причиной назвать их поиятийпо-кгантовими объектами. Для работы с понятийно-квантовыми объектами разработан -л исследован .специальный кнструкектгрий,обеспечивающий:

- доступ в любую "точку" понятийно-квантового'объекта Ob;

- установление фактов связности объектов ;

- переходы между связанными понятийно-квантовыми объектами;

- развитие и модификацию объектов.

Б основу инструментария положено представление системы понятий в виде семантической сети специфического типа,структуризация которой ■

обусловлена семантической схемой понятия.Семантическая.сеть системы понятий обеспечивает связность составляющих ИМ(0', позволяющую проводить семантический контроль запросов к ).

Принципиальная роль в построениях и использовании семантической сети отводится классификациям и классифицированию.Семантическая сеть является распределенной системой Б(К^) классификаций К,открытой для оперативного развития проектировщиком.Используя такую возможность,проектировщик в состоянии улучшать характеристики доступа к ИМ(Ъ) по быстродействию.По этой причине в работе исследуется интерактивное классифицирование .в его приложении к взаимодействию проектировщика с ИМ(Ъ).По результатам исследований разработан комплекс методов и средств интерактивного классифицирования, получивший название "КЛИА".

Применение понятийно-квантовых объектов в САПР ТМ для представления исследуемой микропроцессорной схемы,единиц микропроцессорных комплектов и базовых элементов их внутренней структуры существенно упростило введение в библиотеки информации о новых элементах и позволило проектировщику формулировать запросы к ИМЦ) в привычных для него терминах.Практика показала,что вносимая таким представлением классификационная схема БДП существенно (в среднем на 30%) улучшает характеристики доступа по быстродействию. -

Глава завершается анализом вопросно-ответной структуры-ее содержания. Утверждается, что . язык- I (О удовлетворяет требованиям, предъявляемым к языку содержательно-эволюционных теорий ТЬ(Ъ), на основании чего язык Ь (О включается в состав .Утвержда-

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

В третьей главе.определяется структура содержательно-эволюционной теории "ШО процесса проектирования.Построения ТМО ориентируются на традиционные требования к: структуре теории (выделяютс! язык теории.аксиомы и правила вывода истинных высказываний)¡мета-теоретическому обеспечению (предъявляются гносеологические,логические, методологические, философские и семиотические основания обоснования);стратегиям пострЬения,применения и развития тео рии;процедурам проверки (принадлежности слов словарю теории,син таксической-и семантической правильности,применимости теории в оп ределенных условиях). .

В первую очередь предлагается метод построения,применения' и раз

ития Тй(Ь),названный "методом системного приращения знаний". |бобщенная схема метода представлена на рис.2. . Процесс формирования ТЬШ структурирован. Его очередной шаг осу-(ествляется в процессе взаимодействия проектировщика с определений текстовой единицей Т^,входящей в текущее состояние проектных (окументов 3(Т,Ъ|).Открыты следующие формы взаимодействия с •екстом Т^:наблюдение Т^ на экране дисплея¡предикативная обработка аргументация (обоснования) текста ^¡экспериментирование в сре-;е САПР,инициированное ^¡комбинаторика форм взаимодействия. Каждая из форм взаимодействия нацелена на решение определенной $адачи,вносящей: определенный • вклад в построения и применения [ЪШ.Особо принципиальна роль предикативной обработки,в процессе которой осуществляются:' подготовка Т^ к оценкам семиотической определенности . согласованная оценка семиотической определенности формирование ситуативных вариантов употребления понятий, ■ развитие* языка I (t) и системы' понятий БСЙ.О, развитие системы классификаций, выявление вопросных ситуаций и их представление текстами вопросов 0); формирование, предикатных описаний ( условий и! употребления вариантов понятий, исследуемого текста Т^).

В основу развития теории ШЬ) положен принцип аддитивности развития:

теория ТЪШ «составляется из приращений дТЪСО.каждое из которых Д^ТЩЪ^) встраивается в текущее состояние ТЬ(и) аддитивно,с помощью операции.объединения

ТШ1+1) = ТЬ(^) и Д1ТЪ(11+1) (15)

и не изменяет структурных связей той части ТЬи1+1), которая соответствует ТЬ{ ). . Принцип аддитивности развития выражает релевантное следование в его приложении к построению теории "ШО.Его деятельностное содержание соответствует методу пошаговой детализации..

В основе построений ТЬ(1;) .учитывающих ее принадлежность к классу содержательно-эволюционных теорий,лежит фазовая структура ее содержимого , которая включает: . язык Ь,используемый для построения, применения и развития . теории на всех этапах ее становления; дотеоретическую фазу,состоящую из множества фактов,систематизация которых отсутствует; описательную фазу¡классификационную фазу ¡идентификационно-измерительную фазу; формальную фазу,фиксирующую различные типы представлений,построенных как формальные теории ■ ' Еще одним источником структуризации теории ТЫ О является ее

даорййцшш-линшсшЕсш' ПОДДЕРШ..

оРйс.2. Метод системного приращения знаний.

юмштекскрование из теорий типа Тй( О, каждая из которых представ-гяет соответствующую задачу или. подзадачу ' прэенткрованк. В таком сомплекспровании различаются:система задач йКг) .соответствующая заботе по конкретному ТЗ.и система Б2(г) задач,инвариантных к ТЗ и определяющих понятийную деятельность над проектом.Содсржзтель-то-эволюционный подход исходит из того,что для каждой задача г, , лринадлекащей (г) .проектировщик строят теорию Т5цШ,сог.жуп-ность которых аддитивна по построению,то есть ТлСЪ) - и Т;!,(1),ко сохраняет отношения между задачами и подзадачами системы 51(п). Система 32(г) соответствует типовым задачам понятийной деятельности проектировщика в процессах построения и приканэкий тесргй типа ТЬ(Ь).Такие задачи распределены по классам,по нсждсг,- из которых в любой задаче г^ проектировщик строит соответствуй^;./) часть теории ТЬ^(Ъ).

•Первый класс инвариантных задач составляют задачи пссгп-геиия и применения понятий N и их систем 5(М,1).Лля этого класс? задач разработана теория системы понятий ТЬ^СЬ) г= и ТЬ*ЧГ(Ь) гд-,-ггш5-ная совокупность теорий ТПКГ(Ь) конкретных понят-й «... Теория - это теория

Т11Г'Г(Ъ)={ {ПП4]}я<:ПП^СХ)=\^ СЫГ) => ЗыпСПП* ,М=Н ■; 16) понятия иг о классе К3 множества моделей {М<),? рзбстах с (к над) которыми накапливаются факты Щ /.выполняющие роль ексио«. Множество аксиом и теорем в теории ТЬ1*^) совпадает.Роль прязила вывода выполняет конструктивная предикация тг(ПП (Х)).Дгя теории системы понятий ТЬМШ действия с классификациями расширяются до возможностей применения 1з-а вывода и рагЧ-оГ вьгзода.в основе ко-, торых лежит наследование и агрегация.

Второй класс инвариантных задач определяют построения и пр;шене-¿нип описаний моделей Неиспользуемых проектировщиком,в основе которых лежит следующий критерии оценка существования:

модель существует и ее описание Т^ (проведено) адекватно, если оценка семиотической определенности существенных понятий проведена согласованно и степень семиотической определенности исследованных понятий достаточна. Для обеспечения согласованности оценок предлагается использовать результат подготовки текста Т^ к предикативной обработке,оформляемый в виде структуры

{пп\,к2, (17)

ПРТ = {ПРТ^иПП^

в процессе грамматико-логического и комбинаторно-классификационного разборов ^.Согласованность понятий сохраняется в протоколах разбора ПРТ^к([ППдк ,чг,ППцк}),связывающих простые предложения ППу^,выделенные разбором в Тк,маркерами вопросйтельных слов Каждому источнику предикации типа ПЛ разбор ставит в соответствие предложение ПП языка Ь (Ъ). Применение критерия предполагает абстрагирование от вопросительных слов и переход от каждого из протоколов ПРТ^ к совокупности импликаций типа

<" ГШ1зк- ПП^к..... ПП.ик' ■ (18> '

каждая из которых,регистрируя следствие,открыта для использования

ее в правилах вывода теории модели М^ - . ' •• '

Тп^(Ь)={{ПП1}^ПП1 {СПП^ е Т*к). => ВыпСПП^.мр}, (19)

аддитивная совокупность которых приводит к теории системы моделей

•тиШ= и т^и).. . . (20)

Теории ТЬ^(0 приводит к описанию модели М^ в форме ,от которой достаточно легко перейти к предикатному представлению . Тпк текста Т^.тождественному, прикладной первопорядковой теории ТЬП(М^1;) модели М^.С таким использованием теории ThMj(t) связывается ее применение для развития ТИ(Ь) за счет включения в-ее состав'теории "ТЬП(М.,О.совокупность которых образует теорию ' .

' 7йииЬ и ТЬп(Му,Ь), ' (21)

открывающую проектировщику доступ к мощным средствам первопорядковой логики,в том числе к ее применениям в экспертных системах/.

Еще один класс инвариантных задач, определяет построение и применение вопросно-ответных структур проектных документов.Для работ с такими структурами в главе определены их основные единицы - . "вопрос" и "ответ",а также их отношения с конструктом "теория ТЫи.-

Функциональная нагрузка конструкта "вопрос." связывается с. указа-' кием на направление развития теории Т1г(Ю,а его предпосылки с результатом предикативной, обработки (и представления) текста, .Т вопроса 0 а виде ; , '• ■ ■ .

<3 = и и <— и ( «у.ГОТ'р (22) . •'•

где элементарные семиотические рассогласования,выявленные в процессах предикации предложений типа ПП . -. .■"-.-' В основу построений конструкта "ответ".положены два правила: -

- правило вывода (18),которое позволяет проводить синтез сложных предложений П ответа А; ...■'.'..:

- правило конструктивной аргументации типа

так как (V-аргументы мотива действий) (23)

то {поскольку (W-аргументы цели действий),-То {если (U-аргументы условия действий),

то аргументированно утверждается факт ПП }}, которое структурирует аргументы в пользу факта ПП*.

Для представления отношения целостности совокупности вопросно-ответных ' единиц,используемых- при решении задачи z,K введено понятие вопросно-ответного единства QA^t) ,на элементах которого . действуют естественные (обусловленные ходом проектирования) причинно-слеДственные отношения,применения которых выводят на теорию

îh0A(t) = U ThQ\(t), ■• (24)

.систематизирующую текстовые единицы,входящие- в единства типа QA(t). ' В состав правил вывода теории Th0*(t)BKmo4eHU отношения: .- для любого вопроса,сводимого к подчиненным вопросам,справедливо

"■ V"7Qil'Qj2.....V (25)

- для любого ответа (в том числе гипотезы,утверждения или предписания) справедливо (26)

Aj <— Qj ;

- для любого составного ответа справедливо

Aj <~ AJl'Aj2.....V (27)

для состояния любой единицы Tjiti 3 в-любой момент времени t^

справедливо

.' .Tjttj) <— Tjit^jJ.Tjitj.g)_____VV- (28)

где моменты времени fc^.t^, -. • ,tj предшествуют fc^.

На основе схемы аргументации (типовой аргументационной формы AF) V => (Я => ( U => А <= В)) (29)

-представляющей модифицированную версию схемы (23),в которой ПП заменено на общую форму ответа А и добавлено "если не В" строится сеть аргументации,связывающая тексты Т^,используемые в вопросно-ответном единстве QA^it) - .Сеть текстов [Т^} с правилом вывода на базе правила (29) интерпретируется как содержательно-эволюционная теория.ThArjj(t),совокупность которых

ThAF(t) U Th^y t) (30)

включается в состав теории Th(t).Теория Th (Ъ) содержит проектные решения,ьформлзянне в зиде продукций,что облегчает переход к представлению, обеспечивающему их применение по образцу экспертных систем. '".-'■•

Теории Th*(t),ThMM(t),Thn(t),Th0A(t) м ThAP(t) взаимосвязаны,Их аддитивная совокупность ■

Th(t)=Th"(t)UTh,<(t)UTh(t)UTh0A'(t)UThAr(t) (31).

используется для конструктивного определения теории Th(t) процесса . проектирования.

- В четвертой главе представляются и и.сследуются коммуникативные , отношения проектировщика с моделью HM(t).Вводится понятие;системы SCI,t) интерфейсов I.обслуживающих реализацию коммуникативных . от-: ношений проектировщиком.Под конкретным интерфейсом понимается обеспечение на экране дисплея визуализированного представления : конкретной составляющей sMM(t) 'модели' UM(t).-.' Исследования коммуникативных отношений нацелены .на разработку системы управления интерфейсом Sil)',позволяющей проектировщику оперативно строить и модифицировать систему интерфейсов S(I,t), структурирующую содержимое HM(t),исходя'из задачи визуализации ее составляющих гйМ(Ь).Роль типовой единицы структуризации (и , коммуникации) возлагается на проектное решение ПР,которое должно быть представлено на экране в аргументированной•и семиотически определенной форме.Для исследований коммуникации на уровне единиц обмена типа "визуализируемое представление проектного ,решения", введено рабочее понятие „ "человеке-"человеко-компьютерный". диалог" и соответствующая этому понятию модель проектировщика-эксперта lffl(t) в составе HM(t).' . ,•' .

Методы и средства построения Б(Г,t) специфицируются' исходя из эволюционного развития системы управления диалогом S(d) до системы управления интерфейсом S(I).Представляется система управления диалогом "ИДА" (Инструментарий . Диалога и Адаптации),версия которого встроена в САПР ТМ.Особое внимание"уделяется:задачам выбора,' типов диалога и. комбинаторики' типов -.аналогиям .между ■ системой S(d) и системами управления базами данных¡экспертным знаниям о диалоге и их применениям в процессах, -проектирования, диалоговых систем .Представляется применение управления диалогом в системе поиска дефектов микропроцессорных' схем.методом сигнатурного анализа ,эффективность которой . подтвераденавнедрениями; .'на.-- двух предприятиях.Существенная ■ часть исследований и разработок систем управления диалогом выполнена автором совместно с Ярущкиной R.T, В разработках S(I) различаются концептуальный и предметный уровни. В основу построений и применения интерфейсов на концептуальном уровне положена реализация определений понятий N .ибйользу-Чмых проектировщиком в HM(t) .Обосновывается решение такой задач; •■а базе гипермедиа технологий.Особое место отводится ведению тол

нового словаря .соответствующего системе понятий S(N,t).

Средства предметного уровня специфицируются исходя из реализации интерфейсных представлений для любых выделенных в HM(t) структур данных и/или процедур,реализующих проектное решение.

В разработках SC I) для структуризации экранных форм выбрана фор- ■ ма,получившая название "операционная обстановка". Операционная обстановка 00 - это овеществленная на экране дисплея знаковая модель конкретного положения дел в процессе проектирования, ориентированная на применение проектировщиком опыта. Обстановка 00,в общем случае,визуализирует группу проектных решений,подчиненных задаче выбора.Схема реализации 00 опирается на аргументационные формы типа AF.Система S(00) тождественна системе интерфейсов S(I,t) и является ее формой,вводящей в S (I,t) деятельностную структуризацию,что позволяет связать с- S(00) понятие операционной среды 0C=S(00).Обосновывается решение задачи структуризации с помощью графовой'модели ОС и 00 и гипермедиа технологии.

Узлу графа 00 ставится в соответствие "окно" в HM(t),THn и информационное содержимое которого зависит от визуализируемого окном фрагмента а ИМ(t) модели ИМ(fc).Независимо от типа окна оно ■ конструируется как семиотически определенный■знак,включающий план выражения и план содержания.Различаются физическое и логическое "представления плана выражения_окна.Физическое представление отражает -структуру окна в памяти, как записи файла и строится по образцу физической структуры записей БД,управляемых СУБД.В такой записи выделяются служебная и информационная части,на поля которых накладывается определенная нагрузка,в том числе по связыванию окон в комплексы типа 00.Логическое представление окна выражает его структуризацию на экране дисплея и согласовано с визуализируемым фрагментом ИМШ.В этом плане различаются визуализация текстовых единиц HM(t),a также моделей Mik типа структур данных,процедур и их связей,в том числе по управлению.Исходя из логики плана выражения окна выбираются базовые 'средства системы управления интерфейсом.

.Разработаны две реализации системы управления интерфейсом,получившие названия "ДОРА" и "КОНДОР" (предшествующая версия "КОКОС"). Обе системы относятся к категории инструментальных,позволяющих проектировщику .-во-первых,создавать файлы S(I,t) и строить на их основе гипермедиа комплексы,визуализирующие проектные решения¡во-вторых, включать эти комплексы в состав средств САПР.Каждая из

so

.систем специализирована хотя и допускает ее эмуляцию средствами другой системы.

Система "ДОРА" ориентирована на визуализацию текстовых составляющих модели HM(t) и их использование для оценок существования на концептуальном уровне.Основой визуализируемого файла в "ДОРЕ" служит окно-страница,открытое для скроллинга.Система обладает мощными и эффективными средствами конструирования и. редактирования страниц и их совокупностей.Файл создается страница за страницей, причем геометрическая атрибутика и цвет каждой страницы независимы. Связность страниц редактируется и обеспечивается с помощь» индекс-слов.которые выделяются в тексте цветом.Индекс-слова открыты для тематической расцветки и инициируют переходы к текстовые графическим или процедурным единицам модели KM(t).Лредставленш страниц на экране открыты для листания,мультэффекта и динамических перемещений по полю экрана.На физическом уровне представлена файл страниц-' допускает программируемый ввод/вывод,использущш либо относительную адресацию на странице,номер которой задан,либ< адресацию (номер страницы,индекс-слово).

Система "ДОРА" совместно со средствами формирования системы пон тий S(H,t) образует среду для построения машинных толковых слое рей САПР.Система незаменима при введении-в САПР-процессы .HELP-и формации и средств обучения.На основе системы "ДОРА" построены р толковых словарей и автоматизированная обучающая система по те "Комбинаторика переборов".внедренных, в учебный процесс в Ул яновском политехническом институте. Система "КОНДОР" предназначена для визуализации предмет! составляющих MM(t).Система "КОНДОР" построена на основе систе интерфейсов So(I,t), выполняющей . функции ядра системы 8(1). системы интерфейсов S(I,t), конструируемой на ее базе,что п] доставляет проектировщику возможность работы в ■двух параллелу процессах — процессе продолжающегося конструирования (модифи: ции,развития) интерфейса и процессе его использования .Систем: файл SQ(I,t), управляющий интерфейсом в S(I),и конструируемые ф лы S(I,t) имеют один тип. Проектировщику предоставляются* мощные средства для макетиро ния и управления

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

определенной операционной обстановке 00^.Явная связность .осуществляемая с помощью ссылок-,используется для визуализации выбора и переходов' между окнами и операционными обстановками.Динамика переходов программируется на базе.специального языка манипулирования интерфейсом LM(I).согласованного с языком определения интерфейса L°(I).Спецификации языков LM(I) и L°(I) строились на аналогиях с языками определения и манипулирования данными в СУБД и доведены до уровня их алгоритмического использования на уровне сборочного программирования (проектирования) в среде MS DOS и в программных средах на языке СИ.

Системы "ДОРА" и "КОНДОР" легко комплексируются,взаимно дополняя друг друга в приложениях,что существенно повышает мощность управления интерфейсом при взаимодействии проектировщика с HM(t),B том числе в процессе управляемой комбинаторики составляющими HM(t) в сборочном проектировании.Системы не только вводят проектировщика в гипермедиа представления MM(t),HO и позволяют ему осуществить экспериментирование в HM(t).связывая исследуемые составляющие Hii(t) и оценивая результат сборки (как принятое решение) по ее испытаниям.

В пятой главе представляется система S(Dn) понятийной деятельности Dn,обеспечивающая построение информационной модели САПР и объекта проектирования на основе содержательно-эволюционного подхода .Оценивается эффективность от включения S(Dn) в САПР, приводящего к . построению специфической нормативно-ценностной системе SCD^D)' автоматизированного проектирования D.

Построения S(D,Dn) как н.ормативнно-ценностной системы (НДС) деятельности различают: -.ценностный компонент ( взаимосвязанную совокупность проектировочной деятельности D,входящей в ее состав деятельности D11,теории Th(t), проекта как продукта деятельности D и других приложений теории Th(t).построенных по ходу D); правила деятельности ( нормативы,обслуживающие построение теории Th(t),a значит и модели ffil(t), методом системного прирашения знаний,а также обеспечивающие комплексирование Dn с остальными, составляющими D)¡технические параметры субъектов деятельности,поскольку это система коллективной практической деятельности (учитывающая коммуникацию проектировщиков с ИМ(t)).

В обоснованиях рациональности внедрения системы S(D,Dn) в практику автоматизации проектирования: - утверждается,что определенный набор ценностей,соответствующих

целям Ц1-Ц8 (содержание которых раскрыто выше) отрабатывается практически в любой комплексной САПР с интегрированными ресурсами;

- показывается,что в S(D,Dn) отработка целей Ц1-Ц8 осуществляется комплексно,в полном наборе и системных позиций;

- доказывается,что система целей Ц1-Ц8 достигается эффективно (эффективнее,чем в тех случаях,когда их отработка осуществляется другими известными методами и средствами);

- предлагаются средства комплексирования S(Dn) и САПР не требующие от проектировщика (коллектива проектировщиков) существенных изменений привычной практики проектирования (содержательно-эволюционный подход,соответствующая ему технология и инструментарий естественно развивают привычную практику).

Выявляются основные источники эффективности:

1.Обеспечение понимания и взаимопонимания для проектирования существенно. Опираясь на известные средства САПР проектировщик не в состоянии без помощи профессионалов (по программированию и инженерии знаний) построить модель использованных им знаний и присоединить их к своим проектным решениям.Большая часть оперативных решений проектировщика остается без понятийной (в частности семиотической) поддержки,что снижает качество решений,и увеличивает стоимость и время проектирования. Предоставление проектировщику методов и средств для построения и присоединения к оперативным проектным решениям их обоснований и средств семиотической определенности повышает эффективность проектирования.

2 . Инструментальная поддержка верификации и тестирования проектных решений в САПР,особенно в ходе проектных работ, практически отсутствует,а их реализация требует высокой квалификации исполнителей, что существенно влияет на характеристики эффективности.' ■

В реализациях содержательно-эволюционного подхода такой контроль берет на себя построение и использование теории Th.(t) .характеристики целостности,адекватности и непротиворечивости которой переносятся на'состояние процесса проектирования.

З.В реализациях содержательно-эволюционного подхода существенная "роль отводится систематизации - проектировщик оперативно строит и использует системы Th(t), ST(t), Б(ПР,t), 's(Qh.t), S(N,t), S(P,t), Б(БД,t),S(d,t) и S(I,t).Многократное применение системных свойств положительно отражается на стоимости и времени проектирования.-

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

¡(Листов по инженерии знаний,что также положительно отражается на. зтоимости И времени проектирования.

Предлагается комплекс инструментальных средств .обеспечивающий тостроениа ИМ(Ъ) на основе содержательно-эволюционного подхода,получивший название "СИЛУЭТ". .

В систему "СИЛУЭТ" .версия комплексирования которой с САПР представлена на рис.3,входят подсистемы: ' .

1.УПРАВЛЕНИЕ - диалоговая интегрированная среда.открывающаяся с основного меню и предоставляющая проектировщику возможность для действий в соответствии с методом системного приращения зну-ний.

2.Подсистема "вика" (Working In Questions and Ansrcers-v,'Iqa) .с помощью подсистемы проектировщик оперативно вводит в ffii(t) текстовые единицы (z.Q.A.H (р и с) системы документов 5T(t),a тгтме аргументацию .вопросно-ответную структуризацию, времен:"-: ci откзжения между проектными документами (текстовыми единицами) STCtj.

3.Подсистема "ЛИНА" (Linguistic Into Nociinative Arfciviv-bIHA) обеспечивает-действий проектировщика,основанные на л'-ч>т/-сти- ■ ко,логике и представлении понятий N и их систем S(îi.t).

4.Подсистема КЖА (Классификатор ИнтерАктивный) ' пр$гн»з:{апена для построения систем классификаций S(K) и их иснользов- при построении рациональных "путей" доступа к инфоркпцив s системах баз данных 3(БД);в обслуживании классификационных распросоц в экспертных режимах доступа к проектным моделям (продукций) S(P).

5.Подсистема "КОКОС"(Конструктор ОКОнных интерфейсе? - последняя версия "КОНДОР") предназначена для оперативного построения систем интерфейсов S( I, t). связывающих йроо^тировщкка с проектными реаекиями в информационной модели ffiû(t) среды и объекта проектирования

6.Подсистема "ДОРА".обеспечивающая построение интерфейсов S(I,t) для гипермедиа связывания текстовых,графических и процедурных, единиц модели KM(t).

В подсистему встроен псевдографический редактор,позволяющий проектировщику, строить схемные наброски (рисунки в псевдографике) Я вводить их в систему оперативкой документации.Подсистема позволяет проектировщику подключить к процессам документирования графически]! редактор.' Система "СИЛУЭТ" допускает ее применение в средах РС-подобных персональных компьютеров. Языки реализации Турбо-СИ Турбо-ПРОЛОГ и КЛИГШЕР. Операционная среда M S DOS.

Рис.3, йрхитектура систены "СИЛУЭТ"

йсследованны возможности,предоставляемые системой СИЛУЭТ для ав-томатизированого обучения.Построена автоматизированная обучающая система по учебному курсу "Комбинаторика переборов".внедрённая в учебный процесс в Ульяновском политехническом институте. Разработана согласованная с системой СИЛУЭТ система КОРД,предназначенная для автоматизированного проектирования иерархически связанных систем реляционых баз данных.Методы и средства "СИЛУЭТА" .встроенные в "КОРД".применяются для проектирования концептуального представления баз данных.Для разбиения на отношения и согласования их с нормальными формами в "КОРД" встроены средства .реализации метода функциональных зависимостей и ЕИ-диаграмм.Язык запросов ориентирован на классификационную схему словаря-справоч-• ника.Исследования языка запросов проводились в диссертационной работе Евсеевой О.Н..защищенной на степень кандидата технических наук по специальности "Системы автоматизации проектирования".Система "КОРД" внедрена как в производство,так и в учебный процесс. Система "СИЛУЭТ" послужила основой кандидатской диссертационной работы Карповой И.Р. на тему "Исследование средств и методов продукционно-предикатного моделирования в процессах принятия решений" по специальности"Систёмы автоматизации проектирования".выполненной под руководством автора.Одним из практических результатов совместной работы является разработка экспертной системы по физическим-эффектам,объединенным в информационно-справочную систему изобретателя и рационализатора.

Детально представляются ПП "СИНТЕЗ".обеспечивающий проектирование контролирующих тестов для цифровых блоков,и САПР ТМ,разработка которой положила начало методам и средствам содержательно-эволюционного подхода. Специфику САПР ТМ определяют возможности: запланированного или оперативно-ситуативного вмешательства проектировщика в процесс синтеза ; анализа сложившейся в процессе синтеза ситуации •за счет диалогового доступа к текущему содержимому базы данных; оперативного введения в процесс проектирования принятых решений. Разработка- САПР ТМ проведена по заказу одного из оборонных предприятий. .

В заключении констатируется,что поставленная задача исследований, нацеленная на теоретическое обобщение методов и средств информационного .взаимодействия проектировщика с САПР и построения на основе обобщения системы понятийной деятельности 5(0П) решена.

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

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

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

2. Разработана и' исследована форма теоретического обобщения ' методов .средств и результатов понятийных действий в САПР. Пришнега» содерйательно-эЕоящионной теории проектных решений ТЬ(О .построенной проектировщиком по такому образцу для конкретного технического задания,приводит к сокращения сроков проектирования.

3. Мзтод системного пркращэния знаний в информационных структурах САПР,позволяет проектировщику выявлять и строить, кудели знаний,ист пользованных им в конкретных проектных решениях. Еьжишениэ таких работ без помощи специалистов по. пнттрт Знаний' судэствзшю повышает их качоетво н снижает общую стоимость проектных работ. Крою того,построенные проектировияком представления ..проектных решений приобретает статус экспертных знаний, открытых для повторных. пряыа-нений по. образцу экспертных систем, что также вносит вклад в эффективность проектирования. •'. : , ."■ •

4. Разработанные формы представления теории ТЬ( I) :: 'ее применеяпй объединяют в единое целое семантическую .сеть; понятий и классификационное преставление области проектирования,продутсэдояные и предикатные представления составляющих Чшформадионной ыодели км( ,системные и интегрирующие свойства.которой вносят, вклад в эффективность процесса проектирования.

5.Включение системы понятийной» деятельности Б(Оп),содержащей систему управления интерфейсом 5( 1,0 в процессы проектирования приводит к образованию новой нормативно ценностной системы автоматизированного проектирования 5(Б,Ип).источники эффективности которой названы Быше. , ...'.■

Публикации :

1. Балашов Е.П., Воевода A.A., Смагин A.A., Соснин П.И. Идентификация магнитных элементов автомотики и вычислительной техники,- Л.: Энергия, 1980. - 128 с.

2. Соснин П.И, Иерархические ассоциативные запоминающие струкуры - Саратов, 1985 (Саратовск. государств, университет), 99 с. .

3. Соснин П.И.,Ладок В., Полосин СС Автоматизация проектирования средств контроля и диагностики. - Саратов, 1985, ( Саратовск государств, университет ), 112 с.

4. Афанасьев А.Н., Гужавин A.A., Кокоев О.Ю., Соснин П.И, Лидок В.Ю. Контроль информации в системах автоматизированного проектирования.- Саратов, 1985, {Саратовск. государств, университет), 120 с.

5. Соснин П.И. Логика понятий. - Саратов, 1986, ( Саратовск. государств, университет ), 69 с

6. Соснин П.И.,Афоносьев А.Н., Кокаев О.Г. Процессоры обработки нечеткой информации. -Саратов, 1988, (Саратовск. государств, университет), 123 с.

7. Соснин П.И..Евсеева О Н., Левицкий А.Ю., Ярушкина Н.Г. Проблемно-ориентированные диалоговые среды. - Саратов, 1988, (Саратовск. государств, университет), 123 с.

8. Соснин П.И. Информационно-лйнгвиСтическое обеспечение вычислительных процессов. : Методическое пособие. - Улбяновск, 1992, ( Ульяновск, политехи, институт ), 88 с.

9 . Евсеева О.Н, Левицкий А.Ю., Соснин П.И., Шишкин В.В., Ярушкина Н.Г. САПР тестов микропроцессорных схем - Ульяновск: Союз НИО СССР, 1988, 51 с.

10. A.c. N1206732. Устройство для диагностирования логичесих блоков. : Бюл. N3 / В.Ю. Лидок, В.Г. Тодуров, В.В. Данилов, В.Л. Никонов , С.С. Полосин , Л.Я. Сокур , Г.Б. Соловей , П.И.Соснин.- 1985.

11. A.c. N1345200. Многоканальное устройство для контроля систем управления.:Bion.N38. / Г.Г.Констамди,Г.Б.Соловей,Л.И Соснин, Л.А. Багаутдинова, Б.Г. Месежник, В.А. Корнаков. -1987. '

12. A.c. N1594610. Устройство для контроля блоков памяти.:Бюллетень N35. / С.С. Полосин, Г.Г. Констанди, П.И.Соснин, А.в,Руденко,Г.А.Подунаев,В.Ф.Саксонов,В.С.Шевченко - 1990.

13. A.A. Гужавин, С.В. Скворцов, A.A. Смогин , П.И.Соснин, В Д. Чижиков. Многопрограммная , реализация систем автоматизации проектирования! // Тез.докл.Всезоюзноя школа-семинар

«Автоматизация проектирования средств вычислительной техники и перспективы применения микропроцессоров».- Минск, 1978, С-13.

14. A.A. Гужавин, A.A.Смагин, П.И Соснин. Об одном способе автоматизации проектирования печатных плат. / Межвузовский сборник «Проектирование микропроцессорных систем». - Л. 1982, с. 33-36.

15. П.И. Соснин. Структура данных для представления знаний // Тез.докл Всесоюзная конференция «Диалог кЧеловек-кольютер»». Л., 1982, с. 66-68.

16. В.Ю. ЛидакДН. Полякова, П.И. Соснин. Пакет прикладных программ синтеза контролирующих тестов и диагностики. М.: «Электронная техника», ЦНИИ «Электроника», 1983, с, 54-55.

17. П.И. Соснин,С.С. Полосин. Автоматизированная система генерации конролирующих тестов для логических устройств с программным управлением. // Тез.докл Всесоюзная научно-техн. конференция «Автоматизация проектирования ЭВМ и систем». - Ереван, J 983, с. 97.

18. П.И.Сосиин.С.С. Полосин, В.Ю. Лидак. Автоматизация проектирования микропроцессорных систем. - Ульяновск, Ульяновская тер.группо АН СССР, препринт доклада, 1983, с 4-19.

19. П.И. Соснин. База данных системы синтеза тестов операционных схем. // Тез.ДОхл.Всесоюзное научно-техн. совещание «Автоматизация проектирования микроэлектронной аппаратуры». - Владимир, 1983, с. 17-18

20. П.И.Соснин,С.С.Полосин,В.Ю.Дидак.Тестирование*секционных микропроцессорных устройств./УМежвуз.сб.научн.трудов: Проектирование и применение микропроцессорных систем управления.,Изд-во МИЭТ,-М., 1984,с. 183-) 91

21. А.(О. Левицкий, П.И. Соснин, В.В. Шишкин, Н Г. Ярушкина, Система синтеза тестов операционных схем на бозе модели знаний //Тез.докл Всесоюзная конференция «Микропроцессоры - 85«' 1 ' " ~ *

22. Г)И Соснин. Стотвгия формирования тесто» операционных схем. / Межвузовский сборник N1 «Проектирование, контроль и диагностика микропроцессорных ситем». - Саратов: Сарат. госуд. университет, 1985, с. 3-10.

23. П.И Соснин. Системный подход к проектированию с использованием вычислительной техники. /Межвузовкии сборник N2 «Проектирование, контроль и диагностика микропроцессорных систем». - Саратов: Сарат. госуд. университет, 1986, с. 3-10.

24. П.И Сосни«. Элементы логики понятии. / Межвузовский сборник N4 «Прикладная математика и мехвника». - Саратов, Сарат. госуд университет, 1986, 9 с.

25 П.И Соснин. Информационно-лингвистическая поддержка ноучного исследования. // Тез.докп. 7-я всесоюзная конференция «Планирование и автоматизация научных исследованиях». - Л., 1986, 1с.

26. А.Ю. Левицкий, ПИ Соснин, ВВ. Шишкин, Н Г. Ярушкина..Управление испытаниями цифровых схем на сонове машинных знаний, Ц Тез. докл. 10-е Всесоюзное совещание по проблемам управления.-Алма-Ата, 1986^ с. 513-514.

27. П И Соснин. Понятийно-квантовое моделирование знаний, // Тездокл.Всесоюзная школа-семинар «Психологическая бионика». - Харьков, 1986, с. 29.

28. П.И Соснин. Предикатное описание понятийно-квантовой структуры знаний / Межвузовский сборник вып.З «Прикладная математика и механика». - Саратов; Сарат. госуд. университет, 1986, с. 60-64.

29. Н.Г. Ярушкина.П.И.Сосиин. Комплекс инструментальных средств для разработки САПР в среде ОС ЕС ЭВМ. /Дез.докл. Республиканская научно-тезн. конференция «Численные методы и средств проектирования и испытания элементов РЭА». - Таллин, 1987, с. 120-124.

30. А.Ю. Левицкий, П.И Соснин. Н.Г. Ярушкина Диалоговая поддержка принятия решения в САПР. - Харьков: «Бионика», 1987, с. 48.

31. П.И.Соснин,А.Ю.Левицкий, н.г. Ярушкина, Инструментальные средства управления процессами САПР. // Тез.докл. 1-я всесоюзная конференция «Методы анализа надежности ПО ВС реального времени на основемоделей нечеткой логики». - Киев , 1987, с 27.

32. О.Н.Евсеева,А.Ю.Левицкий,П.И.Соснин.Н.Г.Ярушкино .САПР тестов микропрооцессорных Схем./Дез.докл. Республик, конф. «Проектирование вычислительных средств».-Каунас, 1937,с.3

33. П.И Соснин, Лингвистическое программное обеспечение -человеко *• компьютерного взаимодействия. / Те.докл.Эргономика переферийных устройств ПЭВМ и социальных ' последствий компьютеризации.-Орел, 1988, с 120-122.

34. П.И Сбснин, Н.Г. Ярушкина. Общая характеристика, принципы разработки и архитектура инструментального обеспечения интеллектульного диалога пользователя с ЭВМ, - М.: Судостроительная промышленность, серия «Вычислительная техника», 1988, 9 с.

35. П.А. Гридик, О.В. Подымов, П.И Соснин. Микропроцессорное управление доступом к. ■ фойловой информации..// Тездокл.Всесоюзный семинар «Специализированные процессоры в САПР», -М.. ¡989. с 46- 47. - - . ' -

36. П.И Соснин. Содержательно-эволюционная дедукция в разработке диалоговых . программных изделий. /Дез.докл. Всесоюзноя,конференция «Диалог «Человек-компьютер»»! .Свердловск, 1989, с. 59-60. ' ' : ...

37. О Н. Евсеева, П.И Соснин. Инвариантные средство человеко-компьютерного ■• взаимодействия в САПР и АСНИ. /Дез.докл. 9-й Всесоюзный семинар по проблемой . управления. - Ташкент, 1989, 4 с.

38. О.Н. Евсеева, П.И Соснин. Инструментальные средства формирования системе понятий в САПР. /Дез докл. Республиканский семинар «Численные методы и средства проектирования и испытаний элементов твердотельной электроники».,-Таллии, 1989, с. 72-74. -,'

39. П.И.Соснин Диалоговое обеспечение вычислительных процессов. //.

Межвуз.сб научн.трудов Проектированние.коонтроль и диагностика микропроцессорных '

систем.Изд-во Ульяновск.политехн,-инст. .-Ульяновск. 1989,с.4-7

40. П.И Соснин, Н.Г. Ярушкина. Средство обеспечения визуольного комфорта в . . инструментарии организации диалога ИДА/Дез. докл.9-й Всесоюзный симпозиум ' . «Эффективность, качество и надежность систем «Человек-техника»», с приглашением 1 зорубежных ученых. - Воронеж, 1990, с. 106-107.

41 П.И Соснин, Н.Г. Ярушкина. ИДА - инструментарий диалога и адаптации. /Дез.докл.2-я

Всесоюзная конференция «Искусственный интеллект - 90». - Минск, 1 990, 2 с.

42. О.Н. Евсеева, А.Ю. Леыицкий, П.И Соснин, Н.Г. Ярушкина. Инструментальное средства формирования баз фактов. //Тез.докп. Всесоюзная научная конференция «Систему баз данных и знаний». -Калинин, 1990, с. 15-17.

43. П.И Соснин, Н.Г. Ярушкина Методологическое обеспечение автоматизированного проектирован^ диалоговых систем.//Tes. докл.Всесоюзный семинар «Качество программных систем». - Калинин, 1990, с. 35-36

44. П.И Соснин." Представление и применение опыта в системе СИЛУЕТ. /Дез.докл. Всесоюна* школо селлимор «Математическое и программное обеспеченна интеллектуальных систем». - M., 1990, с. 8-10.

45. П.И Соснин,И.Р.Карпова . Опыт реализации экспертных режимов в компьютерных системох.//Теэ.до*л Всесозная школа -семинар «Математике*ос и программное обеспечение интеллектуальных систем». - M., Î990, с. 58-59. -

46. П.И Соснин. Лингвистические уравнения. / Межвузовский сборник N5 • Прислаана' математика и механика». • Саротов: Сарат. госуд. Университет, 1990, с. ВЗ-87 ,

47. П.И.Соснин.И.Р.Карпоеа.Роль воопросно-отетных структур в разработке экспертных систем./Дез.докл.Х Всесоюзн семинар «Параллельное программирование л высокопроизвоительныен системы».-Уфа, 1990,

48.П.И Соснин. Человеко-компьютерный опыт и диалог. / Межвузозский сбср^'х нс^чмых трудов «Проектирование, контроль и диагностика микропроцессорных exev*. - Уг^-и-^сг. Ульяновский политехнический институт, 1991, с. 71-80.

49 Н.Г. Ярушкина,П,И.Соснин . Интеллектуалный инструментарий проект.>ро9С:<>;;: .-<

реализации диалоговых систем. // «Управляющие системы и клошинь,». - Kv с. £7-72.

50. П И Соснин. Система понятийио-образной поддержки принятия р^'-ье-им"* //

Тез док/т Российская научно-практическая конференция «Исследование, проект.ipoacrue и

реализация попьзоватепьского интерфейса в САПР». - Орел, 1992, 2 с.

51 .П.И.Соснин . Системы управления интерфейсом в САПР //Тез доkа Россмиско* научно-

техническая конференция «Интерактивные системы».-Ульяновск, 1993,2 с.

52.П.И.Соснин,А.К Кальянов .»Система управления интерфейсом «ДОРЛ».// Тез.докл.Российская научно-техническая конференция «Интерактивные системы.» Ульяновск, 1993,1 с.

53.П.И.Соснин,!;.Э.Кондаков.//Тез докп. Российская научно-технической конференция «¡Интерактивные системы.»-Ульяновск,!993,1 с.

Подписано в печать 1ПЛ.?'!. Формат 60x84 Г/16. Гум. оберток. Обьегл в п.л. - 2,5. -Тирая- 120. Заказ /¿<2 ^лТШ. Ротапринт. 432600. г. Ульяновск, ул. Энгельса,3.