Informatics (E-Journal) / Информатика
Not a member yet
963 research outputs found
Sort by
ПРОБЛЕМЫ СОЗДАНИЯ АВТОМАТИЗИРОВАННЫХ ИНФОРМАЦИОННЫХ СИСТЕМ ДЛЯ ОРГАНОВ ТЕРРИТОРИАЛЬНОГО УПРАВЛЕНИЯ
Get PDFИзлагаются вопросы создания автоматизированных информационных систем для органов территориального управления с использованием информационно-коммуникационных технологий
Экспериментальная оценка состязательных атак на глубокие нейронные сети при решении задач распознавания медицинских изображений
Get PDFThis paper addresses the problem of dependence of the success rate of adversarial attacks to the deep neural networks on the biomedical image type and control parameters of generation of adversarial examples. With this work we are going to contribute towards accumulation of experimental results on adversarial attacks for the community dealing with biomedical images. The white-box Projected Gradient Descent attacks were examined based on 8 classification tasks and 13 image datasets containing more than 900 000 chest X-ray and histology images of malignant tumors. An increase of the amplitude and the number of iterations of adversarial perturbations in generating malicious adversarial images leads to a growth of the fraction of successful attacks for the majority of image types examined in this study. Histology images tend to be less sensitive to the growth of amplitude of adversarial perturbations. It was found that the success of attacks was dropping dramatically when the original confidence of predicting image class exceeded 0,95.Исследуются обнаруженные несколько лет назад проблемы уязвимости глубоких нейронных сетей к так называемым состязательным атакам, которые заставляют сеть принимать ошибочные классификационные решения. Состязательные атаки осуществляются с помощью «атакующих» изображений – незначительно модифицированных версий исходных. Целью работы является изучение зависимости успеха состязательных атак от типа распознаваемых биомедицинских изображений и значений управляющих параметров алгоритмов генерации их атакующих версий. Экспериментальные исследования проводились на примере решения восьми типичных задач медицинской диагностики с использованием глубокой нейронной сети InceptionV3, а также 13 наборов, содержащих более чем 900 000 рентгеновских изображений грудной клетки и гистологических изображений злокачественных опухолей. С увеличением амплитуды вредоносного возмущения и количества итераций генерации зловредного шума вероятность ошибки классификации растет. В то же время различные типы изображений демонстрируют разную чувствительность к данном параметрам. Изображения, которые изначально классифицировались сетью с уверенностью более 95 %, гораздо более устойчивы к атакам. Нейронные сети, обученные для классификации гистологических изображений, оказались более устойчивы к состязательным атакам нежели сети, обученные для классификации рентгеновских изображений
ОСНОВЫ МИНИМАЛЬНО ИЗБЫТОЧНОЙ ИНТЕРВАЛЬНО-МОДУЛЯРНОЙ АРИФМЕТИКИ С РЕКУРСИВНОЙ КОДОВОЙ СТРУКТУРОЙ
No full textДля нового класса интервально-модулярных систем счисления (ИМСС) - рекурсивных минимально избыточных ИМСС (МИИМСС) - предложена методология синтеза компьютерных алгоритмов, которые ориентированы на высокоточные вычисления. На примере рекурсивных МИИМСС второго уровня показано, что базовые аддитивные и мультипликативные процедуры для исследуемых числовых систем сохраняют все важнейшие преимущества модулярной арифметики: внутренний параллелизм, простоту механизма реконфигурации вычислительных структур, наращивания мощности динамического диапазона и др. При этом в отличие от классических аналогов рекурсивные МИИМСС обладают более простыми немодульными процедурами. Это обусловлено явным присутствием в составе кодовых слов интервальных индексов чисел
Формирование адресных последовательностей с заданной переключательной активностью
Get PDFThe relevance of testing modern computing systems and, first of all, their storage devices is shown. The studies are based on the use of a universal method for generating the address sequences with desired properties for multiple March tests of random access memory devices. The modification of economical method of Antonov and Saleev is used as mathematical model to form Sobol sequences. For this model a structural diagram of its hardware implementation is presented, where the storage device for storing direction numbers is used as the basis. The set of multitudes makes up the generating matrix. It is noted that the form of the generating matrix determines the basic properties of the generated sequences. Mathematical expressions are obtained that make it possible to estimate the limiting values of switching activity, both of the sequence itself and of its individual bits. A technique is proposed for the synthesis of generators of address sequences with a given switching activity both of its individual bits and of the sequence as a whole. Examples of the application of the proposed methods are considered. The applicability of the presented results to the synthesis of test sequence generators with a given switching activity for the purpose of testing storage devices and the formation of controlled random test sequences is substantiated. The results of the practical implementation of address sequence generators are presented and their main characteristics are evaluated.Показывается актуальность тестирования современных вычислительных систем, и в первую очередь их запоминающих устройств. Исследования основаны на применении универсального метода генерирования адресных последовательностей с заданными свойствами для многократных маршевых тестов оперативных запоминающих устройств. В качестве математической модели используется модификация экономичного способа Антонова и Салеева для формирования последовательностей Соболя. Для указанной модели приводится структурная схема ее аппаратурной реализации, основу которой составляет запоминающее устройство для хранения направляющих чисел. Множество этих чисел образует порождающую матрицу. Отмечается, что вид порождающей матрицы определяет основные свойства генерируемых последовательностей. Получены математические выражения, позволяющие оценить предельные значения переключательной активности самой последовательности и определенных ее разрядов. Предлагаются методики синтеза генераторов адресной последовательности с заданной переключательной активностью как отдельных ее разрядов, так и последовательности в целом. Рассматриваются примеры использования предлагаемых методик. Обосновывается применимость изложенных результатов для синтеза генераторов тестовых последовательностей с заданной переключательной активностью при тестировании запоминающих устройств и формировании управляемых вероятностных тестовых последовательностей. Приводятся результаты практической реализации генераторов адресных последовательностей и оцениваются их основные характеристики.
МИНИМИЗАЦИЯ ПЛОЩАДИ РЕГУЛЯРНЫХ МАТРИЧНЫХ СТРУКТУР ЗАКАЗНЫХ СБИС МЕТОДОМ СВЕРТКИ
No full textРассматривается проблема оптимизации площади двумерных матричных структур управляющей логики заказных СБИС. Описываются пути решения двух взаимосвязанных задач: минимизации функционального описания блока управляющей логики, реализуемого матричной структурой, и укладки этого описания на кристалл. Первая задача решается на этапе логического проектирования матричной структуры, вторая - на этапе ее топологического проектирования. Площадь матричных структур существенно зависит от того, насколько хорошо эти задачи будут решены на обоих этапах
ПРОБЛЕМЫ ПРАКТИЧЕСКОГО ПРИМЕНЕНИЯ ЭЛЕКТРОННЫХ ДОКУМЕНТОВ И ЭЛЕКТРОННОЙ ЦИФРОВОЙ ПОДПИСИ В БЕЛАРУСИ
Get PDFРассмотрены вопросы применения на практике электронных документов и электронной цифровой подписи, отмечены недостатки существующих правовых актов, препятствующих их широкому внедрению
ЭВОЛЮЦИЯ СИСТЕМ АВТОМАТИЗИРОВАННОЙ ОБРАБОТКИ ИНФОРМАЦИИ
Get PDFРассмотрены этапы разработок автоматизированных систем, проводимых в лаборатории вычислительных сетей ОИПИ НАН Беларуси, и перспективные направления исследований
Математическое моделирование тепловых режимов космических аппаратов негерметичного исполнения
Get PDFA description of the software complex for modeling the thermal conditions of non-hermetic spacecrafts in circular and elliptical orbits is given. The software complex structure, mathematical models of thermal processes in the presence of thermal control system are presented. For thermal processes calculation the method of lumped parameters is used. The results of thermal stabilization for model of orbital optical device are given. The software complex can be used in the design and development of thermal control systems of nonhermetic spacecraft, and in the determination of the causes of emergency situations in these systems in orbit as well.Предлагается описание программного комплекса для моделирования тепловых режимов космических аппаратов негерметичного исполнения в условиях полета по круговым и эллиптическим орбитам. Приводятся состав и структура программного комплекса, математические модели тепловых процессов при наличии системы обеспечения тепловых режимов космических аппаратов. Для расчета тепловых процессов используется метод сосредоточенных параметров. Даются результаты вычислительных экспериментов по термостабилизации макета орбитального оптического прибора. Программный комплекс может быть использован при проектировании и создании систем обеспечения тепловых режимов космических аппаратов негерметичного исполнения, а также при определении причин нештатных ситуаций в данных системах на орбите
ВНЕДРЕНИЕ ВОДЯНОГО ЗНАКА В ИСПОЛНЯЕМЫЙ КОД НА ОСНОВЕ ПОДСТАНОВОК МАШИННЫХ ИНСТРУКЦИЙ
Get PDFПроводится анализ параметров исполняемого кода как объекта внедрения скрытой информации с использованием стеганографических подходов. Представлены результаты исследований, проведенных с целью оценки информационной ёмкости, которая обеспечивается механизмом эквивалентных замен машинных инструкций. Приводится краткое описание новых алгоритмов внедрения водяного знака, основанных на подстановках машинных инструкций