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

Zaman Gecikmeli Sistemler İçin Yeni Stabilite Analizi Yöntemi Geliştirildi

Araştırmacılar, elektrikli motorlar ve sinir ağları gibi karmaşık sistemlerin kararlılığını analiz etmek için yeni bir matematiksel framework geliştirdi. Persidskii sistemleri olarak adlandırılan bu yapılar, doğrusal dinamikler ile nonlineer geri besleme döngülerini birleştireyor. Çalışma, zaman gecikmesi olan sistemlerde durum tahmini ve kararlılık analizi için veri odaklı yaklaşımlar sunuyor. Özellikle elektrikli araçlarda kullanılan PMSM motorlarında deneysel doğrulama yapılması, teorik çalışmanın pratik uygulamalarını gösteriyor. Bu gelişme, otonom sistemler ve robotik alanlarında daha güvenilir kontrol sistemleri tasarımına katkı sağlayabilir.

arXiv — Bilgisayar Sistemleri 0
Teknoloji & Yapay Zeka
30 Apr

Otonom Araç Konvoyları İçin Yeni Deneysel Platform Geliştirildi

Araştırmacılar, araç konvoylarının (platooning) nasıl çalıştığını incelemek için yeni bir deneysel platform geliştirdi. Bu sistem, bir insan tarafından kontrol edilen öncü araç ve onu takip eden iki otonom araçtan oluşuyor. Araç konvoyları, trafikte verimliliği artırma, yakıt tasarrufu sağlama ve yol güvenliğini geliştirme potansiyeline sahip bir teknoloji. Ancak özellikle şerit değişikliği gibi dinamik manevralar sırasında konvoydaki araçların kararlı kalması büyük bir mühendislik zorluğu. Platform, gerçek boyutlu araçların küçük modelleriyle çalışarak, hem bireysel araç kontrolü hem de konvoy stabilitesi üzerine araştırma yapma imkanı sunuyor. Bu tür deneysel çalışmalar, gelecekte yollarda göreceğimiz otonom araç konvoylarının güvenli ve verimli çalışması için kritik önem taşıyor.

arXiv (Robotik) 0
Teknoloji & Yapay Zeka
21 Apr

Belirsiz Durumlarla Çalışan Turing Makinelerinin Hesaplama Sınırları Keşfedildi

Dijital sistemlerde karşılaşılan 'metastabil' durumlar - yani sinyallerin kararlı bir hale geçememesi - şimdiye kadar sadece devreler ve durum makineleri açısından inceleniyordu. Yeni bir araştırma, bu belirsizlik durumunu Turing Makineleri seviyesinde ele alarak, belirsiz girdilerle çalışan hesaplama sistemlerinin teorik sınırlarını araştırıyor. Çalışma, metastabil durumları içeren Turing Makinelerinin kapanışının genel olarak hesaplanamaz olduğunu matematiksel olarak kanıtlıyor. Bu bulgular, belirsizlik altında çalışan genel amaçlı hesaplama sistemlerinin temel sınırlarını anlamamızı derinleştiriyor ve gelecekteki güvenilir hesaplama sistemleri tasarımı için önemli teorik temeller sunuyor.

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

DMF: Sürtünme Destekli Yeni Yapay Zeka Modeli Görüntü Üretiminde Devrim Yaratıyor

Araştırmacılar, yapay zeka destekli görüntü üretiminde çığır açan yeni bir model geliştirdi. DMF (Drifting Model with Friction) adlı bu sistem, sürtünme kavramını matematiksel modellemeye entegre ederek, mevcut yöntemlerden 16 kat daha az hesaplama gücüyle aynı kalitede sonuçlar üretiyor. Model, özellikle yüz görüntülerinde yaş dönüşümü gibi karmaşık işlemlerde başarılı sonuçlar veriyor. Geleneksel drift field modellerinin iki temel sorununun çözümünü sunan araştırma, Gaussian çekirdek kullanarak matematiksel olarak kanıtlanmış stabilite sağlıyor. Bu gelişme, yapay zeka modellerinin daha verimli eğitimi ve daha hızlı sonuç üretimi açısından önemli bir adım teşkil ediyor.

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

Yapay zeka artık tutarlı hikaye görselleştirmesi yapabiliyor

