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

Рассматривается электронная математическая справочная система (ЭМСС) "Дифференциальные уравнения" (http://www.neva.ru/journal/dbdiff), представляющая собой набор Web-страниц, среди которых выделяются непосредственно информационные страницы, описывающие конкретные дифференциальные уравнения, их частные и общие решения; стилевые страницы, задающие параметры окон, рамок и т.п., а также страницы отражающие структуру справочника, с соответствующей гипертекстовой обработкой.ЭМСС снабжена альтернативными специальными поисковыми системами.

Рассматривается организация поисковой части ЭМСС, в которой учитывались следующие требования: простота набора математических символов; поддержка "интеллектуального" уровня поиска; соблюдение структурных принципов; обеспечение возможности использования шаблонов (масок) при вводе уравнений. При этом подходе, пользователь может записать уравнение, используя различные буквы латинского алфавита для обозначения переменных, а не только те, которые использовали разработчики системы. Поиск можно вести непосредственно по структуре уравнения, что обеспечивает обнаружение необходимого уравнения даже при замене всех обозначений переменных на другие. Такая поисковая система дает верную информацию и при инверсии левых и правых частей уравнения. Применение возможностей масок в поиске эквивалентно выбору файлов по маске.

Анализируя несколько способов организации таких поисковых систем для компьютерных справочников по дифференциальным уравнениям (например, с использованием HTML, JavaScript, CGI, с применением пользовательской программы, работающей на сервере, с использованием аплета на языке Java), были выбраны JavaScript, как универсальное поисковое средство (впоследствии его легко удалось адаптировать и для других поисковых задач), и Java-applet, который заметно повышает скорость исполнения, не ограничивает сложности исполняемого алгоритма, может самостоятельно принимать информацию от пользователя.

"Интеллектуальный" поиск легко осуществляется при использовании формата TEX и выборе мощного алгоритма сравнения, который поддерживает шаблоны и "понимает" некоторые тонкости в задании самих уравнений. Визуализация ввода позволяет пользователю как бы сконструировать уравнение, выбирая различные представления из некоторого набора.

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

Ваши комментарии А.М.Федотов

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

© 2001, Сибирское отделение Российской академии наук, Новосибирск