Preview

Информатика

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 16, № 2 (2019) Верификация систем с параллелизмом поведения на основе графа достижимых состояний Аннотация  PDF (Rus)  похожие документы
Ю. В. Поттосин, В. И. Романов, Л. Д. Черемисинова
"... Рассматривается задача верификации систем управления на основе моделей их поведения, которая ..."
 
Том 19, № 1 (2022) Методология разработки программного обеспечения с использованием модели распределенных объектно-ориентированных стохастических гибридных систем Аннотация  PDF (Rus)  похожие документы
Р. Е. Шарыкин
"... математической модели для рассматриваемой системы вместе с ее спецификацией на всех этапах разработки целевого ..."
 
Том 22, № 2 (2025) Прототипирование системы беспарольного атрибутивного доступа к информационным ресурсам с использованием eID-карты Республики Беларусь и FIDO2-аутентификации Аннотация  PDF (Rus)  похожие документы
А. А. Жидович, А. А. Лубенько, И. С. Войтешенко
"... . В исследовании применялись: систематизация и анализ литературы и технических спецификаций; системный подход ..."
 
Том 20, № 3 (2023) Семантические модели и средства разработки искусственных нейронных сетей и их интеграции с базами знаний Аннотация  PDF (Rus)  похожие документы
М. В. Ковалёв
"... Цели. Предлагаются спецификации моделей и средств разработки искусственных нейронных сетей (ИНС ..."
 
Том 18, № 1 (2021) Оценка ожидаемой надежности прикладных программных средств для компьютерных информационных систем Аннотация  PDF (Rus)  похожие документы
С. М. Боровиков, В. О. Казючиц, В. В. Хорошко, С. С. Дик, К. И. Клинов
"... модель, в которой используются некоторые параметры будущей компьютерной программы, данные о влиянии ..."
 
Том 16, № 2 (2019) Разработка алгоритмов и программных средств классификации кодирующих и некодирующих нуклеотидных последовательностей Аннотация  PDF (Rus)  похожие документы
В. Р. Закирова, Д. А. Сырокваш, С. В. Гилевский, П. В. Назаров, Н. Н. Яцков
"... генома человека. Разработаны семь моделей векторизации нуклеотидных последовательностей на основе частот ..."
 
№ 1 (2015) ТЕПЛОВАЯ МОДЕЛЬ ИНДИВИДУАЛЬНОГО ЖИЛОГО ДОМА Аннотация  PDF (Rus)  похожие документы
Е. В. Кресова, С. П. Кундас
"... Предлагается трехмерная тепловая модель дома для сельской местности, которая включает ..."
 
Том 20, № 4 (2023) Моделирование дискретных управляющих систем с параллелизмом поведения Аннотация  PDF (Rus)  похожие документы
Д. И. Черемисинов, Л. Д. Черемисинова
"... спецификации на их проектирование. При решении задач реализации и тестирования дискретных систем приходится ..."
 
Том 15, № 4 (2018) Использование языка ПРАЛУ для верификации цифровых устройств Аннотация  PDF (Rus)  похожие документы
Д. И. Черемисинов
"... верификации устанавливается сводимость (эквивалентность) спецификации устройства и модели уровня регистровых ..."
 
№ 1 (2015) ТЕХНОЛОГИЯ ПАРАЛЛЕЛЬНЫХ ВЫЧИСЛЕНИЙ ЗАДАЧИ ТЕПЛОВЛАГОПЕРЕНОСА В ПРОГРАММНОМ КОМПЛЕКСЕ SPS Аннотация  PDF (Rus)  похожие документы
П. К. Шалькевич, С. П. Кундас, И. А. Гишкелюк
"... Предлагается математическая модель, разработанная с учетом существующих численных моделей ..."
 
Том 19, № 1 (2022) Детектирование признаков сетевой разведки с использованием модели дерева решений Аннотация  PDF (Rus)  похожие документы
Н. П. Шараев, С. Н. Петров
"... , что положительно сказалось на обучении  модели.  Изучены  и  протестированы  наиболее  перспективные ..."
 
№ 4 (2014) МЕТОД ДИАГНОСТИКИ СЕРДЕЧНО-СОСУДИСТОЙ СИСТЕМЫ НА ОСНОВЕ ОДНОМЕРНОЙ МОДЕЛИ ГЕМОДИНАМИКИ Аннотация  PDF (Rus)  похожие документы
Ю. Г. Кузьминский, С. В. Шилько
"... одномерной биомеханической модели гемодинамики. Проводимый предложенным методом скрининг позволяет расширить ..."
 
Том 22, № 2 (2025) Программный комплекс для имитационного моделирования сайтов однонуклеотидного генетического полиморфизма Аннотация  PDF (Rus)  похожие документы
Н. Н. Яцков, Д. Д. Сарнацкий, В. В. Скакун, В. В. Гринев
"... однонуклеотидных полиморфизмов. Наилучшие результаты получены для моделей машинного обучения. Заключение ..."
 
