Preview

Информатика

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

Поиск


Сортировать по:     
 
Выпуск Название
 
№ 1(5) (2005) МОРФИЗМЫ МОДЕЛЕЙ ПОВЕДЕНИЯ РАСПРЕДЕЛЕННЫХ СИСТЕМ Аннотация  PDF (Rus)  похожие документы
Д. И. Черемисинов
"... систем, построенных как набор взаимодействующих компонентов, показана перспективность языка ПРАЛУ в ..."
 
Том 20, № 4 (2023) Моделирование дискретных управляющих систем с параллелизмом поведения Аннотация  PDF (Rus)  похожие документы
Д. И. Черемисинов, Л. Д. Черемисинова
"... выполнение. Для задания спецификации таких систем управления предлагается использовать язык ПРАЛУ ..."
 
Том 15, № 4 (2018) Использование языка ПРАЛУ для верификации цифровых устройств Аннотация  PDF (Rus)  похожие документы
Д. И. Черемисинов
"... испытательный стенд как модель окружающей среды проектируемого устройства, представленную на языке ПРАЛУ. Модель ..."
 
№ 1(5) (2005) ОПИСАНИЕ ПАРАЛЛЕЛЬНЫХ И СЕКВЕНЦИАЛЬНЫХ АВТОМАТОВ НА ЯЗЫКЕ VHDL Аннотация  PDF (Rus)  похожие документы
П. Н. Бибило
"... Предлагаются синтезируемые VHDL-модели параллельных автоматов, представленных на языке ПРАЛУ, и ..."
 
№ 4(04) (2004) РЕШЕНИЕ БОЛЬШИХ СИСТЕМ БУЛЕВЫХ УРАВНЕНИЙ Аннотация  PDF (Rus)  похожие документы
А. Д. Закревский
"... неизбежным перебором вариантов. Значительная часть таких задач формулируется на языке логических уравнений. В ..."
 
Том 20, № 3 (2023) Семантические модели и средства проектирования адаптивных пользовательских интерфейсов интеллектуальных систем Аннотация  PDF (Rus)  похожие документы
М. Е. Садовский
"... интеллектуальных систем. Актуальность работы определяется необходимостью снижения накладных расходов и сроков ..."
 
№ 1(25) (2010) ПОСТРОЕНИЕ ТЕСТОВ КОНТРОЛЯ ЦИФРОВЫХ СИСТЕМ НА УРОВНЕ МЕЖРЕГИСТРОВЫХ ПЕРЕДАЧ Аннотация  PDF (Rus)  похожие документы
Л. А. Золоторевич, А. В. Ильинкова
"... . Рассматриваются задачи направленного построения тестов контроля на уровне межрегистровых передач (RTL) на языке ..."
 
Том 18, № 1 (2021) Комплексный анализ данных при исследовании сложных биомолекулярных систем Аннотация  PDF (Rus)  похожие документы
Н. Н. Яцков, В. В. Апанасович
"... интерпретации биофизической информации с использованием методов анализа больших данных и компьютерных моделей ..."
 
№ 3 (2015) БЫСТРОЕ ПРОТОТИПИРОВАНИЕ ВСТРАИВАЕМЫХ ПРОГРАММИРУЕМЫХ СИСТЕМ НА ПЛИС ДЛЯ МУЛЬТИМЕДИЙНЫХ ПРИЛОЖЕНИЙ Аннотация  PDF (Rus)  похожие документы
В. В. Ключеня, Н. А. Петровский
"... Рассматривается процесс быстрого прототипирования мобильных мультимедийных систем ..."
 
№ 1(01) (2004) АНАЛИЗ АТТРАКТОРОВ СЛОЖНЫХ НЕЛИНЕЙНЫХ ДИНАМИЧЕСКИХ СИСТЕМ НА ОСНОВЕ МАТРИЧНЫХ РЯДОВ В ПРОСТРАНСТВЕ СОСТОЯНИЙ Аннотация  PDF (Rus)  похожие документы
А. М. Крот
"... Построены матричные ряды для разложения операторов нелинейных динамических систем в пространстве ..."
 
№ 1(01) (2004) ОБ ИНТЕРПРЕТАЦИИ ВРЕМЕННОЙ ЛОГИКИ ПРИ СИМВОЛИЧЕСКОЙ ВЕРИФИКАЦИИ Аннотация  PDF (Rus)  похожие документы
Д. И. Черемисинов
"... ветвящегося времени CTL. Ее недостатком считается неинтуитивность. Предлагаются интерпретации временных логик ..."
 
