Geri Dön

A flexible symbolic forensic dna statistics computation system for relationship testing

İlişki testleri için esnek sembolik bir adli dna istatistikleri hesaplama sistemi

PDF İndir

  1. Tez No: 989806
  2. Yazar: SALIM JIBRIN DANBATTA
  3. Danışmanlar: YRD. DOÇ. DR. HUSEYİN SEVAY
  4. Tez Türü: Yüksek Lisans
  5. Konular: Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrol, Computer Engineering and Computer Science and Control
  6. Anahtar Kelimeler: Belirtilmemiş.
  7. Yıl: 2014
  8. Dil: İngilizce
  9. Üniversite: Yakın Doğu Üniversitesi
  10. Enstitü: Yurtdışı Enstitü
  11. Ana Bilim Dalı: Bilgisayar ve Bilişim Mühendisliği Ana Bilim Dalı
  12. Bilim Dalı: Bilgisayar Yazılımı Bilim Dalı
  13. Sayfa Sayısı: Belirtilmemiş.

Özet

Adli istatistik DNA analizi, babalık veya akrabalık ilişkisini belirlemek için DNA ilişki testlerinin sonuçlarını yorumlamak için çok önemlidir. Ancak, sadece birkaç kişiyi içeren durumlarda bile, olasılık oranlarını hesaplamak için gereken formüller, özellikle alt popülasyon bölünmesinin dikkate alınması gerektiğinde, elle elde edilmesi ve değerlendirilmesi çok karmaşık hale gelme eğilimindedir. Bu tezde, farklı soyutlama katmanlarında, üçlü ve annesiz durumların yanı sıra genel iki kişilik akrabalık ilişkilerini içeren patentite formüllerini otomatik olarak türeten bir yazılım sistemi geliştirdik. İlişki testi literatüründe bildirilen sistemler çoğunlukla sembolik formüller olmadan sayısal sonuçlar vermektedir ve iyi bilinen bir sembolik akrabalık sistemi tescillidir. Sistemimiz için, Bayes olasılık teorisinin temel ilkelerini kullanarak ilişki test formüllerinin elle türetilmesini modelleyen algoritmalar geliştirdik. Ayrıca, bireyler arasındaki ilişkilerin otomatik olarak çıkarılabileceği şekilde aile ilişkilerini yazılımda temsil ediyoruz. Bu yaklaşım, sistemimizin esnek olmasını sağlıyor, çünkü sistem, her bir durumu tanımlayan parametreler için programlı değişiklikler yaparak, belirli ilişki durumları için formlara indirgenebilen genel formüller üretebiliyor. Ubuntu GNU/Linux ortamında Python programlama dilini kullanarak yaklaşımımızı uygulamak için sembolik matematik çerçevesinde çalıştık. Geliştirdiğimiz sistem, sessiz aletler ve mutasyonların olmadığı senaryolarla sınırlıdır. Sistemimizi iki yaklaşımla doğruladık. İlk olarak, sistemimiz tarafından otomatik olarak oluşturulan formülleri literatürde bulunan karşılık gelen formüllerle doğruladık. İkinci olarak, belirli parametre değerlerinde otomatik olarak oluşturulan formülleri değerlendirerek, literatürdeki mevcut sayısal çözümlerdeki sorunlarla yaklaşımımızı doğruladık. Tüm sonuçlarımız, literatürde bildirilen formüller ve sayısal sonuçlarla istisnasız olarak uyumluydu.

Özet (Çeviri)

Forensic statistical DNA analysis is essential for interpreting the results of DNA relationship tests in establishing paternity or kinship. However, even in situations involving only a few individuals, formulas required to compute likelihood ratios tend to become too complex to derive and evaluate by hand especially when subpopulation division needs to be taken into account. In this thesis, we developed a soware system that automatically derives, at different layers of abstraction, formulas for paternity involving both the trio and the motherless case as well as general two-person kinship. Relationship testing systems reported in the literature mostly provide numeric results without symbolic formulas, and one well-known symbolic kinship system is proprietary. For our system, we developed algorithms that model hand-derivation of relationship testing formulas using fundamental principles of Bayesian probability theory. We also represent family relationships in soware such that relationships between individuals can be deduced automatically. is approach enables our system to be flexible since the system can output general formulas that can be reduced to forms for particular cases of relationship by making programmatic substitutions for parameters that define each such case. We used a symbolic mathematics framework in implementing our approach using the Python programming language in the Ubuntu GNU/Linux environment. e system we developed is limited to scenarios without silent alleles and mutations. We validated our system using two approach. First, we validated the formulas generated automatically by our system with the corresponding formulas provided in the literature. Second, we validated our approach with problems with existing numeric solutions in the literature by evaluating automatically generated formulas at the specific parameter values. All our results matched the formulas and numerical results reported in the literature without exception.

Benzer Tezler

  1. Tez No

    310816

    Symbolic boundaries, imagined hierarchies: A case study of women from Post-Socialist countries working as domestic workers in Istanbul

    Sembolik sınırlar, hayal edilmiş hiyerarşiler: Eski Sovyetler Birliği ülkelerinden İstanbul'a ev işçisi olarak çalışmak üzere gelen kadınlara dair bir saha çalışması

    SEDA DOĞAN

    Yüksek Lisans

    İngilizce

    İngilizce

    2011

    Uluslararası İlişkilerSabancı Üniversitesi

    Kültürel Çalışmalar Ana Bilim Dalı

    YRD. DOÇ. DR. AYŞE PARLA

  2. Tez No

    39175

    Modus: Yeni bir yarı derleme özellikli simgesel yorumlayıcı

    A Semi executable symbolic interpreter

    SELİM ESEN

    Yüksek Lisans

    Türkçe

    Türkçe

    1993

    Mühendislik Bilimleriİstanbul Teknik Üniversitesi

    PROF.DR. METİN DEMİRALP

  3. Tez No

    960791

    Sembolik müzik üretimine modüler bir yaklaşım: yaratıcı ve daha uzun besteler için difüzyon, vae ve RNN modellerinin birleştirilmesi

    A modular approach to symbolic music generation: combining diffusion, vae and RNN models for creative and longer compositions

    MEHMET ENES KAPLAN

    Yüksek Lisans

    Türkçe

    Türkçe

    2025

    Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve KontrolYıldız Teknik Üniversitesi

    Bilgisayar Mühendisliği Ana Bilim Dalı

    DOÇ. DR. OĞUZ ALTUN

  4. Tez No

    992960

    Neoliberal eğitim düzeninde prekarya pedagojileri ve simgesel şiddet: Durum çalışması

    The pedagogies of the precariat and symbolic violence in the neoliberal education system: A case study

    ORBAY BAŞARAN

    Doktora

    Türkçe

    Türkçe

    2025

    Eğitim ve ÖğretimEskişehir Osmangazi Üniversitesi

    Eğitim Bilimleri Ana Bilim Dalı

    DOÇ. DR. HAMİT ÖZEN

  5. Tez No

    153110

    The transformative role of representational media within the context of contemporary housing: The gated enclaves of Ankara and consumer culture

    Sunuş ortamlarının çağdaş konut alanındaki dönüştürücü rolü: Ankara`nın kapalı yerleşkeleri ve tüketim kültürü

    ALPER ÖDEN

    Yüksek Lisans

    İngilizce

    İngilizce

    2004

    MimarlıkOrta Doğu Teknik Üniversitesi

    Mimarlık Ana Bilim Dalı

    YRD. DOÇ. DR. GÜVEN ARİF SARGIN

Geri Dön