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

СПИСОК ИСПОЛЗУЕМЫХ СОКРАЩЕНИЙ

ВВЕДЕНИЕ.

1 .АНАЛИЗ ТРАДИЦИОННЫХ МЕТОДОВ ИССЛЕДОВАНИЯ СИГНАЛОВ СЛОЖНОЙ ФОРМЫ ПРИ ОБРАБОТКЕ ИНФОРМАЦИИ.

1.1 Технология переработки отработавшего топлива ядерных энергетических установок.

1.2 Методика определения радионуклидного состава проб.

1.2.1 Инструментальная основа а - и у - спектрометрии.

1.2.2 Свойства и формальные признаки спектрального распределения.

1.2.3 Критерии выделения фоновой базовой кривой.

1.2.4 Методы нахождения и выделения пиков.-.—

1.2.1 Методы расчета параметров одиночных и слившихся пиков.

1.3 Идентификация энергий и радионуклидный состав в исследуемых пробах.

1.4 ФОРМУЛИРОВКА ЗАДАЧ ИССЛЕДОВАНИЯ.

2.ИССЛЕДОВАНИЕ СИН ГАКСИЧЕСКЦХ МЕТОДОВ ОПИСАНИЯ СИГНАЛОВ СЛОЖНОЙ ФОРМЫ. —

2.1. Синтаксические диаграммы, как средство описания сигналов сложной формы.

2.2. Контекстно-свободные грамматики как средство описания сигналов сложной формы.

2.3. Формализация семантики с помощью атрибутных грамматик.

2.4. Примеры описания различных сигналов.

2.4.1 Пример описания С>118 - комплекса.----------------------------------------------------—

2.4.2 КС-грамматика для а- и у- спектров.

2.4.3 Синтаксическая диаграмма для описания а- и у- спектров.

3.ВОССТАНОВЛЕНИЕ ГРАММАТИК И СИНТАКСИЧЕСКИХ ДИАГРАММ.

3.1 Описание известных методов восстановления грамматик.

3.1.1 Методы восстановления грамматики перечислением.

3.1.2 Метод восстановления грамматик на основе теории структур.

3.1.3 Метод восстановления грамматики по структурной информационной последовательности.-.

3.1.4 Восстановление регулярных грамматик.

3.1.5 Восстановление осевых грамматик.

3.1.6 Эвристический подход.

3.2 Описание алгоритма восстановления грамматики и синтаксической диаграммы по заданным образцам.

3.2.1 Алгоритм восстановление в виде автоматных грамматик.

3.2.2 Алгоритм восстановление в виде синтаксических диаграмм.-.

3.3 Восстановление грамматик и синтаксических диаграмм для а- и у-спектров.

3.3.1 Разбиение образцов на множества фоновых участков и пиков .

3.3.2 Восстановление синтаксической диаграммы и автоматной грамматики для выделенных множеств.

Список используемых сокращений:

ПЛИС - программируемая логическая интегральная схема:

КС-грамматика - контекстно- свободная грамматика;

ЭКГ - электрокардиограмма;

АЭС - атомная электростанция;

ТВЭЛ — тепловыделяющий элемент;

ТВ С - тепловыделяющая сборка;

ТБФ - трибутилфосфат;

ПУРЕКС - плутоний-урановая экстракция;

РБМК - реактор большой мощности;

ППД - полупроводниковый детектор;

ППП - пик полного поглощения;

ГТШПВ - полная ширина пика на половине высоты;

АЦП - аналого-цифровой преобразователь;

ПК - персональный компьютер;

ПАС - программно-аппаратные средства

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

Обработка информации на вычислительных машинах формализуется с помощью языков программирования. Программистам известны синтаксические методы описания этих языков в виде синтаксических диаграмм и в виде грамматик. Аппарат формальных грамматик был предложен Хомским для описания естественных языков, но был с успехом применен для описания языков программирования, что позволило автоматизировать процесс создания компиляторов. Сигналы, отображающие объекты и процессы, традиционным способом описываются функциональными зависимостями в табличной или аналитической формах. При обработке на компьютерах они сначала переводятся в цифровую форму, а затем представляются в более компактном виде с использованием различных схем кодирования или аппроксимации. В одних методах анализируемую функцию интерполируют между точками отсчетов, используя простые типы функций (например, постоянную, линейную или полиномы более высоких порядков). В других - функция аппроксимируется первыми членами ряда, в который она разлагается (например, ряда Тейлора или разложения по ортогональной системе функций - ряды Фурье и др.). При моделировании явлений, чаще всего составляются дифференциальные уравнения, которые потом решаются с помощью численных методов (различные конечно-разностные схемы).

