Rüdiger Valk - Rüdiger Valk

Rüdiger Valk (5 Ağustos 1945 doğumlu) bir Almanca matematikçi. 1976'dan 2010'a kadar Teorik Bilgisayar Bilimi (Bilişim) Profesörü idi. Institut für Informatik (sonra Fachbereich Informatik) of the Hamburg Üniversitesi, Almanya.[1]

Valk, matematik okudu. Bonn Üniversitesi (Almanya). Tarafından denetlenir Wilfried Brauer, bir süre çalışmaya devam etti Lisansüstü derecesi 1974'te Matematik alanında doktorasını aldı. 1976'da Teorik Bilgisayar Bilimleri (Bilişim) Profesörü oldu. 1985'ten 2010'a kadar Hamburg Üniversitesi'nde bilgisayar biliminin teorik temelleri üzerine araştırma grubunun (Theoretische Grundlagen der Informatik, TGI) başkanıydı.[1]

Araştırma kariyeri

Erken araştırması, topolojik otomata ve sistemler üzerine yapılan çalışmalarla karakterize edilir.[2][3][4] karar problemleri[5][6][7] ve yapısal özellikleri Petri ağları.[8][9][10]

Konferans ve dergi makaleleri yayınladı[11][12] ders kitaplarının yanı sıra.[13][14]

Daha sonraki kariyeri, beyin çocuğu Object Petri Nets ve Ağlar İçinde Ağlar paradigma; yani, Petri ağlarını Petri ağlarında jeton olarak kullanma fikri.[15][16][17][18][19]

Araştırma kariyerinin önemli bir döneminde, Rüdiger Valk ile yakın işbirliği içinde çalıştı. Carl Adam Petri, Hamburg Üniversitesi'nde fahri profesörlük yapan Petri ağlarının mucidi.

Ayrıca Valk, bilgisayarların toplumu nasıl etkilediği tartışmasına katkıda bulundu.[20] Bilişim nasıl bilimsel bir disiplin olarak görülmelidir[21] ve sosyoloji ve bilişimin kesişimi olarak sosyoloji modelleri ve türetilmiş sosyoloji disiplini üzerine disiplinlerarası araştırma yaptı.[22][23][24]