№ 1(01) (2004) ФОРМАЛИЗАЦИЯ ЗНАНИЙ ПРИ ПОМОЩИ ФУНКЦИОНАЛЬНЫХ КЛАССОВ ЕСТЕСТВЕННОГО ЯЗЫКА НА ПРИМЕРЕ ФОРМИРОВАНИЯ КООРДИНАТНОЙ СРЕДЫ ГЕОИНФОРМАЦИОННОЙ СИСТЕМЫ Аннотация  PDF (Rus)  похожие документы
И. В. Eвглевский
"... информационных систем Описаны функциональные классы естественного языка, на основе которых формализуются знания ..."
 
Том 19, № 1 (2022) Применение модели освоения языка к решению задачи обработки малых языков Аннотация  PDF (Rus)  похожие документы
Д. И. Качков
"... Решается задача построения компьютерной модели малого языка. Ее актуальность обусловлена ..."
 
№ 3 (2013) КВАЗИСЛУЧАЙНОЕ ТЕСТИРОВАНИЕ ВЫЧИСЛИТЕЛЬНЫХ СИСТЕМ Аннотация  PDF (Rus)  похожие документы
С. В. Ярмолик, В. Н. Ярмолик
"... Анализируются причинно-следственные связи при возникновении неисправностей вычисли-тельных систем ..."
 
2025: Специальный выпуск Лаборатория робототехнических систем Аннотация  PDF (Rus)  похожие документы
В. А. Сычёв
"... Лаборатория робототехнических систем начала свою работу 2 января 2017 г. Основу коллектива новой ..."
 
№ 4(04) (2004) ЭВОЛЮЦИЯ СИСТЕМ АВТОМАТИЗИРОВАННОЙ ОБРАБОТКИ ИНФОРМАЦИИ Аннотация  PDF (Rus)  похожие документы
В. Е. Самсонов, Г. И. Солодкин
"... Рассмотрены этапы разработок автоматизированных систем, проводимых в лаборатории вычислительных ..."
 
2025: Специальный выпуск Лаборатория идентификации систем: основные результаты Аннотация  PDF (Rus)  похожие документы
А. В. Инютин, В. В. Старовойтов
"... Лаборатория идентификации систем является базовой лабораторией института в области идентификации ..."
 
2025: Специальный выпуск О лаборатории моделирования самоорганизующихся систем Аннотация  PDF (Rus)  похожие документы
А. М. Крот
"... Лаборатория моделирования самоорганизующихся систем (ЛМСС) создана доктором технических наук А. М ..."
 
Том 17, № 2 (2020) Псевдоисчерпывающее тестирование запоминающих устройств на базе маршевых тестов типа March A Аннотация  PDF (Rus)  похожие документы
В. Н. Ярмолик, И. Мрозек, С. В. Ярмолик
"... Показывается актуальность тестирования запоминающих устройств современных вычислительных систем ..."
 
Том 18, № 1 (2021) Построение и применение маршевых тестов для обнаружения кодочувствительных неисправностей запоминающих устройств Аннотация  PDF (Rus)  похожие документы
В. Н. Ярмолик, В. А. Леванцевич, Д. В. Деменковец, И. Мрозек
"... систем. Исследуются математические модели неисправностей запоминающих устройств и используемые методы ..."
 
Том 19, № 3 (2022) Генерирование адресных последовательностей с заданной переключательной активностью и повторяемостью адресов Аннотация  PDF (Rus)  похожие документы
В. Н. Ярмолик, Н. А. Шевченко, В. А. Леванцевич, Д. В. Деменковец
"... вычислительных систем. Актуальность данной задачи заключается в том, что основной характеристикой различия для ..."
 
Том 17, № 1 (2020) Формирование адресных последовательностей с заданной переключательной активностью Аннотация  PDF (Rus)  похожие документы
В. Н. Ярмолик, Н. А. Шевченко
"... Показывается актуальность тестирования современных вычислительных систем, и в первую очередь их ..."
 
Том 20, № 4 (2023) Формальная модель описания и условия обнаружения связных неисправностей взаимного влияния запоминающих устройств Аннотация  PDF (Rus)  похожие документы
В. Н. Ярмолик, Д. В. Деменковец, В. В. Петровская, А. А. Иванюк
 
Том 21, № 2 (2024) Меры различия, основанные на применении расстояния Хэмминга, для генерирования управляемых вероятностных тестов Аннотация  PDF (Rus)  похожие документы
В. Н. Ярмолик, В. В. Петровская, Н. А. Шевченко
 
