Preview

Информатика

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

Поиск


Сортировать по:     
 
Выпуск Название
 
№ 1(53) (2017) ОТОБРАЖЕНИЕ ЛОГИЧЕСКИХ СЕТЕЙ В ЗАДАННЫЙ ТЕХНОЛОГИЧЕСКИЙ БАЗИС Аннотация  PDF (Rus)  похожие документы
Д. И. Черемисинов
"... КМОП СБИС. Приводится описание структуры программы для решения этой задачи и форматов исходных данных ..."
 
№ 3(35) (2012) ГЕНЕРАЦИЯ ВЫПОЛНИМЫХ СПЕЦИФИКАЦИЙ ЦИФРОВЫХ СИСТЕМ ИЗ СТРУКТУРНЫХ ОПИСАНИЙ FPGA-ПРОЕКТОВ Аннотация  PDF (Rus)  похожие документы
Д. И. Черемисинов
 
Том 15, № 4 (2018) Использование языка ПРАЛУ для верификации цифровых устройств Аннотация  PDF (Rus)  похожие документы
Д. И. Черемисинов
"... верификации устанавливается сводимость (эквивалентность) спецификации устройства и модели уровня регистровых ..."
 
№ 1(5) (2005) МОРФИЗМЫ МОДЕЛЕЙ ПОВЕДЕНИЯ РАСПРЕДЕЛЕННЫХ СИСТЕМ Аннотация  PDF (Rus)  похожие документы
Д. И. Черемисинов
"... , временная логика и язык ПРАЛУ. В результате анализа известных способов описания поведения вычислительных ..."
 
№ 3(7) (2005) РАБОТА С КЛАСТЕРНЫМ КОМПЬЮТЕРОМ ИЗ WINDOWS Аннотация  PDF (Rus)  похожие документы
Д. И. Черемисинов
"... выполнять задачи редактирования текста, компиляции программы и запуска программы на кластере. Достоинством ..."
 
№ 1(01) (2004) ОБ ИНТЕРПРЕТАЦИИ ВРЕМЕННОЙ ЛОГИКИ ПРИ СИМВОЛИЧЕСКОЙ ВЕРИФИКАЦИИ Аннотация  PDF (Rus)  похожие документы
Д. И. Черемисинов
"... , в которых выразительность и интуитивность CTL для интервальных событий не хуже, чем выразительность ..."
 
№ 3(03) (2004) ФОРМАЛЬНЫЕ МЕТОДЫ АНАЛИЗА ПОВЕДЕНИЯ РАСПРЕДЕЛЕННЫХ СИСТЕМ Аннотация  PDF (Rus)  похожие документы
Д. И. Черемисинов
"... Анализируются понятия параллелизма и асинхронности – ключевые понятия, лежащие в основе современных ..."
 
№ 4 (2013) СИНТЕЗ КОМБИНАЦИОННЫХ СХЕМ В БАЗИСЕ БИБЛИОТЕЧНЫХ ЭЛЕМЕНТОВ КМОП СБИС С УЧЕТОМ ЭНЕРГОПОТРЕБЛЕНИЯ Аннотация  PDF (Rus)  похожие документы
Д. И. Черемисинов, Л. Д. Черемисинова
"... СБИС, оптимизированных по критерию площади и среднему значению рассеиваемой мощности КМОП-микросхемы ..."
 
№ 1(53) (2017) МЕТОДИКА СИНТЕЗА ИНФОРМАЦИОННОЙ МОДЕЛИ БОЕВОЙ ОБСТАНОВКИ Аннотация  PDF (Rus)  похожие документы
Д. И. Рабченок
"... сформировать эффективные структуру, параметры и связи между элементами информационной модели. Разрабатываются ..."
 
№ 4(16) (2007) СПОСОБ ВВОДА ТЕКСТА В ВЫЧИСЛИТЕЛЬНЫЕ УСТРОЙСТВА С РЕДУЦИРОВАННОЙ КЛАВИАТУРОЙ Аннотация  PDF (Rus)  похожие документы
Д. И. Самаль
"... . Он может быть реализован как для мобильных телефонов, смартфонов, так и для банкоматов, телевизионных ..."
 
