Выпуск | Название | |
№ 4(04) (2004) | РЕШЕНИЕ БОЛЬШИХ СИСТЕМ БУЛЕВЫХ УРАВНЕНИЙ | Аннотация PDF (Rus) похожие документы |
А. Д. Закревский | ||
"... статье рассматриваются два класса систем, содержащих сотни булевых уравнений и переменных: большие ..." | ||
№ 1(9) (2006) | РЕШЕНИЕ БОЛЬШИНСТВА ЛИНЕЙНЫХ ЛОГИЧЕСКИХ УРАВНЕНИЙ НЕСОВМЕСТНОЙ СИСТЕМЫ НА СУПЕРКОМПЬЮТЕРЕ | Аннотация PDF (Rus) похожие документы |
А. Д. Закревский, Н. Р. Торопов | ||
"... Рассматриваются переопределенные системы линейных логических уравнений, число уравнений в которых ..." | ||
№ 4(8) (2005) | ПРОГРАММНЫЕ СРЕДСТВА ДЛЯ РЕШЕНИЯ ЛОГИКО-КОМБИНАТОРНЫХ ЗАДАЧ | Аннотация PDF (Rus) похожие документы |
В. И. Романов | ||
"... Предлагается описание средств для программирования трудоемких алгоритмов логико-комбинаторного ..." | ||
№ 3(7) (2005) | ПАРАЛЛЕЛЬНЫЕ ЛОГИКО-КОМБИНАТОРНЫЕ ВЫЧИСЛЕНИЯ В СРЕДЕ MPI | Аннотация PDF (Rus) похожие документы |
Н. Р. Торопов | ||
"... процессами при параллельном решении логико-комбинаторных задач разработан специальный класс операций над ..." | ||
Том 18, № 1 (2021) | Логическая минимизация при синтезе комбинационных структур в FPGA | Аннотация PDF (Rus) похожие документы |
П. Н. Бибило, Ю. Ю. Ланкевич, В. И. Романов | ||
"... (дизъюнктивных нормальных форм) и минимизации многоуровневых представлений систем полностью определенных булевых ..." | ||
№ 3(19) (2008) | РЕШЕНИЕ СИСТЕМЫ ДИЗЪЮНКТИВНЫХ УРАВНЕНИЙ МЕТОДОМ ПЕРЕМНОЖЕНИЯ ДНФ | Аннотация PDF (Rus) похожие документы |
Н. Р. Торопов | ||
"... псевдослучайных систем логических уравнений и на примерах конкретных систем из практики логического проектирования. ..." | ||
№ 1 (2015) | МНОГОКРАТНАЯ СВЕРТКА РЕГУЛЯРНЫХ СТРУКТУР НА ОСНОВЕ РЕШЕНИЯ ЛОГИЧЕСКИХ УРАВНЕНИЙ | Аннотация PDF (Rus) похожие документы |
Л. Д. Черемисинова | ||
"... реализуемости множества свертки, который основывается на сведении задачи к решению логического уравнения и ..." | ||
Том 17, № 3 (2020) | Алгоритмы разбиения логических схем на подсхемы | Аннотация PDF (Rus) похожие документы |
Н. А. Кириенко | ||
"... уравнений. Алгоритмы осуществляют разбиение системы логических уравнений на подсистемы с выполнением ..." | ||
Том 17, № 1 (2020) | Выделение подсистем связанных функций из многоуровневого представления системы булевых функций | Аннотация PDF (Rus) похожие документы |
П. Н. Бибило, А. М. Позняк | ||
"... Одним из направлений логической оптимизации многоуровневых представлений систем булевых функций ..." | ||
№ 3(11) (2006) | КОМПЛЕКС ПРОГРАММ СИНТЕЗА ЛОГИЧЕСКИХ СХЕМ НА БАЗЕ ПРОГРАММИРУЕМЫХ ЛОГИЧЕСКИХ ИНТЕГРАЛЬНЫХ СХЕМ | Аннотация PDF (Rus) похожие документы |
Л. Д. Черемисинова | ||
"... Описывается программный комплекс решения задач декомпозиции, возникающих при синтезе логических ..." | ||
Том 15, № 3 (2018) | Логическая оптимизация многоуровневых представлений систем булевых функций на основе блочного разбиения и разложения Шеннона | Аннотация PDF (Rus) похожие документы |
П. Н. Бибило, Н. А. Кириенко, Ю. Ю. Ланкевич | ||
"... оптимизации систем булевых функций, предварительно выполняемых при синтезе комбинационных схем. Процедуры ..." | ||
№ 4(16) (2007) | МОДЕЛЬ АНАЛИЗА И КОРРЕКЦИИ УСТОЙЧИВОСТИ РЕШЕНИЯ СИСТЕМ ЛИНЕЙНЫХ УРАВНЕНИЙ | Аннотация PDF (Rus) похожие документы |
Л. П. Матюшков, Г. Л. Матюшкова | ||
"... систем линейных уравнений, и повышения устойчивости их решений путем целенаправленных изменений ..." | ||
№ 1(13) (2007) | ИССЛЕДОВАНИЕ ЭФФЕКТИВНОСТИ ЛОГИЧЕСКОЙ МИНИМИЗАЦИИ В ПРОЦЕССЕ СИНТЕЗА КОМБИНАЦИОННЫХ СХЕМ | Аннотация PDF (Rus) похожие документы |
П. Н. Бибило, П. В. Леончик | ||
"... полностью определенных булевых функций на площадь регулярных схем программируемых логических матриц и на ..." | ||
№ 4(12) (2006) | СиВер – СИСТЕМА СИНТЕЗА И ВЕРИФИКАЦИИ КОМБИНАЦИОННЫХ ЛОГИЧЕСКИХ СХЕМ | Аннотация PDF (Rus) похожие документы |
П. Н. Бибило, С. Н. Кардаш, В. И. Романов | ||
"... проектирования базовых матричных кристаллов. Исходными данными являются матричные и скобочные описания систем ..." | ||
№ 3(31) (2011) | ВЕРИФИКАЦИЯ ЛОГИЧЕСКИХ СХЕМ, РЕАЛИЗУЮЩИХ СИСТЕМЫ ЧАСТИЧНЫХ БУЛЕВЫХ ФУНКЦИЙ | Аннотация PDF (Rus) похожие документы |
П. Н. Бибило, Д. Я. Новиков | ||
"... булевых функций. Описываются VHDL-модели различных форм задания таких систем. Предлагается программа для ..." | ||
Том 21, № 3 (2024) | Извлечение логических сетей при декомпиляции описаний КМОП-схем на уровне транзисторов | Аннотация PDF (Rus) похожие документы |
Д. И. Черемисинов, Л. Д. Черемисинова | ||
"... производится переход к логическим уравнениям, задающим функции, реализуемые на выходных полюсах полученных ..." | ||
Том 16, № 2 (2019) | Логическая минимизация булевых сетей с использованием разложения Шеннона | Аннотация PDF (Rus) похожие документы |
П. Н. Бибило, Ю. Ю. Ланкевич | ||
"... используют задания исходных систем булевых функций в виде дизъюнктивных нормальных форм (ДНФ). Предлагается ..." | ||
Том 18, № 2 (2021) | Минимизация многоуровневых представлений систем полностью определенных булевых функций с использованием разложений Шеннона и алгебраических представлений кофакторов | Аннотация PDF (Rus) похожие документы |
П. Н. Бибило, В. И. Романов | ||
"... технологических базисах. BDD представляет собой ациклический граф, задающий булеву функцию либо систему булевых ..." | ||
Том 18, № 3 (2021) | Контроль надежности защиты интегральных схем от троянов: кодирование и декодирование комбинационных структур | Аннотация PDF (Rus) похожие документы |
Л. А. Золоторевич, В. А. Ильинков | ||
"... систем и систем обороноспособности государства. Появление контрафактных интегральных схем, проблемы ..." | ||
Том 20, № 2 (2023) | Применение диаграмм решений не полностью определенных функций k-значной логики при синтезе логических схем | Аннотация PDF (Rus) похожие документы |
П. Н. Бибило | ||
"... оптимизированных описаний систем булевых функций описаниями логических элементов. ..." | ||
Том 21, № 1 (2024) | Технологически независимая оптимизация при реализации в заказных СБИС разреженных систем дизъюнктивных нормальных форм булевых функций | Аннотация PDF (Rus) похожие документы |
П. Н. Бибило, С. Н. Кардаш | ||
"... цифровых СБИС разреженных систем дизъюнктивных нормальных форм (ДНФ) полностью определенных булевых функций ..." | ||
Том 17, № 2 (2020) | Псевдоисчерпывающее тестирование запоминающих устройств на базе маршевых тестов типа March A | Аннотация PDF (Rus) похожие документы |
В. Н. Ярмолик, И. Мрозек, С. В. Ярмолик | ||
"... Показывается актуальность тестирования запоминающих устройств современных вычислительных систем ..." | ||
№ 4(04) (2004) | АВТОМАТИЗАЦИЯ ЛОГИЧЕСКОГО ПРОЕКТИРОВАНИЯ | Аннотация PDF (Rus) похожие документы |
П. Н. Бибило, Л. Д. Черемисинова | ||
"... Дается краткий обзор теоретических результатов, полученных в лаборатории логического проектирования ..." | ||
№ 3 (2013) | КОМБИНАТОРНЫЙ АЛГОРИТМ ВЫДЕЛЕНИЯ КОНТУРОВ ОБЪЕКТОВ НА ЦИФРОВЫХ ИЗОБРАЖЕНИЯХ | Аннотация PDF (Rus) похожие документы |
Б. А. Залесский | ||
"... комбинаторных методов, применяемых для кластеризации ориентированного гради-ента. Алгоритм позволяет оценить с ..." | ||
№ 4(56) (2017) | МЕТОД ПОСТРОЕНИЯ АНАЛИТИЧЕСКИХ РЕШЕНИЙ НЕЛИНЕЙНЫХ УРАВНЕНИЙ С ЧАСТНЫМИ ПРОИЗВОДНЫМИ И АЛГОРИТМ РЕШЕНИЯ УРАВНЕНИЙ ТРЕТЬЕГО ПОРЯДКА СПЕЦИАЛЬНОГО ВИДА | Аннотация PDF (Rus) похожие документы |
И. Е. Андрушкевич | ||
"... Рассматривается проблема нахождения точных аналитических решений нелинейных уравнений ..." | ||
№ 2(6) (2005) | ПАРАЛЛЕЛЬНАЯ ПРОВЕРКА ДНФ НА ТАВТОЛОГИЮ | Аннотация PDF (Rus) похожие документы |
Н. Р. Торопов | ||
"... Рассматривается одна из базовых задач логико-комбинаторных вычислений – проверка дизъюнктивной ..." | ||
№ 3(35) (2012) | ГЕНЕРАЦИЯ ВЫПОЛНИМЫХ СПЕЦИФИКАЦИЙ ЦИФРОВЫХ СИСТЕМ ИЗ СТРУКТУРНЫХ ОПИСАНИЙ FPGA-ПРОЕКТОВ | Аннотация PDF (Rus) похожие документы |
Д. И. Черемисинов | ||
"... логические элементы. Проводится методика испытаний этого алгоритма, для реализации которой разработана ..." | ||
Том 18, № 4 (2021) | Распознавание логических вентилей в плоской транзисторной схеме | Аннотация PDF (Rus) похожие документы |
Д. И. Черемисинов, Л. Д. Черемисинова | ||
"... описания на уровне логических элементов. Средства декомпиляции транзисторных схем не только позволяют ..." | ||
№ 1(53) (2017) | ОТОБРАЖЕНИЕ ЛОГИЧЕСКИХ СЕТЕЙ В ЗАДАННЫЙ ТЕХНОЛОГИЧЕСКИЙ БАЗИС | Аннотация PDF (Rus) похожие документы |
Д. И. Черемисинов | ||
"... Рассматривается задача синтеза многоуровневых логических сетей в базисе библиотечных элементов ..." | ||
№ 2(34) (2012) | ФУНКЦИОНАЛЬНЫЕ VHDL-МОДЕЛИ ЭЛЕМЕНТОВ FPGA СЕМЕЙСТВА SPARTAN 3 ДЛЯ КОНВЕРТАЦИИ ПРОЕКТОВ ЦИФРОВЫХ СИСТЕМ В ЗАКАЗНЫЕ СБИС | Аннотация PDF (Rus) похожие документы |
П. Н. Бибило, А. Л. Соловьев | ||
"... элементов предлагаются синтезируемые VHDL-модели тех логических элементов, которые входят в конфигурируемые ..." | ||
№ 4 (2016) | ПРИМЕНЕНИЕ МЕТОДОВ ОБЩЕЙ ТЕОРИИ КОРНЕВЫХ ТРАЕКТОРИЙ В ИССЛЕДОВАНИИ СИСТЕМ МНОГОСВЯЗНОГО РЕГУЛИРОВАНИЯ | Аннотация PDF (Rus) похожие документы |
В. В. Ткаченко | ||
"... исследования систем управления с варьируемыми параметрами, которые входят в коэффициенты характеристического ..." | ||
№ 1(33) (2012) | ОЦЕНКА ЭНЕРГОПОТРЕБЛЕНИЯ КМОП-СХЕМ НА ОСНОВЕ ЛОГИЧЕСКОГО МОДЕЛИРОВАНИЯ | Аннотация PDF (Rus) похожие документы |
П. Н. Бибило, А. Л. Соловьев | ||
"... Рассматривается задача оценки энергопотребления схем, синтезированных из логических элементов ..." | ||
№ 2(14) (2007) | ОПТИМИЗАЦИЯ ЛОГИЧЕСКОЙ СХЕМЫ АВТОМАТА МУРА НА ПРОГРАММИРУЕМОЙ МАТРИЧНОЙ ЛОГИКЕ | Аннотация PDF (Rus) похожие документы |
А. А. Баркалов, Л. А. Титаренко, С. Я. Хмелевский | ||
"... Описывается метод уменьшения числа макроячеек программируемой матричной логики (ПМЛ) в логической ..." | ||
№ 2(22) (2009) | ФОРМИРОВАНИЕ ПРОСТРАНСТВЕННО-ЛОГИЧЕСКИХ СВЯЗЕЙ ОБЪЕКТОВ ЦИФРОВЫХ КАРТ В ГЕОИНФОРМАЦИОННЫХ СИСТЕМАХ | Аннотация PDF (Rus) похожие документы |
С. В. Абламейко, С. П. Боричев | ||
"... Рассматривается проблема ускорения процесса формирования пространственно-логических связей ..." | ||
№ 3(23) (2009) | ОПТИМИЗАЦИОННЫЕ ПРЕОБРАЗОВАНИЯ ЛОГИЧЕСКОЙ СХЕМЫ НА ОСНОВЕ БЛОЧНОГО РАЗБИЕНИЯ | Аннотация PDF (Rus) похожие документы |
П. Н. Бибило, Н. А. Кириенко | ||
"... Исследуется возможность использования метода разбиения логических сетей для минимизации сложности ..." | ||
№ 2 (2015) | ПРИМЕНЕНИЕ ОЦЕНОК СЛОЖНОСТИ ДИАГРАММ ДВОИЧНОГО ВЫБОРА ПРИ СИНТЕЗЕ ЛОГИЧЕСКИХ СХЕМ | Аннотация PDF (Rus) похожие документы |
Н. А. Авдеев, П. Н. Бибило | ||
"... логических элементов по BDD-представлению (диаграмме двоичного выбора) системы булевых функций. Описываются ..." | ||
Том 19, № 2 (2022) | Экспериментальное сравнение эффективности программ минимизации систем булевых функций в классе дизъюнктивных нормальных форм | Аннотация PDF (Rus) похожие документы |
П. Н. Бибило, И. П. Логинова | ||
"... ) представлений булевых функций широко используются при проектировании цифровых систем для уменьшения сложности ..." | ||
Том 16, № 4 (2019) | Алгоритм синтеза устойчивых характеристических полиномов динамических систем при условии вариации параметров | Аннотация PDF (Rus) похожие документы |
А. А. Несенчук | ||
"... корневых портретов подобных систем и графоаналитического подхода к их анализу и синтезу формируется ..." | ||
Том 16, № 2 (2019) | Отбор информативных геометрических признаков ядер клеток на люминесцентных изображениях раковых клеток | Аннотация PDF (Rus) похожие документы |
Е. В. Лисица, Н. Н. Яцков, В. В. Скакун, П. Д. Кривошеев, В. В. Апанасович | ||
Том 18, № 3 (2021) | Применение логики первого порядка для выявления организаторов и исполнителей противоправных действий в преступных группах | Аннотация PDF (Rus) похожие документы |
А. М. Соболь, Е. И. Козлова, Ю. А. Чернявский | ||
"... Известны три основных семейства алгоритмов вывода в логике первого порядка: прямой логический ..." | ||
Том 17, № 2 (2020) | Схема коррекции сигналов для комбинационных устройств автоматики на основе логического дополнения с контролем вычислений по паритету | Аннотация PDF (Rus) похожие документы |
В. В. Сапожников, Вл. В. Сапожников, Д. В. Ефанов | ||
"... возникновения неисправности в контролируемом объекте и метод логического дополнения для определения неправильно ..." | ||
№ 3(35) (2012) | МЕТОД РЕШЕНИЯ ЗАДАЧ РАСПОЗНАВАНИЯ В БУЛЕВОМ ПРОСТРАНСТВЕ НА ОСНОВЕ ЛОГИЧЕСКОЙ И ПРЕЦЕДЕНТНОЙ МОДЕЛЕЙ | Аннотация PDF (Rus) похожие документы |
О. В. Шут | ||
"... используются соответственно логическая и прецедентная модели представления начальной информации. Строится ..." | ||
Том 15, № 4 (2018) | Синтез самопроверяемых схем встроенного контроля на основе метода логического дополнения до равновесного кода «2 из 4» | Аннотация PDF (Rus) похожие документы |
Д. В. Ефанов, В. В. Сапожников, В. В. Сапожников, Д. В. Пивоваров | ||
"... Исследуются особенности синтеза самопроверяемых схем встроенного контроля по методу логического ..." | ||
Том 15, № 4 (2018) | Логическая характеризация класса сложности задач, разрешимых вероятностными алгоритмами за полиномиальное время | Аннотация PDF (Rus) похожие документы |
В. Г. Найденко | ||
"... probablistic polynomial time) в терминах логического языка. BPP представляет собой класс вычислительных проблем ..." | ||
Том 19, № 3 (2022) | Канонизация графов при декомпиляции транзисторных схем | Аннотация PDF (Rus) похожие документы |
Д. И. Черемисинов, Л. Д. Черемисинова | ||
"... транзисторной схеме, которые позволяют получить представление на уровне логических элементов, эквивалентное ..." | ||
№ 3 (2013) | КВАЗИСЛУЧАЙНОЕ ТЕСТИРОВАНИЕ ВЫЧИСЛИТЕЛЬНЫХ СИСТЕМ | Аннотация PDF (Rus) похожие документы |
С. В. Ярмолик, В. Н. Ярмолик | ||
"... Анализируются причинно-следственные связи при возникновении неисправностей вычисли-тельных систем ..." | ||
№ 4(32) (2011) | СЛОЖНОСТЬ ЗАДАЧИ РАСПОЗНАВАНИЯ ОДНОГО КЛАССА РЕШЕНИЙ ЛИНЕЙНЫХ УРАВНЕНИЙ | Аннотация PDF (Rus) похожие документы |
В А. Шлык | ||
"... уравнения a1x1 + a2x2 +…+ ak xk = n с натуральными коэффициентами и свободным членом выпуклой комбинацией ..." | ||
№ 4(28) (2010) | ПАРАЛЛЕЛЬНАЯ РЕАЛИЗАЦИЯ ЛОКАЛЬНО-ОДНОМЕРНОГО МЕТОДА ЧИСЛЕННОГО РЕШЕНИЯ ДВУМЕРНЫХ ПАРАБОЛИЧЕСКИХ УРАВНЕНИЙ | Аннотация PDF (Rus) похожие документы |
С. В. Баханович, Г. М. Заяц, Н. А. Лиходед, В. А. Цурко | ||
"... численного решения двумерных параболических уравнений на суперкомпьютерах с распределенной памятью ..." | ||
№ 2(14) (2007) | ОПРЕДЕЛЯЮЩЕЕ УРАВНЕНИЕ УПРУГОВЯЗКОПЛАСТИЧЕСКОЙ СРЕДЫ С КОНЕЧНЫМИ «ГРАДИЕНТАМИ» УПРУГОЙ ДЕФОРМАЦИИ | Аннотация PDF (Rus) похожие документы |
О. Л. Швед | ||
"... уравнение в рамках кинематической теории при условии, что среда может проявлять вязкие свойства только при ..." | ||
№ 1(9) (2006) | СРАВНЕНИЕ СХЕМНЫХ РЕАЛИЗАЦИЙ VHDL-МОДЕЛЕЙ, ИСПОЛЬЗУЮЩИХ ЧАСТИЧНУЮ ОПРЕДЕЛЕННОСТЬ БУЛЕВЫХ ФУНКЦИЙ | Аннотация PDF (Rus) похожие документы |
П. Н. Бибило | ||
"... Предлагаются модели не полностью определенных (частичных) булевых функций и систем таких функций ..." | ||
№ 3(27) (2010) | МАТЕМАТИЧЕСКАЯ МОДЕЛЬ И АЛГОРИТМ РЕАЛИЗАЦИИ ПРОЦЕССОВ ТЕПЛОМАССОПЕРЕНОСА В СЛОЖНЫХ ТЕХНОЛОГИЧЕСКИХ СИСТЕМАХ РАЗВЕТВЛЕННОГО ТИПА | Аннотация PDF (Rus) похожие документы |
В. А. Ирхин | ||
"... . Разрабатывается алгоритм решения полученных систем уравнений с помощью методов блочных итераций, параметрической ..." | ||
№ 1(13) (2007) | МАТЕМАТИЧЕСКОЕ МОДЕЛИРОВАНИЕ ПРОЦЕССОВ ВЫРАБОТКИ ПАРА В УСТАНОВКЕ ГИДРОКОНВЕРСИИ ВАКУУМНОГО ГАЗОЙЛЯ | Аннотация PDF (Rus) похожие документы |
О. Н. Гайдук, О. М. Королёва, М. М. Чуйко, А. И. Шнип | ||
"... - и массопереноса. Доказывается разрешимость полученных систем линейных алгебраических уравнений ..." | ||
Том 20, № 4 (2023) | Онтологический анализ в задачах моделирования угроз системам на основе контейнерных приложений | Аннотация PDF (Rus) похожие документы |
А. И. Бражук, Е. В. Олизарович | ||
"... – функции автоматического логического вывода на основе дескрипционных (описательных) логик. Результаты ..." | ||
№ 1(5) (2005) | МОРФИЗМЫ МОДЕЛЕЙ ПОВЕДЕНИЯ РАСПРЕДЕЛЕННЫХ СИСТЕМ | Аннотация PDF (Rus) похожие документы |
Д. И. Черемисинов | ||
"... Анализируются ключевые формализмы теории распределенных систем: обобщенные автоматы, сети Петри ..." | ||
№ 4(04) (2004) | ЭВОЛЮЦИЯ СИСТЕМ АВТОМАТИЗИРОВАННОЙ ОБРАБОТКИ ИНФОРМАЦИИ | Аннотация PDF (Rus) похожие документы |
В. Е. Самсонов, Г. И. Солодкин | ||
"... Рассмотрены этапы разработок автоматизированных систем, проводимых в лаборатории вычислительных ..." | ||
Том 18, № 1 (2021) | Построение и применение маршевых тестов для обнаружения кодочувствительных неисправностей запоминающих устройств | Аннотация PDF (Rus) похожие документы |
В. Н. Ярмолик, В. А. Леванцевич, Д. В. Деменковец, И. Мрозек | ||
"... систем. Исследуются математические модели неисправностей запоминающих устройств и используемые методы ..." | ||
Том 19, № 3 (2022) | Генерирование адресных последовательностей с заданной переключательной активностью и повторяемостью адресов | Аннотация PDF (Rus) похожие документы |
В. Н. Ярмолик, Н. А. Шевченко, В. А. Леванцевич, Д. В. Деменковец | ||
"... вычислительных систем. Актуальность данной задачи заключается в том, что основной характеристикой различия для ..." | ||
Том 17, № 1 (2020) | Формирование адресных последовательностей с заданной переключательной активностью | Аннотация PDF (Rus) похожие документы |
В. Н. Ярмолик, Н. А. Шевченко | ||
"... Показывается актуальность тестирования современных вычислительных систем, и в первую очередь их ..." | ||
Том 20, № 4 (2023) | Формальная модель описания и условия обнаружения связных неисправностей взаимного влияния запоминающих устройств | Аннотация PDF (Rus) похожие документы |
В. Н. Ярмолик, Д. В. Деменковец, В. В. Петровская, А. А. Иванюк | ||
Том 20, № 3 (2023) | Семантические модели и средства проектирования адаптивных пользовательских интерфейсов интеллектуальных систем | Аннотация PDF (Rus) похожие документы |
М. Е. Садовский | ||
"... интеллектуальных систем. Актуальность работы определяется необходимостью снижения накладных расходов и сроков ..." | ||
Том 21, № 2 (2024) | Меры различия, основанные на применении расстояния Хэмминга, для генерирования управляемых вероятностных тестов | Аннотация PDF (Rus) похожие документы |
В. Н. Ярмолик, В. В. Петровская, Н. А. Шевченко | ||
№ 4(12) (2006) | ЧИСЛЕННОЕ МОДЕЛИРОВАНИЕ АЭРОДИНАМИЧЕСКИХ ПОТОКОВ ВОКРУГ ТУРБИНЫ НА ОСНОВЕ РЕШЕНИЯ УРАВНЕНИЙ НАВЬЕ – СТОКСА КОНЕЧНО-ЭЛЕМЕНТНЫМИ МЕТОДАМИ | Аннотация PDF (Rus) похожие документы |
В. Ф. Дайлюденко | ||
"... дает возможность получить распределение скорости и давления посредством решения уравнений аэродинамики ..." | ||
№ 3(19) (2008) | ИДЕНТИФИКАЦИЯ КОЭФФИЦИЕНТА ТЕПЛОПРОВОДНОСТИ В НЕЛИНЕЙНОМ ПАРАБОЛИЧЕСКОМ УРАВНЕНИИ С ВОЗМУЩЕННЫМИ ВХОДНЫМИ ДАННЫМИ | Аннотация PDF (Rus) похожие документы |
В. Т. Борухов, Г. М. Заяц, В. А. Цурко | ||
"... нестационарного параболического уравнения. Представляются результаты численных экспериментов по восстановлению ..." | ||
№ 1(53) (2017) | АНАЛИЗ РЕЗУЛЬТАТОВ КОМПЬЮТЕРНОГО МОДЕЛИРОВАНИЯ N-СОЛИТОННОГО РЕШЕНИЯ УРАВНЕНИЯ КОРТЕВЕГА – ДЕ ФРИЗА | Аннотация PDF (Rus) похожие документы |
Ю. Ф. Новик | ||
"... Приводятся результаты компьютерного моделирования N-солитонного решения уравнения Кортевега – де ..." | ||
Том 20, № 2 (2023) | Решение смешанной краевой задачи для уравнения Пуассона в нерегулярных двумерных областях | Аннотация PDF (Rus) похожие документы |
М. М. Чуйко, О. М. Королёва | ||
"... для уравнения Пуассона, заданной в нерегулярных двумерных областях. Методы. Для решения задачи ..." | ||
Том 18, № 3 (2021) | Неразрушающие тесты с четным повторением адресов для запоминающих устройств | Аннотация PDF (Rus) похожие документы |
В. Н. Ярмолик, И. Мрозек, В. А. Леванцевич, Д. В. Деменковец | ||
"... систем. Исследуются математические модели неисправностей этих устройств и используемые методы ..." | ||
№ 2(10) (2006) | РАЗРАБОТКА СИСТЕМ АВТОМАТИЧЕСКОГО ПРЕДМЕТНО-ОРИЕНТИРОВАННОГО РЕФЕРИРОВАНИЯ ТЕКСТОВ | Аннотация PDF (Rus) похожие документы |
Н. В. Воронков | ||
№ 3(03) (2004) | ФОРМАЛЬНЫЕ МЕТОДЫ АНАЛИЗА ПОВЕДЕНИЯ РАСПРЕДЕЛЕННЫХ СИСТЕМ | Аннотация PDF (Rus) похожие документы |
Д. И. Черемисинов | ||
"... мультиагентных систем, состоящих из агентов, поведение которых задается посредством протоколов. Рассматривается ..." | ||
№ 4(04) (2004) | ПОСТРОЕНИЕ РАСПИСАНИЙ ДЛЯ ОДНОСТАДИЙНЫХ СИСТЕМ ОБСЛУЖИВАНИЯ | Аннотация PDF (Rus) похожие документы |
В. С. Гордон, М. Я. Ковалев, Я. М. Шафранский | ||
"... Беларуси по решению задач теории расписаний для одностадийных детерминированных систем обслуживания. ..." | ||
№ 4(04) (2004) | ОТ ЭРГОНОМИКИ БИОТЕХНИЧЕСКИХ СИСТЕМ К БИОИНФОРМАТИКЕ | Аннотация PDF (Rus) похожие документы |
И. Э. Том | ||
1 - 70 из 295 результатов | 1 2 3 4 5 > >> |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)