350 rub
Journal Information-measuring and Control Systems №11 for 2011 г.
Article in number:
The production model for parallel transformation of knowledge
Keywords: system of productions transformation of symbolic information data flow parallel computing
Authors:
E. A. Titenko, E. A. Petrik, D. A. Voronin, I. V. Atakischeva
Abstract:
In the article is showing the modification of the computing productions system for the implementation of the parallel transformation of the symbolic information. The composition of the control data flow is determined as the special words whether a conflict between the rules has. Have been developed two strategy of parallel computing whether use dynamically computed the conflict words. The computing productions system with the procedure of the synthesis of the conflicts words creates the basic for the parallel directed computing of the set of the version of the resolution.
Pages: 81-86
References
  1. Эйсымонт Л.DARPAUHPC - дорога с экзафлопсам // Открытые системы. 2010. № 9. С. 12-15.
  2. Ва Б. У., Лоурай М. Б., Ли Гоцзе. ЭВМ для обработки символьной информации // ТИИЭР. 1989. Т. 77. № 4. С. 5-40.
  3. Нариньяни А. С. Не- факторы: неточность и недоопределенность - различие и взаимосвязь / Изв. РАН, Теория и системы управления. 2000. № 5. С. 45-56.
  4. Марков А. А. Избранные труды. Т. 2. Теория алгоритмов и конструктивная математика, математическая логика, информатика и смежные вопросы. М.: МЦНМО. 2007.
  5. Довгаль В.М. Методы модификации формальных систем обработки символьной информации. Курск: КурскГТУ. 1996.
  6. Минский М. Вычисления и автоматы. М.: Мир. 1971.
  7. Титенко Е. А., Евсюков В. С. Продукционные системы и теорема о конфликтных словах // Изв. Тульского государственного университет. Серия технол. системотехника. Вып. 15. 2006. С. 92-98.
  8. Титенко Е. А., Довгаль В. М., Титов В. С. Стратегии быстрых символьных вычислений для исчислительной системы продукций // Изв. вузов. Приборостроение. 2008. № 2. С. 44-48.
  9. Титенко Е. А. Продукционная система для реализации параллельных символьных вычислений // Системы управления и информационные технологии. 2006. № 1 (23). С. 187-191.