Формирования XML-описания

Средствами алгебры алгоритмов описаны синтезированные математические модели информационных технологий удаления, создания xml-формата на основе xml элемента и снятия выделения операции секвенирования. Модель удаление базируется на вычислении размеров прямоугольной области операции секвенирования. В модели xml-описания используются стандартные подсистемы создания элементов и атрибутов. Языки объектного программирования C #, платформы Microsoft Visual Studio.NET программно реализован и апробирован модели формирования xml-описания и функционального унитерму деселекции операции секвенирования.

Наиболее распространенными методами описания алгоритмов является вербальный и блок-схемный. Кроме них известные методы Поста, Тьюринга, Ахо-Ульмана-Хопкрофта, Шенгаге, рекурсивных функций, Маркова, Колмогорова, Криницкого. Очевидно, что вербальный и блок-схемный методы обеспечивают текстовое и текстово-графическое описание алгоритмов соответственно. Также известно, что существующие методы не обеспечивают математического описания алгоритмов.

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

Есть возможность создавать сложную систему знаков алгебры алгоритмов средствами распространенных универсальных компьютерных систем, таких, как Word, Coral Draw, Page Maker, In Design и др.. Однако использование таких универсальных систем для набора и редактирования формул алгоритмов требует больших затрат труда и компьютерного времени и поэтому малоэффективно.

Для повышения уровня автоматизации и уменьшения затрат времени для набора и редактирование формул алгоритмов созданы специализированные редакторы Модал и АБСТРАКТАЛ. Однако модели этих систем не обеспечивают возможности автоматической оптимизации формул алгоритмов. Выполнения автоматических преобразований формул алгоритмов предусмотрено моделью специализированной компьютерной системы.

Но для обеспечения возможности выполнения оптимизации формул алгоритмов прежде всего необходимо создать и реализовать модели удаления, формирования XML-описания и снятия (деселекции) выбора операции секвенирования.