Параллельные символьные процессоры с позиционной формой представления данных

• Автор: Шуклина, Евгения Викторовна
• Шифр специальности: 05.13.05
• Научная степень: Кандидатская
• Год защиты: 2000
• Место защиты: Курск
• Количество страниц: 291 с. : ил.

ВВЕДЕНИЕ . ГЛАВА 1. Сущность и особенности предлагаемого подхода. Выводы. ГЛАВА 2. Алгоритмическая система Маркова . Модифицированная система продукций. Параллельное позиционное представление данных и метод реализации операций поиска и подстановки . Выводы. ГЛАВА 3. Устройство для реализации продукционной системы над данными, представленными в ППформате. ГЛАВА 4. МОДЕЛИРОВАНИЕ РАБОТЫ УСТРОЙСТВ, РЕАЛИЗУЮЩИХ МОДИФИЦИРОВАННУЮ ПРОДУКЦИОННУЮ СИСТЕМУ МАРКОВА. Программные модели устройств. Выводы. ЗАКЛЮЧЕНИЕ . БИБЛИОГРАФИЧЕСКИЙ СПИСОК . ПРИЛОЖЕНИЕ . ПРИЛОЖЕНИЕ . ПРИЛОЖЕНИЕ . Алгоритмическая система Маркова включает в свой состав мощные инструментальные средства для оценки логической состоятельности выводов алгоритмических схем и результатов их работы в виде конструктивной математической логики в систему также включены средства логического вывода и приведения к абсурду i . Различные СПМ могут быть организованы в последовательную или параллельную схему, что позволяет конвейеризировать и распараллеливать процессы символьной обработки.


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