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

ВВЕЩЕНИЕ

1. ЗАДАЧИ ПРЕОБРАЗОВАНИЯ СТРУКТУРЫ . /

1.1. Анализ процесса проектирования

1.2. Особенности запоминающего устройства как объекта проектирования . ¡

1.3. Преобразование структуры запоминающего устройства. Постановка задачи

2. УРОВНИ ОПИСАНИЯ СТРУКТУРНЫХ СХШ ЗУ

2.1. Основные понятия модели

2.2. Исследование изменений в методике проектирования

2.2.1. Добавление и исключение дуг в модели ••••• ^

2.2.2. Добавление и исключение проектных операций . ¿>

2.3. Исследование операции выбора структуры •••••

3. ПРЕОБРАЗОВАНИЕ СТРУКТУРНОЙ СХЕМЫ ЗАПОМИНАЮЩИХ УСТРОЙСТВ

3.1. Детализация дуг базового каскадного графа

3.2. Детализация дуг графа структурной схемы ЗУ

3.3. Способы детализации дуг

3.4. Анализ структурной схемы ЗУ на цилиндрических магнитных доменах ЮЗ

4. РЕАЛИЗАЦИЯ МЕТОДОВ ПРЕОБРАЗОВАНИЯ СТРУКТУРНОЙ СХЕМЫ

4.1. Общие положения

4.2. Входной язык

4.2.1. Язык технического задания . ^^

4.2.2. Язык описания структурной схемы ЗУ . О

4.2.3. Язык описания квазирегулярной структуры

4.2.4. Язык описания принципиальных схем . /

4.3. Информационное обеспечение . ^ 3 У

4.3.1. Описание предметной области проектирования

4.3.2. Представление структурной схемы в программах • •••••••••••. /-35"

4.4. Программное обеспечение . ./

4.5. Экспериментальная проверка . 16/

ЗЖШОЧЕШЕ