Как видно, такой подход представляет собой непосредственный перенос традиционной технологии "карандаша и бумаги" на компьютерные технологии. Это приводит к разработке и использованию численных методов, разработке алгоритмов и программированию.

Целью работы является: Решение задач разработки методов и алгоритмов описания и идентификации сигналов для моделирования и проектирования в безлюдных технологиях.

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

Ранее синтаксические методы были разработаны при автоматизации процесса проектирования компиляторов для языков программирования и в дальнейшем распространились на задачи распознавания образов. Синтаксическим методам распознавания образов посвящены работы отечественных и зарубежных ученых: Фу К., Миллер У., Шоу А., Нарасимхан Р., Ульман Д., Завалишин Н.В., Мучник И.Б. и др. Использование синтаксического подхода призвано провести аналогию между структурой образов и синтаксисом языка. Такая аналогия привлекательна, прежде всего, благодаря возможности использовать аппарат математической лингвистики, поскольку лингвистические методы по своей природе являются синтаксическими. Синтаксические методы дают возможность описывать большое множество сложных объектов путем использования небольшого множества непроизводных элементов и грамматических правил. Одним из наиболее привлекательных аспектов этой возможности является использование рекурсивной природы грамматик. Грамматическое правило (правило подстановки) может быть применено любое число раз, так что оказывается возможным очень компактно выразить некоторые основные структурные характеристики бесконечного множества предложений.

Помимо описания языков программирования, аппарат формальных грамматик, в данной работе, предлагается использовать (в дополнение к традиционным методам аналитического, графического и табличного представления) для описания различных зависимостей (например, функциональных) и не только с помощью грамматик, но и с помощью синтаксических диаграмм /1/.

Предлагаемый способ представления обладает важным свойством единообразия форм описания и обработки данных:

- при описании данных используются грамматики или синтаксические диаграммы,

- при обработке данных алгоритм представляют блок-схемой (формой представления весьма сходной с синтаксической диаграммой).

Переход от синтаксических диаграмм к программе распознавания сигнала, написанной на процедурных языках программирования, осуществляется просто. Синтаксическая диаграмма по существу является блок-схемой программы. Поэтому примитивы синтаксических диаграмм заменяются блоками перехода по условию, за которыми должны следовать тривиальные подпрограммы отработки соответствующих примитивов. Во втором варианте - синтаксические структуры, описывающие объект и восстановленные в виде автоматных грамматик, могут являться для некоторых версий Prolog входным языком (например, для Wisdom-Prolog). Для других версий, например TurboProlog, преобразование автоматной грамматики в программу идентификации объекта может быть реализовано на том же языке TurboProlog. Таким образом, автоматизируется процесс написания программ идентификации (управления) исследуемого объекта (процесса). Иначе говоря, предоставляется возможность синтеза систем идентификации и управления, минуя этап написания компьютерных программ, что позволяет не привлекать специалистов по теории управления и численным методам. Такой подход позволяет синтезировать системы управления на основе концепции экспертных систем. С другой стороны предлагаемый метод синтаксического представления данных не привязан к физической природе объектов, а использует информацию об их структуре, что придает этому методу достаточную универсальность при его использовании.

Достижение поставленной цели возможно при решении следующих задач:

- структурного описания объектов в виде синтаксических диаграмм и в виде грамматик,

- синтеза синтаксических диаграмм и грамматик по предъявленным образцам (задача восстановления грамматик),

- использование семантической информации об объектах,

- распознавание сигналов с помощью грамматик,

- создание программного комплекса генерации программ и управляющей информации для программируемых логических интегральных схем (ПЛИС) по идентификации процессов и объектов.

Для решения поставленных задач использован аппарат теории формальных языков, теории автоматов, теоретических основ построения компиляторов.

Научная новизна работы заключается в следующем:

- предложено использование синтаксических методов описания сигналов сложной формы,

- предложен метод восстановления грамматик,

- разработан алгоритм редукции регулярной грамматики в контекстно-свободную грамматику,

- для учета семантической информации предложен алгоритм восстановления атрибутной грамматики,

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

В результате исследования разработан метод структурного описания сигналов различной физической природы. Разработаны алгоритмы восстановления автоматных грамматик и синтаксических диаграмм по предъявленным образцам и редукции автоматной грамматики в контекстно-свободную грамматику. Описан способ представления семантической информации с помощью атрибутных грамматик. Создан программный комплекс генерации программ идентификации объектов и процессов и программирования ПЛИСов.

Предложенные в работе методы были использованы при идентификации нуклидов в продуктах переработки радиохимического производства ПО «МАЯК» (г. Озерск, Челябинская обл.), распознавании речевых сигналов 1СЬ - КПО ВС (г. Казань), в учебном процессе на кафедрах ОТИ МИФИ, КГТУ им. А.Н. Туполева (КАИ). Основные положения диссертации обсуждались:

