Система построения генераторов комбинаторных множеств на основе деревьев и/или
Диссертация
Разработана и реализована система построения генераторов комбинаторных множеств на основе деревьев И/ИЛИ. Структура разработанной системы определяется методом построения алгоритмов генерации и нумерации на основе деревьев И/ИЛИ, являющегося базисом системы, и включает в себя библиотеку комбинаторных алгоритмов и язык построения генераторов GIL. Разработанная библиотека комбинаторных алгоритмов… Читать ещё >
Список литературы
- Knuth, D. Generating All Trees- History of Combinationatorial Generation / Knuth, D. 2006. — 120 pp.
- Рейнгольд, Э. Комбинаторные алгоритмы. Теория и практика / Э. Рейнгольд, Ю. Нивергельт, Н. Део. М.: Мир, 1980. — 496 с.
- Ruskey, F. Combinatorial generation / F. Ruskey. Working version of book in progress.
- Kreher, D. L. Combinatorial algorithms: Generation, Enumeration and Search / D. L. Kreher, D. S. Stinson. CRC Press, 1998. — 329 pp.
- Barcucci, E. Eco: a methodology for the enumeration of combinatorial objects / E. Barcucci, A. Lungo, E. Pergola, R. Pinzani // Journal of Difference Equations and Applications. 1999. — no. 5. — Pp. 435−490.
- Flajolet, P. A calculus for the random generation of combinatorial strctures / P. Flajolet, P. Zimmerman, B. Van Cutsem // Theor. Comput. Sci. 1994.- Vol. 132, no. 1−2. Pp. 1−35.
- Martinez, C. A generic approach for the unranking of labeled combinatorial classes / C. Martinez, X. Molinero // Random Struct. Algorithms. 2001. -Vol. 19, no. 3−4. — Pp. 472−497.
- Кручинин, В. В. Методы построения алгоритмов генерации и нумерации комбинаторных объектов на основе деревьев И/ИЛИ. / В. В. Кручинин — Томск: «В-Спектр», 2007. 200 с.
- Pemmaraju, S. Computational Discrete Mathematics: Combinatorics and Graph Theory with Mathematica / S. Pemmaraju, S. Skiena — Cambridge University Press, 2003. 494 pp.
- Thiery, N. M. MuPAD-Combinat Электронный ресурс./ N. M. Thiery- Режим доступа: http://mupad-combinat.sourceforge.net/.
- Кнут Д. Искусство .программирования для ЭВМ. Т. 2. Получисленные алгоритмы / ред. пер. К.И. Бабенко- пер. Г. П. Бабенко, Э. Г. Белага, Л. В. Майоров. М.: Мир, 1977. — 723 с.
- Новиков, Ф.А. Дискретная математика для программистов / Ф. А. Новиков. Спб.: Питер, 2000. — 304 с.
- Белоглазов И.Н. Корреляционно-экстремальные системы./ Белоглазов И. Н., Тарасенко В. П. М.: Сов. радио, 1974. 392 с.
- Фу К. Робототехника./ Фу К., Гонсалес Р., Ли К. М.: Мир, 1989. -621 с.
- Амосов Н. М Нейрокомпьютеры и интеллектуальные роботы./ Амосов Н. М., Байрон Т. Н., Гольцев А. Д. Киев: Наук, думка, 1991. -271 с.
- Горбань А.Н. Обучение нейронных сетей. М.: С.П. «ПараГраф», 1990.-56 с.
- Липский, В. Комбинаторика для программистов / В. Липский. М.: Мир, 1988.-213 с.
- Generating functions of generating trees / С. Banderier, M. Bousquet-Melou, A. Denise et al. // Discrete Mathematics. 2002. — March. — Vol. 246.
- On the generation and enumeration of some classes of convex polyominoes / A. Del Lungo, E. Duchi, A. Frosini, S. Rinaldi // The Electronic Journal of Combinatorics. 2004. — Т. 11, № 1. — C. 46.
- Martinez, C. A generic approach for the unranking of labeled combinatorial classes / C. Martinez, X. Molinero // Random Struct. Algorithms. 2001. — Vol. 19, no. 3−4. — Pp. 472−497.
- Molinero, X. Ordered Generation of Classes of Combinatorial Structures: Ph.D. thesis / University Politecnical of Catalunya. -http://www.lsi.upc.edu/~molinero/homepublications.html. P. 181.
- Рябко, Б. Я. Быстрая нумерация комбинаторных объектов / Б. Я. Рябко // Дискрет, матем. 1998. — Т. 10, № 2. — С. 101−119.
- Nijenhuis, A. Combinatorial Algorithms / A. Nijenhuis, H.S. Wilf. -New York: Academic Press, Inc., 1978. 302 p.
- Ruskey, F. The Combinatorial Object Server Электронный ресурс. / F. Ruskey. Режим доступа: http://www.theory.csc.uvic.ca/cos.
- GNU Scientific Library Электронный ресурс. / Режим доступа: http://www.gnu.org/software/gsl/.
- Бочканов, С. ALGLIB Электронный ресурс. / S. Petit Режим доступа: http://alglib.sources.ru/.
- Плаугер, П. STL стандартная библиотека шаблонов С++ / П. Плаугер, А. Степанов. — Спб.: БХВ-Петербург, 2004. — 656 с.
- Karlsson, В. Beyond the С++ Standard Library: An Introduction to Boost / B. Karlsson Addison Wesley Professional, 2005. — 432 pp.
- Thiery, N. M. MuPAD-Combinat Электронный ресурс./ N. M. Thiery Режим доступа: http://mupad-cornbinat.sourccforge.net/.
- Slagle, J. A heuristic program that solves symbolic integration problems in freshman calculus / J. Slagle // J. ACM. 1963. — Vol. 10, no. 4. — Pp. 507−520.
- Нильсон, H. Принципы искусственного интеллекта > H. Нильсон. -М.: Радио и связь, 1985.
- Хант, Э. Искусственный интеллект / Э. Хант. М.: Мир, 1978. — 558 с.
- Попов, Э. В. Общение с ЭВМ на естественном языке / Э. В. Попов. -М.: Наука, 1986.
- Ефимов, Е.И. Решатели интеллектуальных задач / Е. И. Ефимов. -М.: Наука, 1982.-С. 320.
- Братко, И. Программирование на языке Пролог для искусственного интеллекта / И. Братко. М.: Мир, 1990. — С. 560.
- Кручинин, В.В. Модель предметной области моделирования КЭНС и ее реализация / В. В. Кручинин, В. В. Одиноков // Корреляцинно-экстремальные системы и их проектирование. Томск: Томск.гос.ун-та, 1988.-№ 10.-С. 90−94.
- Кручинин, В.В. Использование деревьев И/ИЛИ для генерации вопросов и задач / В. В. Кручинин // Вестник ТГУ. 2004. — № 284, серия «Математика. Кибернетика. Информатика». — С. 185−189.
- Верещагин, Н.К. Начала теории множеств / Н. К. Верещагин, А. Шень. М.: МЦНМО, 2002. — 128 с.
- Барендрегт, X. Ламбда-исчисление. Его синтаксис и семантика. / X. Барендрегт. -М.: Мир, 1985.-606 с.
- Вольфенгаген, В.Э. Методы и средства вычислений с объектами. Аппликативные вычислительные системы / В. Э. Вольфенгаген. М.: «Центр ЮрИнфоР», 2004. — 788 с.
- Филд, А. Функциональное программирование / А. Филд, П. Харрисон. М.: Мир, 1993. — 637 с.
- Цаленко, М.Ш. Основы теории категорий. / М. Ш. Цаленко, Е. Г. Шульгейфер. М.: Наука, 1974. — 256 с.
- Хопкрофт, Д. Введение в теорию автоматов, языков и вычислений / Д. Хопкрофт, Р. Мотвани, Д. Ульман М.: «Вильяме», 2002. — С. 528.
- Ландо, С. К. Лекции о производящих функциях. / С. К. Ландо. М.: МЦНМО, 2004. — 144 с.
- Братчиков, И.Л. Синтаксис языков программирования. / И. Л. Братчиков. М.: Наука, 1975. — 232 с.
- Дарахвелидзе, П. Г. Delphi среда визуального программирования / П. Г. Дарахвелидзе, Е. П. Марков. — СПб.: BHV, 1996. — 352 с.
- Вандевурд, Д. Шаблоны С++. Справочник разработчика / Д. Вандевурд, Н. М. Джосаттис. М.: Вильяме, 2003. — 544 с.
- Касьянов, В.Н. Методы построения трансляторов. / В. Н. Касьянов, И. В. Поттосин. Новосибирск: Наука, 1986. — 344 с.
- Страуструп, Б. Язык программирования С++. Специальное издание / Б. Страуструп. СПб.: Бином, 2007. — 1099 с.
- Kapur, D. Operators and Algebraic Structures. Электронный ресурс./ D. Kapur, D.R. Musser, A.A. Stepanov — Режим доступа: http://www.stepanovpapers.com.
- Stepanov, A. The Standard Template Library Электронный ресурс./ A. Stepanov, M. Lee — Режим доступа: http://www.hpl.hp.com/techreports/95/HPL-95-l l.html.
- Александреску, А. Современное проектирование на С++: Обобщенное программирование и прикладные шаблоны проектирования. / А. Александреску С. П.: Вильяме, 2008. — 336 с.
- Мейерс, С. Эффективное использование STL / С. Мейерс. — СПб.: Питер, 2002. 224 с.
- Wilson, М. Extended STL, Volume 1: Collections and Iterators. / M. Wilson. Addison Wesley US, 2007 — 624 pp.
- Musser, D. The STL Tutorial and Reference Guide: С++ Programming with the Standard Template Library / D. Musser. Addison Wesley US, 2007. — 624 pp.
- Кручинин, В.В. Подход к созданию баз данных, основанный на алгоритмах генерации и идентификации кортежей. / В. В. Кручинин, А. В. Титков. // Известия Томского политехнического университета. — 2006. Т. 309. — № 8. — С. 28−32.
- Peeters, К. STL-like С++ tree class Электронный ресурс. / К. Peeters Режим доступа: http://www.aci.mpg.de/~peekas/tree/.
- Rushton, A. STL+ Электронный ресурс. / A. Rushton Режим доступа: http://st1plus.sourceforge.net/.
- Haas, М. TCL Электронный ресурс. / М. Haas Режим доступа: http://www.datasoftsolutions.net/.
- Scharli, N. Traits: Composable Units of Behavior / N. Scharli, S. Ducasse, O. Nierstrasz, A. Black. // In Proceedings of European Conference on Object-Oriented Programming (ЕСООР'ОЗ), LNCS 2743, Springer Verlag, 2003. p.248−274.
- Coplien, J. O. Curiously recurring template patterns / С++ Report, v.7 n.2, p:24−27.
- Хювенен, Э. Мир Лиспа. Том 1. / Э. Хювенен, Й. Сеппянен. М.: Мир, 1990. -458 с.
- Титков, А.В. Язык описания генераторов комбинаторных множеств / А. В. Титков, В. В. Кручинин // Известия Томского политехнического университета. 2008. — Т. 312. — № 5. — С. 89−93.
- Душкин, Р. В. Функциональное программирование на языке Haskell. / Р. В. Душкин. М.: ДМК Пресс, 2006. — С. 608.
- Фокс, Дж. Программное обеспечение и его разработка. / Дж. Фокс. М.: Мир, 1985.-368 с.
- Кручинин, В.В. Генерация тестовых вопросов и заданий по информатике // Информатика и образование. 2005. — № 2. — С. 87−93.