Preview

Информатика

Расширенный поиск
Том 15, № 4 (2018)
Скачать выпуск PDF

СТАТЬИ ПО МАТЕРИАЛАМ КОНФЕРЕНЦИЙ 

99-101 536
Аннотация

Рассмотрена проблема описания класса вычислительной сложности BPP (от англ. bounded-error probablistic polynomial time) в терминах логического языка. BPP представляет собой класс вычислительных проблем в распознавательной постановке, которые эффективно решаются с помощью вероятностных машин Тьюринга за полиномиальное время. Класс BPP имеет важное прикладное значение, поскольку включает в себя самый широкий спектр практических проблем, которые могут быть быстро решены на современных компьютерах. В то же время до сих пор считалось, что BPP невозможно логически охарактеризовать ввиду семантических ограничений, наложенных на вероятностные машины Тьюринга, которые распознают языки в BPP. Используя новый метод характеристических множеств, в работе впервые получена логическая характеризация класса BPP в виде разрешимого фрагмента логики второго порядка.

109-116 572
Аннотация

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

МАТЕМАТИЧЕСКОЕ МОДЕЛИРОВАНИЕ 

ОБРАБОТКА СИГНАЛОВ, ИЗОБРАЖЕНИЙ, РЕЧИ, ТЕКСТА И РАСПОЗНАВАНИЕ ОБРАЗОВ 

50-58 721
Аннотация

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

ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ 

5-15 1029
Аннотация

Статья подготовлена по материалам доклада, представленного на II Съезде ученых Республики Беларусь. Предлагается краткая информация о рынке информационных технологий для здравоохранения, роли Национальной академии наук Беларуси в информатизации здравоохранения, экономических и социальных аспектах информатизации. Рассматриваются современное состояние электронного здравоохранения Беларуси и перспективное направление его развития - обеспечение единого информационного пространства системы здравоохранения посредством создания централизованной информационной системы здравоохранения, реализующей интеграционный подход на основе международных стандартов HL7 FHIR, DICOM и др.

16-25 692
Аннотация

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

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

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

26-38 579
Аннотация

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

ЛОГИЧЕСКОЕ ПРОЕКТИРОВАНИЕ 

71-85 709
Аннотация
Исследуются особенности синтеза самопроверяемых схем встроенного контроля по методу логического дополнения на основе равновесного кода «2 из 4». Описываются особенности реализации схем встроенного контроля по методу логического дополнения. Отмечается возможность синтеза структур дискретных устройств, имеющих меньшую структурную избыточность, чем при реализации схемы контроля по методу дублирования. Эффект в снижении структурной избыточности достигается за счет минимизации сложности технической реализации блока контрольной логики и использования более простых по своим структурам тестеров, чем компаратор в системе дублирования. Предлагается способ организации схемы встроенного контроля, основанный на доопределении значений контрольных функций с учетом обеспечения тестируемости элементов сложения по модулю два в блоке логического дополнения и тестера кода «2 из 4».


Creative Commons License
Контент доступен под лицензией Creative Commons Attribution 4.0 License.


ISSN 1816-0301 (Print)
ISSN 2617-6963 (Online)