Разработка программных средств банка схем для системы автоматизации схемотехнического проектирования
Диссертация
Теоретические и практические результаты диссертационной работы использовались в двух научно-исследовательских работах, выполненных на кафедре электронных и магнитных цепей ЛЭТИ им. В. И. Ульянова (Ленина) в 1980;1983 гг. по программе САПР Минвуза РСФСР для нузд промышленности, разработанные автором программные средства банка типовых схемотехнических решений входят в состав базовой… Читать ещё >
Список литературы
- Материалы ХХУ1 съезда КПСС. — М.: Политиздат, 1981.223 с.
- Автоматизация расчета частотных характеристик электронных цепей: Учеб. пособие /в.И.Анисимов, Г. Д. Дмитревич, М. В. Капитонов и др.- Под ред. В. И. Анисимова. -Л.: 1981.- 79 с.
- Автоматизация поискового конструирования (искусственный интеллект в машинном проектировании) / А. И. Половинкин, Н. К. Бобков, Г. Я. Буш и др.- Под ред. А. И. Половинкина.- М.: Радио и связь, 1981. 344 с.
- Автоматизированное проектирование. Геометрические и графические задачи / В. С. Полозов, О. А. Будеков, С. И. Ротков и др.-М.: Машиностроение, 1983. 280 с.
- Александров A.M. Исследование методов и алгоритмов создания инвариантной системы централизованного хранения и управления алфавитно-цифровых и геометрических данных САПР: Дис.. канд. техн.наук. Москва, 1978. — 150 с.
- Александров В.В., Булкин Г. А., Поляков А. О. Автоматизированная обработка информации на языке предикатов. М.: Наука, 1982. — 104 с.
- Анисимов В.И., Перков Н. К., Соколова В. В. Некоторые проблемы развития систем автоматизированного проектирования электронных схем. Изв. ЛЭТИ, Науч.тр. / ленингр.электротехн. ин-т им. В. И. Ульянова (Ленина), 1977, вып. 224, с. 3-II.
- Анисимов В.И., Дмитревич Г. Д., Ларистов А. И. ДИСП система диалогового схемотехнического проектирования на СМ ЭВМ. -Изв. ЛЭТИ. Науч.тр. / Ленингр. электротехн. ин-т им. В. И. Ульянова (Ленина), 1981, вып. 284, с. 3−8.
- Анисимов В.И., Перков Н. К. Требования к банку схем в системе автоматизированного схемотехнического проектирования.-Изв. ЛЭТИ. Науч.тр. / Ленингр. электротехн. ин-т им. В. И. Ульянова (Ленина), 1982, вып. 306, с. 52−56.
- Анисимов В.И., Соколова В. В. Проблемно-ориентированный пакет прикладных программ для автоматизированного проектирования электронных схем. Изв. ЛЭТИ. Науч.тр. / Ленингр. электротехн. ин-т им. В. И. Ульянова (Ленина), 1979, вып. 235, с.3−7.
- Анисимов В.И., Соколова В. В. Организация базы данных моделей компонентов в системе схемотехнического проектирования.-Изв. ЛЭТИ. Науч.тр. / Ленингр. электротехн. ин-т им. В. И. Ульянова (Ленина), 1979, вып. 249, с. 3−8.
- Байдун В.В., Курбатов С. С., Семенова Е. Т. Прикладные аспекты систем представления знаний, базирующихся на фреймах.-В сб.: Прикладная математика и математическое обеспечение ЭВМ: Межвуз. сб. тр.- М., 1982, с. 44−50.
- Бакулов А.Д., Черный А. И. Лингвистическое обеспечение современных автоматизированных банков данных. Итоги науки и техники ВИНИТИ АН СССР. Серия Информатика, 1981, т. 6, с. 160 222.
- Башмаков И.А., Саркисян А. П. О проектировании диалоговых средств САПР. Тр. МЭИ / Моск. энергетич. ин-т, 1978, вып. 386, с.3−7.
- Белоногов Г. Г., Новоселов А. П. Автоматизация процессов накопления, поиска и обобщения информации. М.: Наука, 1979. — 256 с.
- Брановицкий В.И., Никитин А. И. Диалог человека и ЭВМ. Ориентация диалоговой системы на уровень подготовки пользователя. Управляющие системы и машины, 1982, № 4, с. 57−59.
- Бублик В.В., Дорошенко А. Е., Кривой СЛ. и др. Интерактивная обработка структур данных. Кибернетика, 1978, $ 5, с. 13−18.
- Бутков Ю.Г. Программное управление графическими терминалами с развитой системой интерпретации. Управляющие системы и машины, 1979, № I, с. 17−19.
- Варшавский В.И. Блочный синтез в классе апериодических схем. В кн.: Теория дискретных управляющих устройств. — М.: Наука, 1982, с. 152−159.
- Вольфенгаген В.Э., Воскресенская О. В., Горбанев Ю. Г. Система представления знаний с использованием семантических сетей. -Вопросы кибернетики, 1979, № 55, с. 49−69.
- Вольфенгаген В.Э., Кузин Л. Т., Саркисян В. И. Реляционные методы проектирования банков данных. Киев: Вища школа, 1979. -192 с.
- Воронов В.Л., Гайфулин Э. Ш., Слугин В. И. Кодирование графической информации в системах автоматизированного проектирования. Тр. МЭИ/Моек, энергетич. ин-т, 1978, вып. 380, с. 50−53.
- Герасимов Н.А., Полищук В. Н. Разработка программного обеспечения адаптивных диалоговых систем. Программирование, 1982, № 4, с. 44−53.
- Гилой В. Интерактивная машинная графика: Структуры данных, алгоритмы, языки. М.: Мир, 1981. — 384 с.
- Гладун В.П. Эвристический поиск в сложных средах. Киев: Наукова Думка, 1977. — 166 с.
- Глориозов Е.Л. Информационно-поисковая система для структурного синтеза логических электронных схем. Изв.вузов. Радиоэлектроника, 1978, т.21, J& 6, с. 17−23.
- Глориозов Е.Л. Схемотехнический структурный синтез логических электронных схем.- Микроэлектроника, 1981, т.10, вып.2, с. 165−177.
- Глушков В.М., Бакаев А. А., Крамаренко Р. П. Система управления базами данных ПАЛЬМА. Управляющие системы и машины, 1980, № 5, с.9497.
- ГОСТ 2865–67. Резисторы постоянные. Ряды номинальных сопротивлений. Изд-во стандартов, 1973.
- ГОСТ 23 501.0−79. Системы автоматизированного проектирования. Основные положения. Изд-во стандартов, 1979.
- ГОСТ 23 501.4−79. Системы автоматизированного проектирования. Общие требования к программному обеспечению. Изд-во стандартов, 1980.
- ГОСТ 23 501.9−80. Системы автоматизированного проектирования. Общие требования к автоматизированным банкам данных. Изд-во стандартов, 1980.
- Графические средства автоматизации проектирования РЭА/ Д. И. Томашевский, Г. Г. Масютин, А. А. Явич и др.- М.: Сов. радио, 1980.- 224 с.
- Дворянкин A.M., Половинкин А. И., Соболев А. Н. Методы синтеза технических решений. М.: Наука, 1977. — 104 с.
- Дейт К. Введение в системы баз данных. М.: Наука, 1980.- 464 с.
- Диалоговая система автоматизированного проектирования: Учеб. пособие/ В. И. Анисимов, Г. Д. Дмитревич, А. И. Ларистов и др.-Л.: ЛЭТИ, 1982. 79 с.
- Дмитревич Г. Д., Ежов С. Н. К проектированию электронныхсхем на мини ЭВМ в интерактивном режиме. Изв. ЛЭТИ. Науч.тр./
- Ленингр.электротехн.ин-т им. В. И. Ульянова (Ленина), 1981, вып. 296, с.122−124.
- Довгялло A.M. Диалог пользователя я ЭВМ: Основы проектирования я реализации. Киев: Наукова Думка, 1981*— 232 с.
- Додонов С.Б. Система автоматизированного проектирования в машиностроении (САПР-М). Управляющие системы и машины, 1979, № I, с. 73−76.
- Додонов С.Б., Висикирскяй В. А., Андреев Н. Е. Обработка графической информации в диалоговой системе автоматизированного проектирования технологических работ в машиностроении. Управляющие системы и машины, 1979, № 4, с. I3I-I33.
- Додонов С.Б., Квачев В. Г. Об интерпретации заданий в диалоговой системе обработки графической информация. Управляющие системы я машины, 1978, № 4, с. 60−62.
- Дрибас В.П. Реляционные модели баз данных. Мн.: Изд-во Б1У им. В. И. Ленина, 1982. — 192 с.
- Елшин Ю.М. Автоматизированные рабочие места при проектировании РЭА. М.: Радио и связь, 1983. — 128 с.
- Енгябарян К.К. Использование АРМ для документирования принципиальных электрических схем и подготовки исходных данных для САПР. В кн.: Машинные методы проектирования ЭВА: Материалы краткосрочного семинара. — Л.:ЛДНТП, 1981, с. 10−14.
- Закревский А.Д. К методологии построения диалоговых систем логического проектирования. В кн.: Теория дискретных управляющих устройств. — М.: Наука, 1982, с. 214−222.
- Зелковиц М., Шоу А., Гэннон Дж. Принципы разработки программного обеспечения. М.: Мир, 1982. — 368 с.
- Золотов Е.В., Кузнецов И. П. Расширяющиеся системы активного диалога. М.: Наука, 1982. — 317 с.
- Ильин В.Н. Основы автоматизации схемотехнического проектирования. М.: Энергия, 1979. — 392 с.
- Интеллектуальные банки данных: Сб. статей/ Под ред.Л. Т. Кузина. М.: Энергоиздат, 1982. — 132 с.
- Клыков Ю.И., Горьков Л. Н. Банки данных для принятия решений. М.: Сов. радио, 1980. — 208 с.
- Кнут Л. Искусство программирования для ЭВМ, т.З. Сортировка и поиск. М.: Мир, 1978. — 844 с.
- Кокорева Л.В., Малашинин И. И. Проектирование банков данных. М.: Наука, 1984.- 256 с.
- Коструба Т.В. Исследование и разработка концептуальной схемы, обеспечивающей повышение эффективности использования реляционной СУБД в АСУ: Автореф. Дис.. канд.техн.наук.-Киев: ИК АН УССР, 1984. 18 с.
- Кынчев Д.Р. Разработка системы управления данными как компоненты комплекса инвариантных средств автоматизации проектирования: Дис.. канд.техн.наук.-Москва, 1975.- 148 с.
- Ланнэ А.А. Оптимальный синтез линейных электронных схем.: Связь, 1978.- 335 с.
- Латинский B.C., Латинский С. М. Оптимальный синтез модульных радиоэлектронных систем. Изв.вузов. Радиоэлектроника, т.19, № 6, 1976, с. 33−37.
- Литвак С.Р., Роосмаа Т. А., Салувеэр М. Э. и др. 0 распознавании гиперсобытий в системе понимания связного текста.-Уч. зап. ТГУ/Тартуский гос. ун-т, 1981, вып.594, с.56−70.
- Любарский Ю.Я. Диспетчерская вопросно-ответная система с виртуальной семантической сетью.- Проблемы бионики, 1980,$ 246, с.86−93.
- Лященко А.Н. Процедура семантического встраивания. В кн.: Динамика сложных систем. -Хабаровск:ДВНЦ АН СССР, 1979, с.93−104.
- Майерс Г. Надежность программного обеспечения.- М.:1. Мир, 1980.- 360 с.
- Малые ЭВМ и их применение/ Дедов Ю. А., Островский М. А., Песелев К. В. и др.- Под общ. ред. Б. Н. Наумова. М.: Статистика, 1980. — 231 с.
- Маныпин Г. Г., Тузлуков П. Г. Эффективность применения машинных методов автоматизированного проектирования.- В кн.: Автоматизация поискового конструирования.- Горький, 1978, с.142−152.
- Мартин Дж. Организация баз данных в вычислительных системах.- М.: Мир. 1980. 662 с.
- Мешков В.Е., Перков Н. К., Федоров А. Н. Применение банка схем для автоматизации выбора прототипов вторичных источников питания. В кн.: Автоматизация проектирования ЭВМ и систем: Тез. докл.Всесоюз. Научно-технич.конф., т.I.- Ереван, 1983, с. 82.
- Мешков В.Е., Федоров А. Н. Обучение схемотехническому проектированию с использованием банка схем. В кн.: Кибернетика и исследование операций в управлении учебным процессом: Тез.докл. Межресп.семинара. — Рига, 1984, с.164−165.
- Мидоу Ч. Анализ информационных систем. М.: Прогресс, 1977. — 400 с.
- Минский М. Фреймы для представления знаний. М.: Энергия, 1979. — 151 с.
- Новожилова Л.М., Соколова В. В. Система управления базой данных моделей компонентов. Изв.ЛЭТИ. Науч. тр. / Ленингр. элек-тротехн. ин-т им. В. И. Ульянова (Ленина), 1980, вып. 266, с. 2127.
- Новожилова Л.М., Федоров А. Н. Библиотека инструментальных программ C0MMDU Программа перекодировки содержимого памяти для печати в виде шестнадцатиричных чисел, Аннотир. перечень новых поступлений, М., МОСФАП, вып.2, JS 7314.
- Новожилова Л.М., Федоров А. Н. Работа с базой данных системы «ЭМЦ-2″. Изв.ЛЭТИ. Науч.тр./Ленянгр. электротехн. ин-т им. В. И. Ульянова (Ленина), 1981, вып. 296, с. 68−72.
- Норенков И.П. Введение в автоматизированное проектирование технических устройств: Учеб. пособие для втузов. М.: Высшая школа, 1980. — 311 с.
- Норенков И. П, Маничев В. Б. Системы автоматизированного проектирования электронной и вычислительной аппаратуры: Учеб. пособие для вузов. М.: Высшая школа, 1983. 272 с.
- Ньюмен У., Спрулл Р. Основы интерактивной машинной графики. М.: Мир, 1976. — 573 с.
- Оре 0. Теория графов. М.: Наука, 1980. — 336 с.
- Овчаров Л.А., Селетков С. Н. Автоматизированные банки данных. М.: Финансы и статистика, 1982. — 262 с.
- Олле Т. В, Предложения КОДАСИЛ по управлению базами данных /Пер, с англ. М.: Финансы и статистика, 1981. — 286 с.
- Основные характеристики отечественных СУБД и ИПС/Под ред. А. А. Стогния. Киев, 1980. — 71 с. (Препринт/Ин-т кибернетики: П-80−49).
- Остапенко Г. С. Аналоговые полупроводниковые интегральныемикросхемы. М.: Вадио и связь, 1981. — 280 с.
- Перков Н.К. ^определение ошибок перфорации в текстах описаний электронных схем. Изв.ЛЭТИ. Науч.тр./Ленингр. элек-тротехн. ин-т им. В. И. Ульянова (Ленина), 1979, вып. 249, с.29−32.
- Полянин К.П. Интегральные стабилизаторы напряжения. -М.: Энергия, 1979. 192 с.
- Попов Э.В. Общение с ЭВМ на естественном языке. М.: Наука, 1982. — 360 с.
- Поспелов Г. С. Методы искусственного интеллекта в деятельности инженера. В сб.: Автоматизация поискового конструирования. — Горький, 1978, с. 14−34.
- Поспелов Д.А. Логико-лингвистические модели в системах управления. М.: Энергоиздат, 1981. — 231 с.
- Потемкин И.О. Автоматическое решение задач синтеза. -Тр.МЭИ/Моск. энергетич. ин-т, 1977, вып. 349, с. 15−23.
- Прикладная информатика: Сб. статей/Под ред. В. М. Савинкова. Вып. 1(6). — М.: Финансы и статистика, 1984. — 150 с.
- Сиротко В.К. Основные характеристики системы автоматизированного проектирования СПУР-2. Изв.ЛЭТИ. Науч.тр./Ленингр. электротехн. ин-т им. В. И. Ульянова (Ленина), 1977, вып. 224, с. 29−41.
- Соколова В.В. Организация программного обеспечения систем автоматизированного проектирования электронных схем на ЭВМ серии ЕС. Дис.. канд. техн. наук. — Ленинград, 1978. — 138 с.
- Солтон Г. Динамические библиотечно-информационные системы. М.: Мир, 1979. — 558 с.
- Телешюс Э.Ю. Семантическая модель данных диалогового банка данных. Моделирование экономических систем, 1980, № 19, с. 31−39.
- Тодорой Д.Н. Расширяемые средства машинной графики (программное обеспечение). М.: Радио и связь, 1983. — 208 с.
- Томас Д.Э. Автоматизированный синтез цифровых систем. -ТИИЕР: Пер. с англ., 1981, т.69, Ш 10, с. 20−35.
- Трамбле Ж., Соренсон П. Введение в структуры данных. -М.: Машиностроение, 1982. 784 с.
- Уинстон П. Искусственный интеллект. М.: Мир, 1980. -519 с.
- Ульман Дж. Основы систем баз данных. М.: Финансы и статистика, 1983. — 334 с.
- Уокер Б.С., Гурд Дж.Р., Дроник Е. А. Интерактивная машинная графика. М.: Машиностроение, 1980. — 170 с.
- Федоров А.Н. Логическая организация банка схем в системе схемотехнического проектирования. Изв.ЛЭТИ. Науч.тр./Ленингр. электротехн. ин-т им. В. И. Ульянова (Ленина), 1982, вып. 310, с. 31−34.
- Федоров А.Н. Представление информации о принципиальных схемах в банке схем. Изв.ЛЭТИ. Науч.тр./Ленингр. электротехн. ин-т им. В. И. Ульянова (Ленина), 1982, вып. 306, с. 56−59.
- Федоров А.Н. Поисковые процедуры банка схем системы схемотехнического проектирования. Изв.ЛЭТИ. Науч.тр./Ленингр. электротехн. ин-т им. В. И. Ульянова (Ленина), 1983, вып. 335, с. 38−40.
- Федоров А. Н. Применение банка электронных схем на мини
- ЭВМ в учебном процессе. В кн.: Применение систем автоматизированного проектирования в машиностроении: Тез. докл. научно-тех-нич. конф. — Свердловск, 1982, с. 40.
- Фуке В.И. Принципы проектирования я оценка резерва производительности графических комплексов СМ ЭВМ. Приборы и системы управления, 1980, № II, с. 9−12.
- Хьюз Дне., Мичтом Дж. Структурный подход к программированию. М.: Мир, 1980. — 280 с.
- Цурин 0.§., Махяяенко Л. И. Графическая диалоговая система ввода и редактирования структурных и принципиальных схем. -Управляющие системы и машины, 1979, № 6, с. II2-II6.
- Черный А.И. Введение в теорию информационного поиска. -М.: Наука, 1975. 238 с.
- Чупракова И.С., Федоров А. Н. Программа вывода графической информации на экран терминала. Аннотир. перечень новых поступлений. М., МОСФАП, 1982, вып. 4, JS 7363.
- Шомье Ж. Банки данных: Использование электронной вычислительной техники/Пер. с франц. М.: Энергоиздат, 1981. — 72 с.
- Шрейдер Ю.А. Равенство, сходство, порядок. М.: Наука, 1971. — 254 с.
- НО. ЭВМ в проектирования и производстве/А.В.Амосов, Т. А. Арбузова, В. Е. Архангельский и др.- Под общ. ред. Г. В. Орловского. -Л.: Машиностроение, Ленянгр. отд-ние, 1983. 296 с.
- Язык описания данных КОДАСИЛ/Пер. с англ. М.: Статистика, 1981. — 183 с.
- Ясин Е. Теоретические проблемы развития информационных систем. В кн.: Модели данных я системы баз данных. — М.: Наука, 1979, с. 5−30.
- Codd E.F. A relational model of Data for Large Shared Data Banks. Comm. ACM, vol. 13, No. 6 (1970), p. 377−587.
- Delobel C. An overview of the relational data theory.-In: Information Processing 80, Amsterdam: Worth-Holland, 1980, p. 413−426.
- Giordana A., Laface P., Saitta L. Modelling control strategies for artificial intelligence applications.- In: Proc. Int. Conf. Parallel Process., New York, 1980, p. 347−349.
- Hammer Н», McLeod D. Database Description with SDM:
- A Semantic Database Model. ACM Transaction on Database Systems, 1981, vol. 16, No. 3, p. 351−386.
- Harris L.R. Using the database as a semantic component to aid in the parsing of natural language data base queries.-J. Cibernetics, 1980, vol. 10, No. 1−3, p. 77−96.
- Johnson W.A., Crowley J.J., Ray J.D. Mixed level simulation from a hierarchical CHDL. SIGDA Newsletter, 1980, vol. 10, No. 1, p. 2−10.
- Kane J.B. Design automation concerns. In: 16th Des. Automat. Conf. Proc., San Diego: California, 1979, p. 347−348.
- Lozinscii E.L. Constraction of relations in relational databases. ACM Trans. Database Syst., 1980, vol. 5, No. 2, p. 208−224.
- Molina F.W. A practical data base design method. -Data Base, 1979, vol. 11, No. 1, p. 3−11.
- Mylopoulos John An overview of knowledge representation, SIGART Newsletter, 1981, No. 74, p. 5−12.
- Mylopoulos John A perspective for research on conceptual modelling, SIGART Newsletter, 1981, No. 74, p. 167−170.
- Quillian M.P. Semantic Memory in Semantic Information
- Processing, Mynsky M. (ed.) MIT Press, Cambridge, Mass., 1968, p. 459−476.
- Studer R. Functional specification of a decision support system, Ins 5th Int. Conf. Very Large Data Bases, Rio de Janeiro, 1979″ New York, p. 85−93.
- Taylor R.W., Fry J.P., Smith D.C.P., Su S.Y.W. Database program conversion a framework for research. In- 5th Int. Gonf. Very Large Data Bases, Rio de Janeiro, 1979, New York, p.299−312.
- Yoshikawa H. General design theory and a CAD system. -Proc. of IFIP Conf. on Man-Machine Commun. in CAD/CAM, 1981, p. 35−53.