Шуликов Александр Валериевич

Факультет: Вычислительной техники и информатики

Специальность: Программное обеспечение автоматизированных систем

Тема выпускной работы:

Увеличение производительности транслятора языка Пролог с использованием механизма параллельных вычислений

Руководитель: доцент, к.ф-м.н., Дацун Наталья Николаевна

1. Артемьева И.Л., Тютюник М.Б. Прототип системы конфлюэнтных продукций для МВС-1000 // Информатика и системы управления, 2(8), с.133-143
   

   Данная работа является описанием прототипа системы параллельного программирования для многопроцессорной ЭВМ на основе конфлюентных реляционных продукций. В ней рассматривается метод распараллеливания вычислений, приводятся результаты экспериментов, целью которых было сравнение времени выполнения для последовательной и многопроцессорных систем.
   Оригинал: http://www.amursu.ru/ics/ics_pdf/N08_16.pdf

2. Шуликов А.В., Дацун Н.Н. Увеличение производительности транслятора языка Пролог с использованием механизма параллельных вычислений. // Інформатика та комп'ютерні технології 2007. Матеріали ІІІ науково-технічної конференції молодих учених та студентів. - 2007. - С. 516-518
3. Артемьева И.Л., Тютюник М.Б. Методы распараллеливания вычислений для системы параллельного программирования на основе декларативных продукций // Труды II Международной конференции "Параллельные вычисления и проблемы управления" (SICPRO'04), Москва, 4-6 октября, 2004, Институт проблем управления им. В.А.Трепезникова
   

   Данная работа является описанием системы параллельного программирования для многопроцессорной ЭВМ на основе конфлюэнтных реляционных продукций. В ней рассматривается метод распараллеливания вычислений, приводятся результаты экспериментов, целью которых было сравнение времени выполнения для последовательной и многопроцессорной систем. Анализируются другие схемы распараллеливания для систем конфлюентных продукций.
   Оригинал: http://www.iacp.dvo.ru/is/publications/197.pdf

4. Артемьева И.Л., Тютюник М.Б. Тютюнник Модель модульного языка декларативных конфлюэнтных продукций с ограниченными кванторами. // Искусственный интеллект, 2007, № 3, с. 374-382

   Данная работа описывает исследования, целью которых является разработка системы параллельного программирования на основе конфлюэнтных продукций. В ней описывается модель модульного языка декларативных конфлюэнтных продукций.
   Оригинал: http://www.iacp.dvo.ru/is/publications/A-T_AI_2007.rtf

5. Артемьева И.Л., Тютюник М.Б. Модульная система конфлюентных продукций для многопроцессорной вычислительной системы // Программные продукты и системы, 2007, № 2, с.38-39

   Описывается модульная система конфлюентых продукций. Анализируются схемы распараллеливания процесса решения задач в ней. Даются характеристики языка системы продукций.
   Оригинал: http://www.iacp.dvo.ru/is/publications/A_T_SS_2007.rtf

6. Артемьева И.Л., Тютюник М.Б. Методы управления распараллеливанием вычислений в системе конфлюэнтных продукций // Искусственный интеллект, 2006, № 4, с. 107-117

   Данная работа описывает исследования, целью которых является разработка системы параллельного программирования на основе декларативных продукций. В ней рассматривается набор схем распараллеливания вычислений логической программы и методы управления ими.
   Оригинал: http://www.iacp.dvo.ru/is/publications/A_T_AI_2006_4.rtf

7. Шуликов А.В. Увеличение производительности транслятора языка Пролог с использованием механизма параллельных вычислений
8. Шуликов А.В. Феномен отличников и двоечников

   Реферат по курсу: Основы ораторского искусства.

9. Kleshchev A.S., Artemjeva I.L. A Mathematical Apparatus for Domain Ontology Simulation. An Extendable Language of Applied Logic // IJ ITA, Vol.12, 2005, No.2. pp. 149-157.

   A mathematical apparatus for domain ontology simulation is described in the series of articles. This article is the second one of the series. It describes a few specialized extensions of the extendable languages of applied logic that was described in the first article of the series. A few examples of some ideas related to domain ontologies and formalization of these ideas using the language are presented.
   Оригинал: http://www.iacp.dvo.ru/is/publications/ij12-Kleshchev-Artemjeva-3.doc

10. Kleshchev A.S., Artemjeva, Gavrilova T.L., Surov V.V. Application of logical relationship systems for expert systems development // Application of Advanced Information Technologies, Proceeding of 4 World congress on expert systems, ITESM Mexico City Campus March 16-20 1998, pp. 500-510

    A notably general class of logical models for domain representation is introduced. Every logical model of the class has a basis that is a system of scales, and an order. For the basis the model is specialized. The special cases for the logical models of the class are considered which are the models of the zeroth order, of the first order and of the second order. Zeroth-order models are customary used in the domains where a mathematical apparatus is applied, and are semi formalized. The models of the first order and of the second order are used on expert system development. Examples of models for two domains are given. Essential properties of domains are indicated which can be retained in their logical models. Adequacy conditions of a logical model to the domain for which the model is built are formulated. Methods for building models of the introduced class are proposed.
    Оригинал: http://www.iacp.dvo.ru/is/publications/114.rtf

11. Houri, Avshalom, Shapiro, Ehud Y. «Method for concurrent logic program». (Перевод: А.В. Шуликов)

    В статье рассмотрен метод управления процессами на этапе унификации в логической программе.
    Оригинал: http://www.patentstorm.us/patents/4775934/fulltext.html