Разработка моделей иерархических описаний для эффективного решения сложных задач в многомашинных многопроцессорных комплексах
Диссертация
В четвертой главе предлагается модель для оптимального распределения процессов в технической системе вычислительных узлов с целью минимизации времени выполнения программы с учетом обменов. В модели каналы связи между узлами могут обладать различной пропускной способностью, узлы могут быть связаны не напрямую. Допускается многозадачный режим на одном процессоре. Эта модель оптимизации использует… Читать ещё >
Список литературы
- Adler R.M. Emerging Standarts for Component Software// Computer. — 1995.- V. 28, N 3. -P.68−77.
- Krieger D., Adler R.M. The Emergence of Distributed Component Platforms// Computer. 1998, — V. 31, N 3. — P.43−53.
- Haan D., Kahn P., Riley V., Coombs J., Mayravits N. IRIS Hypermedia Services// Communications of the ACM.- 1992. V. 35, N1. — P.36−51.
- Newcomb S., Kipp N., Newcomb V. The «НуTime» Hypermedia/ Time-Based Document Structure Language// Communications of the ACM. -1991. V. 34, N 11. — P.67−81.
- Прохоров В.В. Pi-схемы — язык графического представления алгоритмов и синтаксических описаний// Кибернетика и системный анализ.- 1992, — N 2, — С.93−107.
- Прохоров В.В. О иерархической технологии представления знаний, организации программных средств и человеко-компьютерного взаимодействия// Труды ИММ УрО РАН. Екатеринбург: УрО РАН, 1995. С.274−294.
- Prokhorov, V. PYTHAGORAS: Multienvironment Software// Lecture Notes in Computer Science, Vol.1015. Springer Verlag, Berlin, Germany, 1995. P.135−148.
- Prokhorov, V. To Representation of Syntax Definitions// Technology Transfer Series: Expert Systems Applications & Artificial Intelligence. Gournay-Sur-Marne, France: IITT International, 1995. P. 53−58.
- Prokhorov, V. To Contradictions Between Wealth and Compactness of Languages// Proceedings of the International Conference «Software Engineering Education» SEC'94. Los Alamitos: IEEE Computer Society Press, 1994. P.289−296.
- Прохоров В.В. О микроконтекстном подходе к построению языков представления знаний и человеко-компьютерного взаимодействия.//Изв.РАН. Теория и системы управления. 1997. — № 5. — С.5−15.
- Липаев В.В. Качество программного обеспечения//М.: Финансы и статистика, 1983,264 с.
- Липаев В.В., Потапов А. И. Оценка затрат на разработку программных средств//М.: Финансы и статистика, 1988, 224 с.
- Холстед М.Х. Начала науки о программах// М.: Финансы и статистика, 1981, 128с.
- McCabe T.J., Butler C.W. Design Complexity Measurements and Testing//Communications of the ACM, 1989, N12, v.32, p. 1415−1425.
- Kearney J.K., Seldmeyer R.L., Thompson W.B., Gray M.A., Adler M.A. Software Complexity Measurement// Communications of the ACM, 1986, N11, v.29, p. 1044−1050.
- Kemer C.F. An Empirical Validation of Software Cost Estimation Models// Communications of the ACM, 1987, N5, v.30, p.416−429.
- Chan T. Chung S.L., Ho Т.Н. An Economic Model to Estimate Software Rewriting and Replacement Times// IEEE Transactions on Software Engineering, 1996, N8, v.22, p.580−598.
- Экспертные оценки// Вопросы кибернетики. 1979. — Выпуск 58. -200с.
- Прохоров В.В., Смирнов Д. В. Модель оценки и оптимизации затрат в многоуровневых нечетких средах//Программирование, 2001, N5, с. 34−44.
- Prokhorov V.V., Smirnov D.V. Software Cost Optimization Model Based on Decision Making// Proceedings of the Fourth Conference of the International Society for Decision Support Systems. Lausanne, Switzerland: Hewlett Packard. — 1997. — P.665−666.
- Smirnov D.V. Expenditures Optimizations in Human- Computer Enironments// Proceedings of the 6th East-West International Conference on Human-Computer Interaction. -Moscow: ICSTI. 1996. — P. 316−319.
- Смирнов Д.В. Оптимизация затрат в сложных компьютерных системах при нечетких условиях// Труды международного семинара «Мягкие вычисления». Казань: КГТУ. — 1996. — С. 186−190.
- Смирнов Д.В. Оптимизация затрат на программирование в иерархических мультиязыковых средах// Тезисы докладов молодежной конференции «Проблемы теоретической и прикладной математики». Екатеринбург: УрО РАН. — 1996. — С. 60−61.
- Заде JI. Понятие лингвистической переменной и его применение к принятию приближенных решений//М.: Мир, 1976, 168 с.
- Нечеткие множества и теория возможностей. Последние достижения// М.: Радио и связь, 1986. 408 с.
- Борисов А.Н., Крумберг О. А., Федоров И. П. Принятие решений на основе нечетких моделей//Рига: Знание, 1990. 184с.
- Представление и использование знаний. М.: Мир, 1989.
- Построение экспертных систем. М.: Мир, 1987, 448 с.
- Экспертные системы. Принципы работы и примеры. М.: Радио и связь, 1987, 224с.
- Попов Э.В. Экспертные системы состояние, проблемы, перспективы// Изв. АН СССР. Техн. кибернет., 1989, N5, С. 152−161.
- Любарский Ю.А. Интеллектуальные информационные системы. М.: Наука, 1990,232 с.
- Алиев Р.А., Абдикеев Н. М., Шахназаров М. М. Производственные системы с искусственным интеллектом. М.: Радио и связь, 1990, 264 с.
- Попов Э.В., Фридман Г. Р. Алгоритмические основы интеллектуальных роботов и искусственного интеллекта. М.: Наука, 1976, 446 с.
- Искусственный интеллект. Кн. 1. Системы общения и экспертные системы. М. Радио и связь, 1990. 464 с.
- Георгиев В.О. Модели представления знаний предметных областей диалоговых систем// Изв. РАН. Техн. кибернет. 1993, N5, С.24−44.
- Поспелов Д.А. Логико-лингвистические модели в системах управления. М.: Энергоатомиздат, 1981, 232 с.
- Кандрашина Е.Ю., Литвинцева Л. В., Поспелов Д. А. Представление знаний о времени и пространстве в интеллектуальных системах. М.: Наука, 1989, 328 с.
- Поспелов Г. С. Искусственный интеллект основа новой информационной технологии. М.: Наука, 1988, 280 с.
- Плесневич Г. С. Представление знаний в ассоциативных сетях// Изв. АН СССР. Техн. кибернет. 1982, N5, С.6−22.
- Ефимова С.М., Суворов Е. В. Модель П-графов для представления знаний и способ ее аппаратной реализации на основе метода МЗ// Изв. АН СССР. Техн. кибернет. 1986, N2, С.32−47.
- Поспелов Д.А. Ситуационное управление: теория и практика. М: Наука, 1986, 288с.
- Минский М. Фреймы для представления знаний. М.: Энергия, 1979, 151с.
- Вольфенаген В.Э., Яцук В .Я. Алгебра на фреймах для манипулирования знаниями// Изв. АН СССР. Техн. кибернет. 1984, N5, С.4−14.
- Мачераускас В.Ф. Фреймовая модель знаний в системах управления качеством// Изв. АН СССР. Техн. кибернет. 1982, N5, С. 166−172.
- Клещев А.С. Представление знаний. Методология, формализм, организация вычислений и программная поддержка// Прикладная информатика, 1983, Вып. 1, С.49−93.
- Fikes R., Kehler Т. The role of frame-based representation in reasoning// Communications of the ACM. 1985, N9, v28, p.904−920.
- Нильсон H. Принципы искусственного интеллекта. M.: Радио и связь, 1985, 373 с.
- Представление знаний в человеко-машинных и роботехнических системах/ Том А. Фундаментальные исследования в области представления знаний. М.: ВИНИТИ, 1984, 261 с.
- Представление знаний в человеко-машинных и роботехнических системах/ Том В. Инструментальные средства разработки систем, ориентированные на знания. М.: ВИНИТИ, 1984, 236 с.
- Genesereth М., Ginsberg М. Logic Programming// Communications of the ACM. 1985, N9, v28, p.933−941.
- Малпас Дж. Реляционный язык ПРОЛОГ и его применения. М.: Наука, 1990, 464с.
- Искусственный интеллект. Кн. 2. Модели и методы. М.: Радио и связь, 1990, 304 с.
- Абрамович С.М. Представление знаний в модульной СПТ// В кн. Методы и разработки систем программирования. Ростов-на-Дону: РГУ, 1983.
- Эйкинс Я.С. Знания, организованные в виде прототипов, для экспертных систем/ Кибернетический сборник. 1985, Вып. 22, С.221−277.
- Тыыгу Э.Х. Интеграция знаний// Изв. АН СССР. Техн. кибернет. 1989, N5, С.3−13.
- Прохоров В.В., Копелев А. Б., Смирнов Д. В. Что такое ПИФАГОР?// Компьютерные учебные программы. 1999. — N 4 (19). — С.37−38.
- Прохоров В.В., Копелев Л. Б., Смирнов Д. В. ПИФАГОР: среда визульного программирования// Компьютерные учебные программы. 1999. — N 4 (19). — С.57−58.
- Прохоров В.В., Смирнов Д. В., Копелев А. Б., Береснева Н. П., Кучина Е. П., Яковлев А. В. ПИФАГОР. Графическая среда программирования. Екатеринбург: УрО РАН. — 1998. — 136 с.
- Prokhorov V.V., Kopelev А.В., Mamin P.V., Smirnov D.V. Microcontext visual technology and PYTHAGORAS media// Proceedings of international conference «New technology in education». Troitsk: Fond Baitik. — 1996. — P. 188−191.
- Prokhorov V.V., Smirnov D. V The PYTHAGORAS: visual media// Proceedings of international conference «Interactive systems: the problems of human-computer interaction». -Ulyanovsk. 1995. — P. 19−21.
- Prokhorov V.V., Smirnov D.V. The PYTHAGORAS media// Материалы выставки «Интеллектуальные информационные системы». Ульяновск. — 1995. С. 16.
- Прохоров В.В., Копелев А. Б., Смирнов Д. В. Программный комплекс pi-лого: программирование в образах// Тезисы международной конференции «Применение новых технологий в образовании"// Троицк: «Байтик», 1993. С.117−119.
- Прохоров В.В., Копелев А. Б., Смирнов Д. В. О мультиязыковой pi-технологии в образовании: ПИФАГОР// Тезисы Всероссийской конференции «Информационные технологии в школах и вузах».- М., 1993. С. 74.
- Прохоров В.В., Некрасов А. Н., Смирнов Д. В. Система визуального программирования на базе pi-схем// Тезисы молодежной конференции «Проблемы теоретической и прикладной математики». Екатеринбург: УрО РАН, 1993. С. 52.
- Прохоров В.В., Береснева Н. П., Копелев А. Б., Некрасов А. Н., Смирнов Д. В. Программный комплекс ПИФАГОР// Тезисы научно-практической конференции «Информатизация образования 93», — Екатеринбург: СГПИ, 1993. С.55−56.
- Гладун В.П. Планирование решений. Киев: Наукова думка, 1987, 168 с.
- Зенкин А.А. Когнитивная компьютерная графика. М.: Наука, 1990, 191 с.
- Джорджеф М.П., Лански Э. Л. Процедурные знания// ТИИЭР, 1986, т.74, N10, С. 101 -118.
- Нариньяни А.С., Кандрашина Е. Ю. Технологический комплекс построения баз знаний// Вычислительные системы и программное обеспечение. Новосибирск: ВЦ СО АН СССР, 1986, С. 100−118.
- Айелло Л., Чекки К., Сартини Д. Представление и использование метазнаний// ТИИЭР, 1986, т.74, N10, С. 12−31.
- Вагин В.П., Кикнадзе В. Г. Дедуктивный вывод на семантических сетях в системах принятия решений// Изв. АН СССР. Техн. кибернет. 1984, N5, С. 106−120.
- Языки представления знаний и вопросы реализации экспертных систем. Владивосток: ДВНЦ АН СССР, 1984, 153 с.
- Представление знаний в человеко-машинных и роботехнических системах// Том С. Прикладные человеко-машинные системы, ориентированные на знания. М: ВИНИТИ, 1984,380 с.
- Weaver М.Т., France R.IC., Chen Q.-F., Fox E.A. Using a frame-based language for information retrieval// International journal of intelligent systems. 1989, v4. N3, p.223−258.
- Приобретение знаний. M.: Мир, 1990, 304 с.
- Нейманн И.В., Шнейдерман М. В. Получение экспертных знаний// Итоги науки и техники. Сер. Техническая кибернетика. М.: ВИНИТИ, 1990, т.29, С.44−78.
- Кук Н.М., Макдоиальд Дж.Э. Формальная методология приобретения и представления экспертных знаний// ТИИЭРЛ 986, т.74, N10, С.145−154.
- Микулич Jl.И. Проблемы создания экспертных систем// Уч. записки Тартус. гос. ун-та. Вып. 714: Теория и модели знаний. Тарту, 1985, С.87−114.
- Гаврилова Т.Д., Червинская К. Р., Яшин A.M. Формирование поля знаний на примере психодиагностики//Изв. АН СССР. Техн. кибернет. 1988, N5, С. 72−85.
- Молокова О.С. Методология приобретения знаний для экспертных систем// Изв АН СССР. Техн. кибернет. 1991, N5, С.24−28.
- Осуга С. Обработка знаний. М.: Мир, 1989, 294 с.
- Хорошевский В.Ф. Программные средства представления знаний: состояния исследований и проблемы// Искусственный интеллект. Кн. 3. Программные и аппаратные средства. М.: Радио и связь, 1990, С.72−82.
- Логический подход к искусственному интеллекту: от классической логики к логическому программированию. М.: Мир, 1990, 432 с.
- Глушков В.М., Цейтлин Т. Е., Ющенко Е. Л. Алгебра, программирование, языки// -Киев: «Наукова Думка». 1978. 320с.
- Семантика языков программирования. М.: «Мир», 1980,400с.
- Смирнов Д.В. Алгоритмическая алгебра pi-схем// Тезисы докладов Региональной молодежной конференции «Проблемы теоретической и прикладной математики». Екатеринбург: ИММ УрО РАН, 1999. С.97−98.
- Смирнов Д.В. Алгебра иерархических языков в компьютерных средах// Тезисы докладов молодежной конференции «Проблемы теоретической и прикладной математики». Екатеринбург: УрО РАН. — 1997. — С. 85−86.
- Смирнов Д.В. Универсальный алгоритм на языке pi-схем// Задачи моделирования и оптимизации. Свердловск: УрО АН СССР. — 1991. — С. 76−94.
- Танаев B.C., Сотсков 10.П., Струсевич В. А. Теория расписаний. Многостадийные системы. М.: Наука, 1989.
- Назаров С.В., Примаков А. А. Параллельная обработка информации в сетях ЭВМ// Автоматика и телемеханика. 1 991. N 5. С. 170−180.
- Сускин В.В. Планирование вычислительных операций с учетом времени обмена в микропроцессорных вычислительных системах// Автоматика и вычислительная техника. 1985. N 6. С. 85−89.
- Барский А.Б. Планирование параллельных вычислительных процессов. М.: Наука, 1980.
- Прохоров В.В., Смирнов Д. В. Модель оптимизации времени обменов в распределенных средах// Тезисы докладов молодежной конференции «Проблемы теоретической и прикладной математики». Екатеринбург: УрО РАН. 1998. С. 73−74.
- Прохоров В.В., Смирнов Д. В., Измайлов С. В. Вычислительный прокси-сервер// Тезисы докладов Региональной молодежной конференции «Проблемы теоретической и прикладной математики». Екатеринбург: УрО РАН, 2000. С.146−147.
- Прохоров В.В., Косарев В. А., Копелев А. Б., Смирнов Д. В. Визуальные мультиязыковые средства для разработки распределенных сред// Управляющие системы и машины. 1999.-N 5. — С.75−83.
- Прохоров В.В., Стариков А. Н., Смирнов Д. В. Программная среда «Вычислительный прокси-сервер»// Тезисы докладов Всероссийской студенческой научно-технической конференции «Информационные технологии и электроника». Екатеринбург: УГТУ, 1999. С.72−73.
- ПУБЛИКАЦИИ ПО МАТЕРИ АЛАМ ДИССЕРТАЦИИ
- Прохоров В.В., Смирнов Д. В. Модель оценки и оптимизации затрат в многоуровневых нечетких средах// Программирование, 2001, N5, с. 34−44.
- Прохоров В.В., Смирнов Д. В., Измайлов С. В. Вычислительный прокси-сервер// Тезисы докладов Региональной молодежной конференции «Проблемы теоретической и прикладной математики». Екатеринбург: УрО РАН, 2000. С.146−147.
- Прохоров В.В., Косарев В. А., Копелев А. Б., Смирнов Д. В. Визуальные мультиязы-ковые средства для разработки распределенных сред// Управляющие системы и машины. -1999. -N 5. С.75−83.
- Смирнов Д.В. Алгоритмическая алгебра pi-схем// Тезисы докладов Региональной молодежной конференции «Проблемы теоретической и прикладной математики». Екатеринбург: ИММ УрО РАН. 1999. С.97−98.
- Прохоров В.В., Стариков А. Н., Смирнов Д. В. Программная среда «Вычислительный прокси-сервер»// Тезисы докладов Всероссийской студенческой научно-технической конференции «Информационные технологии и электроника». Екатеринбург: УГТУ, 1999. С. 72−73.
- Прохоров В.В., Копелев А. Б., Смирнов Д. В. Что такое ПИФАГОР?// Компьютерные учебные программы. 1999. — N 4 (19). — С.37−38.
- Прохоров В.В., Копелев А. Б., Смирнов Д. В. ПИФАГОР: среда визульного программирования// Компьютерные учебные программы. 1999. — N 4 (19). — С.57−58.
- Прохоров В.В., Смирнов Д. В., Копелев А. Б., Береснева Н. П., Кучина Е.Г1., Яковлев А. В. ПИФАГОР. Графическая среда программирования. Екатеринбург: УрО РАН. -1998. — 136 с.
- Прохоров В.В., Смирнов Д. В. Модель оптимизации времени обменов в распределенных средах// Тезисы докладов молодежной конференции «Проблемы теоретической и прикладной математики». Екатеринбург: УрО РАН. 1998. С. 73−74.
- Prokhorov V.V., Smirnov D.V. Software Cost Optimization Model Based on Decision Making// Proceedings of the Fourth Conference of the International Society for Decision Support Systems. Lausanne, Switzerland: Plewlett Packard. — 1997. — P.665−666.
- Смирнов Д.В. Алгебра иерархических языков в компьютерных средах// Тезисы докладов молодежной конференции «Проблемы теоретической и прикладной математики». Екатеринбург: УрО РАН. — 1997. — С. 85−86.
- Smirnov D.V. Expenditures Optimizations in Human- Computer Enironments// Proceedings of the 6th East-West International Conference on Human-Computer Interaction. -Moscow: ICSTI. 1996. — P. 316−319.
- Смирнов Д.В. Оптимизация затрат в сложных компьютерных системах при нечетких условиях// 1 руды международного семинара «Мягкие вычисления». Казань: КГТУ. -1996.-С. 186−190.
- Prokhorov V.V., Kopelev A.B., Mamin P.V., Smirnov D.V. Microcontext visual technology and PYTHAGORAS media// Proceedings of international conference «New technology in education». Troitsk: Fond Baitik. — 1996. — P. 188−191.
- Смирнов Д.В. Оптимизация затрат на программирование в иерархических муль-тиязыковых средах// Тезисы докладов молодежной конференции «Проблемы теоретической и прикладной математики». Екатеринбург: УрО РАН. — 1996. — С. 60−61.
- Prokhorov V.V., Smirnov D. V The PYTHAGORAS: visual media// Proceedings of international conference «Interactive systems: the problems of human-computer interaction». -Ulyanovsk. 1995. — P. 19−21.
- Прохоров В.В., Береснева П. П., Копелев А. Б., Мамин П. В., Смирнов Д. В. О противоречиях между мощью языка и его простотой// Тезисы докладов молодежной конференции «Проблемы теоретической и прикладной математики». Екатеринбург: УрО РАН. -1995.-С. 53−55.
- Prokhorov V.V., Smirnov D.V. The PYTHAGORAS media// Материалы выставки «Интеллектуальные информационные системы». Ульяновск. — 1995. С. 16.
- Прохоров В.В., Копелев А. Б., Смирнов Д. В. Программный комплекс pi-лого: программирование в образах// Тезисы международной конференции «Применение новых технологий в образовании"// Троицк: «Байтик», 1993. С. 117−119.
- Прохоров В.В., Копелев А. Б., Смирнов Д. В. О мультиязыковой pi-технологии в образовании: ПИФАГОР// Тезисы Всероссийской конференции «Информационные технологии в школах и вузах», — М., 1993. С. 74.
- Прохоров В.В., Некрасов А. Н., Смирнов Д. В. Система визуального программирования на базе pi-схем// Тезисы молодежной конференции «Проблемы теоретической и прикладной математики». Екатеринбург: УрО РАН, 1993. С. 52.
- Кафедра хирургических болезней N2 Уральской государственной медицинской академии. Центр экспериментальной и клинической хирургии г. Екатеринбурга на базе ЦГКБ N11. АКТ ВНЕДРЕНИЯ
- Данная система позволяет автоматизировать съем и анализ реоплетизмо-граммы, оценивать степень риска заболеваний на основе ее компьютерной обработки, вести базу данных, но обследованным больным.
- Применение системы CARDO позволило повысить эффективность диагностики заболеваний поджелудочной железы.
- Лауреат Государственной премии СССР академик АПМ профессорj |.|В.А. Козлов•ff • h Ч>/ /у
- РОССИЙСКАЯ ФЕДЕРАЦИЯ МИНИСТЕРСТВО ОБРАЗОВАНИЯведущий) отделинформатизации101 856, Москва, Центр, Чистопрудный Оульиар. б факс: (095) 924−69−89, телефон: (095) 923−73−19, телетайп: 114 027 КОНОИД (095) 923−57 оЬ1. N МЯШ ОТ /У, св. 96на N 'п
- Российская Академия наук Уральское отделение Институт математики и механики
- После проведенной экспертизы Министерство образования. Российской Федерации разрешает к изданию с гриФом «Рекомендовано Отделом информатизации Министерства образования Российской Федерации» программный комплекс «ПиФагор». 1
- Министерство образования Российской Федерации Средняя общеобразовательная школа «Творчество» г. Екатеринбург, ул. Пионеров, 3.1. Тел.:(3432) 4 155 771. АКТ О ВНЕДРЕНИИ
- С 2001 года в учебном процессе средней общеобразовательной школы «Творчество'» применяется программный комплекс ПИФАГ ОР, разработанный в Институте математики и механики УрО РАН.
- Комиссия в составе председателя, директора школы «Творчество» П. Г. Попова и члена, преподавателя Е. В. Кукушкиной признала применение программного комплекса ПИФАГОР успешным. Использование комплекса будет продолжаться и далее.'.. ' '' ' i — 1
- Член комиссии, преподаватель t L^-j^J^y Е.В.Кукушкина