WWW.KNIGI.KONFLIB.RU

БЕСПЛАТНАЯ ЭЛЕКТРОННАЯ БИБЛИОТЕКА

 
<< HOME
Научная библиотека
CONTACTS

Pages:     | 1 |   ...   | 4 | 5 || 7 | 8 |

«САМАРСКИЙ ИНСТИТУТ ИНЖЕНЕРОВ ЖЕЛЕЗНОДОРОЖНОГО ТРАНСПОРТА Кафедра телекоммуникаций на железнодорожном транспорте СОВРЕМЕННЫЕ ТЕХНОЛОГИИ РАЗРАБОТКИ И ТЕСТИРОВАНИЯ ...»

-- [ Страница 6 ] --

В то же время, визуальное программирование расширяет “армию труда” в сфере программирования, поскольку к узкому кругу профессиональных программистов, в новых условиях, подключается большое количество “любителей”, способных разрабатывать качественные программные продукты на новых средствах программирования.

В технологии ГСП используются оба способа автоматизации программирования. С одной стороны, технология ГСП применяет визуальный способ кодирования программ, с другой стороны - автоматизирован синтез многих компонент разрабатываемого программного обеспечения. Например, автоматически синтезируются коды агрегатов, inline акторы, межмодульный информационный интерфейс. Кроме того, технология ГСП имеет интеллектуальную поддержку, обеспечивающую разработку надежных программных модулей.

Визуальное программирование в ГСП возможно на непустом множестве объектов ПОП. Объекты в ГСП порождаются либо традиционным “ручным” способом, при кодировании на базовом языке программирования базовых модулей, либо автоматизированным - при синтезе акторов, агрегатов, предикатов, модулей типа in-line, а также в результате инкапсуляции агрегатов. Доля неавтоматизированных модулей в ГСП по мере развития ПОП постоянно уменьшается, а степень автоматизированности программирования - увеличивается.

Можно выделить три способа автоматического синтеза объектов ГСП (см. рис.3.1):

паспортизацию, агрегацию и инкапсуляцию.

Паспортизация из базовых модулей (типов объектов) порождает полиморфные объекты - акторы или предикаты, т.е. одна и та же синтаксическая конструкция (базовый модуль) порождает различные семантические формы объектов.

Агрегация из совокупности имеющихся семантических конструкций порождает новую семантическую конструкцию.

Инкапсуляция реализует, в определенном смысле, обратное двум предыдущим действие: порождает синтаксическую конструкцию (базовый модуль) из выбранной семантической формы объекта.

В данной главе рассматриваются вопросы конструирования объектов на концептуальной основе технологии графо-символического программирования, а также проблема классификации данных агрегатов ПОП.

3.1. Конструирование объектов инкапсуляцией агрегатов Автоматизированное программирование в ГСП возможно на основе множества объектов. Значительная часть из них в качестве реализации типа объекта имеет базовые модули, которые формируются “ручным” способом - программированием на базовом языке. В принципе, эта ситуация не столь критична, поскольку в большинстве случаев в качестве базовых модулей можно использовать подпрограммы из обширных библиотек стандартных программ языка программирования, практически не занимаясь “ручным” кодированием программ. Тем не менее, проблема автоматизации порождения базовых модулей представляет несомненный практический интерес. В качестве решения этой проблемы предлагается использовать операцию инкапсуляции агрегатов ГСП.

Понятие инкапсуляции возникло в “недрах” объектно-ориентированного программирования, как возможность “скрывать” частности от целого. Такой подход позволяет программисту не знать частных деталей реализации программной системы, осуществлять конструирование из элементов, реализация которых скрыта от него под оболочкой модуля. По существу разговор идет о механизме сокрытия внутренних переменных класса и описания интерфейса класса.

Сокрытие внутренних переменных объекта актуально и для ГСП. Например, в процессе построения такого сложного объекта, как термогазодинамичекая модель авиационного двигателя, в процессе агрегации объекта из объектов более низкого иерархического уровня (узлов ГТД) в последнем накапливается большое количество данных, используемых в моделях узлов двигателя. В среднем, число параметров для модели ГТД колеблется от нескольких сотен до нескольких тысяч. Большинство параметров агрегата являются внутренними и используются для передачи информации от одного объекта к другому. При построении объекта более высокого иерархического уровня, например, летательного аппарата, большинство параметров двигателя в рамках нового объекта практически не нужны. В этом случае помогает механизм инкапсуляции внутренних переменных модели ГТД.

