Preview

Информатика

Расширенный поиск

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 16, № 2 (2019) Логическая минимизация булевых сетей с использованием разложения Шеннона Аннотация  PDF (Rus)  похожие документы
П. Н. Бибило, Ю. Ю. Ланкевич
"... -consuming. The second stage is technological mapping of optimized logical representations of functions ..."
 
Том 18, № 1 (2021) Логическая минимизация при синтезе комбинационных структур в FPGA Аннотация  PDF (Rus)  похожие документы
П. Н. Бибило, Ю. Ю. Ланкевич, В. И. Романов
"... normal form (DNF) class and minimization of multilevel representations of fully defined Boolean functions ..."
 
Том 15, № 3 (2018) Логическая оптимизация многоуровневых представлений систем булевых функций на основе блочного разбиения и разложения Шеннона Аннотация  PDF (Rus)  похожие документы
П. Н. Бибило, Н. А. Кириенко, Ю. Ю. Ланкевич
"... of Boolean functions which are used in the synthesis of combinational circuits are described. The procedures ..."
 
№ 2 (2015) ПРИМЕНЕНИЕ ОЦЕНОК СЛОЖНОСТИ ДИАГРАММ ДВОИЧНОГО ВЫБОРА ПРИ СИНТЕЗЕ ЛОГИЧЕСКИХ СХЕМ Аннотация  PDF (Rus)  похожие документы
Н. А. Авдеев, П. Н. Бибило
"...  of logical elements according to the BDD (Binary Decision Diagram) representation of a system of Boolean ..."
 
Том 17, № 3 (2020) Алгоритмы разбиения логических схем на подсхемы Аннотация  PDF (Rus)  похожие документы
Н. А. Кириенко
"... The problem of partitioning a logical circuit into subcircuits is considered. It is of great ..."
 
Том 20, № 2 (2023) Применение диаграмм решений не полностью определенных функций k-значной логики при синтезе логических схем Аннотация  PDF (Rus)  похожие документы
П. Н. Бибило
"... optimization is studied to obtain minimized representations of systems of completely specified Boolean ..."
 
Том 17, № 1 (2020) Выделение подсистем связанных функций из многоуровневого представления системы булевых функций Аннотация  PDF (Rus)  похожие документы
П. Н. Бибило, А. М. Позняк
"... One of the directions of logical optimization of multilevel representations of systems of Boolean ..."
 
Том 18, № 2 (2021) Минимизация многоуровневых представлений систем полностью определенных булевых функций с использованием разложений Шеннона и алгебраических представлений кофакторов Аннотация  PDF (Rus)  похожие документы
П. Н. Бибило, В. И. Романов
"... of Boolean functions is constructed, it is possible to perform additional logical optimization based ..."
 
Том 21, № 1 (2024) Технологически независимая оптимизация при реализации в заказных СБИС разреженных систем дизъюнктивных нормальных форм булевых функций Аннотация  PDF (Rus)  похожие документы
П. Н. Бибило, С. Н. Кардаш
"... and joint minimization in classes of multilevel representations in the form of Boolean networks and BDD ..."
 
Том 18, № 2 (2021) Минимизация булевых функций в классе ортогональных дизъюнктивных нормальных форм Аннотация  PDF (Rus)  похожие документы
Ю. В. Поттосин
"... The orthogonal disjunctive normal forms (DNFs) of Boolean functions have wide applications ..."
 
№ 2(54) (2017) МИНИМИЗАЦИЯ МНОГОУРОВНЕВЫХ ПРЕДСТАВЛЕНИЙ СИСТЕМ БУЛЕВЫХ ФУНКЦИЙ НА ОСНОВЕ РАЗЛОЖЕНИЯ ШЕННОНА Аннотация  PDF (Rus)  похожие документы
П. Н. Бибило, Ю. Ю. Ланкевич
"... Boolean functions. The goal of it is a multilevel representation of functions which is called a reduced ..."
 