Araştırmacılar, metinlerden tutarlı görsel hikayeler oluşturabilen yenilikçi bir yapay zeka sistemi geliştirdi. ReCap adı verilen bu sistem, hikayedeki karakterlerin kimliklerini koruyarak art arda gelen görsellerde tutarlılık sağlıyor. Geleneksel yöntemler büyük bellek bankaları ve karmaşık mimariler gerektirirken, ReCap sadece 149 bin ek parametre kullanarak aynı başarıyı elde ediyor. Sistem, özellikle zamirleri görsel bağlantı noktası olarak kullanarak, karakterlere zamirle atıfta bulunulduğunda önceki karelerdeki görsel kimliği aktarıyor. Bu seçici yaklaşım, gereksiz hesaplama yükünden kaçınırken karakter stabilitesi ve görsel kaliteyi artırıyor. Gelişme, dijital içerik üretimi ve eğlence sektöründe devrim yaratabilecek potansiyele sahip.

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

Yapay Sinir Ağlarında Gecikmeli Kayıp Artışlarının Matematiksel Sırrı Çözüldü

MIT ve Stanford'dan araştırmacılar, yapay sinir ağlarının eğitimi sırasında beklenmedik bir şekilde ortaya çıkan 'gecikmeli kayıp artışları' fenomenini matematiksel olarak açıkladı. Bu durum, normalizasyon tekniklerinin başlangıçta kararlı görünen öğrenme sürecini nasıl etkilediğini gösteriyor. Araştırma, batch normalizasyonun etkili öğrenme oranını kademeli olarak artırarak instabiliteyi ertelediğini ortaya koyuyor. Bu keşif, derin öğrenme modellerinin eğitimi sırasında yaşanan beklenmedik performans düşüşlerini anlamak açısından kritik öneme sahip. Bulgular, özellikle büyük ölçekli AI modellerinin daha güvenilir eğitimi için yeni stratejiler geliştirilmesine katkı sağlayabilir.

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

Yapay Zeka ile Gerçek Zamanlı Kontrol Sistemlerinde Yeni Dönem

Araştırmacılar, doğrusal olmayan sistemlerin gerçek zamanlı kontrolü için yarı kesin programlama tabanlı yenilikçi bir yöntem geliştirdi. Bu sistem, stabiliteyi garanti altına alan geri besleme kontrolörü ve Lyapunov sertifikası üretebiliyor. Yöntem, robotik, havacılık ve endüstriyel otomasyon gibi alanlarda karmaşık sistemlerin daha güvenli ve etkili kontrolünü mümkün kılıyor. Geliştirilen algoritma, sistem kararlılığını matematiksel olarak kanıtlarken aynı zamanda performans özelliklerini de optimize ediyor. Çalışma, kontrol teorisi ve yapay zeka arasında köprü kurarak, gelecekteki otonom sistemlerin temelini atıyor.

arXiv (CS + AI) 0
Matematik
21 Apr

Zaman Gecikmeleri Kontrol Sistemlerinde Hızlı Stabilizasyonu Engellemiyor

Matematikçiler, sonsuz boyutlu kontrol sistemlerinde zaman gecikmelerinin sistem stabilitesi üzerindeki etkilerini araştırdılar. Sabit gecikme katsayısına sahip doğrusal sistemlerde yapılan analizde, zaman gecikme terimlerinin hızlı stabilizasyon yeteneğini etkilemediği keşfedildi. Araştırma sonuçları, sistemin hızlı stabilize edilebilirlik özelliğinin yalnızca durum ve kontrol operatörlerine bağlı olduğunu gösteriyor. Ayrıca statik geri besleme mekanizmasının sistem stabilizasyonu için yeterli olduğu kanıtlandı. Bu bulgular, gecikme içeren karmaşık kontrol sistemlerinin tasarımında önemli kolaylıklar sağlayabilir.

arXiv (Matematik) 0
Matematik
21 Apr

Matematikçiler Karmaşık Yapıları Anlamak İçin Yeni Model Teorisi Geliştirdi

Matematikçiler, sürekli dillerde yazılmış karmaşık matematiksel yapıları daha iyi anlayabilmek için genelleştirilmiş sürekli model teorisi yaklaşımını geliştirdiler. Bu yeni framework, özellikle Borel karmaşıklık analizi ve stabilite özelliklerini incelemek için kullanılıyor. Araştırma, Polish uzayları ve sürekli diller arasındaki ilişkileri inceleyerek, matematiksel nesnelerin karmaşıklık seviyelerini belirlemede yeni araçlar sunuyor. Bu gelişme, özellikle soyut matematiğin farklı dalları arasında köprü kurarak, karmaşık matematiksel yapıların daha sistematik bir şekilde sınıflandırılmasına olanak tanıyor.

