Научная статья на тему 'Теория непараметрических систем. K-модели'

Теория непараметрических систем. K-модели Текст научной статьи по специальности «Математика»

CC BY
199
65
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
ИДЕНТИФИКАЦИЯ / АПРИОРНАЯ ИНФОРМАЦИЯ / ИДЕНТИФИКАЦИЯ В «ШИРОКОМ» / НЕПАРАМЕТРИЧЕСКИЕ МОДЕЛИ / ДИСКРЕТНО-НЕПРЕРЫВНЫЕ ПРОЦЕССЫ / K-МОДЕЛИ / IDENTIFICATION IN "WIDE" / IDENTIFICATION / A PRIORY INFORMATION / NON-PARAMETRIC MODELS / DISCRETECONTINUOUS PROCESSES / K-MODELS

Аннотация научной статьи по математике, автор научной работы — Медведев Александр Васильевич

Рассматриваются некоторые задачи идентификации в «широком» смысле. Идентификация безынерционных объектов и объектов с памятью исследуется в условиях непараметрической априорной информации. Анализируется также случай, когда априорная информация соответствует как непараметрическому, так и параметрическому уровню одновременно. Это относится к системе многосвязных объектов. Приводятся непараметрические модели некоторых статических и динамических объектов с запаздыванием.

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

THEORY OF NON-PARAMETRIC SYSTEMS. K-MODELS

Some problems of identification in a wide sense are considered in the paper. Identification of intertia-free objects and objects with mamory are investigated in condition of non-parametric a priory information. A case when a priory information corresponds either non-parametric level simultaneously is researched. It belongs to the system of multiply connected objects. Non-parametric models of some static and dynamic objects wuth delay are given.

Текст научной работы на тему «Теория непараметрических систем. K-модели»

P. K. Lopatin

ALGORITHM OF A MANIPULATING ROBOT MOVEMENT IN AN ENVIRONMENT WITH UNKNOWN OBSTACLES

An algorithm is presented for a manipulating robot (MR) control in an unknown static environment. A theorem is proved stating that following the algorithm the MR in a finite number of steps will either reach a target configuration or come to the proved conclusion that the target configuration may not be reached. Given sequences from the theorem facilitating the MR functioning in the unknown environment.

Keywords: robot, unknown environment, obstacles, reachability.

© Лопатин П. К., 2011

УДК 62.501

А. В. Медведев

ТЕОРИЯ НЕПАРАМЕТРИЧЕСКИХ СИСТЕМ. ^МОДЕЛИ

Рассматриваются некоторые задачи идентификации в «широком» смысле. Идентификация безынерционных объектов и объектов с памятью исследуется в условиях непараметрической априорной информации. Анализируется также случай, когда априорная информация соответствует как непараметрическому, так и параметрическому уровню одновременно. Это относится к системе многосвязных объектов. Приводятся непараметрические модели некоторых статических и динамических объектов с запаздыванием.

Ключевые слова: идентификация, априорная информация, идентификация в «широком», непараметрические модели, дискретно-непрерывные процессы, К-модели.

Теория - в виду практики. Девиз конгрессов ШЛС

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

П. Кюри

X - выходная величина настраиваемой модели; е, = х1 - X ; 2 (е,) - выпуклая функция потерь; а -вектор параметров настраиваемой модели; 11 - вектор всех наблюдений к моменту времени ,; М - символ математического ожидания; Я (а) - критерий идентификации.

Идентификация по данной схеме осуществляется при помощи настраиваемой модели (блок «модель») той или иной параметрической структуры, параметры а которой корректируются по мере поступления наблюдений «вход-выход». Обычно предполагается, что объект работает в стационарном режиме, т. е. вероятностные характеристики последовательностей X,,, й,

неизменны во времени, X, = (, х2,..., х,),

й, =(й1,й2, ..., й,) - временные векторы. Соответствие настраиваемой модели объекту оценивается критерием качества идентификации:

Я (а)= М {2 (ф,, х))}. (1)

Проблема идентификации является одной из центральных в теории управления и других областях науки, объединяемых емким термином - кибернетика. Основное внимание мы уделим задачам идентификации в «широком» смысле, наряду с достаточно хорошо развитой теорией идентификации в «узком» смысле. Ранее [1-3] были описаны дискретнонепрерывные процессы и пути идентификации стохастических систем, которые тесно связаны с имеющейся априорной информацией.

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

На рисунке приняты следующие обозначения: й1, х1 - соответственно векторные входные и выходные переменные, контролируемые в дискретные моменты времени ,; |, - случайная ненаблюдаемая помеха;

Рис. 1. Схема задачи идентификации

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

*

нием такого а , что

Я (а* ) = пип Я (а). (2)

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

