WWW.KNIGI.KONFLIB.RU

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

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

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

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

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

Предложенная алгоритмическая модель D,, P, G, в конечном счете, описывает некоторую вычислимую функцию f G ( D ) и в этом смысле может служить “исходным материалом” для построения алгоритмических моделей других программ. Последнее означает, что технология ГСП допускает построение иерархических алгоритмических моделей. Уровень вложенности граф-моделей в ГСП не ограничен.

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

Рассмотрим конкретный пример построения граф-модели.

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

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

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

S00 - все каналы свободны, S10 - занят первый канал, второй свободен, S01 - занят второй канал, первый свободен, S11 - заняты оба канала.

Можно выделить три события, переводящие систему из одного состояния в другое:

E0 - приход очередной заявки, E1 - завершение обслуживание заявки на первом канале, E2 - завершение обслуживание заявки на втором канале.

В зависимости от целей исследования каждому состоянию можно поставить в соответствие вычислимую функцию, содержанием которой может быть: подсчет заявок получивших отказ, сбор статистических данных по временам обслуживания заявок, в СМО, наконец, имитация выполнения некоторых специфических действий связанных с функционированием того или иного канала. Не вдаваясь в детали, установим следующее соответствие между состояниями и функциями: S00 - f0; S10 - f1; S01 - f2; S11 - f3. Событиям E0 - E2 поставим в соответствие предикаты P0 - P2. Содержание предикатов зависит от степени детализации процессов происходящих в СМО. В простейшем случае это может быть простое “бросание кости” в соответствие с интенсивностью потока заявок и интенсивностями обслуживания 1 и 2. В более сложных случаях, возможно моделирование интервалов времени между событиями, связанных с приходом заявок или их обслуживанием.

Тогда граф-модель двухканальной СМО можно представить так, как это показано на рис 2.1.

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

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

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

Программирование представляет собой сложный интеллектуальный процесс, естественное развитие которого в 70-х годах привело к возникновению нового понятия методологии программирования. Научное направление, символизируемое Дейкстрой, Виртом, Хоаром, в рамках структурного программирования развивает теорию программирования как методологию понимания сложных проблем [13]. Обилие “технических” трудностей в программировании возникает всякий раз при решении конкретных практических задач, которые по Б.Мейеру связаны одновременно с ограничениями, внутренне присущими человеческому уму, и с общей проблемой передачи идей и разделения труда. Основной задачей методологии программирования является сведение при помощи систематической декомпозиции задач очень большой сложности к комбинации простых задач, чтобы при этом синтез решений было легко реализовать. Для того чтобы построить программу, необходима стратегия декомпозиции.

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

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

Подобная концепция вводит понятие модуля.

В литературе до сих пор не сложилось окончательное определение понятия модуля.

Однако отчетливо выделяются два подхода к интерпретации этого понятия.

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

Второе представление связывает понятие модуля с данными, которыми он оперирует. Данный подход во многом обусловлен решением сложной проблемы распределения ответственности: какой программный модуль должен обеспечивать управление набором данных, используемых многими программными единицами? Эта проблема приводит к стратегии декомпозиции, основанной на понятии модуль данных в большей степени, чем на понятии программный модуль [20]. С этих позиций модуль есть структура данных, доступная извне при помощи некоторого набора программ (методов), и только при их помощи.

В этом случае модуль превращается в активный элемент (объект), обладающий всем множеством операций (методов) своего класса, а составление программы происходит в терминах взаимодействующих объектов, где активные элементы именно объекты, а не использующие их процессы. Таким образом, речь идет о необходимости считать программу не совокупностью процессов, обрабатывающих данные, а совокупностью активных “машин”, взаимодействующих между собой [34]. На практике это направление получило распространение в так называемых объектноориентированных языках программирования.

В ГСП отмечают два аспекта, объединяющие разные трактовки модуля: выделение в обособленную самостоятельную единицу каких-то действий, функций и данных;

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

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

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

Однако для ГСП наиболее существенным является свойство независимости (ортогональности) базовых моделей [26]. Ортогональность подразумевает однозначное, исключающее дублирование, распределение функций между модулем и остальной программой. Для строгого определения ортогональности двух модулей Bi и Bj требуется ввести некоторую оценочную функцию ( B i, B j ), являющуюся мерой независимости этих модулей и принимающую значения на [0,1] (0 - в случае полной независимости модулей и 1 при их совпадении). Оценочная функция ( Bi, B j ) играет роль скалярного произведения.

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

Введем понятие типа функции как обобщение понятия типа операции, которое определим как множество отображений из области определения функции в область результата. Причем областью определения функции считается декартово произведение множеств значений нескольких типов данных (типов формальных параметров), областью результатов - множество значений некоторого одного типа данных. При этом тип функции изображается T1, T2,..., Tn Tp, где T1, T2,..., Tp - типы формальных параметров и результата вычислений рассматриваемой функции.

