Сортировать по:
| Выпуск | Название | |
| № 4(12) (2006) | СиВер – СИСТЕМА СИНТЕЗА И ВЕРИФИКАЦИИ КОМБИНАЦИОННЫХ ЛОГИЧЕСКИХ СХЕМ | Аннотация PDF (Rus) похожие документы |
| П. Н. Бибило, С. Н. Кардаш, В. И. Романов | ||
| "... Описывается система синтеза и верификации многовыходных комбинационных схем в базисе библиотек ..." | ||
| Том 18, № 1 (2021) | Логическая минимизация при синтезе комбинационных структур в FPGA | Аннотация PDF (Rus) похожие документы |
| П. Н. Бибило, Ю. Ю. Ланкевич, В. И. Романов | ||
| "... описаний блоков комбинационной логики, входящих в проекты цифровых устройств, реализуемых в FPGA (Field ..." | ||
| № 1(13) (2007) | ИССЛЕДОВАНИЕ ЭФФЕКТИВНОСТИ ЛОГИЧЕСКОЙ МИНИМИЗАЦИИ В ПРОЦЕССЕ СИНТЕЗА КОМБИНАЦИОННЫХ СХЕМ | Аннотация PDF (Rus) похожие документы |
| П. Н. Бибило, П. В. Леончик | ||
| "... полностью определенных булевых функций на площадь регулярных схем программируемых логических матриц и на ..." | ||
| Том 17, № 3 (2020) | Алгоритмы разбиения логических схем на подсхемы | Аннотация PDF (Rus) похожие документы |
| Н. А. Кириенко | ||
| "... optimization procedure for the functional description of the circuit and LeonardoSpectrum synthesis confirm ..." | ||
| № 4(28) (2010) | СИНТЕЗ КОМБИНАЦИОННЫХ КМОП-СХЕМ С УЧЕТОМ ЭНЕРГОПОТРЕБЛЕНИЯ | Аннотация PDF (Rus) похожие документы |
| Л. Д. Черемисинова | ||
| "... Обосновывается подход к логическому синтезу в базисе библиотечных элементов сверхбольших ..." | ||
| № 2 (2015) | ПРИМЕНЕНИЕ ОЦЕНОК СЛОЖНОСТИ ДИАГРАММ ДВОИЧНОГО ВЫБОРА ПРИ СИНТЕЗЕ ЛОГИЧЕСКИХ СХЕМ | Аннотация PDF (Rus) похожие документы |
| Н. А. Авдеев, П. Н. Бибило | ||
| "... результаты синтеза комбинационных логических схем по минимизированным BDD-представлениям в библиотеке ..." | ||
| Том 18, № 2 (2021) | Минимизация многоуровневых представлений систем полностью определенных булевых функций с использованием разложений Шеннона и алгебраических представлений кофакторов | Аннотация PDF (Rus) похожие документы |
| П. Н. Бибило, В. И. Романов | ||
| "... критерием логической оптимизации при синтезе комбинационных схем из библиотечных логических элементов. ..." | ||
| Том 18, № 3 (2021) | Контроль надежности защиты интегральных схем от троянов: кодирование и декодирование комбинационных структур | Аннотация PDF (Rus) похожие документы |
| Л. А. Золоторевич, В. А. Ильинков | ||
| "... интегральных схем при разработке и в процессе производства на этапах спецификации, проектирования, верификации ..." | ||
| Том 17, № 2 (2020) | Схема коррекции сигналов для комбинационных устройств автоматики на основе логического дополнения с контролем вычислений по паритету | Аннотация PDF (Rus) похожие документы |
| В. В. Сапожников, Вл. В. Сапожников, Д. В. Ефанов | ||
| "... . Новую отказоустойчивую структуру целесообразно использовать для устройств автоматики с комбинационной ..." | ||
| Том 19, № 1 (2022) | Синтез комбинационных схем с помощью алгебраической декомпозиции булевых функций | Аннотация PDF (Rus) похожие документы |
| Ю. В. Поттосин | ||
| "... Ц е л и . Рассматривается задача синтеза комбинационных схем в базисе двухвходовых логических ..." | ||
| Том 16, № 2 (2019) | Логическая минимизация булевых сетей с использованием разложения Шеннона | Аннотация PDF (Rus) похожие документы |
| П. Н. Бибило, Ю. Ю. Ланкевич | ||
| "... Синтез логических схем, реализующих комбинационные блоки сверхбольших интегральных схем, – одна из ..." | ||
| Том 15, № 3 (2018) | Логическая оптимизация многоуровневых представлений систем булевых функций на основе блочного разбиения и разложения Шеннона | Аннотация PDF (Rus) похожие документы |
| П. Н. Бибило, Н. А. Кириенко, Ю. Ю. Ланкевич | ||
| "... оптимизации систем булевых функций, предварительно выполняемых при синтезе комбинационных схем. Процедуры ..." | ||
| № 4 (2013) | СИНТЕЗ КОМБИНАЦИОННЫХ СХЕМ В БАЗИСЕ БИБЛИОТЕЧНЫХ ЭЛЕМЕНТОВ КМОП СБИС С УЧЕТОМ ЭНЕРГОПОТРЕБЛЕНИЯ | Аннотация PDF (Rus) похожие документы |
| Д. И. Черемисинов, Л. Д. Черемисинова | ||
| "... Рассматривается задача синтеза многоуровневых логических сетей в базисе библиотечных элементов КМОП ..." | ||
| Том 17, № 1 (2020) | Выделение подсистем связанных функций из многоуровневого представления системы булевых функций | Аннотация PDF (Rus) похожие документы |
| П. Н. Бибило, А. М. Позняк | ||
| "... комбинационные логические схемы. Чем сильнее связаны функции выделенной подсистемы, тем скорее можно ожидать, что ..." | ||
| Том 16, № 3 (2019) | Обфускация комбинационных схем цифровых устройств от несанкционированного доступа | Аннотация PDF (Rus) похожие документы |
| Л. А. Золоторевич | ||
| "... них являются проблемы верификации проектов на разных этапах проектирования. Наряду с задачами, которые ..." | ||
| № 1(9) (2006) | СРАВНЕНИЕ СХЕМНЫХ РЕАЛИЗАЦИЙ VHDL-МОДЕЛЕЙ, ИСПОЛЬЗУЮЩИХ ЧАСТИЧНУЮ ОПРЕДЕЛЕННОСТЬ БУЛЕВЫХ ФУНКЦИЙ | Аннотация PDF (Rus) похожие документы |
| П. Н. Бибило | ||
| "... LeonardoSpectrum более простые логические схемы по сравнению с VHDL-моделями, базирующимися на системах полностью ..." | ||
| Том 18, № 4 (2021) | Распознавание логических вентилей в плоской транзисторной схеме | Аннотация PDF (Rus) похожие документы |
| Д. И. Черемисинов, Л. Д. Черемисинова | ||
| "... Ц е л и. С ростом трудоемкости верификации и моделирования современных СБИС, содержащих сотни ..." | ||
| Том 15, № 4 (2018) | Использование языка ПРАЛУ для верификации цифровых устройств | Аннотация PDF (Rus) похожие документы |
| Д. И. Черемисинов | ||
| "... передач (register-transfer level, RTL) - логической сети, построенной в процессе синтеза. В универсальной ..." | ||
| № 3(31) (2011) | ВЕРИФИКАЦИЯ ЛОГИЧЕСКИХ СХЕМ, РЕАЛИЗУЮЩИХ СИСТЕМЫ ЧАСТИЧНЫХ БУЛЕВЫХ ФУНКЦИЙ | Аннотация PDF (Rus) похожие документы |
| П. Н. Бибило, Д. Я. Новиков | ||
| "... Рассматривается задача верификации логических схем, реализующих системы частично определенных ..." | ||
| № 3(11) (2006) | КОМПЛЕКС ПРОГРАММ СИНТЕЗА ЛОГИЧЕСКИХ СХЕМ НА БАЗЕ ПРОГРАММИРУЕМЫХ ЛОГИЧЕСКИХ ИНТЕГРАЛЬНЫХ СХЕМ | Аннотация PDF (Rus) похожие документы |
| Л. Д. Черемисинова | ||
| "... Описывается программный комплекс решения задач декомпозиции, возникающих при синтезе логических ..." | ||
| Том 19, № 3 (2022) | Канонизация графов при декомпиляции транзисторных схем | Аннотация PDF (Rus) похожие документы |
| Д. И. Черемисинов, Л. Д. Черемисинова | ||
| "... транзисторной схеме, которые позволяют получить представление на уровне логических элементов, эквивалентное ..." | ||
| № 1(53) (2017) | ОТОБРАЖЕНИЕ ЛОГИЧЕСКИХ СЕТЕЙ В ЗАДАННЫЙ ТЕХНОЛОГИЧЕСКИЙ БАЗИС | Аннотация PDF (Rus) похожие документы |
| Д. И. Черемисинов | ||
| "... Рассматривается задача синтеза многоуровневых логических сетей в базисе библиотечных элементов ..." | ||
| Том 20, № 1 (2023) | Аппаратная реализация булевых функций на основе автоматной модели | Аннотация PDF (Rus) похожие документы |
| А. А. Бутов | ||
| Том 15, № 4 (2018) | Синтез самопроверяемых схем встроенного контроля на основе метода логического дополнения до равновесного кода «2 из 4» | Аннотация PDF (Rus) похожие документы |
| Д. В. Ефанов, В. В. Сапожников, В. В. Сапожников, Д. В. Пивоваров | ||
| "... Исследуются особенности синтеза самопроверяемых схем встроенного контроля по методу логического ..." | ||
| Том 20, № 2 (2023) | Применение диаграмм решений не полностью определенных функций k-значной логики при синтезе логических схем | Аннотация PDF (Rus) похожие документы |
| П. Н. Бибило | ||
| "... выполняется технологическое отображение (technology mapping) – второй этап синтеза логических схем. Методы ..." | ||
| Том 21, № 1 (2024) | Технологически независимая оптимизация при реализации в заказных СБИС разреженных систем дизъюнктивных нормальных форм булевых функций | Аннотация PDF (Rus) похожие документы |
| П. Н. Бибило, С. Н. Кардаш | ||
| "... независимой логической оптимизации, выполняемой на первом этапе логического синтеза: совместную минимизацию ..." | ||
| № 2(34) (2012) | ПОСТРОЕНИЕ ТЕСТОВ И ВЕРИФИКАЦИЯ ПОТОКОВЫХ МОДЕЛЕЙ ЦИФРОВЫХ УСТРОЙСТВ НА ЯЗЫКЕ VHDL | Аннотация PDF (Rus) похожие документы |
| Л. А. Золоторевич | ||
| "... Предлагается единый подход к верификации проектов и направленному построению тестов контроля СБИС ..." | ||
| № 4(24) (2009) | МЕТОД БЛОЧНО-СТРУКТУРНОГО СИНТЕЗА ВЫЧИСЛИТЕЛЬНЫХ УСТРОЙСТВ МОДУЛЯРНОЙ АРИФМЕТИКИ | Аннотация PDF (Rus) похожие документы |
| В. П. Супрун, Д. А. Городецкий | ||
| "... . Предлагается метод блочно-структурного синтеза, применение которого позволяет получать логические схемы ..." | ||
| № 4(04) (2004) | АВТОМАТИЗАЦИЯ ЛОГИЧЕСКОГО ПРОЕКТИРОВАНИЯ | Аннотация PDF (Rus) похожие документы |
| П. Н. Бибило, Л. Д. Черемисинова | ||
| "... Дается краткий обзор теоретических результатов, полученных в лаборатории логического проектирования ..." | ||
| № 2(6) (2005) | СИНТЕЗ МИКРОПРОГРАММНОГО АВТОМАТА С МНОЖЕСТВЕННЫМ КОДИРОВАНИЕМ НАБОРОВ МИКРООПЕРАЦИЙ | Аннотация PDF (Rus) похожие документы |
| А. А. Баркалов, А. Ф. Буковец | ||
| "... Предлагается метод оптимизации аппаратурных затрат в логической схеме микропрограммного автомата ..." | ||
| Том 20, № 4 (2023) | Онтологический анализ в задачах моделирования угроз системам на основе контейнерных приложений | Аннотация PDF (Rus) похожие документы |
| А. И. Бражук, Е. В. Олизарович | ||
| "... Цели. Основной целью работы является экспериментальная верификация методики автоматического ..." | ||
| Том 16, № 2 (2019) | Синтез симметричных путей физически неклонируемой функции типа арбитр на FPGA | Аннотация PDF (Rus) похожие документы |
| А. А. Иванюк | ||
| "... синтезе конфигурируемых симметричных путей, каждое звено которых представляет собой пару двухвходовых ..." | ||
| № 1 (2013) | ПОВЫШЕНИЕ БЫСТРОДЕЙСТВИЯ КОМБИНАЦИОННОЙ СХЕМЫ ПУТЕМ КОНВЕЙЕРИЗАЦИИ | Аннотация PDF (Rus) похожие документы |
| Ю. В. Поттосин, С. Н. Кардаш | ||
| "... последовательность дискретных сигналов. Поставлена задача разбиения заданной многоуров-невой комбинационной схемы на ..." | ||
| № 4(12) (2006) | АЛГОРИТМ ГЕНЕРАЦИИ ФОНЕМНОЙ ПОСЛЕДОВАТЕЛЬНОСТИ ПО ОРФОГРАФИЧЕСКОМУ ТЕКСТУ В СИСТЕМЕ СИНТЕЗА РЕЧИ | Аннотация PDF (Rus) похожие документы |
| Л. И. Цирульник | ||
| "... Показываются особенности преобразования буква-фонема для русской речи, приводятся логические ..." | ||
| № 1(01) (2004) | ОБ ИНТЕРПРЕТАЦИИ ВРЕМЕННОЙ ЛОГИКИ ПРИ СИМВОЛИЧЕСКОЙ ВЕРИФИКАЦИИ | Аннотация PDF (Rus) похожие документы |
| Д. И. Черемисинов | ||
| "... В последние годы инструменты для символической верификации на основе временной логики входят в ..." | ||
| № 1 (2015) | МНОГОКРАТНАЯ СВЕРТКА РЕГУЛЯРНЫХ СТРУКТУР НА ОСНОВЕ РЕШЕНИЯ ЛОГИЧЕСКИХ УРАВНЕНИЙ | Аннотация PDF (Rus) похожие документы |
| Л. Д. Черемисинова | ||
| "... реализуемости множества свертки, который основывается на сведении задачи к решению логического уравнения и ..." | ||
| № 1(9) (2006) | РЕШЕНИЕ БОЛЬШИНСТВА ЛИНЕЙНЫХ ЛОГИЧЕСКИХ УРАВНЕНИЙ НЕСОВМЕСТНОЙ СИСТЕМЫ НА СУПЕРКОМПЬЮТЕРЕ | Аннотация PDF (Rus) похожие документы |
| А. Д. Закревский, Н. Р. Торопов | ||
| "... Рассматриваются переопределенные системы линейных логических уравнений, число уравнений в которых ..." | ||
| № 1(33) (2012) | ОЦЕНКА ЭНЕРГОПОТРЕБЛЕНИЯ КМОП-СХЕМ НА ОСНОВЕ ЛОГИЧЕСКОГО МОДЕЛИРОВАНИЯ | Аннотация PDF (Rus) похожие документы |
| П. Н. Бибило, А. Л. Соловьев | ||
| "... Рассматривается задача оценки энергопотребления схем, синтезированных из логических элементов ..." | ||
| № 2(14) (2007) | ОПТИМИЗАЦИЯ ЛОГИЧЕСКОЙ СХЕМЫ АВТОМАТА МУРА НА ПРОГРАММИРУЕМОЙ МАТРИЧНОЙ ЛОГИКЕ | Аннотация PDF (Rus) похожие документы |
| А. А. Баркалов, Л. А. Титаренко, С. Я. Хмелевский | ||
| "... Описывается метод уменьшения числа макроячеек программируемой матричной логики (ПМЛ) в логической ..." | ||
| № 2(22) (2009) | ФОРМИРОВАНИЕ ПРОСТРАНСТВЕННО-ЛОГИЧЕСКИХ СВЯЗЕЙ ОБЪЕКТОВ ЦИФРОВЫХ КАРТ В ГЕОИНФОРМАЦИОННЫХ СИСТЕМАХ | Аннотация PDF (Rus) похожие документы |
| С. В. Абламейко, С. П. Боричев | ||
| "... Рассматривается проблема ускорения процесса формирования пространственно-логических связей ..." | ||
| № 3(23) (2009) | ОПТИМИЗАЦИОННЫЕ ПРЕОБРАЗОВАНИЯ ЛОГИЧЕСКОЙ СХЕМЫ НА ОСНОВЕ БЛОЧНОГО РАЗБИЕНИЯ | Аннотация PDF (Rus) похожие документы |
| П. Н. Бибило, Н. А. Кириенко | ||
| "... Исследуется возможность использования метода разбиения логических сетей для минимизации сложности ..." | ||
| № 1(5) (2005) | ВЕРИФИКАЦИЯ ИМИТАЦИОННОЙ МОДЕЛИ ТЕХНОЛОГИЧЕСКОГО ПРОЦЕССА ПРОИЗВОДСТВА С ИЕРАРХИЧЕСКОЙ СТРУКТУРОЙ | Аннотация PDF (Rus) похожие документы |
| В. Д. Левчук, П. Л. Чечет, Е. О. Попова, В. В. Старченко, А. С. Помаз | ||
| "... имитационных экспериментов по верификации разработанной имитационной модели делается вывод о том, что модель ..." | ||
| Том 16, № 2 (2019) | Верификация систем с параллелизмом поведения на основе графа достижимых состояний | Аннотация PDF (Rus) похожие документы |
| Ю. В. Поттосин, В. И. Романов, Л. Д. Черемисинова | ||
| "... Рассматривается задача верификации систем управления на основе моделей их поведения, которая ..." | ||
| Том 21, № 2 (2024) | Верификация динамической подписи человека по ограниченному числу образцов | Аннотация PDF (Rus) похожие документы |
| В. В. Старовойтов | ||
| "... подписей человека, предъявленных для верификации, в многомерном признаковом пространстве. Выпуклая оболочка ..." | ||
| Том 16, № 2 (2019) | Отбор информативных геометрических признаков ядер клеток на люминесцентных изображениях раковых клеток | Аннотация PDF (Rus) похожие документы |
| Е. В. Лисица, Н. Н. Яцков, В. В. Скакун, П. Д. Кривошеев, В. В. Апанасович | ||
| Том 18, № 3 (2021) | Применение логики первого порядка для выявления организаторов и исполнителей противоправных действий в преступных группах | Аннотация PDF (Rus) похожие документы |
| А. М. Соболь, Е. И. Козлова, Ю. А. Чернявский | ||
| "... Известны три основных семейства алгоритмов вывода в логике первого порядка: прямой логический ..." | ||
| № 3 (2016) | ИССЛЕДОВАНИЕ ЭФФЕКТИВНОСТИ ТЕХНОЛОГИЧЕСКИ НЕЗАВИСИМОЙ ОПТИМИЗАЦИИ ФУНКЦИОНАЛЬНЫХ ОПИСАНИЙ КМОП-СХЕМ | Аннотация PDF (Rus) похожие документы |
| Н. А. Кириенко, Л. Д. Черемисинова | ||
| "... of the optimization methods implemented in the synthesizer LeonardoSpectrum, the methods of minimization of Boolean ..." | ||
| № 4(20) (2008) | СИСТЕМА АУДИОВИЗУАЛЬНОГО СИНТЕЗА РУССКОЙ РЕЧИ | Аннотация PDF (Rus) похожие документы |
| Б. М. Лобанов, Л. И. Цирульник, М. Железны, З. Крноул, А. Ронжин, А. Карпов | ||
| "... Описываются имитационная и компиляционная модели аудиовизуального синтеза русской речи и созданный ..." | ||
| № 3(35) (2012) | МЕТОД РЕШЕНИЯ ЗАДАЧ РАСПОЗНАВАНИЯ В БУЛЕВОМ ПРОСТРАНСТВЕ НА ОСНОВЕ ЛОГИЧЕСКОЙ И ПРЕЦЕДЕНТНОЙ МОДЕЛЕЙ | Аннотация PDF (Rus) похожие документы |
| О. В. Шут | ||
| "... используются соответственно логическая и прецедентная модели представления начальной информации. Строится ..." | ||
| Том 15, № 4 (2018) | Логическая характеризация класса сложности задач, разрешимых вероятностными алгоритмами за полиномиальное время | Аннотация PDF (Rus) похожие документы |
| В. Г. Найденко | ||
| "... probablistic polynomial time) в терминах логического языка. BPP представляет собой класс вычислительных проблем ..." | ||
| № 4(04) (2004) | РЕШЕНИЕ БОЛЬШИХ СИСТЕМ БУЛЕВЫХ УРАВНЕНИЙ | Аннотация PDF (Rus) похожие документы |
| А. Д. Закревский | ||
| "... Многие проблемы анализа, синтеза и диагностики неисправностей логических схем, а также проблемы ..." | ||
| № 2(34) (2012) | ФУНКЦИОНАЛЬНЫЕ VHDL-МОДЕЛИ ЭЛЕМЕНТОВ FPGA СЕМЕЙСТВА SPARTAN 3 ДЛЯ КОНВЕРТАЦИИ ПРОЕКТОВ ЦИФРОВЫХ СИСТЕМ В ЗАКАЗНЫЕ СБИС | Аннотация PDF (Rus) похожие документы |
| П. Н. Бибило, А. Л. Соловьев | ||
| "... элементов предлагаются синтезируемые VHDL-модели тех логических элементов, которые входят в конфигурируемые ..." | ||
| № 2(26) (2010) | ОЦЕНКА ЭНЕРГОПОТРЕБЛЕНИЯ ПРИ ОПТИМИЗАЦИИ ДВУХУРОВНЕВЫХ КМОП-СХЕМ | Аннотация PDF (Rus) похожие документы |
| Л. Д. Черемисинова | ||
| "... по КМОП-технологии, на этапе логического синтеза. Рассматриваются подходы, позволяющие дать ..." | ||
| № 3(31) (2011) | ОПТИМИЗАЦИЯ СКОБОЧНЫХ ПРЕДСТАВЛЕНИЙ БУЛЕВЫХ ФУНКЦИЙ С УЧЕТОМ ЭНЕРГОПОТРЕБЛЕНИЯ | Аннотация PDF (Rus) похожие документы |
| Л. Д. Черемисинова, Н. А. Кириенко | ||
| "... могло бы служить основой для синтеза логической схемы из библиотечных элементов, выполненных на основе ..." | ||
| № 3(27) (2010) | ВЕРИФИКАЦИЯ ФУНКЦИОНАЛЬНЫХ ОПИСАНИЙ С НЕОПРЕДЕЛЕННОСТЬЮ НА ОСНОВЕ ПАРАФАЗНОГО ПРЕДСТАВЛЕНИЯ БУЛЕВЫХ ФУНКЦИЙ | Аннотация PDF (Rus) похожие документы |
| Д. Я. Новиков, Л. Д. Черемисинова | ||
| № 3 (2013) | ВЕРИФИКАЦИЯ КОМПЬЮТЕРНЫХ МОДЕЛЕЙ ЭЛЕМЕНТОВ РЫЧАЖНОЙ ДЛИННОХОДОВОЙ ПОДВЕСКИ ПО РЕЗУЛЬТАТАМ СТЕНДОВЫХ ИСПЫТАНИЙ | Аннотация PDF (Rus) похожие документы |
| В. С. Кончак, А. А. Назаренко, С. В. Хитриков, Д. А. Бузановский, С. П. Лазакович, Ю. И. Николаев | ||
| Том 19, № 3 (2022) | Новый признак для описания изображений рукописной подписи на базе локальных бинарных шаблонов | Аннотация PDF (Rus) похожие документы |
| В. В. Старовойтов, У. Ю. Ахунджанов | ||
| "... , содержащих истинные и поддельные подписи 80 человек. Точность корректной верификации подписей на этих базах ..." | ||
| Том 20, № 4 (2023) | Моделирование дискретных управляющих систем с параллелизмом поведения | Аннотация PDF (Rus) похожие документы |
| Д. И. Черемисинов, Л. Д. Черемисинова | ||
| "... Цели. Рассматривается задача функциональной верификации устройств управления относительно ..." | ||
| № 1(9) (2006) | КОМПЬЮТЕРНАЯ МОДЕЛЬ АЛЛОФОННО-ВОЛНОВОГО СИНТЕЗА РУССКОЙ РЕЧИ | Аннотация PDF (Rus) похожие документы |
| В. В. Киселев | ||
| "... Описывается система синтеза речи на основе аллофонно-волнового представления речевого сигнала ..." | ||
| № 3(03) (2004) | АВТОМАТИЗАЦИЯ СТРУКТУРНОГО СИНТЕЗА СБОРОЧНО СВАРОЧНЫХ ПРИСПОСОБЛЕНИЙ | Аннотация PDF (Rus) похожие документы |
| Д. П. Кункевич | ||
| № 1(53) (2017) | МЕТОДИКА СИНТЕЗА ИНФОРМАЦИОННОЙ МОДЕЛИ БОЕВОЙ ОБСТАНОВКИ | Аннотация PDF (Rus) похожие документы |
| Д. И. Рабченок | ||
| "... Рассматривается методика структурно-параметрического синтеза информационной модели на командном ..." | ||
| № 4(20) (2008) | СИНТЕЗ РЕГУЛЯТОРОВ ДЛЯ УПРАВЛЕНИЯ ДВИЖЕНИЕМ МЕХАТРОННЫХ СИСТЕМ | Аннотация PDF (Rus) похожие документы |
| Н. Н. Гурский, Ю. И. Слабко, Р. И. Фурунжиев, П. А. Хомич | ||
| "... Обсуждаются новый подход и технология синтеза управлений для класса адаптивных систем управления по ..." | ||
| Том 18, № 2 (2021) | О научной деятельности Николая Романовича Торопова | Аннотация PDF (Rus) похожие документы |
| П. Н. Бибило, Ю. В. Поттосин | ||
| "... программирования и логического синтеза, впоследствии переименованная в лабораторию логического проектирования ОИПИ ..." | ||
| № 1(9) (2006) | АНАЛИЗ ЭНЕРГОПОТРЕБЛЕНИЯ МНОГОВХОДОВОГО СУММАТОРА ПО МОДУЛЮ ДВА | Аннотация PDF (Rus) похожие документы |
| И. А. Мурашко | ||
| "... двухвходовых элементов «исключающее ИЛИ», для случая, когда изменения логических уровней на входах сумматора ..." | ||
| Том 19, № 2 (2022) | Экспериментальное сравнение эффективности программ минимизации систем булевых функций в классе дизъюнктивных нормальных форм | Аннотация PDF (Rus) похожие документы |
| П. Н. Бибило, И. П. Логинова | ||
| "... (площади кристаллов) функциональных комбинационных блоков, размещаемых в составе цифровых СБИС. Целью ..." | ||
| № 1(29) (2011) | СТРУКТУРНО-ПАРАМЕТРИЧЕСКИЙ СИНТЕЗ АВТОМАТИЗИРОВАННЫХ СИСТЕМ КОНТРОЛЯ И УЧЕТА ЭЛЕКТРОЭНЕРГИИ | Аннотация PDF (Rus) похожие документы |
| Н. Е. Пацей, В. Т. Придухо | ||
| Том 16, № 3 (2019) | Метод синтеза дискриминационных характеристик угломерных систем многолучевых радиолокационных станций | Аннотация PDF (Rus) похожие документы |
| В. М. Артемьев, А. О. Наумов | ||
| "... два варианта синтеза дискриминационных характеристик: для аддитивных и мультипликативных ..." | ||
| № 2(14) (2007) | СИНТЕЗ УСТРОЙСТВА УПРАВЛЕНИЯ С МОДИФИЦИРОВАННЫМИ ОПЕРАТОРНЫМИ ЛИНЕЙНЫМИ ЦЕПЯМИ | Аннотация PDF (Rus) похожие документы |
| А. А. Баркалов, Л. А. Титаренко, Я. А. Бегановский | ||
| № 4 (2014) | К СИНТЕЗУ КОМПОНОВОК АГРЕГАТНЫХ СТАНКОВ ДЛЯ ГРУППОВОЙ ОБРАБОТКИ | Аннотация PDF (Rus) похожие документы |
| Б. М. Розин, В. Е. Зданович | ||
| Том 17, № 4 (2020) | Интернет-поиск и лексико-семантическая обработка аналогов при принятии решений | Аннотация PDF (Rus) похожие документы |
| С. Ф. Липницкий | ||
| 1 - 70 из 146 результатов | 1 2 3 > >> | |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
