Научная статья на тему 'Формализация алгоритмического описания систем обеспечения жизненного цикла железнодорожной автоматики и телемеханики'

Формализация алгоритмического описания систем обеспечения жизненного цикла железнодорожной автоматики и телемеханики Текст научной статьи по специальности «Компьютерные и информационные науки»

CC BY
236
71
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
системы обеспечения жизненного цикла железнодорожной автоматики и телемеханики / сложные системы массового обслуживания / имитационное моделирование / алгоритм обслуживания заявок / объединенный алгоритм / матрица вхождений / разделительные логические условия / railway automation and remote control life cycle provision systems / complex queuing systems / simulation modeling / request service algorythm / united algorythm / occurrence matrix / separation logical conditions

Аннотация научной статьи по компьютерным и информационным наукам, автор научной работы — Булавский Петр Евгеньевич, Марков Дмитрий Спиридонович, Соколов Вадим Борисович, Константинова Татьяна Юрьевна

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

i Надоели баннеры? Вы всегда можете отключить рекламу.

Похожие темы научных работ по компьютерным и информационным наукам , автор научной работы — Булавский Петр Евгеньевич, Марков Дмитрий Спиридонович, Соколов Вадим Борисович, Константинова Татьяна Юрьевна

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

Formalisation of algorythmic description of systems of railway automation and remote control life cycle provision

This paper is devoted to the problem of synthesis of algorythmic refl ection of railway automation and remote control life cycle as complex queuing system (CQS). It is accepted that algorythmic refl ection s presented as request service algorythm (RSA), it should be formalised on PLSA language and used as the base for simulation models (SM) of CQS. Expediency of synthesis of united RSA is shown. The defi nition of united RSA is given. Authors offer the method of algorythm union based of formation of occurrence matrix of basic PLSA alphabet, analysis of its fragmentation, that allows to synthesize the united RSA with occurring once of basic PLSA alphabet elements, minimum number of separation logical conditions and minimized number of diriding logical conditions logical functions. Implementation of offered method of algorythm union allows

Текст научной работы на тему «Формализация алгоритмического описания систем обеспечения жизненного цикла железнодорожной автоматики и телемеханики»

418

Электронное моделирование

УДК 004.021+656.25

П. Е. Булавский, д-р техн. наук,

Д. С. Марков, канд. техн. наук,

В. Б. Соколов, канд. техн. наук,

Т. Ю. Константинова, канд. техн. наук

Кафедра «Автоматика и телемеханика на железных дорогах»,

Петербургский государственный университет путей сообщения Императора Александра I

ФОРМАЛИЗАЦИЯ АЛГОРИТМИЧЕСКОГО ОПИСАНИЯ СИСТЕМ ОБЕСПЕЧЕНИЯ ЖИЗНЕННОГО ЦИКЛА ЖЕЛЕЗНОДОРОЖНОЙ АВТОМАТИКИ И ТЕЛЕМЕХАНИКИ

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

системы обеспечения жизненного цикла железнодорожной автоматики и телемеханики; сложные системы массового обслуживания; имитационное моделирование; алгоритм обслуживания заявок; объединенный алгоритм; матрица вхождений; разделительные логические условия

Введение

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

No 4, Vol. 1, December

Automation on Transport

Электронное моделирование

419

плуатации и утилизации. Жизненный цикл ЖАТ включает следующие основные процессы:

- разработка концепции безопасности и соответствующих документов;

- разработка аппаратно-программных решений и конструкторско-технической документации;

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

- тиражирование - проектирование аппаратных и программных средств ЖАТ для конкретных объектов железнодорожного транспорта;

- изготовление аппаратно-программных средств ЖАТ по проекту;

- выполнение пусконаладочных работ на объекте, проведение соответствующих испытаний и приемка в эксплуатацию;

- техническая эксплуатация и модернизация ЖАТ в процессе эксплуатации;

- выполнение процедур вывода ЖАТ из эксплуатации и утилизации.

Безопасность и бесперебойность движения поездов определяются не только

потребительскими свойствами, показателями безотказности и безопасности ЖАТ как изделий, но и в определяющей степени качеством систем обеспечения жизненного цикла (СОЖЦ) ЖАТ, к которым относятся:

- комплекс методов и инструментальных средств доказательства безопасности ЖАТ [1-3];

- системы автоматизированного проектирования (САПР) ЖАТ [4, 5];

- системы диагностирования и удаленного мониторинга (СДУМ) технического состояния ЖАТ [6-9];

- системы электронного документооборота технической документации ЖАТ [10-12];

- автоматизированные системы управления хозяйством автоматики и телемеханики - АСУ-Ш [13].