- на научно-методических семинарах в ОТИ МИФИ,

- на научно-технических конференциях ОТИ МИФИ, г. Озерск, 1997-98,

- на научно-технической конференции "Актуальные проблемы научных исследований и высшего профессионального образования",Казань,1997,

- на международной научно-практической конференции "Инновационные образовательные технологии на рубеже ХХ-ХХ1 века", Казань, 1998,

- на всероссийской научно-практической конференции "Проблемы физико-математического образования в педагогических вузах России на современном этапе", Магнитогорск, 1999.

На защиту выносятся следующие положения:

1. Синтаксические методы описания данных при анализе сигналов сложной формы;

2. Метод восстановления синтаксических диаграмм и грамматик;

3. Алгоритм редукции регулярной грамматики в контекстно - свободную грамматику;

4. Метод учета семантической информации в форме атрибутной грамматики;

5. Инструментальный комплекс генерации программ идентификации сигналов и управляющей информации для ПЛИСов.

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

В главе 2 рассмотрены синтаксические методы представления сигналов. Синтаксические методы описания проиллюстрированы синтаксическими диаграммами, регулярными и контекстно-свободными грамматиками. Для учета семантической информации рассмотрено использование атрибутных грамматик. Приведены практические иллюстрации описания различных сигналов: С)Я8-комплексы ЭКГ, а- и у-спектры.

В главе 3 разработаны алгоритмы восстановления синтаксических диаграмм и грамматик. Для учета семантической информации разработан алгоритм восстановления атрибутных грамматик. Предложен метод редукции автоматных грамматик в КС-грамматику.

В главе 4 представлена структура программного комплекса генерации программ и управляющей информации для ПЛИСов по идентификации объектов и процессов на основе синтаксических методов. Работа комплекса проиллюстрирована на демонстрационном примере синтеза программы и входного описания ПЛИСа распознавания некоторых звуковых образов. Приведено описание программного комплекса для распознавания альфа- и гамма- спектров при идентификации радионуклидов в продуктах переработки радиохимических производств.

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

По теме диссертации опубликовано 11 печатных работ и 2 рукописные.

Диссертация выполнена в КГТУ им. А.Н. Туполева (КАИ) и является результатом научных исследований, проводимых совместно кафедрой ЭВМ КГТУ (КАИ) с ОТИ МИФИ и СКВ АП ПО "МАЯК".

Автор выражает искреннюю благодарность научному руководителю, доктору технических наук, профессору Глове Виктору Ивановичу за постоянное внимание и ценные советы, Мосунову В.Е., Чеботареву Д.Г. за помощь и участие в программировании.

Заключение.

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

2. Разработаны алгоритмы восстановления автоматных грамматик и синтаксических диаграмм по предъявленным образцам. В ходе исследования оказалось предпочтительнее представление сигналов в виде грамматик, поскольку в этом случае более простым оказывается автоматическая генерация программ обработки сигналов на декларативных языках (ТигЬоРго1о§). Восстановление синтаксических диаграмм позволяет строить дерево вывода грамматического разбора образцов, по которому редуцируется грамматика и учитывается семантическая информация.

3. Разработан алгоритм редукции автоматной грамматики в контекстно-свободную грамматику.

4. Для учета количественной информации определена атрибутная грамматика и разработан метод построения семантических правил.

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

1. Мосунов С.Е. Представление и обработка функциональных зависимостей и сигналов сложной формы с помощью синтаксических методов., //Тезисы докладов научно-технической конференции ОТИ МИФИ, Озерск, 1997.

2. Мосунов С.Е., Глова В.И. Использование синтаксических методов в задачах расшифровки альфа- и гамма- спектров., //Актуальные проблемы научных исследований и высшего профессионального образования, Тезисы докладов, КГТУ (КАИ), Казань, 1997.

3. Егоров H.H., Кудрявцев Е.Г., Никипелов Б.В., Поляков A.C., Захаркин Б.С., Мамаев JI.A. Регенерация и локализация радиоактивных отходов ядерного топливного цикла. Атомная энергия, //Т 74, вып. 4, 1993.

4. Панов Е.А. Практическая гамма-спектрометрия на атомных станциях. //Энергоатомиздат, М., 1990.

5. Злоказов В.Б. Метод автоматического поиска пиков в гамма -спектрах. //Препринт ОИЯИ PI0-81-204. Дубна, 1981.

6. Кабина Л.П., Кондуров И.А. Автоматизированный анализ у- спектров, получаемых на полупроводниковых Ge(Li) спектрометрах. //Препринт физ.-тех. ин-та им. А.Ф. Иоффе, № 399. Л., 1972.

