BioBIKE - BioBIKE

BioBIKE
İlk sürüm2002 (2002)
YazılmışLisp
İşletim sistemiUnix benzeri
Uyguningilizce
TürBilimsel iş akışı, Sembolik Hesaplama, Biyoinformatik, Yapay zeka
LisansMIT Açık Kaynak
İnternet sitesiGitHub Repo

BioBike[1][2](nee. BioLingua [3]) bir bulut tabanlı, web üzerinden programlanabilir (Paas ) sembolik biyo hesaplama ve biyoinformatik yapmayı amaçlayan platform hesaplamalı biyoloji ve özellikle akıllı biyolojik hesaplama (yani, Yapay zeka -e hesaplamalı biyoloji ) uzman programcı olmayan araştırmacı bilim adamları için erişilebilir.[4]

Benzersiz yetenekler

BioBIKE, en başından tamamen (şimdi adı verilen) olarak oluşturulmuş, entegre bir sembolik biyo-hesaplama ve biyoinformatik platformudur. bulut tabanlı mimari burada tüm bilgi işlem uzak sunucularda yapılır ve tüm kullanıcı erişimi web tarayıcıları aracılığıyla sağlanır.

BioBIKE yerleşik bir çerçeve sistemi tüm nesnelerin, verilerin ve bilginin temsil edildiği. Bu, yerel olarak yazılan kodu etkinleştirir Lisp, görsel programlama dilinde veya kural sistemlerinde ifade edilen SNARK teorem, biyolojik bilginin tamamına entegre bir şekilde erişmek için kanıtlayıcıdır.

Zamanında (2002'de piyasaya sürüldü), kullanıcıların tamamen web tarayıcısı kullanıcı arabirimi aracılığıyla arka uç sunucularda çalışan tamamen işlevsel biyo hesaplama programları oluşturmalarına izin vermesi açısından benzersizdi. (Modern anlamda ilklerden biriydi PaaS (Hizmet Olarak Platform) sistemler, hatta daha önce Satış ekibi Başlangıçta bu programlama ham Lisp'de yürütüldü, ancak Jeff Elhai'nin NSF finansmanı ile VCU'daki ekibi, Boxer tarzı programlama ortamlarına dayanan BioBIKE üzerine tamamen grafiksel bir programlama ortamı yarattı.[1]

BioBIKE Görsel Programlama Dili Stili Bileşimi İşlev tanımının yanı sıra karmaşık akış kontrolünü gösteren Etkileşim.

Çok başlı, çok iş parçacıklı, çok kullanıcılı, çok kiracılı bulut tabanlı bir sistem olan BioBIKE kullanıcıları, aynı dinleyici ve bellek alanını uzaktan paylaşarak web tarayıcıları aracılığıyla doğrudan birlikte çalışabildiler. Bu, Shrager'da (2007) tartışılan benzersiz bir tür işbirliğine izin verdi.[5]

BioBIKE'in "BioDeducta" adlı özel bir dalı, SRI'leri içerir SNARK teorem kanıtlayıcı, benzersiz "tümdengelimli biyo hesaplama" yetenekleri sunar.[2]

Uygulama

BioBIKE açık kaynaklı yazılım kullanılarak uygulandı Lisp programlama dili. Sürekli geliştirme BioBIKE ekibi tarafından gerçekleştirilir[6] merkezli Virginia Commonwealth Üniversitesi .

Tarih

BioBIKE başlangıçta "BioLingua" olarak adlandırıldı ve Jeff Shrager -de The Carnegie Inst. Washington Bitki Biyolojisi Bölümü ve JP Massar'ın finansmanı NASA'nın Astrobiyoloji Bölümü. Shrager ve Massar, web tabanlı, çok kullanıcılı bir Lisp Makinesi için uzmanlaşmış biyoinformatik. Projeye ilk katkıda bulunan diğer kişiler arasında Mike Travers ve Jeff Elhai vardı. VCU. Elhai, Ulusal Bilim Vakfı BioBIKE olarak yeniden adlandırılan proje için. Elhai ve meslektaşları BioBIKE'in benzersiz görsel programlama dili. Bu arada Shrager, SRI'leri oluşturmak için Richard Waldinger ile SRI'da işbirliği yaptı (SNARK ) teorem, BioBIKE'i kanıtlayarak BioDeducta adı verilen tümdengelimli bir biyo hesaplama sistemi yaratır.[2]

Bilgi tabanı çerçevelerini, grafiksel G / Ç ve web üzerinden Lisp programlanabilirliğini tasvir eden Erken BioBIKE Lisp-Dinleyici Tarzı Etkileşiminin bileşimi.

Örnekler

Viral patojenler, siyanobakteriler ve diğer bakteriler, Arabidopsis thaliana ve referanslarda açıklanan diğerleri dahil olmak üzere farklı biyolojik alanlarda bir dizi BioBIKE dikeyleri vardı.

Ayrıca bakınız

Dış bağlantılar

Referanslar

  1. ^ a b Elhai, J .; Taton, A .; Massar, J .; Myers, J. K .; Travers, M .; Casey, J .; Slupesky, M .; Shrager, J. (2009). "BioBIKE: Web tabanlı, programlanabilir, entegre bir biyolojik bilgi tabanı". Nükleik Asit Araştırması. 37 (Web Sunucusu sorunu): W28 – W32. doi:10.1093 / nar / gkp354. PMC  2703918. PMID  19433511.
  2. ^ a b c Shrager, J .; Waldinger, R .; Stickel, M .; Massar, J.P. (2007). Futrelle, Robert (ed.). "Tümdengelimli Biyo hesaplama". PLOS ONE. 2 (4): e339. Bibcode:2007PLoSO ... 2..339S. doi:10.1371 / journal.pone.0000339. PMC  1838522. PMID  17415407.
  3. ^ Massar, J. P .; Travers, M .; Elhai, J .; Shrager, J. (2004). "BioLingua: Biyologlar için programlanabilir bir bilgi ortamı". Biyoinformatik. 21 (2): 199–207. doi:10.1093 / biyoinformatik / bth465. PMID  15308539.
  4. ^ Jeff Elhai: İnsanlar, Bilgisayarlar ve Biyolojik İçgörülere Giden Yol: Sürpriz Kapasitemizi Yeniden Kazanmak. Hesaplamalı Biyoloji Dergisi 18 (7): 867–878 (2011)
  5. ^ J Shrager (2007) The Evolution of BioBike: Community Adaptation of a Biocomputing Platform. Bilim Tarihi ve Felsefesinde Çalışmalar, 38, 642–656.
  6. ^ "交通事故 に つ い て 弁 護士 に 相 談 で き る - 相 談 す る だ け で い い 場合 と 訴訟 を 視野 に 入 れ て 相 談 を し た 方 が い い 場合 に つ い て".