№ 4(36) (2012) СВЕРТКА РЕГУЛЯРНЫХ МАТРИЧНЫХ СТРУКТУР ЗАКАЗНЫХ СБИС МЕТОДОМ МОДЕЛИРОВАНИЯ ОТЖИГА Аннотация  PDF (Rus)  похожие документы
Л. Д. Черемисинова, И. П. Логинова
"... свертки. Предлагаются алгоритмы многократной и простой сверток регулярных струк- тур СБИС на основе ..."
 
№ 2(34) (2012) ГРАММАТИЧЕСКИЙ СЛОВАРЬ И ПРАВИЛА ОПРЕДЕЛЕНИЯ СЛОВЕСНОГО УДАРЕНИЯ ДЛЯ СИНТЕЗА РЕЧИ ПО ТЕКСТУ НА МОБИЛЬНЫХ УСТРОЙСТВАХ Аннотация  PDF (Rus)  похожие документы
Л. И. Цирульник, Д. А. Покладок
 
№ 2(22) (2009) МИНИМИЗАЦИЯ НА ТОПОЛОГИЧЕСКОМ УРОВНЕ ПЛОЩАДИ РЕГУЛЯРНЫХ СХЕМ С ПОСЛЕДОВАТЕЛЬНЫМ СОЕДИНЕНИЕМ МОП ТРАНЗИСТОРОВ Аннотация  PDF (Rus)  похожие документы
И. П. Логинова, Л. Д. Черемисинова
"... -схем и возможности минимизации площади кристалла, основанной на свертке. Определяются ограничения ..."
 
№ 2(10) (2006) ПРОЕКТИРОВАНИЕ СЕТЕЙ НА ОСНОВЕ ГЕНЕТИЧЕСКИХ АЛГОРИТМОВ, МОДИФИЦИРУЮЩИХ СТРУКТУРУ ХРОМОСОМ Аннотация  PDF (Rus)  похожие документы
Ю. И. Воротницкий, Д. А. Стрикелев
"... алгоритмов и причины, снижающие эффективность их применения. Предлагается модифицированная версия ..."
 
Том 16, № 1 (2019) Экстраполирующее обучение нейронных сетей Аннотация  PDF (Rus)  похожие документы
Я. А. Бурый, Д. И. Самаль
"... изображения отсутствующих в исходной обучающей выборке символов с целью обобщения и последующей экстраполяции ..."
 
№ 2 (2016) КОНЦЕПТУАЛЬНАЯ МОДЕЛЬ МЕХАНИЗМОВ ОБЕСПЕЧЕНИЯ КАЧЕСТВА ОБСЛУЖИВАНИЯ В СЕТЯХ С КОММУТАЦИЕЙ ПАКЕТОВ Аннотация  PDF (Rus)  похожие документы
А. И. Хобня, В. Д. Левчук, О. М. Демиденко
"... Анализируются и обобщаются принципы работы механизмов обеспечения качества обслуживания в сетях с ..."
 
№ 2 (2014) ГЕНЕТИЧЕСКИЙ АЛГОРИТМ ДЛЯ ОПТИМИЗАЦИИ СТРУКТУРЫ БЕСПРОВОДНОЙ СЕТИ С ЗАДАННЫМ КАЧЕСТВОМ ОБСЛУЖИВАНИЯ Аннотация  PDF (Rus)  похожие документы
Ю. И. Воротницкий, В. П. Кочин, Д. А. Стрикелев
 
№ 4(32) (2011) ПРИМЕНЕНИЕ МГНОВЕННОГО ГАРМОНИЧЕСКОГО АНАЛИЗА ДЛЯ АНТРОПОМОРФИЧЕСКОЙ ОБРАБОТКИ РЕЧЕВЫХ СИГНАЛОВ Аннотация  PDF (Rus)  похожие документы
Д. С. Лихачев, И. С. Азаров, А. А. Петровский
 
№ 1(25) (2010) ДНФ-РЕАЛИЗАЦИЯ ЧАСТИЧНЫХ БУЛЕВЫХ ФУНКЦИЙ МНОГИХ ПЕРЕМЕННЫХ Аннотация  PDF (Rus)  похожие документы
А. Д. Закревский, Н. Р. Торопов, В. И. Романов
"... метода и экспериментов на компьютере, в ходе которых оценивались эффективность программы и границы ее ..."
 
Том 16, № 2 (2019) Верификация систем с параллелизмом поведения на основе графа достижимых состояний Аннотация  PDF (Rus)  похожие документы
Ю. В. Поттосин, В. И. Романов, Л. Д. Черемисинова
"... управления и получения тестовых наборов. Полагается, что описание функционирования системы, заданное ..."
 
