Методика синтеза спецификаций на языке

Унифицированный язык моделирования (Unified Modeling Language — UML) в настоящее время часто используется для проектирования и моделирования вычислительных систем. Созданный для проектирования программного обеспечения, UML успешно применяется и в других областях, в том числе в области проектирования аппаратуры. В статье предложена методика, дающая возможность с помощью UML создавать спецификации аппаратного обеспечения. Полученные спецификации являются, с…

Read more Методика синтеза спецификаций на языке

Нахождение задержки программируемой логической матрицы

УДК 681.325 НАХОЖДЕНИЕ ЗАДЕРЖКИ ПРОГРАММИРУЕМОЙ ЛОГИЧЕСКОЙ МАТРИЦЫ © 2010 г. , Республика Беларусь, Минск Объединенный институт проблем информатики НАН Беларуси E-mail: .by Поступила в редакцию 17.04.2009 г. Предлагается модификация программируемой логической матрицы (ПЛМ), управление функционированием которой осуществляется синхросигналом. Рассматривается задача определения временной задержки такой ПЛМ. Нахождение задержки осуществляется с помощью моделирования схемотехнического описания схемы ПЛМ,…

Read more Нахождение задержки программируемой логической матрицы

Способ ускорения получения системной информации

Заявленное изобретение относится к ускорению получения системной информации (SI). Техническим результатом является устранение длинных задержек при начальном чтении SI. Для этого способ передачи SI от базовой станции (BS, eNB) к оборудованию пользователя (UE) содержит передачу SI в период времени р, при этом данная SI содержит первую часть информации MIB, где первая часть информации содержит идентификатор…

Read more Способ ускорения получения системной информации

Высоконадежное биометрическое устройство

Изобретение относится к области сетей передачи данных. Технический результат заключается в улучшении защиты информационных взаимодействий с биометрическим устройством, который может быть осуществлен на компьютере. Сущность изобретения заключается в том, что согласно предлагаемому способу предусматривают предварительное установление шифровальной взаимосвязи между компьютерным устройством и биометрическим устройством. Осуществляют прием команды начать сеанс авторизации или регистрации. Генерируют и шифруют…

Read more Высоконадежное биометрическое устройство

Распределение последовательностей преамбулы

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

Read more Распределение последовательностей преамбулы

Однократно записываемый диск, способ распределения

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

Read more Однократно записываемый диск, способ распределения

Алгоритмы параллельного выполнения заданий сервисных

1. Введение В статье описывается типовая схема работы сервисного приложения, работающего с иерархическими данными в распределенной файловой системе. Такое сервисное приложение охватывает довольно большой класс задач. В него входят задачи параллельного копирования данных, сбора статистической информации, например о размере всех файлов в каталоге со всеми его подкаталогами, индексация данных, находящихся в файловой системе или перенос…

Read more Алгоритмы параллельного выполнения заданий сервисных

Итерации конечных и бесконечных языков

ВВЕДЕНИЕ РАВЕНСТВО БЕСКОНЕЧНЫХ ИТЕРАЦИЙ ЯЗЫКОВ В работе рассматривались бесконечные итерации конечных языков. А именно, мы рассматривали -языки вида , где — конечный язык над заданным алфавитом ?. (Мы предполагаем, что и Для двух конечных языков A и B мы рассматривали их равенство , которое равносильно выполнению специального отношения эквивалентности, также определенного в : тогда и…

Read more Итерации конечных и бесконечных языков

Устройство и способ для перемещения

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

Read more Устройство и способ для перемещения

Способ и система для регистрации

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

Read more Способ и система для регистрации