VII Международная конференция по электронным публикациям "EL-Pub2002"

23-27 сентября 2002 г., г. Новосибирск, Академгородок,
(номер государственной регистрации 0320300063)

Тезисы докладов

Сервер " Методы решения условно-корректных задач" как средство электронных публикаций

Лаврентьев М.М. , Трофимов О.Е., Зеркаль С.М., Бадажков Д.В., Белоусова О.Н.

Институт математики им. С.Л.Соболева СО РАН (Новосибирск),
Институт автоматики и электрометрии СО РАН (Новосибирск)

Использование современной вычислительной техники, в частности, 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/

К настоящему времени на сервере имеются следующие разделы:

Основные понятия условно-корректных задач.
Основополагающие работы. В этот раздел включены работы А.Н. Тихонова, М.М. Лаврентьева и В.К. Иванова, а также известный пример Ж. Адамара.
Монографии. На данном этапе в раздел включены, в основном, работы российских авторов.
Томография. В этом разделе содержатся теоретические основы методов компьютерной томографии. Выделение класса условно-корректных задач, связанных с проблемами томографии, обусловлено актуальностью соответствующих проблем. На сервере имеется демонстрационная программа компьютерной 2D-томографии, доступная пользователям сети INTERNET. В настоящее время создаются аналогичные программы для 3D-томографии.
Ссылки. Раздел содержит ссылки на WEB-страницы по близкой тематике.
Конференции. Раздел содержит информацию о предстоящих и прошедших конференциях. В частности, там есть информация о симпозиумах по томографии, проводившихся в России и Украине, Узбекистане в течение десяти лет;
Поиск. Установлена система, позволяющая искать информацию на сервере по ключевым словам.

Работа выполняется при поддержке РФФИ (гранты № 00-07-90342, № 00-15-99092, № 00-15-96183).

Примечание. Тезисы докладов публикуются в авторской редакции

Ваши комментарии
Обратная связь

[Головная страница]
[Конференции]
[СО РАН]