Аноним

Заглавная страница: различия между версиями

Материал из WEGA
нет описания правки
Нет описания правки
Строка 7: Строка 7:
«Wiki GRAPP» создается сотрудниками лаборатории конструирования и оптимизации программ Института систем информатики им. А.П.Ершова СО РАН при частичной финансовой поддержке Российского фонда фундаментальных исследований (грант РФФИ 09-07-00012).
«Wiki GRAPP» создается сотрудниками лаборатории конструирования и оптимизации программ Института систем информатики им. А.П.Ершова СО РАН при частичной финансовой поддержке Российского фонда фундаментальных исследований (грант РФФИ 09-07-00012).


«Wiki GRAPP» базируется на словаре «В.А. Евстигнеев, В.Н. Касьянов. Толковый словарь по теории графов в информатике и программировании. --- Новосибирск: Наука. Сиб.предприятие РАН, 1999. --- 291 с.» и для его реализации словаря используется вики-движок «MediaWiki».  
«Wiki GRAPP» базируется на словаре «В.А. Евстигнеев, В.Н. Касьянов. Толковый словарь по теории графов в информатике и программировании. --- Новосибирск: Наука. Сиб.предприятие РАН, 1999. --- 291 с.» и для его реализации используется вики-движок «MediaWiki».  


== Вики-движок «MediaWiki» ==
== Вики-движок «MediaWiki» ==
Строка 15: Строка 15:
* [http://www.mediawiki.org/wiki/Help:FAQ Часто задаваемые вопросы и ответы по MediaWiki];
* [http://www.mediawiki.org/wiki/Help:FAQ Часто задаваемые вопросы и ответы по MediaWiki];
* [http://mail.wikimedia.org/mailman/listinfo/mediawiki-announce Список рассылки с уведомлением о выходе новых версий MediaWiki].
* [http://mail.wikimedia.org/mailman/listinfo/mediawiki-announce Список рассылки с уведомлением о выходе новых версий MediaWiki].
== От авторов «Толкового словаря по теории графов в информатике и программировании»==
Современное состояние информатики и программирования нельзя
представить себе без применения теоретико-графовых методов.
Анализ программ, оптимизация, автоматическое
распараллеливание, сложные структуры данных, отладка и
тестирование, оценка сложности программ, повышение уровня
параллелизма в программе --- вот далеко не полный перечень
областей применения теоретико-графовых методов в
программировании. Сюда же можно добавить такие интенсивно
развиваемые в последнее время направления, как проектирование
сетей ЭВМ, сетей межпроцессорных связей, маршрутизация при
пересылке данных в параллельных компьютерах с распределенной
памятью, повышение эффективности работы с памятью,
организация больших массивов информации. В теоретическом
программировании важную роль играют различные
теоретико-графовые модели программ и систем, включая системы
переписывания графов и графовые грамматики. Активно
используются методы теории графов в САПР при проектировании
СБИС, а также в искусственном интеллекте.
Основной проблемой в применении теоретико-графовых методов
является проблема терминологии. Выход в свет книг
"Применение теории графов в программировании"
В.А.Евстигнеева, "Оптимизирующие преобразования программ"
В.Н.Касьянова и "Теория графов: алгоритмы обработки
деревьев" В.А.Евстигнеева и В.Н.Касьянова высветил эту
проблему для авторов достаточно остро.
Терминология в теории графов
далеко не устоялась, при написании статей требуется
терминологическая привязка к одной из существующих на
русском языке монографий, что становится все более трудным
делом из-за сокращения числа издающихся книг, в том числе
переводных, и резкого сокращения их тиража.
При отборе терминов авторы исходили из следующих
соображений. В качестве основного было выбрано множество
понятий, представленных в монографии "Лекции по теории
графов", как наиболее полного и доступного для
отечественного читателя издания по теории графов. Затем оно
пополнялось терминами из переводных и других отечественных
книг по теории графов, а также монографий по информатике и
программированию, существенно использующих методы теории
графов. Чтобы как-то уменьшить разрыв между терминологией монографий
и терминологией, используемой в статьях и не успевшей попасть в монографии,
мы включили в словарь термины, встречающиеся в докладах на ежегодной конференции
"Graph Theory Concepts in Computer Science" и в статьях, опубликованных в ведущих по данной те
матике журналах
"Discrete Mathematics", "J. Graph Theory" и др. В последнем случае
мы указывали только название журнала при статье, не включая журнал
в список литературы в конце словаря.
Литературные ссылки, приводимые в статьях словаря, указывают лишь на
источники, где можно более глубоко познакомиться с
соответствующими понятиями, и никоим образом не
устанавливают приоритетов в создании того или иного термина. Мы
ограничивались небольшим набором ссылок, особенно это касалось
основополагающих терминов, определяемых практически во всех монографиях.
Авторы отдают себе отчет в постоянно развивающемся
теоретико-графовом лексиконе в информатике и
программировании и вытекающих отсюда неполноте словаря и
возможных расхождениях с терминологией отдельных научных
направлений, близких к информатике, например, с
терминологией теории сетей связи, исследования операций и
ряда других.
Словарь предназначен для широкого круга специалистов,
использующих методы теории графов при решении своих задач, и
в первую очередь для системных и прикладных программистов, а
также для специалистов по САПР, конструкторов СБИС и просто
для всех тех, кто переводит современную техническую
литературу или готовится стать квалифицированным
специалистом, проходя вузовский курс обучения...