Preview

Информатика

Расширенный поиск

Поиск


Сортировать по:     
 
Выпуск Название
 
№ 2(34) (2012) ПОСТРОЕНИЕ ТЕСТОВ И ВЕРИФИКАЦИЯ ПОТОКОВЫХ МОДЕЛЕЙ ЦИФРОВЫХ УСТРОЙСТВ НА ЯЗЫКЕ VHDL Аннотация  PDF (Rus)  похожие документы
Л. А. Золоторевич
"... операторов и оператора If. Задача построения тестов и верификации проектов решается на основе КНФ ..."
 
№ 3(7) (2005) МОДЕЛИРОВАНИЕ НЕИСПРАВНОСТЕЙ СБИС НА ПОВЕДЕНЧЕСКОМ УРОВНЕ НА ЯЗЫКЕ VHDL Аннотация  PDF (Rus)  похожие документы
Л. А. Золоторевич
"... которого лежит построение тестов для разных реализаций операторов языка VHDL на базе применения системы ..."
 
Том 18, № 1 (2021) Логическая минимизация при синтезе комбинационных структур в FPGA Аннотация  PDF (Rus)  похожие документы
П. Н. Бибило, Ю. Ю. Ланкевич, В. И. Романов
"... проводились для семейств FPGA Virtex-II PRO и Virtex-5 (ф. Xilinx) на потоках стандартных промышленных ..."
 
№ 3(31) (2011) ВЕРИФИКАЦИЯ ЛОГИЧЕСКИХ СХЕМ, РЕАЛИЗУЮЩИХ СИСТЕМЫ ЧАСТИЧНЫХ БУЛЕВЫХ ФУНКЦИЙ Аннотация  PDF (Rus)  похожие документы
П. Н. Бибило, Д. Я. Новиков
"... по верификации, показывающие высокую эффективность разработанной программы по сравнению с VHDL ..."
 
№ 2(18) (2008) ВНЕДРЕНИЕ ФУНКЦИОНАЛЬНЫХ НЕИСПРАВНОСТЕЙ ОЗУ В ОПИСАНИЯ ЦИФРОВЫХ УСТРОЙСТВ НА ЯЗЫКЕ VHDL Аннотация  PDF (Rus)  похожие документы
А. А. Иванюк, А. В. Степанов
"... устройств при помощи языка VHDL. Предлагается методика внедрения моделей функциональных неисправностей ОЗУ в ..."
 
№ 1(25) (2010) ПОСТРОЕНИЕ ТЕСТОВ КОНТРОЛЯ ЦИФРОВЫХ СИСТЕМ НА УРОВНЕ МЕЖРЕГИСТРОВЫХ ПЕРЕДАЧ Аннотация  PDF (Rus)  похожие документы
Л. А. Золоторевич, А. В. Ильинкова
"... VHDL. Класс функциональных неисправностей, рассматриваемых при направленном построении теста ..."
 
№ 4(12) (2006) СиВер – СИСТЕМА СИНТЕЗА И ВЕРИФИКАЦИИ КОМБИНАЦИОННЫХ ЛОГИЧЕСКИХ СХЕМ Аннотация  PDF (Rus)  похожие документы
П. Н. Бибило, С. Н. Кардаш, В. И. Романов
"... Описывается система синтеза и верификации многовыходных комбинационных схем в базисе библиотек ..."
 
Том 15, № 4 (2018) Использование языка ПРАЛУ для верификации цифровых устройств Аннотация  PDF (Rus)  похожие документы
Д. И. Черемисинов
"... Рассматривается задача создания испытательного стенда для функциональной верификации. В процессе ..."
 
№ 3 (2016) СХЕМНАЯ РЕАЛИЗАЦИЯ VHDL-ОПИСАНИЙ СИСТЕМ НЕ ПОЛНОСТЬЮ ОПРЕДЕЛЕННЫХ БУЛЕВЫХ ФУНКЦИЙ Аннотация  PDF (Rus)  похожие документы
П. Н. Бибило
"... Method for description of incompletely specified (partial) Boolean functions in VHDL is proposed ..."
 
№ 1 (2014) ОСОБЕННОСТИ ОБФУСКАЦИИ VHDL-ОПИСАНИЙ И МЕТОДЫ ОЦЕНКИ ЕЕ СЛОЖНОСТИ Аннотация  PDF (Rus)  похожие документы
В. В. Сергейчик, А. А. Иванюк
"... is given and their drawbacks are investigated when applied to specifications in VHDL language. Complexity ..."
 