С каждым типом функции (подпрограммы) связывают две операции: создания функции и аппликации функций к своим аргументам. Первая операция в языках программирования связана с изображением функции в виде: заголовок функции плюс тело функции. Вторая операция - в виде обращения к функции.

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

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

Действительно, в подпрограммах важен лишь тип параметра и порядок его использования, а “осмысление” назначения параметров возникает только после их аппликации к фактическим параметрам. Например, процедура, реализующая формулу A = B*C, в одной интерпретации типов данных вычисляет силу F по заданным ускорению a и массе m материальной точки (F = a m), в другой - путь S, по заданной скорости V и времени t (S = V t). Таким образом, подпрограмму можно рассматривать как описание абстрактного типа вида B: T1, T2,..., Tn Tp, в котором в теле подпрограммы реализуются операции над типами данных. В современных языках программирования такая интерпретация понятия подпрограммы присутствует незримо, например, в языке С++ в заголовке подпрограммы необходимо указывать кроме имен формальных параметров их типы, а в предописании подпрограмм перечисляются только типы параметров.

В технологии ГСП исходные, модифицируемые данные и результаты вычислений базовых модулей размещаются в списке типов данных реализуемой функции, поэтому тип базового модуля определим как отображение типов данных из области определения на область их значений B: Ti1, Ti 2,..., Ti n T j1, T j 2,..., T j m, которые реализуются в соответствии с принятыми в B операциями над типами данных.

В технологии ГСП в качестве программных единиц рассматриваются объекты. По способу порождения и функциональному назначению различают три типа объектов:

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

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



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


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

«С введением в действие настоящего Руководства считать утративший силу Наставления по аэродромной службе в гражданской авиации СССР (НАС ГА-86.) ВВЕДЕНИЕ Данное Руководство предназначено для соответствующих служб, полномочных органов и должностных лиц, несущих ответственность и осуществляющих эксплуатацию гражданских аэродромов. Оно может использоваться в качестве практического пособия, инструктивного, а в отдельных вопросах рекомендуемого материала должностным лицам и службам авиапредприятий и...»

«ПРАВИЛА ПРОВЕДЕНИЯ ТРОФИ-РЕЙДОВ ОГЛАВЛЕНИЕ Статья 1. ТЕРМИНОЛОГИЯ Статья 2. ТРЕБОВАНИЯ К ДОПОЛНИТЕЛЬНОМУ РЕГЛАМЕНТУ. Статья 3. АВТОМОБИЛИ. ТРАНСПОРТНЫЕ СРЕДСТВА. Статья 4. УЧАСТНИКИ. ЭКИПАЖИ. Статья 5. ЗАЯВКИ. ЗАЯВОЧНЫЕ ВЗНОСЫ Статья 6. ИДЕНТИФИКАЦИЯ. РЕКЛАМА. Статья 7. СТРАХОВАНИЕ. Статья 8. АДМИНИСТРАТИВНЫЕ И ТЕХНИЧЕСКИЕ ПРОВЕРКИ. Статья 9. ДОРОЖНАЯ КНИГА. Статья 10. ДОРОЖНОЕ ДВИЖЕНИЕ. Статья 11. ПОМОЩЬ Статья 12. КОНТРОЛЬНАЯ КАРТА (КАРНЕТ). Статья 13. СПЕЦИАЛЬНЫЕ УЧАСТКИ (СУ). Статья 14....»

«ИНФОРМАЦИОННЫЕ СИСТЕМЫ КОНТРОЛЯ И УПРАВЛЕНИЯ В ПРОМЫШЛЕННОСТИ И НА ТРАНСПОРТЕ ШЕСТНАДЦАТЫЙ ВЫПУСК ИРКУТСК 2009 УДК 681.518.54 ББК 32.965 И 74 РЕДАКЦИОННАЯ КОЛЛЕГИЯ: академик РАИН, д.т.н., профессор Ю.Ф. Мухопад (научный редактор); к.т.н., доцент Ю.И. Огородников (зам. научного редактора); к.т.н. Р.А. Сегедин (ученый секретарь); д.т.н., профессор А.П. Хоменко; д.т.н., профессор М.П. Дунаев (ИрГТУ); д.т.н., профессор С.К. Каргапольцев; д.т.н., профессор А.В. Крюков; д.т.н., профессор Г.А. Опарин...»

