Вестник Самарского государственного аэрокосмического университета, № 1, 2007 COMPUTER-AIDED SPECIFICATION, VERIFICATION AND SYNSHESIS OF CONTROL PROGRAMMES ON THE BASIS OF LOGICAL AND ALGEBRAIC APPROACHES © 2007 A. A. Tugashev Samara State Aerospace University The paper deals with a complex of problems associated with real-time control program specification, verification and synthesis, carried out aboard a space vehicle. Approaches to solving these tasks on the basis of temporal logic and extended algebra of control processes are analysed. The structure of an instrumental programme complex of control programmes for space vehicles based on the approach proposed is described. 252
Кибернетика и информатика УДК 519.7 ОПТИМИЗАЦИЯ СТОХАСТИЧЕСКОЙ СЛЕДЯЩЕЙ СИСТЕМЫ С ИСПОЛЬЗОВАНИЕМ ЧИСЛЕННЫХ И ЭВОЛЮЦИОННЫХ МЕТОДОВ © 2007 М. А. Федорова Ульяновский государственный университет В работе исследуется применение эволюционных и численных методов для оптимизации сложных взаимосвязанных систем фильтрации и управления в условиях априорной неопределенности на примере стохастической следящей системы (для краткости, – трекера). Для сравнения различных подходов проведены серии экспериментов на специально разработанном программном продукте. При моделировании трекера обнаружение нарушений производится на основе метода взвешенных квадратов невязок, адаптация – на основе метода вспомогательного функционала качества, а в качестве алгоритмов идентификации использованы – для сравнения их возможностей – метод простой стохастической аппроксимации, метод наименьших квадратов и генетический алгоритм. В сравнительном аспекте исследуется применение эволюционных и численных методов для оптимизации сложных взаимосвязанных систем фильтрации и управления на примере стохастической следящей системы. Постановка задачи Рассмотрим заданную в пространстве состояний линейную инвариантную во времени стохастическую систему с контуром управления: x n ( ti+ 1) = Φθ x( ti ) + Ψθ u( ti ) + w( ti ), x ∈ R , y( t ) = H v ), i (1) m θ x( ti ) + ( ti y ∈ R , (2) − + n xˆ 0 ( ti+ 1) = Φ xˆ 0 0 ( ti ) + Ψ0 u( ti ), xˆ 0 ∈ R , (3) xˆ ( t 0 ν ( t i + i ) = xˆ ( t 0 ) = y( t i − i ) − H ) + K ν ( t 0 xˆ ( t 0 0 − i i ), ), (4) + ⎪⎧f [ ˆ R x0 ( ti )], u ( ti ) = ⎨ * + q (5) ⎪⎩−G 0 xˆ0 ( ti ), u ∈R . Здесь i ∈ Z ; (1) – объект и (2) – сенсор, параметризованные параметром неопределенности θ ; (3)-(4) – фильтр Калмана, спроектированный для некоторого номинального значения θ 0 параметра θ ; (5) – управление; { w ( ⋅)} , { v ( ⋅)} считаются независимыми последовательностями независимых одинаково распределенных случайных величин с нулевым средним значением и ковариациями Q ≥ 0 и R > 0 соответственно. θ θ Матрицы, присутствующие в системе (1)-(5), заданы как Φ 0 , Ψ 0 , Q 0 , H 0 и R 0 для номинального режима работы, т.е. для номинального значения θ ∈Θ параметра неопре- 0 деленности θ ∈ Θ , взятого из множества Θ возможных режимов. Предполагается, что параметр θ подвержен внезапным изменениям. Каждое изменение случается в неизвестный момент времени t > t c 0 . Это событие можно рассматривать как переключение θ с θ 0 на некото-о- рое другое неизвестное значение θ 1 ∈ Θ. Чтобы поддерживать обратную связь (ОС) близкой к оптимальной, для вновь возникшего режима (определенного параметром θ ) необходимо соответствующим образом ее пе- 1 ренастроить. Оптимальной перенастройкой является альтернативный фильтр Калмана ( KF ), которому соответствует 1 θ с коэффи- 1 циентом K . Таким образом, ОС перенастра- 1 ивается и (отмечена нижним индексом 1 ) подставляется вместо начальной обратной связи (отмечена нижним индексом 0 ). Проблема заключается в том, что оптимальную перенастройку нельзя выполнить, 253
- Page 1 and 2:
ВЕСТНИК САМАРСКОГО
- Page 3 and 4:
СОДЕРЖАНИЕ АВИАЦИО
- Page 5 and 6:
ФИЗИКО-МАТЕМАТИЧЕС
- Page 7 and 8:
TECHNICAL SCIENCES DEVELOPING THE B
- Page 9 and 10:
Авиационная и раке
- Page 11 and 12:
Авиационная и раке
- Page 13 and 14:
Авиационная и раке
- Page 15 and 16:
Авиационная и раке
- Page 17 and 18:
Авиационная и раке
- Page 19 and 20:
Авиационная и раке
- Page 21 and 22:
Авиационная и раке
- Page 23 and 24:
Авиационная и раке
- Page 25 and 26:
Авиационная и раке
- Page 27 and 28:
Авиационная и раке
- Page 29 and 30:
Авиационная и раке
- Page 31 and 32:
Авиационная и раке
- Page 33 and 34:
щихся в диапазонах
- Page 35 and 36:
Авиационная и раке
- Page 37 and 38:
Авиационная и раке
- Page 39 and 40:
Авиационная и раке
- Page 41 and 42:
Авиационная и раке
- Page 43 and 44:
Авиационная и раке
- Page 45 and 46:
Авиационная и раке
- Page 47 and 48:
Авиационная и раке
- Page 49 and 50:
Авиационная и раке
- Page 51 and 52:
ющих центров в плос
- Page 53 and 54:
Авиационная и раке
- Page 55 and 56:
Авиационная и раке
- Page 57 and 58:
Авиационная и раке
- Page 59 and 60:
Авиационная и раке
- Page 61 and 62:
Авиационная и раке
- Page 63 and 64:
Авиационная и раке
- Page 65 and 66:
Авиационная и раке
- Page 67 and 68:
Авиационная и раке
- Page 69 and 70:
Авиационная и раке
- Page 71 and 72:
Авиационная и раке
- Page 73 and 74:
Авиационная и раке
- Page 75 and 76:
Таблица 1 Авиационн
- Page 77 and 78:
Авиационная и раке
- Page 79 and 80:
Авиационная и раке
- Page 81 and 82:
Авиационная и раке
- Page 83 and 84:
Авиационная и раке
- Page 85 and 86:
Авиационная и раке
- Page 87 and 88:
Авиационная и раке
- Page 89 and 90:
Авиационная и раке
- Page 91 and 92:
Авиационная и раке
- Page 93 and 94:
Авиационная и раке
- Page 95 and 96:
Авиационная и раке
- Page 97 and 98:
Авиационная и раке
- Page 99 and 100:
Авиационная и раке
- Page 101 and 102:
Авиационная и раке
- Page 103 and 104:
Авиационная и раке
- Page 105 and 106:
Авиационная и раке
- Page 107 and 108:
Авиационная и раке
- Page 109 and 110:
связями ( l вх (а)= l в
- Page 111 and 112:
Авиационная и раке
- Page 113 and 114:
Авиационная и раке
- Page 115 and 116:
Авиационная и раке
- Page 117 and 118:
Авиационная и раке
- Page 119 and 120:
Авиационная и раке
- Page 121 and 122:
Авиационная и раке
- Page 123 and 124:
Авиационная и раке
- Page 125 and 126:
Авиационная и раке
- Page 127 and 128:
Авиационная и раке
- Page 129 and 130:
Авиационная и раке
- Page 131 and 132:
Технические науки
- Page 133 and 134:
Технические науки
- Page 135 and 136:
Технические науки
- Page 137 and 138:
Технические науки
- Page 139 and 140:
Технические науки
- Page 141 and 142:
Технические науки
- Page 143 and 144:
Технические науки
- Page 145 and 146:
Технические науки
- Page 147 and 148:
Технические науки M
- Page 149 and 150:
Технические науки 3
- Page 151 and 152:
′′′ Технические н
- Page 153 and 154:
Технические науки
- Page 155 and 156:
Технические науки (
- Page 157 and 158:
Технические науки 1
- Page 159 and 160:
Технические науки
- Page 161 and 162:
Технические науки
- Page 163 and 164:
малом объеме. Систе
- Page 165 and 166:
Технические науки 5
- Page 167 and 168:
Технические науки =
- Page 169 and 170:
Технические науки 0
- Page 171 and 172:
Технические науки 1
- Page 173 and 174:
Технические науки
- Page 175 and 176:
Технические науки d
- Page 177 and 178:
Технические науки
- Page 179 and 180:
Технические науки
- Page 181 and 182:
Технические науки A
- Page 183 and 184:
Технические науки
- Page 185 and 186:
Технические науки E
- Page 187 and 188:
Технические науки
- Page 189 and 190:
Технические науки
- Page 191 and 192:
Технические науки
- Page 193 and 194:
Таблица 1. Основные
- Page 195 and 196:
Технические науки
- Page 197 and 198:
Технические науки
- Page 199 and 200:
Технические науки
- Page 201 and 202: Технические науки
- Page 203 and 204: Технические науки
- Page 205 and 206: Технические науки
- Page 207 and 208: Технические науки
- Page 209 and 210: Технические науки 5
- Page 211 and 212: Технические науки
- Page 213 and 214: Технические науки
- Page 215 and 216: Технические науки
- Page 217 and 218: Технические науки
- Page 219 and 220: Технические науки
- Page 221 and 222: ЭХО с периодическо
- Page 223 and 224: Технические науки
- Page 225 and 226: Технические науки
- Page 227 and 228: Технические науки
- Page 229 and 230: Физико-математичес
- Page 231 and 232: Физико-математичес
- Page 233 and 234: [ ] [ ] = y ( ξ ) Y , j ,k = 1 , 2
- Page 235 and 236: Физико-математичес
- Page 237 and 238: Кибернетика и инфо
- Page 239 and 240: Кибернетика и инфо
- Page 241 and 242: Кибернетика и инфо
- Page 243 and 244: Кибернетика и инфо
- Page 245 and 246: Кибернетика и инфо
- Page 247 and 248: Кибернетика и инфо
- Page 249 and 250: Кибернетика и инфо
- Page 251: стояний) традицион
- Page 255 and 256: Пуск Кибернетика и
- Page 257 and 258: Кибернетика и инфо
- Page 259 and 260: Кибернетика и инфо