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

ОАО «ГСКБ «Алмаз-Антей», г. Железнодорожный

Настоящая статья продолжает развитие метода, предложенного в работе [1]. Как видно из рисунка 1 работы [1], информация из первого элемента формальной схемы пересылается обратно в первый элемент формальной схемы, проходя при этом через второй элемент формальной схемы. При этом первый элемент формальной схемы находится на более высоком иерархическом уровне, чем второй элемент формальной схемы. Это было бы оправдано, если бы оба элемента формальной схемы являлись математическими абстракциями.

Однако поскольку математической абстракцией является лишь первый элемент формальной схемы, а второй элемент формальной схемы математической абстракцией не является, эффективность предлагаемого метода может быть повышена посредством расположения обоих элементов формальной схемы на одном иерархическом уровне, так как при этом при прочих равных характеристиках второго элемента формальной схемы увеличивается объём информации, запоминаемой во втором элементе формальной схемы при прохождении через него информации, пересылаемой из первого элемента формальной схемы обратно в первый элемент формальной схемы.

Заметим также, что необходимость введения шлейфа (шлейф – это технический термин, используемый разработчиками подсистем функционального контроля различных АСУ и хорошо подходящий к предлагаемому методу, хотя и приобретающий в рамках данного метода несколько более общий характер; в компьютерной литературе вместо термина «шлейф» часто используется термин «обратная петля»), используемого в работе [1] и в настоящей статье, но отсутствующего в более ранних работах автора по данной тематике, объясняется разнородностью элементов формальной схемы.

Всё вышесказанное иллюстрируется приведённым ниже рисунком [1].

Академический журнал Западной Сибири № 2 (45) Том 9, 2013

Рисунок 1

Естественные науки