Рюдигер Валк - Rüdiger Valk

Рюдигер Валк (1945 ж. 5 тамызда дүниеге келген) - а Неміс математик. 1976 жылдан 2010 жылға дейін теориялық информатика (информатика) профессоры болды Ақпараттық институт (кейінірек Fachbereich ақпарат) Гамбург университеті, Германия.[1]

Валк математиканы оқыды Бонн университеті (Германия). Жетекшісі Вилфрид Брауэр, ол оқуды жалғастырды аспирантура Боннда және 1974 жылы математика ғылымдарының докторы дәрежесін алды. 1976 жылы теориялық информатика (информатика) профессоры болды. 1985 жылдан 2010 жылға дейін Гамбург Университетінде информатиканың теориялық негіздерін (Theoretische Grundlagen der Informatik, TGI) зерттеу тобының жетекшісі болды.[1]

Ғылыми мансабы

Оның алғашқы зерттеулері топологиялық автоматтар мен жүйелердегі жұмыстарымен сипатталады,[2][3][4] шешім қабылдау проблемалары[5][6][7] және құрылымдық қасиеттері Петри торлары.[8][9][10]

Ол конференция және журнал мақалаларын жариялады[11][12] сонымен қатар оқулықтар.[13][14]

Кейінгі мансабы оның ойлап тапқан объектісі Петри Нетске арналған Тор ішіндегі торлар парадигма; яғни, Петри торларын Петри торларында жетон ретінде пайдалану идеясы.[15][16][17][18][19]

Рудигер Валк өзінің ғылыми мансабының айтарлықтай кезеңінде тығыз ынтымақтастықта жұмыс істеді Карл Адам Петри, Гамбург университетінде құрметті профессор атағын алған Petri торларын ойлап тапқан адам.

Сонымен қатар, Валк компьютерлердің қоғамға қалай әсер ететіндігі туралы пікірталасқа өз үлесін қосты,[20] информатиканы ғылыми пән ретінде қалай қарау керек[21] социология мен информатиканың тоғысқан жері ретінде социологияның туынды пәні мен социология модельдері бойынша пәнаралық зерттеулер жүргізді.[22][23][24]