7. Злоказов В.Б. SMOOS программа для фильтрации нестационарных статистических рядов. //Препринт ОИЯИ PI0-80-510. Дубна, 1980.

8. Злоказов В.Б. Activ программа автоматической обработки гамма -спектров. //Препринт ОИЯИ Р10-82-105. Дубна, 1982.

9. Зажигаев Л.С., Кишьян A.A., Романиков Ю.И. Методы планирования и обработки результатов физического эксперимента. //М., Атомиздат, 1978.

10. Quittner P., Wainerdy R.E. Computer evaluation of Nal(Tl) and Ge(Li) gamma-ray spectra// Atom. Energy Rev. 1970, Vol. 8, N 2, P. 261-268.

11. П.Агапов C.A., Белов O.X., Глушковский M.E. и др. Гамма-спектрометр для экспрессного анализа. //Вопросы атомной науки и техники. Сер. Радиационная техника. 1981. Вып. 3(48). С. 8-16.

12. Агапов С.А., Глушковский М.Е., Кошелев А.Б., Курочкин С.С. Спектрометрическая система измерения распределения нейтронных полей и полей энерговыделения реактора БН-600. Атомные электрические станции.//М. Энергоатомиздат, 1987. Вып. 9. С. 100-103.

13. Майоров В.П., Разуваева М.Л., Бабичев Б.А. Обработка гамма -спектров методом поканального суммирования с нелинейным вычитанием фона. //Препринт Радиевого ин-та им. В.Г.Хлопина, № Ри-61. Л., 1977.

14. Savitzky A., Golay M.J.E. Smoothing and differentiation of data by simplified least squares procedures, //Anal. Chem. 1964. Vol. 36. P. 1627-1639.

15. Иванов И.Н., Краснова Л.Г., Румянцев C.A., Филипов B.B. Применение дифференцирования для расшифровки спектров гамма-излучения. //Вопросы атомной науки и техники. Сер. Радиационная техника. 1973. Вып. 9. С. 205-212.

16. Филипов В.В. Программа для обработки спектрометрической информации. //Вопросы атомной науки и техники. Сер. Радиационная техника. 1975. Вып. 11. С. 257-263.

17. Фром В.Д. Комбинированная обработка у спектров на малых и больших ЭВМ. //Препринт ОИЯИ 10-9094. Дубна, 1975.

18. Black W.W. Application of correlation techniques to isolate structure in experimental date.//Nucl. Instr. And Meth. 1969. Vol. 71, N 3. P. 317-327.

19. Кабанов M.B., Филонов B.C. Упрощенный алгоритм обработки одиночных пиков гамма спектров для технологического контроля. //Вопросы атомной науки и техники. Сер. Ядерное приборостроение. 1980. Вып. 2-3 (43-44). С. 42-44.

20. Аникин А.Я., Кузнецов Э.К., Лукашов A.B. Вычислительная программа экспресс-анализа сложных спектров. //Прикладная ядерная спектроскопия. М.: Атомиздат. 1979. Вып. 9. С. 239-244.

21. Хрисанфов Ю.В. Программа обработки гамма спектров 'Гамма-4'. Прикладная ядерная спектроскопия.//М.Атомиздат.1979. Вып. 9. С.221.

22. Поллард Дж. Справочник по вычислительным методам статистики. //Пер. с англ. М.: Финансы и статистика. 1982.

23. Аврамов С.Р., Сосновская Е.В., Цупко-Ситников В.М. Система программ SIMP для обработки гамма спектров //Препринт ОИЯИ PI0-9747. Дубна, 1976.

24. Гиппер Г., Каун Г.К., Страп Ф. и др. Программа обработки сложных гамма спектров GAMMA-F. //Препринт ОИЯИ 11-8195. Дубна, 1974.

25. Винель Г.В., Цупко-Ситников В.М., Элер Г. Программа ЭПОС для автоматической обработки гамма спектров от ППД. //Препринт ОИЯИ PI0-10844. Дубна, 1977.

26. Гончаров И.С., Кузьменко В.Л., Рамаев В.В. Полуавтоматическая программа обработки гамма спектров 'Гамма-Г. //Вопросы атомной науки и техники. Сер. Физика высоких энергий и атомного ядра. 1977. Вып. 1(18) с. 52-56.

27. Бабкин В.И., Дьяков А.Н., Горбунов В.П. и др. Автоматическая система обработки у- спектрометрической информации на базе АИ-4096 и ЕС ЭВМ. //Атомная энергия. 1984. Т. 57. Вып. 2. С. 77-83.