«ПРИБОР СВЕТОВОЙ СИГНАЛИЗАЦИИ ПСС-07 Руководство по эксплуатации ЦКЛГ.421451.002 РЭ ЗАО НПП Центравтоматика г. Воронеж 2013 ПСС-07 ЦКЛГ.421451.002 РЭ СОДЕРЖАНИЕ ВВЕДЕНИЕ...3 1 НАЗНАЧЕНИЕ 2 ТЕХНИЧЕСКИЕ ХАРАКТЕРИСТИКИ 3 СОСТАВ ИЗДЕЛИЯ 4 УСТРОЙСТВО И РАБОТА 5 НАСТРОЙКА ПСС-07 КОНФИГУРАЦИИ 6 МОНТАЖ И ПОДГОТОВКА К РАБОТЕ 7 УКАЗАНИЕ МЕР БЕЗОПАСНОСТИ 8 МАРКИРОВКА И ПЛОМБИРОВАНИЕ 9 ТАРА И УПАКОВКА 10 ВОЗМОЖНЫЕ НЕИСПРАВНОСТИ И СПОСОБЫ ИХ УСТРАНЕНИЯ 11 ТЕХНИЧЕСКОЕ ОБСЛУЖИВАНИЕ 12 ХРАНЕНИЕ И...»

«ПРАВИЛА ПРОВЕДЕНИЯ ТРОФИ-РЕЙДОВ ОГЛАВЛЕНИЕ Статья 1. ТЕРМИНОЛОГИЯ Статья 2. ТРЕБОВАНИЯ К ДОПОЛНИТЕЛЬНОМУ РЕГЛАМЕНТУ. Статья 3. АВТОМОБИЛИ. ТРАНСПОРТНЫЕ СРЕДСТВА. Статья 4. УЧАСТНИКИ. ЭКИПАЖИ. Статья 5. ЗАЯВКИ. ЗАЯВОЧНЫЕ ВЗНОСЫ Статья 6. ИДЕНТИФИКАЦИЯ. РЕКЛАМА Статья 7. СТРАХОВАНИЕ. Статья 8. АДМИНИСТРАТИВНЫЕ И ТЕХНИЧЕСКИЕ ПРОВЕРКИ Статья 9. ДОРОЖНАЯ КНИГА Статья 10. ДОРОЖНОЕ ДВИЖЕНИЕ. Статья 11. ПОМОЩЬ Статья 12. КОНТРОЛЬНАЯ КАРТА (КАРНЕТ) Статья 13. СПЕЦИАЛЬНЫЕ УЧАСТКИ (СУ) Статья 14. СТАРТ и...»

«МОРСКОЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ имени адмирала Г.И. НЕВЕЛЬСКОГО Конталев В.А. ПРАКТИКУМ по дисциплине Организационное поведение Владивосток 2008 УДК 658.3 ББК 62721.656.615 Конталев В.А. Практикум по дисциплине Организационное поведение: учебное пособие. – Владивосток: МГУ, 2008.-118 с. Пособие предназначено для самостоятельного изучения и выполнения практических заданий по дисциплине Организационное поведение студентами специальностей Управление персоналом и Менеджмент организации. Особое...»

«Министерство Защиты Окружающей Среды Израиля Центр Экологических Систем и Технологий (ЭКОСТ) АВТОТРАНСПОРТ И ЭКОЛОГИЯ ГОРОДОВ ИЗРАИЛЯ Пособие для русскоязычных репатриантов При финансовой поддержке Министерства Защиты окружающей среды При поддержке: * Министерства Абсорбции Израиля * Муниципалитета Иерусалима * Управления Абсорбции Муниципалитета Иерусалима * Иерусалимского Общинного Дома Иерусалим, 2012 2 Авторский коллектив: Д-р. Валерий Анфимов- Введение, главы 1-7, 8,10,12-15. M.Sc. Елена...»

«БЛИЖНИЙ ВОСТОК И СОВРЕМЕННОСТЬ Сборник статей ВЫПУСК ТРИДЦАТЫЙ Москва 2007 Научное издание Ближний Восток и современность. Сборник статей (выпуск тридцатый) М., 2007, 352 стр. Ответственный редактор А.О.Филоник Сборник посвящен широкому кругу проблем, связанных с ситуацией на Ближнем и Среднем Востоке. Предлагаемые статьи являются исследованием конкретных вопросов странового и общего порядка, имеющих актуальное научное и практическое значение и раскрывающих суть некоторых явлений и процессов...»

«rr.by СООБЩЕНИЯ. РАЗНОЕ Витебск 37 i КАК ПОДАТЬ ЧАСТНОЕ ОБЪЯВЛЕНИЕ В ГАЗЕТУ “ИЗ РУК В РУКИ”? ГАЗЕТА ЧАСТНЫХ ОБЪЯВЛЕНИЙ Условия приема на стр. 38 № 35(997) Витебск и Витебская область Рекламное издание СП “БЕЛПРОНТО”...»

«Положение о порядке проведения практики курсантов и студентов Ульяновского высшего авиационного училища гражданской авиации (института) Ульяновск 2012 Настоящее Положение о порядке проведения практики курсантов и студен­ тов Ульяновского высшего авиационного училища гражданской авиации (ин­ ститута) (далее - Положение о практике) определяет порядок организации, про­ ведения и руководства практикой, требования к содержанию и структуре про­ граммы практики, к отчетной документации по практике....»






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

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