Память ЭВМ во многом оцределяет основные характеристики современных вычислительных машин: производительность, надежность и т.д. Прогресс в области запоминающих устройств (ЗУ) в последние годы определялся развитием технологии производства и созданием новых типов запоминающих элементов (330 /1-6/. Новая элементная база требует совершенствования методов проектирования запоминающих устройств.

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

Повышение качества проектирования, его ускорение обеспечивается на основе широкого использования математических методов и ЭШ, создания систем автоматизированного проектирования (САПР) /7-9/.

Работы по автоматизации проектирования ЗУ развиваются в двух направлениях: моделирование характеристик /10-22/ и проектирование ЗУ /23-31,51,52/. В процессе моделирования характеристик ЗУ исследуют зависимости между параметрами и получают рекомендации для проектировщиков. Моделирование заменяет также трудоемкий и длительный процесс макетирования при проверке работоспособности спроектированного устройства /13,14/.

В процессе проектирования получают работоспособный вариант запоминающего устройства, удовлетворяющего требованиям технического задания (ТЗ). Наиболее интенсивные работы по созданию методик проектирования ЗУ с помощью ЭШ проводились в семидесятые годы; Однако, эффективность использования этих методик оказалась недостаточно высокой.

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

Методика, охватывающая все этапы проектирования, называется интегрированной по глубине /9, 36/ или со сквозным процессом проектирования (СПАЛ) /33-35, 53/. СПАЛ увеличивает долю творческой работы в труде проектировщиков, повышает качество проектов за счет просмотра большего числа вариантов, уменьшает сроки проектирования.

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

На кафедре ВТ МЭИ в соответствии программой работ 0.80.15 по постановлению ГКНТ СССР № 430 от 26 июня 1976 г., задание 15.27 "Разработать и сдать в государственный фонд алгоритмов и программ пакет прикладных программ для автоматизированного проектирования запоминающих устройств на полупроводниковых интегральных схемах и магнитных элементах" и в соответствии с целевой комплексной программой 0.Ц.027 по постановлению ГКНТ СССР, Госплана СССР, АН СССР № 474/250/132 от 12 декабря 1980 года задание 05.12 "Разработать и ввести в опытную эксплуатацию учебно-исследовательскую систему автоматизированного проектирования радиоэлектронных устройств и систем в МЭИ", разрабатывается система автоматизированного проектирования запоминающих устройств (САПР ЗУ) /51-54/.

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

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

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

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

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

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

Целью диссертационной работы является:

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

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

3. Создание программного обеспечения для реализации методов преобразования структуры.

4. Внедрение разработанных методов и программных средств.

Научная новизна. В диссертации предложены и разработаны:

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

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

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

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

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

5. Методика определения типов графов структурной схемы ЗУ, для которых возможно автоматическое преобразование в структурную схему следующего уровня.

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

В качестве формального метода исследования используется аппарат теории графов и теории множеств.

Практическая ценность работы. Разработанные в диссертации методы автоматического преобразования структуры получили практическое применение р САПР ЗУ при реализации методов автоматизированного проектирования ЗУ на полупроводниковых и магнитных элементах.

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

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

Реализация работы. Результаты работы внедрены в НИИВК и используются в учебно-исследовательской САПР электронно-вычислительной аппаратуры и систем в МЭИ. Пакет прикладных программ принят межведомственной комиссией.

Апробация работы.

Основные результаты работы докладывались автором:

- на семинаре "Автоматизированные системы проектирования", Москва, МДНТП им. Ф.Э.Дзержинского, 1975 год;

- на ХУ Всесоюзном совещании по магнитным элементам автоматики и вычислительной техники, Москва, ИЛУ, 1976 год;

- на конференциях "Автоматизация проектирования средств автоматики и вычислительной техники", Пенза, ПЛИ, 1977 и 1978 годы;

- на Юбилейных конференциях МЭИ, Москва, 1980, 1982 года;

- на семинаре "Автоматизация проектирования в радиоэлектронике и вычислительной технике", Москва, МДНГП им. Ф.Э. Дзержинского, 1981 год:

Публикации

По результатам работы опубликовано 12 печатных работ и выпущено 6 отчетов по НИР.

Содержание

Диссертация состоит из введения, 4 глав, заключения, списка литературы и 3 приложений.

ЗАКЛЮЧЕНИЕ

В диссертационной работе лично автором получены следующие результаты:

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

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

3. Разработан метод автоматической детализации структурного описания памяти ЭЕМ, основанный на представлении памяти ЭВМ в виде иерархии описаний структурных схем.

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

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

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

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

- /зь

Проанализированы структуры различных типов ЗУ и установлено, что можно проводить автоматическую детализацию, если в качестве структурной схемы ЗУ использовать схему, вершины которой детализируются регулярными элементами.

8. Показано, что количество уровней описания структурной схемы для разных типов ЗУ отличается. Выделено минимальное количество уровней: техническое задание, структурная схема ЗУ, квазирегулярная структура, принципиальная схема.

9. Разработана программная реализация алгоритмов детализации структуры и программ выбора структурных схем для одного типа ЗУ.

10. Разработано информационное и лингвистическое обеспечение процесса автоматизированного проектирования. Разработано

4 подмножества входного языка, описывающее структурную схему на разных уровнях.

1. Анер Б., Шобер Р. ЗУ в технике обработки информации. Зарубежная радиоэлектроника, 1983, № 9, с. 64-69.

2. Gau^éan в. Economic ЪъсаъсСь ¿п memory сЕелГб^е^. -Eôectron. Inï Русела, /QQZ 7 /О, /VI, р.Ъ ~ 2Z

3. Burs Icy. 2). F öS г/ cciiio /г gcucn fielet tfai ^ovJ^h. of oLLpctcJ VLSJ.- Efectron de*., №02., Peêruary, /в, p. 7/- 78

4. Роллов -D. X>esüe£opnien.i oslc/ trends ¿r? memory tezJi-ноёору. -Micrboe&zciro/i. /981,21, a/3, p. /,67О

5. Эшенфельдер А. Физика и техника цилиндрических магнитных доменов, М.: Мир, 1983. 496 с.

6. Полупроводниковые запоминающие устройства и их применение /В.П. Андреев и др. Под ред. А.Ю. Гордонова. М. : Радио и связь, 198I. - 344 с.

7. Норенков И.П., Маничев В.Б. Системы автоматизированного проектирования электронной и вычислительной аппаратуры. М.: Высшая школа, 1983. - 272 с.