№ 1(13) (2007) МОДЕЛИРОВАНИЕ ФУНКЦИОНАЛЬНЫХ НЕИСПРАВНОСТЕЙ ЦИФРОВЫХ УСТРОЙСТВ СРЕДСТВАМИ ЯЗЫКА VHDL Аннотация  PDF (Rus)  похожие документы
А. А. Иванюк
"... устройств на языке VHDL. Рассматриваются вопросы, связанные с распределением неисправностей в процессе ..."
 
№ 1(9) (2006) СРАВНЕНИЕ СХЕМНЫХ РЕАЛИЗАЦИЙ VHDL-МОДЕЛЕЙ, ИСПОЛЬЗУЮЩИХ ЧАСТИЧНУЮ ОПРЕДЕЛЕННОСТЬ БУЛЕВЫХ ФУНКЦИЙ Аннотация  PDF (Rus)  похожие документы
П. Н. Бибило
"... LeonardoSpectrum более простые логические схемы по сравнению с VHDL-моделями, базирующимися на системах полностью ..."
 
№ 1(9) (2006) VHDL-МОДЕЛИ МАТЕМАТИЧЕСКИХ ФУНКЦИЙ, ОСНОВАННЫЕ НА КУСОЧНО-ПОЛИНОМИАЛЬНОЙ ИНТЕРПОЛЯЦИИ Аннотация  PDF (Rus)  похожие документы
Д. А. Кочанов
"... Предлагается способ создания VHDL-моделей математических функций с использованием стандартных ..."
 
№ 1(5) (2005) ОПИСАНИЕ ПАРАЛЛЕЛЬНЫХ И СЕКВЕНЦИАЛЬНЫХ АВТОМАТОВ НА ЯЗЫКЕ VHDL Аннотация  PDF (Rus)  похожие документы
П. Н. Бибило
"... Предлагаются синтезируемые VHDL-модели параллельных автоматов, представленных на языке ПРАЛУ, и ..."
 
№ 1(5) (2005) МОДЕЛИРОВАНИЕ НЕИСПРАВНОСТЕЙ В СТРУКТУРАХ СБИС НА ЯЗЫКЕ VHDL Аннотация  PDF (Rus)  похожие документы
Л. А. Золоторевич
"... , представленных на структурном уровне на языке VHDL. Дается анализ эффективности предлагаемых решений. ..."
 
№ 2(34) (2012) ФУНКЦИОНАЛЬНЫЕ VHDL-МОДЕЛИ ЭЛЕМЕНТОВ FPGA СЕМЕЙСТВА SPARTAN 3 ДЛЯ КОНВЕРТАЦИИ ПРОЕКТОВ ЦИФРОВЫХ СИСТЕМ В ЗАКАЗНЫЕ СБИС Аннотация  PDF (Rus)  похожие документы
П. Н. Бибило, А. Л. Соловьев
"... элементов предлагаются синтезируемые VHDL-модели тех логических элементов, которые входят в конфигурируемые ..."
 
№ 3(03) (2004) ПОСТРОЕНИЕ VHDL-МОДЕЛЕЙ СХЕМ ДЛЯ ВЫЧИСЛЕНИЯ ФУНКЦИЙ, ЗАДАННЫХ В ТАБЛИЧНОЙ ФОРМЕ Аннотация  PDF (Rus)  похожие документы
П. Н. Бибило, Д. А. Кочанов
"... Предлагаются средства для создания VHDL-моделей аналитических функций с использованием стандартных ..."
 
№ 2 (2015) МНОГОКРАТНЫЕ УПРАВЛЯЕМЫЕ ВЕРОЯТНОСТНЫЕ ТЕСТЫ Аннотация  PDF (Rus)  похожие документы
В. Н. Ярмолик, В. А. Леванцевич, И. Мрозек
"... Рассматриваются однократные управляемые вероятностные тесты, методы их формирования, а также их ..."
 
Том 15, № 1 (2018) ПСЕВДОИСЧЕРПЫВАЮЩЕЕ ТЕСТИРОВАНИЕ ЗАПОМИНАЮЩИХ УСТРОЙСТВ НА БАЗЕ МНОГОКРАТНЫХ МАРШЕВЫХ ТЕСТОВ Аннотация  PDF (Rus)  похожие документы
В. Н. Ярмолик, И. Мрозек, В. А. Леванцевич
"... применения псевдоисчерпывающих тестов для обнаружения сложных неисправностей памяти. Формулируется ..."
 