28. Рейуорд — Смит В.Дж. Теория формальных языков. Вводный курс. //М.: Радио и связь. 1988.

29. Мосунов В.Е. Использование синтаксических диаграмм для представления и структурного анализа сигналов., //Сб. Тр. Казанского филиала ИЛИ АН СССР, Казань, 1989, С. 85.

30. Хомский Н. Три модели для описания языка. //Кибернетический сборник, Вып. 2, 1961.

31. Хомский Н., Миллер Д. Языки с конечным числом состояний //Кибернетический сборник, Вып. 2, 1961.

32. Хомский Н. Формальные свойства грамматик. //Кибернетический сборник, новая серия, № 2, 1966.

33. Розенкранц Д. Программные языки и классы формальных грамматик. //Сб. Переводов по вопросам информационной теории и практики, № 16, М., ВИНИТИ, 1970.

34. Гинзбург С. Математическая теория контекстно-свободных грамматик. //М., Мир, 1970.

35. Гросс М., Лантен А. Теория формальных грамматик. //М., Мир, 1971.

36. Гладкий А.Б. Формальные грамматики и языки. //М., Наука, 1973.

37. Братчиков И.Л. Синтаксис языков программирования. //М., Наука, 1975.

38. Ахо А. Индексные грамматики расширение контекстно-свободных грамматик. //Сб. Языки и автоматы, М., Мир, 1975.

39. Саломаа А. Жемчужины теории формальных языков. //М., Мир, 1986.

40. Брауэр В. Введение в теорию конечных автоматов. //М., Радио и связь, 1987.

41. Фу К. Структурные методы в распознавании образов. //М. Мир. 1977.

42. Fu K.S. Syntactic image modelling using stochastic trees grammars. //Computer Graphics and Image Processing, 12: pages 136—152, 1980.

43. Fu K.S., Syntactic Image Modelling Using Stochastic Tree Grammars. //CGIP(12), No. 2, February 1980, pp. 136-152. BibRef 8002

44. Fu King-Sun. Syntactic Pattern Recognition and Applications. //Prentice-Hall, 1982.

45. Don, H.S., Fu, K.S., A Syntactic Method for Image Segmentation and Object Recognition. //PR(18), 1985, pp. 73-87. BibRef 8500 Earlier: ICPR84(1380-1382). BibRef

46. Berstel J. and Boasson L. Context-free languages /Яn J. van Leeuwen, editor, Handbook of Theoretical Computer Science, volume В Formal Models and Semantics, pages 61 — 102. Elsevier Science Publishers, 1990.

47. Michael G. Thomason. Syntactic pattern recognition: Stochastic languages. /Лп Fu and Young, editors, Handbook of Pattern Recognition and Image Processing. Academic Press, 1986.

48. Hon-Son Don. Stochastic image segmentation using spatial-temporal context. /Лп 9th International Conference on Pattern Recognition, pages 342—344. IAPR, 1988.

49. Tanaka, E., Theoretical Aspects of Syntactic Pattern-Recognition. //PR(28), No. 7, July 1995, pp. 1053-1061. BibRef 9507

50. Basu, S., Fu, K.S., Image Segmentation By Syntactic Method. //PR(20), 1987, pp. 33-44. BibRef 8700

51. Basu, S., Image Segmentation By Semantic Method. //PR(20), 1987, pp. 497511. BibRef 8700

52. Straub, B.J., Blanz, W.E., Combined Decision Theoretic and Syntactic Approach to Image Segmentation. //MVA(2), 1989, pp. 17-30. BibRef 8900

53. Sanfeliu, A., TC2 Structural and Syntactic Pattern-Recognition: Aims, Scope, History and Activities. //PRL(18), No. 4, April 1997, pp. 403-406. 9708 BibRef

54. Ewing G.D., Taylor J.F., Computer recognition of speech using zero-crossing information. /ЛЕЕЕ, Trans. Audio Electroacoustics, AU-17, pp. 37-40. 1969.

55. De Mori R., A descriptive technique for automatic speech recognition. /ЛЕЕЕ, Trans. Audio Electroacoustics, AU-21, pp. 89-100. 1972

56. Newman R., Fu K.S., Li K.P., A syntactic approach to the recognition of liquids and glides, //Pros. Conf. Speech Commun. Process., Newton, Massachusetts, April, pp. 24-26, 1972.

57. Винцюц Т.К., Анализ, распознавание и интерпретация речевых сигналов. //Киев, 1987.

58. Мазуренко И.Л., Одна модель распознавания речи. //Проблемы теоретической кибернетики, Тезисы докладов XI Международной конференции, Москва, 1996.

59. Knuth D.E. Semantics of context-free languadges, //J. Math. Syst. Theory, 2, 127-146, 1968.

