Arama · son güncelleme 2 sa önce
8.369
toplam haber
3
kategori
70+
bilim kaynağı
1-16 / 16 haber Sayfa 1 / 1
Teknoloji & Yapay Zeka
8 May

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.

arXiv — Bilgisayar Sistemleri 0
Matematik
5 May

Düğüm Teorisinde Matematiksel Devrimin Kapıları: Khovanov-Rozansky Yöntemi

Matematiksel fizik alanında düğüm teorisi, sadece günlük hayatta gördüğümüz düğümlerle değil, temel parçacıkların davranışlarından kuantum bilgisayarlarına kadar geniş bir yelpazede uygulamaları olan sofistike bir matematik dalıdır. Yeni bir araştırma, Khovanov-Rozansky adı verilen karmaşık düğüm analiz yöntemini büyük ölçüde basitleştiren yenilikçi bir yaklaşım sunuyor. Geleneksel matris faktörizasyon yöntemi yerine, araştırmacılar her düğüm diyagramının çözümlemesi için yerel olarak inşa edilebilen basit D operatörleri geliştirdi. Bu yöntem, düğüm invariantlarının hesaplanmasını iki aşamalı bir sürece dönüştürüyor: önce dikey kohomolojiler tanımlanıyor, sonra bunlar arasındaki morfizemler belirleniyor. Bu basitleştirme, düğüm teorisinin pratik uygulamalarını önemli ölçüde kolaylaştırabilir ve kuantum matematik alanında yeni araştırma kapıları açabilir.

arXiv — Matematiksel Fizik 0
Matematik
4 May

Matematikçiler Silindirik Uzayda Simetri ve Spektral Akış İlişkisini Çözdü

Araştırmacılar, bükülmüş silindir geometrisinde Dirac operatörlerinin davranışını inceleyen yeni bir çalışma yayınladı. Çalışma, yansıma simetrisi ve Atiyah-Patodi-Singer sınır koşulları arasındaki karmaşık ilişkiyi matematiksel olarak açıklıyor. Bulgular, holonomi parametresi 2A'nın tam sayı olması durumunda yansıma simetrisinin üniter bir simetri haline geldiğini gösteriyor. Bu keşif, kuantum alan teorisi ve diferansiyel geometri alanlarında önemli uygulamalara sahip olabilir. Özellikle spektral akış teorisi ve topolojik invariantların hesaplanmasında yeni perspektifler sunuyor.

arXiv — Matematiksel Fizik 0
Matematik
1 May

Nesterov Hızlandırma Algoritması İçin Yeni Matematiksel Çerçeve Geliştirildi

Araştırmacılar, makine öğrenmesinde yaygın kullanılan Nesterov Hızlandırılmış Gradyan (NAG) yönteminin nasıl çalıştığını açıklayan yeni bir matematiksel çerçeve geliştirdi. Nearly Asymptotically Invariant Manifold (NAIM) adı verilen bu yaklaşım, optimizasyon problemlerinde hızlandırmanın neden ortaya çıktığını geometrik bir perspektifle açıklıyor. Çalışma, birinci dereceden gradyan akışını ikinci dereceden faz uzayına taşıyarak, hızlandırmanın eğrilik-farkında bir pertürbasyondan kaynaklandığını gösteriyor. Bu teorik gelişme, yapay zeka ve makine öğrenmesi algoritmalarının optimizasyonunda kullanılan hızlandırma tekniklerinin daha iyi anlaşılmasını sağlayabilir.

arXiv — Bilgisayar Sistemleri 0
Fizik
21 Apr

Makine Öğrenmesi Potansiyelleri Nasıl Test Edilir? Yeni Doğruluk Ölçümü

