Технология компонентных моделей представления знаний и ее приложения к построению гетерогенных компьютерных сред тема диссертации и автореферата по ВАК РФ 05.13.18, доктор физико-математических наук Прохоров, Владимир Валентинович
- Специальность ВАК РФ05.13.18
- Количество страниц 336
Оглавление диссертации доктор физико-математических наук Прохоров, Владимир Валентинович
Оглавление.
Введение.
Глава 1. О мультинарадигменной микроконтекстной компонентной технологии построения языков представления знаний и человеко-компыотсриого взаимодействия.
1.1. Введение.
1.2. Подходы к построению информационных сред.
1.3. Анализ сложной информационной среды, как иерархии микросрсд.
1.4. Концепция мультипарадигменной микроконтскстпой компонентной технологии.
1.5. Замечания по микроконтскстпой технологии.
1.6. Модель оценки и оптимизации затрат в многоуровневых компонентных средах.
Глава 2. Визуальные алгоритмические и синтаксические языки.
2.1. Введение.
2.2. Структурные визуальные представления алгоритмов в виде я-схсм.
2.3. Структурные визуальные представления синтаксических описаний.
2.4. Структурные визуальные представления образов в задачах распознавания.
2.5. Технология адаптируемого языка - рабочие области и шаблоны.
2.6. Технология интеграции элементов визуальных языков с внеязыковыми структурами данных и внешними средствами программирования.
Глава 3. Интеграция ресурсов удаленных вычислителен па базе вычислительных посредников.
3.1. Введение.
3.2. Технология вычислительных посредников.
3.3. Планирование загрузки вычислителей, мониторинг вычислений и расчет стоимости ресурса.
Глава 4. Применение мультиязыковой компонентной технологии и визуального подхода к построению сложных систем.
4.1. Введение.
4.2. Среды визуального программирования семейства ПУ0ЛГПРЛЕ.
4.3. Среда 1/ визуального программирования па языке Java
4.4. Среда визуальной сборки HypcrModclIcr.
4.5. Программный комплекс «Вычислительный прокси-сервер».
4.6. Комплекс интсрпст-мсдиасрсдств на базе мультипарадигменной микроконтскстпой компонентной технологии
Рекомендованный список диссертаций по специальности «Математическое моделирование, численные методы и комплексы программ», 05.13.18 шифр ВАК
Модели и методы параллельной асинхронной переработки информации в графодинамической ассоциативной памяти2000 год, кандидат технических наук Гапонов, Павел Анатольевич
Методы реализации графориентированных инструментальных сред и их применение для создания приложений1999 год, кандидат физико-математических наук Фролова, Наталья Владимировна
Методы и технология построения программных моделей для систем автоматизации моделирования2001 год, кандидат технических наук Костельцев, Андрей Вячеславович
Программная среда визуальной разработки баз данных информационных систем и средств доступа к их ресурсам на платформе WEB2005 год, кандидат технических наук Воякин, Евгений Анатольевич
Автоматизированные информационные системы с мультипроцессорной технологией решения задач на водном транспорте2000 год, кандидат технических наук Морозов, Сергей Николаевич
Введение диссертации (часть автореферата) на тему «Технология компонентных моделей представления знаний и ее приложения к построению гетерогенных компьютерных сред»
Разработана технология компонентного «слоистого» представления муль-тиметафорных компьютерно-ориентированных моделей сложных систем и построения соответствующих программных средств и вычислительных систем.
Разработаны визуальные языки как слои многокомпонентной модели. Разработана технология интеграции вычислительных услуг удаленных компьютеров в компонентную вычислительную систему. Разработаны архитектуры программных комтексов для многокомпонентных гетерогенных систем на базе ви-зуальпой сборки и компонентной мультиметафорной технологии. Разработаны архитектуры систем интернет-видеокоммупикаций па базе мультиметафорной технологии.
Для современных технологий характерен существенный рост сложности разрабатываемых и используемых систем. При этом для сложных систем соответствующая модель может включать хотя и тесно связанные, но весьма разнородные (как по внутренней сущности, так и по принятым формам представления) части. Для описания каждой из частей общей модели могут применяться весьма различные средства (например, дифференциальные уравнения, алгоритмические, логические описания, семантические сети, структурные диаграммы, описания структур данных, описания пространственных сцен и др.), что создает проблемы при описании системы в целом.
Задача описания моделей сложных систем значительно усложняется при необходимости отображения этих моделей на компьютерные средства (для информационных систем, систем имитационного моделирования и др.). При этом возникает ряд значительных проблем, в частности - проблема дистанции между естественными для специалистов классами моделей, описывающими необходимые сущности предметной области в форме, привычной для этой области, и моделями, которые могут быть непосредственно «поняты» компьютерной средой.
В связи с этим возрастает необходимость создания и развития компьютерно-ориентированных информационных моделей, ориентированных на конкретные предметные области, и соответствующих этим моделям средств человеко-компыотерного взаимодействия, обеспечивающих достаточную эффективность работы прикладного специалиста. С другой стороны, увеличивающаяся сложность систем так или иначе влечет возрастание сложности программных средств, что требует предпринятия специальных мер для обеспечения работы пользователя-специалиста с весьма крупными программно-аппаратными системами, как с единым целым. Особую важность приобретает оперирование моделями, отображенными на мультикомпыотерную среду (например, па компьютеры, объединенные сетыо Интернет).
Развитие методов построения моделей сложных многокомпонентных систем, средств их описания и компьютерной реализации является актуальной задачей, которой и посвящена данная работа.
Один из основных подходов к построению компьютерно-ориентированных средств представления моделей связан с развитием методов сведения моделей различного типа к моделям некоторой единой метафоры и представлением этой моиометафорной модели па некотором универсальном компьютерном языке (в частности - языке программирования, например, языке в основном алгоритмической метафоры С, языке функциональной метафоры Lisp, языке логической метафоры [Genesereth, Ginsberg, 1985], Prolog и т.д.). Такой подход исходно был вынуждениым, единственно возможным, начиная с первого известного языка программирования реального компьютера «Plankalkul» (Konrad Zuse, 1945г.). Впоследствии, в связи со стремлением приблизить средства компьютерных моделей к языкам прикладных специалистов, возникли тенденции к постепенному увеличению мощи языковых компьютерных средств, однако подход «минимального языка» с минимумом метафор и сейчас многими исследователями видится, как наиболее разумный (П.Вирт, Тыоринговская лекция), хотя современная «минимальность» уже весьма относительна.
Стремление найти наилучший язык представления компьютерных моделей для конкретной области привело к тому, что за каждый год компьютерной эры появлялось более 100 новых компьютерных языков; например, в перечне, опубликованном па http://pcople.ku.edu/~nkinncrs/LangList/Extras/lanelist.him упоминается 2500 универсальных языков (см. также [Зелковиц, Пратт, 2002], [Ссбеста, 2001]). Весьма значимые достижения в области разработки языков программирования имелись в СССР - алгоритмический язык Альфа (А.П.Ершов и др., 1960), Рефал, базирующийся на концепции нормального атгорифма Маркова (В.Ф.Турчин, 1968), языки аналитических вычислений Аналитик (Глушков и др., 1968) и Сириус (1970), ряд языков работы с базами данных, язык концептуального программирования Утопист (Э.Х.Тыугу), язык Декарт (С.СЛавров), и др.
Такое обилие разработанных языков стимулировало многочисленные попытки создавать некие всеобъемлющие языки, уменьшить количество используемых языков слиянием основных идей некоторых из групп известных языков («в идеале» - слить почти все известное и получить некий универсальный миогометафорпый «всеобъемлющий язык», объединяющий возможности многих языков). К таким попыткам можно отпсстн, например, проекты PL/1, ADA. Подобные усилия не прекращаются и до сих пор [Андреев, 2001]. Однако попытки создания «всеобъемлющего языка» (или хотя бы нескольких таких языков) наталкиваются па трудности, связанные с весьма большим разнообразием областей сочетания различных типов моделей для сложных систем. Для таких языков характерны громоздкость, сложность модификаций, сложность изучения.
Другой распространенный подход связан с разработкой для каждой прикладной области своих специализированных средств, позволяющих представлять модели из этой области с, по возможности, наименьшими усилиями. Одна из технологий конструирования таких языковых сред связана с так называемыми «Пакетами прикладных программ» (ППП). Данный подход обычно связан с достаточно узкой специализацией; проработка интерфейсных средств работы с ППП, как языков обычно незначительна; многие разработки ориентированы па сугубо местное использование (от «firmware» до «shelfwarc»). Массовость создания пакетов прикладных программ для частных областей такова, что количество их трудно поддастся оценке (возможно, их количество достигает миллиона).
Огромное количество имеющихся и продолжающих появляться языков, многие из которых пе очень значительно отличаются друг от друга, создает еще и дополнительную задачу их классификации.
Данные проблемы отражаются и в проблемах отображения представлений моделей на архитектуры программных средств и вычислительных систем. Наличие этих проблем было одним из стимулов для развития компонентных технологий построения программных средств [Maurcr, 2000], [Kricger, Adlcr, 1998]. Значительным этапом в развитии компонентных технологий являлась разработка компанией Microsoft технологий OLE 1 (1992), OLE 2 (1993), приведших к архитектурам СОМ (1995) и DCOM (1996) (включая спецификации составных документов ActiveDoc и компонентных вычислений ActivcX, с механизмами удаленного вызова RPC и Object RPC) и архитектуры CORBA (1991) [Schmidt D., Kuhns, 2000], разработанной объединяющий более 800 компаний консорциумом OMG (в который впоследствии вошла и Microsoft). Разрабатываются и другие подходы ([Griss, Pour, 2001], [Brcreton, Budgen, 2000]). Компонентный подход широко используется при разработке приложений электронной коммерции [P.Fingar, 2000], банковской сферы [Baster et al, 2001], интеллектуальных бизнес-приложениях [Kim et al, 2002] и др.
Развиваются подходы к построению программных средств и языковых средств взаимодействия с ними, основанных па знаниях, в том числе - иерархических ([Хорошевский, 1995], [Клсщсв, 1983], [Нарипьяни, Кондрашипа, 1986], [Копдрашина и др., 1989], [Д.Л.Поспелов, 1996], [Тыугу, 1989]), в том числе алгебраические [Ефимова, Суворов, 1986] и фреймовые [Вольфепгагеп, Яцук, 1984], [Минский, 1979], моделировании поведения сложных систем с интеграцией различных парадигм [Осипов, 1998], [Floyd, 1979].
Рассмотрению проблемы построения «единого универсального языка» посвящена первая глава данной работы, в которой предлагается «микрокоптекстный» компонентный подход мультнметафорпых «слоистых» языков, основанный на представлении языка как сложной системы микроязыков. Проблема компонентного языка рассматривается в единстве с компонентным построением программных средств и компонентным построением вычислительных систем.
Для построения компонентных моделей существенно наличие удобных микроязыков, соответствующих некоторым метафорам, для использования в качестве слоев мультиметафорпой модели. Существенное значение для удобства работы с описаниями моделей имеет внешняя форма представления. При этом весьма удобны для использования в качестве слоев в компонентных языках (и особо-для компьютерной реализации подхода) графические языки.
Преимущества графических представлений перед текстовыми вызывают интерес исследователей к проблемам визуального представления знаний в различных областях [Papert, 1980], [Raeder, 1985], [Гофсп, 1988], [Foster et al, 1999], [Chen, Paul, 2001], [Amant et al, 2000], [Бабурин и др., 2001], [Важепнп, Миренков, 2001], [Falchuk, Karmouch, 1998].
При докомпьютерном проектировании графические описания всегда широко использовались. Скажем, для описания алгоритмов широко применялись и применяются схемы потоков исполнения [ГОСТ 19.002-80, ГОСТ 19.003-80, ГОСТ 19-701-90, ISO DIS 5807.2], структуро-граммы Несси-Шпсйдермана [DIN 65261 HCN 1422], Р-схемы Вельбицкого [Вельбицкий, 1987], HIPO-диаграммы IBM [Арефьева и др., 1978]. Однако указанные представления обладают рядом недостатков, например, схемы потока исполнения ориентированы на представление последовательности команд, а не на отражение структуры, структурограммы ориентированы на представление структуры, но могут быть применены только для представления весьма простых алгоритмов.
Для графического представления синтаксических описаний наиболее широко используются «синтаксические диаграммы» [Tailor, Turner, Waychoff, 1961]. Однако этот визуальный язык не ориентирован на структурные представления описаний, кроме того, он позволяет определять только контекстно-свободные грамматики; в то время как, например, почти псе языки программирования являются контекстно-зависимыми.
Вторая глава работы посвящена построению нескольких новых графических языков, в которых преодолены некоторые отмеченные недостатки, и которые, кроме того, удобно применять как элементы предлагаемой в главе 1 концепции «слоистого языка».
Реализация сложных компьютерных моделей может требовать привлечения высокопроизводительных вычислительных ресурсов. Достаточно резкое разделение возможностей компьютера пользователя и высокопроизводительных систем привело к развитию web-доступа к ресурсам высокопроизводительных компьютеров (напр., в отечественных системах WebWS, системе САТУРН [Новопашин и др., 2002], в проекте OGSA [Талиа, 2003], позволяющей интегрировать службы и ресурсы распределенных гетерогенных динамических сред с помощью связывания технологий GRID и WEB, в системе Globus, где GRID-службы обеспечивают наполнение web-служб реальным содержанием для поддержки функционирования распределенных организаций), а также к формированию концепции «мстакомпыотинга» [Smarr, Catlctt, 1992], [Metacomputing Tomorrow], включая технологию GRID [Baraglia ct al, 2000], [Foster et al, 1999] (напр., в проекте EU DataGrid глобальной европейской инфраструктуры в области физики высоких энергий, биологии и систем наблюдения над Землей [Ильин, 2002]). При этом компьютер пользователя выполняет основные функции по формированию вычислительной среды для конкретной модели, оказываясь «интегратором», объединяющим ресурсы мощных компьютеров, используемых для данного процесса, а также выполняет функции взаимодействия с пользователем. Взаимодействие компонент при такой интеграции удобно осуществлять с помощью средств, предоставляемых в рамках архитектур COM/DCOM и CORBA [Schmidt, Kuhns, 2000]). Значительным шагом в развитии технологий мстакомпыотинга являлась разработка открытой архитектуры Open Grid Services Architecture (OGSA) [Талиа, 2003], [Коваленко, Корягин, 2003], инициированная фирмами Globus Project и IBM. Весьма полный обзор GRID-техпологий приводится в [Воеводин, Воеводин, 2002].
При построении систем метакомпыотипга встает множество проблем: задания пользователем модели, реализуемой в такой среде, взаимодействия процессов в частях метасистемы, максимизации повторного использования компонент, включая старые разработки. Весьма существенное значение имеет проблема надежности всего комплекса, состоящего из многих компонент, в условиях возможных отказов частей или линий связи. В отношении повторного использования здесь следует отметить и проблему переносимости программных средств, затрудняющую использование знаний, реализованных в виде текстов программ или откомпилированного машинного кода.
Третья глава работы посвящена разработке технологии использования в мстакомпыотип-говой системе вычислительных услуг удаленных вычислителей с помощью сервера-посредника (посредника между потребителем вычислительных услуг и вычислительной системой), предоставляющего средства накопления «актуализированных знаний». Технология способствует решению некоторых из отмеченных проблем интеграции высокопроизводительных систем в системы мстакомпыотинга на базе компонентной технологии главы 1.
Применение компонентных подходов может быть плодотворно при реапизации комплексов программ во множестве областей, например, в системах метакомиьютнига, моделирования, системах медиакоммуникаций.
При этом в числе актуачьных элементов программных комплексов, построенных по компонентной мультимстафорной технологии можно назвать системы интеграции компонент на базе визуачьной сборки (близкие задачи решаются в системах HypcrSignal, MathCad и др.), системы организации библиотек вычислительных модулей и удаленного доступа к вычислительным ресурсам (паир., система WebWS, обеспечивающая веб-доступ к высокопроизводительным ресурсам СПбГУ [Золотарев и др., 2002], система веб-доступа к вычислительным ресурсам ИПМ РАП им. Келдыша), системы медиавещапия и медиакопференций (такие, как, системы Microsoft MediaScrver/McdiaPIayer, RcalVidcoServer/RcalVidcoPIaycr), модели «медиа по запросу» [Wright, 2001], [Horn et al, 2001], средства маршрутизации мсдиаиотоков [Fahmi ct al, 2001], системы передачи видеопотоков научной визуализации (напр., система ВизАЭффект с помощью технологии CORBA осуществляет часть визуализации векторных и скалярных полей па удаленных серверах и передает итоговую информацию через интернет па клиентские машины [Аникапов, 2002]).
Четвертая глава посвящена примерам приложения технологии компонептпых языков и визуальных представлений к построению программных комплексов в различных предметных областях: визуального процедурного программирования, визуальной сборки распределенных приложений, предоставления вычислительных услуг удаленных вычислителей, видеообщепия и передачи визуально интерпретированных результатов вычислений через интернет.
Основные результаты
Первая глава работы посвящена проблеме создания «наилучшего языка» для представления знаний в какой-либо частной области. Проблема обсуждается с точки зрения противоречия между богатством описательных средств языка и его компактностью, гибкостью и универсальностью. Рассмотрен подход к организации языков представления знаний, человеко-компыотерного взаимодействия, программных и аппаратных средств как иерархии независимых элементов. Этот подход основан на рассмотрении программных срсдств/оборудовапия как сложной системы с применением соответствующей методологии. Главное внимание уделяется примеру языков человеко-комиыотерпого взаимодействия, включая программирование.
В первом параграфе главы 1 дается общий обзор проблемы.
Во втором параграфе главы 1 рассматриваются различные известные подходы к построению информационных описаний.
В третьем параграфе главы 1 проводится анализ сложной информационной среды, как иерархии. Обсуждаются статические мнкроязыковые структуры, разбиение сложных языков на меньшие части как первый шаг к открытой слоистой мпогоязыковой технологии. При этом любой компьютерный язык рассматривается как, прежде всего, средство представления некоторых информационных моделей, а не как средство задания процесса функционирования компьютера.
В качестве базиса, формирующего язык, рассматриваются пары {[набор базовых элементов], [набор средств композиции/декомпозиции]}. Примерами таких пар являются алгоритмические средства (базовые элементы - из некоторого набора действий, а средства композиции/декомпозиции - алгоритмические конструкции), функциональные (формульные) средства (базовые элементы - из некоторого набора функций, а средства композиции/декомпозиции -суперпозиция функций, условное определение функций, рекурсивное определение), логические (предикатные) средства (позволяющие строить сложные логические высказывания из примитивных), «геометрические» средства (позволяющие строить сложные графические элементы из простых посредством, скажем, сдвига-поворога, наложения с просвечиванием, и т.д.), правила создания сложных типов данных из простых (например, подъязык Хоара в Паскале), группа средств для работы со звуками и речыо, средства синтаксических определений (позволяющие строить сложный синтаксический объект из примитивных).
Каждая такая пара может быть сопоставлена некоторому специфическому виду информационных моделей. Можно считать, что микроязыки, соответствующие каждому из этих наборов, - это инструменты композиции/декомпозиции, связывающие некоторые сущности с производными от них.
Q. к аль-прогр ан^^^
Алфавит я 1 ы к
Фиг. 1. Пример выделения подъязыков в языке Pascal
Плодотворным является рассмотрение сложных сущностей как композиции более простых с применением некоторых средств композиции. При повторении подобной процедуры можно получить представление сложной модели в виде структуры более простых моделей. При этом можно рассматривать описание на любом языке как сложную структуру или иерархию .неделей. Идея «анатомирования» сложных языков полезна как сама по себе, так и для определения наилучших экземпляров реализации в каждой группе правил (на Фиг. 1 приведен пример «анатомирования» языка Pascal).
В четвертом параграфе главы 1 вводится концепция мультипарадигменной микроконтекстной иерархической «л-техпологии».
Описывается обобщение идеи разбора сложных языков, приводящее к микроконтекстному подходу. Прежде всею, дополнительно к описанному выше можно освободить связи между подъязыками, выделенными при анатомировании различных языков. Тогда эти подъязыки можно рассматривать как «сырье» для сборки новых языков. Это позволяет динамически строить ориентированный па задачу язык представления, наилучшим образом подходящий для конкретной частной проблемы (Фиг. 2). Кроме того, каждый из подъязыков может обладать наилучшей формой внешнего представления, например, в одном комплексе могут быть смешаны текстовые и визуальные подъязыки.
Фиг. 2. Язык, ориентированный на задачу
Затем рассматриваются различные «стадии существования» описания знания, включая связанные с использованием компьютерной техники. Например, можно выбрать стадии создания. редактирования, компилирования, интерпретации и уничтожения описаний. При этом для каждого микроязыка желательно иметь программное обеспечение, поддерживающее каждую стадию существования описания, причем компоненты этой программной среды могли бы работать совместно в различных комбинациях, адаитншю формируя ориентированные на задачу редактор, компилятор, интерпретатор и т.д. (Фиг. 3).
M);lk!IIIihlK<)|ltK ^ Mil НсЛиНе
1 Я ii.i к 2 1 f , t . л / \ ф /К А А t 1С f Язык 1 1 \ \ 1 ftjldn J | ' , V ч J \ t я-iuk: ! \ [ ЯШВ2 i л Vf л
Дкшпрные nfivcmJ чу.'ukimuII
Фиг. 3. Иерархия программных средств для стадий существования описания
Далее рассматриваются различные материальные среды («несущие» аппаратные вычислительные средства), поддерживающие каждую из стадий существования каждого из микроячы-ков. Таким обр а адм. можно говорить о компьютерной архитектуре, динамически синтезируемой для каждой конкретной задачи (Фиг. 4).
Фиг. 4, Иерархия языков и иерархия оборудования
Разработана общая компонентная технология построения языков информационных описании. организации программных и аппаратных средств, процесса создания программных продуктов. Предложен общий м ул ьт и парад и гме н и ы й подход, основанный на декомпозиции решаемой задачи на иерархию микроконтекстов, каждый из которых может быть наилучшим образом поддержан своим собственным микроязыком и соответствующими сопряженными программными и аппаратными средствами.
Содержание технологии предполагает следующее,
1. Всякое информационное описание, исключая базисное, рассматривается как иерархическая структура, суперпозиция более простых информационных описаний (слоев), каждое из которых построено средствами своей информационной системы.
2. Каждая из используемых информационных систем ориентирована на весьма специализированный, узкий класс операций, множество ее правил весьма компактно.
3. Для каждой информационной системы имеются: (а) независимая внутренняя концепция языка описаний, (б) независимая форма внешних представлений спецификаций.
4. Существование слоя описания разделяется на фазы, такие как (а) разработка описания-модели, (б) ввод/редактирование, (в) вывод на экран и на печать, (г) интерпретация и/или конвертирование, (д) компиляция, и др.
5. Для каждого слоя и каждой фазы имеются независимые, вообще говоря, (а) компьютерное оборудование, (б) программная поддержка, (Эти программное обеспечение и оборудование могут быть созданы независимо, иметь, вообще говоря, свою независимую фирму-изготовитель.)
6. Существуют соглашения, поддерживающие многоцелевое использование каждой из компонент (5), неединственность пар слоев, для которых эти компоненты можно использовать совместно.
7. Имеется возможность самостоятельного комплектования иерархической программной системы из программных и аппаратных средств поддержки языковых слоев (5).
Компонентное представление знаний может рассматриваться и с существенно более общих, нежели компьютерные среды, позиций (Фиг. 5, Фиг. 6).
Фиг. 5. Диаграмма отношений наук для некоторой проблемы, как иерархия моделей
Фиг. 6. Пример диаграммы уровней в возможной иерархии моделей
Разработанный подход можно рассматривать как обобщение концепции модульного проектирования па ситуацию, где каждый из иерархически связанных модулей является коптей-нером-«конструктом», связывающим свои субмодули своими собственными средствами (включая и свои внешние формы представления), независимо от средств, используемых другими модулями структуры (причем для человеко-компыотерпого взаимодействия в целом, а не только для области «программирования»).
В пятом параграфе главы 1 описываются основные характеристики предлагаемой технологии.
В местом параграфе главы 1 исследуется возможность описания ссмантик языков программирования с точки зрения описанной выше концепции компонентной технологии. Разработан математический аппарат для структурного описания больших языков программирования на основе л-техпологии. В качестве иллюстрации приведен пример описания семантики Pascal-подобного языка программирования.
В седьмом параграфе главы 1 рассматривается модель оценки и оптимизации затрат в многоуровневых компонентных средах на базе экспертных оценок. Предложен аппарат оптимизации па основе динамического программирования, позволяющий выбрать оптимальный для конкретной задачи набор языков, оборудование, специалистов в случае фиксированных ресурсов. Исследовано обобщение подхода па нечеткий случай для учета степени уверенности и квалификации экспертов. Изучены вопросы теоретико-вероятностной интерпретации подхода в условиях неопределенности ресурсов. Рассмотрен простейший пример, иллюстрирующий предложенный подход к оптимизации затрат.
Вторая глава работы посвящена вопросам реализации визуальных микроязыковых слоев для технологии, описанной в главе 1, соответствующих некоторым информационным парадигмам.
В первом параграфе главы 2 дастся общий обзор проблемы.
Во втором параграфе главы 2 рассматриваются визуальные языки представления алгоритмов.
Предлагаемый автором графический язык, в отличие от наиболее распространенного графического языка схем потока исполнения, ориентирован на изображение структуры, устройства алгоритма, а не последовательности исполнения команд, хотя последовательность исполнения операторов он полностью описывает. Этим данный язык идейно близок к языку «структу-рограмм» Нссси-Шнейдермана, однако, как представляется, удобнее для изображения алгоритмов на бумаге и экране компьютера и нагляднее представляет структуру алгоритма. Язык л-схсм ориентирован исключительно на структурный подход к алгоритмизации (неструктурный принципиально невозможен), па разработку алгоритмов (и возможность их изучения) «сверху вниз»; при этом термин «сверху вниз» приобретает буквальный смысл (Фиг. 7).
Такие элементы языка, как <Подстановка>, <Синонимия>, <Склейка> позволяют визуализировать понятия «условное значение», «значение составного оператора», «условное имя», «условная операция» и т.п.
Язык л-схем может использоваться как средство наглядного описания алгоритмов при общении «человек-человек», скажем, алгоритмов технологических процессов, а также как язык описания алгоритмов в компьютерных системах (например, вычислительных алгоритмов, алгоритмов управления подключенным к компьютеру оборудованием, скажем, станком с ЧПУ и т.п.).
Алгоритмический язык л-схем удобен для использования как элемент структуры «слоистой технологии» и реализован в средах визуального программирования ПУ0АГПРА£ и nJ (описанных в главе 4).
Algorithm
Adaptation of a model for input data L,=0, i=l.8
N times
Compiling of scratch program with random parameters
Compilation of modeling results Output of modeling results for j:=1.8
Setting of job priority function for j-algorithm for t:=l,2,. for k:=I,., m
Execution of program fragment by klh processor
Is execution of program fragment finished?
Is the fragment a part of foreground program?
Exists there a fragment of foreground program ready for execution?
Control of program processing using graph G
Is execution of program fragment finished?
Foreground program fragment scheduling for the k'h processor
Background program fragment scheduling for the klh processor
Adaptation of model for input data 1x8: Ц=0
14
It)
Фиг. 7. Пример л-схемы алгоритма
В третьем параграфе главы 2 рассматривается подход к синтаксическим описаниям, основанный на концепции синтаксической спецификации как описания множества допустимых объектов через множества возможных первичных объектов и параметров с использованием теоретико-множественных и функциональных операций. Для данного подхода предлагается графический структурный синтаксический язык, описания на котором имеют смысл «функциональной схемы» правил композиции, включающей граф структуры. Представленный язык отличается высокой наглядностью описаний, может использоваться как для описаний при информационном общении «человек-человек», так и при организации человеко-компыотерпого интерфейса в компьютерных системах с элементами искусственного интеллекта (например, для описания языков программирования). о руф. дот
Synlax lexl Edit Compile Breakpoints Qplions Window
ЛзШ fib out 1 .1 i- i Number J- М Expression A A. ') H Term
Multiplication
-L ш V Л
00 0 . i
Фиг. 8. Пример синтаксических описаний в среде ПУ@АГПРАХ-5.
Синтаксический язык тг-схем реализован в комплексе программных средств nYQA!T>PAI-S (Фиг. 8). входящем в состав среды визуального программирования ПУвАГиРА£. Реализован расширенный язык, позволяющий описывать как контекстно свободные. гак и контекстно зависимые грамматики. Среда позволяет ввести набор синтаксических описаний для некоторого набора текстовых объектов (например, для понятий языка программирования) в виде синтаксических я-схем, а затем для любого текста определять является ли он одним из синтаксически допустимых объектов, и определя ть его структуру.
В четвертом параграфе главы 2 описан графический язык формального структурно-лингвистического описания образов для задач распознавания, синтеза образов и организации человеко-компьютерного взаимодействия в системах с элементами искусственного интеллекта. Множество допускаемых объектов (образов) при этом описывается через множества возможных первичных объектов и параметров с использованием теоретико-множественных и функциональных операций (Фиг. 9). При этом как множество первичный Объектов, так и операции их композиции и результирующее множество образов из описываемого класса рассматриваются как нечеткие в широком смысле (скажем, имеющие статистико-вероятностную или субъективно-вероятностную природу).
В пятом и шестом параграфе главы 2 обсуждаются некоторые новые подходы к визуализации сложных моделей,
В пятом параграфе главы 2 описана технология адаптируемого под пользователя базового визуального языка средствами того же базового языка - «язык на языке в языке». Эта технология позволяет создать средствами базового языка программирования (и программных средств его поддержки) языковые средства, ориентированные на конкретную область приложений (например, на работу с мультипроцессором МВС с одной стороны, на работу с матричной алгеброй - с другой, и т.п.). Подобные расширения в интерфейсном плане воспринимаются пользователем как элементы нового языка, однако эти средства расширяют базовый язык; в процессе работы развитие моделей может сопровождаться параллельным расширением языка.
Данная технология позволяет упростить работу специалиста за счет адаптивного приближения возможностей среды к предметной области.
Пулевой бит
Фиг. 9. Пример описания класса сигналов на графическом языке описания образов
В шестом параграфе главы 2 описана разработанная, как развитие концепции объектио-ориептированного программирования, концепция интеграции объектио-ориептированпых и процедурных компонент с файловыми - концепция наделения элементов программы (например, псрсмсппых, заголовков циклов, заголовков классов, методов, программы в целом и т.п.) впеязыковыми файловыми контейнерами, доступными как из редактора программы, так и из самой программы при се исполнении. В рамках данного подхода возможна, в частности, реализация самодокумсптирующсйся программы, различные элементы которой содержат «внутри себя» их описания-подсказки (в виде, например, html-страпиц или звуковых речевых файлов), что может существенно облегчить разработку программы в условиях совместной работы программиста и прикладного специалиста-непрограммиста. Механизм удобен для реализации представлений данных в программе в естественном виде (например, матриц в виде матриц, функциональных зависимостей в виде рисуемых графиков и т.п.) Возможность взаимодействия исполняемой программы с редактором программы позволяет создавать эволюционирующие программы.
Третья глава работы посвящена проблеме интеграции удаленных вычислителей в гетерогенную систему, основанную па объектной компонентной модели человеко-комныотерпого взаимодействия и взаимодействия программно-аппаратных средств.
В нервам параграфе главы 3 рассматриваются имеющиеся проблемы для построения гетерогенных систем с применением удаленных вычислений.
Во втором параграфе главы 3 рассматривается предлагаемая технология синтеза полиязыковых многомашинных программных систем и интеграции удаленных вычислительных ресурсов в гетерогенной системе на базе «вычислительных посредников».
В данном подходе пара «^пользовательский компьютер - вычислитсль> разбивается па две пары: «^пользовательский компьютер - ВПС> и <ВПС - вычислитель;». Основными элементами этого подхода являются:
• концепция «вычислительной услуги», как триады, (а) вычислительная система, (б) программные средства, (в) информационное сопровождение,
• концепция «вычислительного прокси-сервера» ВПС, предоставляющего некоторое множество вычислительных услуг, каждая из которых может рсализовываться с помощью каких-то из доступных вычислительных систем и снабжается необходимым информационным сопровождением для использования вышележащим слоем компонентной системы в рамках я-техпологии мультиязыковых описаний и распределенной обработки.
При этом «вычислительная услуга» может использоваться слоем компонентной системы как «вычислительный атом». В соответствии с компонентной технологией должны обеспечиваться средства для связывания «вычислительной услуги» с объемлющим слоем-коптейиером по крайней мере на фазах создания-редактирования и исполнения. Связь на фазе редактирования спецификации модели обеспечивается за счет «информационного сопровождения», включенного в понятие «вычислительной услуги», обеспечивающего навигацию по ресурсам из редактора объемлющего языка, а также регистрацию ресурса в контейнере для возможности последующего вызова па этапе исполнения.
Основные задачи ВГ1С таковы:
• ведение «справочного бюро» по функциям, предоставляемым клиенту,
• предоставление средств для «принятия заказов» на вычисления с передачей данных по протоколам CORBA и СОМ, с предоставлением от сервера данных для регистрации ресурса у клиента через веб-доступ,
• наиболее целесообразном выборе конкретного вычислительного сервера (или серверов при многомашинной работе) для проведения конкретных вычислений (например, по стоимости вычислений),
• активация задания па вычислителе
• передача данных,
• контроль хода вычислений,
• принятие решений о смене вычислителя при его отказе либо обнаружившихся плохих параметрах по производительности (динамическая реконфигурация),
• решение задачи накопления опыта по надежности вычислителей,
• регистрацию ресурсов, предоставляемых вычислительными серверами (ВС), и регистрация программ для ВС для хранения в библиотеке ВПС,
• регистрацию пользователей и коммерческий учет пограчеппых ресурсов.
Использование системы-посредника позволяет решить проблемы по унификации способов обращения к вычислительной услуге независимо от особенностей конкретного вычислителя, на котором выполняется обработка задания, позволяет до некоторой степени избавить конечного пользователя от необходимости быть в курсе новостей в области вычислительных серверов и обновлений версий программных средств, решающих интересующие его задачи.
Одно из достоинств данного подхода - то, что выполнение лицензированной программы, хранящейся на удаленном вычислительном сервере, делает для обратившегося к этой программе невозможным извлечение какой-либо информации об этой программе, допускающей изготовление се несанкционированной копии.
Наконец, технология позволяет наряду с библиотеками научных публикаций, библиотеками алгоритмов и программ создавать «библиотеки» вычислительных «агентов» (триад <«ноу хау», вычислительная система, информационное сопровождение:») для использования их как вычислительных атомов (со скрытыми деталями реализации) в гетерогенных системах.
Таким образом, технология направлена па поддержку индустрии и рынка вычислительных ресурсов с включением суперкомпьютеров в Интернет-технологию с цслыо массового использования их в науке и промышленности, с созданием отраслевых и национальных банков вычислительных услуг.
В третьем параграфе главы 3 рассмотрен ряд математических моделей, описывающих взаимодействие вычислительного прокси-сервера с клиентом и вычислительной средой. Исследована задача оптимального планирования загрузки вычислителей, мониторинга вычислений и расчета стоимости ресурса вычислительных серверов в рамках данных моделей взаимодействия.
Четвертая глава работы посвящена применению мультиязыковой компонентной технологии и визуального подхода к построению конкретных сложных систем, являющихся компонентами программного комплекса для гетерогенной обработки. Возможная взаимосвязь рас
В первом параграфе главы 4 описываются программные средства, реализующие полученные результаты, которые можно условно разделить на следующие взаимосвязанные группы: а) комплекс решений по средам визуального процедурного программирования, включая технологию мультиязыкового компонентного программирования с использованием удаленных вычислительных ресурсов, разработка методов адаптации языка к области задач пользователя; реализация результатов исследований в комплексе визуального процедурного программирования "J; б) комплекса решений для «вычислительного менеджера» - рабочего места прикладного специалиста, базирующегося на объектно-ориентированной визуальной сборке вычислительных и интерфейсных элементов; реализация результатов исследований в программной объектно-ориентированной среде HyperModeller; разработка средств визуального мониторинга и управления вычислительной сетью; в) вычислительный прокси-сервер; г) комплекс решений по интернет-видеотехнологиям.
Возможное соотношение основных элементов разработанного комплекса при построении сложной многокомпонентной системы показано на Фиг. 10 (не изображенные средства видеотехнологий могут обеспечивать передачу визуальных данных от ВПС к пользователю).
Комплекс разработанных программных средства позволяет создавать на базе разработанных технологий сложные системы с использованием различных аппаратных средств (персональных компьютеров и ресурсов суперкомпьютеров), программных средств (графических языков и произвольных традиционных сред программирования и приложений) и технологических решений (напр., создания результирующих вычислительных сред в виде веб-страниц с удаленным доступом и др.). Одной из основных задач являлось обеспечение доступности элементов разработанного комплекса для работы прикладного специалиста* далекого от программирования. минимизация затрат на освоение систем.
Во втором параграфе главы 4 описывается среды визуального алгоритмического программирования llYGAmPAl Т (1991), ПУвАГПРАЕ для MS DOS (1993), ПУвАГПРА! для Windows (1995), позволяющие разрабатывать программные средства (например, системы моделирования) в соответствии с компонентной л-технологией, создавая мультимегафорные многомашинные комплексы. При этом в качестве верхнего слоя языковой иерархии во всех системах мог применяться графический язык алгоритмических структурных тг-схем.
Фиг. 11. Языковой слой системы ПУОАШРАЕ
Основными компонентами этих систем являются наборы (редактор, конвертор, компилятор, интерпретатор, .} для алгоритмического, синтаксического и формульного подъязыков с возможностью самостоятельно определять (в виде аналогичных триад) произвольные другие языковые слои, подключать произвольные программные средства. При этом редакторы комплекса обеспечивают запуск специфицированных «внешних» редакторов для каждого из определенных подъязыков, компилятор - запуск специфицированных «внешних» компиляторов при прохождении процесса компиляции через подъязыковыс «вставки», а также обеспечивается запуск специфицированных интерпретаторов в соответствии с описанием при запуске программы в исполнение.
На Фиг. 11 приведен скриншот одной из подсистем комплекса ПУ0ЛГПРЛ1, где в качестве подчиненных слоев языковой иерархии использованы язык Си и графический вариант языка Си для программирования многопроцессорного вычислителя МВС.
В третьем параграфе главы 4 описывается среда "./ визуального программирования на языке Java, базирующаяся на концепциях объектно-ориентированного программирования. При этом под «визуальиостыо» понимается как возможность работы с элементами графического интерфейса программы в их естественном визуальном представлении, так и возможность работать с алгоритмами в программе, представленными графически (на одном из 3-х графических языков со свободным выбором пользователем желаемого вида отображения для любой части программы).
Для сравнения в таблице приведены некоторые характеристики некоторых из распространенных сред визуального программирования и среды J:
Характеристика IBM Visual Age MS Visual J++ "J
П оддержи ваем ы й язык Java V ✓
JavaScript — —
Графическое представление структуры программы: уровень пакетов V — — уровень классов V ✓ уровень методов и переменных-полей V ✓ уровень операторов (алгоритмов) — — Si
Возможность редактирования про1раммы с графическим представлением структуры уровень пакетов У — — уровень классов у/ ✓ уровень методов и переменных-полей — — уровень операторов (алгоритмов) — —
Отладка с использованием граоического интерфейса ✓ ✓
Представление структуры наследования классов ✓ ✓
Импорт визуальных ресурсов — ✓ —
Визуальное редактирование интерфейсных элементов ✓ к V
Возможность адаптации пользовательского языка программирования под конкретную область приложений — —
Возможность подключения ресурсов суперкомпьютеров и внешних языков по иерархической технологии
Разработаны 2 основные версии срсды !/: (а) срсда программирования па Java (функционирует как автономная система и как компонент среды HyperModeller), (б) добавление к MS FrontPage, для разработки фрагментов па JavaScript. Поддерживается программирование в графических версиях языков Java и JavaScripl в иидс структурных тс-схем алгоритмов (Фиг. 12), структурных граф-схем алгоритмов (Фиг. 13) и структурограмм Несси-Шнейдермана. J включает инструментальные средства для конвертирования текста на стандартном языке Java в схему любого из форматов. Среда позволяет пользователю изменять текстовое представление любой структурной части программы на графическое и обратно. Разработан структурированный язык граф-схем алгоритмов схем с цветовой визуализацией структуры (Фиг. 13). и - £C:lpUVexamples\f|rapniayoijttgrapn.javal f: I Seer^h ^iaw Eun : .го:к> C; >'i yyindcw Help OJiEtetol "al^l I I J ^['r.14-.I "4> II"-* ^^ГДГ-Г^-Ы l^j
ПШПЛ
Фиг. 12, Отображение в режиме л-схем алгоритмов да*" isr™ 1нз™" IE?
Erie Edit Search IflSVf Run Eaietie Qplions Window Help package <d« class Node' class Edge* class 'Graph constructs method 'it S method ir method 'v v'„ method 'v >1 melhod 'v method V method V method b method 'b method b Ут method 'v method 'v class 'Graph ivj method V method V •y*m method v >"". method Ъ
Фиг. 13. Отображение в режиме граф-схем алгоритмов
В среде реализованы технология адаптируемого под пользователя базового языка средствами того же базового языка, концепция интеграции объектно-ориентированных и процедурных компонент с файловыми (описанные в параграфах 5-6 главы 2), технология интеграции в языке ресурсов на произвольных других языках и ресурсов удаленных суперкомпьютеров и др. (Фиг. 14). m«hod vcxfj тмЦ&тд wgi Г, еж* t>e*rf>aner fQ с orsifuclof 1>»гчРоМ11 mvoxxl Vend мСппМмИМ "G rwtriod Tiootoan tanclBEwne r, mwhod Vatf ЕИ1ПЦСч«Л£5 g Г, cla$s TjmrtCoflirote" S COflfUVCtW tlfffrtNl OrtJOHlL К rneO*xi vunj ролДОДО'С * 0 method tjocteeri ett>an(E rfnl tFoседroundП ) ; Rectangle г -,, ^ШШШаЗШЗЗ i^HHI
Фиг. 14. Настройка подсистемы удаленных вычислений
В четвертом параграфе главы 4 описывается программная среда HyperModeller, обееие-чивающая рабочее место прикладного специалиста-«строителя компьютерных моделей».
Развита архитектура интегрирующего приложения, обеспечивающего полный цикл разработки распределенных приложений на основе объектно-ориентированной визуальной сборки вычислительных и интерфейсных элементов. При этом сборочными элементами могут быть модули, заданные на произвольных языках программирования и/или разрабатываемые в произвольных современных средах, а также супер компьютерные ресурсы, доступные через вычислительный прокси-сервер. Модули могут быть как объектами в смысле ООП, так и обычными процедурными программами. Определены следующие виды модулей: СОМ-объект, ActiveX-элемент управления, консольный модуль (приложение DOS или Win32, при генерации которого использованы старые компиляторы, умеющие создавать только DOS-приложения), Java-объект (может быть создан с использованием визуальной среды разрабо тки Java-приложений V), модуль обращения к вычислительным услугам ВПС, а также произвольные программные средства, образующие «подсистемы» в смысле тг-технологии. Элементы могут соединяться друг с другом посредством информационных (служащих для передачи данных) и управляющих (служащих для управления процессом передачи данных) связей.
Данная технология вместе с л-технологией и технологией комплекса J обеспечивает полный цикл чисто визуальной разработки распределённого программного обеспечения с использованием ВПС, в том числе - с применением языка Java. Особенностью среды HyperModeller является возможность совмещения фаз редактирования и исполнения, то есть, спецификация программы может меняться «на ходу», без ее останова.
Среда Ну ре [Modeller может применяться как визуальная среда разработки сложных иерархических динамических систем, систем управления и обработки информации. Она ориентирована на непрограммирующего профессионала и обладает интуитивно понятным, дружественным интерфейсом пользователя. Используя данную среду моделирования, можно получить интерактивный доступ к любой точке схемы, оперативно вмешаться в ход расчетов, изменить параметры динамической системы и др. ыятммшдииш'жиин 1] £(s View Нил Иг&м ttsfc лне MOTurtmie ? mdl| -iff! *
CtltflBlsl 1 I- ! ajBlrnl m
Фиг. 15. Модуль разработанной в среде Ну per Modeller модели баланса металлов на медепл ав ил ьно м пред г ip и ятии
Скажем, в 'экономических системах объектная модель, заложенная внутри данного программною комплекса, позволяет быстро разрабатывать и внедрять новые объекты, которые несут информацию не только о денежных и сырьевых потоках, но и о производственных процессах и их взаимосвязи. Объединение в единую систему всех процессов предприятия позволяет провести производственно-экономическое моделирование и стратегическое планирование деятельности. С помощью данных программных средств можно достаточно просто создать модель финансовой структуры предприятия, модель структуры управления предприятием иди модель производственного процесса.
На Фиг. 15 показан пример компонента гетерогенной системы принятия управленческих решений, разработанной на базе сред HyperModeller и У (пример подсистемы баланса металлов), «Атомарные элементы» показанной схемы HyperModeller - на самом деле являются сложными модулями отображения, обрабатывающими модулями и ресурсами данных, части из которых могут соответствовать удаленные компьютеры. Эти модули реализованы в других под средах, вход в работу по редактированию которых осуществляется двойным щелчком мыши на соответствующем элементе.
На Фиг. 16 показан пример системы администрирования и настройки вычислительной сети и предоставления информации об ее работе, разработанной на базе сред HyperModetier и KJ (hnp://vpm.imin.imm.ru/iiranstal). Данная система также является гетерогенной мультиязыковой многомашинной средой - за «атомарными элементами» скрываются программные средства, функционирующие на удаленных компьютерах, переход на работу с которыми возможен по двойному щелчку мыши на элементе .
Фиг. 16. Система администрирования и настройки вычислительной сечи в системе
HyperModeller
В пятом параграфе главы 4 описывается система «Вычислительный прокси-сервер», реализующая технологию, описанную в главе 3 диссертации.
Основные компоненты программных средств ВПС и их взаимосвязь показаны на Фиг. 17,
В ИММ УрО РАН была запущена в опытную эксплуатацию экспериментальная версия вычислительного портала под ОС MS Windows NT. Данный вычислительный портал поддерживает веб-доступ, доступ через электронную почту, а также доступ из приложений по стандартам Corba и СОМ. Разработаны соответствующие программные средства и осуществлено подключение к ВПС вычислителей МВС ИММ УрО РАН.
Вычислительные услуги ВПС могут использоваться из средств программирования с применением их как вычислительных «атомов». При этом могут использоваться, например, среды визуального проектирования HyperModeller (функциональный конструктор) и "J (алгоритмический конструктор). Услуги ВПС могут использоваться через протокол CORBA или СОМ и из программ пользователя, разработанных в других средах, при этом информационная интеграция в среду разработки верхнего уровня (включая навигацию, документирование, передачу шаблонов вызова) Осуществляется е помошыо веб-доступа.
В шестом параграфе главы 4 рассматриваются технологии передачи медиаданных, связанные как с разными сервисами меж человеческого общения, так и с применением удаленных суперкомпьютерных вычислений, базирующиеся на применении компонентной тс-технологии создания сложных программных систем. Описаны приложения для аудиовизуальной связи через компьютерную сеть, входящие в комплекс ViDoors:
• «Веб-камера» для наблюдения через Интернет в реальном времен и. например, докладов, выступлений, общественных событий. Обеспечивает одностороннюю передачу аудиовизуальных данных в реальном времени от одного передающего компьютера множеству клиентских компьютеров зрителей. Вариант программных средств может быть использован для односторонней передачи для удаленного наблюдения визуальных результатов суперкомпьютерных вычислений.
• «Медиаконференция» для проведения через Интернет, например, научных семинаров и совещаний. Обеспечивает двунаправленную и многонаправленную а уди о-видео связь в реальном времени между многочисленными участниками. Вариант программных средств предназначен для осуществления только аудиосвязи.
• «Медиа по запросу» для создания s цифровой форме, например, научных докладов и лекций, которые в дальнейшем можно будет просматривать через Интернет. Обеспечивает после однократного создания аудио/видео материала его передачу и воспроизведение на удаленных компьютерах по запросу пользователей в любое время.
• «Видео по расписанию» для просмотра заранее записанных видеоматериалов в соответствии с некоторым расписанием (составляемым вручную или автоматически),
• «Мобильный репортерский спутниковый видеокомплекс» - комплексная система, разработанная на базе полученных технологий. Система содержит полный комплект программных средств для поддержки технологического процесса подготовки законченного телевизионного новостного сюжета па компьютере выездной журналистской бригады. Это средства для записи отснятых видеоматериалов на жесткий диск, монтажа и формирования "плейлиста" с включениями "живой камеры", передачи видеосюжета в телекомпанию через спутниковый канал связи в соответствии с "плейлистом", включая вставки "живой камеры". Система включает также программные средства и для принимающего компьютера, формирующие из принимаемых со спутника данных видеосигнал, включаемый телецентром в "прямой эфир".
Разработанная технология организации мсдиассти с применением ретрансляторов и применения по возможности вещательных протоколов может позволить качественно уменьшить потоки данных при массовом вешании в сравнении с другими используемыми ныне системами. При этом нагрузка на сервер вешания не зависит от количества одновременно принимающих клиентов, количество которых может составлять, скажем, миллионы.
Код ActiveX Кол ActivcX
Фиг. 18. Структура системы медиавещания комплекса ViDoors
Использование разработанной технологии с осуществлением визуешгзации суперкомпыо-терпых вычислений на стороне суперкомпьютера при применении вычислительного прокси-сервера позволяет осуществить более гибкий мониторинг вычислений в реальном времени, повышая производительность труда специалиста, проводящего удаленные вычисления, снизить расходы па вычислительный эксперимент и ускорить получение конечного результата.
Разработанные программные средства представлены па сервере wehTV.iiran.ru.
Фиг. 19. Одна из комнат сервера медиаконферепний ио>/ Передатчик
Приемник
Сервер процесс сжатий. iTipe^. видеомонтош) сервер (ретранслятор)
Телевещание
Фиг. 20. Структура разработанного мобильного репортерского спутникового видеокомплекса
Практическая значимость
Исследования но теме диссертации выполнялись автором в течение 1986-2003гг. в рамках следующих основных плановых тем Института математики и механики УрО РДН:
• «Управление объектами в условиях неполноты и искажений априорной и текущей информации с использованием методов обработки изображений и распознавания образов», 1986-1990гг. (приоритетное направление фундаментальных исследований РАН 1.12.7 (1.13.4) «Управление движением и навигация»). Руководитель Ю.С.Осинов.
• «Управление объектами в условиях неполноты и искажений априорной и текущей информации с использованием методов обработки изображений и распознавания образов», № гос. регистрации 01.9.10-028753, 1991—1995гг. (приоритетное направление фундаментальных исследований РАН 1.12.7 (1.13.4) «Управление движением и навигация»). Руководители В.Г.Гасилов, В.В.Прохоров.
• «Информационная технология и инструментальные средства мультиязыкового программирования многокомпонентных вычислительных сред (модели организации высоко производительных вычислений в среде Интернет)», № гос. регистрации 01.9.60-002488, 1996-2000гг. (приоритетное направление фундаментальных исследований РАН 2.2.7 «Интегрированные информационные и телекоммуникационные системы и сети»). Руководитель В.В.Прохоров.
• «Технологии и программные средства многомашинных полиязыковых компьютерных систем и визуального человеко-компыотерпого взаимодействия». № гос. регистрации 01.2.00-102382, 2001-2005гг. (приоритетное направление фундаментальных исследований РАН 2.2.8 «Архитектура, системные решения и программное обеспечение»). Руководители В.И.Бердышев, В.В.Прохоров.
Исследования автора были поддержаны грантами:
• Грант по федеральной программе Министерства науки и технологий РФ «Информатизация России»: «Разработка инструментальных средств многосредового (гипермедиа) объектно-ориентированного программирования на основе визуальных представлений». 1993г. Руководитель В.В.Прохоров.
• Грант по федеральной программе Министерства образования РФ «Информатизация образования в Российской Федерации»: «Создание программного комплекса для работы на основе иерархической информационной технологии и образных представлений». 1994-1995гг. Руководитель В.В.Прохоров.
• Грант РФФИ №93-01-00989 «Технология иерархического мультикомпьютерного человеко-машинного взаимодействия и программный комплекс ее поддержки». 1993-1995гг. Руководитель В.В.Прохоров.
• Грант РФФИ №99-01-00468 «Технология применения вычислительных серверов». 19992001гг. Руководитель В.В.Прохоров.
• Грант РФФИ №02-01-96419 «Разработка методологических основ интеллектуальной составляющей информационно-аналитических систем поддержки принятия решений в управлении экономическими структурами». 2002-2003гг. Руководитель О.И.Никонов.
• Грант РФФИ №02-07-90361 «Разработка методов и программных средств сжатия информации для организации распределенных мультимедиа приложений с высоким качеством видео и для передачи больших объемов данных между персональным и высокопроизводительными компьютерами». 2002-2004гг. Руководитель В.В.Прохоров.
Кроме этого, исследования поддерживались федеральной целевой программой «Интеграция науки и высшего образования России» (2002-2006гг.), проектом «Разработка методик обучения и интегрированных курсов по суперкомпыотерным технологиям», государственным контрактом № У0036/2091.
Работы поддерживались рядом коммерческих контрактов, в частности: «MPEG-4 Coding JMF Plugins and Applications» с компанией Vunllap (г.Сеул, Корея, 2000-2001), «Программные средства телерснортажпого комплекса передачи видео-аудио потоков через спутниковые каналы связи» с компанией «Ип тек коммуникации» (г.Москва, 2002, 2003,), «Компьютерная система оптимизации финансовых и товарных потоков предприятия» с Уральской горнометаллургической компанией (г.В.Пышма, 2001).
На базе полученных по теме диссертации результатов построен спецкурс «Информационные модели и языки программирования», который преподается студентам УГТУ по специальности 220100- «Вычислительные машины, комплексы, системы и сети» (1996-2003).
Полученные результаты использовались при разработке ряда программных комплексов, например, среды ПУ0АШРАГ, использовавшейся для разработки системы медицинской диагностики (получен патент РФ), а также получившей гриф «Рекомендовано Отделом информатизации Министерства образования Российской Федерации» для применения в сфере образования; срсды 1/, использовавшейся при обучении студентов УГТУ, УрГУ и на факультативных занятиях школьников, срсды HypcrModeller, использовавшейся при разработке системы моделирования технологических процессов предприятия и системы конфигурирования и мониторинга иптерпет-узла Уральского отделения РАН, а также и учебном процессе при подготовке студентов. Полученные результаты по мультипарадигмеппой иерархической технологии и разработанные средства медиаинтерпет использовались НПО УралСистем при разработке систем обеспечения работы законодательных органов, эксплуатируемых в настоящее время, например, в Законодательном собрании Челябинской области. Разработанная технология использована в системе «Мобильный репортерский спутниковый комплекс» фирмы «Ип тек коммуникации» (комплекс демонстрировался на Международной выставке телсвидсотехиоло-гий IBC-2002 в г.Аметердаме) Разработанные системы интернет-видеовешания использованы при трансляции и организации видсомостов иа ряде общественных событий Екатеринбурга и России, приобретены и используются Российским фондом фундаментальных исследований. На основе разработанных программных средств функционирует сервер «видео по запросу» Уральского отделения РАН с видеотекой записей различных событий и видеоконференциоп-ной системой.
Апробация работы
Результаты диссертации докладывались на следующих конференциях и семинарах:
• IV, V, VII Всесоюзные семинары «Разработка и применение программных средств ПЭВМ в учебном процессе» (Москва, 1988, 1989, 1991).
• VII, VIII, IX Сибирские школы по пакетам прикладных программ (Иркутск, 1989, 1990, 1992).
• Региональная конференция «Диалог "человек-ЭВМ"» (Свердловск: 1989).
• IV Всесоюзная конференция «Математические методы распознавания образов ММРО-IV» (Рига, 1989).
• IV научно-методическая конференция «Проблемы образования в области информатики, вычислительной техники и автоматизации» (Ленинград, 1990).
• Всесоюзная научная конференция «Интеллектуализация систем управления» (Баку, 1991).
• Международный симпозиум «Visual Analysis and Interface, VA1'91» (Новосибирск, 1991).
• Международная конференция «1-st Moscow International НСГ91 Workshop» (Москва, 1991).
• Международная конференция «Применение новых компьютерных технологий в образовании» (Троицк Моск. обл., 1991, 1992, 1993, 1994, 1996).
• Международная конференция «East-West Conference on Emerging Computer Technologies in Education» (Москва, 1992).
• Региональная научно-практическая конференция «Информатизация образовапия'93» (Екатеринбург, 1993).
• Международная конференция IICTE-93 (Киев, 1993).
• Выставка-конференция «Новые информационные технологии в школах и вузах» (Москва, 1993).
• IV Национальная конференция с международным участием «Искусственный интеллект» КИИ-94 (Рыбинск, 1994).
• Международная конференция «East-West Conference on Emerging Computer Technologies in Education» (Киев, 1994).
• Всероссийская конференция «Новые информационные технологии в образовании» (Москва, 1994).
• I Российско-турецкий семинар «Новые информационные технологии» (Москва, 1994).
• II Российско-турсцкнй семинар «New High Information Technologies» (Стамбул, Турция, 1994).
• 19-я международная конференция «Information Technologies and Programming» (София, Болгария, 1994).
• Международная конференция «East-West International Conference on Multimedia, Hypermedia and Virtual Reality. MHVR'94» (Москва, 1994).
• Первая международная научпо-практичсская конференции «Языки мозга и тела человека» (Орел, 1995).
• Международная конференция «East-West International Conference on Human-Computer Interaction, EWHCI», (Москва, 1995, 1996).
• Международная конференция «Second International Symposium on Knowledge Acquisition, Representation, and Processing, KARP-95» (Оборп, Алабама, США, 1995).
• Международная конференция «Expert Systems Applications & Artificial Intelligence, EX-PERSYS-95» (Сап Франциско, США, 1995).
• Международная конференция «Interactive Systems: The Problems of Human-Computer Interaction» (Ульяновск, 1995, 1999).
• Международный семинар «Искусственный интеллект п образовании» (Казань, 1996).
• Международная школа «Mediacommunications on the Internet» (София, Болгария, 1998).
• Всероссийская научная конференция «Высокопроизводительные вычисления и их приложения» (Черноголовка, 2000).
• Всероссийская научная конференция «Научный сервис в сети Интернет» (Абрау-Дюрсо, 2001,2002).
• Международная конференция «Parallel Computing Technologies РаСТ-2001» (Новосибирск, 2001).
• Международная конференция «3rd International Workshop on Computer Science and Information Technologies» CSIT'2001 (Уфа, 2001).
• Первая научно-практическая конференция «Современные информационные технологии в образовании (Ханты-Мансийск, 2002).
• Научно-техническая конференция «Проблемы создания единого информационного пространства в рамках СНГ» VII Российского экономического форума (Екатеринбург, 2002).
• Региональная молодежная конференция «Проблемы теоретической и прикладной математики» (пленарные доклады) (Екатеринбург, 1993, 1994, 1995, 1996, 1997, 1998, 1999, 2000, 2001,2002, 2003).
• II Межрегиональный семинар «Новые информационные технологии сопровождения заседаний и правотворческого документооборота властных органов (Екатеринбург-Челябинск, 2002).
• Всероссийская конференция «Актуальные проблемы прикладной математики и механики», посвященная 70-лстию со дня рождения академика А.Ф.Сидорова (Екатеринбург, 2003).
• Совещание комиссии РАН по высокопроизводительным вычислениям (пленарный доклад) (Москва, 2002).
• Совещания но высокопроизводительным вычислениям в Федеральном ядерном центре (Пленарные доклады) (Снежинск, 1996, 1997).
• Семинары в Институте прикладной математики РАН (Москва, 1997,2000).
• Семинар в компании «Центр спарк-тсхнологий» А.А.Бабаяна (1998, 1999).
• Семинар в компании Microsoft-Russia (И.Р.Агамирзян, 1998).
• Заседание Президиума УрО РАН (2003).
• Семинары УрО РАН по технологиям высокопроизводительных вычислений.
• Заседания Ученого совета ИММ УрО РАН.
Развитие полученных результатов в работах других авторов
На основе полученных автором результатов другими исследователями проводились работы в ряде направлений, не охватываемых в диссертации:
• Изучена возможность описания семаптик языков программирования с точки зрения описанной в главе 1 концепции компонентной технологии. Получены результаты, устанавливающие взаимосвязь семантики и синтаксиса в языках программирования. Разработан математический аппарат для структурного оиисаиия больших языков программирования на основе л-тсхнологии. о [Торопов. О семантическом описании иерархических мультиязыковых систем, 1997], о [Торопов. О структурных отношениях в денотационной семантике, 1998].
• Исследована задача оптимизации программ для языка FP [Бэкус, 1991], трактуемого как «микроязык» мультимстафорной технологии. Доказана разрешимость задачи оптимизации FP-нрограммы; найден явный алгоритм ее решения, работающий в терминах используемого языка программирования. о [Торопов. О семантическом подходе к проблеме оптимизации программ, 1999].
• Предложен формальный математический аппарат для анализа иерархических схем главы 2 диссертации. Конструируется исчисление л-схсм как аксиоматическая система описания семантики, на базе логики Хоара. Предложенная аксиоматическая система позволяет получать различные свойства программ, однозначно их интерпретировать, проводить их верификацию. Проводится минимизация аксиоматической системы, доказывается сс полнота и непротиворечивость относительно операционной семантики. Рассматривается алгоритмическая алгебра л-схем. Тождества алгебры выводятся как следствия аксиоматической системы. Полученные тождественные соотношения обеспечивают алгебраические средства для оптимизации программ на основе эквивалентных преобразований. о [Смирнов. Алгоритмическая алгебра pi-схем, 1999], о [Смирнов. Алгебра иерархических языков в компьютерных средах, 1997], о [Смирнов. Универсальный алгоритм па языке pi-схсм, 1991].
• Предложена формализация модели представления знаний, разработанная в рамках мультипарадигменпой компонентной технологии. Разработана система алгебр в иерархической модели, которая включает собственно алгебру модели (несущим множеством являются модули знаний), алгебру фреймов, алгебру семантических сетей, алгебру логического представления, алгебру продукций. о [Прохоров, Смирнов. Гибридная иерархическая модель представления знаний, 2000].
• Предложена модель оптимального распределения процессов при распределенных вычислениях в рамках компонентной технологии в многомашинных, многопроцессорных системах в ситуации, когда каналы обладают различной пропускной способностью, и узлы могут быть связаны пс напрямую. о [Prokhorov, Smirnov. Software Cost Optimization Model Based on Decision Making, 1997], о [Прохоров, Смирнов. Модель оптимизации времени обменов в распределенных средах, 1998], о [Прохоров, Смирнов. Модель оценки и оптимизации затрат в многоуровневых нечетких средах, 2001], о [Прохоров, Смирнов. Оптимизация времени вычислений в многопроцессорных распределенных системах, 2001], о [Smirnov. Expenditures Optimizations in Complex Intelligent Systems, 1996], о [Smirnov. Expenditures Optimizations in Human-Computer Environment, 1996], о [Смирнов. Оптимизация затрат в сложных компьютерных системах при нечетких условиях, 1996], о [Смирнов. Оптимизация затрат на программирование в иерархических мультия-зыковых средах, 1996].
• Разработан гибридный язык программирования, сочетающий в себе средства процедурного и логического программирования, иллюстрирующий применение мультипарадигменпой микроконтекстпой технологии к конструированию новых языков программирования. о [Пужевич. Конструирование логико-алгоритмического языка па основе микрокоп-текстной технологии, 1997].
• Разработан функциональный язык программирования, основанный на тсоретико-множественной нотации. Язык может быть использован в качестве одного из слоев мультнпарадигмепнопой микроконтекстной компонентной технологии описаний. Язык может быть использован для синтаксического анализа текстов. о [Торопов. О проекте языка программирования, основанного на тсорстико-множествснной нотации, 1996].
• Выделен функциональный подслой языка программирования LISP. Реализован соответствующий функциональный язык про1раммирования, который может быть использован в качестве одного из слоев мультинарадигменноной микроконтскстной компонентной технологии описаний. о [Прохоров, Прохорова. Система функционального программирования на языке PROLAN/F, 1991]
В ИММ УрО РАН интенсивно ведутся работы по созданию программных средств интер-нет-видсотсхпологий на базе мультимстафорного микрокоптскстного подхода (В.А.Косарев, И.В.Чайников, Л.В.Смирнов и др.).
Похожие диссертационные работы по специальности «Математическое моделирование, численные методы и комплексы программ», 05.13.18 шифр ВАК
Алгоритмы и программное обеспечение моделирования приборов и устройств для создания автоматизированных лабораторных комплексов2012 год, кандидат технических наук Коротина, Татьяна Юрьевна
Анализ и оценка языков систем визуализации программного обеспечения1998 год, кандидат технических наук Авербух, Владимир Лазаревич
Графическая инструментальная среда для визуального построения и применения пакетов программ2000 год, кандидат технических наук Феоктистов, Александр Геннадьевич
Нечисловая обработка информации на вычислительной машине нетрадиционной архитектуры потока данных1999 год, кандидат технических наук Провоторова, Анна Олеговна
Методы и инструментальные средства разработки масштабируемых параллельных программ для многопроцессорных систем со структурно-процедурной организацией вычислений2004 год, кандидат технических наук Шматок, Алексей Владимирович
Заключение диссертации по теме «Математическое моделирование, численные методы и комплексы программ», Прохоров, Владимир Валентинович
1.5.3. Выводы.66
1.6. Модель оценки и оптимизации затрат в многоуровневых компонентных средах.67
1.6.1. Введение.67
1.6.2. Оценка и оптимизация затрат.67
1.6.3. Теоретико-вероятностная интерпретация модели.72
1.6.4. Обобщение на нечеткий случай.75
1.6.5. Пример.78
Глава 2. Визуальные алгоритмические и синтаксические языки.81
2.1. Введение.82
2.2. Структурные визуальные представления алгоритмов в виде л-схсм.84
2.2.1. Введение.84
2.2.2. Описание я-языка.85
2.2.3. Общие замечания.93
2.2.4. Сравнение я-языка с другими подходами.94
2.2.5. Области применения языка.101
2.3. Структурные визуальные представления синтаксических описаний.103
2.3.1. Введение.103
2.3.2. Основные положения.104
2.3.3. Описание языка.104
1. Основные элементы языка.105
2. Тсоретико-множсственныс операции.107
3. Выбор.109
4. Поэлементные операции.109
5. Элементы <Подстановка>, <Синонимия>, <Склсйка>.111
6. Описания функций.112
2.3.4. Примеры.114
2.3.5. Дальнейшее развитие языка.116
2.3.6. Компьютерная реализации.116
Заключение.279
Список литературы диссертационного исследования доктор физико-математических наук Прохоров, Владимир Валентинович, 2003 год
1. Париньяни Л.С., Кондрани1на Е.Ю. Технологический комплекс построения баз знаний. // Вычислительные системы и программное обеспечение.—Новосибирск: ВЦ СО ЛП СССР, 1986, с. 100-118.
2. Нейменн И.В., Шнейдерман М.В. Получение экспертных знаний, // Итоги науки и техники. Сер. Техн. кибернетика. -М.: ВИНИТИ, 1990, т.29.
3. Нечеткие множества и теория возможностей. Последний достижения // М.: Радио и связь, 1986.408с.
4. Нильсон Н. Принципы исскуственного интеллекта. -М.: Радио и связь., 1986.
5. Новопатин Л.П., Опарин ГЛ., Феоктистов Л.Г. Визуальный пользовательский интерфейс в распределенной вычислительной СЛТУРН-срсде // Труды Всероссийской научной конференции «Научный сервис в сети Интернет». Новороссийск: МГУ, 2002. 160-162.
6. Омельчснко В.В. Структурно-логический метод обобн1ения и анализа данных и знаний // Известия РАН. Теория и системы управления. 1998. N 5. 95-105.
7. Осипов Г.С. Динамика в системах, основанных на знаниях // Известия РАН. Теория и системы управления. 1998. N 5. 24-28.
8. Осуга Обработка знаний. -М.: Мир, 1989.
9. Перевозчикова О.Л., Сикаренко В.А. Интеграция Web- и клиент-серверной архитектур для распределенных приложений // Управляюншс системы и машины. - 2001.- N 5. -С.57-63.
10. Плесневич Г.С. Прсдстамлешк знашиТ в ассоциативных сетях. // Изв. АН СССР. Техн. кибернетика. 1982, №5.
11. Попов Э.В. Обше1ше с ЭВМ на естественном языке. -М.: Наука, 1982.
12. Попов Э.В, Экспертные системы — состояние, проблемы, перспективы. // Изв. АН СССР. Техн. кибернетика, 1989, №5.
13. Попов Э.В., Фридман Г.Р. Алгоритмические основы интеллектуальных роботов и искусственного интеллекта. -М.: Наука, 1976.
14. Поспелов Г.С. Искусственный интеллект — основа новой информациопной технологии.—М.: Наука: 1988,280с.
15. Поспелов Д.А. Знания и шкалы // Труды международного семинара «Мягкие вычисления». Казань: Казанский государственный технологический университет, 1996. 12.
16. Поспелов Д.А. Логико-липгвистичсские модели в системах управления.—М.: Энергоатом издат, 1981,232с.
17. Поспелов Д.А. Ситуацио1Н1ое управление: теория и практика. -М.: Наука: 1986.
18. Построение экспертных систем. -М.: Мир, 1987.
19. Представление знаний в человеко-машинных и робототехнических системах. /Том А. Фундаментальные исследования в области представления знаний,—М.: ВИНИТИ, 1984, 261с.
20. Представление знаний в человеко-машинных и робототехнических системах. /Том В. Интеллектуальные средства разработки систем: ориентирова1Н1ых на знания.—М.: ВИНИТИ, 1984,236с. Литература 288
21. Представление знаний в человеко-ман1инных и робототехнических системах. /Том Прикладные человеко-машинные системы, ориентированные на знания.—М.: ВИНИТИ, 1984, 380с.
22. Представление и использование знаний.—М.: Мир, 1989, 220с.
23. Приобретение знаний. -М.: Мир, 1990.
24. Рыбина Г.В. Лвтоматизированное построение баз знаний для интегрированных экспертных систем // Известия РАН. Теория и системы управления. 1998. N 5. 152-166.
25. Рыбина Г.В. Интегрированные экспертные системы: современное состояние, проблемы и тенденции // Известия РАН. Теория и системы управления. 2002. N 5. 111-126.
26. Семантика языков программирования. М: «Мир», 1980,400 с.
27. Стандарт DIN 65261 HCN 1422.
29. Стандарт ГОСТ 19.002-80.
30. Стандарт ГОСТ 19.003-80.
31. Стандарт ГОСТ 19.005-85.
32. Стандарт ГОСТ 19-701-90.
33. Страбыкин Д.А. Метод параллельных вычислений для абдуктивного вь1вода на знаниях // Известия РАН. Теория и системы управления. 2000. N 5. 101-106.
34. Талиа Д. OGSA: где GRID встречается с Web // Открытые системы. 2003. N 1. 47-50.
35. Ту Дж., Гонсалес Р. Принципы распознавания образов. - Мир, 1978,411с.
36. Тыугу Э.Х. Интефация знаний. // Изв. АН СССР. Техн. кибернетика, 1989, №5, с.3-13.
37. Федунов Б.Е. Конструктивная семантика антропоцентрических систем для разработки и анализа снецификаций бортовых интеллектуальных систем // Известия РАН. Теория и системы управления. 1998. N 5. 140-151.
38. Хорошевский В.Ф. PIES - технология и инструментарий PIES Work Bench для разработки систем, основанных на знаниях // Новости искусственного интеллекта. 1995. N2.
39. Хорошевский В.Ф. Программные средства представления знаний: состояние исследований и проблемы. // Искусственный интеллект. Кн.З. Профаммные и аппаратные средства.—М.: Радио и связь, 1990, с.72-82.
40. Шевель А. Визуализация состояний вычислительного кластера // Открытые системы. 2003. N I . e . 10-12.
41. Шлезингер М.И. Математические средства обработки изображений. - Киев: Наукова думка, 1989,200с.
42. ЭйкинсЯ.С. Знания, организованные в виде прототипов, для экспертных систем. // Кибернетический сборник. 1985, вып. 22.
43. Экспертные оценки // Вопросы кибернетики. 1979. Вып.58. 200с.
44. Экспертные системы. Принципы работы и примеры. -М.: Радио и связь: 1987.
45. Языки представления знаний и вопросы реализации экспертных систем.—Владивосток: ДВНЦАНСССР, 1984, 153с. Литература 289
46. Пужевич СР. Конструирование логико-алгоритмического языка на основе микроконтекстной технологии. //Тезисы докладов молодежной конференции «Проблемы теоретической и прикладной математики». - Екатеринбург: УрО PAII. 1997. 82-84.
47. Smimov, D.V. Expenditures Optimizations in Human-Computer Environment // Proceedings of the 6-th East-West International Conference on Human-Computer Interaction (EastWest НСГ96). - Москва: ICSTI, 1996. - P.316-319.
48. Смирнов Д.В. Универсальный алгоритм на языке pi-схем. // В кн.: Задачи моделирования и оптимизации. - Свердловск: УрО АН СССР, 1991. - С . 76-94.
49. Смирнов Д.В. Оптимизация затрат в сложных компьютерных системах при нечетких условиях. // Труды международного семинара «Мягкие вычисления», - Казань: КГТУ. -1996.-С.186-190.
50. Смирнов Д.В. Оптимизация затрат на нрофаммирование в иерархических мультиязыковых средах. // Тезисы докладов молодежной конференции «Проблемы теоретической и прикладной математики». - Екатеринбург: УрО РАН. 1996. 60-61.
51. Смирнов Д.В. Алгебра иерархических языков в компьютерных средах. // Тезисы докладов молодежной конференции «Проблемы теоретической и прикладной математики». - Екатеринбург: УрО РАН. 1997. 82-84,
52. Смирнов Д.В. Алгоритмическая алгебра pi-схем. // Тезисы докладов молодежной конференции «Проблемы теоретической и прикладной математики». - Екатеринбург: УрО РАН. 1999. 97-98.
53. Торопов Д.А. О проекте языка программирования, основанного на теоретико- множественной нотации. // Тезисы докладов молодежной конференции «Проблемы теоретической и прикладной математики». - Екатеринбург: УрО РАН. 1996. 62-63.
54. Торо110в Д.А. О семантическом описании иерархических мультиязыковых систем. // Тезисы докладов молодежной ко11фере1щии «Проблемы теоретической и прикладной математики». - Екатеринбург: УрО РАН. 1997. 87-89.
55. Торопов Д.А. О структурных отношениях в денотационной семантике. // Тезисы докладов молодежной конференции «Проблемы теоретической и прикладной математики». - Екатеринбург: УрО РАН. 1998. 75-76.
56. Прохоров В.В. О задаче распознавания изображений в условиях сильных помех // I Всесоюзная конференция по искусственному интеллекту: Тсз.докл. т.2, М.: 1988. -С.235-239.
57. Прохоров В.В. Универсальный интерфейс пакетов прикладных программ с представлением алгоритмической информации л-схемами. // VII Сибирская школа по пакетам прикладных программ. Тезисы докладов. - Иркутск: Ирк. ВЦ АН СССР, 1989.-С. 35
58. Прохоров В.В. Визуальный алгоритмический язык л-схем и программшлй комплекс поддержки л-тсхнологии. // V Всесоюзный семинар «Разработка и применение программных средств ПЭВМ в учебном процессе». - М: ИПИАН, 1989. - 85-86.
59. Прохоров В.В. Визуальное программирование на основе представлений алгоритмов и данных л-схсмами. // Материалы конференции «Диа;юг «человек-ЭВМ». -Свердловск: УрО АН СССР, 1989.-С. 19-21.
60. Прохоров В.В. Распознавание изображений в условиях сильных помех. // IV Всесоюзная конфере1пи1я «Математические методы распознавания образов ММРО-IV. Тезисы докладов. - Рига: МИПКРРиС, 1989. - 75-77. 61. Прохоров В.В. Визуальная л-техпология разработки программ. // VIII Сибирская школа по пакетам прикладных программ. Тезисы докладов. - Иркутск: Ирк.ВЦ АН СССР, 1990.-С.74-76.
62. Прохоров В.В. Структурный язык визуальных представлений. // В кн.: Задачи моделирования и оптимизации.-Свердловск: УрО ЛИ СССР, 1991.-С. 151-174.
63. Прохоров В.В. О визуальшлх спецификациях алгоритмов и программ (язык л-схсм). // Международная конференция «Применение новых технологий в образовании». Тезисы докладов. - М.: Наука, I99I.-C.5I-52.
64. Прохоров В.В. Визуальные л-иптерфсйсы профаммгплх комплексов и л-тсхнология. // Всесоюзная научная конференция «Интеллектуа;1изация систем управления». Материалы. - Баку: АзАН, 1991. - 121-122. Литература 291
65. Прохоров В.В. Программная среда «Микрат». // V Всесоюзный семинар «Разработка и применение ПЭВМ в учебном процессе». - М: ИПИЛН, 1991.-С.67-68.
66. Прохоров В.В. я-схемы - язык графического представления алгоритмов. // «Кибернетика и системный анализ», №2,1992. (ISSN 1060-0396)-С.93-107.
67. Prokhorov, V.V. 7i-Technology: the concept of hierarchical languages of information and its processing specifications. // East-West Conference on Emerging Computer Technologies in Education. - M.: ICSTl, 1992. - C.172-173
68. Prokhorov, V.V. Pi-Technology for kids and professionals: a concept of hierarchical languages. // Международная конференция «Применение новых компьютерных технологий в образовании». Тезисы докладов. - М.: Наука, 1992. - 95-96.
69. Прохоров В.В. Графическое представление алгоритмов л-схемами и программный комплекс ПИФАГОР. // IX Сибирская школа по пакетам прикладных программ. -Иркутск: Ирк.ВЦ АН СССР, 1992. - 49-53
70. Prokhorov, V.V. Hypermedia programs and scenarios in images. // Proceedings of the International Conference on Computer Technologies in Education IICTE93. Kiev, 1993. - C.78-82.
71. Прохоров В.В., Копелев А.Б., Смирнов Д.В. // Программный комплекс piLOGO: программирование в образах. // Материалы IV Международной конференции «Применение новых ком1н>ютерных технологий в образовании». - Троицк: Фонд «Байтик», 1993.-С. 117-119.
72. Прохоров В.В., Берсенева Н.П., Копелев А.Б., Некрасов Л.В. , Смирнов Д.В. Программный комплекс «ПИФАГОР». // Научно-практическая конференция «Информатизация образова1тя'93». Тезисы докладов. - Екатеринбург: УрГПИ, 1993. -С.55-56.
73. Прохоров В.В., Копелев А.Б., Смирнов Д.В. О мультнязыковой pi-технологии в образовании: ПИФАГОР. // Выставка-конференция «Новые информационные технологии в школах и вузах». Москва: 1993. - 74.
74. Прохоров В.В., Некрасов А.В., Смирнов Д.В. Система визуального программирования на базе я-схем. // Тезисы докладов молодежной конференции «Проблемы теоретической и прикладной математики», 1991. - Екатеринбург: УрО РАН, 1993. -С.52.
75. Прохоров В.В. Концепция иерархических языков. // Тезисы докладов молодежной конференции «Проблемы теоретической и прикладной математики», 1992. -Екатеринбург: УрО РАН, 1993.-С.88-89.
76. Прохоров В.В. pi-технология: иерархическая организация интерфейса и обработки информации. // Тезисы докладов молодежной конференции «Проблемы теоретической и приклад1юй математики». - Екатеринбург: УрО РАН, 1993. - 114-116.
77. Prokhorov, V.V. PYTHAGORAS: software for education. // I Российско-турецкий семинар «Новые информационные технологии», Москва, 1994. - 35. Литература 292
78. Prokhorov, V.V. PYTHAGORAS: software based on the graphic approach and hierarchical technology. // The 2"'' Russian-Turkish Seminar «New High Information Technologies», 1994. - M.: ICSTI. - C.60-62.
79. Прохоров B.B. О языке структурно-графических синтаксических описаний. // Материалы IV Национальной конференции с мс/каународным участием «Искусственный интеллект» КИИ-94.-Рыбинск, 1994.— 118-121.
80. Prokhorov, V.V. лЬОСО: education based on the graph multilanguage technology. // East-West Conference on Emerging Computer Technologies in Education. 1С UAS. -Kiev, 1994.-C.62-66.
81. Прохоров B.B. Визуальные структурные представления а;норитмов в виде я-схе.м. // В кн. «Вопросы совершенствования учебно-воспитательной работы в школе и вузе», Славянск, 1994.-С.115-119.
82. Prokhorov, V.V. The PYTHAGORAS: Software Based on Visual Approach and Hierarchical Technology, // Proceedings of the East-West International Conference on Multimedia, Hypermedia and Virtual Reality. MHVR'94 - Moscow, 1994. - C.231.
83. Прохоров В.В. Hierarchic representations in software environment. // Proceedings of 5th Hellenic Conference on Informatics, Athens, Greece, 1995. - C.57-62.
84. Prokhorov, V.V. PYTHAGORAS: Multienvironment Software. // Proceedings of the 5- th East-West International Conference on Human-Computer Interaction (EWHCr95), Vol.11, ICSTI, Moscow, Russia, 1995. - C.160-172.
85. Prokhorov, V.V. Hierarchic Multilanguage Reuse Technology and Knowledge Engineering. // Arbeitspapiere der GMD Gesellschaft fur Mathematik und Datenverarbcitung mbll, Vol.903. Sankt Augustin, Germany, 1995. - P. 122-126.
86. Prokhorov, V.V. PYTHAGORiVS: Multienvironment Software. // Lecture Notes in Computer Science, Vol.1015. Springer Verlag, Berlin, Germany, 1995. (ISBN 3-540-60614-9).-P.135-148.
87. Prokhorov, V.V. To Graph Representation of Syntax Definitions. // Technology Transfer Series: Expert Systems Applications & Artificial Intelligence. Gournay-Sur-Marne, France: IITT International, 1995. (ISBN 2-90766931-1) - P.53-58. Литература 293
88. Прохоров В.В. Об иерархической технологии представления знаний, организации программных средств и человеко-компыотерного взаимодействия. //Труды Института математики и механики УрО РАН,т.З. Екатеринбург: УрО РАН, 1995. - 274-294.
89. Prokhorov, V.V.; Smimov, D.V. The PYTHAGORAS visual media. // Proceedings of the International Conference "Interactive systems: the Problems of Human-Computer Interaction», - Ulianovsk: - 1995. - P.19-21.
90. Prokhorov, V.V.; Smimov, D.V. The PYTHAGORAS media. // Материалы выставки «Интеллектуальные информационные системы». - Ульяновск: - 1995. - 16.
91. Прохоров В.В. О мультиметафорном подходе к построению языков и программных средств.//Труды международного семинара «Искусственный интеллект в образовании», часть II. - Казань: КГТУ, 1996. 49-54.
92. Prokhorov, V.V. Model of Microcontcxt User-Adaptable HCI for Multi-Computer Complexes.// Proceedings of the 6-th East-West International Conference on Human-Computer Interaction (EastVVest НСГ96). - Москва: ICSTI, 1996. - P.l 13-120.
93. Прохоров В.В., Псхов Р.Е. Графический синтаксический язык и среда ПИФАГОР. // Тезисы докладов молодежной конференции «Проблемы теоретической и прикладной математики». Информационные материалы. - Екатеринбург: УрО РАН, 1996. - 57-59.
94. Prokhorov, V.V. On graphic structured languages. // Proceedings International Conference on Information Visualisation IV'97, IEEE Computer Society Press, Los Alamitos, CA. 1997. - P.219-225.
95. Прохоров B.B. О микрокоитскстном подходе к построению языков представления знаний и чсловеко-компьютерного взаи%юдействия.//Известия РАН. Теория и системы управления, 1997, №5 (ISSN 1064-2307). - 5-16. Литература 294
96. Prokhorov, V.V,; Smimov, D. 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.
97. Прохоров В.В., Калугин Л. Пифагор: среда раснределенного программирования в Интернет, Рабочая станция для MS Windows. // Труды Региональной молодежной конференции. - Екатеринбург: ИММ УрО РАН. - 1997. - 79-81
98. Прохоров В.В., Смирнов Д.В., Копелев А.Б., Береспева Н.П., Кучина Е.П., Яковлев Л.В. ПИФАГОР. Графическая среда программирования.-Екатеринбург: УрО РАН. 1998.- 136 с.
99. Прохоров В.В. Технология использования вычислительных ресурсов в Интернет на основе вычислительных прокси-серверов.//Алгоритмы и программные средства параллельных вычислений. Вып. 2 . - Екатеринбург: УрО РАН, 1998. 256-267.
100. Прохоров В.В., Косарев В.А. Система piJ для графического программироваш1я на языке Java. // Тезисы докладов молодежной конференции «Проблемы теоретической и прикладной математики». - Екатеринбург: УрО РАН. 1998. 70-72.
101. Прохоров В.В., Смирнов Д.В. Модель оптимизации времени обменов в распределетнлх средах. // Тезисы докладов молодежной конференции «Проблемы теоретической и прикладной математики». - Екатеринбург: УрО РАН. 1998. 73-74.
102. Прохоров В.В., Косарев В.А., Копелев А.Б., Смирнов Д.В. Визуальные мультиязыковые средства для разработки распределенных сред. // Управляющие системы и машины. - 1999. №5. - 75-83.
103. Прохоров В.В., Стариков А.П., Смирнов Д.В. Програмчтая среда «Вычислительный прокси-сервер». //Тезисы докладов Всероссийской студенческой научно-технической конференции «Информационтле технологии и элеклроника». Екатеринбург: УГТУ, 1999.С.72-73.
104. Прохоров В.В., Копелев Л.В., Смирнов Д.В. Что такое ПИ(1)ЛГ0Р? // Компьютерные учебные программы. - 1999. - №4 (19). - 37-38.
105. Прохоров В.В., Копелев Л.Б., Смирнов Д.В. ПИФАГОР: среда визуального программирования. // Компьютерные учебные программы. - 1999. - №4 (19). - 57-58.
106. Прохоров В.В., Косарев В.А. Метафоры визуапьных языков программирования. // «Проблемы теоретической и прикладной математики». Труды Региональной молодежной конференции. - Екатеринбург: ИММ УрО РАН. - 1999. - 89-90.
107. Прохоров В.В., Петухов А.П. Система распределенной передачи информации "Радар". // «Проблемы теоретической и прикладной математики». Труды Регионамьной молодежной конференции. - Екатеринбург: ИММ УрО РАН. - 1999. - 91-92.
108. Прохоров В.В. Вычислительный портал: средства удалспиого доступа к ресурсам суперкомпьютеров.//Труды Всероссийской научной конференции «Высокопроизводительные вычисления и их приложения» (г.Чсриоголовка). М.:МГУ,2000. 161-165.
109. Прохоров В.В., Косарев В.А. Интеграция объектов визуальных языков с внешними средствами программирования. // «Проблемы теоретической и приклад1юй математики». Труды Региональной молодежной конференции. - Екатеринбург: ИММ УрО РАН, 2000. 142-143.
110. Прохоров В.В., Смирнов Д.В. Гибридная иерархическая модель представления знаний. // «Проблемы теоретической и прикладной математики». Труды Региональной молодежной конференции. - Екатеринбург: ИММ УрО РАН, 2000. 144-145.
111. Прохоров В.В., Смирнов Д.В., Измайлов СВ. Вычислительный прокси-сервер. // «Проблемы теоретической и прикладной математики». Труды Региональной молодежной конференции. - Екатеринбург: ИММ УрО РАН, 2000. 146-147.
112. Прохоров В.В., Смирнов Д.В. Модель оценки и оптимизации затрат в многоуровневых нечетких средах.// Программирование, 2001,№5, с. 35-44.
113. Прохоров В.В., Смирнов Д.В. Опти.мизация времени вычислений в многопроцессорных распределенных системах. // Алгоритмы и программные средства параллельных вычислений. Вып. 5. - Екатеринбург: Изд. УрО РАН, 2001. - 226-239.
114. Прохоров В.В. Технология и программные средства доступа к удаленным вычислительным ресурсам через вычислительный прокси-сервер. // Труды Всероссийской паунюй конференции «Научный сервис в сети Интернет». МГУ, 2001. -С.213-218.
115. Прохоров В.В. Об оптимальном планировании использования ресурсов вычислительным прокси-сервером.//Алгоритмы и программные средства параллельных вычислений. Вып.6.-Екатеринбург: ИММ УрО РАН,2002. 242-288.
116. Прохоров В.В. Комплекс интернет-мсдиасредств па базе компонентной я- технологии.//Алгоритмы и программные средства параллельных вычислений. Вып.6.- Екатеринбург: ИММ УрО РАН,2002. 289.356.
117. Прохоров В.В., Косарев В.А. Технологии аудио-видеовешапия в Интернет. // Труды Всероссийской научной конференции "Нау^тый сервис в сети Интернет" (г.Новороссийск), М.: Изд-воМГУ, 2002.-с.15-17. Литература 297
118. Прохоров В.В., Косарев В.А. Комплекс интсрнет-медиасрсдств. // «Проблемы теоретической и прикладной математики». Труды Региональной молодежной конференции. - Екатеринбург: ИММ УрО РАН. - 2003. - 282-294.
119. Бсрдытев В.И., Козлов В.Л., Кондратьев В.П., Прохоров В.В., Л.Л.Хомспко. «Метод диагностики нарушений кровенаполнения поджелудочной железы». Патент России RU2098011, опубл. 10.12.1997.
Обратите внимание, представленные выше научные тексты размещены для ознакомления и получены посредством распознавания оригинальных текстов диссертаций (OCR). В связи с чем, в них могут содержаться ошибки, связанные с несовершенством алгоритмов распознавания. В PDF файлах диссертаций и авторефератов, которые мы доставляем, подобных ошибок нет.