60. Льюис Ф., Розенкранц Д., Стринз Р. Теоретические основы проектирования компиляторов. //М.: Мир. 1979.

61. Грис Д., Конструирование компиляторов для цифровых вычислительных машин. //М. Мир. 1975.

62. Ахо А., Ульман Дж. Теория синтаксического анализа, перевода и компиляции. Т 1. //М. Мир. 1976.

63. Wen-Hsiang Tsai and King Sun Fu. Attributed grammar a tool for combining syntactic and statistical approaches to pattern recognition. /ЛЕЕЕ Transactions on Systems, Man, and Cybernetics, SMC-10(12): pages 873-885, 1980.

64. Fu, K.S., Yu, T.S., Statistical Pattern Classification Using Contextual Information. //Wiley New York, 1980. BibRef 8000

65. You, K.C., and Fu, K.S., A Syntactic Approach to Shape Recognition Using Attributed Grammars. //SMC(9), June 1979, pp. 334-345. BibRef 7906

66. Fu, K.S., A Syntactic-Semantic Approach to Pictorial Pattern Analysis. //PDA83 pp. 133-146. BibRef 8300

67. Tsai, W.H., and Fu, K.S., Attributed Grammar: A Tool for Combining Syntactic and Statistical Approaches to Pattern Recognition. //SMC(10), December 1980, pp. 873-885. BibRef 8012

68. Cheng, H.D., Cheng, X., Attribute Grammar for Shape Recognition and Its VLSI Implementation. //ICPR92 I: pp. 104-107. BibRef 9200

69. Мозжилкин B.B., Розенман A.B. Язык, в котором имеются возможности определения синтаксиса и семантики новых конструкций и интерпретатор с этого языка. //Проблемы теоретической кибернетики, Тезисы докладов XI Международной конференции, Москва, 1996.

70. Борщевич В.И. Лингвистический подход к моделированию информационных потоков и задачи псевдослучайного тестирования. //Электронное моделирование, № 4, С. 47-51, 1985.

71. Trahanias, P., and Skordalakis, Е., Syntactic Pattern Recognition of the ECG. //РАМЦ12), No. 7. July 1990, pp. 648-657. BibRef 9007

72. Koski, A., Juhola, M., Meriste, M., Syntactic Recognition of ECG Signals by Attributed Finite Automata. //PR(28), No. 12, December 1995, pp. 1927-1940. BibRef 9512

73. Koski, A., Primitive Coding of Structural ECG Features. //PRL(17), No. 11, September 16 1996, pp. 1215-1222. 9611 BibRef

74. Стерлинг Л., Шапиро Э. Искусство программирования на языке Пролог //М.: Мир, 1990.

75. Кузин Л.Т., Основы кибернетики, т.2., М.: Энергия, 1979.

76. Feldman J.A., Some Decidability Resultes on Grammatical Inference and Complexity //Stanford Artificial Intelligence Proj. Memo. AI-93, Stanford Univ., Stanford, California, 1969.

77. Gold E.M., Language identification in the limit. //Information and Control., 10, 447-474, 1967.

78. Pao T.W., A solution of the Syntactical Induction-Inference Problem for a Non-Trivial Subset of Context-Free Languages //Interim Tech. Rep. № 69-19 Moore School of Elec. Eng., Univ. of Pennsylvania, Philadelphia, Pennsylvania, 1969.

79. Crespi-Reghizzi S., An effective model for grammar inference //IFIP Congr., Yugoslavia, August 1971.

80. Feldman J.A., First Thought on Grammatical Inference //Stanford Artificial Intelligence Proj. Memo. № 55, Stanford Univ., Stanford, California, 1967.

81. Feldman J.A., Gips J., Horning J.J. and Reder S., Grammatical Complexity and Inference //Tech. Rep. № CS-125 Comput. Sci. Dept., Stanford Univ., Stanford, California, 1969.

82. Evans T.G., Grammatical inference techniques in pattern analysis /Лп Software Engineering (J.T.Tou, ed.),Vol.2, Academic Press, New Yore, 1971.

83. Мосунов C.E. Восстановление грамматик при анализе альфа- и гамма-спектров. //Тезисы докладов научно-технической конференции ОТИ МИФИ, Озерск, 1998.

84. Мосунов С.Е., Автоматизированная система контроля содержания радионуклидов в технологических продуктах переработки отработанных твэлов. //Автоматизация и прогрессивные технологии, Сборник научных трудов НПИ МИФИ, Новоуральск, 1997.