8. Комплекс общеотраслевых руководящих методических материалов по созданию АСУ и САПР. М.: Статистика, 1980. - 119 с.

9. Гаврилов М.А. Интегрированные системы современная тенденция в развитии систем автоматизированного проектирования. - Приборы и система управления, 1979, 16 I, с. 3.

10. Вопросы машинного проектирования магнитных запоминающих устройств /Зуев В.Н. и др. В кн.: Методы разработки радиоэлектронной радиоаппаратуры. М. : ВДНТП, 1970, с. 57-63.

11. Завьялов E.E., Зуев В.И., Рыбаков A.A. Расчет и проектирование магнитных оперативных запоминающих устройств. М.: Машиностроение, 1977. - 104 с.

12. Зуев В.И. Теоретические вопросы математического моделирования запоминающих устройств. Вопросы радиоэлектроники, сер. Электрон. Вычислит, техники, 1977, вып. I, с. 23-27.

13. Дроботов Ю.В., Жук В.Е. О программной модели сердечника магнитного оперативного запоминающего устройства. Вопросы радиоэлектроники. Серия общетехническая, 1979, вып. 8, с.63-74.

14. Дроботов Ю.В., Жук В.Е. Приближенный расчет э.д.с. ферритово-го сердечника при автоматизированном проектировании ОЗУ. -Вопросы радиоэлектроники. Серия общетехническая, 1979, вып.8, с. IIO-II8.

15. Сорокин C.B. Анализ влияния параметров сердечника и режимов работы на сигнал и помеху при автоматизированном проектировании. ОЗУ. Тр./Моск.энерг.ин-т, 1981, вып. 544, с. I07-II0.

16. Балашов Е.П., Якобсон Г.И. Проектирование и машинный анализ адресных цепей магнитных запоминающих устройств. Машиностроение, 1977. - 193 с.

17. Ломов Ю.С., Малыданов В.Д., Пржегорлинский В.Н., Терехин В.М. Моделирование подсистемы буферная память основная память. -Вопросы радиоэлектроники. Сер. Электрон. Вычислит, техники, вып. I, 1983, с. 14-19.

18. Немцов М.В. Автоматизация проектирования постоянных запоминающих устройств., М., Машиностроение, 1982, 141 с.

19. Математическое моделирование теплового поля ТЭЗ накопителя на магнитных дисках. Косырев Р.Г., Гильдеев H.A. Вопросы радиоэлектроники. Серия Электрон. Вычислит, техники, 1982,вып. II, с. 89-93.

20. GecU , Тгй\Г<и& к- S. Optima/. оТелсръ г/е&Я* ¿¿алаьр* Тгам. Compel,1982,3d, /1/3, р. г^9-гвО

21. Методы синтеза технических решений /Дворянкин A.M. и др. -М.: Наука, 1977. 104 с.

22. Жаров A.A. Методика и автоматизация структурного проектирования полупроводниковых ЗУ с произвольным обращением: Автореферат канд.дисс. М.: МЭИ, 1975. - 20 с.

23. Дерюгин A.A., Иванов В.Е. Методика проектирования ЗУ на фер-ритовых сердечниках с помощью ЭЦВМ. Тр./Моск. энерг. ин-т,1976, вып. 303, с. 41-46.

24. Дерюгин A.A. Взаимодействие проектировщика с ЭВМ при проектировании запоминающих устройств. Тр./Моск.энерг.ин-т,1977, вып. 349, с. II0-II4.

25. Дерюгин A.A., Хороманьска В.В. Вопросы автоматизированного проектирования ЗУ различных систем с общей разрядной обмоткой. Тр./Моек.энерг.ин-т, 1978, вып. 380, с. 12-17.

26. Анкудинов Г.И. Об одном общем подходе к синтезу структуры алгоритмов устройств и систем. Кибернетика, 1982, Jfi I, с. 55-68.

27. Огнев И.В., Сарычев К.Ф. О выборе методики автоматизации конструирования модулей памяти полупроводниковых оперативных ЗУ. Тр.AIock.энерг.ин-т, 1978, вып. 386, с. I3I-I35.

28. Смелова С.М. Автоматизация выбора структурных параметров матрицы с конструктивным резервом для блока памяти ЗУ большой емкости. Тр./Моск.энерг.ин-т, 1978, вып. 380, с. 31-36.