№ 1(21) (2009) АЛГОРИТМЫ ИНТЕРПРЕТАЦИИ СОДЕРЖАНИЯ ТЕКСТОВЫХ ДОКУМЕНТОВ НА ОСНОВЕ СИНТАКСИЧЕСКОГО ШАБЛОНА ПРЕДМЕТНОЙ ОБЛАСТИ Аннотация  PDF (Rus)  похожие документы
С. В. Липницкий
"... Предлагаются алгоритмы интерпретации содержания текстовых документов, основанные на шаблонах ..."
 
№ 3(31) (2011) АВТОМАТИЧЕСКОЕ ОПРЕДЕЛЕНИЕ ЯЗЫКА ТЕКСТОВОГО ДОКУМЕНТА ДЛЯ ОСНОВНЫХ ЕВРОПЕЙСКИХ ЯЗЫКОВ Аннотация  PDF (Rus)  похожие документы
Ю. Б. Крапивин
"... Проводится анализ основных методов решения задачи автоматического определения языка текстового ..."
 
Том 16, № 4 (2019) О надежности, безопасности и читабельности языков программирования на примере языка Ада Аннотация  похожие документы
А. В. Леонтьев
"... Представлены несколько небольших предложений, которые относятся к проектированию языков и отражают ..."
 
Том 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)  похожие документы
И. Э. Том
 
№ 3(19) (2008) КРИТЕРИИ ОБЕСПЕЧЕНИЯ ПРАВОМОЧНОСТИ СИСТЕМ ЭЛЕКТРОННОГО ДОКУМЕНТООБОРОТА Аннотация  PDF (Rus)  похожие документы
Е. А. Цынкевич
 
№ 4(20) (2008) СИНТЕЗ РЕГУЛЯТОРОВ ДЛЯ УПРАВЛЕНИЯ ДВИЖЕНИЕМ МЕХАТРОННЫХ СИСТЕМ Аннотация  PDF (Rus)  похожие документы
Н. Н. Гурский, Ю. И. Слабко, Р. И. Фурунжиев, П. А. Хомич
"... Обсуждаются новый подход и технология синтеза управлений для класса адаптивных систем управления по ..."
 
№ 4 (2013) ИССЛЕДОВАНИЕ СВОЙСТВ РАЗЛОЖИМОСТИ СИСТЕМ БУЛЕВЫХ ФУНКЦИЙ Аннотация  PDF (Rus)  похожие документы
С. Х. Тагави Афшорд, Ю. В. Поттосин
"... .Приводятся результаты компьютер-ного эксперимента по определению разложимости систем булевых функций. ..."
 
№ 1 (2016) АНАЛИЗ ОСОБЕННОСТЕЙ ОБЕСПЕЧЕНИЯ ИНФОРМАЦИОННОЙ БЕЗОПАСНОСТИ ГРИД-СИСТЕМ Аннотация  PDF (Rus)  похожие документы
А. И. Трубей
"... систем и статистических методов. ..."
 
№ 1 (2013) ИНТЕГРАЛЬНО-ХАРАКТЕРИСТИЧЕСКАЯ БАЗА МОДУЛЯРНЫХ СИСТЕМ СЧИСЛЕНИЯ Аннотация  PDF (Rus)  похожие документы
А. А. Коляда, А. Ф. Чернявский
"... Рассматривается проблематика создания интегрально-характеристической базы модуляр-ных систем ..."
 
№ 1 (2015) ПРИМЕНЕНИЕ ДИНАМИЧЕСКИХ СИСТЕМ С ХАОТИЧЕСКИМ ПОВЕДЕНИЕМ В РОБОТОТЕХНИКЕ Аннотация  PDF (Rus)  похожие документы
В. А. Сычѐв
"... исследования в области стабилизации нелинейных динамических систем с хаотической динамикой, целенаправленной ..."
 
№ 1(9) (2006) МИНИМИЗАЦИЯ СИСТЕМ БУЛЕВЫХ ФУНКЦИЙ В КЛАССЕ ДИЗЪЮНКТИВНЫХ НОРМАЛЬНЫХ ФОРМ Аннотация  PDF (Rus)  похожие документы
П. В. Леончик
"... Предлагается программа минимизации систем полностью определенных булевых функций в классе ДНФ ..."
 