Том 17, № 2 (2020) Схема коррекции сигналов для комбинационных устройств автоматики на основе логического дополнения с контролем вычислений по паритету Аннотация  PDF (Rus)  похожие документы
В. В. Сапожников, Вл. В. Сапожников, Д. В. Ефанов
"... unit and the logical complement method is used determine incorrectly calculated output functions ..."
 
№ 3 (2016) СХЕМНАЯ РЕАЛИЗАЦИЯ VHDL-ОПИСАНИЙ СИСТЕМ НЕ ПОЛНОСТЬЮ ОПРЕДЕЛЕННЫХ БУЛЕВЫХ ФУНКЦИЙ Аннотация  PDF (Rus)  похожие документы
П. Н. Бибило
"... Method for description of incompletely specified (partial) Boolean functions in VHDL is proposed ..."
 
Том 18, № 4 (2021) Распознавание логических вентилей в плоской транзисторной схеме Аннотация  PDF (Rus)  похожие документы
Д. И. Черемисинов, Л. Д. Черемисинова
"... at the level of logical elements from a flat description of circuits at the transistor level are becoming ..."
 
Том 15, № 4 (2018) Эвристический метод многоблочной параллельной декомпозиции системы частичных булевых функций Аннотация  PDF (Rus)  похожие документы
Ю. В. Поттосин
"... A heuristic method for multi-block parallel decomposition of a system of partial Boolean functions ..."
 
Том 19, № 3 (2022) Канонизация графов при декомпиляции транзисторных схем Аннотация  PDF (Rus)  похожие документы
Д. И. Черемисинов, Л. Д. Черемисинова
"... -level structures in circuits on transistor level. This allows to obtain a representation on logical ..."
 
№ 1(53) (2017) ОТОБРАЖЕНИЕ ЛОГИЧЕСКИХ СЕТЕЙ В ЗАДАННЫЙ ТЕХНОЛОГИЧЕСКИЙ БАЗИС Аннотация  PDF (Rus)  похожие документы
Д. И. Черемисинов
"... . Models of intermediate representations of the sequential circuit and their conversions are described ..."
 
Том 16, № 4 (2019) Метод бидекомпозиции частичных булевых функций Аннотация  PDF (Rus)  похожие документы
Ю. В. Поттосин
"... The problem of bi-decomposition of a Boolean function is to represent a given Boolean function ..."
 
Том 19, № 2 (2022) Экспериментальное сравнение эффективности программ минимизации систем булевых функций в классе дизъюнктивных нормальных форм Аннотация  PDF (Rus)  похожие документы
П. Н. Бибило, И. П. Логинова
"... representations of Boolean functions are widely used in the design of digital systems to reduce the complexity ..."
 
Том 18, № 3 (2021) Применение логики первого порядка для выявления организаторов и исполнителей противоправных действий в преступных группах Аннотация  PDF (Rus)  похожие документы
А. М. Соболь, Е. И. Козлова, Ю. А. Чернявский
"... of which an expression of first-order logic is compiled and proved using direct logical inference ..."
 
Том 15, № 4 (2018) Синтез самопроверяемых схем встроенного контроля на основе метода логического дополнения до равновесного кода «2 из 4» Аннотация  PDF (Rus)  похожие документы
Д. В. Ефанов, В. В. Сапожников, В. В. Сапожников, Д. В. Пивоваров
"... by the Boolean complement method based on the "2-out-of-4'' constant-weight code. The article describes ..."
 
Том 15, № 4 (2018) Логическая характеризация класса сложности задач, разрешимых вероятностными алгоритмами за полиномиальное время Аннотация  PDF (Rus)  похожие документы
В. Г. Найденко
"... A problem to describe the complexity class BPP in terms of a logical language is considered. BPP ..."
 