Инкапсуляция агрегатов в ГСП реализуется следующим образом:

1). На первом этапе по паспортам акторов и предикатов формируется область данных агрегата.

2). На втором этапе данные агрегата разбиваются на четыре класса: исходные данные, выходные данные, модифицируемые данные и внутренние данные. Здесь под внутренними данными понимаются данные, которые идентифицируются по признаку “выход предшествующего в схеме управления объекта - вход в любой из объектов, следующих за предшествующим”.

3). Паспортные данные агрегата предъявляются разработчику, и он, с помощью построенной классификации данных, все множество данных разбивает на две группы:

внутренние (инкапсулированные) данные и внешние данные, специфицирующие тип нового базового модуля.

4). На последнем этапе автоматически синтезируется текст нового базового модуля.

Синтез текста нового базового модуля реализуется за счет построения заголовка программы, в который включается список всех типов данных, описанных разработчиком как внешние в том порядке, как он указывает. Для внутренних данных строится межмодульный информационный интерфейс также, как это делается для исполнимых модулей.

Рассмотрим простую задачу построения базового модуля инкапсулированием агрегата Apoz, реализующего позиционирование некоторого слова b в строке символов a (см. рис.3.2). Для этих целей используется базовый модуль Poz, составленный на языке Си, с использованием стандартной подпрограммы strstr().

Граф-агрегат Apoz сконструирован из “in line”- объектов, каждый из которых состоит из одного - двух простейших операторов языка Си. В агрегате Apoz используются четыре параметра:

a[ ], b[ ] - строки символов, имеющие типы TAPE и WORD соответственно (эти типы описаны в h-файлах директивами: typedef char TAPE[200]; typedef char WORD;), P - указатель на целое типа int*.

Определим в качестве внутренних параметров инкапсулируемого объекта данные I и J, а в качестве внешних - a, b, p. На рисунке 3.3 представлен текст инкапсулированного базового модуля Poz. Имена акторов “in line” в ГСП порождаются автоматически, на рисунке 2.3 этим модулям назначены имена Inline1 - Pred5. Теперь, на основе нового базового модуля Poz можно через “паспортизацию” формировать акторы: Pz_R_I позиционирование головки машины Тьюринга по символу “|” на правой полуленте и т.д.

Для сравнения на рисунке 3.4 представлен текст аналогичного базового модуля, закодированного на языке Си.

int Poz(TAPE *a_, WORD *b_, int *P_) static int I=0;

static int J=0;

static int P=0;

static TAPE a={};

static WORD b={};