№ 4(16) (2007) МОДЕЛЬ АНАЛИЗА И КОРРЕКЦИИ УСТОЙЧИВОСТИ РЕШЕНИЯ СИСТЕМ ЛИНЕЙНЫХ УРАВНЕНИЙ Аннотация  PDF (Rus)  похожие документы
Л. П. Матюшков, Г. Л. Матюшкова
"... систем линейных уравнений, и повышения устойчивости их решений путем целенаправленных изменений ..."
 
№ 4(16) (2007) АВТОМАТИЗАЦИЯ ПРОЕКТИРОВАНИЯ ТИПОВЫХ КОНСТРУКЦИЙ НА БАЗЕ СРЕДСТВ ПАРАМЕТРИЗАЦИИ CAD-СИСТЕМ Аннотация  PDF (Rus)  похожие документы
Л. В. Губич, А. А. Прохорова
"... Рассматриваются возможности современных систем моделирования и предлагаются схемы работы на базе ..."
 
№ 2(02) (2004) СПОСОБЫ АНАЛИЗА КАЧЕСТВЕННЫХ ХАРАКТЕРИСТИК АВТОМАТИЗИРОВАННЫХ ДАКТИЛОСКОПИЧЕСКИХ ИДЕНТИФИКАЦИОННЫХ СИСТЕМ Аннотация  PDF (Rus)  похожие документы
Ю. А. Чернявский
"... оценки качества функционирования автоматизированных дактилоскопических идентификационных систем на основе ..."
 
Том 18, № 1 (2021) Оценка ожидаемой надежности прикладных программных средств для компьютерных информационных систем Аннотация  PDF (Rus)  похожие документы
С. М. Боровиков, В. О. Казючиц, В. В. Хорошко, С. С. Дик, К. И. Клинов
 
№ 1(5) (2005) ПРОБЛЕМЫ СОЗДАНИЯ АВТОМАТИЗИРОВАННЫХ ИНФОРМАЦИОННЫХ СИСТЕМ ДЛЯ ОРГАНОВ ТЕРРИТОРИАЛЬНОГО УПРАВЛЕНИЯ Аннотация  PDF (Rus)  похожие документы
В. Е. Самсонов, Г. И. Солодкин, Л. И. Точицкий
"... Излагаются вопросы создания автоматизированных информационных систем для органов территориального ..."
 
№ 4(04) (2004) ОТ КОНЦЕПЦИИ ИНФОРМАЦИОННОЙ БЕЗОПАСНОСТИ ДО БЕЗОПАСНОСТИ СУПЕРКОМПЬЮТЕРНЫХ СИСТЕМ Аннотация  PDF (Rus)  похожие документы
В. В. Анищенко, В. К. Фисенко
 
№ 1(01) (2004) О ТАБЛИЧНОМ ЗАДАНИИ СИСТЕМ ПОЛНОСТЬЮ ОПРЕДЕЛЕННЫХ БУЛЕВЫХ ФУНКЦИЙ Аннотация  PDF (Rus)  похожие документы
Ю. В. Поттосин, Е. А. Шестаков
"... систем полностью определенным булевым функций в виде таблиц, названным компактными. Эти таблицы ..."
 
№ 4(12) (2006) АНАЛИЗ НОРМАТИВНО-МЕТОДИЧЕСКОГО ОБЕСПЕЧЕНИЯ, РЕГЛАМЕНТИРУЮЩЕГО СОЗДАНИЕ АВТОМАТИЗИРОВАННЫХ СИСТЕМ Аннотация  PDF (Rus)  похожие документы
В. Ф. Быченков
"... Рассматриваются состояние стандартизации жизненного цикла автоматизированных систем, в том числе ..."
 
№ 1(33) (2012) ПРИНЦИПЫ СОЗДАНИЯ БАЗОВЫХ КОНФИГУРАЦИЙ СУПЕРКОМПЬЮТЕРНЫХ СИСТЕМ ОТРАСЛЕВОГО НАЗНАЧЕНИЯ Аннотация  PDF (Rus)  похожие документы
В. В. Анищенко, В. В. Мурашко, Н. Н. Парамонов, О. П. Чиж
 
№ 1(33) (2012) КОМПЛЕКСИРОВАНИЕ ДАННЫХ НАВИГАЦИОННЫХ СИСТЕМ НА ОСНОВЕ НЕЛИНЕЙНОГО ФИЛЬТРА КАЛМАНА Аннотация  PDF (Rus)  похожие документы
А. В. Грибовский, Р. Р. Исмаилов, К. В. Козадаев, С. П. Красовский, М. А. Прохорович, А. Ф. Чернявский
"... навигационных систем. В качестве основного алгоритма комплексирования предлагается использовать нелинейный ..."
 