Том 19, № 2 (2022) Информационная система для онтологического моделирования предметных областей Аннотация  PDF (Rus)  похожие документы
М. Н. Бухаров
"... математической модели онтологии и на ее основе – информационной системы для онтологического моделирования ..."
 
Том 16, № 4 (2019) Математическое моделирование тепловых режимов космических аппаратов негерметичного исполнения Аннотация  PDF (Rus)  похожие документы
С. В. Лемешевский, М. М. Чуйко, А. И. Шнип, Г. Л. Марцинкевич, В. В. Лепин, В. А. Ирхин
"... и структура программного комплекса, математические модели тепловых процессов при наличии системы обеспечения ..."
 
№ 3(55) (2017) РЕГРЕССИОННЫЙ АНАЛИЗ ПОТРЕБИТЕЛЬСКИХ РАСХОДОВ НА ПИТАНИЕ В ДОМОХОЗЯЙСТВАХ РЕГИОНА КАК ФУНКЦИИ РАСПОЛАГАЕМОГО ЛИЧНОГО ДОХОДА И ЦЕНЫ Аннотация  PDF (Rus)  похожие документы
И. Н. Сюльжин, С. Г. Бильчинская, Ю. А. Чернявский, Е. В. Шабинская
"... коррелированных, факторов. Рассмотренная регрессионная модель включает спецификацию составляющих ее соотношений ..."
 
Том 22, № 3 (2025) Программный модуль для детектирования мошеннических веб-сайтов с использованием классификации на основе методов машинного обучения Аннотация  PDF (Rus)  похожие документы
С. Н. Петров, А. О. Мяделец, Е. В. Кундас
"... языковой модели TinyBERT для анализа текстового содержимого. Р е з у л ь т а т ы. По результатам ..."
 
№ 2(54) (2017) МЕТОДИКА ФОРМИРОВАНИЯ CAE-МОДЕЛЕЙ НА ПРИМЕРЕ КОНСТРУКТОРСКО-ТЕХНОЛОГИЧЕСКОЙ ПРОРАБОТКИ ПЛУНЖЕРА ФОРСИРОВАННОЙ ГИДРОМАШИНЫ Аннотация  PDF (Rus)  похожие документы
А. В. Пузанов
"... анализ большого количества конструктивных исполнений. Предлагается методика формирования CAE-моделей ..."
 
Том 16, № 4 (2019) Вычислительный подход и программный пакет RNAexploreR для группировки молекул РНК генов человека по их экзонным признакам Аннотация  PDF (Rus)  похожие документы
Н. Н. Яцков, В. В. Скакун, В. В. Гринев
"... на разработку надежных моделей предсказания глобальной комбинаторики экзонов при образовании зрелой РНК ..."
 
Том 18, № 4 (2021) Оптимизация коэффициентов ПИД-регулятора системы управления движением мобильного робота по цветоконтрастной линии на основе генетического алгоритма Аннотация  PDF (Rus)  похожие документы
Т. Ю. Ким, Г. А. Прокопович
"... состоит из имитационной модели указанного робота в среде Simulink, четырех виртуальных трасс-полигонов ..."
 
Том 16, № 3 (2019) Веб-поиск и адресное распространение информации на основе моделирования вербальных ассоциаций Аннотация  PDF (Rus)  похожие документы
С. Ф. Липницкий
"... Предлагается математическая модель процессов сканирования веб-сайтов и адресного (избирательного ..."
 
Том 18, № 3 (2021) Контроль надежности защиты интегральных схем от троянов: кодирование и декодирование комбинационных структур Аннотация  PDF (Rus)  похожие документы
Л. А. Золоторевич, В. А. Ильинков
"... интегральных схем при разработке и в процессе производства на этапах спецификации, проектирования, верификации ..."
 
Том 16, № 4 (2019) Разработка системы управления учебным роботом-манипулятором параллельной структуры с применением технологии модельно-ориентированного проектирования Аннотация  PDF (Rus)  похожие документы
Г. А. Прокопович
"... модели из плоских геометрических примитивов в среде MATLAB. С помощью пакета Simscape Multibody на основе ..."
 
№ 4 (2016) КОНЕЧНО-ЭЛЕМЕНТНОЕ МОДЕЛИРОВАНИЕ РАСПРЕДЕЛЕНИЯ ЭЛЕКТРОМАГНИТНОГО ПОЛЯ В БЛИЖНЕЙ ЗОНЕ СФЕРИЧЕСКОЙ НАНОЧАСТИЦЫ Аннотация  PDF (Rus)  похожие документы
К. С. Курочка
"... Предлагается математическая модель распределения электромагнитного поля, вызываемого плоской волной ..."
 