Том 18, № 3 (2021) Контроль надежности защиты интегральных схем от троянов: кодирование и декодирование комбинационных структур Аннотация  PDF (Rus)  похожие документы
Л. А. Золоторевич, В. А. Ильинков
"... and reliability of logical coding of combinational circuits. An algorithm for cracking the code of combinational ..."
 
№ 1 (2015) МНОГОКРАТНАЯ СВЕРТКА РЕГУЛЯРНЫХ СТРУКТУР НА ОСНОВЕ РЕШЕНИЯ ЛОГИЧЕСКИХ УРАВНЕНИЙ Аннотация  PDF (Rus)  похожие документы
Л. Д. Черемисинова
"... a logic equation and checking Boolean satisfiability of a conjunctive normal form. ..."
 
Том 19, № 1 (2022) Синтез комбинационных схем с помощью алгебраической декомпозиции булевых функций Аннотация  PDF (Rus)  похожие документы
Ю. В. Поттосин
"... the possibilities of application of bi-decomposition of Boolean functions to the synthesis of combinational circuits ..."
 
№ 4 (2013) ИССЛЕДОВАНИЕ СВОЙСТВ РАЗЛОЖИМОСТИ СИСТЕМ БУЛЕВЫХ ФУНКЦИЙ Аннотация  PDF (Rus)  похожие документы
С. Х. Тагави Афшорд, Ю. В. Поттосин
"... A computer program is described which analyzes the decomposability of a system of Boolean functions ..."
 
Том 17, № 3 (2020) Эвристический метод алгебраической декомпозиции частичных булевых функций Аннотация  PDF (Rus)  похожие документы
Ю. В. Поттосин
"... The problem of decomposition of a Boolean function is to represent a given Boolean function ..."
 
Том 20, № 1 (2023) Аппаратная реализация булевых функций на основе автоматной модели Аннотация  PDF (Rus)  похожие документы
А. А. Бутов
"... from typical integrated circuits and implements a Boolean function describing the required control ..."
 
№ 4(04) (2004) АВТОМАТИЗАЦИЯ ЛОГИЧЕСКОГО ПРОЕКТИРОВАНИЯ Аннотация  PDF (Rus)  похожие документы
П. Н. Бибило, Л. Д. Черемисинова
"... Дается краткий обзор теоретических результатов, полученных в лаборатории логического проектирования ..."
 
№ 3(55) (2017) МЕТОД МНОГОБЛОЧНОЙ ПАРАЛЛЕЛЬНОЙ ДЕКОМПОЗИЦИИ СИСТЕМЫ ЧАСТИЧНЫХ БУЛЕВЫХ ФУНКЦИЙ Аннотация  PDF (Rus)  похожие документы
Ю. В. Поттосин
"... A method for multi-block parallel decomposition of a system of partial Boolean functions ..."
 
№ 4 (2014) МЕТОД ПОСТРОЕНИЯ БУЛЕВОЙ ФОРМУЛЫ МНОГОУГОЛЬНИКА В ДИЗЪЮНКТИВНОЙ НОРМАЛЬНОЙ ФОРМЕ Аннотация  PDF (Rus)  похожие документы
А. А. Бутов
"... The paper focuses on finalizing the method of finding a polygon Boolean formula in disjunctive ..."
 
Том 19, № 1 (2022) Физически неклонируемые функции с управляемой задержкой распространения сигналов Аннотация  PDF (Rus)  похожие документы
В. Н. Ярмолик, А. А. Иванюк, Н. Н. Шинкевич
"... ,  including  those  based  on programmable logic integrated circuits (FPGA), the basics of Boolean algebra ..."
 
№ 3(11) (2006) КОМПЛЕКС ПРОГРАММ СИНТЕЗА ЛОГИЧЕСКИХ СХЕМ НА БАЗЕ ПРОГРАММИРУЕМЫХ ЛОГИЧЕСКИХ ИНТЕГРАЛЬНЫХ СХЕМ Аннотация  PDF (Rus)  похожие документы
Л. Д. Черемисинова
"... Описывается программный комплекс решения задач декомпозиции, возникающих при синтезе логических ..."
 