Разработка и модернизация СОЖЦ ЖАТ представляют собой непрерывные процессы принятия и реализации сложных системотехнических решений, включающие методы и средства оценки их эффективности. В [14, 15] показано, что процессы, выполняемые СОЖЦ, относятся к дискретным в непрерывном времени, а СОЖЦ представляют собой сложные системы массового обслуживания (ССМО). В качестве методов и средств оценки эффективности применяются методы имитационного моделирования и имитационные модели (ИМ) [14, 16]. В качестве инструментального средства реализации ИМ СОЖЦ ЖАТ традиционно используется моделирующая среда GPSS World [17].

1 Основные положения

В [18] предложена обобщенная формализованная схема (ОФС) СОЖЦ ЖАТ как ССМО, включающая:

Автоматика на транспорте

№ 4,том 1, декабрь 2015

420

Electronic simulation

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

- структурно-алгоритмическое описание системы и процесса обслуживания заявок;

- параметрическое описание, включающее вероятностно-временные характеристики внешней среды и процесса обслуживания;

- множество операционных характеристик СОЖЦ ЖАТ.

В данной работе рассматривается алгоритмическое описание процессов обслуживания заявок, которое, в соответствии с [15], является основой синтеза имитационных моделей СОЖЦ ЖАТ. В качестве заявок, в зависимости от вида СОЖЦ ЖАТ, выступают: комплекты технических документов, информационные сообщения, задачи по экспертизе или проектированию систем и т. п. В [15] для алгоритмического отображения СОЖЦ ЖАТ предложено использовать язык параллельных логических схем алгоритмов (ПЛСА). При этом алфавит ПЛСА СОЖЦ ЖАТ включает следующие элементы: операторы о,еО; i=1,1 и логические условия: ждущие qk, Qe; k=1, K; собственные gs,eG; s= 1, S; вероятностные an,eA; n=1, N; операторы распараллеливания ^|р; объединения [p& и тождественно-ложного логического условия w]p. Правила записи ПЛСА с использованием предложенного алфавита изложены в [19].

Для алгоритмического отображения СОЖЦ ЖАТ как ССМО характерно большое количество вхождений операторов o, i=1,1 и логических условий qk, k= 1, K; gs, s=1, S; an, n=1, N при сравнительно небольшом количестве их типов. В связи с этим целесообразно поставить задачу сокращения вхождения однотипных операторов и логических условий в алгоритмическое описание ССМО. Задача решается в целях сокращения объема, времени подготовки и отладки модели, количества ошибок в моделирующей программе, увеличения быстродействия GPSS-моделей. Для решения необходимо объединить алгоритмы обслуживания заявок A. (АОЗ).

ССМО обслуживает множество заявок кеН, j=1, Jразличного типа. Тип заявки к. идентифицируется по выполняемому АОЗ. Каждая заявка обслуживается по своему алгоритму A, j= 1, J, формализованная запись которого реализуется на ПЛСА с использованием предложенной выше символики: O, Q, G, A, т. е. описывает АОЗ в терминах операторов, соответствующих операциям, выполняемым ССМО.

В дальнейшем в тех случаях, когда не требуется различать типы членов алфавита, они обозначаются z , в=1, В, где В - общее количество элементов описания АОЗ. При объединении АОЗ необходимо учитывать, что после выполнения какого-либо zp в различных алгоритмах A, j= 1, J могут выполняться неодинаковые последовательности элементов. Для определения порядка выполнения элементов в объединенном алгоритме Ао при обслуживании заявок различного типа к,, j=1 вводятся дополнительные разделительные логические условия (РЛУ) - г. РЛУ ставятся в Ао после элемента z , образуя дерево проверок, число

No 4, Vol. 1, December

Automation on Transport

Электронное моделирование

421

выходов которого равно количеству неодинаковых элементов, выполняемых в различных A, j=1, J после Zp-Тип заявки j определяет элемент, который должен выполняться в алгоритме Ао после элемента z , и, следовательно, РЛУ представляет собой булеву функцию от типа заявок - f (j). Для записи такой функции вводятся булевы переменные вида:

Г1 - если j = 1; Г1 - если j = 2;

