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

Материал из 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" и др. В последнем случае
мы указывали только название журнала при статье, не включая журнал
в список литературы в конце словаря.
Литературные ссылки, приводимые в статьях словаря, указывают лишь на
источники, где можно более глубоко познакомиться с
соответствующими понятиями, и никоим образом не
устанавливают приоритетов в создании того или иного термина. Мы
ограничивались небольшим набором ссылок, особенно это касалось
основополагающих терминов, определяемых практически во всех монографиях.
Авторы отдают себе отчет в постоянно развивающемся
теоретико-графовом лексиконе в информатике и
программировании и вытекающих отсюда неполноте словаря и
возможных расхождениях с терминологией отдельных научных
направлений, близких к информатике, например, с
терминологией теории сетей связи, исследования операций и
ряда других.
Словарь предназначен для широкого круга специалистов,
использующих методы теории графов при решении своих задач, и
в первую очередь для системных и прикладных программистов, а
также для специалистов по САПР, конструкторов СБИС и просто
для всех тех, кто переводит современную техническую
литературу или готовится стать квалифицированным
специалистом, проходя вузовский курс обучения...

Версия от 08:29, 5 мая 2009

Приветствуем вас на страницах «Wiki GRAPP».


«Wiki GRAPP» --- это электронный вики словарь по теории графов и ее применениям в информатике и программировании.

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

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

Вики-движок «MediaWiki»

От авторов «Толкового словаря по теории графов в информатике и программировании»

Современное состояние информатики и программирования нельзя представить себе без применения теоретико-графовых методов. Анализ программ, оптимизация, автоматическое распараллеливание, сложные структуры данных, отладка и тестирование, оценка сложности программ, повышение уровня параллелизма в программе --- вот далеко не полный перечень областей применения теоретико-графовых методов в программировании. Сюда же можно добавить такие интенсивно развиваемые в последнее время направления, как проектирование сетей ЭВМ, сетей межпроцессорных связей, маршрутизация при пересылке данных в параллельных компьютерах с распределенной памятью, повышение эффективности работы с памятью, организация больших массивов информации. В теоретическом программировании важную роль играют различные теоретико-графовые модели программ и систем, включая системы переписывания графов и графовые грамматики. Активно используются методы теории графов в САПР при проектировании СБИС, а также в искусственном интеллекте.

Основной проблемой в применении теоретико-графовых методов является проблема терминологии. Выход в свет книг "Применение теории графов в программировании" В.А.Евстигнеева, "Оптимизирующие преобразования программ" В.Н.Касьянова и "Теория графов: алгоритмы обработки деревьев" В.А.Евстигнеева и В.Н.Касьянова высветил эту проблему для авторов достаточно остро. Терминология в теории графов далеко не устоялась, при написании статей требуется терминологическая привязка к одной из существующих на русском языке монографий, что становится все более трудным делом из-за сокращения числа издающихся книг, в том числе переводных, и резкого сокращения их тиража.

При отборе терминов авторы исходили из следующих соображений. В качестве основного было выбрано множество понятий, представленных в монографии "Лекции по теории графов", как наиболее полного и доступного для отечественного читателя издания по теории графов. Затем оно пополнялось терминами из переводных и других отечественных книг по теории графов, а также монографий по информатике и программированию, существенно использующих методы теории графов. Чтобы как-то уменьшить разрыв между терминологией монографий и терминологией, используемой в статьях и не успевшей попасть в монографии, мы включили в словарь термины, встречающиеся в докладах на ежегодной конференции "Graph Theory Concepts in Computer Science" и в статьях, опубликованных в ведущих по данной те матике журналах "Discrete Mathematics", "J. Graph Theory" и др. В последнем случае мы указывали только название журнала при статье, не включая журнал в список литературы в конце словаря.

Литературные ссылки, приводимые в статьях словаря, указывают лишь на источники, где можно более глубоко познакомиться с соответствующими понятиями, и никоим образом не устанавливают приоритетов в создании того или иного термина. Мы ограничивались небольшим набором ссылок, особенно это касалось основополагающих терминов, определяемых практически во всех монографиях.

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

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