RU56017U1

RU56017U1 - Ячейка однородной среды

Info

Publication number: RU56017U1
Application number: RU2006107681/22U
Authority: RU
Inventors: Станислав Викторович Шидловский
Original assignee: Станислав Викторович Шидловский; Фонд содействия науке и образованию - Томский региональный инкубатор технологий (ФСНО-ТРИТ); ООО "Интеллектуальные информационные системы"
Priority date: 2006-03-13
Filing date: 2006-03-13
Publication date: 2006-08-27

Abstract

Ячейка однородной среды, предназначенная для построения двухканальных линейных однородных структур, реализующих произвольные (в том числе любые скобочные) нормальные формулы из h букв, а также булевы формулы из классов бесповторных упорядоченных, неупорядоченных, повторных формул, как с пропусками аргументов так и без них, относится к автоматике и вычислительной технике и может быть использована в системах обработки информации, в контурах управления адаптивных промышленных роботов, в системах контроля знаний обучаемых, при проектировании БИС и СБИС.

В аналоге и прототипе осуществляется вычисление ограниченного подкласса бесповторных упорядоченных булевых формул

С помощью предлагаемой ячейки содержащей входы 1, 2, 3, 4, 5, 6, элементы ИЛИ 7, 8, 9, 10 элементы И 11, 12, 13, 14, 15, 16, выходы 17, 18, путем настройки ее предусмотрены различные комбинационные варианты соединение входов с выходами ячеек, чем обеспечивается вычисление, произвольных (в том числе любых скобочных) нормальных формул из h букв, а также булевых формул из классов бесповторных упорядоченных, неупорядоченных, повторных формул, как с пропусками аргументов так и без них, чего невозможно достичь в аналоге и прототипе. Тем самым расширяются функциональные возможности ячейки.

Description

Полезная модель относится к автоматике и вычислительной технике и предназначено для построения двухканальных линейных однородных структур, реализующих произвольные (в том числе любые скобочные) нормальные формулы из h букв, а также булевых формул из классов бесповторных упорядоченных, неупорядоченных, повторных формул, как с пропусками аргументов, так и без них заданных в базисе И, ИЛИ, НЕ при равной доступности прямых и инверсных выходов источников информации.

Известна ячейка однородной среды, содержащая элементы И, ИЛИ, ЗАПРЕТ (Авторское свидетельство СССР №798804, кл. G 06 F 7/00, 1978).

Недостатком известной ячейки является, ограниченный класс реализации булевых формул.

Наиболее близкой по технической сущности к предлагаемой является ячейка, содержащая элементы И, ИЛИ, причем шесть входов ячейки подключены к соответствующим входам логических элементов, а на двух выходах данной ячейки обеспечивается формирование заданных функциональных зависимостей. Данная ячейка предназначена для построения линейных однородных структур, реализующих произвольные дизъюнктивные и конъюнктивные нормальные формы (ДНФ и КНФ) из h букв, большой класс скобочных форм, а также класс бесповторных

упорядоченных булевых формул с пропусками аргументов, при равной доступности прямых и инверсных выходов источников информации (Авторское свидетельство СССР №1448344 от 01.09.1988, кл. G 06 F 7/00, бюл. №48 от 30.12.1988).

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

Формулу будем считать бесповторной, если каждый аргумент входит в нее не более одного раза. Бесповторной будем считать формулу и в том случае, если существуют тождественные преобразования, в результате которых формула, содержащая повторные аргументы, приводится к виду, не содержащему повторных аргументов. Во всех остальных случаях формула является повторной.

Под упорядоченной булевой формулой понимается следующее.

Пусть ячейки соединены так, что образуют однородную линейную структуру. Пронумеруем входы ячеек однородной среды (исключая настроечные входы) и каждому из них поставим в соответствие логический аргумент вида х_i, где i - номер входа однородной структуры. Если в записи бесповторной булевой формулы индекс i при логических аргументах возрастает слева направо, то будем считать, что это формула упорядочена. Упорядоченной будем считать формулу и в том случае, если

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

Цель полезной модели - расширение функциональных возможностей за счет реализации произвольных (в том числе любых скобочных) нормальных формул из h букв, а также булевых формул из классов бесповторных упорядоченных, неупорядоченных, повторных формул, как с пропусками аргументов, так и без них