№ 1(9) (2006) РЕШЕНИЕ БОЛЬШИНСТВА ЛИНЕЙНЫХ ЛОГИЧЕСКИХ УРАВНЕНИЙ НЕСОВМЕСТНОЙ СИСТЕМЫ НА СУПЕРКОМПЬЮТЕРЕ Аннотация  PDF (Rus)  похожие документы
А. Д. Закревский, Н. Р. Торопов
"... Рассматриваются переопределенные системы линейных логических уравнений, число уравнений в которых ..."
 
№ 4(12) (2006) СиВер – СИСТЕМА СИНТЕЗА И ВЕРИФИКАЦИИ КОМБИНАЦИОННЫХ ЛОГИЧЕСКИХ СХЕМ Аннотация  PDF (Rus)  похожие документы
П. Н. Бибило, С. Н. Кардаш, В. И. Романов
"... булевых функций, а также описания на языке VHDL. Система СиВер состыкована с системой синтеза ..."
 
№ 1(33) (2012) ОЦЕНКА ЭНЕРГОПОТРЕБЛЕНИЯ КМОП-СХЕМ НА ОСНОВЕ ЛОГИЧЕСКОГО МОДЕЛИРОВАНИЯ Аннотация  PDF (Rus)  похожие документы
П. Н. Бибило, А. Л. Соловьев
"... Рассматривается задача оценки энергопотребления схем, синтезированных из логических элементов ..."
 
№ 3(31) (2011) ВЕРИФИКАЦИЯ ЛОГИЧЕСКИХ СХЕМ, РЕАЛИЗУЮЩИХ СИСТЕМЫ ЧАСТИЧНЫХ БУЛЕВЫХ ФУНКЦИЙ Аннотация  PDF (Rus)  похожие документы
П. Н. Бибило, Д. Я. Новиков
"... Рассматривается задача верификации логических схем, реализующих системы частично определенных ..."
 
№ 2(14) (2007) ОПТИМИЗАЦИЯ ЛОГИЧЕСКОЙ СХЕМЫ АВТОМАТА МУРА НА ПРОГРАММИРУЕМОЙ МАТРИЧНОЙ ЛОГИКЕ Аннотация  PDF (Rus)  похожие документы
А. А. Баркалов, Л. А. Титаренко, С. Я. Хмелевский
"... Описывается метод уменьшения числа макроячеек программируемой матричной логики (ПМЛ) в логической ..."
 
№ 1(13) (2007) ИССЛЕДОВАНИЕ ЭФФЕКТИВНОСТИ ЛОГИЧЕСКОЙ МИНИМИЗАЦИИ В ПРОЦЕССЕ СИНТЕЗА КОМБИНАЦИОННЫХ СХЕМ Аннотация  PDF (Rus)  похожие документы
П. Н. Бибило, П. В. Леончик
"... полностью определенных булевых функций на площадь регулярных схем программируемых логических матриц и на ..."
 
№ 2(22) (2009) ФОРМИРОВАНИЕ ПРОСТРАНСТВЕННО-ЛОГИЧЕСКИХ СВЯЗЕЙ ОБЪЕКТОВ ЦИФРОВЫХ КАРТ В ГЕОИНФОРМАЦИОННЫХ СИСТЕМАХ Аннотация  PDF (Rus)  похожие документы
С. В. Абламейко, С. П. Боричев
"... Рассматривается проблема ускорения процесса формирования пространственно-логических связей ..."
 
№ 3(23) (2009) ОПТИМИЗАЦИОННЫЕ ПРЕОБРАЗОВАНИЯ ЛОГИЧЕСКОЙ СХЕМЫ НА ОСНОВЕ БЛОЧНОГО РАЗБИЕНИЯ Аннотация  PDF (Rus)  похожие документы
П. Н. Бибило, Н. А. Кириенко
"... Исследуется возможность использования метода разбиения логических сетей для минимизации сложности ..."
 