Xl |0 - если j ф 1; Х2 { 0 - если j ф 2;Xj

Тогда f (j)=f (х^.) в РЛУ записывается в виде:

Г1 - если f (xj) =1; r =[ (2)

[О - если f (xj) = 0.

С учетом введенных понятий формулируется определение объединенного алгоритма А.

Определение. Объединенным называется алгоритм А, отвечающий следующим условиям:

- любой элемент алфавита (O, Q, G, A) A, j= 1, J входит в ПЛСА Ао и притом только один раз;

- если в в функции f (х.) ПЛСА Ао, включающий РЛУ, подставить конкретное значение j, то последовательность выполнения элементов алфавита O, Q, G, A будет соответствовать ПЛСА A.

Таким образом, задачей объединения АОЗ является синтез алгоритма Ао, отвечающего указанным условиям.

1 - если j = J; 0 - если j ф J.

(1)

2 Метод объединения алгоритмов обслуживания заявок

Очевидно, что метод объединения АОЗ должен учитывать особенности алгоритмического отображения ССМО и его использования в качестве основы построения GPSS-модели:

- наличие параллельных ветвей и соответственно операторов их разделения и объединения;

- одновременное присутствие в модели множества заявок, находящихся на различных стадиях выполнения АОЗ;

- наличие в логических узлах Ао РЛУ, определяющих маршрут обслуживания заявки hj с помощью анализа значений логических условий r=f (х.).

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

Автоматика на транспорте

№ 4,том 1, декабрь 2015

422

Electronic simulation

получить алгоритм Ао, отвечающий вышеприведенному определению при минимальном количестве вхождений РЛУ.

Известные методы объединения алгоритмов (метод преобразования и минимизации системы скобочных формул перехода [20] и метод кодирования входных переменных микропрограммного автомата [19]) предназначены для решения задач синтеза микропрограммных автоматов и не учитывают указанных выше особенностей АОЗ.

Кодирование входных переменных в [19] производится в предположении неизменности состояния входа микропрограммного автомата во время выполнения алгоритма, заданного соответствующим входным набором, тогда как в модели может одновременно обрабатываться множество различных заявок. При этом параллельно должны выполняться различные АОЗ, кодируемые разными состояниями входных переменных. Количество входных переменных определяется по числу объединяемых алгоритмов и, исходя из этого, минимизируется вхождение переменных в объединенный алгоритм.

Для построения GPSS-модели, в связи с требованием сокращения затрат времени на проведение имитационного эксперимента (ИЭ), количество входных переменных или РЛУ должно определяться прежде всего из условия минимальности числа их вхождений. При этом допустима избыточность типов РЛУ, т. е. РЛУ, в которых проверяются различные функции f (xj).

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

Основой предлагаемого метода объединения алгоритмов является анализ свойств разбиений П на множестве А (Л.еА, j= 1, J) объединяемых алгоритмов, позволяющий определить количество, расстановку РЛУ rm в Ао и состав функций f (х.) для каждого rm, m = 1, M.

Членами разбиения П R в=1, В являются индексы типов заявок (j) алгоритмов Л , j= 1, J, включающих элемент zp. Для определения и анализа П^ построим матрицу вхождений M [E, J], где E - количество столбцов, а J - строк матрицы. Количество столбцов матрицы определяется по выражению E = Е + Eq + + 2 (E+Ea), где Е - количество операторов множества О; E , E , Ea - количество ждущих, собственно логических и вероятных условий используемых в описании Л. Столбцы матрицы помечаются элементами описания Ло, причем для каждого вероятностного и собственно логического условия выделяются два столбца, один из которых предназначен для последователей a„, gs при истинном значении, а другой - при ложном. Членами m , e=1,E, j= 1, J матрицы M[E, J] являются элементы z , в= 1,B. На пересечении j-й строки e-го столбца, помеченного элементом z , записывается последователь zp в j-м алгоритме. Наличие параллельных ветвей А. при построении M[E, J] учитывается следующим образом. Если последователем zp в j-м алгоритме является оператор распараллеливания Щр, то в качестве m . записывается этот оператор и его последователи, т. е. начальные элементы соответствующих параллельных ветвей. Если последо-

No 4, Vol. 1, December

Automation on Transport

Электронное моделирование

423

вателем ze в j-м алгоритме является оператор объединения \р&, то в качестве т . записывается этот оператор и его последователь. Оператор [р& записывается для всех элементов zp, являющихся конечными в объединяемых им параллельных ветвях j-го алгоритма. При наличии неодинаковых начальных элементов в АОЗ первый столбец матрицы вхождений помечается фиктивным оператором on, который условно принимается начальным для всех A., j=1, J. В случае, если оператор является конечным, в качестве его последователя записывается фик-тивньш конечный оператор о.

Матрица вхождений позволяет построить разбиения П R для всех zR, в=1, В, входящих в J объединяемых алгоритмов. Причем П = {ар а2, ..., ао, а} где а1, а2, ..., ао, а^ - блоки разбиения. Для определения состава блоков достаточно проанализировать столбцы матрицы вхождений. Номера строк j, имеющих одинаковые элементы те. в е-м столбце, составляют блок ао разбиения П для zp, которым помечен данный столбец. Множество блоков, получаемых по е-му столбцу, образуют разбиение П . По разбиению Пzp однозначно определяется количество проверок, т. е. вхождений rm в Ao после выполнения элемента zp. Это количество равно х - 1, где х - число блоков в разбиении. Аналогично строятся разбиения по всем е=1, E столбцам матрицы вхождений. Очевидно, что количество блоков по всем полученным разбиениям однозначно определяет общее количество вхождений MРЛУ rm в алгоритм A, которое является минимальным для данных J, объединяемых в АОЗ. Количество вхождений РЛУ в Ao определяется по следующему выражению:

биений [19] по всем zp с учетом разбиений для элементов g, а при их истинном (s , s ) и ложном (s , s ) значениях.

Анализ разбиений Пzp позволяет определить состав логических функций f (х.), проверяемых в каждом РЛУ r , т=1, M. Элементами функций f (x.) являются

переменные xj, имеющие индекс j тех алгоритмов Aj, которые входят в один блок разбиения Пzp. Пусть, например, П ={1,2, 3; 4, 5; 10; 12, 14}, где а1=1, 2, 3, а2=

= 4,5, а3 = 10, а4 = 12,14, % = 4. Тогда, после реализации элемента zp, необходимо проверить х - 1, т. е. три РЛУ - r1, r2, r3, которые образуют дерево проверок (рис. 1). Функция f (х.) в этом случае имеет следующий вид:

M = X(s6 -1) + XXsq -1) + XXsg -1) +

% k s

(3)

+ S(s-g - 1) + ZXsa - 1) + ZXs-a - 1),