№ 3(35) (2012) ГЕНЕРАЦИЯ ВЫПОЛНИМЫХ СПЕЦИФИКАЦИЙ ЦИФРОВЫХ СИСТЕМ ИЗ СТРУКТУРНЫХ ОПИСАНИЙ FPGA-ПРОЕКТОВ Аннотация  PDF (Rus)  похожие документы
Д. И. Черемисинов
 
№ 2(54) (2017) МИНИМИЗАЦИЯ МНОГОУРОВНЕВЫХ ПРЕДСТАВЛЕНИЙ СИСТЕМ БУЛЕВЫХ ФУНКЦИЙ НА ОСНОВЕ РАЗЛОЖЕНИЯ ШЕННОНА Аннотация  PDF (Rus)  похожие документы
П. Н. Бибило, Ю. Ю. Ланкевич
 
№ 1(29) (2011) СТРУКТУРНО-ПАРАМЕТРИЧЕСКИЙ СИНТЕЗ АВТОМАТИЗИРОВАННЫХ СИСТЕМ КОНТРОЛЯ И УЧЕТА ЭЛЕКТРОЭНЕРГИИ Аннотация  PDF (Rus)  похожие документы
Н. Е. Пацей, В. Т. Придухо
"... Предлагается методика проектирования автоматизированных систем учета и контроля электроэнергии ..."
 
№ 3(27) (2010) МЕТОД ВЕРОЯТНОСТНО-АЛГЕБРАИЧЕСКОГО МОДЕЛИРОВАНИЯ НАДЕЖНОСТИ ФУНКЦИОНАЛЬНО-СЛОЖНЫХ СИСТЕМ Аннотация  PDF (Rus)  похожие документы
Е. И. Сукач
"... систем, основанный на использовании алгебраического аппарата для описания отношений между компонентами ..."
 
Том 16, № 3 (2019) Метод синтеза дискриминационных характеристик угломерных систем многолучевых радиолокационных станций Аннотация  PDF (Rus)  похожие документы
В. М. Артемьев, А. О. Наумов
 
№ 1(25) (2010) ОЦЕНКА ЭФФЕКТИВНОСТИ МАРКОВСКИХ СИСТЕМ, ФУНКЦИОНИРУЮЩИХ В МАРКОВСКИ МЕНЯЮЩЕЙСЯ ВНЕШНЕЙ СРЕДЕ Аннотация  PDF (Rus)  похожие документы
О. В. Серая
 
Том 16, № 2 (2019) Верификация систем с параллелизмом поведения на основе графа достижимых состояний Аннотация  PDF (Rus)  похожие документы
Ю. В. Поттосин, В. И. Романов, Л. Д. Черемисинова
"... Рассматривается задача верификации систем управления на основе моделей их поведения, которая ..."
 
№ 3(19) (2008) УПРОЩЕННЫЕ МОДЕЛИ ДЛЯ РАСЧЕТА ВЗАИМОДЕЙСТВИЯ ИНДУКЦИОННЫХ СИСТЕМ ДИГИТАЙЗЕРОВ Аннотация  PDF (Rus)  похожие документы
С. Г. Алексеев, С. В. Абламейко
"... На основе декомпозиции индукционных систем дигитайзеров на элементарные пары взаимодействующих ..."
 
№ 1(17) (2008) АППАРАТНО-ПРОГРАММНЫЕ СРЕДСТВА ПОДДЕРЖКИ НАДЕЖНОСТИ ИНФОРМАЦИОННО-ВЫЧИСЛИТЕЛЬНЫХ СИСТЕМ Аннотация  PDF (Rus)  похожие документы
В. В. Анищенко, Л. И. Кульбак, Т. С. Мартинович
"... (ТС) информационно-вычислительных систем. Приводятся формулы расчета показателей надежности ТС и ..."
 
№ 1 (2013) ПРИМЕНЕНИЕ МЕТОДОВ РАСПОЗНАВАНИЯ ДЛЯ ПОСТРОЕНИЯ СИСТЕМ ДИАГНОСТИКИ КОМПЬЮТЕРНЫХ СЕТЕЙ Аннотация  PDF (Rus)  похожие документы
В. Г. Родченко, Е. В. Олизарович, А. И. Жукевич
 
