Підвищення ефективності математичного і програмного забезпечення редактора формул алгоритмів

Abstract

Дисертаційна робота присвячена створенню ієрархічно-модульної моделі редактора формул, яка описує процеси адаптації, згортання, розгортання, вирізання, копіювання та вставляння формул алгоритмів, реалізація якого забезпечила підвищення рівня автоматизації, зменшення кількості дій для набору та редагування формул алгоритмів. Синтезовано і досліджено математичне забезпечення процесів адаптації вложених формул до базової формули, згортання та розгортання формул, копіювання, вирізання і вставляння формул алгоритмів. Розроблено модель структури даних, яка містить верхні і нижні індекси унітермів, секвентні області значень унітермів, ознаки циклів з перед- та післяумовами, системні назви унітермів та вхідні і вихідні параметри унітермів та використовується для введення, виведення, збереження і обміну даними з іншими прикладними системами. Математичне забезпечення програмно реалізовано і апробовано. Диссертационная работа посвящена созданию иерархически модульной модели редактора формул, которая описывает процессы адаптации, свертывания, развертывания, вырезания, копирования и вставки формул алгоритмов, реализация которого обеспечила повышение уровня автоматизации, уменьшения количества действий для набора и редактирования формул алгоритмов. Синтезировано и исследовано математическое обеспечение процессов адаптации вложеных формул к базовой формуле, свертывания и развертывания формул, копирования, вырезания и вставки формул алгоритмов. Разработана модель структуры данных, которая содержит верхние и нижние индексы унитермов, секвентные области значений унитермов, признаки циклов с пред- и послеусловиями, системные названия унитермов, входные и исходные параметры унитермов и используется для ввода, вывода, сохранения и обмена данными с другими прикладными системами. Математическое обеспечение программно реализовано и апробировано. Dissertation work is devoted to the creation of hierarchical module model of formula editor, which difference is that the mathematical providing describes the processes of adaptation, collapsing, expanding, cutting, copying and pasting of algorithm formulas, realization of which provided the increase of automation level, diminishing of action amount for typing and editing the algorithm formulas. The mathematical providing of data structures is developed, which contains the variables of over and below indexes of unitherms, sequence areas of unitherms values, signs of loop with before- and after condition, system names of unitherms and input and output parameters of unitherms and is used for inputting and outputting, saving and data exchange with other applications. The mathematical providing of adaptation processes of inserted formulas is synthesized and researched to the base formula, collapsing and expanding of formulas, copying, cutting and pasting of algorithm formulas. The mathematical providing is programmatically realized. Construction principle of formula editor of algorithms, which consists in a two-level hierarchical modular construction, realization of which would provide implementation of adaptation processes, collapsing and expanding, copying, cutting and pasting of abstract formula algorithms, is first developed. The mathematical providing of typing processes and editing the algorithm formulas, which is adaptation described by, collapsing and expanding of abstract algorithm formulas, copying, cutting, pasting and deleting of algorithm formulas, is synthesized and minimized after the amount of unitherm algorithms. The mathematical providing of data structure is developed, which includes types, orientation, colour, thickness of line, geometrical parameters of operation signs and is used for inputting and outputting, saving and data exchange with other application. The mathematical providing of typing processes, adaptation, collapsing, expanding, deleting of abstract algorithm formulas, synthesis of mathematical models, calculation of unitherms and abstract algorithm formulas geometrical sizes is built. By research of the higher described mathematical providing the method of mathematical induction yet before practical realization and approbation of models discovered and the corrected are allowed on the stage of synthesis of their error structure, that is why expenses on planning of editor are diminished. Main window, mathematical providing of typing processes and editing of abstract algorithm formulas, adaptation, collapsing, expanding are practically realized by the tools of Borland Delphi 2006 and approved at a typing and layout of algorithm formulas. The authenticity of the realized models are confirmed by experimental researches. The analysis of editor using efficiency of the АбстрактАл is conducted, which proved that amount of operations for realization of typing processes and editing in this system in 1,5-2 times less ,than in the universal systems and in the specialized system МОДАЛ.