Informatics (E-Journal) / Информатика
Not a member yet
963 research outputs found
Sort by
ПРОЕКТНОЕ МОДЕЛИРОВАНИЕ РАСПРЕДЕЛЕННОЙ ОБРАБОТКИ ИНФОРМАЦИИ В ЛОКАЛЬНЫХ ВЫЧИСЛИТЕЛЬНЫХ СЕТЯХ
Get PDFФормулируются принципы формализации вычислительного процесса в локальных вычислительных сетях на основе аппарата сетевого планирования. Предлагаются имитационная модель и методика имитации распределенной обработки информации для случая, когда рабочая нагрузка задана в виде вероятностного сетевого графа выполнения процессов на различных узлах сети
Метод бидекомпозиции частичных булевых функций
Get PDFThe problem of bi-decomposition of a Boolean function is to represent a given Boolean function in the form of a given logic algebra operation over two Boolean functions and so is reduced to specification of these functions. Any of the required functions must have fewer arguments than the given function. A method of bi-decomposition for an incompletely specified (partial) Boolean function is suggested, this method uses the approach applied in solving the general problem of parallel decomposition of partial Boolean functions. The specification of the given function must be in the form of a pair of matrices. One of them, argument matrix, can be ternary or binary and represents the definitional domain of the given function. The other one, value matrix, is a binary column-vector and represents the function values on the intervals or elements of the Boolean space of the arguments. The graph of orthogonality of the argument matrix rows and the graph of orthogonality of one-element rows of the value matrix are considered. The problem of bi-decomposition is reduced to the problem of a weighted two-block covering the edge set of the orthogonality graph of the value matrix rows by complete bipartite subgraphs (bicliques) of the orthogonality graph of the argument matrix rows. Every biclique is assigned with a disjunctive normal form (DNF) in definite way. The weight of a biclique is the minimum rank of a term of the assigned DNF. According to each biclique of the obtained cover, a Boolean function is constructed whose arguments are the variables from the term of minimal rank on the DNF.Задача бидекомпозиции (от англ. bi-decomposition) булевой функции заключается в представлении заданной булевой функции в виде некоторой заданной операции алгебры логики над двумя булевыми функциями и сводится таким образом к определению этих функций. Каждая из искомых функций должна обладать меньшим числом аргументов, чем заданная. Предлагается метод бидекомпозиции для не полностью определенных (частичных) булевых функций, который использует подход, применяемый в решении общей задачи их параллельной декомпозиции. Задание исходной функции должно иметь вид пары матриц. Одна из них, матрица аргументов, может быть троичной или булевой и представляет область определения заданной функции. Другая матрица, матрица значений, имеет вид одного булева вектора-столбца и показывает значения функции на интервалах или элементах булева пространства аргументов. Рассматриваются граф ортогональности строк матрицы аргументов и граф ортогональности одноэлементных строк матрицы значений. Задача бидекомпозиции сводится к задаче о двухблочном взвешенном покрытии множества ребер графа ортогональности строк матрицы значений полными двудольными подграфами (бикликами) графа ортогональности строк матрицы аргументов. Каждой биклике приписывается определенным образом дизъюнктивная нормальная форма (ДНФ), и весом биклики считается минимальный ранг элементарной конъюнкции в соответствующей ДНФ. По каждой из биклик полученного покрытия строится булева функция, аргументами которой служат переменные из элементарной конъюнкции минимального ранга соответствующей ДНФ, что является решением задачи бидекомпозиции
АВТОМАТИЗАЦИЯ ЛОГИЧЕСКОГО ПРОЕКТИРОВАНИЯ
Get PDFДается краткий обзор теоретических результатов, полученных в лаборатории логического проектирования ОИПИ НАН Беларуси в области автоматизации логического проектирования дискретных устройств и сверхбольших интегральных схем. Сообщается также о разработанных в лаборатории комплексах программ и системах логического проектирования
КООРДИНАЦИЯ В ПРОГРАММНЫХ МНОГОАГЕНТНЫХ СИСТЕМАХ
Get PDFПредлагается подход к формализации механизмов координации и кооперации в распределенных системах, на основе которого разработаны новые алгоритмы координации для программных многоагентных систем
Обфускация комбинационных схем цифровых устройств от несанкционированного доступа
Get PDFThe problems of designing modern VLSI and SoC are analyzed. The most difficult problems of design are problems of verification of projects at different stages of design. Along with the problems that arise and are solved in the mode of favorable design, in the last decade there was a problem of protection and additional control of projects in order to detect unauthorized third-party interference in the project with different fundamental goals. We consider the formation of a common approach to solving problems of control and verification in the design of modern integrated circuits based on the analysis of fault models of structural realizations of digital devices, errors arising in the design process, as well as deliberate distortions during the design and manufacturing stages, i. e. creation and development of taxonomy of possible deviations in the project. The algorithm of logical obfuscation and coding of digital structures based on the use of methods and means of test diagnostics is proposed.Анализируются проблемы проектирования современных СБИС и систем на кристалле. Наиболее сложными из них являются проблемы верификации проектов на разных этапах проектирования. Наряду с задачами, которые возникают и решаются в режиме благоприятствующего проектирования, в последнем десятилетии возникла необходимость защиты и дополнительного контроля проектов с целью обнаружения несанкционированного стороннего вмешательства в проект. Рассматриваются вопросы формирования общего подхода к решению задач контроля и верификации при проектировании современных интегральных схем, основанного на анализе моделей неисправностей структурных реализаций цифровых устройств комбинационного типа; ошибок, возникающих в процессе проектирования, а также преднамеренных искажений на этапах проектирования и изготовления, т. е. вопросы создания и развития таксономии возможных отклонений в проекте. Предлагается алгоритм логической обфускации и кодирования цифровых устройств на основе применения методов и средств тестового диагностирования
АЛГОРИТМ ПРИБЛИЖЁННОГО ЦЕЛОЧИСЛЕННОГО ДИСКРЕТНОГО ПРЕОБРАЗОВАНИЯ ФУРЬЕ
Get PDFПриводится алгоритм прямого дискретного преобразования Фурье с использованием целочисленной арифметики. Преобразование Фурье основывается на последовательности дискретных косинусных преобразований и аппроксимации отсчётов базисной гармонической функции знакопеременной конечной степенной суммой по основанию 2. Алгоритм построен таким образом, что погрешность преобразования определяется только погрешностью аппроксимации базисной функции. Обосновывается факт точного восстановления первоначальной выборки при приближённом прямом преобразовании
ПРИМЕНЕНИЕ МОДЕЛИ ШЕННОНА – УИВЕРА ДЛЯ ЗАДАЧИ КОММУНИКАЦИИ В СИСТЕМАХ, ОСНОВАННЫХ НА ЗНАНИЯХ
Get PDFИсследуется проблема коммуникации при разработке систем с использованием внешних информационных ресурсов. Предложена общая схема коммуникации на основе модифицированной модели Шеннона – Уивера и средства ее реализации
Научная школа профессора А. А. Петровского
Get PDFTwo periods of scientific activity of Professor Alexander Alexandrovich Petrovsky, who was a member of the editorial board of the journal "Informatics" for 15 years (2004–2019), are presented. The main scientific results, his contribution to the development of the theory and to the hardware and software of the problem-oriented real-time systems and the processing of audio, speech and graphic information are shown, a list of the most significant works of the scientist is given.Представлены два периода научной деятельности профессора Александра Александровича Петровского, который на протяжении 15 лет (2004–2019) являлся членом редакционной коллегии журнала «Информатика». Показаны основные научные результаты, его вклад в области разработки теории и аппаратно-программных средств проблемно-ориентированных систем реального времени и обработки звуковой, речевой, графической информации, приведен перечень наиболее значимых трудов ученого
МЕТОДЫ ОЦЕНКИ ЭФФЕКТИВНОСТИ ЗАЩИТЫ АКТИВОВ В ОБЪЕКТАХ ИНФОРМАЦИОННЫХ ТЕХНОЛОГИЙ
Get PDFПроводится анализ методов оценки эффективности защиты активов в объектах информационных технологий. Вводятся новое определение риска нанесения ущерба владельцам активов и основанные на нем показатели эффективности защиты. Предлагается обобщенная методика оценки эффективности защиты на основе анализа и управления рисками
АНАЛИЗ АТТРАКТОРОВ СЛОЖНЫХ НЕЛИНЕЙНЫХ ДИНАМИЧЕСКИХ СИСТЕМ НА ОСНОВЕ МАТРИЧНЫХ РЯДОВ В ПРОСТРАНСТВЕ СОСТОЯНИЙ
No full textПостроены матричные ряды для разложения операторов нелинейных динамических систем в пространстве состояний. Предложенные матричные разложения положены в основу нелинейного анализа широко известных аттракторов сложных динамических систем. С использованием результатов матричной декомпозиции реализовано численное интегрирование системы Лоренца на языке Java. Показано применение разработанного метода матричной декомпозиции к определению значений управляющих параметров системы на примере аттрактора Лоренца