№ 1(53) (2017) О НАУЧНОМ НАСЛЕДИИ ЧЛЕНА-КОРРЕСПОНДЕНТА А.Д. ЗАКРЕВСКОГО Аннотация  PDF (Rus)  похожие документы
П. Н. Бибило, Ю. В. Поттосин, Л. Д. Черемисинова
"... is the founder of one of the known schools of logical design in the Soviet Union and all the world. This paper ..."
 
Том 16, № 2 (2019) Отбор информативных геометрических признаков ядер клеток на люминесцентных изображениях раковых клеток Аннотация  PDF (Rus)  похожие документы
Е. В. Лисица, Н. Н. Яцков, В. В. Скакун, П. Д. Кривошеев, В. В. Апанасович
 
№ 3(35) (2012) МЕТОД РЕШЕНИЯ ЗАДАЧ РАСПОЗНАВАНИЯ В БУЛЕВОМ ПРОСТРАНСТВЕ НА ОСНОВЕ ЛОГИЧЕСКОЙ И ПРЕЦЕДЕНТНОЙ МОДЕЛЕЙ Аннотация  PDF (Rus)  похожие документы
О. В. Шут
"... используются соответственно логическая и прецедентная модели представления начальной информации. Строится ..."
 
№ 4 (2013) СИНТЕЗ КОМБИНАЦИОННЫХ СХЕМ В БАЗИСЕ БИБЛИОТЕЧНЫХ ЭЛЕМЕНТОВ КМОП СБИС С УЧЕТОМ ЭНЕРГОПОТРЕБЛЕНИЯ Аннотация  PDF (Rus)  похожие документы
Д. И. Черемисинов, Л. Д. Черемисинова
"... A problem of synthesis of multi-level logical networks using CMOS VLSI cell library is considered ..."
 
№ 3 (2014) ШЕЙДЕРНАЯ МЕТАМОДЕЛЬ КАК КОМПОНЕНТ АРХИТЕКТУРЫ ИНТЕРАКТИВНОГО ПРИЛОЖЕНИЯ Аннотация  PDF (Rus)  похожие документы
О. Г. Казанцева, Е. А. Барановский, Е. А. Ландарский
"... applications. The model separates abstract logical and algorithmic approaches used in modern computer graphics ..."
 
Том 17, № 4 (2020) Моделирование языка и двунаправленные представления кодировщиков: обзор ключевых технологий Аннотация  PDF (Rus)  похожие документы
Д. И. Качков
"... formed the basis of BERT (Bidirectional Encoder Representations from Transformers), a language model from ..."
 
Том 19, № 3 (2022) Модель представления знаний в системе информационной поддержки принятия решений Аннотация  PDF (Rus)  похожие документы
С. Ф. Липницкий
"... relations in the language. The formalization of such relations provides an adequate representation ..."
 
Том 15, № 1 (2018) ОРТОГОНАЛЬНОЕ ПРЕДСТАВЛЕНИЕ СОБСТВЕННОГО ПРЕОБРАЗОВАНИЯ ПЕРСИММЕТРИЧНОЙ МАТРИЦЫ НА ОСНОВЕ ОПЕРАТОРОВ ВРАЩЕНИЯ Аннотация  PDF (Rus)  похожие документы
В. М. Демко
 
№ 4(56) (2017) МЕТОДИКА СОЗДАНИЯ БАЗ РАСПРЕДЕЛЕННЫХ ИНЖЕНЕРНЫХ ЗНАНИЙ Аннотация  PDF (Rus)  похожие документы
В. А. Кочуров
"... knowledge as well as software implementation of such models in the form of the Information and Logical Table ..."
 