Том 15, № 1 (2018) ОРТОГОНАЛЬНОЕ ПРЕДСТАВЛЕНИЕ СОБСТВЕННОГО ПРЕОБРАЗОВАНИЯ ПЕРСИММЕТРИЧНОЙ МАТРИЦЫ НА ОСНОВЕ ОПЕРАТОРОВ ВРАЩЕНИЯ Аннотация  PDF (Rus)  похожие документы
В. М. Демко
"... ортогональных операторов вращения. Предложенный алгоритм позволил усовершенствовать разработанный автором подход ..."
 
№ 2(26) (2010) ИТЕРАТИВНЫЕ ПОЧТИ ПСЕВДОИСЧЕРПЫВАЮЩИЕ ВЕРОЯТНОСТНЫЕ ТЕСТЫ Аннотация  PDF (Rus)  похожие документы
С. В. Ярмолик, В. Н. Ярмолик
"... Предлагается метод построения почти псевдоисчерпывающих вероятностных тестов, характеризующихся ..."
 
№ 1(01) (2004) ОБ ИНТЕРПРЕТАЦИИ ВРЕМЕННОЙ ЛОГИКИ ПРИ СИМВОЛИЧЕСКОЙ ВЕРИФИКАЦИИ Аннотация  PDF (Rus)  похожие документы
Д. И. Черемисинов
"... В последние годы инструменты для символической верификации на основе временной логики входят в ..."
 
Том 15, № 2 (2018) ОБОБЩЕННАЯ СТРУКТУРА ИМИТАЦИОННОЙ МОДЕЛИ ГРУППОВОЙ ДЕЯТЕЛЬНОСТИ ОПЕРАТОРОВ АСУ Аннотация  PDF (Rus)  похожие документы
С. В. Кругликов, А. Р. Бекиш
"... Предлагается формализованная модель деятельности коллектива операторов автоматизированной системы ..."
 
Том 16, № 2 (2019) Верификация систем с параллелизмом поведения на основе графа достижимых состояний Аннотация  PDF (Rus)  похожие документы
Ю. В. Поттосин, В. И. Романов, Л. Д. Черемисинова
"... Рассматривается задача верификации систем управления на основе моделей их поведения, которая ..."
 
№ 1(5) (2005) ВЕРИФИКАЦИЯ ИМИТАЦИОННОЙ МОДЕЛИ ТЕХНОЛОГИЧЕСКОГО ПРОЦЕССА ПРОИЗВОДСТВА С ИЕРАРХИЧЕСКОЙ СТРУКТУРОЙ Аннотация  PDF (Rus)  похожие документы
В. Д. Левчук, П. Л. Чечет, Е. О. Попова, В. В. Старченко, А. С. Помаз
"... имитационных экспериментов по верификации разработанной имитационной модели делается вывод о том, что модель ..."
 
№ 1(29) (2011) О РЕАЛИЗАЦИИ МОДУЛЯРНЫХ СУММАТОРОВ НА FPGA Аннотация  PDF (Rus)  похожие документы
П. Н. Бибило, Д. А. Городецкий
"... Рассматриваются две структуры модулярных сумматоров. Исследуются параметризованные VHDL-модели ..."
 
№ 4(56) (2017) ПОСТРОЕНИЕ ТЕСТОВ ПОЛНОГО ПЕРЕБОРА ДЛЯ ОЦЕНКИ ЭНЕРГОПОТРЕБЛЕНИЯ ПОСЛЕДОВАТЕЛЬНОСТНЫХ СХЕМ Аннотация  PDF (Rus)  похожие документы
Л. Д. Черемисинова
 
№ 1(9) (2006) ОБНАРУЖЕНИЕ КОДОЧУВСТВИТЕЛЬНЫХ НЕИСПРАВНОСТЕЙ ЗАПОМИНАЮЩИХ УСТРОЙСТВ С МНОГОКРАТНЫМ ИСПОЛЬЗОВАНИЕМ МАРШЕВЫХ ТЕСТОВ Аннотация  PDF (Rus)  похожие документы
С. В. Ярмолик, В. Н. Ярмолик
"... Рассматривается эффективность применения маршевых тестов для обнаружения кодочувствительных ..."
 