№ 3 (2016) СХЕМНАЯ РЕАЛИЗАЦИЯ VHDL-ОПИСАНИЙ СИСТЕМ НЕ ПОЛНОСТЬЮ ОПРЕДЕЛЕННЫХ БУЛЕВЫХ ФУНКЦИЙ Аннотация  PDF (Rus)  похожие документы
П. Н. Бибило
"... Предлагаются синтезируемые VHDL-модели систем не полностью определенных булевых функций ..."
 
Том 21, № 4 (2024) К вопросу проектирования компьютерных систем на основе архитектуры нулевого доверия Аннотация  PDF (Rus)  похожие документы
А. И. Бражук, Е. В. Олизарович
"... Работа посвящена теоретическим и практическим аспектам проектирования компьютерных систем ..."
 
№ 3(7) (2005) МОДЕЛИРОВАНИЕ НЕИСПРАВНОСТЕЙ СБИС НА ПОВЕДЕНЧЕСКОМ УРОВНЕ НА ЯЗЫКЕ VHDL Аннотация  PDF (Rus)  похожие документы
Л. А. Золоторевич
"... , представленных на поведенческом уровне на языке VHDL. Предлагается формальный подход к решению задачи, в основе ..."
 
Том 17, № 4 (2020) Моделирование языка и двунаправленные представления кодировщиков: обзор ключевых технологий Аннотация  PDF (Rus)  похожие документы
Д. И. Качков
"... Представлен очерк развития технологий обработки естественного языка, которые легли в основу BERT ..."
 
№ 1(5) (2005) МОДЕЛИРОВАНИЕ НЕИСПРАВНОСТЕЙ В СТРУКТУРАХ СБИС НА ЯЗЫКЕ VHDL Аннотация  PDF (Rus)  похожие документы
Л. А. Золоторевич
"... , представленных на структурном уровне на языке VHDL. Дается анализ эффективности предлагаемых решений. ..."
 
№ 1(13) (2007) МОДЕЛИРОВАНИЕ ФУНКЦИОНАЛЬНЫХ НЕИСПРАВНОСТЕЙ ЦИФРОВЫХ УСТРОЙСТВ СРЕДСТВАМИ ЯЗЫКА VHDL Аннотация  PDF (Rus)  похожие документы
А. А. Иванюк
"... устройств на языке VHDL. Рассматриваются вопросы, связанные с распределением неисправностей в процессе ..."
 
№ 2 (2015) ПРОГРАММИРОВАНИЕ НА ЯЗЫКАХ, ПРИБЛИЖЕННЫХ К ЕСТЕСТВЕННОМУ: ОБЗОР ЛИТЕРАТУРЫ Аннотация  PDF (Rus)  похожие документы
Е. Г. Лутцев
"... Рассматривается ряд научных статей, посвященных вопросам программирования на языках, приближенных ..."
 
Том 15, № 1 (2018) СИСТЕМА «ПлагиатКонтроль» КАК ИНСТРУМЕНТ ЭКСПЕРТИЗЫ ТЕКСТОВЫХ ДОКУМЕНТОВ Аннотация  PDF (Rus)  похожие документы
Ю. Б. Крапивин
 
№ 4(12) (2006) СиВер – СИСТЕМА СИНТЕЗА И ВЕРИФИКАЦИИ КОМБИНАЦИОННЫХ ЛОГИЧЕСКИХ СХЕМ Аннотация  PDF (Rus)  похожие документы
П. Н. Бибило, С. Н. Кардаш, В. И. Романов
"... проектирования базовых матричных кристаллов. Исходными данными являются матричные и скобочные описания систем ..."
 
№ 2 (2015) ПАРАМЕТРИЧЕСКАЯ КОНЕЧНО-ЭЛЕМЕНТНАЯ МОДЕЛЬ КЕССОННОЙ КОНСТРУКЦИИ Аннотация  PDF (Rus)  похожие документы
М. А. Мирзаванд, А. В. Бородуля, А. Н. Соловьев, В. В. Напраcников
"... ремонта остова нефтедобывающей платформы с использованием специальных встроенных языков систем конечно ..."
 
№ 3 (2014) ВЫБОР РАЦИОНАЛЬНЫХ ПАРАМЕТРОВ КОНСТРУКЦИИ КАРКАСА МОРСКОЙ ПЛАТФОРМЫ Аннотация  PDF (Rus)  похожие документы
А. В. Бородуля, А. Н. Соловьев, В. В. Напраcников, М. А. Мирзаванд
"... нефтедобывающей платформы с использованием специальных встроенных языков систем конечно-элементного моделирования ..."
 
1 - 70 из 257 результатов 1 2 3 4 > >> 

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

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