Bilim insanları, elektronik enerji hesaplamalarında kullanılan makine öğrenmesi potansiyellerinin güvenilirliğini ölçmek için yeni test yöntemleri geliştirdi. Araştırmada, permutationally invariant polynomial (PIP) ve PhysNet yaklaşımları olmak üzere iki farklı makine öğrenmesi yöntemi karşılaştırıldı. Bu çalışma, standart doğruluk metriklerinin ötesinde, aynı veri seti üzerinde eğitilmiş farklı potansiyellerin ne kadar tutarlı sonuçlar verdiğini inceliyor. Protonlu oksalat molekülü üzerinde yapılan testler, titreşim enerjileri, dalga fonksiyonları ve kızılötesi spektrum hesaplamalarını içeriyor. Makine öğrenmesi potansiyellerinin kimyasal hesaplamalardaki güvenilirliği, bu teknolojilerin yaygın kullanımı açısından kritik önem taşıyor.

arXiv (Fizik) 0
Teknoloji & Yapay Zeka
21 Apr

Yapay Zeka Yarış Arabası Tasarımını Hızlandırıyor

Yarış arabası aerodinamiği geliştirmek için kullanılan Hesaplamalı Akışkanlar Dinamiği (CFD) simülasyonları, on binlerce saat işlemci gücü gerektirdiği için tasarım sürecini ciddi şekilde yavaşlatıyor. Bu sorunu çözmek için araştırmacılar, yapay zeka tabanlı vekil modeller geliştirdi. Yeni çalışmada, LMP2 sınıfı yarış arabalarının parametrik CAD modeli kullanılarak uzmanlar tarafından doğrulanan yüksek kaliteli bir veri seti oluşturuldu. Geliştirilen Gauge-Invariant Spektral model, karmaşık motorsport bileşenlerinin aerodinamik performansını hızla tahmin edebiliyor. Bu yenilik, yarış arabası tasarımcılarının daha geniş tasarım alanlarını keşfetmesine ve geliştirme sürecini önemli ölçüde hızlandırmasına olanak tanıyor. Araştırma, endüstriyel motorsport gereksinimlerini karşılayacak şekilde tasarlanan ilk kapsamlı AI yaklaşımı olarak öne çıkıyor.

arXiv (CS + AI) 0
Teknoloji & Yapay Zeka
21 Apr

Kripto Köprü Saldırılarına Karşı Muhasebe Tabanlı Güvenlik Çözümü

Araştırmacılar, 2021-2023 yılları arasında kripto para köprülerinden çalınan 2,6 milyar doların önlenebilecek basit bir yöntem geliştirdi. Blokzincir ağları arasında varlık transferi sağlayan bu köprülerin güvenlik açığını tespit eden bilim insanları, 10 milyon işlemi analiz ederek tüm saldırıları yakalayabilen muhasebe sistemi önerdi. Çalışma, farklı blokzincirler arası değer transferlerinde giriş ve çıkış dengesini kontrol eden basit bir invariant ile hem geçmiş saldırıları tespit edebilmenin hem de gelecekteki tehditleri önleyebilmenin mümkün olduğunu ortaya koydu.

arXiv (CS + AI) 0
Matematik
21 Apr

Grafları Tanımanın Sırrı: 70 Yıllık Matematik Problemi İçin Yeni Yaklaşım

Matematik dünyasının en merak uyandıran problemlerinden biri olan graf yeniden yapılandırma konjektürü, 1940'lardan beri çözüm bekliyor. Bu problem, bir grafın parçalarından hareketle bütünü tam olarak belirleyip belirleyemeyeceğimizi soruyor. Yeni araştırma, bu klasik problemi çözmek için cebirsel yöntemler kullanıyor. Araştırmacılar, graf teorisi problemini polinom denklemlerine dönüştürerek, matematiksel invariant teorisinin gücünden yararlanmayı hedefliyor. Bu yaklaşım, grafların benzersizliğini kanıtlamak için yeni araçlar sunuyor ve kombinatorik matematiğin temel sorularına ışık tutuyor.

arXiv (Matematik) 0
Matematik
21 Apr

Yeni Matematik Yaklaşımı: Ayrılmış Grafikler ve Dinamik Sistemler