№ 1(33) (2012) МНОГОКАНАЛЬНАЯ СИСТЕМА ОБСЛУЖИВАНИЯ КАК МОДЕЛЬ CALL-ЦЕНТРА С УСЛУГОЙ ПЕРЕЗВОНА АБОНЕНТУ Аннотация  PDF (Rus)  похожие документы
О. С. Дудина, С. А. Дудин
"... поступления вызова в случае занятости всех операторов. В систему поступает стационарный пуассоновский поток ..."
 
Том 17, № 2 (2020) Псевдоисчерпывающее тестирование запоминающих устройств на базе маршевых тестов типа March A Аннотация  PDF (Rus)  похожие документы
В. Н. Ярмолик, И. Мрозек, С. В. Ярмолик
"... . Анализируются методы и алгоритмы реализации тестовых процедур на базе классических маршевых тестов. Выделяются ..."
 
№ 3 (2013) ВЕРИФИКАЦИЯ КОМПЬЮТЕРНЫХ МОДЕЛЕЙ ЭЛЕМЕНТОВ РЫЧАЖНОЙ ДЛИННОХОДОВОЙ ПОДВЕСКИ ПО РЕЗУЛЬТАТАМ СТЕНДОВЫХ ИСПЫТАНИЙ Аннотация  PDF (Rus)  похожие документы
В. С. Кончак, А. А. Назаренко, С. В. Хитриков, Д. А. Бузановский, С. П. Лазакович, Ю. И. Николаев
 
№ 3(27) (2010) ВЕРИФИКАЦИЯ ФУНКЦИОНАЛЬНЫХ ОПИСАНИЙ С НЕОПРЕДЕЛЕННОСТЬЮ НА ОСНОВЕ ПАРАФАЗНОГО ПРЕДСТАВЛЕНИЯ БУЛЕВЫХ ФУНКЦИЙ Аннотация  PDF (Rus)  похожие документы
Д. Я. Новиков, Л. Д. Черемисинова
 
№ 4(24) (2009) ИСПОЛЬЗОВАНИЕ АЛГОРИТМА МАКСИМАЛЬНОГО ПОТОКА ГРАФА ДЛЯ ФИЛЬТРАЦИИ МУЛЬТИСПЕКТРАЛЬНЫХ ИЗОБРАЖЕНИЙ Аннотация  PDF (Rus)  похожие документы
Д. В. Прадун, Б. А. Залесский
"... Исследуется алгоритм максимального потока графа и возможность его использования для фильтрации ..."
 
№ 4(12) (2006) МОДЕЛИ ОБЕСПЕЧЕНИЯ ЖИВУЧЕСТИ КОМПЬЮТЕРНЫХ СЕТЕЙ ПРИ ОПТИМАЛЬНОЙ МАРШРУТИЗАЦИИ ИНФОРМАЦИОННЫХ ПОТОКОВ Аннотация  PDF (Rus)  похожие документы
Н. И. Листопад, А. Аль Даллаен Матрук, А. Г. Копачев
"... информационных потоков для обеспечения заданного качества обслуживания (Quality  of Service – QoS). При этом ..."
 
Том 16, № 3 (2019) Стационарные характеристики ненадежной системы массового обслуживания с групповым марковским потоком Аннотация  PDF (Rus)  похожие документы
В. И. Клименок
"... плане, так и для приложений. В основном рассматриваются системы со стационарными пуассоновскими потоками ..."
 
№ 3 (2015) БЫСТРОЕ ПРОТОТИПИРОВАНИЕ ВСТРАИВАЕМЫХ ПРОГРАММИРУЕМЫХ СИСТЕМ НА ПЛИС ДЛЯ МУЛЬТИМЕДИЙНЫХ ПРИЛОЖЕНИЙ Аннотация  PDF (Rus)  похожие документы
В. В. Ключеня, Н. А. Петровский
"... DCT-IDCT cores are developed using VHDL hardware description language as FSL (Fast Simples Link ..."
 
№ 1(33) (2012) ОЦЕНКА ЭНЕРГОПОТРЕБЛЕНИЯ КМОП-СХЕМ НА ОСНОВЕ ЛОГИЧЕСКОГО МОДЕЛИРОВАНИЯ Аннотация  PDF (Rus)  похожие документы
П. Н. Бибило, А. Л. Соловьев
"... энергопотребления по структурным описаниям схем с помощью быстродействующего логического VHDL-моделирования ..."
 
