Сортировать по:
| Выпуск | Название | |
| № 4(04) (2004) | АВТОМАТИЗАЦИЯ ЛОГИЧЕСКОГО ПРОЕКТИРОВАНИЯ | Аннотация PDF (Rus) похожие документы |
| П. Н. Бибило, Л. Д. Черемисинова | ||
| "... Дается краткий обзор теоретических результатов, полученных в лаборатории логического проектирования ..." | ||
| Том 17, № 3 (2020) | Алгоритмы разбиения логических схем на подсхемы | Аннотация PDF (Rus) похожие документы |
| Н. А. Кириенко | ||
| "... разбиения схемы в рамках экспериментальной системы логического проектирования FLC. ..." | ||
| № 4(04) (2004) | АВТОМАТИЗАЦИЯ ПРОЕКТИРОВАНИЯ В МАШИНОСТРОЕНИИ | Аннотация PDF (Rus) похожие документы |
| В. И. Махнач | ||
| "... разработок института по автоматизации процессов технической подготовки производства в машиностроении ..." | ||
| № 1(53) (2017) | ОТОБРАЖЕНИЕ ЛОГИЧЕСКИХ СЕТЕЙ В ЗАДАННЫЙ ТЕХНОЛОГИЧЕСКИЙ БАЗИС | Аннотация PDF (Rus) похожие документы |
| Д. И. Черемисинов | ||
| "... логического синтеза, предназначенного для автоматизации проектирования многоуровневых логических схем из ..." | ||
| № 3(11) (2006) | ПОСТРОЕНИЕ КОНЦЕПТУАЛЬНОЙ МОДЕЛИ КЛИНИКО-ДИАГНОСТИЧЕСКОЙ ЛАБОРАТОРИИ | Аннотация PDF (Rus) похожие документы |
| Д. Л. Можейко, А. В. Анищенко, Е. В. Кильчевская | ||
| "... области и проектирования логической и физической схем базы данных. ..." | ||
| № 4(36) (2012) | К 100-летию со дня рождения Г.К. Горанского | Аннотация PDF (Rus) похожие документы |
| А. В. Тузиков | ||
| № 1(9) (2006) | ВОЗМОЖНОСТИ И СРЕДСТВА РЕИНЖИНИРИНГА В СОВРЕМЕННЫХ СИСТЕМАХ АВТОМАТИЗАЦИИ ПРОЕКТИРОВАНИЯ | Аннотация PDF (Rus) похожие документы |
| А. А. Прохорова | ||
| № 4(16) (2007) | АВТОМАТИЗАЦИЯ ПРОЕКТИРОВАНИЯ ТИПОВЫХ КОНСТРУКЦИЙ НА БАЗЕ СРЕДСТВ ПАРАМЕТРИЗАЦИИ CAD-СИСТЕМ | Аннотация PDF (Rus) похожие документы |
| Л. В. Губич, А. А. Прохорова | ||
| Том 18, № 4 (2021) | Распознавание логических вентилей в плоской транзисторной схеме | Аннотация PDF (Rus) похожие документы |
| Д. И. Черемисинов, Л. Д. Черемисинова | ||
| "... миллионов транзисторов, основными инструментами автоматизированного проектирования и верификации становятся ..." | ||
| № 3(23) (2009) | ОПТИМИЗАЦИОННЫЕ ПРЕОБРАЗОВАНИЯ ЛОГИЧЕСКОЙ СХЕМЫ НА ОСНОВЕ БЛОЧНОГО РАЗБИЕНИЯ | Аннотация PDF (Rus) похожие документы |
| П. Н. Бибило, Н. А. Кириенко | ||
| "... логических схем, синтезируемых в системе проектирования Leonardo. Описывается технология проведения ..." | ||
| № 1(5) (2005) | АВТОМАТИЗАЦИЯ ПРОЕКТИРОВАНИЯ РОБОТИЗИРОВАННЫХ ТЕХНОЛОГИЧЕСКИХ КОМПЛЕКСОВ ДУГОВОЙ СВАРКИ С ИСПОЛЬЗОВАНИЕМ МАНИПУЛЯТОРА ИЗДЕЛИЯ | Аннотация PDF (Rus) похожие документы |
| К. И. Сёмкин | ||
| "... Рассматриваются вопросы автоматизации проектирования роботизированных технологических комплексов ..." | ||
| № 1(13) (2007) | ИССЛЕДОВАНИЕ ЭФФЕКТИВНОСТИ ЛОГИЧЕСКОЙ МИНИМИЗАЦИИ В ПРОЦЕССЕ СИНТЕЗА КОМБИНАЦИОННЫХ СХЕМ | Аннотация PDF (Rus) похожие документы |
| П. Н. Бибило, П. В. Леончик | ||
| "... полностью определенных булевых функций на площадь регулярных схем программируемых логических матриц и на ..." | ||
| № 2 (2015) | ПРИМЕНЕНИЕ ОЦЕНОК СЛОЖНОСТИ ДИАГРАММ ДВОИЧНОГО ВЫБОРА ПРИ СИНТЕЗЕ ЛОГИЧЕСКИХ СХЕМ | Аннотация PDF (Rus) похожие документы |
| Н. А. Авдеев, П. Н. Бибило | ||
| "... Предлагается формула для оценки площади логической схемы, построенной в заданной библиотеке ..." | ||
| № 4(12) (2006) | СиВер – СИСТЕМА СИНТЕЗА И ВЕРИФИКАЦИИ КОМБИНАЦИОННЫХ ЛОГИЧЕСКИХ СХЕМ | Аннотация PDF (Rus) похожие документы |
| П. Н. Бибило, С. Н. Кардаш, В. И. Романов | ||
| "... проектирования базовых матричных кристаллов. Исходными данными являются матричные и скобочные описания систем ..." | ||
| № 1(33) (2012) | ОЦЕНКА ЭНЕРГОПОТРЕБЛЕНИЯ КМОП-СХЕМ НА ОСНОВЕ ЛОГИЧЕСКОГО МОДЕЛИРОВАНИЯ | Аннотация PDF (Rus) похожие документы |
| П. Н. Бибило, А. Л. Соловьев | ||
| "... Рассматривается задача оценки энергопотребления схем, синтезированных из логических элементов ..." | ||
| Том 16, № 2 (2019) | Логическая минимизация булевых сетей с использованием разложения Шеннона | Аннотация PDF (Rus) похожие документы |
| П. Н. Бибило, Ю. Ю. Ланкевич | ||
| "... Синтез логических схем, реализующих комбинационные блоки сверхбольших интегральных схем, – одна из ..." | ||
| Том 18, № 1 (2021) | Логическая минимизация при синтезе комбинационных структур в FPGA | Аннотация PDF (Rus) похожие документы |
| П. Н. Бибило, Ю. Ю. Ланкевич, В. И. Романов | ||
| "... Шеннона (логических уравнений), так, чтобы каждое из них зависело от ограниченного числа k входных ..." | ||
| Том 18, № 3 (2021) | Контроль надежности защиты интегральных схем от троянов: кодирование и декодирование комбинационных структур | Аннотация PDF (Rus) похожие документы |
| Л. А. Золоторевич, В. А. Ильинков | ||
| "... интегральных схем при разработке и в процессе производства на этапах спецификации, проектирования, верификации ..." | ||
| № 1(53) (2017) | ПРОГРАММНАЯ СРЕДА ПРОЕКТИРОВАНИЯ ПАРАЛЛЕЛЬНЫХ ПРИЛОЖЕНИЙ С ОБЩЕЙ ПАМЯТЬЮ | Аннотация PDF (Rus) похожие документы |
| М. К. Буза, О. М. Кондратьева | ||
| "... методика и программная среда, которые могут быть использованы для автоматизации процесса проектирования ..." | ||
| Том 18, № 2 (2021) | О научной деятельности Николая Романовича Торопова | Аннотация PDF (Rus) похожие документы |
| П. Н. Бибило, Ю. В. Поттосин | ||
| "... программирования и логического синтеза, впоследствии переименованная в лабораторию логического проектирования ОИПИ ..." | ||
| № 4 (2013) | ПРОГРАММНО-МЕТОДИЧЕСКИЕ СРЕДСТВА ПРОЕКТИРОВАНИЯ ИНСТРУМЕНТА ДЛЯ ПОПЕРЕЧНО-КЛИНОВОЙ ПРОКАТКИ | Аннотация PDF (Rus) похожие документы |
| А. А. Абрамов, С. В. Медведев | ||
| "... Рассматриваются вопросы созданиясквозной компьютерной технологии проектирования и инженерного ..." | ||
| № 4(04) (2004) | ОТ ЭРГОНОМИКИ БИОТЕХНИЧЕСКИХ СИСТЕМ К БИОИНФОРМАТИКЕ | Аннотация PDF (Rus) похожие документы |
| И. Э. Том | ||
| "... агрегирование разнородной информации в задачах выбора, автоматизация эргономического проектирования и испытаний ..." | ||
| № 4(04) (2004) | РЕШЕНИЕ БОЛЬШИХ СИСТЕМ БУЛЕВЫХ УРАВНЕНИЙ | Аннотация PDF (Rus) похожие документы |
| А. Д. Закревский | ||
| "... логических уравнений (СЛЛУ). Для решения таких систем в лаборатории логического проектирования ОИПИ НАН ..." | ||
| Том 20, № 3 (2023) | Семантические модели и средства проектирования адаптивных пользовательских интерфейсов интеллектуальных систем | Аннотация PDF (Rus) похожие документы |
| М. Е. Садовский | ||
| "... Цели. Предлагаются модели и средства проектирования адаптивных пользовательских интерфейсов ..." | ||
| Том 18, № 2 (2021) | Минимизация многоуровневых представлений систем полностью определенных булевых функций с использованием разложений Шеннона и алгебраических представлений кофакторов | Аннотация PDF (Rus) похожие документы |
| П. Н. Бибило, В. И. Романов | ||
| "... В системах проектирования цифровых СБИС (сверхбольших интегральных схем) графовый аппарат BDD ..." | ||
| Том 20, № 4 (2023) | Онтологический анализ в задачах моделирования угроз системам на основе контейнерных приложений | Аннотация PDF (Rus) похожие документы |
| А. И. Бражук, Е. В. Олизарович | ||
| "... – функции автоматического логического вывода на основе дескрипционных (описательных) логик. Результаты ..." | ||
| № 4(12) (2006) | CAD DD’07 | Аннотация PDF (Rus) похожие документы |
| ОИПИ НАН Беларуси | ||
| "... ШЕСТАЯ МЕЖДУНАРОДНАЯ КОНФЕРЕНЦИЯ «АВТОМАТИЗАЦИЯ ПРОЕКТИРОВАНИЯ ДИСКРЕТНЫХ СИСТЕМ» (CAD DD’07 ..." | ||
| Том 21, № 1 (2024) | Технологически независимая оптимизация при реализации в заказных СБИС разреженных систем дизъюнктивных нормальных форм булевых функций | Аннотация PDF (Rus) похожие документы |
| П. Н. Бибило, С. Н. Кардаш | ||
| "... независимой логической оптимизации, выполняемой на первом этапе логического синтеза: совместную минимизацию ..." | ||
| № 3(55) (2017) | ИНФОРМАЦИОННАЯ СИСТЕМА eLab ДЛЯ АККРЕДИТОВАННЫХ ИСПЫТАТЕЛЬНЫХ ЛАБОРАТОРИЙ | Аннотация PDF (Rus) похожие документы |
| С. Н. Сытова, А. П. Дунец, А. Н. Коваленко, А. Л. Мазаник, Т. П. Сидорович, С. В. Черепица | ||
| "... информационной системы eLab для аккредитованных испытательных лабораторий на основе свободного программного ..." | ||
| № 3(11) (2006) | КОМПЛЕКС ПРОГРАММ СИНТЕЗА ЛОГИЧЕСКИХ СХЕМ НА БАЗЕ ПРОГРАММИРУЕМЫХ ЛОГИЧЕСКИХ ИНТЕГРАЛЬНЫХ СХЕМ | Аннотация PDF (Rus) похожие документы |
| Л. Д. Черемисинова | ||
| "... Описывается программный комплекс решения задач декомпозиции, возникающих при синтезе логических ..." | ||
| № 3(03) (2004) | АВТОМАТИЗАЦИЯ СТРУКТУРНОГО СИНТЕЗА СБОРОЧНО СВАРОЧНЫХ ПРИСПОСОБЛЕНИЙ | Аннотация PDF (Rus) похожие документы |
| Д. П. Кункевич | ||
| № 3(23) (2009) | АВТОМАТИЗАЦИЯ ПРОЦЕССА ОЦЕНКИ БЕЗОПАСНОСТИ ОБЪЕКТОВ ИНФОРМАЦИОННЫХ ТЕХНОЛОГИЙ | Аннотация PDF (Rus) похожие документы |
| В. В. Анищенко, В. К. Фисенко, Е. П. Максимович, М. С. Шибут | ||
| "... Предлагается подход к автоматизации процесса оценки безопасности объектов информационных ..." | ||
| № 1 (2015) | МНОГОКРАТНАЯ СВЕРТКА РЕГУЛЯРНЫХ СТРУКТУР НА ОСНОВЕ РЕШЕНИЯ ЛОГИЧЕСКИХ УРАВНЕНИЙ | Аннотация PDF (Rus) похожие документы |
| Л. Д. Черемисинова | ||
| "... реализуемости множества свертки, который основывается на сведении задачи к решению логического уравнения и ..." | ||
| № 1(9) (2006) | РЕШЕНИЕ БОЛЬШИНСТВА ЛИНЕЙНЫХ ЛОГИЧЕСКИХ УРАВНЕНИЙ НЕСОВМЕСТНОЙ СИСТЕМЫ НА СУПЕРКОМПЬЮТЕРЕ | Аннотация PDF (Rus) похожие документы |
| А. Д. Закревский, Н. Р. Торопов | ||
| "... Рассматриваются переопределенные системы линейных логических уравнений, число уравнений в которых ..." | ||
| № 3(31) (2011) | ВЕРИФИКАЦИЯ ЛОГИЧЕСКИХ СХЕМ, РЕАЛИЗУЮЩИХ СИСТЕМЫ ЧАСТИЧНЫХ БУЛЕВЫХ ФУНКЦИЙ | Аннотация PDF (Rus) похожие документы |
| П. Н. Бибило, Д. Я. Новиков | ||
| "... Рассматривается задача верификации логических схем, реализующих системы частично определенных ..." | ||
| № 2(14) (2007) | ОПТИМИЗАЦИЯ ЛОГИЧЕСКОЙ СХЕМЫ АВТОМАТА МУРА НА ПРОГРАММИРУЕМОЙ МАТРИЧНОЙ ЛОГИКЕ | Аннотация PDF (Rus) похожие документы |
| А. А. Баркалов, Л. А. Титаренко, С. Я. Хмелевский | ||
| "... Описывается метод уменьшения числа макроячеек программируемой матричной логики (ПМЛ) в логической ..." | ||
| № 2(22) (2009) | ФОРМИРОВАНИЕ ПРОСТРАНСТВЕННО-ЛОГИЧЕСКИХ СВЯЗЕЙ ОБЪЕКТОВ ЦИФРОВЫХ КАРТ В ГЕОИНФОРМАЦИОННЫХ СИСТЕМАХ | Аннотация PDF (Rus) похожие документы |
| С. В. Абламейко, С. П. Боричев | ||
| "... Рассматривается проблема ускорения процесса формирования пространственно-логических связей ..." | ||
| Том 21, № 3 (2024) | Извлечение логических сетей при декомпиляции описаний КМОП-схем на уровне транзисторов | Аннотация PDF (Rus) похожие документы |
| Д. И. Черемисинов, Л. Д. Черемисинова | ||
| "... выделения блоков, представляющих логические сети, из двухуровневых описаний КМОП-схем на транзисторном ..." | ||
| Том 15, № 2 (2018) | МОДЕЛЬ МЕДИЦИНСКОЙ ДИАГНОСТИЧЕСКОЙ ЛАБОРАТОРИИ: МУЛЬТИМЕДИЙНЫЙ ПОДХОД К БАЗЕ ДАННЫХ | Аннотация похожие документы |
| Д. В. Туйет, С. В. Абламейко | ||
| "... лаборатории и показаны ее приложения. ..." | ||
| № 4(24) (2009) | МЕТОД БЛОЧНО-СТРУКТУРНОГО СИНТЕЗА ВЫЧИСЛИТЕЛЬНЫХ УСТРОЙСТВ МОДУЛЯРНОЙ АРИФМЕТИКИ | Аннотация PDF (Rus) похожие документы |
| В. П. Супрун, Д. А. Городецкий | ||
| "... Рассматривается задача логического проектирования вычислительных устройств модулярной арифметики ..." | ||
| Том 16, № 2 (2019) | Отбор информативных геометрических признаков ядер клеток на люминесцентных изображениях раковых клеток | Аннотация PDF (Rus) похожие документы |
| Е. В. Лисица, Н. Н. Яцков, В. В. Скакун, П. Д. Кривошеев, В. В. Апанасович | ||
| Том 18, № 3 (2021) | Применение логики первого порядка для выявления организаторов и исполнителей противоправных действий в преступных группах | Аннотация PDF (Rus) похожие документы |
| А. М. Соболь, Е. И. Козлова, Ю. А. Чернявский | ||
| "... Известны три основных семейства алгоритмов вывода в логике первого порядка: прямой логический ..." | ||
| № 1(5) (2005) | СИСТЕМА АВТОМАТИЗАЦИИ ЭКСПЕРИМЕНТОВ, РЕАЛИЗУЮЩАЯ АГРЕГАТНЫЙ СПОСОБ ИМИТАЦИИ ТЕХНОЛОГИЧЕСКИХ ПРОЦЕССОВ | Аннотация PDF (Rus) похожие документы |
| И. В. Максимей, В. С. Смородин, Е. И. Сукач | ||
| "... автоматизации моделирования, реализующей агрегатный способ имитации. ..." | ||
| № 4(56) (2017) | СОВЕРШЕНСТВОВАНИЕ КОМПЛЕКСОВ СРЕДСТВ АВТОМАТИЗАЦИИ УПРАВЛЕНИЯ ФОРМИРОВАНИЕМ ТАКТИЧЕСКОЙ ПРОТИВОРАКЕТНОЙ ОБОРОНЫ ОБЪЕКТОВ | Аннотация PDF (Rus) похожие документы |
| О. В. Воронин, С. В. Потетенко, С. В. Кругликов | ||
| "... Предлагаются основные направления автоматизации процессов планирования и управления боевыми ..." | ||
| № 4(32) (2011) | АВТОМАТИЗАЦИЯ ВЫБОРА ТЕХНОЛОГИЧЕСКОГО МЕТОДА ПРИ ОРГАНИЗАЦИИ КОМПАКТНОГО ПРОИЗВОДСТВА МАШИНОСТРОИТЕЛЬНОЙ ПРОДУКЦИИ | Аннотация PDF (Rus) похожие документы |
| Д. Н. Свирский, А. Л. Климентьев | ||
| № 2 (2013) | КОРПОРАТИВНЫЕ СИСТЕМЫ И ТЕХНОЛОГИИ АВТОМАТИЗАЦИИ БИБЛИОТЕК В БЕЛАРУСИ | Аннотация PDF (Rus) похожие документы |
| Р. В. Григянец, Г. О. Лаужель, Е. В. Степанцова | ||
| "... систем автоматизации библиотек в Беларуси. Рассматриваются системы и технологии автоматизации ..." | ||
| № 1(53) (2017) | О НАУЧНОМ НАСЛЕДИИ ЧЛЕНА-КОРРЕСПОНДЕНТА А.Д. ЗАКРЕВСКОГО | Аннотация PDF (Rus) похожие документы |
| П. Н. Бибило, Ю. В. Поттосин, Л. Д. Черемисинова | ||
| "... кибернетики в Советском Союзе и являлся основателем одной из самых известных школ логического проектирования в ..." | ||
| № 2(34) (2012) | ФУНКЦИОНАЛЬНЫЕ VHDL-МОДЕЛИ ЭЛЕМЕНТОВ FPGA СЕМЕЙСТВА SPARTAN 3 ДЛЯ КОНВЕРТАЦИИ ПРОЕКТОВ ЦИФРОВЫХ СИСТЕМ В ЗАКАЗНЫЕ СБИС | Аннотация PDF (Rus) похожие документы |
| П. Н. Бибило, А. Л. Соловьев | ||
| "... элементов предлагаются синтезируемые VHDL-модели тех логических элементов, которые входят в конфигурируемые ..." | ||
| № 1(01) (2004) | МИНИМИЗАЦИЯ ПЛОЩАДИ РЕГУЛЯРНЫХ МАТРИЧНЫХ СТРУКТУР ЗАКАЗНЫХ СБИС МЕТОДОМ СВЕРТКИ | Аннотация PDF (Rus) похожие документы |
| Л. Д. Черемисинова | ||
| "... . Первая задача решается на этапе логического проектирования матричной структуры, вторая - на этапе ее ..." | ||
| Том 17, № 2 (2020) | Схема коррекции сигналов для комбинационных устройств автоматики на основе логического дополнения с контролем вычислений по паритету | Аннотация PDF (Rus) похожие документы |
| В. В. Сапожников, Вл. В. Сапожников, Д. В. Ефанов | ||
| "... возникновения неисправности в контролируемом объекте и метод логического дополнения для определения неправильно ..." | ||
| № 3(35) (2012) | МЕТОД РЕШЕНИЯ ЗАДАЧ РАСПОЗНАВАНИЯ В БУЛЕВОМ ПРОСТРАНСТВЕ НА ОСНОВЕ ЛОГИЧЕСКОЙ И ПРЕЦЕДЕНТНОЙ МОДЕЛЕЙ | Аннотация PDF (Rus) похожие документы |
| О. В. Шут | ||
| "... используются соответственно логическая и прецедентная модели представления начальной информации. Строится ..." | ||
| Том 15, № 3 (2018) | Логическая оптимизация многоуровневых представлений систем булевых функций на основе блочного разбиения и разложения Шеннона | Аннотация PDF (Rus) похожие документы |
| П. Н. Бибило, Н. А. Кириенко, Ю. Ю. Ланкевич | ||
| Том 15, № 4 (2018) | Синтез самопроверяемых схем встроенного контроля на основе метода логического дополнения до равновесного кода «2 из 4» | Аннотация PDF (Rus) похожие документы |
| Д. В. Ефанов, В. В. Сапожников, В. В. Сапожников, Д. В. Пивоваров | ||
| "... Исследуются особенности синтеза самопроверяемых схем встроенного контроля по методу логического ..." | ||
| Том 15, № 4 (2018) | Логическая характеризация класса сложности задач, разрешимых вероятностными алгоритмами за полиномиальное время | Аннотация PDF (Rus) похожие документы |
| В. Г. Найденко | ||
| "... probablistic polynomial time) в терминах логического языка. BPP представляет собой класс вычислительных проблем ..." | ||
| Том 20, № 2 (2023) | Применение диаграмм решений не полностью определенных функций k-значной логики при синтезе логических схем | Аннотация PDF (Rus) похожие документы |
| П. Н. Бибило | ||
| "... выполняется технологическое отображение (technology mapping) – второй этап синтеза логических схем. Методы ..." | ||
| № 1(01) (2004) | АРХИТЕКТУРА СИСТЕМЫ АНАЛИЗА И ПРОЕКТИРОВАНИЯ ПАРАЛЛЕЛЬНЫХ ПРОГРАММ | Аннотация PDF (Rus) похожие документы |
| А. В. Отвагин, Р. Х. Садыхов | ||
| "... Предложена общая структура системы анализа и проектирования параллельных программ на основе ..." | ||
| № 4(36) (2012) | ИЕРАРХИЧЕСКИЙ ПОДХОД К ТОПОЛОГИЧЕСКОМУ ПРОЕКТИРОВАНИЮ МИКРОСХЕМ | Аннотация PDF (Rus) похожие документы |
| В. И. Романов | ||
| № 2(30) (2011) | ПРОЕКТИРОВАНИЕ ПЕРЕДИСКРЕТИЗИРОBАННОГО НЕРАВНОПОЛОСНОГО КОСИНУСНО-МОДУЛИРОВАННОГО БАНКА ФИЛЬТРОВ | Аннотация PDF (Rus) похожие документы |
| М. И. Вашкевич, А. А. Петровский | ||
| "... Предлагается метод проектирования неравнополосного косинусно-модулированного банка фильтров с ..." | ||
| Том 16, № 3 (2019) | Обфускация комбинационных схем цифровых устройств от несанкционированного доступа | Аннотация PDF (Rus) похожие документы |
| Л. А. Золоторевич | ||
| "... Анализируются проблемы проектирования современных СБИС и систем на кристалле. Наиболее сложными из ..." | ||
| Том 19, № 3 (2022) | Канонизация графов при декомпиляции транзисторных схем | Аннотация PDF (Rus) похожие документы |
| Д. И. Черемисинов, Л. Д. Черемисинова | ||
| "... транзисторной схеме, которые позволяют получить представление на уровне логических элементов, эквивалентное ..." | ||
| Том 17, № 1 (2020) | Выделение подсистем связанных функций из многоуровневого представления системы булевых функций | Аннотация PDF (Rus) похожие документы |
| П. Н. Бибило, А. М. Позняк | ||
| "... Одним из направлений логической оптимизации многоуровневых представлений систем булевых функций ..." | ||
| № 3(19) (2008) | РЕШЕНИЕ СИСТЕМЫ ДИЗЪЮНКТИВНЫХ УРАВНЕНИЙ МЕТОДОМ ПЕРЕМНОЖЕНИЯ ДНФ | Аннотация PDF (Rus) похожие документы |
| Н. Р. Торопов | ||
| "... псевдослучайных систем логических уравнений и на примерах конкретных систем из практики логического проектирования. ..." | ||
| Том 16, № 4 (2019) | О надежности, безопасности и читабельности языков программирования на примере языка Ада | Аннотация похожие документы |
| А. В. Леонтьев | ||
| "... Представлены несколько небольших предложений, которые относятся к проектированию языков и отражают ..." | ||
| Том 16, № 1 (2019) | Теоретико-множественная операция объединения многоугольников в задачах топологического проектирования | Аннотация PDF (Rus) похожие документы |
| А. А. Бутов | ||
| Том 19, № 4 (2022) | Информационное обеспечение САПР технологических процессов опытных образцов структурно-сложных изделий | Аннотация PDF (Rus) похожие документы |
| А. В. Петухов | ||
| "... Цели. Целью исследования информационного обеспечения системы автоматизированного проектирования ..." | ||
| № 4(16) (2007) | АВТОМАТИЗАЦИЯ ФОРМИРОВАНИЯ СТРУКТУРЫ ДИНАМИЧЕСКИХ МОДЕЛЕЙ НА ОСНОВЕ МЕТОДА ПЕРЕБОРА С ВОЗВРАТОМ | Аннотация PDF (Rus) похожие документы |
| И. А. Евсеенко | ||
| "... автоматизации позволяет сформировать структуру динамической модели в матричном виде по ее графическому ..." | ||
| № 1(25) (2010) | ПЕТР МИХАЙЛОВИЧ ЧЕГОЛИН – ОСНОВАТЕЛЬ БЕЛОРУССКОЙ НАУЧНОЙ ШКОЛЫ ПО АВТОМАТИЗАЦИИ НАУЧНО-ТЕХНИЧЕСКИХ ЭКСПЕРИМЕНТОВ | Аннотация PDF (Rus) похожие документы |
| А. В. Тузиков, С. А. Золотой, А. М. Крот, Н. П. Савик | ||
| № 4(20) (2008) | ОБ ОДНОМ ПОДХОДЕ К АВТОМАТИЗАЦИИ ПРОЦЕССА ОЦЕНКИ КАЧЕСТВА ПРОФИЛЕЙ ЗАЩИТЫ И ЗАДАНИЙ ПО БЕЗОПАСНОСТИ | Аннотация PDF (Rus) похожие документы |
| Е. П. Максимович, В. К. Фисенко, М. С. Шибут | ||
| "... Предлагается подход к автоматизации процесса оценки качества профилей защиты и заданий по ..." | ||
| № 1(29) (2011) | ХАРАКТЕРИСТИКИ АППАРАТНОЙ РЕАЛИЗАЦИИ НЕКОТОРЫХ СИММЕТРИЧНЫХ АЛГОРИТМОВ ШИФРОВАНИЯ | Аннотация PDF (Rus) похожие документы |
| А. С. Поляков, В. Е. Самсонов | ||
| "... алгоритмов, полученные путем логического моделирования проектов этих алгоритмов, которые были разработаны с ..." | ||
| № 2(10) (2006) | ПРОЕКТИРОВАНИЕ СЕТЕЙ НА ОСНОВЕ ГЕНЕТИЧЕСКИХ АЛГОРИТМОВ, МОДИФИЦИРУЮЩИХ СТРУКТУРУ ХРОМОСОМ | Аннотация PDF (Rus) похожие документы |
| Ю. И. Воротницкий, Д. А. Стрикелев | ||
| "... Рассматриваются специфика решения задач оптимального проектирования сетей средствами генетических ..." | ||
| 1 - 70 из 175 результатов | 1 2 3 > >> | |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