85. Мосунов С.Е., Глова В.И., Инструментальный комплекс генерации программ и аппаратуры на PLIS-ax для идентификации объектов и процессов, представляемых синтаксическими методами //Вестник КГТУ им.А.Н.Туполева (КАИ) изд. КГТУ, вып.З, Казань, 1997.

86. See m.cpp for the implementation of this class //class CMApp : public CWinApp {public:1. CMApp();1. Overrides

87. ClassWizard generated virtual function overrides //{{AFXVIRT UAL(CMApp) public:virtual BOOL Initlnstance{); //}}AFXVIRTUAL1. Implementation

88. AFXMSG(CMApp) afxmsg void OnAppAbout();

89. BEGINMESSAGEMAP(CMApp, CWinApp) //{{AFXMSGMAP(CMApp) ONCOMMAND (IDAPPABOUT, OnAppAbout)

90. NOTE the ClassWizard will add and remove mapping macros here. // DO NOT EDIT what you see in these blocks of generated code! //}}AFXMSGMAP

91. Standard file based document commands ONCOMMAND(IDFILENEW, CWinApp::OnFileNew) ON^COMMAND(IDFILEOPEN, CWinApp::OnFileOpen) // Standard print setup command

92. ONCOMMAND(IDFILEPRINTSETUP, CWinApp::OnFilePrintSetup) ENDMESSAGEMAP()// CMApp construction1. CMApp::CMApp() {

93. TODO: add construction code here,

94. Place all significant initialization in Initlnstance// The one and only CMApp object1. CMApp theApp;// CMApp initialization