static void *Pred4[ ]={&a,&b};/* a[I] == b[J] && b[J] != ‘\x0’ */ static void *Apoz[ ]={ Inline1, Inline2, Inline3, Inline4, Inline5, Inline6,... a=*a_; b=*b_; P=*P_;

Рис.3.3. Текст инкапсулированного модуля Poz /*Позиционирование строки B в строке A*/ #include string.h #include "C:\graph\grfpo\h\MACH.H" int Poz(TAPE a,WORD b,int *p) if (a[I] == '\x0') {*p=-1; return(0);} Рис.3.4. Текст базового модуля Poz, составленного на языке Си Сравнение текстов одной и той же программы, составленных средствами системы GRAPH (рис.3.2) и на языке Си, демонстрирует выразительные достоинства графпрограмм.

В технологии ГСП все объекты (акторы, предикаты, агрегаты) реализуют в общем случае векторные функции многих переменных, которые можно представить в виде D out = f ( D in ), где D in, D out - множество входных и вычисляемых данных. Причем, для двух этих категорий справедливо: D in, D out D D mod = D in I D out, где D -словарь данных предметной области. В связи с чем, к двум категориям данных входных и вычисляемых, добавляется модифицируемый тип данных.

Информация о разделении данных по признаку их использования на объектах необходима в следующих случаях:

1. При построении на основе объекта исполняемого EXE-модуля;

2. Для выполнения операции инкапсуляции объектов;

3. При тестировании объектов технологии ГСП.

В первых двух случаях потребность в классификации данных связана с необходимостью инициализации входных данных. Так, например, отсутствие начальных значений входных или модифицируемых переменных непременно вызовет ошибочную ситуацию при исполнении EXE-модуля. С другой стороны, при выполнении операции инкапсуляции объекта “спрятанным” данным (локальным для инкапсулированного модуля), если они входные или модифицируемые, также должно быть присвоено начальное значение.

При тестировании объектов признак классификации данных используется для выделения независимых переменных функции, в пространстве которых реализуется поиск ошибочных ситуаций.

Если для объектов типа акторов и предикатов вопрос классификации данных решается пользователем на этапе формирования паспорта модуля, то при классификации данных модуля-агрегата задача становится не столь тривиальной. В отличие от актора, в агрегате отнесение того или иного данного к определенному классу в значительной степени зависит от маршрута работы алгоритма на управляющем графе объекта.

Пусть мы имеем агрегат G1, представленный на рис. 3.5. Предположим, что классификация параметров модулей A1, A2 и A3 представлена в таблице 3.1.

Тогда, если алгоритм будет выполняться по маршруту A1A3А6, параметр D2 (из модуля A3) должен принять значение перед началом работы программы, и его необходимо отнести к классу входных данных. Если же алгоритм пойдет по маршруту A1A2A3А6, то D2 будет вычислен в модуле A2 и, следовательно, это данное не надо инициировать заранее (то есть оно является вычисляемым). Учитывая априорную неопределенность развития вычислительного процесса на графе G1, данное D2 следует отнести к классу входных данных. Действительно, если вычисления “пойдут” по первому маршруту, то для него следует иметь начальное значение, если же вычисления будут развиваться по второму маршруту, то инициируемое значение будет заменено на вычисленное. В любом случае не возникнет ошибочная ситуация, связанная с отсутствием или неверным заданием начального значения для данного D2.

Таким образом, задача классификации данных для объектов-агрегатов связана с решением проблемы выделения всех независимых маршрутов, которые могут быть реализованы в графе агрегата.

3.2.2. Декомпозиция агрегатов. Алгебра трехзначной логики выделения классификационных признаков Задача построения всех независимых маршрутов из корневой вершины в концевые вершины графа эквивалентна задаче декомпозиции исходного графа на совокупность частей графа, таких что G = U R j, где Rj - ориентированные маршруты из корневой вершины в концевые.

Так, например, граф, представленный на рисунке 3.5, может быть разложен на следующие маршруты (см. рис.3.6).

Каждый из представленных маршрутов является линейным графом (в общем случае они могут содержать и циклы), а развитие вычислительного процесса на графе происходит по одному из перечисленных направлений.

Для каждого из маршрутов можно построить паспорт на основе паспортов составляющих его объектов. Новый паспорт представляет собой теоретикомножественное объединение данных, входящих в маршрут объектов. Определенную трудность составляет задача классификации типов данных.

Абстрагируясь от содержательной части паспорта (наименований данных и их типов), рассмотрим задачу назначения классификационных признаков данным.

Классификационные признаки данных для линейных графов определяются расположением объектов на маршруте вычислений. Если несколько модулей на маршруте имеют общий параметр, то его классификационный признак будет определяться типом его первого вхождения. Например, для маршрута R1:



Pages:     | 1 |   ...   | 4 | 5 || 7 | 8 |
 


Похожие работы:

«ЖЕЛЕЗНОДОРОЖНЫЙ ТРАНСПОРТ L. LOTKER - Common Component (Deutschland, Berlin) С. GUL - Common Component (Deutschland, Berlin) ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ ДЛЯ ГРУЗОВЫХ ПЕРЕВОЗОК Аннотация Проект предлагает и реализует идею общего языка (рисунок 3) в отличие от идеи общей функциональности. Каждому участнику группы Common Component, равно как и любому другому участнику транспортного рынка, предполагающему использовать данную платформу, оставлено право выбора присоединиться к существующей и/или...»

«Утверждаю Проректор по учебной работе _ С.В. Шалобанов _ 2007 г. ПРОГРАММА ДИСЦИПЛИНЫ по кафедре Эксплуатация автомобильного транспорта ОСНОВЫ ТЕОРИИ ТРАНСПОРТНЫХ СИСТЕМ Утверждена научно-методическим советом университета для направления подготовки в области транспортных средств. Специальность Организация перевозок и управление на транспорте (автомобильный) Хабаровск 2007 г. Программа разработана в соответствии с требованиями государственного образовательного стандарта, предъявляемыми к...»

«ПРИБОР ПРИЕМНО-КОНТРОЛЬНЫЙ ОХРАННО-ПОЖАРНЫЙ ППКОП 01059 - 56 - 4 “ДОЗОР - 4” РУКОВОДСТВО ПО ЭКСПЛУАТАЦИИ НН 2.406.002 РЭ. Руководство по эксплуатации 1. ОБЩИЕ СВЕДЕНИЯ 1.1. Основные возможности 2. ТЕХНИЧЕСКИЕ ДАННЫЕ 3. ПОРЯДОК УСТАНОВКИ ПРИБОРА И ПОДГОТОВКИ К РАБОТЕ 3.1. Монтаж 3.2. Установка напряжений нормы в шлейфах и режима работы 4. ИСПОЛЬЗОВАНИЕ ПРИБОРА 4.1. Режим 0 - технологический контроль 4.2. Режимы 1, 2, 3, 4, 5 - пожарная сигнализация 1.3. Режимы 6, 7, 8, 9 - пожарная и охранная...»

«АмплиСенс Федеральное бюджетное учреждение науки Центральный научно-исследовательский институт эпидемиологии, Российская Федерация, 111123, город Москва, улица Новогиреевская, дом 3а ОГЛАВЛЕНИЕ СПИСОК СОКРАЩЕНИЙ НАЗНАЧЕНИЕ ПРИНЦИП МЕТОДА ФОРМАТЫ И ФОРМЫ ВЫПУСКА НАБОРА РЕАГЕНТОВ АНАЛИТИЧЕСКИЕ ХАРАКТЕРИСТИКИ МЕРЫ ПРЕДОСТОРОЖНОСТИ ДОПОЛНИТЕЛЬНЫЕ МАТЕРИАЛЫ И ОБОРУДОВАНИЕ ВЗЯТИЕ, ТРАНСПОРТИРОВАНИЕ И ХРАНЕНИЕ ИССЛЕДУЕМОГО МАТЕРИАЛА. 8 ПОДГОТОВКА ИССЛЕДУЕМОГО МАТЕРИАЛА К ЭКСТРАКЦИИ ДНК ФОРМАТ FRT...»

«ES-TEN-0407 РЕВЕРСИВНЫЕ ВИБРОПЛИТЫ TEN Руководство по эксплуатации 1 TEN2540- TEN2550-TEN3040- TEN3050 СОДЕРЖАНИЕ 1 ВВЕДЕНИЕ...4 2 ПРАВИЛА ТЕХНИКИ БЕЗОПАСНОСТИ..4 2.1 БЕЗОПАСНОСТЬ ПРИ РАБОТЕ С ОБОРУДОВАНИЕМ. 2.2 БЕЗОПАСНОСТЬ ПРИ РАБОТЕ С ДВИГАТЕЛЕМ. 2.3 БЕЗОПАСНОСТЬ ПРИ ТЕХНИЧЕСКОМ ОБСЛУЖИВАНИИ 2.4 МАРКИРОВКИ. 3 УТИЛИЗАЦИЯ...7 4 ТЕХНИЧЕСКИЕ ХАРАКТЕРИСТИКИ..7 4.1 ХАРАКТЕРИСТИКИ ДВИГАТЕЛЯ 4.2 ХАРАКТЕРИСТИКИ ВИБРОПЛИТЫ. 4.3 МАКСИМАЛЬНЫЙ НАКЛОН ПЛИТЫ В ПРОЦЕССЕ РАБОТЫ 4.4 АКУСТИЧЕСКИЕ И...»

«ОФОРМЛЕНИЕ ПЕРВИЧНЫХ ДОКУМЕНТОВ Информационный справочник для субъектов малого и среднего предпринимательства Красноярского края Красноярск 2012 УДК 332.1 ББК 65.9(2Рос-4Крн)-131 О-914 О-914 Оформление первичных документов : информационный справочник для субъектов малого и среднего предпринимательства [Текст]. — Красноярск, 2012. — 128 с. Настоящее издание подготовлено с  целью информирования предпринимателей о  требованиях, предъявляемых к  оформлению первичных документов в бухгалтерском...»

«УДК 621.311 Закарюкин В.П., Крюков А.В., Раевский Н.В., Яковлев Д.А. МОДЕЛИРОВАНИЕ И ПРОГНОЗИРОВАНИЕ ПРОЦЕССОВ ЭЛЕКТРОПОТРЕБЛЕНИЯ НА ЖЕЛЕЗНОДОРОЖНОМ ТРАНСПОРТЕ Под ред. профессора А.В. Крюкова Иркутск 2007 Деп. в ВИНИТИ 11.01.2007, № 19-В200 2 Содержание ОБОЗНАЧЕНИЯ И СОКРАЩЕНИЯ ВВЕДЕНИЕ 1. АНАЛИЗ МЕТОДОВ ПРОГНОЗИРОВАНИЯ ЭЛЕКТРОПОТРЕБЛЕНИЯ 1.1. Прогнозирование в системе электроснабжения железнодорожного транспорта 1.2. Анализ существующих методов прогнозирования электропотребления 1.3. Анализ...»

«К АТАЛОГ Д ЕТАЛЕЙ И СБОРОЧНЫХ Е ДИНИЦ ЧАСТЬ 3 СИСТЕМЫ ПЛАНЕРА КНИГА 2 Главы 32, 33 КАТАЛОГ ДЕТАЛЕЙ И СБОРОЧНЫХ ЕДИНИЦ ПЕРЕЧЕНЬ ГЛАВ КАТАЛОГА Номер Наименование главы ВВЕДЕНИЕ Часть I - УКАЗАНИЯ ПО ОБЩЕМУ ОБСЛУЖИВАНИЮ Хранение самолета (наземное оборудование) 12 Часть 2 - ПЛАНЕР. Книга I Общие указания 20 Фюзеляж 21 Часть 2 - ПЛАНЕР. Книга 2 Двери и люки 22 Окна 23 Оперение 25 Пилоны 26 Часть 2. - ПЛАНЕР. Книга 3 Крыло (включая раздел 24.43.00) 24 Часть 2 - ПЛАНЕР. Книга 4 24 Крыло (с раздела...»

«МИНИСТЕРСТВО АВТОМОБИЛЬНОГО ТРАНСПОРТА РСФСР ПРИКАЗ от 31 декабря 1981 г. N 200 ОБ УТВЕРЖДЕНИИ ПРАВИЛ ОРГАНИЗАЦИИ ПАССАЖИРСКИХ ПЕРЕВОЗОК НА АВТОМОБИЛЬНОМ ТРАНСПОРТЕ В целях обеспечения дальнейшего совершенствования организации пассажирских перевозок Министерство автомобильного транспорта РСФСР приказывает: 1. Утвердить прилагаемые Правила организации пассажирских перевозок на автомобильном транспорте. 2. Республиканским объединениям и главным управлениям автомобильного транспорта,...»

«ТРУДЫ НОВОСИБИРСКОГО ИНСТИТУТА ИНЖЕНЕРОВ ЖЕЛЕЗНОДОРОЖНОГО ТРАНСПОРТА ВЫПУСК 60 ВОЗДЕЙСТВИЕ ЛЬДА НА ОПОРЫ МОСТОВ И ГИДРАВЛИКА СООРУЖЕНИЙ ИЗДАТЕЛЬСТВО ТРАНСПОРТ МОСКВА 1967 В сборнике освещаются результаты научных работ сотрудников кафедры Гидравлика и водоснабжение Новосибирского института инженеров железнодорожного транспорта в области воздействия льда на опоры мостов, борьбы с ледовыми затруднениями у водозаборов, использования несущей способности льда при сооружении мостов и причалов, а также...»






 
© 2013 www.knigi.konflib.ru - «Бесплатная электронная библиотека»

Материалы этого сайта размещены для ознакомления, все права принадлежат их авторам.
Если Вы не согласны с тем, что Ваш материал размещён на этом сайте, пожалуйста, напишите нам, мы в течении 1-2 рабочих дней удалим его.