Постановка задачи. Рассмотрим более общую схему дискретно-непрерывного объекта (рис. 2). Здесь приняты обозначения: х(г) - векторная выходная переменная процесса; и (г) - векторное управляющее воздействие; |а(/) - векторная входная переменная процесса; §(/) - векторное случайное воздействие;

(г) - непрерывное время; Иц , Ни, Их, Ию - каналы связи, соответствующие различным переменным, включающие в себя средства контроля, приборы для измерения наблюдаемых переменных; ц,, и1, х1, ю, -означает измерение ц(,), и (г), х(г), ю(,) в дискретное время г; ю'(г): ' = 1,2,..., к - переменные процесса,

контролируемые, в том числе, по длине объекта.

Отметим существенное отличие выходных переменных г (г), д(г) и х(г), представленных на рис. 2. Выходная переменная х(г), как и ц(г), и (г), контролируется через интервалы времени Дг, д(г) контролируется через существенно большие интервалы времени ДТ, г (г) - через Т (Т >> ДТ >> Дг).

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

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

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

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

х(г) = А(и(г), ц(г), ^), г). (4)

Достаточно подробный анализ такого процесса был проведен в [1; 2]. Конкретные задачи идентификации будут ниже приведены с указанием различий в каждом рассматриваемом случае. Из рис. 2 ясно, что значения выходных переменных х (г), д(г), г (г)

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

Рис. 2. Общая схема многомерного стохастического процесса

Таким образом, основная задача идентификации состоит в построении моделей, которые в достаточно общем виде могут быть представлены следующим образом:

х (і) = А (и (і -т), ц(і -т), о (і -т), (5)

С (і) = А (и (і-т), ц(і-т), о (і-т), х (і)), (6)

і (і) = А (и (і-т), ц(і-т), о (і-т), х (і), С (і)), (7)

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

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

^модели безынерционных объектов. Сделаем следующие допущения: объект, представленный на рис. 2, - безынерционный, переменные

о (і) = (со '(;),...,о (і)), с(і), г(і) отсутствуют вместе со своими каналами измерения. В этом случае объект описывается зависимостью

х(і) = А(и(і), ц(і), 5(/), і). (8)

Примем, что модель такого объекта с запаздыванием имеет вид

х(і) = А(и (і -т), ц(і -т), а), (9)

где А - выбранный класс функций; а - вектор параметров; т - запаздывание.

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

Рассмотрим еще один процесс, часто имеющий место на практике [2]. Сущность его состоит в том, что из-за стохастической зависимости компонент вектора входных переменных, которая почти всегда неизвестна, исследуемый процесс имеет «трубчатую»

структуру. Пусть и є Я1, цє Я1, х є Я1 (рис. 3). Интервалы изменения (и, ц, х) є Я3 всегда известны из практических соображений. Без нарушения общности выделим в Я3 единичный куб. Реально протекающий процесс же принадлежит подобласти

0.н (и, ц, х) с 0.(и, ц, х), которая никогда не известна.

Рис. 3. Процесс, протекающий в трубке

Таким образом, и е[0;1], це[0;1], х е[0;1], а триада (и, ц, х) еА(и, ц, х). Ясно, что не каждое значение триады (и, ц, х), полученной в эксперименте или измеренной на реальном процессе, будет принадлежать 0й (и, ц, х). Следует отметить, что в теории идентификации области 0(и, ц, х), 0(и, ц), О(и),

О(ц), 0(х) всегда известны, а область ОН (и, ц, х) всегда неизвестна. В случае стохастической независимости входных переменных процесса ОН (и, ц, х) совпадает с 0(и, ц, х), т. е. ОН (и, ц, х) = 0(и, ц, х). Если объект динамический, то переменные фазового

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

Параметрическая модель статического процесса (см. рис. 1) может быть принята в виде [3; 4]

х(и, ц) = Е (и, ц, а), (10)

где Е(•) - некоторая функция; а - вектор парамет-

ров, например,

N

х(и, ц) = а,. ф' (и, ц), (11)

'=1

где ф',' = 1, N - система линейно-независимых функций; (и, ц) е 0(и, ц), (и, ц,х) е 0(и, ц, х). В случае стохастической зависимости компонент векторов и е Яп, це Ят исследуемый процесс имеет «трубчатую» структуру [1]. Тогда параметрическая модель должна быть взята в виде

х(и, ц) = Е(и, ц, а)1 (и, ц), (12)

где I (и, ц) - индикатор такой, что

I (и, ц) = -

І1, гї (и,ц) єП (и,ц) сП(и,ц), І0, if (и, ц) й Пн (и, ц).

Л (u, ц) =

і if !ПФ

і=17=1

* п

о, if ХПф

1=1 7=1

^ и. - и",- ^

V с* /

^UJ - и'. ^

V с* /

Пф

7=1

т

пф

7=1

V с* /

Ч-ц. '

> о,

(13)

< 0.

векторов и = (и1,...,ип), ц = ((,...,цт), х = (х1,...,хе), <1)

т. е. и'', например, отличен по составу от компонент вектора и^2. В частности, может иметь место сле-

дующее: и” =(,и3,и4,и7), а и"' = (,и3,и5,и8,и9). То же самое относится к векторам цєП(ц)с Ят, к х є П(х) с Я1 и к последующим аналогичным обозначениям.

Пусть исследуемые процессы имеют «трубчатую» структуру, тогда модель (14) имеет вид

х (и (/), ц()) =

= ^ (и (-т), ц(-тЖ )и (-т), ц(-т)),

(16)

где индикатор 15 (•) (в дальнейшем, при наличии индекса 5, мы будем опускать в формулах временные векторы)

1, (и ^ ц(г -Т)) =

= 1* (и (-т),ц(-т),,ц*),

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

(17)

такой, что

Ясно, что, если О (и, ц) = 0(и, ц), то модель (12) совпадает с обычными моделями (10) либо (11). В качестве оценки индикаторной функции I(и, ц) может быть принята статистика:

15 (и ^ ц(г -Т)) =

IX '/ (и (-т) ц(-т))е°Н (и, ц) (18)

|0, '/ (и ( - т), ц(-т))г°Н (u, ц).

Модель процесса (15) будет выглядеть следующим образом:

I (и' ( - х), ц' ( - х), ()) х

/ Ч — (19)

х II ((г - т), ц' (г - т)) = 0, ' = 1,1, где индикатор Е (•) равен

К (и' (- т), ц' ( - т), и5}, ц,)) =

Здесь колоколообразные функции Ф() и параметр размытости с5 удовлетворяют условиям сходимости [3], и еЯп , цеЯт , хе 0(х) сЯе.

KH-модели безынерционных объектов. Здесь примем те же предположения, что и ранее, тогда

х1 (и(г),ц(г)) = Е(и(г-т),ц(г-т)),' = 1,1 (14)

или в более общем виде

(г-т),ц^ (г-т),х^ (г)) = 0,' = 1,1. (15)

