Методы проектирования подсистемы обработки проблемно-ориентированных систем потока данных
Диссертация
Практическая полезность методики заключается в возможности проектирования структуры ПОС ЦЦ, предназначенных, например, для полунатурного моделирования сложных динамических объектов, цифровой обработки сигналов в реальном масштабе времени, адекватной структурным и временным особенностям реализуемого в системе алгоритма, с целью максимального использования преимуществ асинхронного способа… Читать ещё >
Список литературы
- Алгоритмы, математическое обеспечение и архитектура многопроцессорных вычислительных систем / Под ред. В. Е. Котова и И. Мик-лошко. — М.: Наука, 1982. — 336 с.
- Анишев П.А. Редуцируемость сетей Петри. Программирование, 1982, № 4, с.36−43.
- Апериодические автоматы / Под ред. В. И. Варшавского. М.: Наука, 1976.
- Артамонов Г. Т- Анализ производительности ЦВМ методики теории массового обслуживания. М.: Энергия, 1972. — 175 с.
- Барский А.Б. Планирование параллельных вычислительных процессов. М.: Машиностроение, 1980. — 192 с.
- Борисенко В.И. Алгоритм построения схемы потока данных. Кибернетика, 1978, № 6, с.46−52.
- Борисенко В.И. Трансляция схем программ в схемы потока данных / ИК АН УССР. Киев, 1979. — (Препринт № 79−42). — 41 с.
- Борисенко В.И. О трансляции последовательных схем программ в схемы потока данных. Кибернетика, 1980, № 4, с.41−47.
- Борисенко В.И. Эквивалентные преобразования схем потока данных / Ж АН УССР. Киев, 1981- - (Препринт № 81−24). — 48 с.
- Варшавский В.И., Мараховский В, Б., Песчанский В. А., Розен-блюм Л. Я. Асинхронные процессы. Изв. АН СССР- Техническая кибернетика, 1980, № 4, с.137−142- № 5, с.138−143.
- Визинг В.Г. Некоторые нерешенные задачи в теории графов. -Успехи математических наук, т. ХХШ, вып.6(144), 1968, с.117--134.
- Ван дер Варден Б. Алгебра. М.: Наука, 1979.
- Вишневский Ю.А., Котов Е. Е., Марчук А. Г. Проблема создания модульной асинхронной развиваемой системы (МАРС). В кн.: Многопроцессорные вычислительные структуры. — Таганрог: ТРТИ, 1981, вып. З (ХП), с.15−17.
- Власов В.В., Крайников А. В. Алгебраическое представление схем потока данных. Л.: ЛЭТИ, 1983. — 25 с. — (Рук. деп. в ВИНИТИ, № 4258).
- Водяхо АШ., Легалов А. И. Особенности архитектуры и структуры специализированных процессоров потока данных. В кн.:1У Всесоюзная школа-семинар «Распараллеливание обработки информации». Тезисы докладов и сообщений. Часть Ш. Львов, 1983, с. 160.
- Головкин Б.А. Параллельные вычислительные системы. М.: Наука, 1980. — 519 с.
- Головкин Б.А. Расчет характеристик и планирование параллельных вычислительных процессов. М.: Радио и связь, 1983. — 272 с.
- Глушков В.М., Анисимов А. В. Преобразователи Черча-Россера. -Кибернетика, 1978, $ 6, с.46−52.
- Глушков В.М., Цейтлин Г. Е., Кщенко Е. Л. Алгебра. Языки. Программирование. Киев: Наук, думка, 1978. — 318 с.
- Глушков В.М., Цейтлин Г. Е., Юценко Е. Л. Методы символьной мультиобработки. Киев: Наук, думка, 1980. — 242 с.
- Деннис Дж.Б., Фоссин Дж.Б., Линдерман Дж.П. Схемы потока данных. В кн.: Теоретическое программирование. Часть 2. Труды симпозиума. Новосибирск: ВЦ СО АН СССР, 1972, с-7−43.
- Дийкстра Э. Взаимодействие последовательных процессов. В кн.: Языки программирования. — М.: Мир., 1972, с.9−86.
- Дубров Я.А. Алгебраические свойства временных характеристик распараллеливания. В кн.: 1У Всесоюзная школа-семинар «Распараллеливание обработки информации». Тезисы докладов и сообщений. — Львов, 1983, с.4748.
- Дубров Я.А. Метод взвешенных графов в распараллеливании обработки информации. В кн.: 1У Всесоюзная школа-семинар «Распараллеливание обработки информации». Тезисы докладов и сообщений. — Львов, 1983, с.49−50.
- Ершов А.П. Современное состояние теории схем программ. Проблемы кибернетики, 1973, вып.27, с.87−110.
- Ершов А.П. Введение в теоретическое программирование. М.: Наука, 1977, 228 с.
- Зуховицкий С.И., Радчик И. А. Математические методы сетевого планирования. М.: Наука, 1965. — 296 с.
- Зыков А.А. Теория конечных графов. Новосибирск: Наука, 1969. — 543 с.
- Карп P.M., Миллер Р. Е. Параллельные схемы программ. В кн.: Кибернетический сборник (новая серия). М.: Мир, 1975, вып.13, с.5−61.
- Клейнрок Л. Теория массового обслуживания. М.: Машиностроение, 1979. — 438 с.
- Колумбай С.К., Шумейко В. М. Применение потокового метода синхронизации при распараллеливании по циклам. В кн.: Многопроцессорные вычислительные структуры. — Таганрог: ТРТИ, 1981, вып. 3(ХП), с.59−63.
- Колумбай С.К. Схемы параллельных потоков управления и методы их реализации на основе параллельных процессоров и мультипроцессоров. Харьков: ХИРЭ, 1982. — 117 с. — (Рук. деп. в ВИНИТИ № 6189).
- Котов В.Е., Нариньяни А. С. Асинхронные вычислительные процессы над памятью. Кибернетика, 1966, № 3, с.64−71.
- Котов В.Е. Введение в теорию схем программ. Новосибирск: 1978. — 256 с.
- Котов В.Е. Алгебра регулярных сетей Петри / ВЦ СО АН СССР. -Новосибирск, 1978. (Препринт № 98). — 33 с.
- Котов В.Е. Алгебра регулярных сетей Петри. Кибернетика, 1980, J* 5, с.10−18.
- Котов В.Е. О практической реализации асинхронных параллельных вычислений. В кн.: Системное и теоретическое программирование / ВЦ СО АН СССР. — Новосибирск, 1972, с. ИО-125.
- Котов В.Е. Теория параллельного программирования. Прикладные аспекты. Кибернетика, 1974, № I, с.1−16- № 2, с.1−18.
- Котов В.Е. Параллельное программирование с типами управления. Кибернетика, 1979, № 3, с.1−13.
- Легалов А.И. Организация высокопроизводительных спецпроцес-copoBi Изв.ЛЭТИ. Науч. тр. / Ленингр.электротехн. ин-тим.В. И. Ульянова (Ленина), 1983, вып.324. Организация и проектирование вычислительных структур на БИС, с.6−9.
- Легалов А.И. Организация управления вычислениями в процессорах потоков данных: Автореф. дис.. канд.техн. наук. Ленинград, ЛЭТИ, 1983, 14 с.
- Легалов А.И. Организация управления вычислениями в процессорах потока данных: Диссерт.. канд.техн.наук. Ленинград, ЛЭТИ, 1983,
- Марчук Г. И., Котов В. Е. Модульная асинхронная развиваемая система / ВЦ СО АН СССР. Новосибирск, 1978. — (Препринт № 86, № 87).
- Методы параллельного микропрограммирования / Под ред.О.Л.Ван-дман. Новосибирск: Наука, 1981. — 178 с.
- Нариньяни А.С. Теория параллельного программирования. Формальные модели. Кибернетика, 1974, № 3, с.1−15- № 5, с.1−14.
- Оре 0. Теория графов. М.: Наука, 1980. — 336 с.
- Параллельная обработка (обзор) Электроника, 1983, т.56, !? 12, с. 25−39.
- Подловченко Р.И. Моделирование программ схемами и построение систем преобразований схем. Кибернетика, 1982, № 6,с.23—29.
- Прангишвили И.В., Стецюра Г. Г. Современное состояние проблемы создания ЭВМ с нетрадиционной структурой и архитектурой, управляемых потоком данных. Измерения, контроль, автоматизация, 1981, № 1(35), с.36−48.
- Розенблюм Л.Я. Сети Петри. Изв. АН СССР. Техническая кибернетика, 1983, № 5.
- Специализированные ЦВМ /Смолов В.Б., Барашенков В. В., Бай-ков В.Д. и др.- Под ред.В. Б. Смолова М.: Высш. школа, 1981. — 279 с.
- Строева Т.М., Фальк В. Н. Асинхронные вычислительные сети: ABC-модель и ABC-система параллельного программирования. -Кибернетика, 1981, № 3, с.90−96.
- Танкелевич Р.Л. Моделирующие микропроцессорные системы. М.: Энергия, 1979. — 120 с.
- Хохловский В.Н. Исследование методов организации вычислительного процесса в микро-ЭВМ с вычислительными средами: Автореф. дис.. канд.техн.наук. Ленинград, ЛЭТИ, 1981. 18 с.
- Элементы параллельного программирования /В.А.Вальковский, В. Е. Котов, А. Г. Марчук, Н.Н.Миренков- Под ред.В. Е. Котова. -М.: Радио и связь, 1983. 240 с.
- Ющенко Е.Л., Цейтлин Г. Е. Многоуровневый синтез структурированных программ. Кибернетика, 1982, № 5, с.11−21.,
- Янов Ю.И. 0 логических схемах алгоритмов. В кн.: Проблемы кибернетики. — М.: Физматгиз, 1958, вып. I, с.75−127.
- Arvind, K.P. Gostelow. A computer capable of exchanging processors for time. In: Information Processing 77, North-Holland Publ. Co., Amsterdam, 1977, P- 849−853.
- Barton R.S., Davis A.L. System and method for concurrent and pipeline processing employing a data driven network. US Patent, No 3.978.452, August, 31, 1976.
- Backus J. Can programming be liberated from the von Neumann style? A functional style and algebra of programs. -Communications of ACM, 1978, v. 21, No 8, p. 613−641.
- Baudet G.M., Brent R.P., Kung H.T. Parallel execution of tests on a asynchronous multiprocessor. Australian Computer
- Journal, 1980, v. 12, No 3, p. 105−112.
- Bic L. A protection model and its implementation in a data flow system. Communications of ACM, 1982, v. 25, No 9, p. 650−658.
- Computation structures group. In: Laboratory for computer science progress report 17. Massachussetts Institute of Technology for computer science progress report, 1979−1980, No 17, p. 19−35.
- Davis A.L. The architecture and system method of DDM1- A recursively structured data driven machine. In: Proc. Fifth Symp. Computer Architecture, New York, 1978, p. 210−215.
- Dennis J.В., Misunas D.P. Data processing apparatus for highly parallel execution of stored programs. US Patent G 06
- F 3/oo, 15/00, G 06 К 17/00, No 5 962 706, June, 8, 1976.
- De Franchesco N., Vaglini G., Vannechi M. Implementation of parallel computation schemata. In: Proc. Second EUROMICRO Symp. Microprocess. and Microprogramm., Venice, 1976. -North- Holland Publ. Сотр., Amsterdam, 1977, P- 157−163.
- Dhas R.C. Estimation of instrinsic parallelism in high level programs using data flow execution. In: COMPCON Fall 80: 21st IEEE Comput. Soc. Int. Conf.: Distrib. Comput.
- New York, 1980, p. 313−320.
- Dhas R.C. A ring-based data-Flow multiprocessor. In: COMPCON Spring 82: 24th IEEE Comput. Soc. Int. Conf., San-Francisco,
- Calif., Eebr. 22−25, 1982, Dig. Pap. New York. 1982, p. 218−223.
- Estrin G., Turn R. Automatic Assignment of computation in a variable structure computer system. IEEE Trans, on Electronic Computers, 1963, v. 12, No 6, p. 755−773.
- Hoare C.A.R. An Axiomatic basis for computing programming.-Communs. ACM, 1969, v. 12, p. 576−580.
- Jaffe J.M. The use of queues in the parallel data flow evaluation of «if-then-while» programs. MIT, Lab. Comput. Sci., 1978. — 12 p. (Techn. Memo. No 104).
- Jaffe J.M. The equivalence of R.E. programs and data-flow schemes. MIT, Lab. Comput. Sci., 1979 — 35 P- (Techn. Memo.1. No 121).
- Jaffe J.M. Parallel computation: synchronization, scheduling and schemes. MIT, Lab. Comput. Sci., 1979- - 264 p. (Techn. Memo. Rept. No 231).
- Johnson D. Data-flow machines threaten the program counter. -Electronic Design, 1980, v. 22, November, p. 255−258.
- Kasai J., Miller R.E. Homomorfism between models of parallel computation. Journal of Computer and System Sciences, 1982, v. 25, p. 285−331.
- Miller R.E., Kassai J. Comparing models of parallel computation- 243 by homomorfisms. In: COMPSAC 79. Proc. LEEE Comput. Soc.'s Third Int. Comput. Software and Appl. Conf., Chicago, 111., 1979, p. 794−799.
- Misunas D.P. A computer architecture for the data-flow computation. MIT, Lab. Comput. Sci., 1975 — 107 p. (Techn. Memo. No 100).
- Organick E.I. New directions in computer systems architecture.- Proc.: EUROMICRO Symp. Microprocess. and Microprogramm.: Large Scale Integration. North-Holland Publ. Co., Amsterdam, 1978, p. 6−8.
- Rosen B.K. A lubricant for data flow analysis. SIAM J. Comput., 1982, v. 11, No 5, p. 495−511.
- Schindler M. New architectures keep pace with throughputneeds.- Electronic Design, 1981, May, No 14, p. 97-Ю6.
- Simmons G.H. TDMP: a data-flow processor. In: Proc. IEEE Int. Conf. Circuits and Computers, ICCC 808 Port Chester N.Y., 1980 — New York, 1980, p. 757−741.
- Suzuki Jatsuo, Kurihara Ken, Janaka Hidehiko, Moto-oka Johru. Procedure level data flow processing on dynamic structure multiprocessor. J. Information Processing, 1982, v. 5, No 1, p. 11−16.