29. Огнев И.В., Кончев Д.Р., Бажибин Ю.В. Система автоматизации проектирования запоминающих устройств. В кн.: Автоматизированные системы проектирования. М.: ЩЩТП, 1975, с. 85-89.

30. Дерюгин A.A. Автоматизация проектирования запоминающих устройств. М.: МЭИ, 1981. - 67 с.

31. Коноплева Е.Ф., Педанов И.Е. Некоторые вопросы автоматизации конструирования сложных инженерных объектов. Вопросы радиоэлектроники, сер. Электрон. Вычислит. Техники, вып. 5, 1983.-с. 143-148.

32. Кушнеров Ф.П., Объедков Ю.С. Вопросы автоматизированного проектирования технических средств ЭВМ. Вопросы радиоэлектроники, сер. Электрон. Вычислит. Техники, вып. I, 1983. -с. 146-158.

33. Гиг Дж.вин Прикладная общая теория систем. Кн. 1/Пер. с англ., под ред. Б.Г. Сушкова, B.C. Тюхтина. М.: Мир, 1981. - 336 с.

34. Справочник по цифровой вычислительной технике (Электрон, вычислительные машины и системы) /Б.Н. Малиновский, В.Я. Александров, В.П. Вьюн и др. Под ред. Б.Н. Малиновского. Киев: Техника, 1980. - 320 с.

35. Разработка и оформление конструкторской документации РЭА: Справочное пособие/ Э.Т. Романычева, А.К. Иванова, А.С.Куликов, Т.П. Новикова. М.: Радио и связь, 1984, - 256 с.

36. Пржналковский B.B., Ломов Ю.С. Технические и программные средства единой системы ЭВМ. М., Статистика, 1980. - 232 с.

37. Шигин А.Г., Дерюгин A.A. Цифровые вычислительные машины (память ЦВМ). М.: Энергия, 1975. - 536 с.

38. Проблемы развития ОЗУ высокопроизводительных ЭВМ единой серии. Ломов Ю.С., Файзулаев Б.Н., Акишфиев-А.Б. Вопросы радиоэлектроники. Серия Электрон, вычислит, техники, вып. 7, 1983. - с. 3-7.

39. Сурин Р.В. Имитационное событийное моделирование логических элементов с задержками. Вопросы радиоэлектроники. Серия электрон, вычислит, техники, выпуск 12, 1984. - с. 86-90.

40. Адасько В.И., Каган Б.М., Пац В.Б. Основы проектирования запоминающих устройств большой емкости. М., Энергоатом-издат, 1984. - 285 с.

41. Горбатов В.А., Останков Б.Л., Фролов С.А. Регулярные структуры автоматного управления /Под ред. Горбатова В.А. М.: Машиностроение, 1980. - 215 с.

42. Основные компоненты системы автоматизации проектирования запоминающих устройств /Шамаев Ю.М., Огнев И.В., Невежин В.П., Бажибин Ю.В. Тр./Моск.энерг.ин-т, 1978, вып. 380, с. 3-8.

43. Глушков В.М., Капитонова Ю.В., Летичевский A.A. Автоматизация проектирования вычислительных машин. Киев: Наумова думка, 1975. - 232 с.

44. Усилитель воспроизведения для запоминающих устройств на цилиндрических магнитных доментах /Игнатенко Ю.И., Попов В.Д. -Вопросы радиоэлектроники. Серия Электрон, вычислит, техники, 1983, вып. 5, с. 19-27.

45. Филатов Н.Ф., Служеникин В.И. Особенности адресации памяти на цилиндрических магнитных доменах (1Щ). Вопросы радиоэлектроники. Серия электрон, вычислит, техники, 1984, вып.10, с. 112-116.

46. Китович Б.В., Лебедь М.Я., Поспелов Б.Н. Расширение адресного поля оперативной памяти. Вопросы радиоэлектроники. Серия Электрон, вычислит, техники, 1983, вып. I, с. 3-13.

47. Огнев И.В., Кънчев Д.Р., Бажибин Ю.В. Система автоматизированного проектирования запоминающих устройств. В кн.: Автоматизированные системы проектирования. - М.: ЭДЦНТП, 1975, с. 85-89.

