18. Метод математической логики в оценке состояния рэс.

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

Аксиомы: Свойства логических операций. Дистрибутивность: . Законы поглощения: .		С1	С2	С3	С4	С5	С6	С7	С8
	у1	0	1	1	1	1	1	1	1
	у2	0	0	1	1	1	1	1	1
	у3	0	0	0	1	1	1	1	1
	у4	0	0	0	0	1	1	1	1
	у5	0	1	1	1	0	1	1	1
	у6	0	0	1	1	0	0	1	1
	у7	0	0	0	1	1	1	0	1
	у8	0	0	0	0	1	1	0	0

Пары состояний	Различающие признаки (логические суммы)
С1С2	y1+y5
C1C3	y1+y2+y5+y6
C1C4	y1+y2+y3+y5+y6+y7
C1C5	y1+y2+y3+y4+y7+y8
C1C6	y1+y2+y3+y4+y5+y7+y8
C1C7	y1+y2+y3+y4+y5+y6
C1C8	y1+y2+y3+y4+y5+y6+ y7+y8
C2C3	y2+y6
C2C4	y2+y3+y6+y7
C2C5	y2+y3+y4+y5+y7+y8
C2C6	y2+y3+y4+y7+y8
C2C7	y2+y3+y4+y6
C2C8	y2+y3+y4+y6+y7
C3C4	y3+y7
C3C5	y3+y4+y5+y6+y7+y8
C3C6	y3+y4+y6+y7+y8
C3C7	y3+y4
C3C8	y3+y4+y7
C4C5	y4+y5+y6+y8
C4C6	y4+y6+y8
C4C7	y4+y7
C4C8	y4
C5C6	y5
C5C7	y5+y6+y7+y8
C5C8	y5+y6+y8
C6C7	y6+y7+y8
C6C8	y6+y8
C7C8	y7

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

y=y4y5y7(y2+y6)(y6+y8)=y4y5y7(y6+y8y2+y8y6)=y4y5y6y7+y4y5y7y2y8=y4y5y6y7

19. Автомат логического контроля.

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

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

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

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

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

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