n

n

fr 1 = X4V X5, fr2 = ^ fr3

X12 V X14,

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

(4)

Автоматика на транспорте

№ 4,том 1, декабрь 2015

424

Electronic simulation

при этом

г =<

r3 = <

1 - если f = 1 (j = 4 или 5); 0 - если f = 0;

1 - если fr = 1 ( j = 10);

0 - если f = 0;

r2

1 - если f = 1 (j = 12 или 14);

r3

0 - если f = 0.

r2 =<

(5)

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

Далее проанализируем полученное множество функций f (xj) с целью уменьшения их количества. Пусть имеются два двухблочных разбиения: П = {1, 2; 5, 7, 8} и Пг2 = {1, 2; 7, 8, 9, 10}. После выполнения z1 и z2 следует проверить по одному РЛУ - r и r2. При этом в r могут проверяться две функции -fr.=x.Vx. или fr= xyxVx„. Аналогично для к,: f = хУх. или f = хУхУхУх.„. Очевидно, что в обоих случаях целесообразно использовать одну и ту же функцию fr = хух2. Аналогичные рассуждения могут быть справедливы для разбиений П, имеющих большее количество блоков. Тогда для сокращения набора проверяемых функций по всем rm, m = 1, M достаточно выявить в П , в = 1, В одинаковые блоки и использовать их для построения функций f (xj). Кроме того, сокращение количества f (xj) достигается с помощью анализа не полностью определенных разбиений П в, блоки которых содержат не все J-е номера объединенных алгоритмов.

Пусть имеются два разбиения П^ = {1, 2, 3, 4; 5, 6} и П^ = {1, 4; 10, 12}. После выполнения z4 и z5 проверяется по одному РЛУ - r4 и r5.

В r4 могут проверяться две функции - f = x1Vx2Vx3Vx4 или f=x5Vx6, а в r5 -f= х1 Vx4 или f= x10Vx12. РЛУ r4 и r5 образуют вершины проверок, приведенные на рис. 2.

No 4, Vol. 1, December

Automation on Transport

Электронное моделирование

425

Дополним разбиение П , включив в первый блок переменные х2 и х3. Сделать это позволяет то обстоятельство, что в узел r5 заявки с j = 2 или j = 3 не попадают, так как маршрут их обработки проходит по другим элементам z . Тогда в r4 и r5 достаточно проверить одну и ту же функцию fr= х1 Vx2Vx3Vx4. При этом r5 образует проверку вида, показанного на рис. 3.

Рис. 3. Вершина проверок для РЛУ г5 после добавления переменных х2 и х3

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

Таким образом, полученные матрицы вхождений M [E, J], разбиения П по всем столбцам е=1, Е и набор функций f (х.) дают возможность построить объединенную ПЛСА Ао при однократном вхождении элементов zp, в=1, В, минимальном количестве Mпроверок r , m=1,M и сокращенном наборе функций f (х)

