Инверсияны орнатыңыз - Set inversion

Математикада, инверсияны орнатыңыз сипаттайтын проблема болып табылады алдын-ала түсіру X жиынтықтың Y функция бойынша f, яғни, X = f−1(Y) = {хRn | f(х) ∈ Y}. Оны Y (y (f) x)) сандық шектеулердің шешім жиынын сипаттау мәселесі ретінде қарастыруға болады, мұндағы Y (y) шектеу, мысалы, Y жиынын сипаттайтын теңсіздік.

Көптеген қосымшаларда f функциясы болып табылады Rn дейін Rб және жиынтық Y - бұл қорап Rб (яғни декарттық туындысы б аралықтары R).

Қашан f сызықты емес инверсия есебін шешуге болады [1] қолдану аралық талдау бірге ұштастырылған тармақталған және шектелген алгоритм.[2]

Негізгі идея R төсенішін салудан тұрадыб қабаттаспайтын қораптармен жасалған. Әр қорап үшін [х], біз келесі сынақтарды орындаймыз:

  1. егер f([х]) ⊂ Y біз [деп қорытынды жасаймызх] ⊂ X;
  2. егер f([х]) ∩ Y = ∅ деген қорытындыға келеміз [х] ∩ X = ∅;
  3. Әйтпесе, қорап [х] егер ені берілген дәлдіктен кіші болса, қорап екіге бөлінеді.

Екі алғашқы тестті тексеру үшін бізге қажет аралық кеңейту (немесе қосу функциясы) [f] үшін f. Жіктелген жәшіктерде сақталады қосалқы тақырыптар яғни, қабаттаспайтын қораптардың бірігуі. Алгоритмді қосу тесттерін ауыстыру арқылы тиімдірек етуге болады мердігерлер.

Мысал

Жинақ X = f−1([4,9]) қайда f(х1, х2) = х2
1
+ х2
2
суретте көрсетілген.

Мысалы, [−2,1]2 + [4,5]2 = [0,4] + [16,25] = [16,29] интервалмен қиылыспайды [4,9], біз [-2,1] × [4,5] өрісі сыртта деген қорытынды жасаймыз X. [−1,1] бастап2 + [2,5]2 = [0,1] + [4,5] = [4,6] ішінде [4,9], біз барлық қорапты [-1,1] × [2,5] ішінде орналасқан X.

Орнатылған инверсия мәселесі ретінде анықталған сақина

Қолдану

Жиынтық инверсия негізінен қолданылады жолды жоспарлау, сызықтық емес параметр үшін белгіленген бағалау [3] [4], локализация үшін [5][6] немесе сызықтық динамикалық жүйелердің тұрақтылық домендерін сипаттау үшін.[7].

Әдебиеттер тізімі

  1. ^ Джаулин, Л .; Уолтер, Э. (1993). «Сызықты емес қателіктерді бағалау үшін интервалды талдау арқылы инверсияны орнатыңыз» (PDF). Automatica. 29 (4): 1053–1064. дои:10.1016/0005-1098(93)90106-4.
  2. ^ Джаулин, Л .; Киффер М .; Дидрит, О .; Уолтер, Э. (2001). Қолданбалы аралық талдау. Берлин: Шпрингер. ISBN  1-85233-219-0.
  3. ^ Джаулин, Л .; Годет, Дж.Л; Вальтер, Э .; Эллиазмин, А .; Leduff, Y. (1997). «Жиынтық инверсия арқылы жарықтың шашырау деректерін талдау» (PDF). Физика журналы А: Математикалық және жалпы. 30: 7733–7738. Бибкод:1997JPhA ... 30.7733J. дои:10.1088/0305-4470/30/22/012.
  4. ^ Braems, I .; Бертье, Ф .; Джаулин, Л .; Киффер М .; Уолтер, Э. (2001). «Электрохимиялық параметрлерді интервалды талдауды қолдану арқылы инверсияны орнату арқылы кепілдендірілген бағалау» (PDF). Электроаналитикалық химия журналы. 495 (1).
  5. ^ Колле, Е .; Galerne, S. (2013). «Мобильді роботты мультиангуляция арқылы локализациялау». Робототехника және автономды жүйелер. 66 (1). дои:10.1016 / j.robot.2012.09.006.
  6. ^ Древель, V .; Боннифит, Ph. (2011). «Жоғары спутниктік биіктікте орналастырудың жоғары тұтастығына арналған мүшелік тәсіл». GPS шешімдері. 15 (4).
  7. ^ Вальтер, Э .; Джаулин, Л. (1994). «Орнатылған инверсия арқылы тұрақтылық домендерінің кепілдендірілген сипаттамасы» (PDF). IEEE Транс. Автоматты. Бақылау. 39 (4).