Ультразвуковые датчики широко используются в качестве датчиков приближения (proximity), для дистанционного обнаружении различных объектов, измерения расстояний. Как правило, датчики действуют путем посылки короткого цуга ультразвуковых волн в направлении объекта обнаружения, который, отразившись от поверхности объекта, возвращается обратно. Затем, электронная схема производит расчет времени между моментом посылки сигнала и моментом приема отраженного эха. Расстояние является производной величиной от времени и скорости звука в окружающей среде.
В настоящее время на рынке представлен широкий выбор ультразвуковых датчиков в различных конструктивных исполнениях, действующих в различных акустических частотах. Палитра поведения различных акустических частот в схожих условиях окружающей среды не является одинаковой. В большинстве случаев не составит труда, руководствуясь характеристиками, данными производителем, выбрать подходящий датчик для своей задачи. Но в случаях, когда в работе устройств появляются сбои или возникают существенные ошибки в измерениях, необходимо произвести более тщательную оценку факторов влияния, таких как:
¬(X ∨ Y) ∧ (X ∧ ¬Y) = 0
Объяснение:
¬(X ∨ Y) ∧ (X ∧ ¬Y) = ¬X ∧ ¬Y ∧ (X ∧ ¬Y) = ¬X ∧ ¬Y ∧ (¬Y ∧ X) = ¬X ∧ (¬Y ∧ ¬Y) ∧ X = ¬X ∧ X ∧ (¬Y ∧ ¬Y) = (¬X ∧ X) ∧ (¬Y ∧ ¬Y) = 0 ∧ ¬Y = 0
Законы:
¬(A ∨ B) = ¬A ∧ ¬B - закон Де Моргана (общей инверсии для логического сложения)
A ∧ B = B ∧ A - переместительный (коммутативный) закон (для логического умножения)
A ∧ (B ∧ C) = (A ∧ B) ∧ C - сочетательный (ассоциативный) закон (для логического умножения)
A ∧ ¬A = 0 - закон исключённого третьего (для логического умножения)
A ∧ A = A - закон повторения (для логического умножения)
A ∧ 0 = 0 - закон операций с константой (для логического умножения)