Для построения объединенной ПЛСА алгоритма Ао выписывается элемент z1, которым помечен первый столбец матрицы M [E, J].Таким элементом может быть фиктивный оператор он или начальный элемент, одинаковый для всех алгоритмов A, j= 1, J. По разбиению nz1 и набору функций f (х.) определяются РЛУ r и соответствующие им функцииfr (х). Полученные РЛУ записываются в ПЛСА Ао после элемента zr Нумерация РЛУ и стрелок осуществляется по мере их записи в ПЛСА. Далее, по матрице M [E, J] выписывается элемент, выполняемый после z1 при истинном значении полученных РЛУ. Для этого элемента выполняются операции определения и записи в ПЛСА соответствующих РЛУ и функций f (х.). Указанные процедуры повторяются до записи в ПЛСА конечного элемента ок. Затем по матрице M [E, J] вписывается элемент, выполняющийся

Автоматика на транспорте

№ 4,том 1, декабрь 2015

426

Electronic simulation

после z , при ложном значении первого РЛУ Если этот элемент был выписан на предыдущем шаге, то переход к нему осуществляется по стрелке, которая приписана данному РЛУ Далее переходим к элементу, который выполняется при истинном значении первого и ложном второго РЛУ, и т. д. Запись членов ПЛСА продолжается до тех пор, пока не будут перебраны все элементы, которыми помечены столбцы матрицы M[E, J], а также все РЛУ, полученные на предыдущих шагах при их ложном значении. Если последователем элемента является оператор распараллеливания Щр, то он выписывается в ПЛСА со своим номером, а его стрелке (^присваивается очередной по порядку номер. Начальные члены параллельных ветвей, образуемых Rfp, выписываются в процессе построения Ао последовательно и перед каждым ставится стрелка с тем же значением индекса р. Для каждого начального члена параллельной ветви осуществляются процедуры определения последователей и РЛУ, аналогично описанным выше. После элемента, являющегося последним, в параллельной ветви, объединяемой оператором 1Р& (такой элемент в матрице M [E, J] помечается символом &), в ПЛСА при соответствующих значениях РЛУ записывается тождественно ложное логическое условие w]p, заканчивающее параллельную ветвь. Если последователем элемента является оператор объединения \,р&, то в ПЛСА записывается этот оператор и его последователь, для которого также повторяются указанные ранее процедуры. Оператор объединения помечается стрелкой 1рс тем же значением индекса р, которые имеют стрелки тождественно ложных логических условий w]p, заканчивающих соответствующие параллельные ветви.

В результате указанных процедур синтезируется объединенная ПЛСА Ао при однократном вхождении элементов z , минимальном количестве проверок rm, m=1, M и сокращенном наборе функций f (xj).

Заключение

Жизненный цикл сложных систем [21], к которым относятся СОЖЦ ЖАТ [22], включает следующие основные стадии:

- формулировка проблемы;

- определение целей исследования;

- выбор парадигмы моделирования;

- постановка задач моделирования;

- синтез концептуальной модели и формализованной схемы исследуемой системы;

- выбор инструментальных средств построения имитационной модели (ИМ);

- определение требований к ИМ;

- разработка моделирующей программы;

- планирование и выполнение контрольных экспериментов;

No 4, Vol. 1, December

Automation on Transport

Электронное моделирование

427

- проведение экспертизы выполнения всех стадий разработки и данных контрольных экспериментов - верификация ИМ [23];

- заключение по результатам верификации ИМ;

- оформление программной документации;

- архивирование моделирующей программы в соответствующих фондах алгоритмов и программ.

Проведение исследований с использованием разработанной ИМ предполагает реализацию процедур ее валидации для конкретных приложений и выполнение указанных выше стадий жизненного цикла ИМ. Следует отметить, что метод имитационного моделирования не структурирован, что затрудняет как разработку, так и выполнение процедур верификации ИМ СОЖЦ ЖАТ и валидации приложений. В связи с этим актуальной является задача структуризации ИМ в конкретной предметной области - СОЖЦ ЖАТ. Использование в качестве базы алгоритмического отображения СОЖЦ ЖАТ позволяет структурировать ИМ за счет формализации АОЗ на языке ПЛСА, что обеспечивает возможности контроля полноты и корректности алгоритмов, а также их формальных преобразований. В данной работе рассмотрены задачи и методы формализации и формальных преобразований алгоритмического отображения СОЖЦ ЖАТ.

Полученные результаты:

- сформулированы требования к алгоритмическому описанию СОЖЦ ЖАТ как ССМО;

