Rahat kavşak - Relaxed intersection - Wikipedia

rahat kavşak nın-nin m kümeler, boş bir kesişimi önlemek için birkaç kümenin gevşemesine izin verilmesi dışında kümeler arasındaki klasik kesişme karşılık gelir. Memnuniyet Sorunlarını Kısıtlar tutarsız az sayıda kısıtlamayı gevşetmek.Zaman sınırlı hata yaklaşımı için düşünülür parametre tahmini rahat kavşak, bazılarına göre sağlam olmayı mümkün kılar aykırı değerler.

Tanım

q- sakin kesişimi m alt kümelernın-nin ile gösterilirhepsinin setidirhangisi hepsine aitdışındaBu tanım Şekil 1'de gösterilmiştir.

Şekil 1. q- 6 setin kesişimi q= 2 (kırmızı), q= 3 (yeşil), q= 4 (mavi), q= 5 (sarı).

Tanımlamak

Sahibiz

Q-gevşetilmiş kavşağı karakterize etmek, ters çevirmeyi ayarla sorun.[1]

Misal

8 aralığı düşünün:

Sahibiz

Aralıkların rahat kesişimi

Aralıkların gevşemiş kesişimi bir aralık gerekli değildir. Böylece sonucun ara gövdesini alıyoruz. Eğer 'ler aralıklardır, rahat kesişme, bir karmaşıklık ile hesaplanabilir m.log (m) kullanarak Marzullo algoritması. Tüm alt ve üst sınırlarını sıralamak yeterlidir. m işlevi temsil eden aralıklar . Sonra seti kolayca alıyoruz

Bu, aralıkların birliğine karşılık gelir. Sonra bu birleşmeyi içeren en küçük aralığı döndürürüz.

Şekil 2 işlevi gösterirönceki örnekle ilişkili.

Şekil 2. 6 aralıkla ilişkili set üyeliği işlevi.

Kutuların rahat kesişimi

Hesaplamak için q- sakin kesişimi m kutularıhepsini yansıtırız m ile ilgili kutular n eksenler. her biri için n Grupları m aralıklarla hesaplıyoruz qgevşetilmiş kavşak. n ortaya çıkan aralıklar.[2]Şekil 3, 6 kutunun 4-gevşek kesişiminin bir gösterimini sağlar. Kutunun her noktası 6 kutudan 4'üne aittir.

Şekil 3. Kırmızı kutu, 6 kutunun 4-gevşek kesişimine karşılık gelir

Rahat birlik

q- sakin birliği tarafından tanımlanır

Ne zaman q= 0, gevşetilmiş birleşim / kesişme, klasik birleşim / kesişme karşılık gelir. Daha doğrusu, biz var

ve

De Morgan kanunu

Eğer tamamlayıcı kümesini gösterir , sahibiz

Sonuç olarak

Müteahhitlerin rahatlaması

İzin Vermek olmak m müteahhitler setler için ,sonra

müteahhit ve

müteahhit , nerede

müteahhitler

Bir dal ve sınır gibi algoritma SIVIA (Aralık Analizi Yoluyla Ters Çevirmeyi Ayarla), q-huzursuz kesişme m alt kümeleri hesaplanabilir.

Sınırlı hata tahminine uygulama

q- sakin kavşak sağlam yerelleştirme için kullanılabilir[3][4]veya izleme için.[5]

Sağlam gözlemciler, aykırı değerlere göre sağlam olması için rahat kavşaklar kullanılarak da uygulanabilir.[6]

Burada basit bir örnek öneriyoruz[7]yöntemi göstermek için bir model düşünün. benModel çıktısı şu şekilde verilmektedir:

nerede . Sahip olduğumuzu varsayalım

nerede ve aşağıdaki listede verilmiştir

Takımlar farklı için Şekil 4'te tasvir edilmiştir.

Şekil 4. q = 1,2,3,4,5 için tam olarak 6-q veri çubuklarıyla (kırmızı boyalı) tutarlı tüm parametre vektörlerinin kümesi.

Referanslar

  1. ^ Jaulin, L .; Walter, E .; Didrit, O. (1996). Garantili sağlam doğrusal olmayan parametre sınırlaması (PDF). CESA'96 IMACS Çoklu Konferansı Bildirilerinde (Modelleme, Analiz ve Simülasyon Sempozyumu).
  2. ^ Jaulin, L .; Walter, E. (2002). "Garantili, sağlam doğrusal olmayan minimaks tahmini" (PDF). Otomatik Kontrolde IEEE İşlemleri. 47.
  3. ^ Kieffer, M .; Walter, E. (2013). Doğrusal olmayan parametre tahmininde asimptotik olmayan kesin güven bölgelerinin garantili karakterizasyonu (PDF). Doğrusal Olmayan Kontrol Sistemleri üzerine IFAC Sempozyumu Bildirilerinde, Toulouse: Fransa (2013).
  4. ^ Drevelle, V .; Bonnifait, Doktora (2011). "Yüksek bütünlüklü, yükseklik destekli uydu konumlandırma için bir set üyelik yaklaşımı". GPS Çözümleri. 15 (4).
  5. ^ Langerwisch, M .; Wagner, B. (2012). "Sağlam Aralık Kısıtlama Yayılımını Kullanan Garantili Mobil Robot Takibi". Akıllı Robotik ve Uygulamalar..
  6. ^ Jaulin, L. (2009). "Sağlam set üyelik durumu tahmini; Sualtı Robotiklerine Uygulama" (PDF). Automatica. 45: 202–206. doi:10.1016 / j.automatica.2008.06.013.
  7. ^ Jaulin, L .; Kieffer, M .; Walter, E .; Meizel, D. (2002). "Robot yerelleştirme uygulamasıyla garantili sağlam doğrusal olmayan tahmin" (PDF). Sistemler, insan ve sibernetik üzerine IEEE İşlemleri; Bölüm C Uygulamaları ve İncelemeleri. 32. Arşivlenen orijinal (PDF) 2011-04-28 tarihinde.