Сортировать по:
Выпуск | Название | |
№ 3(7) (2005) | РАБОТА С КЛАСТЕРНЫМ КОМПЬЮТЕРОМ ИЗ WINDOWS | Аннотация PDF (Rus) похожие документы |
Д. И. Черемисинов | ||
"... выполнять задачи редактирования текста, компиляции программы и запуска программы на кластере. Достоинством ..." | ||
№ 3(03) (2004) | ФОРМАЛЬНЫЕ МЕТОДЫ АНАЛИЗА ПОВЕДЕНИЯ РАСПРЕДЕЛЕННЫХ СИСТЕМ | Аннотация PDF (Rus) похожие документы |
Д. И. Черемисинов | ||
"... Анализируются понятия параллелизма и асинхронности – ключевые понятия, лежащие в основе современных ..." | ||
№ 1(5) (2005) | МОРФИЗМЫ МОДЕЛЕЙ ПОВЕДЕНИЯ РАСПРЕДЕЛЕННЫХ СИСТЕМ | Аннотация PDF (Rus) похожие документы |
Д. И. Черемисинов | ||
"... , временная логика и язык ПРАЛУ. В результате анализа известных способов описания поведения вычислительных ..." | ||
№ 1(01) (2004) | ОБ ИНТЕРПРЕТАЦИИ ВРЕМЕННОЙ ЛОГИКИ ПРИ СИМВОЛИЧЕСКОЙ ВЕРИФИКАЦИИ | Аннотация PDF (Rus) похожие документы |
Д. И. Черемисинов | ||
"... , в которых выразительность и интуитивность CTL для интервальных событий не хуже, чем выразительность ..." | ||
№ 3(35) (2012) | ГЕНЕРАЦИЯ ВЫПОЛНИМЫХ СПЕЦИФИКАЦИЙ ЦИФРОВЫХ СИСТЕМ ИЗ СТРУКТУРНЫХ ОПИСАНИЙ FPGA-ПРОЕКТОВ | Аннотация PDF (Rus) похожие документы |
Д. И. Черемисинов | ||
Том 15, № 4 (2018) | Использование языка ПРАЛУ для верификации цифровых устройств | Аннотация PDF (Rus) похожие документы |
Д. И. Черемисинов | ||
"... верификации устанавливается сводимость (эквивалентность) спецификации устройства и модели уровня регистровых ..." | ||
№ 1(53) (2017) | ОТОБРАЖЕНИЕ ЛОГИЧЕСКИХ СЕТЕЙ В ЗАДАННЫЙ ТЕХНОЛОГИЧЕСКИЙ БАЗИС | Аннотация PDF (Rus) похожие документы |
Д. И. Черемисинов | ||
"... КМОП СБИС. Приводится описание структуры программы для решения этой задачи и форматов исходных данных ..." | ||
Том 18, № 4 (2021) | Распознавание логических вентилей в плоской транзисторной схеме | Аннотация PDF (Rus) похожие документы |
Д. И. Черемисинов, Л. Д. Черемисинова | ||
"... Ц е л и. С ростом трудоемкости верификации и моделирования современных СБИС, содержащих сотни ..." | ||
Том 19, № 3 (2022) | Канонизация графов при декомпиляции транзисторных схем | Аннотация PDF (Rus) похожие документы |
Д. И. Черемисинов, Л. Д. Черемисинова | ||
"... время выполнения проверки топологии и служит основой для перепроектирования интегральных схем и ..." | ||
№ 4 (2013) | СИНТЕЗ КОМБИНАЦИОННЫХ СХЕМ В БАЗИСЕ БИБЛИОТЕЧНЫХ ЭЛЕМЕНТОВ КМОП СБИС С УЧЕТОМ ЭНЕРГОПОТРЕБЛЕНИЯ | Аннотация PDF (Rus) похожие документы |
Д. И. Черемисинов, Л. Д. Черемисинова | ||
"... СБИС, оптимизированных по критерию площади и среднему значению рассеиваемой мощности КМОП-микросхемы ..." | ||
Том 20, № 4 (2023) | Моделирование дискретных управляющих систем с параллелизмом поведения | Аннотация PDF (Rus) похожие документы |
Д. И. Черемисинов, Л. Д. Черемисинова | ||
"... спецификации на их проектирование. При решении задач реализации и тестирования дискретных систем приходится ..." | ||
Том 21, № 3 (2024) | Извлечение логических сетей при декомпиляции описаний КМОП-схем на уровне транзисторов | Аннотация PDF (Rus) похожие документы |
Д. И. Черемисинов, Л. Д. Черемисинова | ||
"... , представленных на транзисторном уровне. Целью исследования является разработка метода и программных средств ..." | ||
№ 4(16) (2007) | СПОСОБ ВВОДА ТЕКСТА В ВЫЧИСЛИТЕЛЬНЫЕ УСТРОЙСТВА С РЕДУЦИРОВАННОЙ КЛАВИАТУРОЙ | Аннотация PDF (Rus) похожие документы |
Д. И. Самаль | ||
"... . Он может быть реализован как для мобильных телефонов, смартфонов, так и для банкоматов, телевизионных ..." | ||
№ 2(10) (2006) | ПРОЕКТИРОВАНИЕ СЕТЕЙ НА ОСНОВЕ ГЕНЕТИЧЕСКИХ АЛГОРИТМОВ, МОДИФИЦИРУЮЩИХ СТРУКТУРУ ХРОМОСОМ | Аннотация PDF (Rus) похожие документы |
Ю. И. Воротницкий, Д. А. Стрикелев | ||
"... алгоритмов и причины, снижающие эффективность их применения. Предлагается модифицированная версия ..." | ||
Том 17, № 4 (2020) | Моделирование языка и двунаправленные представления кодировщиков: обзор ключевых технологий | Аннотация PDF (Rus) похожие документы |
Д. И. Качков | ||
"... , реализованные в BERT, – это перенос знаний и механизм внимания. Модель предобучена решению нескольких задач на ..." | ||
Том 19, № 1 (2022) | Применение модели освоения языка к решению задачи обработки малых языков | Аннотация PDF (Rus) похожие документы |
Д. И. Качков | ||
"... инструментов для исследования малоизученных языков и инновационных подходов к моделированию языка в условиях ..." | ||
№ 4(36) (2012) | СВЕРТКА РЕГУЛЯРНЫХ МАТРИЧНЫХ СТРУКТУР ЗАКАЗНЫХ СБИС МЕТОДОМ МОДЕЛИРОВАНИЯ ОТЖИГА | Аннотация PDF (Rus) похожие документы |
Л. Д. Черемисинова, И. П. Логинова | ||
"... свертки. Предлагаются алгоритмы многократной и простой сверток регулярных струк- тур СБИС на основе ..." | ||
№ 2(34) (2012) | ГРАММАТИЧЕСКИЙ СЛОВАРЬ И ПРАВИЛА ОПРЕДЕЛЕНИЯ СЛОВЕСНОГО УДАРЕНИЯ ДЛЯ СИНТЕЗА РЕЧИ ПО ТЕКСТУ НА МОБИЛЬНЫХ УСТРОЙСТВАХ | Аннотация PDF (Rus) похожие документы |
Л. И. Цирульник, Д. А. Покладок | ||
№ 1(53) (2017) | МЕТОДИКА СИНТЕЗА ИНФОРМАЦИОННОЙ МОДЕЛИ БОЕВОЙ ОБСТАНОВКИ | Аннотация PDF (Rus) похожие документы |
Д. И. Рабченок | ||
"... сформировать эффективные структуру, параметры и связи между элементами информационной модели. Разрабатываются ..." | ||
№ 2(22) (2009) | МИНИМИЗАЦИЯ НА ТОПОЛОГИЧЕСКОМ УРОВНЕ ПЛОЩАДИ РЕГУЛЯРНЫХ СХЕМ С ПОСЛЕДОВАТЕЛЬНЫМ СОЕДИНЕНИЕМ МОП ТРАНЗИСТОРОВ | Аннотация PDF (Rus) похожие документы |
И. П. Логинова, Л. Д. Черемисинова | ||
"... -схем и возможности минимизации площади кристалла, основанной на свертке. Определяются ограничения ..." | ||
№ 4(32) (2011) | ПРИМЕНЕНИЕ МГНОВЕННОГО ГАРМОНИЧЕСКОГО АНАЛИЗА ДЛЯ АНТРОПОМОРФИЧЕСКОЙ ОБРАБОТКИ РЕЧЕВЫХ СИГНАЛОВ | Аннотация PDF (Rus) похожие документы |
Д. С. Лихачев, И. С. Азаров, А. А. Петровский | ||
№ 1(25) (2010) | ДНФ-РЕАЛИЗАЦИЯ ЧАСТИЧНЫХ БУЛЕВЫХ ФУНКЦИЙ МНОГИХ ПЕРЕМЕННЫХ | Аннотация PDF (Rus) похожие документы |
А. Д. Закревский, Н. Р. Торопов, В. И. Романов | ||
"... метода и экспериментов на компьютере, в ходе которых оценивались эффективность программы и границы ее ..." | ||
№ 4(12) (2006) | ПРОЕКТИРОВАНИЕ И РАЗРАБОТКА СЕМЕЙСТВА ТИПОВЫХ ПЕРСОНАЛЬНЫХ КЛАСТЕРОВ ТРИАДА | Аннотация PDF (Rus) похожие документы |
В. В. Анищенко, Д. Б. Жаворонков, В. И. Махнач, Н. Н. Парамонов, О. П. Чиж | ||
"... принципы создания семейства типовых персональных кластеров Триада и формулируются основные требования к их ..." | ||
Том 16, № 1 (2019) | Экстраполирующее обучение нейронных сетей | Аннотация PDF (Rus) похожие документы |
Я. А. Бурый, Д. И. Самаль | ||
"... изображения отсутствующих в исходной обучающей выборке символов с целью обобщения и последующей экстраполяции ..." | ||
Том 18, № 4 (2021) | Опыт совершенствования программных комплексов дистанционного зондирования Земли для обнаружения тепловых аномалий | Аннотация PDF (Rus) похожие документы |
С. А. Золотой, И. Б. Страшко, Д. С. Котов, И. М. Нестерович, В. В. Роубо, Д. В. Волохович | ||
"... то д ы. В период с 2015 г. по настоящее время выполнялись работы по практической апробации и ..." | ||
№ 2(10) (2006) | ИМИТАЦИОННАЯ МОДЕЛЬ ТЕХНОЛОГИЧЕСКИХ ПРОЦЕССОВ НА ГОРОДСКОМ ТРАНСПОРТЕ | Аннотация PDF (Rus) похожие документы |
И. В. Максимей, В. Д. Левчук, В. Н. Галушко, В. Н. Галушко, В. С. Могила, П. Л. Чечет | ||
"... На типовом примере даны содержательное и формальное описания имитационной модели транспортной сети ..." | ||
№ 3(11) (2006) | ТЕХНОЛОГИЯ АВТОМАТИЗИРОВАННОЙ ДИАГНОСТИКИ ЗАБОЛЕВАНИЙ ЛИМФАТИЧЕСКИХ УЗЛОВ ПО УЛЬТРАЗВУКОВЫМ ИЗОБРАЖЕНИЯМ | Аннотация PDF (Rus) похожие документы |
В. В. Анищенко, И. В. Бегун, В. В. Кулага, С. В. Спиридонов, К. В. Чижиков, Д. Л. Можейко | ||
"... ультразвуковых изображений (УЗИ), описываются структура специальной нейронной сети (НС) и алгоритм ее обучения по ..." | ||
№ 2(14) (2007) | СКВОЗНАЯ КОМПЬЮТЕРНАЯ ТЕХНОЛОГИЯ ПРОЕКТИРОВАНИЯ И ПРОИЗВОДСТВА ПЛАСТМАССОВЫХ ДЕТАЛЕЙ В ТРАКТОРОСТРОЕНИИ | Аннотация PDF (Rus) похожие документы |
Л. В. Губич, Д. Л. Васильев, А. В. Заблоцкий, Н. П. Муха, Н. И. Петкевич, А. А. Прохорова | ||
"... Рассматриваются задачи и пути их решения при создании сквозной компьютерной технологии ..." | ||
Том 16, № 2 (2019) | Верификация систем с параллелизмом поведения на основе графа достижимых состояний | Аннотация PDF (Rus) похожие документы |
Ю. В. Поттосин, В. И. Романов, Л. Д. Черемисинова | ||
"... управления и получения тестовых наборов. Полагается, что описание функционирования системы, заданное ..." | ||
№ 2 (2016) | КОНЦЕПТУАЛЬНАЯ МОДЕЛЬ МЕХАНИЗМОВ ОБЕСПЕЧЕНИЯ КАЧЕСТВА ОБСЛУЖИВАНИЯ В СЕТЯХ С КОММУТАЦИЕЙ ПАКЕТОВ | Аннотация PDF (Rus) похожие документы |
А. И. Хобня, В. Д. Левчук, О. М. Демиденко | ||
"... Анализируются и обобщаются принципы работы механизмов обеспечения качества обслуживания в сетях с ..." | ||
№ 2 (2014) | ГЕНЕТИЧЕСКИЙ АЛГОРИТМ ДЛЯ ОПТИМИЗАЦИИ СТРУКТУРЫ БЕСПРОВОДНОЙ СЕТИ С ЗАДАННЫМ КАЧЕСТВОМ ОБСЛУЖИВАНИЯ | Аннотация PDF (Rus) похожие документы |
Ю. И. Воротницкий, В. П. Кочин, Д. А. Стрикелев | ||
Том 20, № 1 (2023) | Малоразмерные спектральные признаки для машинного обучения в задачах анализа и классификации голосового сигнала | Аннотация PDF (Rus) похожие документы |
Д. С. Лихачёв, М. И. Вашкевич, Н. А. Петровский, И. С. Азаров | ||
"... , повышающего эффективность существующих систем машинного обучения для анализа и классификации голосовых ..." | ||
Том 18, № 3 (2021) | Совершенствование инструментальных средств обработки и анализа космической информации | Аннотация PDF (Rus) похожие документы |
С. А. Золотой, И. Б. Страшко, Д. С. Котов, И. М. Нестерович, В. В. Роубо, К. И. Костюк | ||
"... , которые позволяют ученым и специалистам выполнять тематическую обработку данных дистанционного ..." | ||
Том 18, № 1 (2021) | Построение и применение маршевых тестов для обнаружения кодочувствительных неисправностей запоминающих устройств | Аннотация PDF (Rus) похожие документы |
В. Н. Ярмолик, В. А. Леванцевич, Д. В. Деменковец, И. Мрозек | ||
"... систем. Исследуются математические модели неисправностей запоминающих устройств и используемые методы ..." | ||
Том 18, № 3 (2021) | Неразрушающие тесты с четным повторением адресов для запоминающих устройств | Аннотация PDF (Rus) похожие документы |
В. Н. Ярмолик, И. Мрозек, В. А. Леванцевич, Д. В. Деменковец | ||
"... систем. Исследуются математические модели неисправностей этих устройств и используемые методы ..." | ||
№ 4 (2015) | ПЛАНИРОВАНИЕ ПРОЦЕССА ИЗГОТОВЛЕНИЯ СЕКЦИИ КОРПУСА СУДНА | Аннотация PDF (Rus) похожие документы |
А. Г. Гривачевский, В. Д. Гривачевский, М. Я. Ковалев, А. И. Сухомлинов | ||
"... классической в теории расписаний трехстадийной задаче Джонсона. Описывается генетический алгоритм решения и ..." | ||
№ 2(34) (2012) | ИМПЛИКАТИВНЫЙ МЕТОД АНАЛИЗА ЧАСТИЧНЫХ БУЛЕВЫХ ФУНКЦИЙ | Аннотация PDF (Rus) похожие документы |
Д. Я. Новиков, Л. Д. Черемисинова | ||
№ 3(27) (2010) | ВЕРИФИКАЦИЯ ФУНКЦИОНАЛЬНЫХ ОПИСАНИЙ С НЕОПРЕДЕЛЕННОСТЬЮ НА ОСНОВЕ ПАРАФАЗНОГО ПРЕДСТАВЛЕНИЯ БУЛЕВЫХ ФУНКЦИЙ | Аннотация PDF (Rus) похожие документы |
Д. Я. Новиков, Л. Д. Черемисинова | ||
"... является объединением КНФ разрешения многоблочной структуры и КНФ запрета исходной системы функций. В ..." | ||
№ 1(25) (2010) | АВТОМАТИЧЕСКАЯ БИНАРИЗАЦИЯ ГРАДИЕНТНЫХ ИЗОБРАЖЕНИЙ НА ОСНОВЕ КЛАСТЕРНОГО МЕТОДА ОПРЕДЕЛЕНИЯ ПОРОГОВОЙ ВЕЛИЧИНЫ | Аннотация PDF (Rus) похожие документы |
Д. В. Прадун, Д. А. Залесский | ||
"... Исследуется проблема автоматической бинаризации мультиспектральных и полутоновых изображений ..." | ||
Том 17, № 3 (2020) | Распознавание подстилающей поверхности Земли с помощью сверточной нейронной сети на одноплатном микрокомпьютере | Аннотация PDF (Rus) похожие документы |
Д. А. Павленко, В. А. Ковалев, Э. В. Снежко, В. А. Левчук, Е. И. Печковский | ||
"... Приводятся результаты разработки программно-аппаратного комплекса (микромодуля) по обнаружению и ..." | ||
№ 3 (2013) | ВЕРИФИКАЦИЯ КОМПЬЮТЕРНЫХ МОДЕЛЕЙ ЭЛЕМЕНТОВ РЫЧАЖНОЙ ДЛИННОХОДОВОЙ ПОДВЕСКИ ПО РЕЗУЛЬТАТАМ СТЕНДОВЫХ ИСПЫТАНИЙ | Аннотация PDF (Rus) похожие документы |
В. С. Кончак, А. А. Назаренко, С. В. Хитриков, Д. А. Бузановский, С. П. Лазакович, Ю. И. Николаев | ||
"... модели являются стендовые испытания. Проводится сравни-тельный анализ результатов стендовых и виртуальных ..." | ||
№ 1 (2015) | МНОГОКРАТНАЯ СВЕРТКА РЕГУЛЯРНЫХ СТРУКТУР НА ОСНОВЕ РЕШЕНИЯ ЛОГИЧЕСКИХ УРАВНЕНИЙ | Аннотация PDF (Rus) похожие документы |
Л. Д. Черемисинова | ||
"... реализуемости множества свертки, который основывается на сведении задачи к решению логического уравнения и ..." | ||
№ 1(9) (2006) | VHDL-МОДЕЛИ МАТЕМАТИЧЕСКИХ ФУНКЦИЙ, ОСНОВАННЫЕ НА КУСОЧНО-ПОЛИНОМИАЛЬНОЙ ИНТЕРПОЛЯЦИИ | Аннотация PDF (Rus) похожие документы |
Д. А. Кочанов | ||
№ 4(8) (2005) | ЭНЕРГОСБЕРЕГАЮЩЕЕ КОДИРОВАНИЕ СОСТОЯНИЙ КОНЕЧНОГО АВТОМАТА. МЕТОД КВАДРАТОВ | Аннотация PDF (Rus) похожие документы |
А. Д. Закревский | ||
"... предлагается визуальный метод, использующий матрицу смежности и карту Карно и заключающийся в построении ..." | ||
№ 3(7) (2005) | МЕТОДЫ СОЗДАНИЯ 3D-МОДЕЛЕЙ КОРПУСНЫХ ДЕТАЛЕЙ В СИСТЕМЕ PRO/ENGINEER | Аннотация PDF (Rus) похожие документы |
Д. Л. Васильев | ||
№ 4(04) (2004) | РЕШЕНИЕ БОЛЬШИХ СИСТЕМ БУЛЕВЫХ УРАВНЕНИЙ | Аннотация PDF (Rus) похожие документы |
А. Д. Закревский | ||
"... Многие проблемы анализа, синтеза и диагностики неисправностей логических схем, а также проблемы ..." | ||
№ 3(03) (2004) | АВТОМАТИЗАЦИЯ СТРУКТУРНОГО СИНТЕЗА СБОРОЧНО СВАРОЧНЫХ ПРИСПОСОБЛЕНИЙ | Аннотация PDF (Rus) похожие документы |
Д. П. Кункевич | ||
№ 3(11) (2006) | КОМПЛЕКС ПРОГРАММ СИНТЕЗА ЛОГИЧЕСКИХ СХЕМ НА БАЗЕ ПРОГРАММИРУЕМЫХ ЛОГИЧЕСКИХ ИНТЕГРАЛЬНЫХ СХЕМ | Аннотация PDF (Rus) похожие документы |
Л. Д. Черемисинова | ||
"... нормальных форм (ДНФ), синтеза одноуровневых и многоуровневых логических сетей в базисе ПМЛ. ..." | ||
№ 1(01) (2004) | МИНИМИЗАЦИЯ ПЛОЩАДИ РЕГУЛЯРНЫХ МАТРИЧНЫХ СТРУКТУР ЗАКАЗНЫХ СБИС МЕТОДОМ СВЕРТКИ | Аннотация PDF (Rus) похожие документы |
Л. Д. Черемисинова | ||
"... блока управляющей логики, реализуемого матричной структурой, и укладки этого описания на кристалл ..." | ||
№ 2(6) (2005) | РАЗВИТИЕ ТАБЛИЧНОГО МЕТОДА ДЕКОМПОЗИЦИИ СИСТЕМЫ ПОЛНОСТЬЮ ОПРЕДЕЛЕННЫХ БУЛЕВЫХ ФУНКЦИЙ | Аннотация PDF (Rus) похожие документы |
Д. В. Садников | ||
"... . Этот метод менее трудоемкий и, согласно проведенным экспериментальным исследованиям, превосходит ..." | ||
№ 3(35) (2012) | ФОРМАЛИЗАЦИЯ РАННИХ СТАДИЙ ПРОЕКТИРОВАНИЯ МЕТАЛЛОРЕЖУЩЕГО ОБОРУДОВАНИЯ НА ОСНОВЕ QFD-МОДЕЛИРОВАНИЯ | Аннотация PDF (Rus) похожие документы |
Д. Н. Свирский | ||
№ 4(28) (2010) | СИНТЕЗ КОМБИНАЦИОННЫХ КМОП-СХЕМ С УЧЕТОМ ЭНЕРГОПОТРЕБЛЕНИЯ | Аннотация PDF (Rus) похожие документы |
Л. Д. Черемисинова | ||
"... интегральных схем, выполненных по КМОП-технологии, который позволяет минимизировать площадь и среднее значение ..." | ||
№ 1(29) (2011) | АЛГОРИТМЫ ЭНЕРГОСБЕРЕГАЮЩЕГО КОДИРОВАНИЯ СОСТОЯНИЙ АВТОМАТА | Аннотация PDF (Rus) похожие документы |
А. Д. Закревский | ||
№ 2(14) (2007) | СИСТЕМА СЕМАНТИЧЕСКОГО ПОИСКА В ЗАДАЧЕ ИНФОРМАЦИОННОЙ ПОДДЕРЖКИ ИННОВАЦИОННОЙ ДЕЯТЕЛЬНОСТИ | Аннотация PDF (Rus) похожие документы |
Д. Ю. Постаногов | ||
"... Описывается система информационного поиска с использованием семантического процессора и ..." | ||
№ 2(14) (2007) | ДЕКОМПОЗИЦИЯ ЧАСТИЧНЫХ БУЛЕВЫХ ФУНКЦИЙ – ПОИСК ПОДХОДЯЩЕГО РАЗБИЕНИЯ | Аннотация PDF (Rus) похожие документы |
А. Д. Закревский | ||
"... . Алгоритм формулируется в терминах булевых и троичных векторов и матриц с использованием эффективных ..." | ||
№ 2(26) (2010) | ОЦЕНКА ЭНЕРГОПОТРЕБЛЕНИЯ ПРИ ОПТИМИЗАЦИИ ДВУХУРОВНЕВЫХ КМОП-СХЕМ | Аннотация PDF (Rus) похожие документы |
Л. Д. Черемисинова | ||
"... Анализируются критерии оценки энергопотребления синхронных двухуровневых И-ИЛИ-схем, реализуемых ..." | ||
№ 3(19) (2008) | РЕАЛИЗАЦИЯ ПАРАЛЛЕЛЬНЫХ ГЕНЕТИЧЕСКИХ АЛГОРИТМОВ СО СЛОЖНОЙ ЦЕЛЕВОЙ ФУНКЦИЕЙ НА ОСНОВЕ ТЕХНОЛОГИИ JAVA RMI И БИБЛИОТЕКИ JGAP | Аннотация PDF (Rus) похожие документы |
Д. А. Стрикелев | ||
№ 3(19) (2008) | РЕАЛИЗАЦИЯ ПАРАЛЛЕЛЬНЫХ ГЕНЕТИЧЕСКИХ АЛГОРИТМОВ СО СЛОЖНОЙ ЦЕЛЕВОЙ ФУНКЦИЕЙ НА ОСНОВЕ ТЕХНОЛОГИИ JAVA RMI И БИБЛИОТЕКИ JGAP | Аннотация PDF (Rus) похожие документы |
Д. А. Стрикелев | ||
№ 4(20) (2008) | ПОСТРОЕНИЕ ПОСЛЕДОВАТЕЛЬНОСТЕЙ ДЛЯ ТЕСТИРОВАНИЯ D-ТРИГГЕРОВ СИНХРОННЫХ ПОСЛЕДОВАТЕЛЬНОСТНЫХ СХЕМ | Аннотация PDF (Rus) похожие документы |
Д. А. Кочанов | ||
"... -триггеры. Метод основывается на инициализации триггера и продвижении установленного в триггере значения на ..." | ||
№ 1(13) (2007) | НАХОЖДЕНИЕ ОТНОШЕНИЯ ПАРАЛЛЕЛЬНОСТИ НА МНОЖЕСТВЕ ЦЕПОЧЕК АЛГОРИТМА УПРАВЛЕНИЯ | Аннотация PDF (Rus) похожие документы |
Л. Д. Черемисинова | ||
№ 1(13) (2007) | ДЕКОМПОЗИЦИЯ ЧАСТИЧНЫХ БУЛЕВЫХ ФУНКЦИЙ - ПРОВЕРКА НА РАЗДЕЛИМОСТЬ ПО ЗАДАННОМУ РАЗБИЕНИЮ | Аннотация PDF (Rus) похожие документы |
А. Д. Закревский | ||
"... нестрогому разбиению на множестве аргументов. Предлагаются метод и алгоритм проверки функции на разделимость ..." | ||
№ 2(18) (2008) | ТОПОЛОГИЧЕСКАЯ ОПТИМИЗАЦИЯ РЕГУЛЯРНЫХ МОП СТРУКТУР МЕТОДОМ ДВУДОЛЬНОЙ СВЕРТКИ | Аннотация PDF (Rus) похожие документы |
Л. Д. Черемисинова | ||
№ 2(22) (2009) | КАНОНИЧЕСКИЕ БУЛЕВЫ ФОРМУЛЫ МНОГОУГОЛЬНИКОВ | Аннотация PDF (Rus) похожие документы |
А. Д. Закревский | ||
"... , продолжающих отрезки границы многоугольника, и переход в пространство соответствующих предикатов типа «точка ..." | ||
№ 4(16) (2007) | АВТОМАТИЧЕСКОЕ РЕФЕРИРОВАНИЕ ВИДЕОИНФОРМАЦИИ: ОБЗОР | Аннотация PDF (Rus) похожие документы |
Д. В. Прадун | ||
"... Анализируются существующие методы и системы для создания видеорефератов на основе сегментации и ..." | ||
№ 4(32) (2011) | МЕТОДИКА ОЦЕНКИ УРОВНЯ РАЗВИТИЯ ЭЛЕКТРОННОГО ДОКУМЕНТООБОРОТА НА ПРОМЫШЛЕННЫХ ПРЕДПРИЯТИЯХ | Аннотация PDF (Rus) похожие документы |
И. И. Шибут | ||
"... методы проведения и оценки результатов мониторинга уровня развития электронного документооборота на ..." | ||
№ 2(18) (2008) | ИМИТАЦИОННАЯ МОДЕЛЬ СИСТЕМЫ УПРАВЛЕНИЯ ЗАПАСАМИ В УСЛОВИЯХ ФИНАНСОВЫХ ОГРАНИЧЕНИЙ | Аннотация PDF (Rus) похожие документы |
О. И. Еськова, И. И. Кикоть | ||
"... имитационного моделирования. Изучается влияние системы скидок, кредитования заказов и нестабильности процентных ..." | ||
№ 1(9) (2006) | ГЛОБАЛЬНЫЙ АТТРАКТОР И ДОСТАТОЧНЫЕ УСЛОВИЯ ДЛЯ ВОССТАНОВЛЕНИЯ ОБРАЗОВ НЕЙРОСЕТЯМИ КОЭНА – ГРОССБЕРГА | Аннотация PDF (Rus) похожие документы |
А. В. Картынник, А. Д. Линкевич | ||
"... (синаптические) связи могут быть несимметричными и, следовательно, отсутствует аналог гамильтониана для системы в ..." | ||
№ 1(9) (2006) | РЕКОНСТРУКЦИЯ ТРЕХМЕРНОЙ МОДЕЛИ ПО ДВУМ ЦИФРОВЫМ ИЗОБРАЖЕНИЯМ | Аннотация PDF (Rus) похожие документы |
Д. В. Жук, А. В. Тузиков | ||
"... изображениях, выравнивание изображений, построение плотной карты диспаратности и триангуляцию. Предлагаются ..." | ||
№ 1(9) (2006) | РЕШЕНИЕ БОЛЬШИНСТВА ЛИНЕЙНЫХ ЛОГИЧЕСКИХ УРАВНЕНИЙ НЕСОВМЕСТНОЙ СИСТЕМЫ НА СУПЕРКОМПЬЮТЕРЕ | Аннотация PDF (Rus) похожие документы |
А. Д. Закревский, Н. Р. Торопов | ||
"... превышает число неизвестных. Такие системы, как правило, не имеют корней и называются поэтому несовместными ..." | ||
№ 4(8) (2005) | КОМПЬЮТЕРНАЯ ОБРАБОТКА ИЗОБРАЖЕНИЙ ДЛЯ РЕКУРСИВНОГО ВОССТАНОВЛЕНИЯ ФОРМЫ НЕРЕГУЛЯРНЫХ ОБЪЕКТОВ | Аннотация PDF (Rus) похожие документы |
Ю. В. Полозков, Д. Н. Свирский | ||
"... процессе видеооцифровки. Для автоматизации процесса сегментации и анализа связности компонентов ..." | ||
1 - 70 из 317 результатов | 1 2 3 4 5 > >> |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)