- формализованное описание АОЗ предложено выполнять на языке ПЛСА, обеспечивающего возможность сокращения общего количества элементов описания алгоритмов;

- разработан метод алгоритмического описания ССМО на основе анализа разбиений по матрице вхождений элементов ПЛСА в АОЗ, позволяющий минимизировать количество разделительных логических условий, логических функций при однократном вхождении элементов исходного алфавита;

- предложенный метод объединения АОЗ позволяет сократить объем алгоритмического отображения ССМО, а следовательно, объем GPSS-модели и количество ошибок в ней.

Перспективы:

- разработка алгоритма синтеза объединенного АОЗ;

- разработка методики оценки эффективности объединения АОЗ на основе анализа количества вхождений элементов исходного алфавита ПЛСА в A и суммарного количества вхождений элементов исходного алфавита ПЛСА и РЛУ в объединенный алгоритм;

- разработка компьютерной программы объединения АОЗ на основе предложенного метода с принятием решений по критерию минимального количества вхождений элементов исходного алфавита и РЛУ в алгоритмическое описание ССМО.

Автоматика на транспорте

№ 4,том 1, декабрь 2015

428

Electronic simulation

Библиографический список

1. Сапожников Вл. В. Доказательство безопасности систем ж.-д. автоматики / Вл. В. Сапожников, О. А. Наседкин // Наука и транспорт. - 2006. - С. 10-13.

2. Наседкин О. А. Особенности испытания МПУ ЖАТ / О. А. Наседкин, Е. В. Ледя-ев // Автоматика связь, информатика. - 2012. - № 7. - С. 30-32.

3. Васильев Д. А. Экспертная программа для проведения испытаний технологического программного обеспечения систем микропроцессорной централизации / Д. А. Васильев, С. В. Гизлер, О. А. Наседкин, М. П. Шайфер // Развитие элементной базы и совершенствование методов построения устройств железнодорожной автоматики и телемеханики : сб. науч. тр. ; под. ред. Вл. В. Сапожникова. - СПб. : ФГБОУ ВПО ПГУПС, 2014. - С. 39-42.

4. Насонов Г. Ф. Автоматизированная система мониторинга проектирования, производства, строительства и проведения пусконаладочных работ по системам СЦБ / Г. Ф. Насонов, М. Н. Василенко, П. Е. Булавский // Транспорт Российской Федерации. - 2010. - № 3. - С. 46-49.

5. Василенко М. Н. Автоматизированная система экспертизы схемных решений железнодорожной автоматики и телемеханики / М. Н. Василенко, А. М. Горбачев, Д. В. Зуев, Е. В. Григорьев // Транспорт Российской Федерации. - 2011. - № 5. -С. 64-67.

6. Молодцов В. П. Системы диспетчерского контроля и мониторинга устройств железнодорожной автоматики и телемеханики : учеб. пособие / В. П. Молодцов, А. А. Иванов. - СПб. : Петербургский гос. ун-т путей сообщения, 2010. - 140 с.

7. Ефанов Д. В. Обеспечение безопасности движения за счет технического диагностирования и мониторинга устройств железнодорожной автоматики и телемеханики / Д. В. Ефанов, П. А. Плеханов // Транспорт Урала. - 2011. - № 3. - С. 44-48.

8. Лыков А. А. Техническое диагностирование и мониторинг состояния устройств ЖАТ / А. А. Лыков, Д. В. Ефанов, С. В. Власенко // Транспорт Российской Федерации. - 2012. - № 5. - С. 67-72.

9. Ефанов Д. В. Некоторые аспекты развития систем функционального контроля устройств железнодорожной автоматики и телемеханики / Д. В. Ефанов // Транспорт Урала. - 2015. - № 1. - С. 35-40.

10. Тележенко Т. А. Автоматизированная система экспертизы схемных решений ЖАТ / Т. А. Тележенко // Автоматика, связь, информатика. - 2009. - № 5. -С. 24-26.

11. Василенко М. Н. Электронный документооборот в хозяйстве СЦБ / М. Н. Василенко, В. Г. Трохов, Д. В. Зуев // Автоматика, связь, информатика. - 2014. - № 8. -С. 2-3.

12. Василенко М. Н. Развитие электронного документооборота в хозяйстве АТ / М. Н. Василенко, В. Г. Трохов, Д. В. Зуев, Д. В. Седых // Автоматика, связь, информатика. - 2015. - № 1. - С. 14-16.

13. Нестеров В. В. Развитие систем СТДМ, АСУ-Ш-2 и АОС-ШЧ / В. В. Нестеров // Автоматика, связь, информатика. - 2012. - № 12. - С. 45-46.