№ 4 (2015) ПЛАНИРОВАНИЕ ПРОЦЕССА ИЗГОТОВЛЕНИЯ СЕКЦИИ КОРПУСА СУДНА Аннотация  PDF (Rus)  похожие документы
А. Г. Гривачевский, В. Д. Гривачевский, М. Я. Ковалев, А. И. Сухомлинов
"... классической в теории расписаний трехстадийной задаче Джонсона. Описывается генетический алгоритм решения и ..."
 
№ 4(12) (2006) ПРОЕКТИРОВАНИЕ И РАЗРАБОТКА СЕМЕЙСТВА ТИПОВЫХ ПЕРСОНАЛЬНЫХ КЛАСТЕРОВ ТРИАДА Аннотация  PDF (Rus)  похожие документы
В. В. Анищенко, Д. Б. Жаворонков, В. И. Махнач, Н. Н. Парамонов, О. П. Чиж
"... принципы создания семейства типовых персональных кластеров Триада и формулируются основные требования к их ..."
 
№ 3 (2013) ВЕРИФИКАЦИЯ КОМПЬЮТЕРНЫХ МОДЕЛЕЙ ЭЛЕМЕНТОВ РЫЧАЖНОЙ ДЛИННОХОДОВОЙ ПОДВЕСКИ ПО РЕЗУЛЬТАТАМ СТЕНДОВЫХ ИСПЫТАНИЙ Аннотация  PDF (Rus)  похожие документы
В. С. Кончак, А. А. Назаренко, С. В. Хитриков, Д. А. Бузановский, С. П. Лазакович, Ю. И. Николаев
"... модели являются стендовые испытания. Проводится сравни-тельный анализ результатов стендовых и виртуальных ..."
 
№ 2(14) (2007) СКВОЗНАЯ КОМПЬЮТЕРНАЯ ТЕХНОЛОГИЯ ПРОЕКТИРОВАНИЯ И ПРОИЗВОДСТВА ПЛАСТМАССОВЫХ ДЕТАЛЕЙ В ТРАКТОРОСТРОЕНИИ Аннотация  PDF (Rus)  похожие документы
Л. В. Губич, Д. Л. Васильев, А. В. Заблоцкий, Н. П. Муха, Н. И. Петкевич, А. А. Прохорова
"... Рассматриваются задачи и пути их решения при создании сквозной компьютерной технологии ..."
 
№ 2(10) (2006) ИМИТАЦИОННАЯ МОДЕЛЬ ТЕХНОЛОГИЧЕСКИХ ПРОЦЕССОВ НА ГОРОДСКОМ ТРАНСПОРТЕ Аннотация  PDF (Rus)  похожие документы
И. В. Максимей, В. Д. Левчук, В. Н. Галушко, В. Н. Галушко, В. С. Могила, П. Л. Чечет
"... На типовом примере даны содержательное и формальное описания имитационной модели транспортной сети ..."
 
№ 3(11) (2006) ТЕХНОЛОГИЯ АВТОМАТИЗИРОВАННОЙ ДИАГНОСТИКИ ЗАБОЛЕВАНИЙ ЛИМФАТИЧЕСКИХ УЗЛОВ ПО УЛЬТРАЗВУКОВЫМ ИЗОБРАЖЕНИЯМ Аннотация  PDF (Rus)  похожие документы
В. В. Анищенко, И. В. Бегун, В. В. Кулага, С. В. Спиридонов, К. В. Чижиков, Д. Л. Можейко
"... ультразвуковых изображений (УЗИ), описываются структура специальной нейронной сети (НС) и алгоритм ее обучения по ..."
 
№ 2(34) (2012) ИМПЛИКАТИВНЫЙ МЕТОД АНАЛИЗА ЧАСТИЧНЫХ БУЛЕВЫХ ФУНКЦИЙ Аннотация  PDF (Rus)  похожие документы
Д. Я. Новиков, Л. Д. Черемисинова
 
№ 3(27) (2010) ВЕРИФИКАЦИЯ ФУНКЦИОНАЛЬНЫХ ОПИСАНИЙ С НЕОПРЕДЕЛЕННОСТЬЮ НА ОСНОВЕ ПАРАФАЗНОГО ПРЕДСТАВЛЕНИЯ БУЛЕВЫХ ФУНКЦИЙ Аннотация  PDF (Rus)  похожие документы
Д. Я. Новиков, Л. Д. Черемисинова
"... является объединением КНФ разрешения многоблочной структуры и КНФ запрета исходной системы функций. В ..."
 
