...
"cantor kümeleri" için 103 sonuç bulundu
× Aramayı temizle
Arama Sonuçları
103 haber
Kimya
Yapay Zeka ile Işığa Maruz Moleküllerin Davranışını Çözmek
Araştırmacılar, ışığa maruz kalan moleküllerin karmaşık davranışlarını anlamak için yeni bir yapay zeka yöntemi geliştirdi. Moleküller ışık absorpladığında enerjiyi nasıl kaybettiği ve hangi atom hareketlerinin bu süreçte kritik rol oynadığı, kimyasal fizik alanının temel sorularından biri. Bu yeni yaklaşım, Farklılaştırılabilir Bilgi Dengesizliği adı verilen bir makine öğrenmesi tekniği kullanarak, binlerce atom hareketi arasından en önemli olanları belirleyebiliyor. Yöntem, moleküler dinamik simülasyonlarından elde edilen büyük veri kümelerini analiz ederek, moleküllerin enerji kaybetme mekanizmalarını daha iyi anlamamızı sağlıyor. Bu gelişme, güneş pilleri, LED teknolojileri ve fotoğraf filmlerinin tasarımında önemli uygulamalara sahip olabilir.
Teknoloji & Yapay Zeka
Su Moleküllerini Simüle Eden Yapay Zeka Algoritması Geliştirildi
Araştırmacılar, su kümelerinin davranışını tahmin etmek için yenilikçi bir yapay zeka destekli moleküler dinamik simülasyon yöntemi geliştirdi. PDMD adlı bu sistem, geleneksel yöntemlerin karşılaştığı doğruluk-hız ikilemini çözerek, hem yüksek hassasiyette hem de hızlı hesaplamalar yapabiliyor. Gaussian tabanlı geometrik tanımlayıcılar ve ChemGNN adlı grafik sinir ağı kullanan sistem, herhangi bir boyuttaki su kümesinin enerji ve kuvvet değerlerini tahmin edebiliyor. Sistem, enerji tahmininde atom başına 1,39 meV, kuvvet tahmininde ise angström başına 50,7 meV hata payıyla çalışıyor ve mevcut DeepMD teknolojisinden 5 kat daha iyi performans gösteriyor. Bu gelişme, malzeme bilimi ve kimya simülasyonlarında önemli ilerlemeler sağlayabilir.
Teknoloji & Yapay Zeka
Güvenlik Kritik Sistemlerde Yeni Kontrol Yaklaşımı: MCI-MPC
Araştırmacılar, güvenlik açısından kritik sistemlerin kontrolü için yeni bir Model Öngörülü Kontrol (MPC) yaklaşımı geliştirdi. Maximal Controlled Invariant-MPC (MCI-MPC) adı verilen bu yöntem, Kontrol Engel Fonksiyonlarını (CBF) terminal kısıt olarak kullanarak hem güvenliği garanti ediyor hem de sistemin performansını artırıyor. Geleneksel yöntemlerde güvenlik kısıtları genellikle aşırı muhafazakâr olur, bu da sistem performansını düşürür. Yeni yaklaşım, öngörü ufkunun artmasıyla birlikte fizibiliteyi ve erişilebilir kümeleri iyileştiriyor. Nonholonomik sistemler üzerinde yapılan simülasyonlarda, çözümsüz nokta sayısının 1,7 ila 2,7 kat azaldığı gözlemlendi.
Kimya
Kuantum Hesaplama ile Molekül Titreşimleri: Binlerce Durum Aynı Anda Çözüldü
Araştırmacılar, ağaç tensör ağı durumları (TTNS) ve yoğunluk matris renormalizasyon grubu (DMRG) yöntemlerini kullanarak moleküllerin titreşim özelliklerini hesaplamada çığır açan bir başarı elde etti. Bu yeni yaklaşım, karmaşık moleküler sistemlerde binlerce farklı enerji durumunu tam boyutlu olarak hesaplayabiliyor. Özellikle güçlü bağlaşımlı ve değişken yapılı moleküller için son derece hassas sonuçlar veriyor. Yöntem, 33 boyutlu Eigen iyonu gibi büyük protonlanmış su kümelerinden basit moleküllere kadar geniş bir yelpazede test edildi. Bu gelişme, moleküler spektroskopi ve kimyasal reaksiyonların anlaşılmasında yeni olanaklar sunuyor.
Teknoloji & Yapay Zeka
Yapay Zeka Genetik ve Sosyal Verileri Analiz Etmede Çığır Açan Yöntem Geliştirdi
Araştırmacılar, zaman içinde değişen karmaşık veri kümelerini analiz etmek için yeni bir matematiksel model geliştirdi. Bu model, genetik verilerden sosyal ağ analizlerine kadar geniş bir yelpazede kullanılabilecek gelişmiş istatistiksel yöntemler içeriyor. Yöntem, verilerin tam etiketlenmediği durumlarda bile gizli kalıpları tespit edebiliyor ve gelecekteki eğilimleri tahmin edebiliyor. Özellikle büyük veri setlerinde hesaplama karmaşıklığını önemli ölçüde azaltarak, gerçek zamanlı analizlere olanak sağlıyor. Bu gelişme, biyoinformatik, sosyal bilimler ve makine öğrenmesi alanlarında önemli uygulamalara sahip.
Teknoloji & Yapay Zeka
Turing'den Önce Cantor: Bilgisayar Biliminin Gözden Kaçan Kökeni
Yeni bir araştırma, modern bilgisayar biliminin kurucusu sayılan Alan Turing'in başarılarının aslında Georg Cantor'un küme teorisindeki öncül çalışmalarına dayandığını ortaya koyuyor. Çalışma, Turing makineleriyle çözülemeyen problemler için yeni bir 'kararsızlık ölçüsü' öneriyor ve bu problemlerin giriş verilerinin olasılık dağılımına göre ne kadar çözülemez olduğunu belirlemeyi amaçlıyor. Araştırmacılar ayrıca Turing'in sonsuz mantık ve Oracle makineleri üzerine çalışmalarını süper-Turing hesaplama modelleriyle genişletmeyi öneriyor. Bu yaklaşım, hesaplamalı karmaşıklık teorisinde yeni perspektifler açarak, çözülemez problemleri de sınıflandırma imkanı sunuyor.
Kimya
Yüksek Sıcaklıkta Küme Moleküllerin Taşınımı İçin Yeni Matematiksel Model
Bilim insanları, yüksek sıcaklık ve basınç koşullarında farklı boyutlardaki molekül kümelerinin nasıl hareket ettiğini açıklayan yeni bir teorik model geliştirdi. Bu yaklaşım, kümelerin kısmi kimyasal dengeye ulaştığını varsayarak, tüm küme topluluğunu tek bir tür gibi ele alıyor. Araştırmacılar, bu yöntemle termal difüzyon etkisinin beklenenden çok daha önemli hale geldiğini keşfetti. Model, özellikle hidrojen sülfür dönüşümünde kullanılan santrifüj plazma reaktörlerinde kükürt kümelerinin davranışını anlamak için uygulandı.
Uzay & Astronomi
Uzay Veri Merkezleri: Yörüngede Bilgisayar Çiftliklerinin Fizibilite Analizi
Bilim insanları, güneş enerjisiyle çalışan yörünge veri merkezlerinin ekonomik uygulanabilirliğini araştırıyor. Bu çalışma, uzayda konuşlandırılacak bilgisayar kümelerinin sadece güneş ışığı miktarıyla değil, aynı zamanda enerji depolama, ısı atılımı, yer-uzay iletişimi ve yaşam döngüsü maliyetleriyle de sınırlandırıldığını ortaya koyuyor. Araştırmacılar, 1 MW güçlü bir referans sistem için gerekli fotovoltaik panel alanını ve kütle gereksinimlerini hesaplayarak, bu teknolojinin rekabet edebilirliği için kritik parametreleri belirledi. Uzay tabanlı veri işleme platformları, gelecekte yeryüzü veri merkezlerine alternatif olabilir.
Matematik
Belirsizlik İçeren Optimizasyon Problemlerinde Çözüm Kümelerini Tahmin Etme
Araştırmacılar, parametrik belirsizlikler içeren konveks optimizasyon problemlerinin çözüm kümelerini tahmin etmek için yeni bir yöntem geliştirdi. Yöntem, projektif gradyan azalış algoritmasının yakınsama özelliklerini kullanarak, belirsiz parametrelere sahip optimizasyon problemlerinin çözümlerini güvenilir şekilde yaklaşıklayabiliyor. Bu çalışma, makine öğrenmesi ve kontrol sistemlerinde karşılaşılan karmaşık optimizasyon problemlerinin çözümünde önemli uygulamalara sahip.
Matematik
Oyun Teorisinde Geri Mühendislik: Matematiksel Stratejilerden Hedeflere Ulaşma
Araştırmacılar, oyun teorisinin karmaşık matematiksel problemlerinden birini çözmek için yeni bir yöntem geliştirdi. Bu çalışma, çok oyunculu stratejik durumlarda gözlemlenen davranışlardan hareketle, oyuncuların gerçek hedeflerini tersine mühendislik yaklaşımıyla belirlemeyi amaçlıyor. Sonsuz zaman diliminde süren rekabetçi durumlar için tasarlanan bu matematik model, Nash dengesi olarak bilinen optimal strateji noktalarından yola çıkarak, oyuncuların maliyet fonksiyonlarını belirleyebiliyor. Yöntemin dikdörtgen ve konveks özellikler gösteren çözüm kümeleri üretmesi, pratik uygulamalarda hesaplama kolaylığı sağlıyor. Ekonomik modelleme, yapay zeka sistemleri ve karar verme süreçlerinde kullanılabilecek bu yaklaşım, gözlemlenen davranışların arkasındaki matematiksel mantığı ortaya çıkarma konusunda önemli bir adım teşkil ediyor.
Teknoloji & Yapay Zeka
Yapay Zeka Özetlerindeki Yanlış Bilgileri Tespit Eden Sistem Geliştirildi
Büyük dil modelleri kullanarak veri kümelerinden doğal dil özetleri çıkarmak artık yaygın bir uygulama. Ancak bu özetlerde yer alan iddialar her zaman gerçek verilerle örtüşmüyor. Araştırmacılar bu sorunu çözmek için Evergreen adlı bir sistem geliştirdi. Sistem, yapay zeka tarafından üretilen özetlerdeki iddiaları otomatik olarak doğrulayabiliyor. Özellikle büyük veri kümelerinde sayısal karşılaştırmalar, gruplamalar ve niceleyiciler içeren karmaşık iddiaları kontrol etmede başarılı sonuçlar veriyor. Evergreen, iddia doğrulama sürecini semantik sorgu işleme görevine dönüştürerek çalışıyor ve gereksiz yapay zeka çağrılarını önleyerek maliyet ve gecikmeyi azaltıyor.