Самозалечивающееся программное обеспечение. Новость Бесплатной технической библиотеки

BİLİM VE TEKNOLOJİ HABERLERİ, ELEKTRONİKTE YENİLİK
Ücretsiz teknik kütüphane / haber akışı

Kendi kendini iyileştiren yazılım

08.07.2015

MIT Bilgi İşlem ve Yapay Zeka Laboratuvarı'ndaki araştırmacılar, açık kaynaklı uygulamalardaki hataları otomatik olarak düzelten Code Phage adlı bir sistem geliştirdiler. Code Phage, Association for Computing Machinery web sitesinde araştırmacılar tarafından yayınlanan bir yayına göre, sınır dışı parametrelerden, tamsayı taşmalarından ve sıfıra bölmeden kaynaklanan hataları düzeltebilir.

Sistemin çalışması için, parametrelerden birinin programın başarısız olmasına neden olması koşuluyla, hedef uygulamaya girilen iki giriş parametresinin olması gerekir. Code Phage, her iki girişi de çökmeden işleyebilecek bir donör uygulaması aramak için veritabanını kullanır. Böyle bir uygulamanın, başarısızlığı önleyen ve hedef uygulamada bulunmayan bir tür kontrol koşulu içerdiği varsayılır. Amaç, bu kontrolü donör uygulamadan düzeltilmesi gereken hedef uygulamaya taşımaktır.

Donör uygulamasında test koşulunu bulmak ve nasıl çalıştığını anlamak için Code Phage, donör uygulamasını önce "iyi" parametresiyle, ardından "başarısız" parametresiyle (yani orijinal programda çökmeye neden olan) çalıştırır. Her "çalıştır" ile sistem, bu zincirlerin bir dalını (test koşulunun bulunduğu yeri) bulana kadar programda meydana gelen bir mantıksal işlemler zinciri oluşturur.

Sistem, analiz sonuçlarını (sembolik ifadeler) kullanarak benzer bir denetimi yeniden oluşturur ve yazıldığı dilde orijinal uygulamaya entegre eder. Aynı zamanda Code Phage ikili donörlerle çalışır, yani onların mantığını analiz ettiği için donör uygulamalarının kaynak kodunu bilmesine gerek yoktur.

Deneylerinde araştırmacılar, her biri için 2-4 bağışçı kullanarak yedi popüler açık kaynaklı uygulamadaki hataları düzeltebildiler. Her bir hatayı düzeltmek 2 ila 10 dakika sürdü.

Araştırmacılara göre Code Phage'in avantajı, benzer şekilde çalıştıkları sürece sistemin farklı dillerde yazılmış programları donör olarak alabilmesidir. İnternette bağışçı olarak kullanılabilecek milyonlarca uygulama var.

<< Geri: iiyama ProLite XU2490HS-B1 ve XU2590HS-B1 monitörler 08.07.2015

>> İleri: Baykuşlar ve pervanelerin sessizliği 07.07.2015

En son bilim ve teknoloji haberleri, yeni elektronikler:

Kuantum dolaşıklığı için bir entropi kuralının varlığı kanıtlandı 09.05.2024

Kuantum mekaniği gizemli olguları ve beklenmedik keşifleriyle bizi şaşırtmaya devam ediyor. Yakın zamanda RIKEN Kuantum Hesaplama Merkezi'nden Bartosz Regula ve Amsterdam Üniversitesi'nden Ludovico Lamy, kuantum dolaşıklığı ve bunun entropi ile ilişkisini ilgilendiren yeni bir keşif sundular. Kuantum dolaşıklığı, modern kuantum bilgi bilimi ve teknolojisinde önemli bir rol oynamaktadır. Ancak yapısının karmaşıklığı onu anlamayı ve yönetmeyi zorlaştırır. Regulus ve Lamy'nin keşfi, kuantum dolaşıklığın klasik sistemlerdekine benzer bir entropi kuralına uyduğunu gösteriyor. Bu keşif, kuantum bilgi bilimi ve teknolojisinde yeni perspektifler açarak, kuantum dolaşıklığı ve bunun termodinamikle bağlantısı hakkındaki anlayışımızı derinleştiriyor. Çalışmanın sonuçları, çeşitli kuantum teknolojilerinde kullanımlarını büyük ölçüde basitleştirebilecek dolaşıklık dönüşümlerinin tersine çevrilebilirlik olasılığını göstermektedir. Yeni bir kural açma ... >>

Mini klima Sony Reon Pocket 5 09.05.2024

Yaz, dinlenme ve seyahat zamanıdır ancak çoğu zaman sıcaklar bu zamanı dayanılmaz bir eziyete dönüştürebilir. Sony'nin, kullanıcılarına yaz aylarını daha konforlu hale getirmeyi vaat eden yeni ürünü Reon Pocket 5 mini klimayla tanışın. Sony, sıcak günlerde vücut soğutması sağlayan benzersiz bir cihaz olan Reon Pocket 5 mini kremini tanıttı. Bu sayede kullanıcılar, boynuna takarak her zaman, her yerde serinliğin tadını çıkarabilirler. Bu mini klima, çalışma modlarının yanı sıra sıcaklık ve nem sensörlerinin otomatik olarak ayarlanmasıyla donatılmıştır. Yenilikçi teknolojiler sayesinde Reon Pocket 5, kullanıcının etkinliğine ve çevre koşullarına göre çalışmasını ayarlar. Kullanıcılar, Bluetooth aracılığıyla bağlanan özel bir mobil uygulamayı kullanarak sıcaklığı kolayca ayarlayabilir. Ayrıca rahatınız için mini klima takılabilen özel tasarım tişört ve şortlar da mevcuttur. Cihaz oh ... >>

