Выпуск | Название | |
№ 4(8) (2005) | ПРОГРАММНЫЕ СРЕДСТВА ДЛЯ РЕШЕНИЯ ЛОГИКО-КОМБИНАТОРНЫХ ЗАДАЧ | Аннотация PDF (Rus) похожие документы |
В. И. Романов | ||
"... Предлагается описание средств для программирования трудоемких алгоритмов логико-комбинаторного ..." | ||
№ 3(7) (2005) | ПАРАЛЛЕЛЬНЫЕ ЛОГИКО-КОМБИНАТОРНЫЕ ВЫЧИСЛЕНИЯ В СРЕДЕ MPI | Аннотация PDF (Rus) похожие документы |
Н. Р. Торопов | ||
"... процессами при параллельном решении логико-комбинаторных задач разработан специальный класс операций над ..." | ||
Том 15, № 1 (2018) | МОДЕЛИРОВАНИЕ ДВИЖЕНИЯ ОБЪЕКТОВ БЕЗ ОСТАНОВОК ПО СЕТИ ПЕРЕСЕКАЮЩИХСЯ МАРШРУТОВ | Аннотация PDF (Rus) похожие документы |
И. В. Рубанов, М. С. Баркетов, М. Я. Ковалев | ||
"... формулируется в терминах дизъюнктивного линейного программирования, смешанного целочисленного линейного ..." | ||
№ 2(14) (2007) | ОПТИМИЗАЦИЯ ЛОГИЧЕСКОЙ СХЕМЫ АВТОМАТА МУРА НА ПРОГРАММИРУЕМОЙ МАТРИЧНОЙ ЛОГИКЕ | Аннотация PDF (Rus) похожие документы |
А. А. Баркалов, Л. А. Титаренко, С. Я. Хмелевский | ||
"... Описывается метод уменьшения числа макроячеек программируемой матричной логики (ПМЛ) в логической ..." | ||
Том 18, № 3 (2021) | Применение логики первого порядка для выявления организаторов и исполнителей противоправных действий в преступных группах | Аннотация PDF (Rus) похожие документы |
А. М. Соболь, Е. И. Козлова, Ю. А. Чернявский | ||
"... Известны три основных семейства алгоритмов вывода в логике первого порядка: прямой логический ..." | ||
№ 2(6) (2005) | ПАРАЛЛЕЛЬНАЯ ПРОВЕРКА ДНФ НА ТАВТОЛОГИЮ | Аннотация PDF (Rus) похожие документы |
Н. Р. Торопов | ||
"... Рассматривается одна из базовых задач логико-комбинаторных вычислений – проверка дизъюнктивной ..." | ||
Том 16, № 2 (2019) | Разработка алгоритмов и программных средств классификации кодирующих и некодирующих нуклеотидных последовательностей | Аннотация PDF (Rus) похожие документы |
В. Р. Закирова, Д. А. Сырокваш, С. В. Гилевский, П. В. Назаров, Н. Н. Яцков | ||
№ 3 (2013) | КОМБИНАТОРНЫЙ АЛГОРИТМ ВЫДЕЛЕНИЯ КОНТУРОВ ОБЪЕКТОВ НА ЦИФРОВЫХ ИЗОБРАЖЕНИЯХ | Аннотация PDF (Rus) похожие документы |
Б. А. Залесский | ||
"... комбинаторных методов, применяемых для кластеризации ориентированного гради-ента. Алгоритм позволяет оценить с ..." | ||
Том 16, № 4 (2019) | О надежности, безопасности и читабельности языков программирования на примере языка Ада | Аннотация похожие документы |
А. В. Леонтьев | ||
"... , простых конструкций языков программирования, таких как, например, типизация, начальная элаборация, статус ..." | ||
Том 18, № 2 (2021) | Минимизация булевых функций в классе ортогональных дизъюнктивных нормальных форм | Аннотация PDF (Rus) похожие документы |
Ю. В. Поттосин | ||
"... тождественно равна нулю. Предлагается подход к решению данной задачи с помощью средств теории графов. Подход ..." | ||
№ 1(17) (2008) | ОЦЕНКА УРОВНЯ ЗАЩИЩЕННОСТИ ГОЛОСОВОГО СРЕДСТВА АУТЕНТИФИКАЦИИ | Аннотация PDF (Rus) похожие документы |
М. Н. Бобов, П. М. Буй | ||
"... Рассматривается задача оценки уровня защищенности средств аутентификации различных классов ..." | ||
Том 15, № 4 (2018) | Логическая характеризация класса сложности задач, разрешимых вероятностными алгоритмами за полиномиальное время | Аннотация PDF (Rus) похожие документы |
В. Г. Найденко | ||
"... Рассмотрена проблема описания класса вычислительной сложности BPP (от англ. bounded-error ..." | ||
Том 19, № 2 (2022) | О среде имитационного моделирования компонентов и приложений в Интернете вещей на основе инструментов визуального потокового программирования и облачных сервисов | Аннотация PDF (Rus) похожие документы |
А. А. Андрушевич, И. С. Войтешенко, О. Ю. Емельянова | ||
"... для демонстрации методов и средств решения задачи имитационного моделирования компонентов и приложений ..." | ||
№ 1(01) (2004) | ОБ ИНТЕРПРЕТАЦИИ ВРЕМЕННОЙ ЛОГИКИ ПРИ СИМВОЛИЧЕСКОЙ ВЕРИФИКАЦИИ | Аннотация PDF (Rus) похожие документы |
Д. И. Черемисинов | ||
"... В последние годы инструменты для символической верификации на основе временной логики входят в ..." | ||
Том 19, № 2 (2022) | Экспериментальное сравнение эффективности программ минимизации систем булевых функций в классе дизъюнктивных нормальных форм | Аннотация PDF (Rus) похожие документы |
П. Н. Бибило, И. П. Логинова | ||
"... программные средства для применения программ совместной минимизации при раздельной минимизации функций ..." | ||
№ 4(04) (2004) | РЕШЕНИЕ БОЛЬШИХ СИСТЕМ БУЛЕВЫХ УРАВНЕНИЙ | Аннотация PDF (Rus) похожие документы |
А. Д. Закревский | ||
"... дедуктивного вывода, распознавания образов и защиты информации сводятся к решению комбинаторных задач с ..." | ||
Том 21, № 4 (2024) | Клиринг в финансовых сетях с ограниченными равными выплатами | Аннотация PDF (Rus) похожие документы |
Я. М. Шафранский | ||
"... финансовых сетей с правилом ограниченных равных выплат для распределения средств агента между его кредиторами ..." | ||
Том 19, № 4 (2022) | Разработка алгоритма распознавания эмоций человека с использованием сверточной нейронной сети на основе аудиоданных | Аннотация PDF (Rus) похожие документы |
В. В. Семенюк, М. В. Складчиков | ||
№ 2(14) (2007) | ОЦЕНКА ВЕРОЯТНОСТИ ОТКАЗА НЕВОССТАНАВЛИВАЕМОЙ СИСТЕМЫ С ИСПОЛЬЗОВАНИЕМ МЕТОДОВ АЛГЕБРЫ ЛОГИКИ | Аннотация PDF (Rus) похожие документы |
Е. Н. Зайцева, Ю. В. Поттосин | ||
№ 2(10) (2006) | О РАДИУСЕ УСТОЙЧИВОСТИ ВЕКТОРНОЙ ЗАДАЧИ ЦЕЛОЧИСЛЕННОГО ЛИНЕЙНОГО ПРОГРАММИРОВАНИЯ | Аннотация PDF (Rus) похожие документы |
В. А. Емеличев, К. Г. Кузьмин | ||
"... программирования с паретовским принципом оптимальности при возмущении параметров векторного критерия в пространстве ..." | ||
№ 1(9) (2006) | АЛГОРИТМ ИНТЕРАКТИВНОЙ СЕГМЕНТАЦИИ ИЗОБРАЖЕНИЙ, ОСНОВАННЫЙ НА МЕТОДЕ ДИНАМИЧЕСКОГО ПРОГРАММИРОВАНИЯ | Аннотация PDF (Rus) похожие документы |
В. В. Буча, С. В. Абламейко | ||
"... программирования и быстром поиске в хеш-таблице. Данный алгоритм отличается от существующих повышенной скоростью ..." | ||
№ 1(9) (2006) | АЛГОРИТМ СЕГМЕНТАЦИИ РЕЧИ НА ОСНОВЕ МЕТОДА ДИНАМИЧЕСКОГО ПРОГРАММИРОВАНИЯ | Аннотация PDF (Rus) похожие документы |
А. Г. Давыдов | ||
"... Рассматривается система автоматической сегментации речи на основе динамического программирования. В ..." | ||
№ 3 (2016) | БИБЛИОТЕКА MIPCL ДЛЯ РЕШЕНИЯ ЗАДАЧ СМЕШАННО-ЦЕЛОЧИСЛЕННОГО ПРОГРАММИРОВАНИЯ | Аннотация PDF (Rus) похожие документы |
Н. Н. Писарук | ||
"... и эффективной компьютерной реализации моделей смешанно целочисленного программирования (СЦП ..." | ||
№ 2 (2015) | ПРОГРАММИРОВАНИЕ НА ЯЗЫКАХ, ПРИБЛИЖЕННЫХ К ЕСТЕСТВЕННОМУ: ОБЗОР ЛИТЕРАТУРЫ | Аннотация PDF (Rus) похожие документы |
Е. Г. Лутцев | ||
"... Рассматривается ряд научных статей, посвященных вопросам программирования на языках, приближенных ..." | ||
№ 1 (2015) | ОБЗОР МЕТОДОВ РЕАЛИЗАЦИИ АППАРАТНЫХ ВОДЯНЫХ ЗНАКОВ В ЦИФРОВЫХ УСТРОЙСТВАХ ПРОГРАММИРУЕМОЙ ЛОГИКИ | Аннотация PDF (Rus) похожие документы |
В. В. Сергейчик, А. А. Иванюк | ||
Том 20, № 2 (2023) | Применение диаграмм решений не полностью определенных функций k-значной логики при синтезе логических схем | Аннотация PDF (Rus) похожие документы |
П. Н. Бибило | ||
"... логики, заданных табличными представлениями. Изучается этап технологически независимой оптимизации. Целью ..." | ||
№ 3 (2016) | АЛГОРИТМИЧЕСКОЕ ПЕРЕЧИСЛЕНИЕ ЗАДАЧ В КЛАССЕ NPcoNP | Аннотация PDF (Rus) похожие документы |
В. Г. Найденко | ||
"... Рассматривается проблема рекурсивного (алгоритмического) представления класса сложности NPcoNP ..." | ||
Том 19, № 2 (2022) | Об оптимизации смешанной зарядной инфраструктуры электробусов для городских маршрутов | Аннотация PDF (Rus) похожие документы |
Б. М. Розин, И. А. Шатерник | ||
"... сформулирована в виде задачи смешанного целочисленного линейного программирования. Заключение. Для решения ..." | ||
Том 18, № 4 (2021) | Подход к оптимизации зарядной инфраструктуры автономных троллейбусов для городских маршрутов | Аннотация PDF (Rus) похожие документы |
М. Я. Ковалев, Б. М. Розин, И. А. Шатерник | ||
"... математического программирования с квадратичной целевой функцией и линейными ограничениями. З а к л ю ч е н и е ..." | ||
№ 3(11) (2006) | КОМПЛЕКС ПРОГРАММ СИНТЕЗА ЛОГИЧЕСКИХ СХЕМ НА БАЗЕ ПРОГРАММИРУЕМЫХ ЛОГИЧЕСКИХ ИНТЕГРАЛЬНЫХ СХЕМ | Аннотация PDF (Rus) похожие документы |
Л. Д. Черемисинова | ||
"... сетей в базисе одного из наиболее популярных классов программируемых логических интегральных схем (ПЛИС ..." | ||
Том 19, № 1 (2022) | Методология разработки программного обеспечения с использованием модели распределенных объектно-ориентированных стохастических гибридных систем | Аннотация PDF (Rus) похожие документы |
Р. Е. Шарыкин | ||
№ 1(9) (2006) | МИНИМИЗАЦИЯ СИСТЕМ БУЛЕВЫХ ФУНКЦИЙ В КЛАССЕ ДИЗЪЮНКТИВНЫХ НОРМАЛЬНЫХ ФОРМ | Аннотация PDF (Rus) похожие документы |
П. В. Леончик | ||
"... Предлагается программа минимизации систем полностью определенных булевых функций в классе ДНФ ..." | ||
№ 2(6) (2005) | ОБНАРУЖЕНИЕ И РАСПОЗНАВАНИЕ КЛАССА ОБЪЕКТОВ НА МНОГОЗОНАЛЬНЫХ ИЗОБРАЖЕНИЯХ ДИСТАНЦИОННОГО ЗОНДИРОВАНИЯ | Аннотация PDF (Rus) похожие документы |
Л. В. Орешкина | ||
"... Представляются методика и результаты эксперимента по обнаружению и распознаванию класса объектов на ..." | ||
№ 4(32) (2011) | СЛОЖНОСТЬ ЗАДАЧИ РАСПОЗНАВАНИЯ ОДНОГО КЛАССА РЕШЕНИЙ ЛИНЕЙНЫХ УРАВНЕНИЙ | Аннотация PDF (Rus) похожие документы |
В А. Шлык | ||
№ 3(19) (2008) | РЕАЛИЗАЦИЯ ПАРАЛЛЕЛЬНЫХ ГЕНЕТИЧЕСКИХ АЛГОРИТМОВ СО СЛОЖНОЙ ЦЕЛЕВОЙ ФУНКЦИЕЙ НА ОСНОВЕ ТЕХНОЛОГИИ JAVA RMI И БИБЛИОТЕКИ JGAP | Аннотация PDF (Rus) похожие документы |
Д. А. Стрикелев | ||
"... Рассматривается библиотека для программирования генетических алгоритмов на языке Java, исследуются ..." | ||
№ 3(19) (2008) | РЕАЛИЗАЦИЯ ПАРАЛЛЕЛЬНЫХ ГЕНЕТИЧЕСКИХ АЛГОРИТМОВ СО СЛОЖНОЙ ЦЕЛЕВОЙ ФУНКЦИЕЙ НА ОСНОВЕ ТЕХНОЛОГИИ JAVA RMI И БИБЛИОТЕКИ JGAP | Аннотация PDF (Rus) похожие документы |
Д. А. Стрикелев | ||
"... Рассматривается библиотека для программирования генетических алгоритмов на языке Java, исследуются ..." | ||
Том 17, № 3 (2020) | Эвристический метод алгебраической декомпозиции частичных булевых функций | Аннотация PDF (Rus) похожие документы |
Ю. В. Поттосин | ||
"... некоторой заданной операции алгебры логики над двумя булевыми функциями, и эта задача, таким образом ..." | ||
Том 20, № 4 (2023) | Онтологический анализ в задачах моделирования угроз системам на основе контейнерных приложений | Аннотация PDF (Rus) похожие документы |
А. И. Бражук, Е. В. Олизарович | ||
"... – функции автоматического логического вывода на основе дескрипционных (описательных) логик. Результаты ..." | ||
Том 17, № 3 (2020) | Анализ защищенности веб-ресурсов на основе метрики CVSS | Аннотация PDF (Rus) похожие документы |
Ш. Р. Давлатов, П. В. Кучинский | ||
"... специальные шаблоны поиска с помощью RegExp-выражений языка программирования JavaScript для точного ..." | ||
Том 17, № 4 (2020) | Вычислительные методы для решения задачи комбинирования секторов воздушного пространства | Аннотация PDF (Rus) похожие документы |
И. В Рубанов, М. Я Ковалев | ||
"... программирования, используется также терминология теории графов. ..." | ||
№ 2 (2016) | МОДЕЛЬ СМЕШАННОГО ЦЕЛОЧИСЛЕННОГО ЛИНЕЙНОГО ПРОГРАММИРОВАНИЯ ДЛЯ СИНТЕЗА ТЕХНОЛОГИЧЕСКОГО ПРОЦЕССА ПОСЛЕДОВАТЕЛЬНОЙ ОБРАБОТКИ ГРУППЫ ДЕТАЛЕЙ НА ПОТОЧНОЙ ЛИНИИ ИЗ СТАНКОВ СО СТАЦИОНАРНЫМ ПРИСПОСОБЛЕНИЕМ | Аннотация PDF (Rus) похожие документы |
Н. Н. Гущинский, О. Баттайа, А. Долгий | ||
"... наименований. Предлагается модель смешанного целочисленного линейного программирования для задачи синтеза ..." | ||
№ 4(24) (2009) | ИНФОРМАЦИОННАЯ МОДЕЛЬ ПРОЦЕССА РАССЛЕДОВАНИЯ ПРАВОНАРУШЕНИЙ | Аннотация PDF (Rus) похожие документы |
М. К. Буза, Н. В. Деева | ||
"... . Предлагается алгоритм построения обобщенной объектной модели криминального дела, рассматриваются классы данных ..." | ||
№ 1(01) (2004) | ФОРМАЛИЗАЦИЯ ЗНАНИЙ ПРИ ПОМОЩИ ФУНКЦИОНАЛЬНЫХ КЛАССОВ ЕСТЕСТВЕННОГО ЯЗЫКА НА ПРИМЕРЕ ФОРМИРОВАНИЯ КООРДИНАТНОЙ СРЕДЫ ГЕОИНФОРМАЦИОННОЙ СИСТЕМЫ | Аннотация PDF (Rus) похожие документы |
И. В. Eвглевский | ||
"... информационных систем Описаны функциональные классы естественного языка, на основе которых формализуются знания ..." | ||
Том 15, № 4 (2018) | Характеризация и распознавание графов пересечений ребер трихроматических гиперграфов ограниченной кратности в классе расщепляемых графов | Аннотация PDF (Rus) похожие документы |
Т. В. Лубашева | ||
"... кратность гиперграфа - это максимальная кратность пар его вершин. Пусть Lm(k) обозначает класс графов ..." | ||
Том 16, № 4 (2019) | Метод бидекомпозиции частичных булевых функций | Аннотация PDF (Rus) похожие документы |
Ю. В. Поттосин | ||
"... заданной булевой функции в виде некоторой заданной операции алгебры логики над двумя булевыми функциями и ..." | ||
Том 19, № 2 (2022) | Информационная система для онтологического моделирования предметных областей | Аннотация PDF (Rus) похожие документы |
М. Н. Бухаров | ||
"... логики, методы разработки информационных систем, сравнительный анализ информационных систем, неформальный ..." | ||
№ 1(9) (2006) | ВОЗМОЖНОСТИ И СРЕДСТВА РЕИНЖИНИРИНГА В СОВРЕМЕННЫХ СИСТЕМАХ АВТОМАТИЗАЦИИ ПРОЕКТИРОВАНИЯ | Аннотация PDF (Rus) похожие документы |
А. А. Прохорова | ||
№ 4(16) (2007) | АВТОМАТИЗАЦИЯ ПРОЕКТИРОВАНИЯ ТИПОВЫХ КОНСТРУКЦИЙ НА БАЗЕ СРЕДСТВ ПАРАМЕТРИЗАЦИИ CAD-СИСТЕМ | Аннотация PDF (Rus) похожие документы |
Л. В. Губич, А. А. Прохорова | ||
Том 18, № 1 (2021) | Оценка ожидаемой надежности прикладных программных средств для компьютерных информационных систем | Аннотация PDF (Rus) похожие документы |
С. М. Боровиков, В. О. Казючиц, В. В. Хорошко, С. С. Дик, К. И. Клинов | ||
"... прикладного программного средства. В качестве показателя надежности прикладного программного средства ..." | ||
Том 18, № 3 (2021) | Совершенствование инструментальных средств обработки и анализа космической информации | Аннотация PDF (Rus) похожие документы |
С. А. Золотой, И. Б. Страшко, Д. С. Котов, И. М. Нестерович, В. В. Роубо, К. И. Костюк | ||
№ 4(56) (2017) | СОВЕРШЕНСТВОВАНИЕ КОМПЛЕКСОВ СРЕДСТВ АВТОМАТИЗАЦИИ УПРАВЛЕНИЯ ФОРМИРОВАНИЕМ ТАКТИЧЕСКОЙ ПРОТИВОРАКЕТНОЙ ОБОРОНЫ ОБЪЕКТОВ | Аннотация PDF (Rus) похожие документы |
О. В. Воронин, С. В. Потетенко, С. В. Кругликов | ||
№ 1(13) (2007) | МОДЕЛИРОВАНИЕ ФУНКЦИОНАЛЬНЫХ НЕИСПРАВНОСТЕЙ ЦИФРОВЫХ УСТРОЙСТВ СРЕДСТВАМИ ЯЗЫКА VHDL | Аннотация PDF (Rus) похожие документы |
А. А. Иванюк | ||
"... моделирования. Предлагается использовать верификационные компоненты для проектирования средств самотестирования ..." | ||
№ 1(17) (2008) | МОДЕЛИРОВАНИЕ ПАДЕНИЯ ТЕЛЕВИЗОРА НА ОСНОВЕ СРЕДСТВ ИНЖЕНЕРНОГО АНАЛИЗА | Аннотация PDF (Rus) похожие документы |
Л. В. Губич, И. В. Лебедев | ||
№ 1(17) (2008) | АППАРАТНО-ПРОГРАММНЫЕ СРЕДСТВА ПОДДЕРЖКИ НАДЕЖНОСТИ ИНФОРМАЦИОННО-ВЫЧИСЛИТЕЛЬНЫХ СИСТЕМ | Аннотация PDF (Rus) похожие документы |
В. В. Анищенко, Л. И. Кульбак, Т. С. Мартинович | ||
"... Рассматриваются способы и методы аппаратно-программной поддержки надежности технических средств ..." | ||
№ 4(24) (2009) | ФОРМАЛИЗАЦИЯ ОЦЕНКИ ЭФФЕКТИВНОСТИ СРЕДСТВ ОБЕСПЕЧЕНИЯ ПРАВОМОЧНОСТИ ЭЛЕКТРОННЫХ ДОКУМЕНТОВ | Аннотация PDF (Rus) похожие документы |
В. В. Анищенко, Е. А. Цынкевич | ||
"... Рассматривается формальный подход к оценке эффективности средств обеспечения правомочности ..." | ||
№ 4 (2013) | ПРОГРАММНО-МЕТОДИЧЕСКИЕ СРЕДСТВА ПРОЕКТИРОВАНИЯ ИНСТРУМЕНТА ДЛЯ ПОПЕРЕЧНО-КЛИНОВОЙ ПРОКАТКИ | Аннотация PDF (Rus) похожие документы |
А. А. Абрамов, С. В. Медведев | ||
"... -клиновой прокатки (ПКП). Описываются разрабатываемые программные средства автоматизации процессов ..." | ||
№ 3 (2013) | СИСТЕМЫ ВИДЕОНАБЛЮДЕНИЯ: СОСТОЯНИЕ, ПРОБЛЕМЫ И ТЕХНИЧЕСКИЕ СРЕДСТВА ОБРАБОТКИ ИЗОБРАЖЕНИЙ | Аннотация PDF (Rus) похожие документы |
Р. Х. Садыхов, С. А. Кучук | ||
Том 20, № 3 (2023) | Семантические модели и средства проектирования адаптивных пользовательских интерфейсов интеллектуальных систем | Аннотация PDF (Rus) похожие документы |
М. Е. Садовский | ||
"... Цели. Предлагаются модели и средства проектирования адаптивных пользовательских интерфейсов ..." | ||
№ 2(14) (2007) | ДЕКОМПОЗИЦИЯ ЧАСТИЧНЫХ БУЛЕВЫХ ФУНКЦИЙ – ПОИСК ПОДХОДЯЩЕГО РАЗБИЕНИЯ | Аннотация PDF (Rus) похожие документы |
А. Д. Закревский | ||
"... нестрогому разбиению на множестве аргументов. Рассматривается ключевая комбинаторная задача: нахождение ..." | ||
№ 4(20) (2008) | РЕАЛИЗАЦИЯ ЭВРИСТИЧЕСКОГО МЕТОДА ДЕКОМПОЗИЦИИ БУЛЕВЫХ ФУНКЦИЙ | Аннотация PDF (Rus) похожие документы |
А. Д. Закревский, Н. Р. Торопов | ||
"... булевых функций по нестрогому разбиению на множестве аргументов. Рассматривается ключевая комбинаторная ..." | ||
№ 1(13) (2007) | ДЕКОМПОЗИЦИЯ ЧАСТИЧНЫХ БУЛЕВЫХ ФУНКЦИЙ - ПРОВЕРКА НА РАЗДЕЛИМОСТЬ ПО ЗАДАННОМУ РАЗБИЕНИЮ | Аннотация PDF (Rus) похожие документы |
А. Д. Закревский | ||
"... матриц с эффективными комбинаторными операциями над ними. ..." | ||
№ 3 (2016) | ИССЛЕДОВАНИЕ ЭФФЕКТИВНОСТИ ТЕХНОЛОГИЧЕСКИ НЕЗАВИСИМОЙ ОПТИМИЗАЦИИ ФУНКЦИОНАЛЬНЫХ ОПИСАНИЙ КМОП-СХЕМ | Аннотация PDF (Rus) похожие документы |
Н. А. Кириенко, Л. Д. Черемисинова | ||
"... декомпозиции систем булевых функций в классе ДНФ при оптимизации функциональных описаний средствами синтезатора ..." | ||
№ 2(6) (2005) | РАСПОЗНАВАНИЕ ОБЪЕКТОВ НА ИЗОБРАЖЕНИИ С ПОМОЩЬЮ СРАВНЕНИЯ ИХ ОСРЕДНЕННЫХ ПРОЕКЦИЙ | Аннотация PDF (Rus) похожие документы |
М. А. Гоман, Б. А. Залесский | ||
"... помощью несложного комбинаторного метода нахождения в числовой последовательности упорядоченной ..." | ||
Том 15, № 1 (2018) | ПСЕВДОИСЧЕРПЫВАЮЩЕЕ ТЕСТИРОВАНИЕ ЗАПОМИНАЮЩИХ УСТРОЙСТВ НА БАЗЕ МНОГОКРАТНЫХ МАРШЕВЫХ ТЕСТОВ | Аннотация PDF (Rus) похожие документы |
В. Н. Ярмолик, И. Мрозек, В. А. Леванцевич | ||
"... запоминающих устройств с изменяемым начальным состоянием сводится к комбинаторной задаче собирателя купонов ..." | ||
Том 18, № 1 (2021) | Один из подходов к организации современного образовательного процесса | Аннотация PDF (Rus) похожие документы |
А. Г. Савенко, Ю. А. Скудняков | ||
"... универсального электронного средства обучения. Математической основой ротационно-гибридной модели является теория ..." | ||
Том 16, № 2 (2019) | Научная школа профессора А. А. Петровского | Аннотация PDF (Rus) похожие документы |
М. И. Вашкевич, И. С. Азаров, В. А. Вишняков | ||
"... ». Показаны основные научные результаты, его вклад в области разработки теории и аппаратно-программных средств ..." | ||
Том 19, № 4 (2022) | Методика и программное средство для проведения аудита систем менеджмента информационной безопасности | Аннотация PDF (Rus) похожие документы |
В. А. Бойправ, Л. Л. Утин | ||
"... программного средства для проведения аудита систем менеджмента информационной безопасности в организациях ..." | ||
№ 4(36) (2012) | ОПТИМИЗАЦИЯ ДЛИТЕЛЬНОСТЕЙ ПОСЛЕДОВАТЕЛЬНО-ПАРАЛЛЕЛЬНОГО ВЫПОЛНЕНИЯ ПЕРЕСЕКАЮЩИХСЯ МНОЖЕСТВ ОПЕРАЦИЙ | Аннотация PDF (Rus) похожие документы |
Г. М. Левин, Б. М. Розин | ||
"... параметрической декомпозиции и динамического программирования. ..." | ||
№ 3(27) (2010) | ЛИНЕЙНОЕ ПРОКРУСТОВО ПРЕОБРАЗОВАНИЕ ДВУХМЕРНЫХ МАТРИЦ | Аннотация PDF (Rus) похожие документы |
В. С. Муха | ||
"... работы программы с существующей в системе программирования Matlab программой procrustes. ..." | ||
№ 4(20) (2008) | ГЕНЕРАЦИЯ ГЕОМЕТРИЧЕСКОЙ МОДЕЛИ СЕТЧАТОЙ ОБОЛОЧКИ В СРЕДЕ ANSYS С ПРИМЕНЕНИЕМ ПАКЕТА MATHEMATICA | Аннотация PDF (Rus) похожие документы |
А. С. Ковеня, С. М. Босяков | ||
"... Описываются разработанные авторами алгоритмы функционального программирования компьютерной ..." | ||
1 - 70 из 192 результатов | 1 2 3 > >> |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)