№ 4(8) (2005) ВСТРОЕННАЯ АППАРАТУРА НЕРАЗРУШАЮЩЕГО САМОТЕСТИРОВАНИЯ ДЛЯ СХЕМ ОЗУ НА ОСНОВЕ ЛОКАЛЬНО-СИММЕТРИЧНЫХ ТЕСТОВ Аннотация  PDF (Rus)  похожие документы
А. П. Занкович, В. Н. Ярмолик
"... запоминающих устройств (ВАСТ ОЗУ). Рассмотренные ВАСТ ОЗУ отличаются сложностью реализуемых тестов, количеством ..."
 
Том 18, № 1 (2021) Построение и применение маршевых тестов для обнаружения кодочувствительных неисправностей запоминающих устройств Аннотация  PDF (Rus)  похожие документы
В. Н. Ярмолик, В. А. Леванцевич, Д. В. Деменковец, И. Мрозек
"... тестирования наиболее сложных из них на базе классических маршевых тестов. Выделяются пассивные ..."
 
№ 1 (2015) МНОГОКАНАЛЬНАЯ СИСТЕМА ОБСЛУЖИВАНИЯ С МАРКОВСКИМ ВХОДНЫМ ПОТОКОМ НЕТЕРПЕЛИВЫХ ЗАПРОСОВ, ФУНКЦИОНИРУЮЩАЯ В СЛУЧАЙНОЙ СРЕДЕ Аннотация  PDF (Rus)  похожие документы
С. А. Дудин, О. С. Дудина
"... запросами, функционирующая в случайной среде. В систему поступает марковский входной поток запросов. Время ..."
 
№ 2 (2016) СТАЦИОНАРНЫЕ ХАРАКТЕРИСТИКИ НЕНАДЕЖНОЙ СИСТЕМЫ МАССОВОГО ОБСЛУЖИВАНИЯ С ГРУППОВЫМ МАРКОВСКИМ ПОТОКОМ И РЕЗЕРВНЫМ ПРИБОРОМ Аннотация  PDF (Rus)  похожие документы
В. И. Клименок
"... при выходе основного прибора из строя. В систему поступает групповой марковский поток запросов ..."
 
№ 3(55) (2017) СТАЦИОНАРНОЕ РАСПРЕДЕЛЕНИЕ ТАНДЕМНОЙ СИСТЕМЫ МАССОВОГО ОБСЛУЖИВАНИЯ С ДОПОЛНИТЕЛЬНЫМИ ПОТОКАМИ НА СТАНЦИЯХ Аннотация  PDF (Rus)  похожие документы
В. И. Клименок
"... станций без буферов. В систему поступает марковский поток запросов, каждый из которых должен получить ..."
 
№ 2(34) (2012) АЛГОРИТМ БЫСТРОГО ВЫЧИСЛЕНИЯ ОПТИЧЕСКОГО ПОТОКА ПРИ ПОМОЩИ SSE2-ИНСТРУКЦИЙ ПРОЦЕССОРОВ СЕМЕЙСТВА x86 Аннотация  PDF (Rus)  похожие документы
А. И. Кравчонок
"... Представлен алгоритм быстрого вычисления оптического потока при помощи SSE2-инструкций на ..."
 
№ 2(30) (2011) БЛОЧНО-ПАРАЛЛЕЛЬНАЯ КЛАСТЕРИЗАЦИЯ МУЛЬТИСПЕКТРАЛЬНЫХ ИЗОБРАЖЕНИЙ С ПОМОЩЬЮ АЛГОРИТМА МАКСИМАЛЬНОГО ПОТОКА В СЕТИ Аннотация  PDF (Rus)  похожие документы
Д. В. Прадун, Б. А. Залесский
"... Рассматривается алгоритм максимального потока в сети для кластеризации мультиспектральных ..."
 
№ 3(27) (2010) ФИЛЬТРАЦИЯ И КЛАСТЕРИЗАЦИЯ МУЛЬТИСПЕКТРАЛЬНЫХ ИЗОБРАЖЕНИЙ С ПОМОЩЬЮ АЛГОРИТМА МАКСИМАЛЬНОГО ПОТОКА В СЕТИ НА ОСНОВЕ ВЫЧИСЛЕНИЯ ГРАДИЕНТА Аннотация  PDF (Rus)  похожие документы
Д. В. Прадун, Б. А. Залесский
"... алгоритма максимального потока сети. Приводятся основные понятия и определения, необходимые для применения ..."
 
