Рюдигер Вальк

Рюдигер Вальк (родился 5 августа 1945 г.) — немецкий математик . С 1976 по 2010 год он был профессором теоретической информатики (информатики) в Институте компьютерных наук (позже кафедра компьютерных наук ) Гамбургского университета , Германия. ^{[ 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 ]}

В течение значительного периода своей исследовательской карьеры Рюдигер Вальк работал в тесном сотрудничестве с Карлом Адамом Петри , изобретателем сетей Петри, занимавшим должность почетного профессора Гамбургского университета.

Более того, Валк внес свой вклад в дискуссию о том, как компьютеры влияют на общество. ^{[ 20 ]} как информатику следует рассматривать как научную дисциплину ^{[ 21 ]} и предпринял междисциплинарные исследования моделей социологии и производной дисциплины соционики как пересечения социологии и информатики. ^{[ 22 ]}^{[ 23 ]}^{[ 24 ]}

Ссылки

^ Jump up to: ^а ^б http://www.informatik.uni-hamburg.de/TGI/mitarbeiter/profs/valk_eng.html (по состоянию на 30 июля 2013 г.)
^ Дискретные и непрерывные реализации общих систем времени. В: Журнал кибернетики. 4 (1974) 4, стр. 43–52.
^ О некоторых элементарных свойствах однородных автоматов. В: Revue Française d’Automatique Informatique Operational Research. 9 (1975), Р-2, с. 39–54.
^ Реализации общих систем. Отчет № 107, Боннское общество математики и обработки данных, 1976 г.
^ Самомодифицирующиеся сети, естественное расширение сетей Петри. Языки автоматов и программирование. Коллоквиум, Удине В: Конспекты лекций по информатике . № 62, Берлин, стр. 464–476.
^ Сети Петри и регулярные языки. В: Журнал компьютерных и системных наук. 23, (1981) 3, стр. 299–325. (совместно с Ги Видалем-Наке)
^ Остаток векторных наборов с применением к проблемам разрешимости в сетях Петри. В: Акта информатика. 21 (1985), стр. 643–674. (с М. Янценом)
^ Инфинитивное поведение сетей Петри. В: Теоретическая информатика. 25 (1983), стр. 311–341.
^ Безопасные состояния в проблемах распределения ресурсов, подобных банкирам. В: Информация и вычисления. 75 (1987), стр. 232–263. (совместно с Д. Хаушильдтом)
^ Преодоление разрыва между Флойдом- и S-инвариантами. В: Эймоне Марсон М. (ред.): Применение и теория сетей Петри. Чикаго, США, Конспекты лекций по информатике № 691, Springer, Берлин, июнь 1993 г., стр. 433–453.
^ Моделирование параллелизма с помощью систем задач/потоков EN. Материалы 3-го семинара по параллелизму и композиционности. Исследования GMD № 191, Общество математики и обработки данных, Сент-Огюстен, Бонн, 1991.
^ Полиномиальный метод предотвращения тупиков для класса систем непоследовательного распределения ресурсов. Транзакции IEEE в системах. В: Человек и кибернетика. Часть А: Системы и люди. 36 (6), 2006 г. (совместно с Хоакином Эспелета)
^ Вычислительные системы. Издательство Спрингер. Учебник. Берлин 1987, ISBN 3-540-16383-2 . (совместно с Э. Джессеном)
^ Сети Петри для системного проектирования - Руководство по моделированию, проверке и приложениям. Springer, Берлин, 2003 г. (ред. С. Жиро), ISBN 3-540-41217-4 .
^ Сети Петри как объекты-токены - Введение в сети элементарных объектов. В: Дж. Десель, М. Сильва (ред.): Proc. Применение и теория сетей Петри. Лиссабон, Португалия. В: Конспекты лекций по информатике. № 1420, Springer, Берлин, 1998, стр. 1–25.
^ Семантика ссылок и значений для сетей Петри объектов. В: Х. Вебер, Х. Эриг, В. Рейзиг (ред.): Коллоквиум по технологиям сетей Петри для моделирования систем на основе связи. Институт программного обеспечения и системной инженерии Фраунгофера ISST, Берлин, 1999.
^ Мобильные и распределенные объекты в сравнении с централизованными ссылками. В: Дж. Грабовски, Ст. Хеймер (ред.): Методы формального описания распределенных систем. FBT'2000, 10-я экспертная дискуссия GI/ITG, Любек, июнь 2000 г., стр. 7–27.
^ Параллелизм в сетях Петри для взаимодействующих объектов. В: Г. Ага, Ф. Де Синдио, Г. Розенберг (Hrsg.): Параллельное объектно-ориентированное программирование и сети Петри. В: Конспекты лекций по информатике. Шпрингер, Берлин, 2001, стр. 158–189.
^ Использование парадигмы сетей внутри сетей, Труды продвинутого курса по сетям Петри, 2003. Айхштетт, Германия. Конспекты лекций по информатике, Springer-Verlag, 2004.
^ Компьютер как вызов человеческой рациональности. В: Спектр компьютерных наук. 10 (1987), стр. 57–66.
^ Информатика между формальными и гуманитарными науками. В: Спектр компьютерных наук. 20/2, Springer-Verlag, Берлин, апрель 1997 г., стр. 95–100.
^ Соционика: моделирование социологической теории. (Экономика – Труд – Технологии, Том 2). Лит-Верлаг, Мюнстер/Гамбург/Лондон 2003 г., ISBN 3-8258-5980-0 . (совместно с Рольфом против Люде, Дэниелом Молдтом)
^ Соционические мультиагентные системы, основанные на рефлексивных сетях Петри и теориях социальной самоорганизации. В: Журнал искусственных обществ и социального моделирования. 10 (1), 2007 г. (совместно с Михаэлем Кёлером, Романом Лангером, Рольфом фон Люде, Даниэлем Молдтом, Хайко Рёльке) (онлайн по адресу: jasss.soc.surrey.ac.uk )
^ Самоорганизация и управление в искусственных и социальных системах. (Экономика – Труд – Технологии, Том 5). Лит-Верлаг, Мюнстер/Гамбург/Лондон 2009 г., ISBN 978-3-643-10057-3 . (совместно с Рольфом против Люде, Дэниелом Молдтом, ред.)