№ 3 (2016) ИССЛЕДОВАНИЕ ЭФФЕКТИВНОСТИ ТЕХНОЛОГИЧЕСКИ НЕЗАВИСИМОЙ ОПТИМИЗАЦИИ ФУНКЦИОНАЛЬНЫХ ОПИСАНИЙ КМОП-СХЕМ Аннотация  PDF (Rus)  похожие документы
Н. А. Кириенко, Л. Д. Черемисинова
"...  of the optimization methods implemented in the synthesizer LeonardoSpectrum, the methods of minimization of Boolean ..."
 
Том 17, № 3 (2020) О метрических характеристиках информационных ресурсов Аннотация  PDF (Rus)  похожие документы
Л. И. Точицкий
 
Том 17, № 2 (2020) Обнаружение объектов на изображениях с большим разрешением на основе их пирамидально-блочной обработки Аннотация  PDF (Rus)  похожие документы
Р. П. Богуш, И. Ю. Захарова, С. В. Абламейко
"... . The approach uses multiscale image representation followed by block processing with the overlapping value ..."
 
Том 20, № 4 (2023) Онтологический анализ в задачах моделирования угроз системам на основе контейнерных приложений Аннотация  PDF (Rus)  похожие документы
А. И. Бражук, Е. В. Олизарович
"... – функции автоматического логического вывода на основе дескрипционных (описательных) логик. Результаты ..."
 
Том 21, № 1 (2024) Симметричные физически неклонируемые функции типа арбитр Аннотация  PDF (Rus)  похожие документы
В. Н. Ярмолик, А. А. Иванюк
"... , the basics of Boolean algebra and circuitry. Results. It has been established that classical APUF uses ..."
 
Том 20, № 1 (2023) Двухмерные физически неклонируемые функции типа арбитр Аннотация  PDF (Rus)  похожие документы
В. Н. Ярмолик, А. А. Иванюк
"... those based on  programmable logic integrated circuits, the basics of Boolean algebra and circuitry ..."
 
Том 16, № 3 (2019) Обфускация комбинационных схем цифровых устройств от несанкционированного доступа Аннотация  PDF (Rus)  похожие документы
Л. А. Золоторевич
"... in the project. The algorithm of logical obfuscation and coding of digital structures based on the use of methods ..."
 
Том 15, № 4 (2018) Использование языка ПРАЛУ для верификации цифровых устройств Аннотация  PDF (Rus)  похожие документы
Д. И. Черемисинов
"... level (RTL) model - a logical network which was built in the synthesis process. In the UVM methodology ..."
 
Том 17, № 2 (2020) Скелетизация изображений на основе комбинации одно- и двухподытерационных моделей Аннотация  PDF (Rus)  похожие документы
Ц. Ма, В. Ю. Цветков, В. К. Конопелько
"... ), which is based on 6 logical conditions, is widely used due to its relative simplicity. But it suffers ..."
 
№ 1(5) (2005) ОПИСАНИЕ ПАРАЛЛЕЛЬНЫХ И СЕКВЕНЦИАЛЬНЫХ АВТОМАТОВ НА ЯЗЫКЕ VHDL Аннотация  PDF (Rus)  похожие документы
П. Н. Бибило
"... построение логических схем в заданных  базисах логических элементов. ..."
 
№ 4(24) (2009) МЕТОД БЛОЧНО-СТРУКТУРНОГО СИНТЕЗА ВЫЧИСЛИТЕЛЬНЫХ УСТРОЙСТВ МОДУЛЯРНОЙ АРИФМЕТИКИ Аннотация  PDF (Rus)  похожие документы
В. П. Супрун, Д. А. Городецкий
"... Рассматривается задача логического проектирования вычислительных устройств модулярной арифметики ..."
 
№ 4(04) (2004) РЕШЕНИЕ БОЛЬШИХ СИСТЕМ БУЛЕВЫХ УРАВНЕНИЙ Аннотация  PDF (Rus)  похожие документы
А. Д. Закревский
"... Многие проблемы анализа, синтеза и диагностики неисправностей логических схем, а также проблемы ..."
 