14. Информационные технологии : учебник для вузов / Б. Я. Советов, В. В. Цеханов-ский. - М. : Высшая школа, 2003. - 263 с.

No 4, Vol. 1, December

Automation on Transport

Электронное моделирование

429

15. Булавский П. Е. Матричный метод формализации имитационных моделей сложных систем массового обслуживания / П. Е. Булавский, Д. С. Марков // Известия Петербургского университета путей сообщения. - 2010. - № 4. - С. 186-195.

16. Алиев Т. И. Основы моделирования дискретных систем / Т. И. Алиев. - СПб. : СПбГУ ИТМО, 2009. - 363 с.

17. GPSSWORLD. Основы имитационного моделирования различных систем / Е. М. Кудрявцев. - М. : ДМК Пресс, 2004. - 317 с.

18. Марков Д. С. Метод порционного моделирования транспортных систем массового обслуживания / Д. С. Марков, В. Б. Соколов // Развитие элементной базы и совершенствование методов построения устройств железнодорожной автоматики и телемеханики : сб. науч. тр. ; под ред. Вл. В. Сапожникова. - СПб. : ФГБОУ ВПО ПГУПС, 2014. - С. 43-47.

19. Синтез управляющих автоматов / В. Г. Лазарев, Е. И. Пийль. - М. : Энергия, 1984. -408 с.

20. Дьяченко В. Ф. Управление на сетях связи / В. Ф. Дьяченко, В. Г. Лазарев, Г. Г. Саввин. - М. : Наука, 1967. - 223 с.

21. Balci О. Verification, validation and accreditation / O. Balci // Proceedings of the 1998 Winter Simulation Conference, Washington, DC, USA, December 13-16, Piscataway, NJ, 1998. - Pp. 41-48.

22. Шаманов В. И. Управление процессом модернизации комплексов систем железнодорожной автоматики и телемеханики / В. И. Шаманов // Автоматика на транспорте. - 2015. - Т. 1. - № 3. - С. 237-250.

23. Carson J. S. Model verification and validation / J. S. Carson // Proceedings of the 2002 Winter Simulation Conference, San Diego, CA, USA, December 08-11, 2002. -Pp. 52-58.

Bulavskij Petr E.,

Markov Dmitry S.,

Sokolov Vadim B.,

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

Konstantinova Tatjana Yu.

«Automation and Remote Control on Railways» department Petersburg state transport university

Formalisation of algorythmic description of systems of railway automation and remote control life cycle provision

This paper is devoted to the problem of synthesis of algorythmic reflection of railway automation and remote control life cycle as complex queuing system (CQS). It is accepted that algorythmic reflection s presented as request service algorythm (RSA), it should be formalised on PLSA language and used as the base for simulation models (SM) of CQS. Expediency of synthesis of united RSA is shown. The definition of united RSA is given. Authors offer the method of algorythm union based of formation of occurrence matrix

Автоматика на транспорте

№ 4,том 1, декабрь 2015

430

Electronic simulation

of basic PLSA alphabet, analysis of its fragmentation, that allows to synthesize the united RSA with occurring once of basic PLSA alphabet elements, minimum number of separation logical conditions and minimized number of diriding logical conditions logical functions. Implementation of offered method of algorythm union allows to reduce the amount of SM and therefore the number of errors in simulation software.

railway automation and remote control life cycle provision systems; complex queuing systems; simulation modeling; request service algorythm; united algorythm; occurrence matrix; separation logical conditions

Reference

1. Sapozhnikov Vl. V., Nasedkin O. A. Safety proof of railway automation systems. Science & Transport, 2006, pp. 10-13.

2. Nasedkin O. A., Lediaev E. V. Features of test of computer based railway automation and remote control devices. Automatics, Communication, Informatics, 2012, № 7, pp. 30-32.

3. Vasiljev D. A., Gizler S. V., Nasedkin O. A., Shaipher M. P. Expert software for testing technology software of computer based interlocking. Component base development and railway automation and remote control devices design methods improvement; eds. Vl. V. Sapozhnikov. St. Petersburg, PSTU, 2014, pp. 39-42.

4. Nasonov G. F., Vasilenko M. N., Bulavsky P. E. Automated system for the monitoring of railway signaling systems design, manufacturing, construction and commissioning. Transport RF, 2010, № 3, pp. 46-49.

5. Vasilenko M. N., Gorbacev A. M., Zuev D. V., Grigorjev E. V. Automated system for the examination of railway automation and remote control schematics. Transport RF, 2011, № 5, pp. 64-67.

