| Выпуск | Название | |
| Том 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 диссертация)

