№ 1(25) (2010) АВТОМАТИЧЕСКАЯ БИНАРИЗАЦИЯ ГРАДИЕНТНЫХ ИЗОБРАЖЕНИЙ НА ОСНОВЕ КЛАСТЕРНОГО МЕТОДА ОПРЕДЕЛЕНИЯ ПОРОГОВОЙ ВЕЛИЧИНЫ Аннотация  PDF (Rus)  похожие документы
Д. В. Прадун, Д. А. Залесский
"... Исследуется проблема автоматической бинаризации мультиспектральных и полутоновых изображений ..."
 
№ 1 (2015) МНОГОКРАТНАЯ СВЕРТКА РЕГУЛЯРНЫХ СТРУКТУР НА ОСНОВЕ РЕШЕНИЯ ЛОГИЧЕСКИХ УРАВНЕНИЙ Аннотация  PDF (Rus)  похожие документы
Л. Д. Черемисинова
"... реализуемости множества свертки, который основывается на сведении задачи к решению логического уравнения и ..."
 
№ 1 (2013) СНИЖЕНИЕ РАЗМЕРНОСТИ ОБУЧАЮЩИХ ВЫБОРОК ПРИ РАСПОЗНАВАНИИ ОБРАЗОВ НА КОСМИЧЕСКИХ ИЗОБРАЖЕНИЯХ С ПОМОЩЬЮ МЕТОДА ГЛАВНЫХ КОМПОНЕНТ Аннотация  PDF (Rus)  похожие документы
Д. В. Прадун
"... Описываются сущность метода главных компонент и задача снижения размерности в про-цессе ..."
 
№ 2 (2013) ИНФОРМАЦИОННОЕ ОБЕСПЕЧЕНИЕ В СФЕРЕ ЗДРАВООХРАНЕНИЯ Аннотация  PDF (Rus)  похожие документы
Д. В. Сивуров
"... Рассматривается роль Республиканской научной медицинской библиотеки (РНМБ) в функ-ционировании и ..."
 
№ 3 (2015) КОМПЬЮТЕРНОЕ МОДЕЛИРОВАНИЕ ЛИЦА ПАЦИЕНТА НА ОСНОВЕ БОКОВЫХ ОРТОГНАТИЧЕСКИХ МОДЕЛЕЙ Аннотация  PDF (Rus)  похожие документы
Ю. Д. Васильева
"... диагностики показать пациенту его лицо после планируемого лечения и может быть полезна специалистам-ортодонтам ..."
 
№ 3(55) (2017) ОЦЕНКА ГЕОМЕТРИЧЕСКИХ ПАРАМЕТРОВ ТЕЛА ЧЕЛОВЕКА НА ОСНОВЕ ДАННЫХ СКАНИРОВАНИЯ С ПОМОЩЬЮ СЕНСОРА MICROSOFT KINECT Аннотация  PDF (Rus)  похожие документы
Д. М. Васильков
"... Предлагается технология оценки формы и размеров тела человека с помощью сенсора Microsoft Kinect ..."
 
№ 4(56) (2017) ПОСТРОЕНИЕ ТЕСТОВ ПОЛНОГО ПЕРЕБОРА ДЛЯ ОЦЕНКИ ЭНЕРГОПОТРЕБЛЕНИЯ ПОСЛЕДОВАТЕЛЬНОСТНЫХ СХЕМ Аннотация  PDF (Rus)  похожие документы
Л. Д. Черемисинова
 
№ 3(35) (2012) ФОРМАЛИЗАЦИЯ РАННИХ СТАДИЙ ПРОЕКТИРОВАНИЯ МЕТАЛЛОРЕЖУЩЕГО ОБОРУДОВАНИЯ НА ОСНОВЕ QFD-МОДЕЛИРОВАНИЯ Аннотация  PDF (Rus)  похожие документы
Д. Н. Свирский
 
№ 1(29) (2011) АЛГОРИТМЫ ЭНЕРГОСБЕРЕГАЮЩЕГО КОДИРОВАНИЯ СОСТОЯНИЙ АВТОМАТА Аннотация  PDF (Rus)  похожие документы
А. Д. Закревский
 