95. BOOL CMApp::Initlnstance() {1. Standard initialization

96. If you are not using these features and wish to reduce the size // of your final executable, you should remove from the following // the specific initialization routines you do not need.tifdef AFXDLL

97. Enable3dControls (); // Call this when using MFC in a shared DLLelse

98. Enable3dControlsStatic(); // Call this when linking to MFC statically tendif1.adStdProfileSettings(); // Load standard INI file options (including MRU)

99. CMultiDocTemplate* pDocTemplate;pDocTemplate = new CMultiDocTemplate( IDRMTYPE,1. RUNTIMECLASS(CMDoc) ,

100. RUNTIMECLASS(CChildFrame), // custom MDI child frame RUNTIMECLAS S(CMView) ) ; AddDocTemplate(pDocTemplate);

101. Parse command line for standard shell commands, DDE, file open CCommandLinelnfo cmdlnfo; ParseCommandLine(cmdlnfo);

102. Dispatch commands specified on the command line if ( ! ProcessShellContmand (cmdlnfo) ) return FALSE;

103. The main window has been initialized, so show and update it. pMainFrame->ShowWindow(mnCmdShow); pMainFrame->UpdateWindow() ;return TRUE;// CAboutDlg dialog used for App Aboutclass CAboutDlg : public CDialog {public:1. CAboutDlg();1. Dialog Data

104. AFXDATA(CAboutDlg) enum { IDD = IDDABOUTBOX } ; //}}AFXDATA

105. ClassWizard generated virtual function overrides //{{AFXVIRTUAL(CAboutDlg) protected:virtual void DoDataExchange(CDataExchange* pDX) ; // DDX/DDV support //}}AFXVIRTUAL1. Implementation protected:1. AFXMSG(CAboutDlg)

106. No message handlers //}}AFXMSG DECLAREMESSAGEMAP();

107. CAboutDlg::CAboutDlg() : CDialog(CAboutDlg::IDD) {

108. AFXDATAINIT(CAboutDlg) //}}AFXDATAINITvoid CAboutDlg::DoDataExchange(CDataExchange* pDX) {

109. CDialog::DoDataExchange(pDX); //{{AFXDATAMAP(CAboutDlg) //})AFXDATAMAP

110. BEGINME S SAGEMAP(CAboutDlg, CDialog) //{{AFXMSGMAP(CAboutDlg) //No message handlers //}}AFXMSGMAP ENDMESSAGEMAP()

111. App command to run the dialogvoid CMApp::OnAppAbout() {

112. CAboutDlg aboutDlg; aboutDlg.DoModal();

113. MainFrm.h : interface of the CMainFrame class11/ / / / / / / / / / / / / / / / / / / / / / / / / / / / ////////////////////////////////////////////////class CMainFrame : public CMDIFrameWnd {

114. DECLAREDYNAMIC(CMainFrame) public:1. CMainFrame();1. Attributes public:1. Operations public:1. Overrides

115. Generated message map functions protected:1. AFXMSG(CMainFrame)afxmsg int OnCreate(LPCREATESTRUCT lpCreateStruct) ;

116. PLEMENTDYNAMIC(CMainFrame, CMDIFrameWnd)

117. BEGINMESSAGEMAP(CMainFrame, CMDIFrameWnd) //{{AFXMSGMAP(CMainFrame)

118. NOTE the ClassWizard will add and remove mapping macros here. // DO NOT EDIT what you see in these blocks of generated code ! ONWMCREATE() //}}AFXMSGMAP ENDMESSAGEMAP()static UINT indicators. = {

119. SEPARATOR, // status line indicator

120. INDICATORCAPS, IDINDICATORNUM, IDINDICATORSCRL,// CMainFrame construction/destruction

121. CMainFrame::CMainFrame() {

122. TODO: add member initialization code here

123. CMainFrame::-CMainFrame() {int CMainFrame::OnCreate(LPCREATESTRUCT lpCreateStruct) {if (CMDIFrameWnd::OnCreate(lpCreateStruct) ==-1) return -1;if (!mwndToolBar.Create(this) ||mwndToolBar.LoadToolBar(IDRMAINFRAME))

124. TRACEO("Failed to create toolbar\n"); return -1; // fail to createif (!mwndStatusBar.Create(this) ||mwndStatusBar.Setlndicators(indicators, sizeof(indicators)/sizeof(UINT)))

125. TRACEO("Failed to create status bar\n"); return -1; // fail to create

126. TODO: Remove this if you don't want tool tips or a resizeable toolbar mwndToolBar.SetBarStyle(mwndToolBar.GetBarStyle() | CBRSTOOLTIPS I CBRSFLYBY | CBRSSIZEDYNAMIC);

127. TODO: Delete these three lines if you don't want the toolbar to // be dockablemwndToolBar.EnableDocking(CBRSALIGNANY);

128. EnableDocking(CBRSALIGNANY); DockControlBar(SmwndToolBar) ;return 0;

129. BOOL CMainFrame::PreCreateWindow(CREATESTRUCT& cs) {

130. TODO: Modify the Window class or styles here by modifying // the CREATESTRUCT csreturn CMDIFrameWnd::PreCreateWindow(cs) ;// CMainFrame diagnosticsifdef DEBUGvoid CMainFrame::AssertValid() const {

131. CMDIFrameWnd::AssertValid() ;void CMainFrame::Dump(CDumpContextS dc) const {1. CMDIFrameWnd::Dump(dc) ;lendif //DEBUG// CMainFrame message handlers

132. ChildFrm.h : interface of the CChildFrame class //class CChildFrame : public CMDIChildWnd

133. DECLAREDYNCREATE(CChildFrame) public:1. CChildFrame();1. Attributes public:1. Operations public:1. Overrides

134. Generated message map functions protected:1. AFXMSG(CChildFrame)

135. NOTE the ClassWizard will add and remove member functions here. // DO NOT EDIT what you see in these blocks of generated code! //}}AFXMSG DECLAREMESSAGEMAP()class CChildFrame : public CMDIChildWnd {

136. DECLAREDYNCREATE(CChildFrame) public:1. CChildFrame ();1. Attributes public:1. Operations public:1. Overrides

137. Generated message map functions protected:1. AFXMSG(CChildFrame)

138. Generated message map functions protected:

139. PLEMENTDYNCREATE(CMDoc, CDocument)

140. BEGINME S SAGEMAP(CMDoc, CDocument) //{{AFXMSGMAP(CMDoc)

141. ONCOMMAND(IDFILESAVETERM, OnFileSaveterm) ONCOMMAND(IDSETPARAM, OnSetParam) //}}AFXMSGMAP ENDMESSAGEMAP()// CMDoc construction/destruction1. CMDoc::CMDoc() {

142. TODO: add one-time construction code here mbuflen=0; mbuf jr 4 0 9 6 . =' e ' ; mFlaggen = FALSE;m rad avr = 12;m pw avr = 3;m stat k = 1;m kt avr = 0.5;m rad med = 2;m pw med = 0;1. CMDoc: :-CMDoc ( ) {

143. BOOL CMDoc: :OnNewDocument() {if (!CDocument::OnNewDocument() ) return FALSE;

144. TODO: add reinitialization code here // (SDI documents will reuse this document)return TRUE;return FALSE;// CMDoc serializationvoid CMDoc::Serialize(CArchiveS ar) {char buf 512. ; // UINT buf1[4096] ;if (ar.IsStoring ( )) {

145. TODO: add storing code herear.Write(mbuf,mbuflen); }else {

146. TODO: add loading code here // CUIntArray mbuf; ar.Read(buf,512);mbuflen=ar.Read(mbuf,sizeof(mbuf))/sizeof(mbuf0. ) ; }// CMDoc diagnosticsifdef DEBUGvoid CMDoc::AssertValid() const {

147. UINT k,1,r,n,i,s,maxbuf; maxbuf = 4096;