1033
правки
Заглавная страница: различия между версиями
Перейти к навигации
Перейти к поиску
нет описания правки
KVN (обсуждение | вклад) |
KVN (обсуждение | вклад) Нет описания правки |
||
| Строка 7: | Строка 7: | ||
«Wiki GRAPP» создается сотрудниками лаборатории конструирования и оптимизации программ Института систем информатики им. А.П.Ершова СО РАН при частичной финансовой поддержке Российского фонда фундаментальных исследований (грант РФФИ 09-07-00012). | «Wiki GRAPP» создается сотрудниками лаборатории конструирования и оптимизации программ Института систем информатики им. А.П.Ершова СО РАН при частичной финансовой поддержке Российского фонда фундаментальных исследований (грант РФФИ 09-07-00012). | ||
«Wiki GRAPP» базируется на словаре «В.А. Евстигнеев, В.Н. Касьянов. Толковый словарь по теории графов в информатике и программировании. --- Новосибирск: Наука. Сиб.предприятие РАН, 1999. --- 291 с.» и для его реализации | «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" и др. В последнем случае | |||
мы указывали только название журнала при статье, не включая журнал | |||
в список литературы в конце словаря. | |||
Литературные ссылки, приводимые в статьях словаря, указывают лишь на | |||
источники, где можно более глубоко познакомиться с | |||
соответствующими понятиями, и никоим образом не | |||
устанавливают приоритетов в создании того или иного термина. Мы | |||
ограничивались небольшим набором ссылок, особенно это касалось | |||
основополагающих терминов, определяемых практически во всех монографиях. | |||
Авторы отдают себе отчет в постоянно развивающемся | |||
теоретико-графовом лексиконе в информатике и | |||
программировании и вытекающих отсюда неполноте словаря и | |||
возможных расхождениях с терминологией отдельных научных | |||
направлений, близких к информатике, например, с | |||
терминологией теории сетей связи, исследования операций и | |||
ряда других. | |||
Словарь предназначен для широкого круга специалистов, | |||
использующих методы теории графов при решении своих задач, и | |||
в первую очередь для системных и прикладных программистов, а | |||
также для специалистов по САПР, конструкторов СБИС и просто | |||
для всех тех, кто переводит современную техническую | |||
литературу или готовится стать квалифицированным | |||
специалистом, проходя вузовский курс обучения... | |||