Starship için uzaydan enerji 08.05.2024

Yeni teknolojilerin ortaya çıkması ve uzay programlarının gelişmesiyle uzayda güneş enerjisi üretmek daha uygulanabilir hale geliyor. Startup'ın başkanı Virtus Solis, SpaceX'in Starship'ini Dünya'ya güç sağlayabilecek yörüngesel enerji santralleri yaratmak için kullanma vizyonunu paylaştı. Startup Virtus Solis, SpaceX'in Starship'ini kullanarak yörüngesel enerji santralleri yaratmaya yönelik iddialı bir projeyi açıkladı. Bu fikir, güneş enerjisi üretimi alanını önemli ölçüde değiştirerek onu daha erişilebilir ve daha ucuz hale getirebilir. Startup'ın planının özü, Starship'i kullanarak uyduları uzaya fırlatmanın maliyetini azaltmak. Bu teknolojik atılımın uzayda güneş enerjisi üretimini geleneksel enerji kaynaklarıyla daha rekabetçi hale getirmesi bekleniyor. Virtual Solis, gerekli ekipmanı sağlamak için Starship'i kullanarak yörüngede büyük fotovoltaik paneller inşa etmeyi planlıyor. Ancak en önemli zorluklardan biri ... >>

Güçlü piller oluşturmanın yeni yöntemi 08.05.2024

Teknolojinin gelişmesi ve elektronik kullanımının yaygınlaşmasıyla birlikte verimli ve güvenli enerji kaynakları yaratma konusu giderek daha acil hale geliyor. Queensland Üniversitesi'ndeki araştırmacılar, enerji endüstrisinin manzarasını değiştirebilecek yüksek güçlü çinko bazlı piller oluşturmaya yönelik yeni bir yaklaşımı açıkladılar. Geleneksel su bazlı şarj edilebilir pillerle ilgili temel sorunlardan biri, modern cihazlarda kullanımlarını sınırlayan düşük voltajlarıydı. Ancak bilim adamlarının geliştirdiği yeni bir yöntem sayesinde bu dezavantaj başarıyla aşıldı. Araştırmalarının bir parçası olarak bilim adamları özel bir organik bileşiğe - katekole yöneldiler. Pil stabilitesini iyileştirebilecek ve verimliliğini artırabilecek önemli bir bileşen olduğu ortaya çıktı. Bu yaklaşım, çinko iyon pillerin voltajında önemli bir artışa yol açarak onları daha rekabetçi hale getirdi. Bilim adamlarına göre bu tür pillerin birçok avantajı var. Onların b'si var ... >>

Sıcak biranın alkol içeriği 07.05.2024

En yaygın alkollü içeceklerden biri olan biranın, tüketim sıcaklığına bağlı olarak değişebilen kendine özgü bir tadı vardır. Uluslararası bir bilim insanı ekibi tarafından yapılan yeni bir araştırma, bira sıcaklığının alkol tadı algısı üzerinde önemli bir etkiye sahip olduğunu ortaya çıkardı. Malzeme bilimcisi Lei Jiang liderliğindeki çalışma, farklı sıcaklıklarda etanol ve su moleküllerinin farklı türde kümeler oluşturduğunu ve bunun da alkol tadı algısını etkilediğini buldu. Düşük sıcaklıklarda, "etanol" tadının keskinliğini azaltan ve içeceğin tadının daha az alkollü olmasını sağlayan daha fazla piramit benzeri kümeler oluşur. Aksine, sıcaklık arttıkça kümeler daha zincir benzeri hale gelir ve bu da daha belirgin bir alkol tadıyla sonuçlanır. Bu, baijiu gibi bazı alkollü içeceklerin tadının neden sıcaklığa bağlı olarak değişebileceğini açıklıyor. Elde edilen veriler içecek üreticileri için yeni fırsatlar sunuyor. ... >>

Arşivden rastgele haberler

AGLAYA ve Ishtar 15.09.2009

"AGLAE", "Grand Louvre Accelerator for Elemental Analysis"in Fransızca kısaltmasıdır. Parçacık hızlandırıcı, ünlü müzenin bodrum katında bulunur ve sanat eserlerinin tahribatsız analizine hizmet eder.

Son zamanlarda, 1863'te Mezopotamya'daki kazılar sırasında bulunan tanrıça İştar'ın bir heykelciği, bir hızlandırıcıdan gelen yüklü parçacık demetinin altına yerleştirildi. Yakutlar, tanrıçanın gözlerine ve göbeğine yerleştirilir. Yakutta yüklü parçacıkların etkisiyle uyarılan X-ışını radyasyonu, mücevherlerdeki safsızlıkların bileşimini belirlemeyi mümkün kıldı. Burma (Myanmar) yataklarından gelen yakutların özelliği olduğu ortaya çıktı.

Böylece yaklaşık 2000 yıl önce (bu heykelcik çağı) Mezopotamya kuyumcularının Güneydoğu Asya'dan yakut alabildiği kanıtlanmıştır.

tam görmek Bilim ve teknoloji haberlerinin arşivi, yeni elektronik

Bu sayfanın tüm dilleri

Ana sayfa | Kütüphane | Makaleler | Site haritası | Site incelemeleri