Здесь Е (•) и / (•) - неизвестные функции, соответствующие тому или иному классу, индекс (') указывает, что векторы и , ц , х в данном случае составные. Это значит, что и^, ц', х®, ' = 1,1 составлены из различных наборов компонент соответствующих

Гі, Іf (и, ц)єПН (и, ц), і 0, (и,ц)єПН (и,ц).

(20)

Модели класса (16)-(20) будем называть КН-моде-лями безынерционных объектов с запаздыванием, поскольку они принципиально отличаются от общепринятых моделей [4; 5] не только потому, что описывают процессы «трубчатой» структуры, но и наличием априорной информации по различным каналам многомерного объекта как параметрического, так и непараметрического типа. Более конкретно модель подобного объекта может быть представлена следующим образом:

^ (г -т), ц((г -т), х' (г), а) = 0, ' = 1, к,

3 ((-т),ц^(-т),(t),$,ц?,хЯ,а) = 0, (21)

' = к +1,1,

где а - вектор параметров; II, ' = 1, к - индикатор

(20); ^, ' = Х + 1,1 - соответствующие непараметрические статистики; £ (•), ' = 1, X - семейство параметрических функций, определенных на основании априорной информации [3].

Система уравнений (21) представляет собой модель многомерного многосвязного безынерционного объекта с запаздыванием, который относятся к классу КН-моделей, принципиально отличающихся от известных [4; 5]. Их отличие состоит в том, что по отдельным каналам многомерного процесса известна его параметрическая структура с точностью до параметров а. Она может быть определена на основе фундаментальных законов физики, механики, электротехники и др.

Вторая группа уравнений (21) ^, ' = Х +1,соот-ветствует уровню непараметрической неопределенности. В этом случае мы можем располагать априорной информацией лишь качественного характера об исследуемом объекте и используем стохастические аппроксимации непараметрического типа.

Оценка параметров а в X -уравнениях (21) может быть сведена к задаче идентификации в «узком смысле». Оценка второй группы уравнений Б1, ' = Х + 1,1 в (21) может быть осуществлена непараметрическими методами [3]. Если система уравнений (21) распадается, т. е. в случае процесса, описываемого (14), то по известным значениям и (г) и ц(г) можно легко

дать прогноз х(г + т), если же нет, тогда возникает необходимость решения системы (иначе, КН-модели) относительно вектора х е0(х) с Яе. В случае наличия одного корня системы (21) в О(х) возможно использовать прием, изложенный в [3]. Вообще говоря, этот вопрос требует специального исследования.

^модели динамических объектов. Рассмотрим задачу построения модели динамического процесса (см. рис. 2). Отметим, что ДТ и Т значительно превышают постоянную времени объекта по всем остальным каналам.

Без нарушения общности можно считать, что контроль переменных и (г), ц(г), ю(г), х(г) осуществляется через интервал времени Дг << ДТ << Т. Следовательно, процесс по каналам д (г) и г (г) относится к классу безынерционных с запаздыванием, а по каналам ю(г) и х (г) может быть отнесен к классу

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

£ ^ и' (г -т), ц' (г -т), ьЮ' (г -т),

/л,.. ёх^ (г) ё2х' (г) —

х (г),-----------------------------------------------^,-Л^,..., а = 0, ' = 1,к;

ёг ёг

У

£ (и{,) ( -т), ц 1) ( -т), ( -т), х{,) (г), (22)

# (г), г® (г), р) II = 0, ' = к+1,1;

(и' (г -т), ц^ (г -т), ьЮ' (г -т), х^ (г),

д® (г), г® (г), ж®) = 0, ' = +1,12, 12 > !1 > I,

где первая группа уравнений (22) найдена на основе известных фундаментальных законов, соответствующих исследуемому процессу с точностью до параметров а. Вторая группа уравнений объекта получена на основе имеющейся априорной информации с точностью до вектора параметров р. Третья группа уравнений (22) не известна с точностью до параметров, но класс функций, характеризующих взаимосвязь «вход-ных-выходных» и промежуточных переменных, определен на основе априорной информации. Фигурирующее в ней обозначение представляет собой совокупность всех '-х наблюдений переменных объемом 5 , т. е.

^ , ц^, , ^, д?, ^), ' = 11 +1,12 .

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

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

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

дискретность измерения переменных, характеризующих состояние исследуемого процесса, случайные ошибки, непредставительность выборок, действие случайных возмущений и т. д. И, наконец, в-третьих, чаще всего мы лишены на практике возможности проводить желаемые эксперименты, потому что объекты «включены» в реально функционирующий производственный процесс. Необходимо с большой осторожностью на этапе математической постановки задачи произносить ставшие обычными допущения: «Пусть объект описывается...», «Имеем генеральную совокупность» и т. п. Только учет всех перечисленных выше факторов позволяет строить качественные модели реальных дискретно-непрерывных процессов и использовать их в дальнейшем для целей управления.

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

1. Медведев А. В. Теория непараметрических систем. Процессы // Вестник СибГАУ. 2010. Вып. 3. С. 4-9.

2. Медведев А. В. Теория непараметрических систем. Моделирование // Вестник СибГАУ. 2010. Вып. 4. С. 4-9.

3. Медведев А. В. Непараметрические системы адаптации. Новосибирск : Наука, 1983.

4. Цыпкин Я. З. Основы информационной теории идентификации. М. : Наука, 1984.

5. Методы классической и современной теории автоматического управления : в 2 т. Т. 2. Статистическая динамика и идентификация систем автоматического управления / под ред. К. А. Пупкова, Н. Д. Егу-пова. М. : Изд. Моск. гос. техн. ун-та им. Н. Э. Баумана, 2004.

A. V. Medvedev

THEORY OF NON-PARAMETRIC SYSTEMS. K-MODELS

Some problems of identification in a wide sense are considered in the paper. Identification of intertia-free objects and objects with mamory are investigated in condition of non-parametric a priory information. A case when a priory information corresponds either non-parametric level simultaneously is researched. It belongs to the system of multiply connected objects. Non-parametric models of some static and dynamic objects wuth delay are given.

Keywords: identification, a priory information, identification in “wide”, non-parametric models, discrete-continuous processes, K-models.

© Медведев А. В., 2011

УДК 519.872

А. А. Назаров, Е. А. Судыко

НЕЭРГОДИЧНОСТЬ МАТЕМАТИЧЕСКОЙ МОДЕЛИ КОМПЬЮТЕРНОЙ СЕТИ СЛУЧАЙНОГО ДОСТУПА

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

Ключевые слова: теория массового обслуживания, ЯQ-системы, конфликты заявок.

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

зовов (ИПВ), откуда вновь подаются на обслуживание после случайной задержки.

В качестве математической модели сети случайного доступа рассмотрим (см. рисунок) однолинейную немарковскую RQ-систему (Retrial Queues) с конфликтами заявок, на вход которой поступает простейший поток заявок с интенсивностью Х. Требование, обратившееся к прибору и заставшее его свободным, немедленно занимает прибор и начинает обслуживаться в течение случайного времени, имеющего произвольную функцию распределения B(x). Если за время обслуживания заявки другие требования не поступали, то обслуживаемая заявка покидает систему после полного завершения обслуживания. Если

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