6. Molodtsov V. P., Ivanov A. A. Supervisory and monitoring systems of railway automation and remote control devices. St. Petersburg, PSTU, 2010, 140 p.

7. Efanov D. V., Plekhanov P.A. Traffic safety provision by technical diagnostics and monitorinf of railway automation and remote control devices. Ural Transport, 2011, № 3, pp. 44-48.

8. Lykov А. А., Efanov D. V., Vlasenko S. V. Technical diagnostics and monitoring of railway automation and remote control. Transport RF, 2012, № 5, pp. 67-72.

9. Efanov D. V. Some aspects of concurrent error detection systems of railway automation and remote control devices development. Ural Transport, 2015, № 1, pp. 35-40.

10. Telezhenko T. A. Automated system for the examination of railway automation and remote control schematics. Automatics, Communication, Informatics, 2009, № 5, pp. 24-26.

11. Vasilenko M. N., Trohov V. G., Zuev D. V. Electronic document management in railway signaling. Automatics, Communication, Informatics, 2014, № 8, pp. 2-3.

12. Vasilenko M. N., Trohov V. G., Zuev D. V., Sedych D. V. Development of electronic document management in railway automation and remote control. Automatics, Communication, Informatics, 2015, № 1, pp. 14-16.

No 4, Vol. 1, December

Automation on Transport

Электронное моделирование

431

13. Nesterov V. V. Development of STDM, ASU-Sch-2 and AOS-SchCh systems. Automatics, Communication, Informatics, 2012, № 12, рp. 45-46.

14. Sovetov B.Ya., Tsehanovsky V. V. Information technology. Мoscow, High School, 2003, 263 p.

15. Bulavsky P. E., Markov D. S. The matrix method of complex queuing system simulation models formalization. Proceedings of Petersburg Transport University, 2010, № 4, pp. 186-195.

16. Aliev T. I. Basics of digital systems modeling. St. Petersburg, ITMO University, 2009, 363 p.

17. Kudryavtsev E. M. GPSSWORLD. Basics of different systems modeling. Moscow, DMK Press, 2004, 317 p.

18. Markov D. S., Sokolov V. B. The method of portion modeling of transport queuing systems. Component base development and railway automation and remote control devices design methods improvement; eds. Vl. V. Sapozhnikov. St. Petersburg, PSTU, 2014, pp. 43-47.

19. Lazarev V. G., Pijil Е. I. Synthesis of regulatory finite state machines. Moscow, Energia, 1984, 408 p.

20. Djachenko V. F., Lazarev V. G., Savvin G. G. Control in communication network. Moscow, Nauka, 1967, 223 p.

21. Balci О. Verification, validation and accreditation. Proceedings of the 1998 Winter Simulation Conference, Washington, DC, USA, December 13-16, Piscataway, N. J., 1998, pp. 41-48.

22. Shamanov V. I. Control of railway automation and remote control system complexes modernization process. Automation on Transport, 2015, vol. 1, № 3, pp. 237-250.

23. Carson J. S. Model verification and validation. Proceedings of the 2002 Winter Simulation Conference, San Diego, CA, USA, December 08-11, 2002, pp. 52-58.

Представлена к публикации членом редколлегии Вал. В. Сапожниковым Поступила в редакцию 01.09.2015, принята к публикации 24.09.2015

БУЛАВСКИЙ neTp Евгеньевич - дою^ технических наук, пpофессоp кафедpы «Автоматика и телемеханика на железных доpогах» Петеpбуpгского госудаpственного унивеpситета путей сообщения Импеpагоpа Александpа I. e-mail: [email protected]

МАРКОВ Дмшрий Сп^идонович - кандидат технических наук, доцент кафедpы «Автоматика и телемеханика на железных доpогах» Петеpбуpгского госудаpственного унивеpситета путей сообщения Импеpатоpа Александpа I. e-mail: [email protected]

Автоматика на транспорте

№ 4,том 1, декабрь 2015

432

Electronic simulation

СОКОЛОВ Вадим Борисович - кандидат технических наук, доцент кафедры «Автоматика и телемеханика на железных дорогах» Петербургского государственного университета путей сообщения Императора Александра I. e-mail: [email protected]

КОНСТАНТИНОВА Татьяна Юрьевна - кандидат технических наук, доцент кафедры «Автоматика и телемеханика на железных дорогах» Петербургского государственного университета путей сообщения Императора Александра I. e-mail: [email protected]

© Булавский П. Е., 2015 © Марков Д. С., 2015 © Соколов В. Б., 2015 © Константинова Т. Ю., 2015

No 4, Vol. 1, December

Automation on Transport

i Надоели баннеры? Вы всегда можете отключить рекламу.