[www-1] Jump up to: ^а ^б http://www.informatik.uni-hamburg.de/TGI/mitarbeiter/profs/valk_eng.html (по состоянию на 30 июля 2013 г.)

[valk1974-2] Дискретные и непрерывные реализации общих систем времени. В: Журнал кибернетики. 4 (1974) 4, стр. 43–52.

[valk1975-3] О некоторых элементарных свойствах однородных автоматов. В: Revue Française d’Automatique Informatique Operational Research. 9 (1975), Р-2, с. 39–54.

[4] Реализации общих систем. Отчет № 107, Боннское общество математики и обработки данных, 1976 г.

[5] Самомодифицирующиеся сети, естественное расширение сетей Петри. Языки автоматов и программирование. Коллоквиум, Удине В: Конспекты лекций по информатике . № 62, Берлин, стр. 464–476.

[6] Сети Петри и регулярные языки. В: Журнал компьютерных и системных наук. 23, (1981) 3, стр. 299–325. (совместно с Ги Видалем-Наке)

[7] Остаток векторных наборов с применением к проблемам разрешимости в сетях Петри. В: Акта информатика. 21 (1985), стр. 643–674. (с М. Янценом)

[8] Инфинитивное поведение сетей Петри. В: Теоретическая информатика. 25 (1983), стр. 311–341.

[9] Безопасные состояния в проблемах распределения ресурсов, подобных банкирам. В: Информация и вычисления. 75 (1987), стр. 232–263. (совместно с Д. Хаушильдтом)

[10] Преодоление разрыва между Флойдом- и S-инвариантами. В: Эймоне Марсон М. (ред.): Применение и теория сетей Петри. Чикаго, США, Конспекты лекций по информатике № 691, Springer, Берлин, июнь 1993 г., стр. 433–453.

[11] Моделирование параллелизма с помощью систем задач/потоков EN. Материалы 3-го семинара по параллелизму и композиционности. Исследования GMD № 191, Общество математики и обработки данных, Сент-Огюстен, Бонн, 1991.