48. Структура и функции автоматизированной системы проектирования запоминающих устройств /Шамаев Ю.М., Бажибин Ю.В. и др. -В кн.: Вычислительная техника, Пенза: ПЛИ, 1977, с. 54-58.

49. Принцип построения системы автоматизации проектирования запоминающих устройств /Намаев Ю.М., Огнев И.В., Невежин В.П., Бажибин Ю.В. Тр.Д1оск.энерг.ин-т, 1977, вып. 343, с. 3-6.

50. Автоматизация проектирования запоминающих устройств /Огнев И.В., Бажибин Ю.В. и др. В кн.: Магнитно-полупроводниковые элементы для переработки информации. М.: Наука, 1978, с. 62-73.

51. Поляков А.К., Ляшко М.М. Языки моделирования структур вычислительных систем. Электронное моделирование, 1981, $ 6,с. 30-37.

52. Средства описания внешних устройств в системах автоматизации проектирования /Гончарук С.К., Мусина Т.В., Пустоваров В.И., Руснова Н.С. Автоматика и электроприборостроение. Киев: -Высш. школа, 1982, с. II2-II5.

53. Ope 0. Теория графов. Изд. 2-е. - М.: Наука, 1980. - 336 с.

54. Автоматизированное проектирование конструкторской документации микро-программного обеспечения подсистем внешней памяти. /Белов Л.И., Вишневский В.Г. и др. Вопросы радиоэлектроники. Серия электрон, вычислит, техники, 1983, вып. II, с. 92-96.

55. Бершадский A.M. Применение графов и гиперграфов для автоматизации конструкторского проектирования РЭА и ЭВА. Саратов: Саратовский ун-т, 1983. - 120 с.

56. Гиль В.Т., Воротинцев C.B. Организация модуля запоминающего устройства на ЩД. Техника средств связи, сер. ЕТСС, 1984, вып. 2, с. 37-48.

57. Поспелов Л.В. Моделирование неисправностей ОЗУ с произвольным доступом. Вопросы радиоэлектроники серия Электрон.вычислит, техники, 1983, вып. I, с. 44-52.

58. Websu&i G- TerLcLesuzASb ui Spz.L.cAe.1 ¿г-сгъ^с. j-Шь oUe. Эа£е,и.<тклл. ££е,с£го/ъ, /98^ 7л/г-Ъ7 S.56-G1

59. Скворцов А.Е. Система автоматизации проектирования и технологической подготовки производства программных ПЗУ для микро-ЭВМ "Электроника-С5"~ Упр. системы и машины, 1981, » 5, с. 57-61.

60. Чхартишвили Г.С., Починок И.В., Трофимов A.B. Анализ организации языков моделирования непрерывных систем. Тр.Д1оск. энерг.ин-т, 1981, вып. 548, с. 71-81.

61. Вашкевич Н.П., Зенкин С.А., Кулагин В.П. Синтез многоуровневых моделей вычислительных систем. Вопросы радиоэлектроники. Серия Электрон, вычисл. техники, 1983, вып. II, с. 82-91.

62. Котов В.Е., Черкасова Л.А. Структурированные сети. Кибернетика, 1981, № 4, с. 32-41.68. ôocpic cCe&ign. ^¿¿ppot¿ahtrtLctLLre.cl pro/eoé cljMfetqpme^â . £OA/ /082 А//9, p. /72, /74 Г2ЪО)

63. Ошкампе Э.А., Чижухин Г.Н., Журавлев C.B. Методика автоматизированного проектирования структур специализированных вычислительных систем на базе моделей занятости ресурсов. Депон. рукопись, № 1969 пр. Д82, Пенза; 1982. - II с.

64. Рабинович ЭЛ. Основы теории элементных структур ЭВМ. -М., Радио и связь. 1982. 280 с.

65. Дейт К. Введение в системы баз данных. М.: Мир, 1980. -464 с.

66. Бажибин Ю.В., Башмаков И.А., Белозеров Ю.С. Специализированная система управления базами данных для САПР. Учебное пособие. М.: Моск.энерг.ин-т, 1985 - 68 с.