№ 4(56) (2017) МЕТОДИКА СОЗДАНИЯ БАЗ РАСПРЕДЕЛЕННЫХ ИНЖЕНЕРНЫХ ЗНАНИЙ Аннотация  PDF (Rus)  похожие документы
В. А. Кочуров
"... Рассматриваются принцип и приемы создания моделей распределенных инженерных знаний, а также ..."
 
Том 19, № 2 (2022) О среде имитационного моделирования компонентов и приложений в Интернете вещей на основе инструментов визуального потокового программирования и облачных сервисов Аннотация  PDF (Rus)  похожие документы
А. А. Андрушевич, И. С. Войтешенко, О. Ю. Емельянова
"... моделирования преследовались следующие основные цели: построение математической модели, реализация программного ..."
 
№ 1 (2014) КОНЕЧНОЭЛЕМЕНТНОЕ МОДЕЛИРОВАНИЕ ПРОГИБОВ ТОНКИХ КРУГЛЫХ ТРЕХСЛОЙНЫХ ПЛАСТИН Аннотация  PDF (Rus)  похожие документы
К. С. Курочка
"... Представляется математическая модель тонкой круглой трехслойной пластины под дейст-вием ..."
 
№ 3 (2016) БИБЛИОТЕКА MIPCL ДЛЯ РЕШЕНИЯ ЗАДАЧ СМЕШАННО-ЦЕЛОЧИСЛЕННОГО ПРОГРАММИРОВАНИЯ Аннотация  PDF (Rus)  похожие документы
Н. Н. Писарук
"... и эффективной компьютерной реализации моделей смешанно целочисленного программирования (СЦП). Вычислительные ..."
 
№ 4 (2014) К СИНТЕЗУ КОМПОНОВОК АГРЕГАТНЫХ СТАНКОВ ДЛЯ ГРУППОВОЙ ОБРАБОТКИ Аннотация  PDF (Rus)  похожие документы
Б. М. Розин, В. Е. Зданович
"... за счет оптимизации взаимного размещения элементов узлов, а также алго-ритм построения 3D-моделей ..."
 
№ 4 (2016) МЕТОДЫ КЛАССИФИКАЦИИ ТЕКСТОВОЙ ИНФОРМАЦИИ НА ОСНОВЕ ИСКУССТВЕННОЙ НЕЙРОННОЙ И СЕМАНТИЧЕСКОЙ СЕТЕЙ Аннотация  PDF (Rus)  похожие документы
Л. В. Серебряная, В. В. Потараев
"... программное средство автоматической классификации текстов на основе разработанных моделей и алгоритмов ..."
 
№ 4 (2014) ИНТЕЛЛЕКТУАЛЬНАЯ ПОДДЕРЖКА ПРИНЯТИЯ РЕШЕНИЙ НА РЫНКЕ ФОРЕКС Аннотация  PDF (Rus)  похожие документы
В. А. Рыбак, Х. М. Сулайман
"... технологическая це-почка построения нейронечеткой модели с использованием пакета Matlab. ..."
 
Том 21, № 4 (2024) Компьютерное моделирование диффузии в смеси идеальных газов с учетом зависимости коэффициента диффузии от энтропии смешения в программном комплексе Wolfram Mathematica Аннотация  PDF (Rus)  похожие документы
П. К. Шалькевич, Н. А. Шилов, Н. Н. Гринчик
"... зависимости коэффициента диффузии от энтропии смешения согласно модели, предложенной одним из авторов статьи ..."
 
№ 4 (2016) РЕАЛИЗАЦИЯ АЛГОРИТМА БЕССЕТОЧНОГО МЕТОДА РАДИАЛЬНЫХ БАЗИСНЫХ ФУНКЦИЙ В ЗАДАЧАХ ПОДЗЕМНОЙ ГИДРОМЕХАНИКИ Аннотация  PDF (Rus)  похожие документы
Н. В. Медвидь, П. Н. Мартынюк
"... Рассматривается математическая модель фильтрационной консолидации тела грунтовой плотины ..."
 
Том 23, № 2 (2026) Квантовый блокчейн с интеграцией квантовой запутанности и алгоритма консенсуса Аннотация  PDF (Rus)  похожие документы
А. В. Сидоренко, И. А. Приходько
"... Цели. Целями работы являются разработка и программная реализация концептуальной модели квантово ..."
 
Том 20, № 2 (2023) Генерация потоковых сетей акторов поиска кратчайших путей для параллельной многоядерной реализации Аннотация  похожие документы
А. А. Прихожий
"... разработан настраиваемый многопоточный CAL-движок, реализующий статическую модель потоковых вычислений ..."
 
1 - 35 из 35 результатов

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

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