[12] Полиномиальный метод предотвращения тупиков для класса систем непоследовательного распределения ресурсов. Транзакции IEEE в системах. В: Человек и кибернетика. Часть А: Системы и люди. 36 (6), 2006 г. (совместно с Хоакином Эспелета)

[13] Вычислительные системы. Издательство Спрингер. Учебник. Берлин 1987, ISBN 3-540-16383-2 . (совместно с Э. Джессеном)

[14] Сети Петри для системного проектирования - Руководство по моделированию, проверке и приложениям. Springer, Берлин, 2003 г. (ред. С. Жиро), ISBN 3-540-41217-4 .

[15] Сети Петри как объекты-токены - Введение в сети элементарных объектов. В: Дж. Десель, М. Сильва (ред.): Proc. Применение и теория сетей Петри. Лиссабон, Португалия. В: Конспекты лекций по информатике. № 1420, Springer, Берлин, 1998, стр. 1–25.

[16] Семантика ссылок и значений для сетей Петри объектов. В: Х. Вебер, Х. Эриг, В. Рейзиг (ред.): Коллоквиум по технологиям сетей Петри для моделирования систем на основе связи. Институт программного обеспечения и системной инженерии Фраунгофера ISST, Берлин, 1999.

[17] Мобильные и распределенные объекты в сравнении с централизованными ссылками. В: Дж. Грабовски, Ст. Хеймер (ред.): Методы формального описания распределенных систем. FBT'2000, 10-я экспертная дискуссия GI/ITG, Любек, июнь 2000 г., стр. 7–27.

[18] Параллелизм в сетях Петри для взаимодействующих объектов. В: Г. Ага, Ф. Де Синдио, Г. Розенберг (Hrsg.): Параллельное объектно-ориентированное программирование и сети Петри. В: Конспекты лекций по информатике. Шпрингер, Берлин, 2001, стр. 158–189.

[19] Использование парадигмы сетей внутри сетей, Труды продвинутого курса по сетям Петри, 2003. Айхштетт, Германия. Конспекты лекций по информатике, Springer-Verlag, 2004.

[20] Компьютер как вызов человеческой рациональности. В: Спектр компьютерных наук. 10 (1987), стр. 57–66.

[21] Информатика между формальными и гуманитарными науками. В: Спектр компьютерных наук. 20/2, Springer-Verlag, Берлин, апрель 1997 г., стр. 95–100.

[22] Соционика: моделирование социологической теории. (Экономика – Труд – Технологии, Том 2). Лит-Верлаг, Мюнстер/Гамбург/Лондон 2003 г., ISBN 3-8258-5980-0 . (совместно с Рольфом против Люде, Дэниелом Молдтом)

[23] Соционические мультиагентные системы, основанные на рефлексивных сетях Петри и теориях социальной самоорганизации. В: Журнал искусственных обществ и социального моделирования. 10 (1), 2007 г. (совместно с Михаэлем Кёлером, Романом Лангером, Рольфом фон Люде, Даниэлем Молдтом, Хайко Рёльке) (онлайн по адресу: jasss.soc.surrey.ac.uk )

[24] Самоорганизация и управление в искусственных и социальных системах. (Экономика – Труд – Технологии, Том 5). Лит-Верлаг, Мюнстер/Гамбург/Лондон 2009 г., ISBN 978-3-643-10057-3 . (совместно с Рольфом против Люде, Дэниелом Молдтом, ред.)

[ 1 ]

[ 2 ]

[ 3 ]

[ 4 ]

[ 5 ]

[ 6 ]

[ 7 ]

[ 8 ]

[ 9 ]

[ 10 ]

[ 11 ]

[ 12 ]

[ 13 ]

[ 14 ]

[ 15 ]

[ 16 ]

[ 17 ]

[ 18 ]

[ 19 ]

[ 20 ]

[ 21 ]

[ 22 ]

[ 23 ]

[ 24 ]

Базы данных авторитетного контроля
Международный	ЯВЛЯЮТСЯ ВИАФ WorldCat
Национальный	Франция Данные БнФ Германия Израиль Бельгия Соединенные Штаты Чешская Республика Нидерланды
академики	ДБЛП zbMATH
Другой	ИдРеф