№ 4(28) (2010) СИНТЕЗ КОМБИНАЦИОННЫХ КМОП-СХЕМ С УЧЕТОМ ЭНЕРГОПОТРЕБЛЕНИЯ Аннотация  PDF (Rus)  похожие документы
Л. Д. Черемисинова
"...  интегральных схем, выполненных по КМОП-технологии, который позволяет минимизировать площадь и среднее значение ..."
 
№ 2(26) (2010) ОЦЕНКА ЭНЕРГОПОТРЕБЛЕНИЯ ПРИ ОПТИМИЗАЦИИ ДВУХУРОВНЕВЫХ КМОП-СХЕМ Аннотация  PDF (Rus)  похожие документы
Л. Д. Черемисинова
"... Анализируются критерии оценки энергопотребления синхронных двухуровневых И-ИЛИ-схем, реализуемых ..."
 
№ 2(22) (2009) КАНОНИЧЕСКИЕ БУЛЕВЫ ФОРМУЛЫ МНОГОУГОЛЬНИКОВ Аннотация  PDF (Rus)  похожие документы
А. Д. Закревский
"... , продолжающих отрезки границы многоугольника, и переход в пространство соответствующих предикатов типа «точка ..."
 
№ 2(18) (2008) ТОПОЛОГИЧЕСКАЯ ОПТИМИЗАЦИЯ РЕГУЛЯРНЫХ МОП СТРУКТУР МЕТОДОМ ДВУДОЛЬНОЙ СВЕРТКИ Аннотация  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(14) (2007) СИСТЕМА СЕМАНТИЧЕСКОГО ПОИСКА В ЗАДАЧЕ ИНФОРМАЦИОННОЙ ПОДДЕРЖКИ ИННОВАЦИОННОЙ ДЕЯТЕЛЬНОСТИ Аннотация  PDF (Rus)  похожие документы
Д. Ю. Постаногов
"... Описывается система информационного поиска с использованием семантического процессора и ..."
 
№ 2(14) (2007) ДЕКОМПОЗИЦИЯ ЧАСТИЧНЫХ БУЛЕВЫХ ФУНКЦИЙ – ПОИСК ПОДХОДЯЩЕГО РАЗБИЕНИЯ Аннотация  PDF (Rus)  похожие документы
А. Д. Закревский
"... . Алгоритм формулируется в терминах булевых и троичных векторов и матриц с использованием эффективных ..."
 
№ 4(16) (2007) АВТОМАТИЧЕСКОЕ РЕФЕРИРОВАНИЕ ВИДЕОИНФОРМАЦИИ: ОБЗОР Аннотация  PDF (Rus)  похожие документы
Д. В. Прадун
"... Анализируются существующие методы и системы для создания видеорефератов на основе сегментации и ..."
 
№ 1(9) (2006) VHDL-МОДЕЛИ МАТЕМАТИЧЕСКИХ ФУНКЦИЙ, ОСНОВАННЫЕ НА КУСОЧНО-ПОЛИНОМИАЛЬНОЙ ИНТЕРПОЛЯЦИИ Аннотация  PDF (Rus)  похожие документы
Д. А. Кочанов
 
№ 3(11) (2006) КОМПЛЕКС ПРОГРАММ СИНТЕЗА ЛОГИЧЕСКИХ СХЕМ НА БАЗЕ ПРОГРАММИРУЕМЫХ ЛОГИЧЕСКИХ ИНТЕГРАЛЬНЫХ СХЕМ Аннотация  PDF (Rus)  похожие документы
Л. Д. Черемисинова
"... нормальных форм (ДНФ), синтеза одноуровневых и многоуровневых логических сетей в базисе ПМЛ. ..."
 
№ 2(6) (2005) РАЗВИТИЕ ТАБЛИЧНОГО МЕТОДА ДЕКОМПОЗИЦИИ СИСТЕМЫ ПОЛНОСТЬЮ ОПРЕДЕЛЕННЫХ БУЛЕВЫХ ФУНКЦИЙ Аннотация  PDF (Rus)  похожие документы
Д. В. Садников
"... . Этот метод менее трудоемкий и, согласно проведенным экспериментальным исследованиям, превосходит ..."
 