№ 4(12) (2006) ЧИСЛЕННОЕ МОДЕЛИРОВАНИЕ АЭРОДИНАМИЧЕСКИХ ПОТОКОВ ВОКРУГ ТУРБИНЫ НА ОСНОВЕ РЕШЕНИЯ УРАВНЕНИЙ НАВЬЕ – СТОКСА КОНЕЧНО-ЭЛЕМЕНТНЫМИ МЕТОДАМИ Аннотация  PDF (Rus)  похожие документы
В. Ф. Дайлюденко
 
№ 2(6) (2005) КОМПЬЮТЕРНОЕ МОДЕЛИРОВАНИЕ АЭРОДИНАМИЧЕСКИХ ПОТОКОВ В РАБОЧЕЙ КАМЕРЕ ТУРБОКОМПРЕССОРА С ИСПОЛЬЗОВАНИЕМ ПРОГРАММНОГО КОМПЛЕКСА STAR-CD Аннотация  Неозаглавлен (Rus)  похожие документы
Е. Б. Минервина
 
№ 2(54) (2017) КОМПЬЮТЕРНОЕ МОДЕЛИРОВАНИЕ ПАРОВОДЯНЫХ ПОТОКОВ ВНУТРИ РАБОЧЕЙ КАМЕРЫ МИКРОТУРБИНЫ И ОЦЕНИВАНИЕ КОЭФФИЦИЕНТА ПОЛЕЗНОГО ДЕЙСТВИЯ ДЛЯ УСОВЕРШЕНСТВОВАНИЯ КОНСТРУКЦИИ ТУРБОАГРЕГАТА Аннотация  PDF (Rus)  похожие документы
А. М. Крот, П. П. Ткачева, И. Н. Спагар
"... потоков в рабочей камере корпуса микротурбины с помощью современных программных комплексов ..."
 
№ 1(25) (2010) ПРИМЕНЕНИЕ ПРОГРАММНОГО ПАКЕТА STAR-CD ДЛЯ МОДЕЛИРОВАНИЯ ДВУХФАЗНОГО НАПРАВЛЕННОГО ПОТОКА В ОГРАНИЧЕННОЙ ОБЛАСТИ ПРИ РАЗЛИЧНЫХ РЕЖИМАХ ВЗАИМОДЕЙСТВИЯ ЧАСТИЦ Аннотация  PDF (Rus)  похожие документы
В. Ф. Дайлюденко
"... достоверные результаты численного моделирования двухфазного направленного потока твердотельных частиц и ..."
 
№ 2(6) (2005) КОМПЬЮТЕРНАЯ ТЕХНОЛОГИЯ СИНТЕЗА РАСЧЕТНЫХ СЕТОК В ПРОГРАММНОМ КОМПЛЕКСЕ STAR-CD ДЛЯ МОДЕЛИРОВАНИЯ АЭРОДИНАМИЧЕСКИХ ПОТОКОВ В РАБОЧЕЙ КАМЕРЕ ТУРБОКОМПРЕССОРА Аннотация  PDF (Rus)  похожие документы
П. П. Ткачева
"... потоков в рабочей камере турбокомпрессора ТКР 6.1 посредством пакета STAR-CD. Формулируются основные ..."
 
№ 1(29) (2011) УПРАВЛЯЕМОЕ СЛУЧАЙНОЕ ТЕСТИРОВАНИЕ Аннотация  PDF (Rus)  похожие документы
С. В. Ярмолик, В. Н. Ярмолик
"... Анализируются управляемые случайные тесты и методы их генерирования. Показывается общность ..."
 
№ 1(53) (2017) МЕТОДИКА СИНТЕЗА ИНФОРМАЦИОННОЙ МОДЕЛИ БОЕВОЙ ОБСТАНОВКИ Аннотация  PDF (Rus)  похожие документы
Д. И. Рабченок
"... оценивается ее эффективность при помощи интегрального показателя качества деятельности человека-оператора. ..."
 
