ДЕКОМПОЗИЦИОННЫЙ СПОСОБ РЕАЛИЗАЦИИ БЕСПОВТОРНЫХ ФУНКЦИЙ НЕПРЕРЫВНОЙ ЛОГИКИ
DECOMPOSITION METHOD OF EXECUTING NONITERATED CONTINUOUS LOGIC FUNCTIONS

Изобретение относится к аналоговой вычислительной технике и может быть использовано при построении средств логической обработки континуальных данных.
Известны декомпозиционные способы реализации бесповторных функций непрерывной логики (см., например, фиг.1, фиг.2 в описании изобретения к авт. св. СССР 1251114, кл. G06G 7/25, 1986 г.), в которых два аргумента реализуемой функции (аналоговых сигнала) подают на компаратор.
К причине, препятствующей достижению указанного ниже технического результата при использовании известных способов, относятся ограниченные функциональные возможности, обусловленные тем, что не выполняется реализация произвольной бесповторной непрерывно-логической функции, зависящей от n (n>1) аргументов - аналоговых сигналов.
Наиболее близким способом того же назначения к заявленному изобретению по совокупности признаков является принятый за прототип декомпозиционный способ реализации бесповторных функций непрерывной логики (фиг.4 в описании изобретения к авт. св. СССР 1365099, кл. G06G 7/12, 1988 г.), в котором два связанных операцией max или min аргумента реализуемой функции (аналоговых сигнала) подают на неинвертирующий, инвертирующий входы компаратора, подсоединенного выходом к управляющему входу переключателя, на нормально замкнутый и нормально разомкнутый контакты которого подают остаточные функции, полученные из реализуемой функции, когда сигнал на неинвертирующем входе компаратора соответственно меньше и больше сигнала на его инвертирующем входе, причем значение реализуемой функции снимают с коммутационного контакта переключателя.
К причине, препятствующей достижению указанного ниже технического результата при использовании прототипа, относятся ограниченные функциональные возможности, обусловленные тем, что не выполняется peaлизация произвольной бесповторной непрерывно-логической функции, зависящей от n (n>1) аргументов - аналоговых сигналов.
Техническим результатом изобретения является расширение функциональных возможностей за счет обеспечения реализации произвольной бесповторной непрерывно-логической функции, зависящей от n (n>1) аргументов - аналоговых сигналов.
<mrow><mrow><mo>(</mo><mrow><mi>i</mi><mo>=</mo><mover accent="true"><mrow><mn>2,</mn><mi>n</mi><mo>−</mo><mn>1</mn></mrow><mo stretchy="true">¯</mo></mover></mrow><mo>)</mo></mrow></mrow>
<mrow><mrow><mo>(</mo><mrow><mi>j</mi><mo>=</mo><mover accent="true"><mrow><msup><mrow><mn>1,2</mn></mrow><mrow><mi>i</mi><mo>−</mo><mn>1</mn></mrow></msup></mrow><mo stretchy="true">¯</mo></mover></mrow><mo>)</mo></mrow></mrow>
j-й
j
j
j
j
j
Указанный технический результат при осуществлении изобретения достигается тем, что в декомпозиционном способе реализации бесповторных функций непрерывной логики, в котором два связанных операцией max или min аргумента реализуемой функции (аналоговых сигнала) подают на неинвертирующий, инвертирующий входы компаратора, подсоединенного выходом к управляющему входу переключателя, на нормально замкнутый и нормально разомкнутый контакты которого подают остаточные функции, полученные из реализуемой функции, когда сигнал на неинвертирующем входе компаратора соответственно меньше и больше сигнала на его инвертирующем входе, причем значение реализуемой функции снимают с коммутационного контакта переключателя, особенность заключается в том, что на i-м
уровне декомпозиции два связанных операцией max или min аргумента i
остаточной функции (аналоговых сигнала) подают на неинвертирующий, инвертирующий входы i-го компаратора, подсоединенного выходом к управляющему входу i-го переключателя, на нормально замкнутый и нормально разомкнутый контакты которого подают остаточные функции, полученные из формируемой на коммутационном контакте i-го переключателя i-й остаточной функции, когда сигнал на неинвертирующем входе i-го компаратора соответственно меньше и больше сигнала на его инвертирующем входе.
На фиг.1 и фиг.2 изображены графы, иллюстрирующие предлагаемый декомпозиционный способ реализации бесповторных функций непрерывной логики.
Сведения, подтверждающие возможность осуществления изобретения с получением вышеуказанного технического результата, заключаются в следующем.
<mrow><mrow><mo>(</mo><mrow><mi>i</mi><mo>=</mo><mover accent="true"><mrow><mn>2,</mn><mi>n</mi><mo>−</mo><mn>1</mn></mrow><mo stretchy="true">¯</mo></mover></mrow><mo>)</mo></mrow></mrow>
<mrow><mrow><mo>(</mo><mrow><mi>j</mi><mo>=</mo><mover accent="true"><mrow><msup><mrow><mn>1,2</mn></mrow><mrow><mi>i</mi><mo>−</mo><mn>1</mn></mrow></msup></mrow><mo stretchy="true">¯</mo></mover></mrow><mo>)</mo></mrow></mrow>
j
j
j
j
j
j
В предлагаемом декомпозиционном способе реализации бесповторных функций непрерывной логики, зависящих от n (n>1) аргументов - аналоговых сигналов, два связанных операцией max или min аргумента реализуемой функции подают на неинвертирующий, инвертирующий входы компаратора, подсоединенного выходом к управляющему входу переключателя, на нормально замкнутый и нормально разомкнутый контакты которого подают остаточные функции, полученные из реализуемой функции, когда сигнал на неинвертирующем входе компаратора соответственно меньше и больше сигнала на его инвертирующем входе, причем значение реализуемой функции снимают с коммутационного контакта переключателя, а на i-м
уровне декомпозиции два связанных операцией max или min аргумента i-й
остаточной функции подают на неинвертирующий, инвертирующий входы i-го компаратора, подсоединенного выходом к управляющему входу i-го переключателя, на нормально замкнутый и нормально разомкнутый контакты которого подают остаточные функции, полученные из формируемой на коммутационном контакте i-го переключателя i-й остаточной функции, когда сигнал на неинвертирующем входе i-го компаратора соответственно меньше и больше сигнала на его инвертирующем входе.
<mrow><msub><mi>x</mi><mn>1</mn></msub><msub><mi>x</mi><mn>2</mn></msub><mo>∨</mo><msub><mi>x</mi><mn>3</mn></msub><msub><mi>x</mi><mn>4</mn></msub></mrow>
<mrow><msub><mi>x</mi><mn>1</mn></msub><mo>∨</mo><msub><mi>x</mi><mn>3</mn></msub><mrow><mo>(</mo><mrow><msub><mi>x</mi><mn>2</mn></msub><mo>∨</mo><msub><mi>x</mi><mn>4</mn></msub></mrow><mo>)</mo></mrow></mrow>
<mo>∨</mo>
Для обоснования предлагаемого способа удобно использовать его топологическую модель, представленную в виде графа. На фиг.1 и фиг.2, в качестве примера, построены графы, иллюстрирующие предлагаемый способ применительно к реализации бесповторных функций непрерывной логики
и
, где
есть символы операций max, min. В построенных графах полученные на каждом уровне декомпозиции остаточные функции записаны рядом с соответствующими узлами, а около каждой ветви указано условие, при выполнении (не выполнении) которого эта ветвь существует (отсутствует). Аналогичным образом могут быть построены графы, реализующие любые другие бесповторные функции непрерывной логики, что доказывает возможность достижения упомянутого выше технического результата.
Вышеизложенные сведения позволяют сделать вывод, что предлагаемый декомпозиционный способ реализации бесповторных функций непрерывной логики имеет более широкие по сравнению с прототипом функциональные возможности, так как обеспечивает реализацию произвольной бесповторной непрерывно-логической функции, зависящей от n (n>1) аргументов - аналоговых сигналов.