Matematikçiler, grafik teorisi ve dinamik sistemlerin kesişiminde yeni bir alan geliştirdi. Ayrılmış grafikler adı verilen bu yapılar, C*-cebirleri ve topolojik grupoidlerle ilişkilendirilerek modern matematik ve fizikteki simetri problemlerine yeni çözümler sunuyor. Araştırma, özellikle yönlendirilmiş grafiklerle ilişkilendirilen matematiksel yapıların davranışlarını anlamak için tip yarıgrupları adı verilen invariantları kullanıyor. Bu çalışma, hem soyut matematik hem de kuantum fiziği uygulamaları açısından önemli sonuçlar vaat ediyor.

arXiv (Matematik) 0
Matematik
21 Apr

Cebirsel Geometride Yeni İnvariant Hesaplama Yöntemi Keşfedildi

Araştırmacılar, cebirsel geometride kritik önem taşıyan alfa ve delta invariantlarını hesaplamak için yeni bir yaklaşım geliştirdiler. Bu çalışma, projektif klt çiftleri ve ample doğrusal demetler için quasi-monomial valuationların varlığını kanıtlayarak, alan teorisindeki önemli bir boşluğu dolduruyor. Özellikle sayılabilir alanlar üzerinde çalışabilme kabiliyeti, bu yöntemin pratik uygulanabilirliğini artırıyor. Blum-Jonsson'ın daha önce sayılamaz alanlar için yaptığı çalışmaya alternatif bir ispat sunarak, matematiksel geometrinin temel araçlarından birini güçlendiriyor.

arXiv (Matematik) 0
Matematik
21 Apr

Matematikçiler Calabi-Yau 4-Boyutlu Uzaylarda Geometrik İnvaryantları Çözdü

Matematikçiler, Calabi-Yau 4-boyutlu uzaylarında fiber sınıflarının Gopakumar-Vafa invariantları ile ilgili önemli bir varsayımı kanıtladı. Bu çalışma, eğriler üzerinde fiberlenen düzgün projektif Calabi-Yau 4-katlarının fiber sınıflarının geometrik özelliklerini, tek bir düzgün fiberin invariantları ile ilişkilendiren matematiksel bir bağıntı kurdu. Sonuç, string teorisi ve cebirsel geometri alanlarında yeni kapılar açabilir.

arXiv (Matematik) 0
Matematik
21 Apr

Matematikçiler Hareket Planlama Problemleri İçin Yeni Karmaşıklık Ölçüsü Geliştirdi

Matematik dünyasında yeni bir gelişme yaşandı. Araştırmacılar, robotların ve sistemlerin karmaşık ortamlarda hareket planlaması yapabilmesi için önemli bir matematiksel araç geliştirdi. 'İnvariant parametreli topolojik karmaşıklık' adı verilen bu yeni kavram, özellikle engellerin konumlarının bilinmediği durumlarda hareket planlama problemlerinin zorluk derecesini ölçebiliyor. Çalışma, daha önce geliştirilen 'invariant topolojik karmaşıklık' kavramını genişleterek, grup teorisi ve topoloji alanlarında önemli bir köprü kuruyor. Araştırmacılar, compact Lie gruplarının serbest etki ettiği uzaylarda bu yeni karmaşıklık ölçüsünün, orbit uzayları arasındaki fibrasyon için bilinen parametreli topolojik karmaşıklık ile aynı sonucu verdiğini kanıtladı. Bu teorik gelişme, robotik, kontrol teorisi ve hareket planlama alanlarında pratik uygulamalar bulabilecek matematik altyapısını güçlendiriyor.

arXiv (Matematik) 0
Matematik
21 Apr

Düğüm Teorisinde Çığır Açan Keşif: Kuantum Küme Cebirleri ile Yeni İnvariantlar

