Informatics (E-Journal) / Информатика
Not a member yet
963 research outputs found
Sort by
ТЕСТИРОВАНИЕ ОЗУ НА ОСНОВЕ АДАПТИВНОГО СЖАТИЯ ВЫХОДНЫХ ДАННЫХ
Get PDFПредлагается новая концепция неразрушающего тестирования оперативных запоминающих устройств (ОЗУ) на базе адаптивного сжатия выходных данных. Данная концепция основывается на использовании характеристики ОЗУ на базе адаптивного сжатия выходных данных, получаемой путем суммирования по модулю два всех адресов ячеек памяти, которые содержат единичные значения. Показывается, что эта характеристика может быть использована в качестве эталонной сигнатуры при тестировании ОЗУ. Рассматриваются основные свойства предлагаемых новых неразрушающих тестов, основанных на применении адаптивного сжатия выходных данных
ГЛОБАЛЬНЫЙ АТТРАКТОР И ДОСТАТОЧНЫЕ УСЛОВИЯ ДЛЯ ВОССТАНОВЛЕНИЯ ОБРАЗОВ НЕЙРОСЕТЯМИ КОЭНА – ГРОССБЕРГА
Get PDFАналоговые нейронные сети Коэна – Гроссберга изучаются в общем случае, когда межнейронные (синаптические) связи могут быть несимметричными и, следовательно, отсутствует аналог гамильтониана для системы в полном фазовом пространстве (глобальная функция Ляпунова). Доказывается, что при определенных условиях существует глобальная притягивающая область Q, такая, что все аттракторы лежат внутри Q и, кроме того, область Q является аттрактором системы. Находится верхняя оценка времени, необходимого для достижения предписанной окрестности области Q. Получаются достаточные условия, при выполнении которых нейросеть асимптотически сходится к ближайшему стационарному состоянию (запомненному образу) и достигает заданной окрестности аттрактора системы за определенное (конечное) время. Находится верхняя граница времени, необходимого для восстановления запомненного образа с заданной точностью
ИССЛЕДОВАНИЕ МНОГОКАНАЛЬНОЙ СИСТЕМЫ MAP/PH/N С НЕНАДЕЖНЫМИ ПРИБОРАМИ И РАЗЛИЧНЫМИ ДИСЦИПЛИНАМИ ОБСЛУЖИВАНИЯ
Get PDFРассматривается многоканальная система массового обслуживания с бесконечным буфером.Обслуживание может происходить с ошибками, прибор может выходить из строя, что ведет кпотере обслуживаемого запроса и необходимости ремонта этого прибора. Поступление запросов и поломок приборов описывается марковским входным потоком (MAP). Время обслуживания запросов и ремонта приборов имеет распределение фазового типа (PH). Находятся стационарное распределение числа запросов и характеристики производительности системы в системе. Приводятся результаты численных экспериментов
НАХОЖДЕНИЕ ЗАДЕРЖЕК РЕГУЛЯРНЫХ СХЕМ С ПОСЛЕДОВАТЕЛЬНЫМИ СОЕДИНЕНИЯМИ ТРАНЗИСТОРОВ
Get PDFРассматривается задача определения временной задержки регулярной схемы с последовательными соединениями транзисторов. Предлагается определять задержку с помощью моделирования SPICE-описания схемы, представляющей собой сеть транзисторов. Описывается алгоритм сокращения числа тестовых векторов. Показывается, что для уменьшения задержки схемы можно переставлять входные шины
ОБНАРУЖЕНИЕ ЗДАНИЙ НА КЛАСТЕРИЗОВАННЫХ АЭРОФОТОСНИМКАХ И КОСМИЧЕСКИХ ИЗОБРАЖЕНИЯХ
Get PDFПредлагается подход к задаче обнаружения зданий на аэрофотоснимках и космических изображениях, использующий кластерные представления этих изображений. Подход позволяет выделять здания на цветных изображениях с разрешением выше 3-4 м/пиксел. Программная реализация предложенного подхода существенно быстрее известных нам реализованных алгоритмов. Достаточно высокая надежность и быстродействие реализаций обеспечиваются возможностью выделения границ кластеров и получения их достаточно точного упрощенного представления. Особенностью подхода является использование нескольких критериев, каждый из которых с высокой вероятностью выделяет часть зданий и при этом обладает близкой к нулю вероятностью ошибочного выделения
ВОЗМОЖНОСТИ И СРЕДСТВА РЕИНЖИНИРИНГА В СОВРЕМЕННЫХ СИСТЕМАХ АВТОМАТИЗАЦИИ ПРОЕКТИРОВАНИЯ
Get PDFРассматривается задача получения пространственной модели детали на основе импортированной модели без истории построения. Показаны методы решения задачи в отдельных системах 3D-моделирования
Синтез самопроверяемых схем встроенного контроля на основе метода логического дополнения до равновесного кода «2 из 4»
Get PDFThe article explores the peculiarities of self-checking integrated control circuits synthesis by the Boolean complement method based on the "2-out-of-4'' constant-weight code. The article describes the features of integrated control circuits implementation by the Boolean complement method. It is noted that it is possible to synthesize the structures of discrete devices, which have less structural redundancy than in situation of the control circuit implementation by the method of duplication. The effect in structural redundancy reducing is achieved by minimizing the complexity of the control logic block technical implementation and using checkers that are simpler in their structures than the comparator in the system of duplication. The article proposes a method of the integrated control circuit organization based on determining the values of control functions taking into account the maintenance of testability of elements of addition by modulo two in the Boolean complement block and the checker of the "2-out-of-4" code.Исследуются особенности синтеза самопроверяемых схем встроенного контроля по методу логического дополнения на основе равновесного кода «2 из 4». Описываются особенности реализации схем встроенного контроля по методу логического дополнения. Отмечается возможность синтеза структур дискретных устройств, имеющих меньшую структурную избыточность, чем при реализации схемы контроля по методу дублирования. Эффект в снижении структурной избыточности достигается за счет минимизации сложности технической реализации блока контрольной логики и использования более простых по своим структурам тестеров, чем компаратор в системе дублирования. Предлагается способ организации схемы встроенного контроля, основанный на доопределении значений контрольных функций с учетом обеспечения тестируемости элементов сложения по модулю два в блоке логического дополнения и тестера кода «2 из 4»
ИДЕНТИФИКАЦИЯ КОЭФФИЦИЕНТА ТЕПЛОПРОВОДНОСТИ В НЕЛИНЕЙНОМ ПАРАБОЛИЧЕСКОМ УРАВНЕНИИ С ВОЗМУЩЕННЫМИ ВХОДНЫМИ ДАННЫМИ
Get PDFПриводится метод функциональной идентификации коэффициента теплопроводности нелинейного нестационарного параболического уравнения. Представляются результаты численных экспериментов по восстановлению коэффициента теплопроводности для задач с возмущенными данными измерения температуры в некоторой точке объекта
О МОДИФИКАЦИЯХ МЕТОДА СЕГМЕНТАЦИИ ДВИЖЕНИЙ НА ВИДЕОИЗОБРАЖЕНИЯХ НА ОСНОВЕ СМЕСИ НОРМАЛЬНЫХ РАСПРЕДЕЛЕНИЙ В РЕЖИМЕ РЕАЛЬНОГО ВРЕМЕНИ
Get PDFОписывается базовый метод сегментации движений на основе смеси вероятностных распределений. В результате модификации метода повышаются его помехоустойчивость и эффективность сегментации в случае динамического заднего плана в сцене, проводится адаптация алгоритмической и программной реализации для режима реального времен