№ 3(7) (2005) МЕТОДЫ СОЗДАНИЯ 3D-МОДЕЛЕЙ КОРПУСНЫХ ДЕТАЛЕЙ В СИСТЕМЕ PRO/ENGINEER Аннотация  PDF (Rus)  похожие документы
Д. Л. Васильев
 
№ 4(8) (2005) ЭНЕРГОСБЕРЕГАЮЩЕЕ КОДИРОВАНИЕ СОСТОЯНИЙ КОНЕЧНОГО АВТОМАТА. МЕТОД КВАДРАТОВ Аннотация  PDF (Rus)  похожие документы
А. Д. Закревский
"... предлагается визуальный метод, использующий матрицу смежности и карту Карно и заключающийся в построении ..."
 
№ 1(01) (2004) МИНИМИЗАЦИЯ ПЛОЩАДИ РЕГУЛЯРНЫХ МАТРИЧНЫХ СТРУКТУР ЗАКАЗНЫХ СБИС МЕТОДОМ СВЕРТКИ Аннотация  PDF (Rus)  похожие документы
Л. Д. Черемисинова
"... блока управляющей логики, реализуемого матричной структурой, и укладки этого описания на кристалл ..."
 
№ 3(03) (2004) АВТОМАТИЗАЦИЯ СТРУКТУРНОГО СИНТЕЗА СБОРОЧНО СВАРОЧНЫХ ПРИСПОСОБЛЕНИЙ Аннотация  PDF (Rus)  похожие документы
Д. П. Кункевич
 
№ 4(04) (2004) РЕШЕНИЕ БОЛЬШИХ СИСТЕМ БУЛЕВЫХ УРАВНЕНИЙ Аннотация  PDF (Rus)  похожие документы
А. Д. Закревский
"... Многие проблемы анализа, синтеза и диагностики неисправностей логических схем, а также проблемы ..."
 
№ 4(32) (2011) МЕТОДИКА ОЦЕНКИ УРОВНЯ РАЗВИТИЯ ЭЛЕКТРОННОГО ДОКУМЕНТООБОРОТА НА ПРОМЫШЛЕННЫХ ПРЕДПРИЯТИЯХ Аннотация  PDF (Rus)  похожие документы
И. И. Шибут
"... методы проведения и оценки результатов мониторинга уровня развития электронного документооборота на ..."
 
№ 3 (2016) ИССЛЕДОВАНИЕ ЭФФЕКТИВНОСТИ ТЕХНОЛОГИЧЕСКИ НЕЗАВИСИМОЙ ОПТИМИЗАЦИИ ФУНКЦИОНАЛЬНЫХ ОПИСАНИЙ КМОП-СХЕМ Аннотация  PDF (Rus)  похожие документы
Н. А. Кириенко, Л. Д. Черемисинова
"... , которые представлены системами булевых функций, на сложность и задержку схем, синтезированных из ..."
 
№ 2 (2016) ПАРАЛЛЕЛЬНЫЙ АЛГОРИТМ МОДЕЛИРОВАНИЯ ТРЕХМЕРНОГО ТЕЧЕНИЯ СТОКСА МЕТОДОМ ГРАНИЧНЫХ ЭЛЕМЕНТОВ Аннотация  PDF (Rus)  похожие документы
Д. Г. Прибыток, Э. Н. Середин
"... : дискретизация и построение системы линейных алгебраических уравнений (СЛАУ), ее решение, нахождение вектора ..."
 
Том 15, № 2 (2018) МОДЕЛЬ МЕДИЦИНСКОЙ ДИАГНОСТИЧЕСКОЙ ЛАБОРАТОРИИ: МУЛЬТИМЕДИЙНЫЙ ПОДХОД К БАЗЕ ДАННЫХ Аннотация  похожие документы
Д. В. Туйет, С. В. Абламейко
"... приложениях для медицины. В последние годы развертывание медицинских информационных систем и лабораторных ..."
 
№ 4(36) (2012) МИНИМИЗАЦИЯ МАКСИМАЛЬНОГО ВРЕМЕННОГО СМЕЩЕНИЯ ДЛЯ ОДНОГО ПРИБОРА В УСЛОВИЯХ НЕОПРЕДЕЛЕННОСТИ ДИРЕКТИВНЫХ СРОКОВ Аннотация  PDF (Rus)  похожие документы
Я. М. Шафранский, Д. С. Следнев
"... директивных сроков при наличии ограничений предшествования и обслуживании требований одним прибором 1|prec; dj ..."
 
