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

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


«Wiki GRAPP» базируется на словаре «В.А. Евстигнеев, В.Н. Касьянов. Толковый словарь по теории графов в информатике и программировании. — Новосибирск: Наука. Сиб.предприятие РАН, 1999. — 291 с.», и для его реализации используется вики-движок «MediaWiki».  
«Wiki GRAPP» базируется на словарях «Евстигнеев В.А., Касьянов В.Н. Толковый словарь по теории графов в информатике и программировании. — Новосибирск: Наука. Сиб.предприятие РАН, 1999. — 291 с.» и [http://www.iis.nsk.su/files/book/sborkas09_dict.pdf «Евстигнеев В.А., Касьянов В.Н. Словарь по графам в информатике. — Новосибирск: Сибирское Научное Издательство, 2009. — 300 с.»]
 
«Wiki GRAPP» реализуется с использованием вики-движка [http://meta.wikimedia.org/wiki/%D0%9F%D0%BE%D0%BC%D0%BE%D1%89%D1%8C:%D0%A1%D0%BE%D0%B4%D0%B5%D1%80%D0%B6%D0%B0%D0%BD%D0%B8%D0%B5 «MediaWiki»].
 
По всем вопросам, связанным со словарём «Wiki GRAPP», можно обращаться с администратору словаря
[http://db.iis.nsk.su/structure/personpage.asp?PersonID=616&lang=rus доценту Касьяновой Елене Викторовне].
 


== От авторов «Толкового словаря по теории графов в информатике и программировании»==
== От авторов «Толкового словаря по теории графов в информатике и программировании»==
Строка 81: Строка 87:
для всех тех, кто переводит современную техническую
для всех тех, кто переводит современную техническую
литературу или готовится стать квалифицированным
литературу или готовится стать квалифицированным
специалистом, проходя вузовский курс обучения...
специалистом, проходя вузовский курс обучения.


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

Версия от 12:14, 17 июня 2011

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


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

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

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

«Wiki GRAPP» реализуется с использованием вики-движка «MediaWiki».

По всем вопросам, связанным со словарём «Wiki GRAPP», можно обращаться с администратору словаря доценту Касьяновой Елене Викторовне.


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

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

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

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

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

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

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

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