Referanslar

  1. ^ a b http://www.informatik.uni-hamburg.de/TGI/mitarbeiter/profs/valk_eng.html (30 Temmuz 2013'te erişildi)
  2. ^ Genel Zaman Sistemlerinin Kesikli ve Sürekli Gerçekleşmeleri. İçinde: Sibernetik Dergisi. 4 (1974) 4, s. 43–52.
  3. ^ Düzgün Otomatın Bazı Temel Özellikleri Üzerine. İçinde: Revue Française d 'Automatique Informatique Recherche Opérationnelle. 9 (1975), R-2, s. 39–54.
  4. ^ Realisierungen allgemeiner Systeme. Bericht Nr. 107, Gesellschaft für Mathematik ve Datenverarbeitung Bonn, 1976.
  5. ^ Kendi Kendini Değiştiren Ağlar, Petri Ağlarının Doğal Bir Uzantısı. Otomata Dilleri ve Programlama. Kolokyum, Udine In: Bilgisayar Bilimlerinde Ders Notları. 62, Berlin, s. 464–476.
  6. ^ Petri Ağları ve Normal Diller. İçinde: Bilgisayar ve Sistem Bilimleri Dergisi. 23, (1981) 3, s. 299–325. (Guy Vidal-Naquet ile)
  7. ^ Petri Ağlarında Karar Verilebilirlik Problemlerine Uygulamalı Vektör Kümelerinin Kalıntıları. İçinde: Acta Informatika. 21 (1985), s. 643–674. (mit M. Jantzen)
  8. ^ Petri Ağlarının Mastar Davranışı. İçinde: Teorik Bilgisayar Bilimleri. 25 (1983), s. 311–341.
  9. ^ Bankacı Benzeri Kaynak Tahsisi Sorunlarında Güvenli Durumlar. İçinde: Bilgi ve Hesaplama. 75 (1987), s. 232–263. (D. Hauschildt ile)
  10. ^ Floyd- ve S-Değişkenleri Arasındaki Uçurumun Kapatılması. İçinde: Ajmone Marson M. (Ed.): Petri Ağlarının Uygulama ve Teorisi. Chicago, ABD, Bilgisayar Bilimleri Ders Notları No. 691, Springer, Berlin Juni 1993, s. 433–453.
  11. ^ Task / Flow EN Systems ile Eş Zamanlılık Modelleme. Bildiriler Eşzamanlılık ve Bileşimlilik Üzerine 3. Çalıştay. GMD-Studien Nr. 191, Gesellschaft f. Mathematik ve Datenverarbeitung, St.Augustin, Bonn, 1991.
  12. ^ Sıralı olmayan kaynak ayırma sistemleri sınıfı için polinom kilitlenme önleme yöntemi. Sistemlerde IEEE İşlemleri. İçinde: İnsan ve Sibernetik - Bölüm A: Sistemler ve İnsanlar. 36 (6), 2006. (Joaquín Ezpeleta ile)
  13. ^ Rechensysteme. Springer Verlag. Lehrbuch. Berlin 1987, ISBN  3-540-16383-2. (E.Jessen ile)
  14. ^ Sistem Mühendisliği için Petri Ağları - Modelleme, Doğrulama ve Uygulamalar Kılavuzu. Springer, Berlin, 2003 (Ed., C. Girault ile), ISBN  3-540-41217-4.
  15. ^ Token Nesneler Olarak Petri Ağları - Temel Nesne Ağlarına Giriş. İçinde: J. Desel, M. Silva (Ed.): Proc. Petri Ağlarının Uygulama ve Teorisi. Lizbon, Portekiz İçinde: Bilgisayar Bilimlerinde Ders Notları. Nr. 1420, Springer, Berlin 1998, s. 1–25.
  16. ^ Nesne Petri Ağları için Referans ve Değer Semantiği. H. Weber, H. Ehrig, W. Reisig (Ed.): Haberleşme Tabanlı Sistemlerin Modellenmesi için Petri Net Teknolojileri Kolokyumu. Fraunhofer Yazılım ve Sistem Mühendisliği Enstitüsü ISST, Berlin 1999.
  17. ^ Mobil ve Dağıtılmış Nesneye karşı Merkezi Referans. İçinde: J. Grabowski, St.Heymer (Ed.): Formale Beschreibungstechniken için verteilte Systeme. FBT’2000, 10. GI / ITG-Fachgespräch, Lübeck, Haziran 2000, s. 7–27.
  18. ^ Nesne Petri Ağlarının İletişiminde Eşzamanlılık. İçinde: G.Agha, F. De Cindio, G. Rozenberg (Hrsg.): Eşzamanlı Nesne Tabanlı Programlama ve Petri Ağları. İçinde: Bilgisayar Bilimlerinde Ders Notları. Springer, Berlin 2001, s. 158–189.
  19. ^ Ağlar içinde Ağlar Paradigmasını Kullanma, Petri Ağları İleri Kursu Bildirileri 2003. Eichstätt, Almanya. Bilgisayar Bilimi Ders Notları, Springer-Verlag, 2004.
  20. ^ Der Computer ayrıca Herausforderung ve die menschliche Rationalität. İçinde: Informatik-Spektrum. 10 (1987), s. 57–66.
  21. ^ Informatik zwischen Formal- und Humanwissenschaften Die. İçinde: Informatik Spektrum. 20/2, Springer-Verlag, Berlin Nisan 1997, s. 95–100.
  22. ^ Sozionik: Modellierung soziologischer Theorie. (Wirtschaft - Arbeit - Technik, Cilt 2). Lit-Verlag, Münster / Hamburg / Londra 2003, ISBN  3-8258-5980-0. (Rolf / Lüde, Daniel Moldt ile birlikte)
  23. ^ Yansımalı petri ağlarına ve sosyal öz-örgütlenme kuramlarına dayanan sosyolojik çok-etmenli sistemler. İçinde: Yapay Toplumlar ve Sosyal Simülasyon Dergisi. 10 (1), 2007. (Michael Köhler, Roman Langer, Rolf von Lüde, Daniel Moldt, Heiko Rölke ile) (çevrimiçi olarak: jasss.soc.surrey.ac.uk)
  24. ^ Selbstorganisation und Governance in künstlichen und sozialen Systemen. (Wirtschaft - Arbeit - Technik, Band 5). Lit-Verlag, Münster / Hamburg / Londra 2009, ISBN  978-3-643-10057-3. (Rolf / Lüde ile Daniel Moldt, Eds.)