Поставленная цель достигается тем, что ячейка однородной среды, содержащая элементы И и ИЛИ, причем первый информационный вход ячейки соединен с первым входом первого элемента И, выход которого соединен с первым входом первого элемента ИЛИ, второй вход которого соединен с выходом второго элемента И, первый вход которого соединен с первым настроечным входом ячейки, третьим входом третьего элемента ИЛИ, инверсным входом третьего элемента И и инверсным входом четвертого элемента ИЛИ, выход которого соединен со вторым прямым входом первого элемента И, выход третьего элемента ИЛИ соединен со вторым прямым входом четвертого элемента И, инверсный вход которого соединен с третьим настроечным входом ячейки, первый выход которой

соединен с выходом первого элемента ИЛИ, второй выход которой соединен с выходом второго элемента ИЛИ, второй вход которого соединен с выходом третьего элемента И, первый вход второго элемента ИЛИ соединен с выходом четвертого элемента И, первый прямой вход которого соединен со вторым информационным входом ячейки, третий информационный вход которой соединен со вторым прямым входом третьего элемента ИЛИ, со вторым прямым входом третьего элемента И, со вторым прямым входом четвертого элемента ИЛИ и с третьим прямым входом второго элемента И, второй прямой вход которого соединен с первым прямым входом четвертого элемента ИЛИ, первым прямым входом третьего элемента И, первым прямым входом третьего элемента ИЛИ и вторым настроечным входом ячейки, содержит дополнительные элементы И, причем третий информационный вход ячейки соединен с первым входом пятого элемента И, выход которого соединен с третьим входом второго элемента ИЛИ, второй вход пятого элемента ИЛИ соединен с третьим настроечным входом ячейки, с инверсным входом четвертого элемента И, с третьим прямым входом шестого элемента И, выход которого соединен с третьим входом первого элемента ИЛИ, второй прямой вход шестого элемента И соединен со вторым входом второго элемента И, первым прямым входом четвертого элемента ИЛИ, первым прямым входом третьего элемента И, первым входом третьего элемента ИЛИ, с вторым настроечным входом ячейки, первый настроечный вход которой соединен с третьим входом третьего элемента

ИЛИ, инверсным входом третьего элемента И, инверсным входом четвертого элемента ИЛИ, первым входом второго элемента И, инверсным входом шестого элемента И, первый вход которого соединен с первым прямым входом четвертого элемента И, с вторым информационным входом ячейки.

Введенные новые элементы и связи в совокупности с известными признаками приводят к достижению положительного эффекта - построению двухканальных линейных однородных структур, реализующих произвольные (в том числе любые скобочные) нормальные формулы из h букв, а также системы булевых формул из классов бесповторных упорядоченных, неупорядоченных, повторных формул, как с пропусками аргументов, так и без них. Достижение такого положительного эффекта заявляемой совокупности признаков не вытекает из известных нам технических решений. С учетом изложенного следует считать заявляемое решение соответствующим критерию "существенные отличия".

На фиг.1 показана общая схема ячейки, содержащей входы 1, 2, 3, 4, 5, 6, элементы ИЛИ 7, 8, 9, 10, элементы И 11, 12, 13, 14, 15, 16, выходы 17, 18: на фиг.2 представлена детализированная схема этой же ячейки с указанием номеров входов на каждый элемент ячейки, показаны номера информационных и настроечных входов, а также номера выходов ячейки, элементам ИЛИ присвоены номера от 1 до 4, элемента И - от 1 до 6 для более удобного описания и синтеза ячейки; на фиг.3 - коммутационные

и функциональные схемы, реализуемые ячейкой путем настройки; Входами первого элемента ИЛИ (фиг.2) являются выходы первого, второго, шестого элементов И, входами второго элемента ИЛИ являются выходы третьего, четвертого, пятого элементов И. Выходы первого и второго элементов ИЛИ являются первым и вторым выходами ячейки соответственно. Инверсный вход четвертого, второй вход пятого, третий прямой вход шестого элементов И объединены и являются первым входом ячейки (третьим настроечным). Первые прямые входа третьего, четвертого элементов ИЛИ, первый прямой третьего, вторые прямые второго и шестого элементов И объединены и являются вторым входом ячейки (второй настроечный). Инверсные входа третьего, шестого, первый вход второго элементов И, третий вход третьего, инверсный четвертого элементов ИЛИ объединены и являются третьим входом ячейки (первый настроечный). Первые прямые входа четвертого и шестого элементов И объединены и являются четвертым входом ячейки (второй информационный). Вторые прямые входа третьего и четвертого элементов ИЛИ, третий вход второго, второй прямой вход третьего, первый прямой вход пятого элементов И объединены и являются пятым входом ячейки (третий информационный). Первый вход первого элемента И является шестым входом ячейки ( первый информационный).