№ 2(34) (2012) АЛГОРИТМ АВТОМАТИЧЕСКОГО ОПРЕДЕЛЕНИЯ ТЕНЕЙ С ИСПОЛЬЗОВАНИЕМ ЭНТРОПИЙНОГО МЕТОДА БИНАРИЗАЦИИ ИЗОБРАЖЕНИЙ Аннотация  PDF (Rus)  похожие документы
Д. В. Прадун, А. А. Мамчич
"... цифрового изображения в цветовом YUV-пространстве с последующим анализом гистограмм и использованием ..."
 
№ 4(32) (2011) АВТОМАТИЗАЦИЯ ВЫБОРА ТЕХНОЛОГИЧЕСКОГО МЕТОДА ПРИ ОРГАНИЗАЦИИ КОМПАКТНОГО ПРОИЗВОДСТВА МАШИНОСТРОИТЕЛЬНОЙ ПРОДУКЦИИ Аннотация  PDF (Rus)  похожие документы
Д. Н. Свирский, А. Л. Климентьев
"... производстве машиностроительной продукции. Приводятся методология и структура программно-алгоритмического ..."
 
№ 3(31) (2011) ВЕРИФИКАЦИЯ ЛОГИЧЕСКИХ СХЕМ, РЕАЛИЗУЮЩИХ СИСТЕМЫ ЧАСТИЧНЫХ БУЛЕВЫХ ФУНКЦИЙ Аннотация  PDF (Rus)  похожие документы
П. Н. Бибило, Д. Я. Новиков
"... решения рассматриваемой задачи на основе совместного использования троичного параллельного моделирования и ..."
 
№ 3(31) (2011) ОПТИМИЗАЦИЯ СКОБОЧНЫХ ПРЕДСТАВЛЕНИЙ БУЛЕВЫХ ФУНКЦИЙ С УЧЕТОМ ЭНЕРГОПОТРЕБЛЕНИЯ Аннотация  PDF (Rus)  похожие документы
Л. Д. Черемисинова, Н. А. Кириенко
"... Предлагается и исследуется метод построения скобочного представления булевой функции, которое ..."
 
№ 2(30) (2011) БЛОЧНО-ПАРАЛЛЕЛЬНАЯ КЛАСТЕРИЗАЦИЯ МУЛЬТИСПЕКТРАЛЬНЫХ ИЗОБРАЖЕНИЙ С ПОМОЩЬЮ АЛГОРИТМА МАКСИМАЛЬНОГО ПОТОКА В СЕТИ Аннотация  PDF (Rus)  похожие документы
Д. В. Прадун, Б. А. Залесский
"... изображений, в том числе большого размера, в блочно-параллельном режиме. Описываются общая схема и основные ..."
 
№ 2(30) (2011) РАСЧЕТ ЭЛЕКТРОСТАТИЧЕСКИХ ПОЛЕЙ В КОРПУСЕ С ОТВЕРСТИЕМ МЕТОДОМ ГРАНИЧНЫХ ЭЛЕМЕНТОВ Аннотация  PDF (Rus)  похожие документы
В. Т. Ерофеенко, Д. В. Комнатный
"... корпусов и тонких экранов, выполненных из идеально проводящих материалов. Для численного решения краевой ..."
 
№ 1(29) (2011) О РЕАЛИЗАЦИИ МОДУЛЯРНЫХ СУММАТОРОВ НА FPGA Аннотация  PDF (Rus)  похожие документы
П. Н. Бибило, Д. А. Городецкий
"... сумматоров для различного числа операндов и различной разрядности складываемых чисел. ..."
 
№ 3(27) (2010) ФИЛЬТРАЦИЯ И КЛАСТЕРИЗАЦИЯ МУЛЬТИСПЕКТРАЛЬНЫХ ИЗОБРАЖЕНИЙ С ПОМОЩЬЮ АЛГОРИТМА МАКСИМАЛЬНОГО ПОТОКА В СЕТИ НА ОСНОВЕ ВЫЧИСЛЕНИЯ ГРАДИЕНТА Аннотация  PDF (Rus)  похожие документы
Д. В. Прадун, Б. А. Залесский
"... Рассматривается алгоритм фильтрации и кластеризации мультиспектральных изображений с помощью ..."
 
1 - 70 из 252 результатов 1 2 3 4 > >> 

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

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