arXiv (Matematik) 0
Arkeoloji & Tarih
20 Apr

Bilim Öncesi Dönemde İnşa Edilen Muhteşem Yapılar: Mühendislik Sezgisinin Gücü

Modern bilim ve matematik ortaya çıkmadan önce insanlık, sadece deneyim ve sezgiyle muhteşem yapılar inşa etmeyi başardı. Antik dönem mühendisleri, karmaşık hesaplamalar yapmadan tecrübe aktarımı ve pratik kurallarla kalıcı eserler yarattı. Bu yaklaşım, günümüz mühendislik eğitiminde göz ardı edilen önemli bir boyutu gözler önüne seriyor. Yapıların stabilitesi ve dayanıklılığı için gerekli olan temel prensipleri, matematiksel formüllere dayandırmadan kavramış olan eski ustaların bilgi birikimi, nesiller boyunca aktarılarak geliştirildi. Bu durum, bilimsel metodun gelişmesinden çok önce insanların doğal mühendislik yeteneklerini nasıl kullandığını gösteriyor.

Aeon — Felsefe & Fikirler 0
Fizik
20 Apr

Kiral Robotlar: Çevresel Kontrolle Hareket Eden Yeni Nesil Mikro Makineler

Bilim insanları, ticari bristlebot robotları üzerinde yaptıkları değişikliklerle, kendiliğinden hizalanan ve kiral (el tercihi gösteren) hareket eden aktif madde sistemleri geliştirdi. Bu robotlar, özel tasarlanmış gövdeler ve esnek bağlantılar sayesinde hem düzenli hareket edebiliyor hem de belirli yönlerde dönebiliyor. Araştırma, denge dışı kollektif davranışların ortaya çıkışını anlamak ve otonom malzemeler geliştirmek için önemli bir platform sunuyor. Dairesel geometrilerde kenar akımlarının stabilitesi, parçacığın doğal kiralitesi ile kenar akımının yön tercihi arasındaki etkileşimle belirleniyor. Ayrıca nautilus şeklindeki engeller kullanılarak taşınım geometrik olarak yönlendirilebiliyor.

arXiv — Yoğun Madde Fiziği 0
Matematik
20 Apr

Matematik Grubu Temsilleri İçin Yeni Anosov Yaklaşımı Geliştirildi

Amerikalı matematikçiler, göreli hiperbolik grupların Anosov temsillerini anlamak için yeni bir teoretik çerçeve geliştirdi. Araştırma, diverjent ve genişletilmiş geometrik sonlu temsillerin, belirli akış uzayları üzerinde kısıtlı Anosov temsilleri olarak yorumlanabileceğini kanıtlıyor. Bu çalışma, soyut matematikte grup teorisi ve geometrinin kesiştiği alanda önemli bir ilerleme sağlıyor. Bulgular, matematiksel temsillerin stabilitesi ve deformasyonları konusunda yeni perspektifler sunuyor.

arXiv (Matematik) 0
Matematik
20 Apr

Sicim Teorisinde BPS Durumlarının Yeni Matematiksel Analizi

Araştırmacılar, sicim teorisinin temel bileşenlerinden BPS durumlarını anlamak için yeni bir matematiksel yaklaşım geliştirdi. Çalışma, karmaşık geometrik yapılarda bu durumların nasıl organize olduğunu ve birbirleriyle nasıl etkileştiklerini inceliyor. BPS durumları, sicim teorisinde özel stabilite özelliklerine sahip nesneler olarak karşımıza çıkıyor ve bunların davranışlarını anlamak, teorik fiziğin temel sorularına ışık tutuyor. Araştırma ekibi, 'saçılım diyagramları' adı verilen matematiksel araçları kullanarak, bu durumların hiyerarşik yapılarını ve kararlı bileşenlerine nasıl ayrıştıklarını analiz etti. Çalışma özellikle P1×P1 uzayı üzerindeki yerel geometrik yapıları inceleyerek, sicim teorisinin matematiksel temellerini güçlendiren önemli sonuçlara ulaştı.

arXiv (Matematik) 0