Informatics (E-Journal) / Информатика
Not a member yet
963 research outputs found
Sort by
ДЕКОМПОЗИЦИЯ ЧАСТИЧНЫХ БУЛЕВЫХ ФУНКЦИЙ – ПОИСК ПОДХОДЯЩЕГО РАЗБИЕНИЯ
Get PDFИсследуется проблема последовательной двухблочной декомпозиции частичных булевых функций по нестрогому разбиению на множестве аргументов. Рассматривается ключевая комбинаторная задача: нахождение подходящего разбиения на множестве аргументов, т. е. такого, по которому функция разделима. Предлагается алгоритм, существенно ускоряющий поиск подходящего разбиения путем предварительного обнаружения его следов. Алгоритм формулируется в терминах булевых и троичных векторов и матриц с использованием эффективных параллельных операций над ними
УНИФИЦИРОВАННЫЕ МОДЕЛИ И МЕТОД АВТОМАТИЗИРОВАННОГО ПРОЕКТИРОВАНИЯ ИНСТРУМЕНТА ДЛЯ ПОПЕРЕЧНО-КЛИНОВОЙ ПРОКАТКИ
Get PDFРассматриваются методический подход, модели и метод автоматизированного проектирования инструмента для поперечно-клиновой прокатки, а также методические основы реализациисистемы автоматизированного проектирования инструмента для изготовления деталей методомгорячей плоской поперечно-клиновой прокатки (ПКП)
КРИТЕРИИ ОБЕСПЕЧЕНИЯ ПРАВОМОЧНОСТИ СИСТЕМ ЭЛЕКТРОННОГО ДОКУМЕНТООБОРОТА
Get PDFРассматривается задача формального определения в системах электронного документооборота набора правил управления доступом к объектам в процессе создания и использования электронных документов. На основе строгих доказательств, примененных в модели Белла – Лападула и расширенных элементами, отражающими специфику правомочности электронных документов, устанавливается, что каждое определяемое правило выполняет критерии обеспечения правомочности, т. е. сохраняет при переходе системы из текущего состояния в последующее определенные в ней условие и свойство правомочности. Для доказательств используются теоремы, формулировки которых приведены вместе с обозначениями и утверждениями в составе доказательной базы
АЛГОРИТМЫ ЭНЕРГОСБЕРЕГАЮЩЕГО КОДИРОВАНИЯ СОСТОЯНИЙ АВТОМАТА
Get PDFПредлагаются два алгоритма кодирования состояний конечного автомата, при котором сокращаются затраты энергии в реализующей автомат логической схеме. Первый из них основан на оптимальном отображении графа переходов автомата в булево пространство кодирующих переменных, второй учитывает вероятности переходов
ФОРМАЛИЗАЦИЯ ОЦЕНКИ РИСКОВ В ИНФОРМАЦИОННЫХ ТЕХНОЛОГИЯХ
Get PDFРассматривается формальный подход к оценке рисков в информационных технологиях, связанных с их основными особенностями. Вводятся формализованные определения риска, угрозы и ее составляющих, компонентов информационной технологии, факторов, влияющих на наличие и проявление угроз. Наряду с определениями данных понятий вводятся элементы их классификации. На простом примере показывается невозможность гарантированной минимизации риска проявления угрозы класса для компонентов, относящихся к классу, и как следствие формулируется основная теорема риска, обобщающая полученный результат для классов и . Демонстрируется возможность построения формальных моделей оценки рисков, основанных на использовании в качестве элементной базы предложенных определений
ОЦЕНКА НАДЕЖНОСТИ ИЗДЕЛИЙ С ПЕРЕМЕННЫМИ РЕЖИМАМИ ИСПОЛЬЗОВАНИЯ
Get PDFРассматриваются модели надежности изделий в случае их функционирования в режимах, отличающихся безотказностью. Получены формулы для расчета показателей надежности таких изделий, и на конкретном примере приводится расчет показателей надежности
ПРЕДСТАВЛЕНИЕ ПОКАЗАТЕЛЕЙ ВЫИГРЫША И ПОТЕРЬ В ТЕОРЕТИКО-ИГРОВЫХ МОДЕЛЯХ ПРОТИВОБОРСТВА СИСТЕМ СПЕЦИАЛЬНОГО НАЗНАЧЕНИЯ
Get PDFРассматриваются вопросы практического использования теоретико-игровых моделей для выбора рациональных вариантов применения систем специального назначения в условиях ситуационной неопределенности. Обосновывается конструктивное представление показателей выигрыша и потерь в теоретико-игровых моделях выбора рациональных решений применительно к антагонистическим матричным и позиционным играм для условий противоборства систем специального назначения
Логическая оптимизация многоуровневых представлений систем булевых функций на основе блочного разбиения и разложения Шеннона
Get PDFThe results of experimental study of the effectiveness of optimization procedures for systems of Boolean functions which are used in the synthesis of combinational circuits are described. The procedures use algorithms for partitioning systems of functions into subsystems and algorithms for optimizing multilevel representations of functions based on Shannon decomposition. The Shannon decomposition uses the procedure for finding inverse subfunctions, contained in decomposition result (BDDI-optimization). It is shown that these procedures can reduce the area of combinational circuits from library gates in many cases in the process of synthesis. Joint BDDI optimization is more preferable method in comparison to separate technologically independent BDDI optimization, since the area of circuits built on joint BDDI is smaller than the area of circuits built on separate BDDI in most cases.Описываются результаты экспериментального исследования эффективности применения процедур оптимизации систем булевых функций, предварительно выполняемых при синтезе комбинационных схем. Процедуры используют алгоритмы разбиения систем функций на подсистемы и алгоритмы оптимизации многоуровневых представлений функций на основе разложения Шеннона. Показывается, что разбиение исходной системы булевых функций на подсистемы и оптимизация подсистем на основе разложения Шеннона с нахождением инверсных подфункций, входящих в разложения (BDDI-оптимизация), во многих случаях позволяют при синтезе уменьшать площадь комбинационных схем из библиотечных элементов. Совместная BDDI-оптимизация является более предпочтительным методом по сравнению с раздельной технологически независимой BDDI-оптимизацией, так как площадь схем, построенных по совместным BDDI, в подавляющем числе случаев меньше площади схем, построенных по раздельным BDDI
СТЕГАНОГРАФИЧЕСКИЕ МЕТОДЫ ЗАЩИТЫ ИНФОРМАЦИИ НА ОСНОВЕ ЭНЕРГЕТИЧЕСКОЙ И СТРУКТУРНОЙ СКРЫТНОСТИ
Get PDFРассматриваются методы защиты информации, основанные на сокрытии самого факта передачи данных, а также средства реализации этих методов в виде системы передачи двоичных сообщений с фазовой манипуляцией сигнала и псевдослучайной перестройкой рабочей частоты. Для передачи данных предлагается использовать фазовую манипуляцию, что обеспечивает затруднение процесса перехвата за счет расширения полосы частот передаваемого сигнала, и повышение помехоустойчивости приема на 3 дБ по сравнению с частотной манипуляцией. Коммутация компенсаторов контейнерных составляющих в каналах приема осуществляется в соответствии с синхронизированной псевдослучайной последовательностью, и за счет этого обеспечиваются обнаружение и эффективная оценка параметров узкополосных сигналов контейнерной составляющей с последующей компенсацией
АВТОМАТИЗАЦИЯ ВЫБОРА ТЕХНОЛОГИЧЕСКОГО МЕТОДА ПРИ ОРГАНИЗАЦИИ КОМПАКТНОГО ПРОИЗВОДСТВА МАШИНОСТРОИТЕЛЬНОЙ ПРОДУКЦИИ
Get PDFРассматриваются общие принципы формализации выбора технологического метода в компактном производстве машиностроительной продукции. Приводятся методология и структура программно-алгоритмического обеспечения решения этой задачи. Описывается программная реализация выбора технологического метода на базе оригинального программного продукта