№ 1(01) (2004) АНАЛИЗ АТТРАКТОРОВ СЛОЖНЫХ НЕЛИНЕЙНЫХ ДИНАМИЧЕСКИХ СИСТЕМ НА ОСНОВЕ МАТРИЧНЫХ РЯДОВ В ПРОСТРАНСТВЕ СОСТОЯНИЙ Аннотация  PDF (Rus)  похожие документы
А. М. Крот
"... Построены матричные ряды для разложения операторов нелинейных динамических систем в пространстве ..."
 
№ 2(54) (2017) ПСЕВДОИСЧЕРПЫВАЮЩЕЕ ТЕСТИРОВАНИЕ ОЗУ Аннотация  PDF (Rus)  похожие документы
В. Н. Ярмолик, И. Мрозек, В. А. Леванцевич
"... запоминающих устройств (ОЗУ), обосновывается применение псевдоисчерпывающих тестов для обнаружения сложных ..."
 
Том 16, № 3 (2019) Вычисление критериального девиатора и вектора нормали к девиаторному сечению поверхности текучести для упругопластического материала Мурнагана Аннотация  PDF (Rus)  похожие документы
Олег Лаврентьевич Швед
"... вычисления преобразованного критериального девиатора как симметричного оператора в пятимерном векторном ..."
 
№ 2(54) (2017) МОДЕЛИРОВАНИЕ ПОЛЯ ЭЛЕКТРОСТАТИЧЕСКОГО ДИПОЛЯ ПРИ НАЛИЧИИ ТОНКОЙ СПЛЮСНУТОЙ НЕЗАМКНУТОЙ ЭЛЛИПСОИДАЛЬНОЙ ОБОЛОЧКИ И ПЛОСКОСТИ Аннотация  PDF (Rus)  похожие документы
Г. Ч. Шушкевич
"... алгебраических уравнений второго рода с вполне непрерывным оператором. Численно исследуется влияние ..."
 
Том 15, № 2 (2018) МОДЕЛИ БАЗИСНЫХ ЭЛЕКТРОМАГНИТНЫХ ВОЛН В БИИЗОТРОПНОЙ СРЕДЕ С ПРОСТРАНСТВЕННОЙ ДИСПЕРСИЕЙ Аннотация  PDF (Rus)  похожие документы
В. Т. Ерофеенко
"... операторном виде с дифференциальным оператором Лапласа. В рамках разработанной модели аналитически строится ..."
 
№ 3(23) (2009) МОДЕЛИ ВЫБОРА ТОПОЛОГИИ СЕТЕЙ ТЕЛЕКОММУНИКАЦИЙ Аннотация  PDF (Rus)  похожие документы
Н. И. Листопад, А. В. Трухан
"... проектирования оптимальной топологии сети телекоммуникаций для маршрутизации информационных потоков по двум ..."
 
№ 4 (2016) КОНЕЧНО-ЭЛЕМЕНТНОЕ МОДЕЛИРОВАНИЕ РАСПРЕДЕЛЕНИЯ ЭЛЕКТРОМАГНИТНОГО ПОЛЯ В БЛИЖНЕЙ ЗОНЕ СФЕРИЧЕСКОЙ НАНОЧАСТИЦЫ Аннотация  PDF (Rus)  похожие документы
К. С. Курочка
"... алгоритмы и программное обеспечение, проведена их верификация. Расхождение результатов исследования ..."
 
№ 2(10) (2006) ДИВЕРГЕНТНЫЙ МЕТОД ОЦЕНКИ ИНФОРМАТИВНОСТИ ПРОСТРАНСТВ ПРИЗНАКОВ ПРИ РАСПОЗНАВАНИИ РЕЧЕВЫХ ОБРАЗОВ Аннотация  PDF (Rus)  похожие документы
А. С. Рылов
"... для решения задачи текстозависимой верификации личности по речевому сигналу. ..."
 
Том 16, № 4 (2019) О надежности, безопасности и читабельности языков программирования на примере языка Ада Аннотация  похожие документы
А. В. Леонтьев
"... переменных, некоторые высокоуровневые операторы и пр. Часто программисты тратят много времени на работу с ..."
 
Том 16, № 3 (2019) Обфускация комбинационных схем цифровых устройств от несанкционированного доступа Аннотация  PDF (Rus)  похожие документы
Л. А. Золоторевич
"... них являются проблемы верификации проектов на разных этапах проектирования. Наряду с задачами, которые ..."
 