Структура предлагаемой ячейки описывается следующей системой формул:

Ячейка путем настройки реализует следующие системы формул:

1) при z₁=0, z₂=0, z₃=0,	5) при z₁=1, z₂=0, z₃=0,

2) при z₁=0, z₂=0, z₃=1,	6) при z₁=1, z₂=0, z₃=1,

3) при z₁=0, z₂=1, z₃=0,	7) при z₁=1, z₂=1, z₃=0,

4) при z₁=0, z₂=1, z₃=1,	8) при z₁=1, z₂=1, z₃=1,

Проиллюстрируем работу однородных сред, построенных из предлагаемых ячеек на следующих примерах.

Пример 1. На фиг.4 показаны настроечные коды каждой ячейки однородной среды, реализующей бесповторную упорядоченную формулу

Пример 2. Для реализации бесповторной неупорядоченной формулы вида

строиться однородная структура с настроечными кодами, представленная на фиг.5.

Пример 3. Для реализации повторной упорядоченной формулы с пропуском аргумента

строиться однородная структура с настроечными кодами, представленная на фиг.6.

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

Ячейка может быть выполнена на микросхемах серии К555 (ЛИ3, ЛИ6, ЛЛ1, ЛН1. Цифровые интегральные микросхемы: / Справ. - М.И.Богданович, И.Н.Грель, В.А.Прохоренко, В.В.Шалимо. - Мн.: Беларусь, 1991. - 493 с.).

Claims

Ячейка однородной среды, предназначенная для построения двухканальных линейных однородных структур, реализующих произвольные (в том числе любые скобочные) нормальные формулы из h букв, а также булевы формулы из классов бесповторных упорядоченных, неупорядоченных, повторных формул, как с пропусками аргументов, так и без них, содержащая четыре элемента ИЛИ и четыре элемента И, причем первый информационный вход ячейки соединен с первым входом первого элемента И, выход которого соединен с первым входом первого элемента ИЛИ, второй вход которого соединен с выходом второго элемента И, первый вход которого соединен с первым настроечным входом ячейки, третьим входом третьего элемента ИЛИ, инверсным входом третьего элемента И и инверсным входом четвертого элемента ИЛИ, выход которого соединен со вторым прямым входом первого элемента И, выход третьего элемента ИЛИ соединен со вторым прямым входом четвертого элемента И, инверсный вход которого соединен с третьим настроечным входом ячейки, первый выход которой соединен с выходом первого элемента ИЛИ, второй выход которой соединен с выходом второго элемента ИЛИ, второй вход которого соединен с выходом третьего элемента И, первый вход второго элемента ИЛИ соединен с выходом четвертого элемента И, первый прямой вход которого соединен со вторым информационным входом ячейки, третий информационный вход которой соединен со вторым прямым входом третьего элемента ИЛИ, со вторым прямым входом третьего элемента И, со вторым прямым входом четвертого элемента ИЛИ и с третьим прямым входом второго элемента И, второй прямой вход которого соединен с первым прямым входом четвертого элемента ИЛИ, первым прямым входом третьего элемента И, первым прямым входом третьего элемента ИЛИ и вторым настроечным входом ячейки, отличающаяся тем, что в нее введены два элемента И, причем третий информационный вход ячейки соединен с первым входом пятого элемента И, выход которого соединен с третьим входом второго элемента ИЛИ, второй вход пятого элемента ИЛИ соединен с третьим настроечным входом ячейки, с инверсным входом четвертого элемента И, с третьим прямым входом шестого элемента И, выход которого соединен с третьим входом первого элемента ИЛИ, второй прямой вход шестого элемента И соединен со вторым входом второго элемента И, первым прямым входом четвертого элемента ИЛИ, первым прямым входом третьего элемента И, первым входом третьего элемента ИЛИ, с вторым настроечным входом ячейки, первый настроечный вход которой соединен с третьим входом третьего элемента ИЛИ, инверсным входом третьего элемента И, инверсным входом четвертого элемента ИЛИ, первым входом второго элемента И, инверсным входом шестого элемента И, первый вход которого соединен с первым прямым входом четвертого элемента И, с вторым информационным входом ячейки.