Әдебиеттер тізімі

  1. ^ а б http://www.informatik.uni-hamburg.de/TGI/mitarbeiter/profs/valk_kg.html (қол жеткізілген 30 шілде 2013)
  2. ^ Жалпы уақыт жүйелерінің дискретті және үздіксіз іске асырылуы. In: Кибернетика журналы. 4 (1974) 4, 43-52 бб.
  3. ^ Біртекті автоматтардың кейбір қарапайым қасиеттері туралы. In: Revue Française d 'Automatique Informatique Recherche Opérationnelle. 9 (1975), R-2, 39-54 б.
  4. ^ Realisierungen allgemeiner Systeme. Берихт Nr. 107, Gesellschaft für Mathematik und Datenverarbeitung Бонн, 1976 ж.
  5. ^ Өздігінен өзгертілетін торлар, Петри торларының табиғи жалғасы. Автоматтық тілдер және бағдарламалау. Коллоквиум, Удин: Информатика пәнінен дәрістер. № 62, Берлин, 464–476 беттер.
  6. ^ Петри торлары және қарапайым тілдер. In: Компьютерлік және жүйелік ғылымдар журналы. 23, (1981) 3, 299–325 бб. (Гай Видал-Накетпен бірге)
  7. ^ Петри торларындағы векторлық жиынтықтардың қалдығы, шешімділік проблемаларына. In: Acta ақпарат. 21 (1985), 643–674 бб. (мит М. Янцен)
  8. ^ Петри Нетстің шексіз мінез-құлқы. In: Теориялық информатика. 25 (1983), 311-341 бб.
  9. ^ Банкирге ұқсас ресурстарды бөлу проблемаларында қауіпсіз мемлекеттер. In: Ақпарат және есептеу. 75 (1987), 232–263 бб. (Д. Хаушильдтпен бірге)
  10. ^ Флойд пен S-инварианттар арасындағы алшақтықты жою. In: Ajmone Marson M. (Ed.): Petri Nets қолдану және теориясы. Чикаго, АҚШ, Информатикадағы дәрістер № 691, Спрингер, Берлин Джуни 1993, 433–453 бб.
  11. ^ Task / Flow EN жүйелері бойынша сәйкестікті модельдеу. Параллелизм және композиция туралы 3-ші семинардың материалдары. GMD-Studien Nr. 191, Геселлшафт ф. Mathematik und Datenverarbeitung, Санкт-Августин, Бонн, 1991 ж.
  12. ^ Ресурстарды бөлудің жүйелік емес класы үшін полиномдық тығырықтан құтылу әдісі. IEEE жүйелеріндегі транзакциялар. In: Адам және кибернетика - А бөлімі: жүйелер және адамдар. 36 (6), 2006. (Хоакин Эзпелетамен бірге)
  13. ^ Rechensysteme. Springer Verlag. Лербух. Берлин 1987, ISBN  3-540-16383-2. (Э. Джессенмен бірге)
  14. ^ Жүйелік инженерияға арналған Petri Nets - модельдеу, тексеру және қолдану нұсқаулығы. Шпрингер, Берлин, 2003 (Ред. Дж. Джирол), ISBN  3-540-41217-4.
  15. ^ Петри торлары жетон объектілері ретінде - қарапайым объектілердің торларына кіріспе. Дж. Дезель, М. Сильва (Ред.): Proc. Petri Nets қолдану және теориясы. Лиссабон, Португалия: Информатика пәнінен дәрістер. Nr. 1420, Спрингер, Берлин 1998, 1–25 бет.
  16. ^ Петри торларына арналған сілтеме және құндылық семантикасы. Х.Вебер, Х.Эриг, В.Рейсиг (Ред.): Байланыс негізіндегі жүйелерді модельдеуге арналған Petri Net технологиялары бойынша коллоквиум. Бағдарламалық қамтамасыз ету және жүйелік инженерия бойынша Фраунгофер институты, Берлин 1999 ж.
  17. ^ Орталық сілтемелерге қарсы мобильді және үлестірілген объект. Дж. Грабовски, Сент-Хеймер (Ред.): Formale Beschreibungstechniken für verteilte Systeme. FBT’2000, 10. GI / ITG-Fachgespräch, Любек, маусым 2000, 7–27 б.
  18. ^ Петри торларымен байланыстағы параллельдік. Г. Ага, Ф. Де Синдио, Г. Розенберг (Хрс.): Бір уақытта нысанға бағытталған бағдарламалау және Petri Nets. In: Информатика пәнінен дәрістер. Шпрингер, Берлин 2001, 158–189 бб.
  19. ^ Nets-Nets парадигмасын қолдану, Petri Nets 2003 курсының тереңдетілген курсы. Эйхстатт, Германия. Информатикадағы дәріс жазбалары, Springer-Verlag, 2004.
  20. ^ Der Computer als Herausforderung a die menschliche Rationalität. In: Ақпараттық-спектрум. 10 (1987), 57-66 бет.
  21. ^ Die Informatik zwischen Formal- und Humanwissenschaften. In: Ақпараттық спектр. 20/2, Springer-Verlag, Берлин 1997 ж. Сәуір, 95–100 б.
  22. ^ Созионик: Modellierung soziologischer теориясы. (Wirtschaft - Arbeit - Technik, 2 том). Лит-Верлаг, Мюнстер / Гамбург / Лондон 2003, ISBN  3-8258-5980-0. (Рольф Людеге қарсы, Даниэль Молдтпен бірге)
  23. ^ Рефлексивті петри торлары мен әлеуметтік өзін-өзі ұйымдастыру теорияларына негізделген социондық көп агенттік жүйелер. In: Жасанды қоғамдар және әлеуметтік модельдеу журналы. 10 (1), 2007. (Майкл Кёлермен, Роман Лангермен, Рольф фон Людемен, Даниэль Молдтпен, Хайко Рөлкемен бірге) (онлайн: jasss.soc.surrey.ac.uk)
  24. ^ Системалық жүйелердегі басқару және басқару. (Wirtschaft - Arbeit - Technik, 5-топ). Лит-Верлаг, Мюнстер / Гамбург / Лондон 2009, ISBN  978-3-643-10057-3. (Рольфке қарсы Люде, Даниэль Молдт, Эдс.)