Том 15, № 3 (2018) Математическая модель распространения электромагнитных волн в композитных средах со сфероидальными частицами Аннотация  PDF (Rus)  похожие документы
В. Т. Ерофеенко, А. И. Урбанович
"... операторы Лапласа. Система уравнений решена аналитически, и построена полная система четырех прямых и ..."
 
Том 15, № 3 (2018) Синтез FPGA-архитектур банков фильтров на основе блочной лестничной факторизации в алгебре кватернионов (часть 2) Аннотация  PDF (Rus)  похожие документы
Е. В. Рыбенков, Н. А. Петровский
"... основу которой положен Q-MUL IP-компонент оператора умножения кватернионов на распределенной арифметике ..."
 
Том 17, № 3 (2020) Моделирование и нелинейный анализ хаотических волновых процессов в электрохимически активных нейроновых средах на основе матричной декомпозиции Аннотация  PDF (Rus)  похожие документы
А. М. Крот, С. И. Павлов
"... операторов нелинейных систем. Рассмотрены математические модели  Ходжкина –  Хаксли и ФитцХью – Нагумо ..."
 
№ 3(27) (2010) ОПТИМИЗАЦИЯ РАЗМЕЩЕНИЯ ОБЪЕКТОВ С УЧЕТОМ ИХ РЕПЛИКАЦИЙ НА УЗЛАХ РАСПРЕДЕЛЕННОЙ ИНФОРМАЦИОННО-ВЫЧИСЛИТЕЛЬНОЙ СИСТЕМЫ Аннотация  PDF (Rus)  похожие документы
А. А. Прихожий
"... репликаций, параметры объектов и потоков запросов к объектам, характеристики каналов передачи данных и узлов ..."
 
№ 1(17) (2008) ПОСТРОЕНИЕ РАСЧЕТНЫХ СЕТОК И КОМПЬЮТЕРНОЕ МОДЕЛИРОВА-НИЕ В ЗАДАЧАХ ИССЛЕДОВАНИЯ ГИДРОДИНАМИЧЕСКИХ ПРОЦЕССОВ В ПРОТОЧНЫХ ЧАСТЯХ ГИДРОТРАНСМИССИОННЫХ СИСТЕМ Аннотация  PDF (Rus)  похожие документы
А. М. Крот, Е. Б. Минервина, П. П. Ткачева, В. А. Балдин, А. А. Калиновский
"... компьютерных технологий. Исследуются вопросы компьютерного моделирования гидродинамических потоков при вращении ..."
 
№ 2(6) (2005) СЕГМЕНТАЦИЯ ДАКТИЛОСКОПИЧЕСКИХ ИЗОБРАЖЕНИЙ В АВТОМАТИЗИРОВАННЫХ ИНФОРМАЦИОННЫХ СИСТЕМАХ Аннотация  PDF (Rus)  похожие документы
М. Ю. Селянинов, Ю. А. Чернявский
"... предлагаемого метода состоит в совместном анализе градиентных характеристик и поля направлений потока ..."
 
Том 15, № 1 (2018) АЛГОРИТМ ОПРЕДЕЛЕНИЯ ХАРАКТЕРИСТИК КРОВОТОКА В СОСУДАХ ГЛАЗНОГО ДНА ПО ВИДЕОПОСЛЕДОВАТЕЛЬНОСТИ Аннотация  PDF (Rus)  похожие документы
О. В. Недзьведь, С. В. Абламейко, А. М. Недзьведь, А. В. Глинский, Г. М. Карапетян, А. А. Анисимов, И. Б. Гуревич, В. В. Яшина
"... оптического потока, анализа полученных результатов.   ..."
 
№ 4(28) (2010) О ПРИМЕНЕНИИ СЕТЕЙ ОБСЛУЖИВАНИЯ С ДОХОДАМИ ПРИ РЕШЕНИИ ЗАДАЧ ТРАНСПОРТНОЙ ЛОГИСТИКИ Аннотация  PDF (Rus)  похожие документы
М. А. Маталыцкий, О. М. Китурко
"... интенсивность поступающего в ЛТC потока автомобилей и интенсивности их обслуживания в субъектах зависят от ..."
 
1 - 70 из 85 результатов 1 2 > >> 

Советы по поиску:

  • Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
  • Служебные слова (предлоги, союзы и т.п.) игнорируются
  • По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
  • Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
  • Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
  • Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
  • Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
  • Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)