Математическое и программное обеспечение иерархического моделирования и проектирования сложных вычислительных систем
Диссертация
Апробация работы. Результаты работы обсуждались на следующих конференциях и семинарах: Всесоюзной школе-семинаре молодых ученых «Методы искусственного интеллекта в САПР» (Гурзуф, 1990 г.) — Всесоюзном совещании-семинаре молодых ученых и специалистов «Разработка и оптимизация САПР и ГАП изделий электронной техники на базе высокопроизводительных мини-и микроЭВМ» (Воронеж. 1989 г.) — Международной… Читать ещё >
Содержание
- 1. ИССЛЕДОВАНИЕ ПРОБЛЕМ ИЕРАРХИЧЕСКОГО МОДЕЛИРОВАНИЯ ПРИ ПРОЕКТИРОВАНИИ ВЫЧИСЛИТЕЛЬНЫХ СИСТЕМ
- 1. 1. Иерархическое моделирование сложных систем
- 1. 2. Исследование лингвистических средств иерархического поведенческого моделирования
- 1. 2. 1. Требования к лингвистическим средствам
- 1. 2. 2. Классификация языков проектирования и представление их с помощью формальных грамматик
- 1. 2. 3. Оценочные критерии проблемно — ориентированных языков
- 1. 2. 4. Краткий обзор и сравнительный анализ проблемно — ориентированных языков
- 1. 3. Анализ методов преобразования исходной информации
- 1. 4. Классификация и анализ алгоритмов дискретного моделирования
- 1. 5. Исследование систем иерархического моделирования
- 1. 6. ВЫВОДЫ
- 2. РАЗРАБОТКА ЛИНГВИСТИЧЕСКОГО ОБЕСПЕЧЕНИЯ ИЕРАРХИЧЕСКОГО МОДЕЛИРОВАНИЯ
- 2. 1. Разработка лингвистических средств иерархического моделирования
- 2. 1. 1. Разработка требований к лингвистическому обеспечению ИАМ
- 2. 1. 2. Обоснование выбора проблемно-ориентированных понятий языка описания функционирования
- 2. 2. Разработка системы целочисленного кодирования и хранения исходной информации
- 2. 3. Преобразование исходного описания проекта
- 2. 4. ВЫВОДЫ
- 2. 1. Разработка лингвистических средств иерархического моделирования
- 3. РАЗРАБОТКА МАТЕМАТИЧЕСКОГО И ОРГАНИЗАЦИОННОГО ОБЕСПЕЧЕНИЯ СИСТЕМЫ ИЕРАРХИЧЕСКОГО МОДЕЛИРОВАНИЯ
- 3. 1. Разработка требований и основных принципов организации системы иерархического моделирования
- 3. 2. Обоснование схемы компиляции моделирующего модуля
- 3. 3. Особенности построения и организации моделирующего модуля
- 3. 4. Разработка структуры имитатора и процесс, его компиляции
- 3. 4. 1. Алгоритм формирования дерева глобальных обявлений имитатора
- 3. 4. 2. Анализ алгоритма ПДИ
- 3. 5. Разработка алгоритма моделирования
- 3. 6. Разработка структуры данных моделятора
- 3. 7. Разработка алгоритма формирования очереди будущих событий
- 3. 8. Организация временного круга
- 3. 9. Моделирование процессов
- 3. 9. 1. Методика активизации и планирования процессов
- 3. 9. 2. Организация изменения состояния процесса. зло
- 4. 1. Общая структура пакета
- 4. 2. Организация сервисного обслуживания
- 4. 3. Программное обеспечение работы с базами данных
- 4. 4. Программное обеспечение компиляции имитатора
- 4. 5. Реализация инициализации проекта
- 4. 6. Результаты опытной эксплуатации и внедрение пакета
- 4. 7. Методика использования пакета
- 4. 8. ВЫВОДЫ
Список литературы
- Абрамов С.А. Элементы анализа программ. Частичные функции на множестве состояний. М.: Наука. 1987.-128 с.
- Автоматизация проектирования вычислительных систем. Языки, моделирование и базы данных / Под редакцией М. Брейера, Пер. с англ. Е. Е. Маховой, М.: МИР, 1979. 464 с.
- Автоматизированное проектирование цифровых устройств / Под ред. С. С. Бадулина, М.: Радио и связь, 1981. — 240 с.
- Андерсон Р. Доказательство правильности программ / Пер. с англ. Б. Н. Зобниной под ред. Д. Б. Подшивалова. М.: Мир, 1982. 168 с.
- Вайнгартен Ф., Трансляция языков программирования /Пер. с англ. К. Н. Рининой, М.: Мир, 1983. 190 с.
- Вейнеров О.М., Самохвалов Э. Н. Проектирование баз данных М.: Высш.шк., 1990. — 144 с.
- Вирт Н. Алгоритмы + структуры данных = программы / Пер. с англ. М.: Мир, 1985.- 396 с.
- Вирт Н. Алгоритмы и структуры данных /Пер. с англ. Д. Б. Подшивалова, М.:Мир, 1985 г. — 406 с.
- Гинсбург С., Математическая теория контекстно свободных языков / Пер. с англ., М.: Мир, 1970. — 146 с.
- ГлушковВ.М. и др. Алгебра. Языки. Программирование / Глушков В. М., Цейтлин Г. Е., Ющенко Е. Л. 3-е изд., перераб., доп.- Киев: Наук, думка, 1978. — 320 с.
- Грин Д., Кнут Д. Математические методы анализа алгоритмов / Пер. с англ. К).В. Матияеевича. М.: Мир, 1982. — 120 с.
- Груска Й. Характеристика контекстно свободных языков / Кибернетич. сб., Новая серия. — М.: Мир 1973. — Вып 10, — С. 114−126
- Гудман С., Хидетниеми С. Введение в разработку и анализ алгоритмов. / Пер с англ. В. В. Мартынюка. М.: Мир, 1981. — 368 с.
- Гурвич Е.И., Енгалычев A.M., Татарников Ю. А. Система моделирования цифровых систем МОДИС ВЕС // УП Всесоюзное совещание по теории и методам математического моделирования, Куйбышев, 1978 г. — С, 34−38.
- Касьянов В.Н., Поттосин И. В. Методы построения трансляторов / Новосибирск, «НАУКА» 1986.
- Киносита К., Асада К., Карацу О. Логическое проектирование СБИС / Пер. с японск. Д.А. Ковтунова- М.: МИР, 1988 г. 309 с.
- Кнут Д. Искусство программирования на ЭВМ. Т. 1, Основные алгоритмы. / Пер с англ. К. И. Бабенко и Ю. М Баяковского М.: Мир, -1976.-735 с.
- Кнут Д. О переводе (трансляции) языков слева направо//Языки и автоматы: сб. ст. М.: Мир, 1975. — С. 607−639.
- Корячко В.П., Курейчик В. М., Норенков И. П., Теоретические основы САПР М.: Энергоатомиздат, 1987.
- Лавров С.С. Основные понятия и конструкции языков программирования / М.: Финансы и статистика, 1982 г.
- Легонин H.H., Язык YHDL и технология описания СБИС на его основе// ЭЛЕКТРОНИКА, 1989. -№ 6. — С. 101−107.
- Лопатин B.C., Медведкова И. Е., Межов В. Е. Основные принципы иерархического моделирования пакета «ПРИАМ'У/Автометрия. 1990. — N 5. — С, 86−90.
- Лопатин B.C., Медведкова И. Е., Межов В. Е. Реализация иерархического моделирования в пакете «ПРИАМ» // Автометрия. -1990- N 5. С. 117−119.
- Львович Я.Е. и др. Языки, методы и алгоритмы многоуровневого поведенческого моделирования: Учеб. пособие/Я. Е. Львович, И. Е. Медведкова, В.Е. Межов- Воронеж, политехнич. ин-т, Воронеж, 1992.- 110 с.
- Максимей И.В. Имитационное моделирование на ЭВМ, М.: Радио и связь, 1988. 232с.
- Манна 3. Теория неподвижной точки программы. II Кибернетический сб. М.: Мир, 1978. — С. 38−100.
- Медведкова И.Е. Структура файлов базы данных пакета «ПРИАМ»// Методы и средства оценки и повышения надежности приборов, устройств и систем: Тез. докл. Междунар. науч.- техн. конф./Пензенск. гос. технич. ин-т -Пенза, 1995. С. 45.
- Медведкова И.Е., Межов В. Е. Алгоритм иерархического моделирования пакета «ПРИАМ»// Новые информационные технологии в проектировании: Тез. докл. Между нар. шк. молодых ученых и специалистов/ Симферопольск. гос. ун-т Гурзуф, 1992. — С.167−169
- Медведкова И.Е., Межов В. Е. Многоуровневое моделирование СБИС// Автоматизированное проектирование и схемотехника МДП СБИС: Тез. докл. науч.- гехн. конф./ Новосибирск, гос. ун-т Новосибирск, 1991.- С. 8.
- Медведкова И.Е., Межов В. Е. Многоуровневое моделирование блоков ЭВМ// Актуальные проблемы анализа и обеспечения наглядности и качества приборов, устройств и систем: Тез. докл. Между нар. науч.-техн. конф./Пензенск. гос. технич. ин-т Пенза, 1996. — С.8.
- Медведкова И.Е., Межов В. Е. Махинова Л.А. Исследование методов и алгоритмов иерархического проектирования схем узлов малых ЭВМ// Науч.-техн. отчет по НИР рег.№ У97 688 / Особое констр. бюро при з-де «Процессор» Воронеж, 1989. — 118 с.
- Межов В.Е., Медведкова И. Е. Некоторые особенности реализации пакета программ иерархического моделирования // Методы искусственногоинтеллекта в САПР: Тез. докл. Междунар. конф. и шк. молодых ученых./ Симферопольск. гос. ун-т Гурзуф, 1992. — С.74−76.
- Методы моделирования при проектировании // серия Вычислительная техника/РАДИОЭЛЕКТРОНИКА, N 1- М.- 1988 г. С. 1−10
- Милн Боб, Интеграция различных программ моделирования в составе комплекса САЙТ // Электроника. 1995. — N10. — С. 69 -71
- Милн Боб. Высокопроизводительный аппаратный комплекс поведенческого моделирования // Электроника. 1996. -N10. — С. 81−84
- Норенков И.П. Введение в автоматизированное проектирование технических устройств и систем. М.: Высш. шк., 1986. — 304 с.
- Ope О. Теория графов / Пер. с англ. И.H.Врублевской, М.: Наука, 1980.- 352 с.
- Пратт Т., Языки программирования: разработка и реализация / Пер с англ., М.:Мир, 1979, 574 с.
- Прицкер А., «Введение в имитационное моделирование и язык С Л AM II // Пер. с англ., М.: Мир, 1987. 646 с.
- Рейуорд-Смит В.Дж., Теория формальных языков / Пер. с англ. Б. А. Кузьмина.- М.:Радио и связь, 1988. 128 с.
- Теория и методы автоматизации проектирования вычислительных систем / Под ред. М. Брейера, Пер с англ. Б. Г. Меркулова. М.:Мир, 1977. -284 с.
- Тиори Т., Фрай Дж. Проектирование структур баз данных. // Пер. с англ. М.: Мир, 1985. Кн 1. — 287 с.
- Фелдман Дж., Грис Д. Системы построения трансляторов // Алгоритмические языки: сб. ст. М.: Изд ВЦ АН СССР, 1971. — Вып.5.
- Фути К., Судзуки. Н., Языки программирования и схемотехника СБИС // Пер с япон. А. С. Чупахина, М.: Мир, 1988 г. 224 с.
- Хаммер К., Рэбель Г. Генерация кода для частично векторизуемых циклов в векторизующем компиляторе PASCAL XT // Векторизация программ: теория, методы, реализация: сб. ст. / Пер. с англ. С. В. Спрогиса. — М.: Мир, 1991.-С. 66−76.
- Хатнер Р., Проектирование и конструирование компиляторов / Пер. с англ. М.: Финансы и статистика 1984. — 232 с.
- Хоар. Взаимодействующие последовательные процессы. // Пер. с англ. А. П. Ершова. М.: Мир, 1989. 264 с.
- Хомекий Н., Формальные свойства грамматик // Кибернет. сб. М.: Наука, 1996. — Вып 2, — С. 121−230
- Чернобород J1.В. Верификация класса циклических программ без использования циклов // Программирование. 1984. -№ 2, — С. 3−14
- Языки программирования (Алгоритмы и алгоритмические языки). // Сб. ст. М.: НАУКА 1985.
- Barbacci M.R., instruction Set Processor Specification (ISPS) // The Notation and its Application, Dept. of CS. Carnegie Mellon University, 1989
- Belsness O., The Use of SIMULA for Real-Time System Implementation // Norwegian Computing Center, Oslo, 1998
- Bryant R.E., MOSSIM: A Swich-Level Simulator for MOS-LSI // in Proceedings of 18th Design Automation Conference, 1991
- Blackburh R.L., Thomas D.T., Linking the behavional and structural domains of representation for digital system design // IEEE Trans. Comput- Aid. Des. Integr Circuits and Syst., 1987, 6, № 1 p. 103−110
- Cheatham Т.Е., Sattley K., Syntax Directed Compiling // Proceedings Shring Joint Computer Conference, 1984, p. 31−57.
- DACAPO-1I System User Manual // DOSIS GmbH. Dortmund, 1986.
- Floyd R.W., Bounded Context Syntactic Analysis // Communications of the Association for Computing Machinery, 7 (Feb. 1964, p. 62−67.
- Floyd R.W., Syntactic Analysis and Operator Precedence // Journal of the Association for Computing Machinery, 10 (Juli 1963), p. 316−333.
- Gonauser M. Egger F. Frantz D. SMILE A Multilevel Simulation System // in Proceedings of ICCD'84,1984. P. 24−43
- Infalnte B., Bates M., Lock E, MADE. A Language for descri bing Mixed Behavior and Structure // in Proceedings of the IFIP Sixih International Symposium on Computer Hardware Description languages and their Applications, May 1983.
- Kernghan B.W.,.Ritchie D. M, The C Programming Languoge // Prentice Halt, 1978.
- Eine (realisierte) Metasprache zur Definition von Sentax und Semantik von Fachsprachtn // Elektron, Inform, Kubernetik 1978, II, 360−370
- Marko wits M.C., Distributed processing speeds YHDL compulator // END., 1991, 36, № 1, p. 78−121.
- RAMMIG F.J., Multilevel Simulation Technigues // the First InternationalConference on Computer Technology Systems and Applications, May: 1987, p. 188−192
- Rammig F.J., Preliminary CAP/DSDL Language Reference Manual // Forschungsbericht der Abt. Informatik, Univ. Dortmund. Nr. 129.1980
- Sandere L» Where VHDL fits within tye CAD environment // 23 th ACM/ IEEE Des. Autom. Conf. Maiami Beach. Fla., 1987. p.482−490.
- Scheffer L.K., Dowelt R.L., Apte B. M, Design and Simulation of VLSI Circuits II in Hewlett-Packard Journal, vol 32, no 36, June 1995.
- Schonemann Heinz, Schwarz Joachim, Intelligente Test-Software generiert Test-pattern fur VLSI-Schaltungen // ELEKTRONIK 1989, H.23, (ELEKTRONIK SREZIAL S. 77.79)
- Shahbad E, An overview of VH DL Language of technology//23 rd ACM/ IEEE Des.Autjm. Conf. Las Vegas, June 29-july 2, 1986, Proc., New York, 1986, p320 326
- E.Slutz G., Okila J., Wiseman D., Block Description Language (BDL). A Structural Description Language // in Proceedings of the ACM IEEE Twenty-First Design Automation Conference, June 1984.
- VHDL: Language Reference Manual, Version 7.2 II IEEE, June 1986
- Vladimirescu A., Liu S., The Simulation of MOS Integrated Circuits Using SPICE 2 //, Memo VCB/ERLM 80/7, Univ. of California. Berkeley, 1980