67. Создание системы автоматизации проектирования запоминающих устройств /Шамаев Ю.М., Огнев И.В., Невежин В.П., Бажибин Ю.В. В кн.: Проектирование вычислительных устройств и систем с помощью ЭВМ, Саратов, 1978, с. 39-41.

68. Разработка учебно-исследовательской системы автоматизированного проектирования радиоэлектронных устройств и систем. Часть I: Отчет /МЭИ: руководитель работ Ю.М. Шамаев,

69. ГР 0182600225I, & 02830060585, М.: 1983, 44 с.

70. Башмаков И.А., З^убарев A.B. Семантические базы данных в САПР. Проблемы построения и использования. Тр./Моск.энерг.ин-т, 198I, вып. 555, с. 59-67.

71. Структура входных языков системы автоматизации проектирования запоминающих устройств /Шамаев Ю.М., Огнев И.В., Неве-жин В.П., Бажибин Ю.В. Тр./Моск.энерг.ин-т, 1977, вып.349, с. 106-109.

72. Бажибин Ю.В., Русинова H.H. Информационное обеспечение в САПР ЗУ. В кн.: Вычислительные сети и системы. Межведомственный сборник трудов. М.: Моск.энерг.ин-т, 1984, № 42. -с. 20-25.

73. Кульба В.В., Мамиконов А.П. Методы анализа и синтеза оптимальных модульных систем обработки данных. Обзор. Автоматика и телемеханика, 1980, № П, с. 152-173.

74. Бажибин Ю.В. Проектирование структуры проблемного программного обеспечения в САПР ЗУ. В кн.: Автоматизация проектирования в радиоэлектронике и вычислительной технике. ВДНТП,1. М.: 1981, с. 125-128.

75. Программы проблемного обеспечения системы автоматизации проектирования запоминающих устройств /Огнев И.В., Бажибин Ю.В., Невежин В.П. и др. Алгоритмы и программы. П003750. - М.: ВНТИЦ, 1979, JS 5(31), с. 40-41.

76. Потемкин И.С. Автоматизация синтеза функциональных схем (на примере сумматоров с групповым переносом). М.: Энергоиздат, 198I, - 88 с.

77. Бажибин Ю.В. Уровни описания объектов проектирования в САПР ЗУ. Тр./Моск. энерг.ин-т, 1981, вып. 544, с. 58-63.

78. МИНИСТЕРСТВА ВЫСШЕГО И СРЕДНЕГО СПЕЦИАЛЬНОГО1. ОБРАЗОВАНИЯ СССР 199--17 фо враля 32па --'-19 г.

79. О создании1 комиссии по приемке пакета прикладных программ САПР d/, разработанного Московским энергетичес1шм институтом '

80. Создать комиссию для приемки работы по созданию пакета прикладных программ САПР ЗУ в следующем составе:

81. Уткин Г.М. проректор Московского энергетического инпредседатель ститута .'.:

82. Аристархов Л.И. начальник отдела прикладных проблем Главного управления научно-исследовательских ра. • бот Минвуза СССР

83. Бойко В.В. . начальник отдела вычислительной техники

84. Главного управления вычислительной техники и систем управления Госкомитета СССР по науке и технике •

85. Евсеев AtИ. доцент Московского энергетического института-Китов А.И. заведующий кафедрой Московского институтанародного хозяйства

86. Кузнецов B.C. начальник вычислительного центра Московского * авиационного института

87. Огнев И.В. . .- доцент Московского энергетического института-/745- 2

88. Комиссия в составе: Председатель комиссии Г.М.Уткин, проректор МЭИ по научной работе,1. Члены комиссии:д.т.н. профессор.

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

90. Разработанный пакет прикладных программ имеет модульную структуру и состоит из 113 модулей общим объемом 9500 операторов на языке 1Ш/1 и 400 операторов на языке АССЕМБЛЕР.

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

92. Результаты работы являются значительным вкладом в развитие методов'и средств автоматизированного проектирования средств памяти ГШ.

93. Рекомендовать созданный пакет прикладных программ для широкого применения в научно-исследовательских и промышленных организациях, занимающихся вопросами создания памяти ЭВМ.едоедатель комиссии-. ГЛт , Члены комиссииу,'V-. • л'.' '■■>/;уай'**« ^ .