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

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

Індекс рубрикатора НБУВ: В128.2

Рубрики:

Багатозначна логіка

Шифр НБУВ: Ж14024 Пошук видання у каталогах НБУВ 

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

Ключ. слова: булева функция, кодирование, декомпозиция, программируемая логическая матрица, q-разбиение, ортогонализация, конъюнктерм
Індекс рубрикатора НБУВ: З972-01

Рубрики:

Дискретна обчислювальна техніка

Шифр НБУВ: Ж29144 Пошук видання у каталогах НБУВ 

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

Для 3D спекл-інтерферометрів запропоновано спрощену технологію реєстрації та обробки спекл-інтерферограм з одноразовим зсувом фази, яка дає можливість обмежитися мінімальною кількістю зображень. Наведено результати експериментів, які підтверджують її ефективність.

Приділено увагу аналізу як відомих інтерферометричних методів і технологій, так і нових методів і систем двокрокової лазерної фазозсувної інтерферометрії та електронної спекл-інтерферометрії для технічної діагностики поверхні матеріалів і виробів. Запропоновано нові підходи до реконструкції рельєфу наношорсткої поверхні та відтворення тривимірних полів поверхневих переміщень. Розглянуто ряд оптико-цифрових інтерференційних систем діагностування стану поверхні та приповерхневих шарів зразків конструкційних матеріалів під час їх деформування і руйнування за статичних та циклічних навантажень, а також виявлення прихованих дефектів. Розроблено принципово нові алгоритми обробки фазозсувних інтерферограм, що дозволяють реконструювати макро- і нанорельєф поверхні біля концентраторів напружень у порівнянні з простими технічними засобами.

Розглянуто питання програмного забезпечення автоматизованої оптоелектронної системи контролю та вимірювання капілярних характеристик матеріалів за допомогою метода лежачої краплі. Показано можливість та ефективність використання простих градаційних перетворень для придушення шуму і виділення контуру об'єкта під час попередньої обробки його зображення.

Розглянуто питання програмного забезпечення автоматизованої оптоелектронної системи контролю та вимірювання капілярних характеристик матеріалів за методом лежачої краплі. Показано можливість та ефективність використання простих геометричних перетворень для придушення шуму й усунення плям та блимів із зображення під час попередньої його обробки.

Запропоновано алгоритми радіометричної корекції спекл-інтерферограм, що не вимагають зовнішніх даних для корекції зображень. Наведено граф-схеми алгоритмів. Пропонований підхід дозволяє покращити якість спекл-інтерферограм завдяки частковому усуненню нерівномірності інтенсивності на зображенні.

Проаналізовано перетворення амплітуд та частот сигналів у різницевому електронному спекл-інтерферометрі Ліндерця. Обгрунтовано вибір схеми демодуляції інформаційного сигналу. Одержано точний вираз для співвідношення сигнал/шум з урахуванням переміщення спекла та некогерентності опорного і предметного променів.

Проведено порівняльний аналіз похибок визначення фази для двох методів ESPI. Запропоновано спосіб фільтрації корисного сигналу на зображеннях циклічних фаз шляхом використання його кореляційних характеристик.

Для відтворення рельєфу поверхні запропоновано удосконалений алгоритм оброблення інтерферограм, отриманих за одноразового довільного зсуву фази опорного променя. Удосконалений алгоритм дає можливість відтворювати не тільки рельєф гладкої або наношорсткої поверхонь, але й окремо його компоненти, тобто макрорельєф (хвилястість) та нанорельєф (шорсткість). За допомогою комп'ютерного моделювання цього алгоритму проаналізовано похибки відтворення повного рельєфу поверхні та його компонент.