|
69 идентична Gi(3), а грамматика G/31) порождает цепочки, каждый элемент которых декомпозируется в грамматику G/32) по TS(1) правилам, а сами цепочки задают разрешенные последовательности чередования пакетов от разных абонентов. Аналогичным образом при использовании ГС достаточно просто (путем добавления отдельных грамматик и правил управления) могут создаваться и другие модификации рассматриваемых протоколов. В целом, схемы предложенной МГ соответствуют схемам грамматик, приведенных в доказательствах теорем, представленных в работе [2] и схемам грамматических сетей, используемым для спецификации протоколов транспортного и сеансового уровней телематических служб связи (Т. 70/4 и Т.62) [3,4]. Это позволяет использовать предложенный подкласс регулярных комбинированных МГ или эквивалентные ему подклассы грамматических сетей [34] для эталонного описания широкого класса распознаваемых и обрабатываемых сигналов и протокольных систем, имеющих аналогичную синтаксическую структуру. При этом: существенно снижается сложность и громоздкость используемых эталонных спецификаций за счет использования регулярных грамматик и исключения дублирования грамматик, описывающих сходные структуры сигналов и протоколов; за счет сетевой структуризации синтаксического описания повышается удобство его использования и легкость модификации при изменении отдельных элементов распознаваемых и обрабатываемых сигналов или протоколов (систем протоколов); обеспечивается возможность использования эффективных медов полного и неполного [5,6] синтаксического анализа регулярных МГ, используемых в качестве базовых процедур разрабатываемых методов и алгоритмов различения и обработки сигналов и протоколов документального обмена и передачи данных; |
136 ■*s у’ г 4? просто (путем добавления отдельных грамматик и правил управления) могут создаваться и другие модификации рассматриваемых протоколов. Схемы предложенной ГС соответствуют схемам грамматик, приведенных в работе [96] и представленным выше схемам грамматических сетей, используемым для спецификации протоколов транспортного и сеансового уровней телематических служб связи (Т. 70/4 и Т.62) [113]. Это позволяет использовать предложенный подкласс регулярных комбинированных ГС или эквивалентные ему подклассы грамматических сетей для эталонного описания широкого класса распознаваемых и обрабатываемых сигналов и протокольных систем РСДЗ, имеющих аналогичную синтаксическую структуру, при этом: существенно снижается сложность и громоздкость используемых эталонных спецификаций за счет применения регулярных грамматик и исключения дублирования грамматик, описывающих сходные структуры сигналов и протоколов; за счет сетевой структуризации синтаксического описания повышается удобство его использования и легкость модификации при изменении отдельных элементов распознаваемых и обрабатываемых сигналов или протоколов (систем протоколов); обеспечивается возможность использования предложенных эффективных методов полного и неполного [96] синтаксического анализа регулярных ГС, используемых в качестве базовых процедур разрабатываемых методов и алгоритмов различения и обработки РСДЗ; варьируя параметры ГС (наборы правил управления используемых грамматик), глубину декомпозиции структуры описания, становится возможным определенным образом влиять на характеристики процедур различения и обработки в условиях искажений сигналов в канале связи и различных смежных классах сигналов (протоколов) передачи РСДЗ; формализация в рамках единой ГС эталонных описаний нескольких классов РСДЗ (используемых в них протоколов и протокольных систем) 165 при обеспечении безопасности на объектах нефтегазового комплекса, а также в рамках технологий двойного применения, • Выводы 1. Рассмотрены особенности применения предложенных классов ГС для решения задач формального описания (моделирования) типовых классов протоколов передачи, форматов кодирования и представления семантических структур РСДЗ. Показано, что применение стохастических ГС позволяет: сохранить все свойства регулярных ГС; за счет использования стохастических грамматик и правил управления повысить эффективности алгоритмов синтаксического анализа, используемых в качестве базовых процедур при выборочном и полном • (тотальном) контроле ИВС; за счет использования дополнительных правил управления обеспечить задание более сложных стохастических зависимостей между различными синтаксическими и семантическими структурами РСДЗ и достаточно простое вычисление вероятности появления различных цепочек сигналов и сообщений с использованием стандартных процедур и с учетом особенностей предложенных систем грамматик с ограниченным набором правил управления. 2. Показано, что для описания основных распознаваемых систем протоколов РСДЗ достаточно использовать предложенный подкласс регулярных комбинированных ГС или эквивалентные ему подклассы грамматических сетей для эталонного описания широкого класса распознаваемых и обрабатываемых сигналов и протокольных систем, имеющих аналогичную синтаксическую структуру, при этом: существенно снижается сложность и громоздкость используемых • эталонных спецификаций за счет использования регулярных грамматик и исключения дублирования грамматик, описывающих сходные структуры сигналов и протоколов; 166 за счет сетевой структуризации синтаксического описания повышается удобство его использования и легкость модификации при изменении отдельных элементов распознаваемых и обрабатываемых сигналов или протоколов (систем протоколов); обеспечивается возможность использования эффективных методов полного и неполного синтаксического анализа регулярных ГС, используемых в качестве базовых процедур разрабатываемых методов и алгоритмов различения и обработки сигналов и протоколов документального обмена и передачи данных; варьируя параметры ГС (наборы правил управления используемых грамматик), глубину декомпозиции структуры описания, становится возможным определенным образом влиять на характеристики процедур различения и обработки в условиях искажений сигналов в канале связи и различных смежных классах сигналов (протоколов); формализация в рамках единой ГС эталонных описаний нескольких классов сигналов (протоколов и протокольных систем) позволяет в ряде случаев синтезировать бесповторные конвейернопараллельные процедуры многоальтернативного различения. 3. Предложенные сетевые грамматические описания для форматов кодирования и представления РСДЗ позволяют специфицировать все основные правила порождения структур рассматриваемого класса и могут быть использованы для решения задач их распознавания и обработки. 4. Рассмотрение особенностей применения грамматических сетей при решении задач формального описания и моделирования РСДЗ показало, что ГС отвечают большинству из указанных требований к эталонным грамматическим спецификациям распознаваемых и обрабатываемых классов РСДЗ и используемых в них семантических структур существующих и перспективных РСУ. 5. Разработанные в разделе ГС, в отличие от описаний с использованием обычных грамматик, позволяют: |