FAUST (programlama dili) - FAUST (programming language)
 | Bu makale genel bir liste içerir Referanslar, ancak büyük ölçüde doğrulanmamış kalır çünkü yeterli karşılık gelmiyor satır içi alıntılar. (Mart 2015) (Bu şablon mesajını nasıl ve ne zaman kaldıracağınızı öğrenin) |
| Orijinal yazar (lar) | Yann Orlarey, Dominique Fober, Stéphane Letz |
|---|---|
| Geliştirici (ler) | GRAME, Centre National de Création Musicale |
| İlk sürüm | 2002 |
| Kararlı sürüm | 2.20.2[1] / 14 Ocak 2020 |
| Yazılmış | C ++ |
| İşletim sistemi | Linux, OS X, pencereler, Unix |
| Tür | Ses sinyali işleme için fonksiyonel programlama dili |
| Lisans | GPL |
| İnternet sitesi | Faust |
FAUST (Fonksiyonel AUdio STream) bir alana özgü tamamen işlevsel Programlama dili uygulamak için sinyal işleme algoritmalar şeklinde kütüphaneler, ses eklentileri veya bağımsız uygulamalar. Bir FAUST programı, bir sinyal işlemcisini ifade eder: bazı giriş sinyallerine uygulanan ve daha sonra beslenen matematiksel bir fonksiyon.
Genel Bakış
FAUST programlama modeli birleştirir fonksiyonel programlama ile yaklaşım blok diyagramı sözdizimi:
- İşlevsel programlama yaklaşımı, aşağıdakiler için doğal bir çerçeve sağlar: sinyal işleme. Dijital sinyaller şu şekilde modellenir: ayrık fonksiyonlar zamanın, sinyal işlemcileri ikinci dereceden fonksiyonlar bunlar üzerinde çalışan ve FAUST’ın blok şeması kompozisyon operatörleri, sinyal işlemcileri üçüncü dereceden işlevler olarak birleştirmek için kullanılır.
- Blok diyagramlar, FAUST'ta olduğu gibi tamamen metinsel olsa bile, ses mühendislerinin ve ses geliştiricilerinin alışkanlıklarına uyan sinyal işlemeye modüler bir yaklaşımı teşvik eder.
FAUST programı bir sesi veya bir grup sesi tanımlamaz, ancak bir sinyal işlemcisi. Program kaynağı, bir dizi tanımlar en azından anahtar kelimenin tanımı ile süreç (eşdeğeri ana C):
süreç = ...;FAUST derleyici FAUST kodunu bir C ++ nesne, daha sonra tam bir program oluşturmak için diğer C ++ koduyla arayüz oluşturabilir.
Üretilen kod, örnek düzeyinde çalışır. Bu nedenle, düşük seviyeli uygulamaya uygundur DSP gibi işlevler yinelemeli filtreler. Kod ayrıca gömülü. Bağımsızdır ve herhangi bir DSP kitaplığına veya çalışma zamanı sistemi. Çok deterministik bir davranışa ve sabit bir hafıza boyutuna sahiptir.
FAUST'ın semantiği, basit ve iyi tanımlanmış olmaya yönlendirilir. FAUST derleyicisinin anlamsal güdümlü. Bir programı tam anlamıyla derlemek yerine, ifade ettiği matematiksel işlevi derler. Bu, bileşenin yeniden kullanımını teşvik edebilir. Dahası, bir FAUST programının tam anlamına erişim, koruma sorunlarını basitleştirebilir.
FAUST bir metin dilidir ancak blok diyagram yönelimli. İki yaklaşımı birleştirir: fonksiyonel programlama ve cebirsel blok diyagramları üzerinden inşa edilen işlev bileşimi. FAUST bunun için bir blok diyagramı cebiri Beş kompozisyon işlemi.
Örnek kod
FAUST programları bir süreç gelen veriler üzerinde çalışan işlev. Bu, ana çoğu programlama dilinde çalışır. Aşağıda sessizlik oluşturan bir örnek verilmiştir:
süreç = 0;İkinci örnek, giriş sinyalini çıkışa kopyalar. İçerir _ gösteren ilkel kimlik işlevi sinyaller için:
süreç = _;Başka bir örnek, stereo sinyalini mono sinyale toplar. + ilkel:
süreç = +;
FAUST ilkellerinin çoğu, sayılardaki C karşılığına benzer, ancak sinyallere yükseltilmiştir. Örneğin, FAUST ilkel günah uygulayarak bir X sinyali üzerinde çalışır C işlevi günah her numuneye X [t]. Tüm C sayısal işlevlerinin karşılığı FAUST'ta bulunur. sinyal işleme ilkeller FAUST'a özgüdür. Örneğin, gecikme operatörü @ iki giriş sinyali alır: X (geciktirilecek sinyal) ve D (uygulanacak gecikme) ve Y (t) = X (t - D (t)) olacak şekilde bir Y çıkış sinyali üretir.
Blok diyagram oluşturma
Aksine Max benzeri görsel programlama dilleri kullanıcının manuel bağlantıları yaptığı yerlerde, FAUST ilkelleri blok diyagramları bir dizi üst düzey blok diyagram kullanarak kompozisyon operasyonlar.
| f ~ g | Yinelemeli kompozisyon (öncelik 4) |
| f, g | Paralel kompozisyon (öncelik 3) |
| f: g | Sıralı kompozisyon (öncelik 2) |
| f <: g | Bölünmüş kompozisyon (öncelik 1) |
| f:> g | Kompozisyonu birleştir (öncelik 1) |
Sıralı kompozisyon operatörünü kullanma : çıktısı + girişine yönlendirilebilir abs hesaplamak için mutlak değer sinyalin:
süreç = + : abs;İşte paralel bileşimin bir örneği , sol ve sağ ifadelerini paralel olarak düzenleyen operatör. Bu bir stereo kabloya benzer.
süreç = _,_;Bu operatörler isteğe bağlı olarak birleştirilebilir. Aşağıdaki kod, bir giriş sinyalini 0,5 ile çarpar:
süreç = _,0.5 : *;Yukarıdakiler şurada yeniden yazılabilir: körili form:
süreç = *(0.5);Yinelemeli kompozisyon operatörü ~ döngüleri olan blok diyagramları oluşturmak için kullanılabilir (örtük bir örnek gecikmesi içeren). Aşağıda, bir X giriş sinyali alan ve Y (t) = X (t) + Y (t − 1) olacak şekilde bir Y çıkış sinyali hesaplayan bir entegratör örneği verilmiştir:
süreç = + ~ _;Tam uygulamalar oluşturma
Belirli kullanarak mimari dosyalar, bir FAUST programı çeşitli platformlar ve eklenti biçimleri için kod üretmek için kullanılabilir. Bu mimari dosyaları, sarmalayıcı görevi görür ve ana bilgisayar ses ve GUI sistemi ile etkileşimleri açıklar. 2015 itibariyle[Güncelleme]10'dan fazla mimari desteklenir ve yenileri herkes tarafından uygulanabilir.
| alsa-gtk.cpp | ALSA uygulaması + GTK |
| alsa-qt.cpp | ALSA uygulaması + QT4 |
| android.cpp | Android uygulamaları |
| au.cpp | Audio Unit eklentisi |
| ca-qt.cpp | CoreAudio uygulaması + QT4 |
| ios-coreaudio.cpp | iPhone ve iPad uygulamaları |
| jack-gtk.cpp | JACK uygulaması + GTK |
| jack-qt.cpp | JACK uygulaması + QT4 |
| ladspa.cpp | LADSPA eklentisi |
| max-msp.cpp | Max MSP eklentisi |
| pd.cpp | Puredata eklentisi |
| q.cpp | Q dil eklentisi |
| supercollider.cpp | Supercollider eklentisi |
| vst.cpp | VST eklentisi |
| vsti-mono.cpp | Monophonic VST Instrument eklentisi |
| vsti-poly.cpp | Polifonik VST Enstrüman eklentisi |
Blok diyagramların oluşturulması
Kullanışlı bir seçenek, programın blok diyagram gösterimini bir veya daha fazla SVG grafik dosyası olarak oluşturmayı mümkün kılar.
Blok diyagramı ile oluşturulan C ++ kodu arasındaki farkı not etmek faydalıdır. Belirtildiği gibi, buradaki ana fikir, blok diyagramı tam anlamıyla derlemek değil, ifade ettiği matematiksel işlevi kullanmaktır. Modern C / C ++ derleyicileri de programları tam anlamıyla derlemez. Ancak C / C ++ 'nın karmaşık semantiği nedeniyle (yan etkiler, işaretçi takma adı vb. Nedeniyle) bu yönde çok ileri gidemezler. Bu, tamamen işlevsel bir dilin belirgin bir avantajıdır: derleyicilerin çok gelişmiş optimizasyonlar yapmasına izin verir.
Oklara benzer anlambilim
Faust semantiği neredeyse aynıdır. Haskell's Oklar Ancak, Arrow türü sınıfı sinyal işlemcilere bağlı değildir.
f ~ g | döngü (((a,b) -> (b,a)) ^>> f >>> İD &&& (gecikme>>>g)) nerede gecikme bir yöntem değildir Ok tür sınıfı, ancak sinyal işleme oklarına özgüdür |
f, g | s * ktir |
f: g | f >>> g |
f <: g | f >> ^ h >>> g uygun işleve sahip h (veya &&& özel durumlarda) |
f:> g | f >> ^ h >>> g uygun işleve sahip h |
Ok birleştiricileri, FAUST emsallerinden daha kısıtlayıcıdır, örneğin, paralel bileşimin yuvalanması korunur ve işlenenlerin girdileri &&& tam olarak eşleşmelidir.
Referanslar
- Michon, Romain; Smith, Julius O. III (2011). "Faust-STK: Faust Programlama Dili için Doğrusal ve Doğrusal Olmayan Fiziksel Modeller Grubu" (PDF). 11th Int. Dijital Ses Efektleri Konferansı (DAFx-11): 199–204.
- Fober, Dominique; Orlarey, Yann; Letz, Stéphane (2011). "Faust Mimarileri Tasarımı ve OSC Desteği" (PDF). 11th Int. Dijital Ses Efektleri Konferansı (DAFx-11): 213–216.
- Smith, Julius O. III; Michon Romain (2011). "Faust'ta Doğrusal Olmayan Allpass Merdiven Filtreleri" (PDF). 11th Int. Dijital Ses Efektleri Konferansı (DAFx-11): 361–364.
- Jouvelot, Pierre; Orlarey, Yann (2011). "Çok Hızlı Faust'ta Veri Yapılandırması için Bağımlı Vektör Tipleri" (PDF). Bilgisayar Dilleri, Sistemleri ve Yapıları.[kalıcı ölü bağlantı ]
- Smith III, Julius O. (2011). "Faust'ta Ses Sinyali İşleme" (PDF).
- Orlarey, Yann; Letz, Stéphane; Fober, Dominique (2010). "Faust ile Ses Uygulamalarının Otomatik Paralelleştirilmesi" (PDF). Congrès Français d'Acoustique Tutanakları.[kalıcı ölü bağlantı ]
- Letz, Stéphane; Orlarey, Yann; Fober, Dominique (2010). "Faust'ta Otomatik Paralelleştirme için İş Çalma Planlayıcısı" (PDF). Linux Ses Konferansı Bildirileri (LAC-2010).
- Gräf Albert (2010). "Faust programlama dili için terim yeniden yazma uzantısı" (PDF). 8. Uluslararası Linux Ses Konferansı Bildirileri (LAC-2010): 117.
- Barthélemy, Jérôme; Bonardi, Alain; Orlarey, Yann; Lemouton, Serge; Ciavarella, Raffaele; Barkati, Karim (2010). "Bilgisayar Müziğinde Sanal Enstrüman Organolojisine Doğru İlk Adımlar" (PDF). 2010 Uluslararası Bilgisayar Müziği Konferansı Bildirileri (ICMA-2010): 369–372.[kalıcı ölü bağlantı ]
- Jouvelot, Pierre; Orlarey, Yann (2010). "Çok Oranlı Faust için Değişken Vektör Tipleri" (PDF). 7. Ses ve Müzik Hesaplama Konferansı Bildirileri (SMC-2010): 345–352. Arşivlenen orijinal (PDF) 2012-04-07 tarihinde. Alındı 2011-10-11.
- Orlarey, Yann; Letz, Stéphane; Fober, Dominique (2009). "Faust'a Otomatik Paralelleştirme Ekleme" (PDF). Linux Ses Konferansı Bildirileri (LAC-2009).[kalıcı ölü bağlantı ]
- Jouvelot, Pierre; Orlarey, Yann (2009). "Çok Hızlı Faust için Anlambilim". Centre de Recherche en Informatique de MINES ParisTech'in Teknik Raporları (PDF).[kalıcı ölü bağlantı ]
- Orlarey, Yann; Fober, Dominique; Letz, Stéphane (2009). "Ses Uygulamalarının Faust ile Paralelleştirilmesi" (PDF). Alıntı dergisi gerektirir
| günlük =(Yardım) - Orlarey, Yann; Fober, Dominique; Letz, Stéphane (2009). "Faust: DSP Programlamasına Etkin Bir Fonksiyonel Yaklaşım". Bilgisayar Müziği için Yeni Computanionals Paradigmaları (PDF). Edition Delatour. ISBN 978-2-7521-0054-2.[kalıcı ölü bağlantı ]
- Orlarey, Yann; Letz, Stéphane; Fober, Dominique (2008). "Jack ve Faust'ta Çok Çekirdekli Teknolojiler" (PDF). 2010 Uluslararası Bilgisayar Müziği Konferansı Bildirileri (ICMC-2008).[kalıcı ölü bağlantı ]
- Gräf Albert (2007). "Saf Verileri Faust ile Arayüzleştirme" (PDF). 5. Uluslararası Linux Ses Konferansı Bildirileri (LAC2007): 24.
- Smith III, Julius O. (2007). "Ek K. Faust ve PD'de Dijital Filtreleme". Dijital Filtrelere Giriş: Ses Uygulamalarıyla. W3K Yayıncılık. s. 417- ?. ISBN 978-0-9745607-1-7.
- Gräf, Albert; Kersten, Stefan; Orlarey, Yann (2006). "Faust, Q ve SuperCollider ile DSP Programlama" (PDF). 4. Uluslararası Linux Ses Konferansı Bildirileri (LAC2006).
- Trausmuth, Robert; Dusek, Christian; Orlarey, Yann (2006). "Faust'u FPGA Programlaması için Kullanma" (PDF). 9th Int. Dijital Ses Efektleri Konferansı (DAFx-09).
- Orlarey, Yann; Fober, Dominique; Letz, Stephone (2005). "Faust Sinyal İşleme Dilinin Gösterimi". Uluslararası Bilgisayar Müziği Konferansı Bildirileri. 2005. Bilgisayar Müzik Derneği. s. 286.
- Orlarey, Yann; Fober, Dominique; Letz, Stéphane (2004). "Faust'un Sözdizimsel ve Semantik Yönleri". Yumuşak Hesaplama (PDF).[kalıcı ölü bağlantı ]
- Scaringella, Nicolas; Orlarey, Yann; Fober, Dominique (2003). "Faust'ta Otomatik Vektorizasyon" (PDF). Journée de l'Informatique Musicale (JIM-2003).[kalıcı ölü bağlantı ]
- Orlarey, Yann; Fober, Dominique; Letz, Stéphane (2002). "Diyagram Yapımlarını Engellemeye Cebirsel Bir Yaklaşım" (PDF). Journée de l'Informatique Musicale (JIM-2002).[kalıcı ölü bağlantı ]
- Orlarey, Yann; Fober, Dominique; Letz, Stéphane (2002). "Blok Diyagram Dilleri İçin Bir Cebir" (PDF). Uluslararası Bilgisayar Müziği Konferansı Bildirileri (ICMA-2002).[kalıcı ölü bağlantı ]
Dış bağlantılar
- Resmi internet sitesi, çevrimiçi derleyici, destek, belgeler, haberler vb.