Matematikçiler, düğüm teorisinde kullanılan Alexander polinomunun genelleştirilmiş versiyonlarını kuantum küme cebirleri kullanarak elde etmeyi başardı. Bu yeni yaklaşım, düğümlerin matematiksel özelliklerini analiz etmek için pertürbasyon teorisini kullanıyor. Araştırmacılar, kuantum sl2 cebirinin R-matrisini küme dönüşümü olarak yorumlayarak ve yardımcı bir epsilon parametresi ekleyerek, Heisenberg cebiri üreteçleri cinsinden ifade edilen pertürbe edilmiş bir R-matris türetti. Elde edilen düğüm invaryantının sıfırıncı mertebe terimi Alexander polinomunun tersine eşit olurken, epsilon'un yüksek mertebe terimleri Bar-Natan ve Van der Veen'in yapılarıyla uyumlu pertürbe Alexander invaryantları üretiyor. Bu çalışma, kuantum torus cebirinin Schrödinger temsilini küme mutasyon kombinatoriği ile birleştirerek düğüm teorisine yeni bir perspektif getiriyor.

arXiv (Matematik) 0
Matematik
21 Apr

Matematik Dünyasında Yeni Keşif: Hiperplan Düzenlemeleri için 'Büyüklük Teorisi'

Araştırmacılar, hiperplan düzenlemeleri olarak bilinen matematiksel yapılar için yeni bir invariant türü geliştirdiler. 'Büyüklük teorisi' olarak adlandırılan bu yaklaşım, metrik uzayların etkili boyutunu ölçen kardinite benzeri bir değişmez kullanıyor. Çalışma, gerçel hiperplan düzenlemelerinin topolojik özelliklerini anlamak için yeni matematiksel araçlar sunuyor. Bu yapılar, cebirsel geometri ve kombinatorikte önemli uygulamalara sahip. Araştırmada özellikle 'tope grafları' üzerinden tanımlanan büyüklük homolojisi inceleniyor ve bu grafların en kısa yol metriği kullanılarak yeni invariantlar türetiliyor. Bulgular arasında reciprocity, palindromik özellikler ve Boolean düzenlemeleri için diagonal koşullar yer alıyor.

arXiv (Matematik) 0
Matematik
20 Apr

Basit Çeşitlerde Matematiksel İnvariantların Kontrolü İçin Yeni Yöntem

Matematikçiler, belirli geometrik yapılar olan 'basit çeşitler' üzerinde matematiksel invariantları kontrol etmek için yeni bir yöntem geliştirdi. Bu çalışma, cebirsel geometri ve temsil teorisinin kesişim noktasında yer alıyor. Araştırmacılar, bu özel geometrik yapıların matematiksel özelliklerini sistematik bir şekilde inceleme imkanı sunuyor. Çalışmanın en önemli sonuçları arasında p-adik siklotomik iz ve Goodwillie-Jones izinin belirli koşullarda denklik sağlaması yer alıyor. Ayrıca homotopi invariant K-teorisinin kontrolü de başarılı bir şekilde gerçekleştiriliyor. Bu teorik gelişmeler, özellikle Schubert çeşitleri gibi geometrik temsil teorisinde önemli rol oynayan tekil örnekleri kapsaması açısından değerli.

arXiv (Matematik) 0
Matematik
20 Apr

Matematikçiler Düğüm Teorisi İçin Yeni İnvariant Keşfetti

Düğüm teorisi ve topoloji alanında önemli bir gelişme yaşandı. Araştırmacılar, üç boyutlu manifoldlar için kullanılan Real Heegaard Floer homolojisinde mutlak Z/2 derecelendirmelerinin varlığını kanıtladı. Bu matematiksel keşif, özellikle S³ uzayındaki linklerin çift dallı kapakları için geçerli olup, düğümlerin özelliklerini anlamada yeni araçlar sunuyor. Çalışmanın en dikkat çekici sonucu, düğümler için Z-değerli yeni bir invariant tanımlanması. Bu invariant, Miyazawa'nın derece invariantının işaretli analogu olarak işlev görüyor ve düğümün Alexander polinomunun i noktasındaki değerine eşit olduğu gösterildi. Bu bağlantı, cebirsel topoloji ile düğüm teorisi arasında yeni köprüler kuruyor.

arXiv (Matematik) 0