Araştırma

Kanıtla ölçülen bir plan

Neyi sınayacağız, onu nasıl değerlendireceğiz ve neyi öne sürmeyi reddedeceğiz.

Aşama beyanı. Program araştırma aşamasındadır. Henüz bir sonuç yoktur ve bu sitede ölçülmüş hiçbir sonuç bildirilmez.

Olgunluk yol haritası

P0 ile P7 arasında sekiz aşama. Her biri tarihle değil sınavla kapanır.

  1. P0ÇerçevelemeGeçerli
    Kapsam
    Soruları, iddia kaydını, değerlendirme kurallarını ve sınırları belirlemek.
    Çıkış sınavı
    Hakemler kapsamı, iddiaları ve ret kurallarını belirsizlik olmadan yeniden ifade edebilir.
  2. P1Sentetik karşılaştırmalarPlanlandı
    Kapsam
    Gerçeği bilinen sentetik modeller ve sabit temel çizgiler kurmak.
    Çıkış sınavı
    Temel çizgiler temiz bir kopyadan yeniden üretilir ve üzerlerinde gerçek ölçütleri hesaplanır.
  3. P2Çözücü doğrulamasıPlanlandı
    Kapsam
    Dalga çözücüyü analitik durumlara ve yayımlanmış referanslara karşı denetlemek.
    Çıkış sınavı
    Çözücü, önceden kaydedilmiş açık toleranslar içinde referans çözümlerle uyuşur.
  4. P3Açık veriyle ters çözümPlanlandı
    Kapsam
    Açık lisanslı veri kümelerini ters çözüp yayımlanmış sonuçlarla karşılaştırmak.
    Çıkış sınavı
    Açık veri sonuçları yeniden üretilebilir ve temel çizgilerle aynı koşullarda karşılaştırılır.
  5. P4Belirsizlik sınamalarıPlanlandı
    Kapsam
    Belirtilen belirsizlik aralıklarının gerçeği içerip içermediğini sınamak.
    Çıkış sınavı
    Belirsizlik kapsaması görülmemiş olgularda ölçülür ve başarısızlıklar dahil bildirilir.
  6. P5Ortak ters çözümPlanlandı
    Kapsam
    Veri türlerini denetimli deneylerde birleştirmek.
    Çıkış sınavı
    Eklenen her veri türü denetimli bir deneyde bilgi kattığını gösterir, yoksa bırakılır.
  7. P6Bağımsız incelemePlanlandı
    Kapsam
    Dış hakemler yöntemleri, veri işlemeyi ve iddiaları inceler.
    Çıkış sınavı
    Hakemler onaylar ya da geri çekilmesi gereken iddiaları sıralar.
  8. P7Pilot hazırlığıPlanlandı
    Kapsam
    Ortakla, paylaşma yetkisi olan veriler üzerinde pilot hazırlamak.
    Çıkış sınavı
    İki taraf da önceden kararlaştırılmış başarı ve durdurma ölçütleriyle bir pilot protokolünü kabul eder.

Paralel üç program kolu

A, B ve C programları aşamalarla yan yana ilerler; her birinin kendi giriş koşulu vardır.

  • A · İleri sismik görüntüleme ve bilimsel hesaplama

    Giriş koşulu: çözücü sentetik durumlarda doğrulanır (P2), sonra her yöntem kendi temel çizgisiyle karşılaştırılır.

  • B · Çok fizikli jeofizik zekâ

    Giriş koşulu: sismik temel çizgiler vardır (P3), sonra her ek veri türü bilgi katıp katmadığı için sınanır (P5).

  • C · Nano, kuantum ve deneysel algılama

    Giriş koşulu: her kavram için yazılı bir yapılabilirlik ve deniz sınırları incelemesi; geçmeden hiçbir şey kurulmaz.

Değerlendirme yöntemi

Herhangi bir sonucun gösterilmeden önce nasıl yargılanacağı.

Aynı koşulda temel çizgiler

Her yöntem, aynı veri, aynı girdiler ve aynı hesaplama bütçesiyle bir temel çizgiyle karşılaştırılır.

Ayrılmış veri

Sınama verisi, eğitim ve ayar verisinden rastgele bölmeyle değil, etüde ve jeolojiye göre ayrılır.

Ölçütler

  • Konumlama hatası
  • Ayrılmış veride dalga biçimi uyumsuzluğu
  • Belirsizlik kapsaması
  • Çalışma süresi
  • Enerji kullanımı
  • Kabul edilebilir sonuç başına maliyet

Nicel gerçek ölçütleri olmayan görüntüleri reddederiz.

Kanıt defteri

Sitedeki her iddia, arkasındaki kanıtla birlikte. Bir iddia buraya ancak kanıtı olduğunda girer.

Defter bilerek boştur. Sonuçlar doğrulandıkça ve incelendikçe dolar; o zamana dek sitedeki her iddia kavram aşamasında kalır.

Baştan belirttiğimiz sınırlar

Bu programın yapamadıkları ve henüz gösterilmesi gerekenler.

  1. Keşif garantisi yoktur

    Daha iyi görüntüler kararlara bilgi sağlayabilir; kaynak yaratmaz, varlığını da vaat etmez.

  2. Çözünürlük derinlikle azalır

    Hedef derinleştikçe verinin destekleyebildiği ayrıntı kabalaşır.

  3. Ters çözüm tek çözümlü değildir

    Farklı modeller aynı veriye uyabilir; bu yüzden tek yanıt değil aralıklar bildiririz.

  4. Saha verisine erişim lisansa bağlıdır

    Gerçek veriler sahiplerine aittir; bir ortak daha fazlasını paylaşma yetkisi alana dek sentetik ve açık veriyle çalışırız.

  5. Yapay zekâ olmayan bir yapıyı uydurabilir

    Bu yüzden öğrenilmiş bileşenler görmediği jeolojiyle sınanır ve bir sonucu onaylayamaz.

  6. Sondaj gerekli olmaya devam eder

    Yerin altında ne olduğunu yalnızca doğrudan örnekleme doğrular.

  7. Sığ suda bileşen denemeleri, derin sudaki başarımın kanıtı değildir

    Sığ suda çalışan bir algılayıcının ya da yöntemin derin suda da çalıştığı ayrıca gösterilmelidir.

Yayınlar

Henüz yayın yok. Makaleler, veri kümeleri ve kodlar yayımlandığında burada listelenecek.

İş birliği önerin