№ 3 (2016) АЛГОРИТМИЧЕСКОЕ ПЕРЕЧИСЛЕНИЕ ЗАДАЧ В КЛАССЕ NPcoNP Аннотация  PDF (Rus)  похожие документы
В. Г. Найденко
"... The problem of recursive (algorithmic) representation is considered for the complexity class NP ..."
 
№ 2(34) (2012) ФУНКЦИОНАЛЬНЫЕ VHDL-МОДЕЛИ ЭЛЕМЕНТОВ FPGA СЕМЕЙСТВА SPARTAN 3 ДЛЯ КОНВЕРТАЦИИ ПРОЕКТОВ ЦИФРОВЫХ СИСТЕМ В ЗАКАЗНЫЕ СБИС Аннотация  PDF (Rus)  похожие документы
П. Н. Бибило, А. Л. Соловьев
"... элементов предлагаются синтезируемые VHDL-модели тех логических элементов, которые входят в конфигурируемые ..."
 
№ 2(26) (2010) ОЦЕНКА ЭНЕРГОПОТРЕБЛЕНИЯ ПРИ ОПТИМИЗАЦИИ ДВУХУРОВНЕВЫХ КМОП-СХЕМ Аннотация  PDF (Rus)  похожие документы
Л. Д. Черемисинова
"... по КМОП-технологии, на этапе логического синтеза. Рассматриваются подходы, позволяющие дать ..."
 
№ 3(19) (2008) РЕШЕНИЕ СИСТЕМЫ ДИЗЪЮНКТИВНЫХ УРАВНЕНИЙ МЕТОДОМ ПЕРЕМНОЖЕНИЯ ДНФ Аннотация  PDF (Rus)  похожие документы
Н. Р. Торопов
"... Рассматривается система логических уравнений, представленных в дизъюнктивной нормальной форме (ДНФ ..."
 
№ 3 (2013) КОМБИНАТОРНЫЙ АЛГОРИТМ ВЫДЕЛЕНИЯ КОНТУРОВ ОБЪЕКТОВ НА ЦИФРОВЫХ ИЗОБРАЖЕНИЯХ Аннотация  PDF (Rus)  похожие документы
Б. А. Залесский
"... and the slope angles of the contours with a sufficient accuracy, and to obtain their vector representation ..."
 
№ 4 (2015) ОЦЕНКА НАДЕЖНОСТИ БОРТОВОЙ АППАРАТУРЫ МАЛЫХ КОСМИЧЕСКИХ АППАРАТОВ В ПРОЦЕССЕ ИХ ПОЛЕТА Аннотация  PDF (Rus)  похожие документы
Л. И. Кульбак, В. Б. Алюшкевич, С. А. Золотой
"... spacecrafts during their flight is given. А mathematical representation of the reliability indicator ..."
 
№ 1(9) (2006) СРАВНЕНИЕ СХЕМНЫХ РЕАЛИЗАЦИЙ VHDL-МОДЕЛЕЙ, ИСПОЛЬЗУЮЩИХ ЧАСТИЧНУЮ ОПРЕДЕЛЕННОСТЬ БУЛЕВЫХ ФУНКЦИЙ Аннотация  PDF (Rus)  похожие документы
П. Н. Бибило
"... Предлагаются модели не полностью определенных (частичных) булевых функций и систем таких функций ..."
 
№ 4(8) (2005) ПРОГРАММНЫЕ СРЕДСТВА ДЛЯ РЕШЕНИЯ ЛОГИКО-КОМБИНАТОРНЫХ ЗАДАЧ Аннотация  PDF (Rus)  похожие документы
В. И. Романов
"... характера, основанных на представлении информации булевыми векторами и матрицами. Такие средства ..."
 
1 - 70 из 109 результатов 1 2 > >> 

Советы по поиску:

  • Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
  • Служебные слова (предлоги, союзы и т.п.) игнорируются
  • По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
  • Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
  • Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
  • Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
  • Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
  • Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)