Использование современной вычислительной техники, в частности, WWW-серверов и гипертекстовых систем позволяет на качественно новом уровне ставить и решать проблемы концентрации, систематизации, использования и развития методов решения условно-корректных задач.
Гипертекстовые системы позволяют производить многоуровневое структурирование материала, недоступное или доступное с большими затратами на бумажных носителях. Простейшим примером такого структурирования является разнесение на разные уровни формулировок теорем и их доказательств. Разумеется, возможно и более глубокое структурирование: разделение основных идей доказательства и технических деталей, выделение наиболее важных частных случаев или обобщений и т.д. Для тех исследований, которые являются базой для построения некоторых алгоритмов, очень важной и полезной является возможность создания демонстрационных программ, соответствующих излагаемым методам и алгоритмам. Наличие таких программ позволяет сравнивать различные методы в различных ситуациях их использования.
Изложенные выше свойства электронных публикаций в виде гипертекстовых страниц, дополненных исполняемыми программами, можно использовать как на CD-дисках, так и на специализированных серверах. Построение подобных систем в виде специализированных серверов позволяет обеспечивать динамическую модификацию материала, что очень важно для исследований, интенсивно ведущихся в различных научных центрах.
В настоящее время в Институте математики Сибирского отделения Российской Академии Наук (СО РАН) и в Институте автоматики и электрометрии СО РАН, при поддержке Российского фонда фундаментальных исследований, создается сервер "Методы решения условно-корректных задач". Адреса сервера
http://www.iae.nsk.su/~trofimov/IPP/main.htm
http://a-server.math.nsc.ru/IPP/main.htm
http://cs.nstu.ru/ipp/
К настоящему времени на сервере имеются следующие разделы:
Примечание. Тезисы докладов публикуются в авторской редакции
Ваши комментарии Обратная связь |
[Головная страница] [Конференции] [СО РАН] |
© 2002, Сибирское отделение Российской академии наук, Новосибирск
© 2002, Объединенный институт информатики СО РАН, Новосибирск