Сортировать по:
| Выпуск | Название | |
| № 4(04) (2004) | АВТОМАТИЗАЦИЯ ЛОГИЧЕСКОГО ПРОЕКТИРОВАНИЯ | Аннотация PDF (Rus) похожие документы |
| П. Н. Бибило, Л. Д. Черемисинова | ||
| "... Дается краткий обзор теоретических результатов, полученных в лаборатории логического проектирования ..." | ||
| 2025: Специальный выпуск | Лаборатория автоматизации процессов проектирования | Аннотация PDF (Rus) похожие документы |
| Н. П. Муха, Л. В. Губич | ||
| "... Лаборатория автоматизации процессов проектирования вела свою деятельность с 2003 по 2024 г. Она ..." | ||
| Том 17, № 3 (2020) | Алгоритмы разбиения логических схем на подсхемы | Аннотация PDF (Rus) похожие документы |
| Н. А. Кириенко | ||
| "... разбиения схемы в рамках экспериментальной системы логического проектирования FLC. ..." | ||
| 2025: Специальный выпуск | Логическое проектирование цифровых устройств | Аннотация PDF (Rus) похожие документы |
| П. Н. Бибило | ||
| "... на микроэлектронной базе сверхбольших интегральных схем (СБИС) этап логического проектирования является центральным ..." | ||
| № 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(13) (2007) | ИССЛЕДОВАНИЕ ЭФФЕКТИВНОСТИ ЛОГИЧЕСКОЙ МИНИМИЗАЦИИ В ПРОЦЕССЕ СИНТЕЗА КОМБИНАЦИОННЫХ СХЕМ | Аннотация PDF (Rus) похожие документы |
| П. Н. Бибило, П. В. Леончик | ||
| "... полностью определенных булевых функций на площадь регулярных схем программируемых логических матриц ..." | ||
| № 2 (2015) | ПРИМЕНЕНИЕ ОЦЕНОК СЛОЖНОСТИ ДИАГРАММ ДВОИЧНОГО ВЫБОРА ПРИ СИНТЕЗЕ ЛОГИЧЕСКИХ СХЕМ | Аннотация PDF (Rus) похожие документы |
| Н. А. Авдеев, П. Н. Бибило | ||
| "... Предлагается формула для оценки площади логической схемы, построенной в заданной библиотеке ..." | ||
| № 1(5) (2005) | АВТОМАТИЗАЦИЯ ПРОЕКТИРОВАНИЯ РОБОТИЗИРОВАННЫХ ТЕХНОЛОГИЧЕСКИХ КОМПЛЕКСОВ ДУГОВОЙ СВАРКИ С ИСПОЛЬЗОВАНИЕМ МАНИПУЛЯТОРА ИЗДЕЛИЯ | Аннотация PDF (Rus) похожие документы |
| К. И. Сёмкин | ||
| "... Рассматриваются вопросы автоматизации проектирования роботизированных технологических комплексов ..." | ||
| № 4(12) (2006) | СиВер – СИСТЕМА СИНТЕЗА И ВЕРИФИКАЦИИ КОМБИНАЦИОННЫХ ЛОГИЧЕСКИХ СХЕМ | Аннотация PDF (Rus) похожие документы |
| П. Н. Бибило, С. Н. Кардаш, В. И. Романов | ||
| "... проектирования базовых матричных кристаллов. Исходными данными являются матричные и скобочные описания систем ..." | ||
| № 1(33) (2012) | ОЦЕНКА ЭНЕРГОПОТРЕБЛЕНИЯ КМОП-СХЕМ НА ОСНОВЕ ЛОГИЧЕСКОГО МОДЕЛИРОВАНИЯ | Аннотация PDF (Rus) похожие документы |
| П. Н. Бибило, А. Л. Соловьев | ||
| "... Рассматривается задача оценки энергопотребления схем, синтезированных из логических элементов ..." | ||
| 2025: Специальный выпуск | Отдел технологий цифровой трансформации. Основные исторические вехи | Аннотация PDF (Rus) похожие документы |
| Г. Л. Матюшкова, А. А. Несенчук, В. Е. Самсонов | ||
| "... автоматизации проектирования динамических систем № 117, созданной в 1986 г. на базе реорганизованной лаборатории ..." | ||
| Том 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) похожие документы |
| А. Д. Закревский | ||
| "... логических уравнений (СЛЛУ). Для решения таких систем в лаборатории логического проектирования ОИПИ НАН ..." | ||
| Том 18, № 2 (2021) | Минимизация многоуровневых представлений систем полностью определенных булевых функций с использованием разложений Шеннона и алгебраических представлений кофакторов | Аннотация PDF (Rus) похожие документы |
| П. Н. Бибило, В. И. Романов | ||
| "... В системах проектирования цифровых СБИС (сверхбольших интегральных схем) графовый аппарат BDD ..." | ||
| Том 22, № 4 (2025) | Нейронные сети на основе обучаемого двумерного разделимого преобразования для классификации изображений: теория и аппаратная реализация на FPGA | Аннотация PDF (Rus) похожие документы |
| Е. А. Кривальцевич, М. И. Вашкевич | ||
| "... программируемых логических интегральных схем (ПЛИС) типа FPGA. Методы. Предложена концепция обучаемого двумерного ..." | ||
| Том 22, № 1 (2025) | Исследование физически неклонируемой функции конфигурируемого кольцевого осциллятора | Аннотация PDF (Rus) похожие документы |
| А. А. Иванюк | ||
| "... Цели. Целью работы являются рассмотрение особенностей проектирования и реализации физически ..." | ||
| Том 20, № 3 (2023) | Семантические модели и средства проектирования адаптивных пользовательских интерфейсов интеллектуальных систем | Аннотация PDF (Rus) похожие документы |
| М. Е. Садовский | ||
| "... Цели. Предлагаются модели и средства проектирования адаптивных пользовательских интерфейсов ..." | ||
| Том 20, № 4 (2023) | Онтологический анализ в задачах моделирования угроз системам на основе контейнерных приложений | Аннотация PDF (Rus) похожие документы |
| А. И. Бражук, Е. В. Олизарович | ||
| "... – функции автоматического логического вывода на основе дескрипционных (описательных) логик. Результаты ..." | ||
| Том 21, № 4 (2024) | Алгоритмы выделения из многоуровневого представления системы булевых функций подсистем для совместной минимизации | Аннотация PDF (Rus) похожие документы |
| П. Н. Бибило, Н. А. Кириенко, В. И. Романов | ||
| "... уравнений, соответствующих булевым сетям, выполняется синтез логических схем в библиотеке проектирования ..." | ||
| Том 22, № 4 (2025) | Распознавание подсхем трехстабильных элементов в КМОП СБИС | Аннотация PDF (Rus) похожие документы |
| Л. Д. Черемисинова | ||
| "... Цели. Рассматривается проблема экстракции высокоуровневой структуры на уровне логических элементов ..." | ||
| Том 22, № 1 (2025) | Перепроектирование КМОП СБИС средствами инструмента синтеза Yosys | Аннотация PDF (Rus) похожие документы |
| Д. И. Черемисинов, Л. Д. Черемисинова | ||
| "... схем на основе использования средств программных пакетов автоматизации проектирования с открытым ..." | ||
| № 4(12) (2006) | CAD DD’07 | Аннотация PDF (Rus) похожие документы |
| ОИПИ НАН Беларуси | ||
| "... ШЕСТАЯ МЕЖДУНАРОДНАЯ КОНФЕРЕНЦИЯ «АВТОМАТИЗАЦИЯ ПРОЕКТИРОВАНИЯ ДИСКРЕТНЫХ СИСТЕМ» (CAD ..." | ||
| Том 21, № 1 (2024) | Технологически независимая оптимизация при реализации в заказных СБИС разреженных систем дизъюнктивных нормальных форм булевых функций | Аннотация PDF (Rus) похожие документы |
| П. Н. Бибило, С. Н. Кардаш | ||
| "... независимой логической оптимизации, выполняемой на первом этапе логического синтеза: совместную минимизацию ..." | ||
| № 4(24) (2009) | МЕТОД БЛОЧНО-СТРУКТУРНОГО СИНТЕЗА ВЫЧИСЛИТЕЛЬНЫХ УСТРОЙСТВ МОДУЛЯРНОЙ АРИФМЕТИКИ | Аннотация PDF (Rus) похожие документы |
| В. П. Супрун, Д. А. Городецкий | ||
| "... Рассматривается задача логического проектирования вычислительных устройств модулярной арифметики ..." | ||
| № 1(53) (2017) | О НАУЧНОМ НАСЛЕДИИ ЧЛЕНА-КОРРЕСПОНДЕНТА А.Д. ЗАКРЕВСКОГО | Аннотация PDF (Rus) похожие документы |
| П. Н. Бибило, Ю. В. Поттосин, Л. Д. Черемисинова | ||
| "... кибернетики в Советском Союзе и являлся основателем одной из самых известных школ логического проектирования ..." | ||
| № 2(34) (2012) | ФУНКЦИОНАЛЬНЫЕ VHDL-МОДЕЛИ ЭЛЕМЕНТОВ FPGA СЕМЕЙСТВА SPARTAN 3 ДЛЯ КОНВЕРТАЦИИ ПРОЕКТОВ ЦИФРОВЫХ СИСТЕМ В ЗАКАЗНЫЕ СБИС | Аннотация PDF (Rus) похожие документы |
| П. Н. Бибило, А. Л. Соловьев | ||
| "... элементов предлагаются синтезируемые VHDL-модели тех логических элементов, которые входят в конфигурируемые ..." | ||
| № 1(01) (2004) | МИНИМИЗАЦИЯ ПЛОЩАДИ РЕГУЛЯРНЫХ МАТРИЧНЫХ СТРУКТУР ЗАКАЗНЫХ СБИС МЕТОДОМ СВЕРТКИ | Аннотация PDF (Rus) похожие документы |
| Л. Д. Черемисинова | ||
| "... . Первая задача решается на этапе логического проектирования матричной структуры, вторая - на этапе ..." | ||
| 2025: Специальный выпуск | Введение | Аннотация PDF (Rus) похожие документы |
| статья Редакционная | ||
| "... , призванной развивать и координировать в СССР работы в области автоматизации проектирования в машиностроении. ..." | ||
| Том 16, № 3 (2019) | Обфускация комбинационных схем цифровых устройств от несанкционированного доступа | Аннотация PDF (Rus) похожие документы |
| Л. А. Золоторевич | ||
| "... Анализируются проблемы проектирования современных СБИС и систем на кристалле. Наиболее сложными ..." | ||
| № 3(19) (2008) | РЕШЕНИЕ СИСТЕМЫ ДИЗЪЮНКТИВНЫХ УРАВНЕНИЙ МЕТОДОМ ПЕРЕМНОЖЕНИЯ ДНФ | Аннотация PDF (Rus) похожие документы |
| Н. Р. Торопов | ||
| "... логических уравнений и на примерах конкретных систем из практики логического проектирования. ..." | ||
| № 1(29) (2011) | ХАРАКТЕРИСТИКИ АППАРАТНОЙ РЕАЛИЗАЦИИ НЕКОТОРЫХ СИММЕТРИЧНЫХ АЛГОРИТМОВ ШИФРОВАНИЯ | Аннотация PDF (Rus) похожие документы |
| А. С. Поляков, В. Е. Самсонов | ||
| "... алгоритмов, полученные путем логического моделирования проектов этих алгоритмов, которые были разработаны ..." | ||
| Том 16, № 1 (2019) | Метод генетического поиска для проектного расчета размерных цепей | Аннотация PDF (Rus) похожие документы |
| В. В. Фролов | ||
| "... задачи дискретной оптимизации с ограничениями и ориентирован на автоматизацию расчета размерных цепей ..." | ||
| Том 19, № 2 (2022) | Экспериментальное сравнение эффективности программ минимизации систем булевых функций в классе дизъюнктивных нормальных форм | Аннотация PDF (Rus) похожие документы |
| П. Н. Бибило, И. П. Логинова | ||
| "... и два набора промышленных примеров из практики проектирования логических схем. Предложены программные ..." | ||
| Том 18, № 2 (2021) | Минимизация булевых функций в классе ортогональных дизъюнктивных нормальных форм | Аннотация PDF (Rus) похожие документы |
| Ю. В. Поттосин | ||
| "... в логическом проектировании дискретных устройств. Задача ортогонализации ДНФ состоит в том, чтобы для заданной ..." | ||
| Том 15, № 4 (2018) | Использование языка ПРАЛУ для верификации цифровых устройств | Аннотация PDF (Rus) похожие документы |
| Д. И. Черемисинов | ||
| "... передач (register-transfer level, RTL) - логической сети, построенной в процессе синтеза. В универсальной ..." | ||
| Том 20, № 3 (2023) | Семантические модели и средства разработки искусственных нейронных сетей и их интеграции с базами знаний | Аннотация PDF (Rus) похожие документы |
| М. В. Ковалёв | ||
| "... задач в рамках технологии OSTIS. Становятся возможными проектирование и обучение ИНС на основании как ..." | ||
| 1 - 49 из 49 результатов | ||
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
