Математические модели параллельных вычислительных процессов и их применение для построения многопоточных приложений на системах с SMP-архитектурой
Диссертация
Параллельная обработка информации широко используется для увеличения производительности вычислительных систем. Особое место среди параллельных систем занимают системы реального времени, поведение которых в значительной степени зависит от количественных временных характеристик. Процесс проектирования систем такого типа — нетривиальная задача, требующая для своего решения фундаментальных… Читать ещё >
Список литературы
- Акимов O.E. Дискретная математика: логика, группы, графы. — М.: Лаборатория базовых знаний, 2001. — 286с.
- Аммерал Л. Интерактивная трехмерная машинная графика. М.: «Сол Систем», 1992. — 317 с.
- Аммерал Л. Машинная графика на персональных компьютерах. — М.: «Сол Систем», 1992. 232 с.
- Аммерал Л. Принципы программирования в машинной графике. — М.: «Сол Систем», 1992. 224 с.
- Архангельский А.Я. Программирование в С++ Builder 6/ А. Я. Архангельский. — М.: ЗАО «Издательство Бином», 2002. — 1152 с.
- Ахо A.B. Структуры данных и алгоритмы / A.B. Ахо, Дж. Хопкрофт, Д. Д. Ульман. — М.: Издательский дом «Вильяме», 2000. 384 с.
- Байцер Б. Микроанализ производительности вычислительных систем. М.: Радио и связь. 1983. — 350с.
- Барский А.Б. Параллельные процессы в вычислительных системах. Планирование и организация. — М.: Радио и связь. 1990. — 256с.
- Бахвалов Н.С., Жидков Н. П., Кобельков Г. М. Численные методы. -М.: Наука, 2987.-600 с.
- Боглаев Ю.П. Вычислительная математика и программирование. М.: Высшая школа, 1990. — 544с.
- Боев В.Д. Моделирование систем. Инструментальные средства GPSS World: Учебное пособие. СПБ.: БХВ — Петербург, 2004. — 368с.
- Бочаров H.B. Технологии и техника параллельного программирования // Программирование. 2003. — № 1. — С. 5−23.
- Бэбб Р. Программирование на параллельных вычислительных системах / Под ред. Р. Бэбба II. М.: Мир, 1991, — 376 с.
- Вайвил Д., Цао Ен, Тротмен А. Поверхность Цао Ена: новый подход к геометрическим моделям произвольных форм // Программирование. 1992. № 4. С. 4−16.
- Васильков Ю.В. Компьютерные технологии вычислений в математическом моделировании: Учеб. пособие. /Ю.В. Васильков, H.H. Василькова. -М.: ФиС, 2001. 256 с.
- Вирбицкайте И.Б. Семантические модели в теории параллелизма. -Новосибирск: ИСИ СО РАН, 2000. 196 с.
- Вирт Н. Алгоритмы и структуры данных. М.: Мир, 1989. — 360 с.
- Воеводин В.В. Математические модели и методы в параллельных процессах. -М.: Наука, 1986. 296 с.
- Воеводин В.В. Параллельные вычисления / В. В. Воеводин, Вл. В. Воеводин. СПб.: БХВ-Петербург, 2004. — 608 с.
- Волков Е.А. Численные методы М.: Наука, 1987.-412с.
- Горбатов, В.А. Фундаментальные основы дискретной математики. Информационная математика. Текст. // Учебник для втузов. — М.: Наука. Физматлит. 2000. — 544 с.
- Гордеев A.B. Операционные системы- Питер Серия/Выпуск, 2004, Учебник для вузов ISBN: 5−94 723−632-Х с. 416
- Грин Д., Кнут Д. Математические методы анализа алгоритмов. — М.: Мир, 1987. 120 с.
- Дейкстра Э. Дисциплина программирования. М.: Мир, 1978. — 275 с.
- Демидович Б.П., Марон И. А. Основы вычислительной математики. -М.: Наука, 1970. 664с.
- Евстигнеев В.А., Касьянов В. Н. Теория графов: алгоритмы обработки деревьев. Новосибирск: ВО «Наука», 1994. — 360 с.
- Завьялов Ю.С. Методы сплайн функций / Ю. С. Завьялов, Б. И. Квасов, B.JI. Мирошниченко — М.: Наука, 1980. — 352 е.
- Зельковиц М. Принципы разработки программного обеспечения. / М. Зельковиц, А. Шоу, Дж. Гэннон. М.: Мир, 1982. — 368 с.
- Иванов Б.Н. Дискретная математика. Алгоритмы и программы. М.: Лаборатория Базовых Знаний, 2001. — 288 с.
- Иванов В.П., Батраков A.C. Трехмерная компьютерная графика. —М.: Радио и связь, 1995. 224с.
- Клейнрок JI. Вычислительные системы с очередями. М.: Мир. 1979. -600с.
- Кнут Д. Искусство программирования для ЭВМ. Т. 1: Основные алгоритмы. М.: Издательский дом «Вильяме», 2000. — 720 е.
- Кнут Д. Искусство программирования для ЭВМ. Т. 2: Структуры данных. — М.: Издательский дом «Вильяме», 2000. 832 е.
- Кнут Д. Искусство программирования для ЭВМ. Т. 3: Поиск и сортировка. М.: Издательский дом «Вильяме», 2000. — 832 с.
- Кормен Т., Лейзерсон Ч., Ривест Р. Алгоритмы: построение и анализ Серия: «Классические учебники». М.: МЦНМО, 1999. — 960 с.
- Корнеев В.В. Архитектуры с распределенной разделяемой памятью // Открытые системы. — 2003. № 5. — С 15−23.
- Корнеев В.В. Параллельные вычислительные системы. М.: Нолидж. — 1999.-320с.
- Котов В.Е. Сети Петри. М.: Наука, 1984. 160с.
- Котов В.Е. Элементы параллельного программирования. М.: Радио и связь, 1983.-192 с.
- Крылов В.И., Бобков В. В., Монастырный П. И. Вычислительные методы. Т.1., Т.2 — М.: Наука, 1976. — 304с., 1977. — 400с.
- Крылов, В.И. Вычислительные методы / В. И. Крылов, В. В. Бобков, •П.И. Монастырный Т.1./Г.2 — М.: Наука, 1976. — 304с., 1977. — 400с.
- Лацис А. О. Как построить и использовать суперкомпьютер. М.: Бестселлер 2003. — 274 с.
- Левин И.И., Омаров О. М. Управляющие функциональные сети Петри для моделирования распределенных вычислительных сетей // Вестник Дагестанского научного центра РАН. Махачкала: Изд-во ДНЦ РАН, 2005. -Т.21. — С. 44−49.
- Липский В. Комбинаторика для программистов. М.: Мир, 1988. -213 с.
- Маклейн С. Категории для работающего математика / Пер. с англ.подред. В. А. Артамонова. -М.: ФИЗМАТЛИТ, 2004. 352с.
- Мандельброт Б. Фрактальная геометрия природы. М.: Институт комп. иссл., 2002. — 656 с.
- Миренков H.H. Параллельное программирование для мультимодульных компьютерных систем. — М.: Радио и связь. 1989. -320с.
- Михайлова H.H. Вычислительная математика: Учеб. пособие. -Комсомольск-на-Амуре: Комсомольский-на-Амуре гос. техн. ун-т, 2002−105 с.
- Михайлова H.H. Обработка экспериментальных данных на ЭВМ : Учеб. пособие. Комсомольск-на-Амуре: ГОУВПО «КнАГТУ», 2006 — 56с.
- Морозов А.Д. Введение в теорию фракталов. Москва — Ижевск: Институт комп. иссл., 2002. — 160 с.
- Нефедов В.Н., Осипова В. А. Курс дискретной математики. М.: Изд-во МАИ, 1992.
- Нивергельт Ю. Машинный подход к решению математических задач / Ю. Нивергельт, Дж. Фаррар, Э. Рейнгольд. -М.: Мир, 1977. 352 с.
- Новиков Ф.А. Дискретная математика для программистов. СПб: Питер, 2000. — 304 с.
- Омаров О.М. Моделирование параллельных алгоритмов с использованием сетей Петри // Искусственный интеллект. Донецк: Наука i освгга, 2005. — Т 4. — С. 240−244.
- Омаров О.М. Теория вычислительных процессов и структур. Учебное пособие. Махачкала: РИО ДГТУ, 2005. — 268 с.
- Павлидис Т. Алгоритмы машинной графики и обработки изображений. -М.: Мир, 1986.-396с.
- Петрова А.Н. Теория языков программирования и методы трансляции. 4 1- Теория: Учеб. пособие. Комсомольск-на-Амуре: ГОУВПО «КнАГТУ», 2004- 110с.
- Питерсон Дж. Теория сетей Петри и моделирование систем: Пер. с англ. М.: Мир, 1984.- 284с., ил.
- Препарата Ф., Шеймос М. Вычислительная геометрия: Введение. -М.: Мир, 1989. 478 с.
- Роджерс Д.Ф. Алгоритмические основы машинной графики: Пер. с англ. М.: Мир, 1989. 512с.
- Роджерс Д.Ф., Адаме Дж. А. Математические основы машинной графики: Пер. с англ. М: Мир, 2001. 604с.
- Самарский A.A. Введение в численные методы. М.: Наука, 1987, -288с.
- Стенли Р. Перечислительная комбинаторика. — М.: Мир, 1990. — 440 с.
- Таненбаум Э., Вудхалл А.Операционные системы: разработка и реализация. Классика Computer Science: Перевод с англ. СПб: Питер, 2006 г. — 576 с.
- Тихомиров Ю.В. Программирование трехмерной графики. СПб.: БХВ — Петербург, 2001. — 256с.
- Топорков В.В. Модели распределенных вычислений. М.: ФИЗМАТЛИТ, 2004. 320с.
- Топорков В.В. Реализуемость потоковых моделей распределенных программ // Программирование. — 2001. № 18. — С. 18−25
- Трахтенгерц Э.А. Введение в теорию анализа и распараллеливания программ ЭВМ в процессе трансляции / Э. А. Трахтенгерц. М.: Наука, 1981.-256 с.
- Трещев И.А. Математическая модель гибридной временной волновой системы / И. А. Трещев // Системы управления и информационные технологии. 2007. — N4(30). — С. 19−21.
- Трещёв И.А. Математическое моделирование волновых систем / И. А. Трещев // ХХХП Дальневосточная математическая школа-семинар имени академика Е. В. Золотова Владивосток: Изд-во Дальнаука. 2007. — С. 101 102.
- Трещев И.А. Построение многопоточных приложений для распараллеливания алгоритмов перебора / И. А. Трещев // Информатика и системы управления. — 2008. № 1 (15). — С. 151 -159.
- Трещев И.А. Применение Асинхронных волновых систем типа «каскадный ливень» для моделирования параллельных вычислений на примере ряда алгоритмов машинной графики / И. А. Трещев // Вестник
- Трещёв И. А. Программное обеспечение для перебора последовательностей на компьютерах с SMP архитектурой / И. А. Трещев // XXXI Дальневосточная школа-семинар имени академика Е. В. Золотова Владивосток: Дальнаука. 2006. — С. 183.
- Трещёв И.А. Разработка асинхронных систем переходов для визуализации трехмерных объектов / И. А. Трещев // Труды третьей международной конференции «Параллельные вычисления и задачи управления» Москва, 24 октября.-2006.-С. 1417−1431.
- Трещёв И.А. Свидетельство об официальной регистрации программы для ЭВМ № 2 006 612 000 Асинхронные волновые системы переходов для моделирования и визуализации трехмерных объектов 9.06.2006
- Трещёв И.А. Свидетельство об официальной регистрации программы для ЭВМ № 2 007 613 267 Моделирование волновых систем при помощи сетей Петри 2.08.2007
- Трещёв И.А. Свидетельство об официальной регистрации программы для ЭВМ № 2 006 613 475 Перебор последовательностей как раскраска вершин графа при обходе в ширину с использованием многопотоковых приложений на компьютерах с SMP архитектурой 6.10.2006
- Трудоношина В.А., Пивоварова Н. В. Математические модели технических объектов Минск : Высшая школа, 1988 г. — 352с.
- Фейт С. TCP/IP: Архитектура, протоколы и реализация 2-е Изд. «Лори» 2003. 448 стр.
- Фокс, А. Вычислительная геометрия. Применение в проектировании и на производстве / А. Фокс А., М. Пратт М.: Мир, 1982. — 304 е.
- Хаусдорф Ф. Теория множеств. Едиториал УРСС, 2004. — 304 с.
- Хилл Ф. OpenGL. Программирование компьютерной графики. Для профессионалов. СПб.: Питер, 2002. 1088с.
- Хоар Ч. Взаимодействующие последовательные процессы: Пер. с англ. — М.: Мир, 1989,-264 е., ил.
- Хопкрофт Дж., Мотвани Р., Ульман Дж. Введение в теорию автоматов, языков и вычислений — М.: «Вильяме», 2002. — С. 528.
- Хусаинов A.A. Структуры и алгоритмы обработки данных. Часть 1: Учеб. пособие/А.А. Хусаинов, H.H. Михайлова. -Комсомольск-на-Амуре: ГОУВПО «КнАГТУ», 2007. 86с.
- Хусаинов, А А., Михайлова H.H. Алгоритмы машинной графики и их реализация на языке Си: Учеб. пособие. Комсомольск-на-Амуре: Комсомольский-на-Амуре гос. техн. ун-т., 1999. — 65 с.
- Хусаинов A.A., Михайлова H.H. Интерактивные графические системы. Теория: Учеб. пособие. Комсомольск-на-Амуре: ГОУВПО «КнАГТУ», 2007 — 132с.
- Хусаинов A.A., Михайлова H.H. Интерактивные графические системы. Практика Учеб. пособие. Комсомольск-на-Амуре: ГОУВПО «КнАГТУ», 2007 — 52с.
- Шамис В. Borland С++ Builder 6. Для профессионалов. СПб.: Питер, 2004.-798 с.
- Шикин Е. В. Плис Л.И. Кривые и поверхности на экране компьютера. Руководство по сплайнам для пользователей. —М.: «ДИАЛОГ-МИФИ», 1996. 240с.
- Шикин Е.В., Боресков А. В. Компьютерная графика. Динамика, реалистические изображения. М.: «ДИАЛОГ-МИФИ», 1995. — 288 с.
- Шикин Е.В., Боресков А. В. Компьютерная графика. Полигональные модели. М.: «ДИАЛОГ-МИФИ», 2000. — 464 с.
- Шилдт Г. Программирование на С и С++ для Windows 95/ Г. Шилдт .Киев: Торг. изд. бюро BHV, 1996. — 400 с.
- Яблонский С.В. Введение в дискретную математику. — М.: Высшая школа, 2001. — 312с.
- Alur R., Dill D. The theory of timed automata // Lect. Notes Comput. Sci. — 1991.—Vol. 600. —P. 45−73.
- Andreeva M. V., Bozhenkova E. N., Virbitskaite I. B. Analysis of Timed Concurrent Models Based on Testing Equivalence // Fundamenta Informaticae. — 2000. — Vol. 34. — P. 1−19.
- Bednarczyk M.A., Categories of asynchronous systems, PhD thesis in Computer Science, University of Sussex, rep ort no. 1/88,1988.
- Dongarra J. Foster Y. Sourcebook of parallel computing Elsevier Science ISBN: 1−55 860−871−0 2003 852p
- Glabbeek R., Goltz U. Equivalence Notions for Concurrent Systems and Refinement of Actions// Lect. Notes Comput. Sci. — 1989.— Vol. 379.— p.23 7−248.
- Goubault, E. and Jensen T.P. A homology of higher dimensional automata, in leaveland, W.R. (ed.), Concur 92, Springer LNCS 630. 1992. — pp. 254−268
- Hoare С., Communicating sequential processes, Comm. ACM, 21 (1978), pp. 666−677.
- Husainov A.A. The study of distributed computing algorithms by multithread applications. // Preprint Department of Computer Technologies Komsomolsk-on-Amur State technical University, 2004. 17p. http://arxiv.Org/abs//cs.DC/404 015
- Jensen, K. Colored Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Текст. Berlin: Springier. — Vol.1 — 1996, Vol.2 — 1997, Vol.3 -1997.
- Keller R., Formal verification of parallel programs, Comm. ACM, 19 (1976), pp. 371−384.
- Luca A. Kim G. An Introduction to Milner’s CCS // Preprint BRICS, Department of Computer Science Aalborg University, 2005. 97p. http://www.cs.auc.dk/luca/SV/intro2ccs.pdf.
- Milner R. A Calculus of Communicating Systems// Lect. Notes Comput. Sei. —1980.—Vol. 92.
- Nielsen M., Winskel G. Models for concurrency // Preprint DAIMI PB-429, Department of Computer Science University of Aarhus, 1993. 187 p.
- Nielsen M., Winskel G. Petri Nets and Bisimulations. // Preprint BRICS RS-95−4, Department of Computer Science University of Aarhus, 1995. 36 P
- Niemann T. Sorting and Searching Algorithms: A Cookbook. — Preprint, 1999. 36 p. — http://members.xoom.com/thomasn/sman.htm
- Parhami B. Introduction to parallel processing. Algorithms and architectures. Kluwer, 2002. -557 c.
- Petri C. A., Non-sequential processes, GMD-ISF Report ISF-77−05, 1977.
- Ranadae A. Optimal speedup for backtrack search on butterfly network. Mathematical Systems Theory, 1994. pages 85−101.
- Rao V.N., Kumar V. On the efficiency of parallel backtracking. IEEE Transactions on Parallel and Distributed Systems, 4(4): 427−437, April
- Sarfraz M. Advances in Geometric Modeling. John Wiley &. Sons, Ltd, 2003 -320p.
- Schneider S., Davies J., Jackson D.M., Reed G.M., Reed J.M., Roscoe A.W. Timed CSP: theory and practice // Lect. Notes Comput. Sci. — 1991. — Vol. 600. — P. 640−675.
- Skyum S. Introduction to Parallel Algorithms. Preprint BRICS LS-95−2, Department of Computer Science University of Aarhus, 1995. — 17 pp.-
- Winskel, G., Events in Computation. PhD thesis, University of Edinburgh, available as a Camp. Sc. report, 1980.
- Winskel, G., Synchronization trees, Theoretical Computer Science, 34, pp. 33−82,1985.1994.