Preview

Моделирование и анализ информационных систем

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 25, № 4 (2018) О некоторых подходах к решению задачи «Useful Proof-of-work for blockchains» Аннотация  PDF (Rus)  похожие документы
Валерий Георгиевич Дурнев, Дмитрий Михайлович Мурин, Валерий Анатольевич Соколов, Дмитрий Юрьевич Чалый
"... . Соответственно возникает потребность в вычислительных задачах, над которыми такую работу можно производить ..."
 
Том 26, № 2 (2019) К вопросу использования «полезных» задач для обеспечения работой блокчейн систем Аннотация  PDF (Rus)  похожие документы
Дмитрий Михайлович Мурин, Владимир Николаевич Князев
"... Статья является продолжением работы о возможных подходах к решению задачи «UsefulProof ..."
 
Том 19, № 6 (2012) О некоторых задачах локализации в триангуляциях Делоне Аннотация  PDF (Rus)  похожие документы
Наталья Федоровна Дышкант
"... Рассматриваются постановки задач локализации узлов в триангуляциях Делоне и методы их решения. Для ..."
 
Том 19, № 5 (2012) Современные открытые проблемы в дискретной и вычислительной геометрии Аннотация  PDF (Rus)  похожие документы
Герберт Эдельсбруннер, Александр Иванов, Роман Карасев
"... Авторы отобрали задачи, которые пока не так уж хорошо известны, однако способны стимулировать ..."
 
Том 23, № 2 (2016) Метод сбалансированного выбора механизмов обеспечения отказоустойчивости для распределённых вычислительных систем Аннотация  PDF (Rus)  похожие документы
Д. Ю. Волканов
"... отказоустойчивости для распределённых вычислительных систем (РВС). В данной задаче требуется выбрать ..."
 
Том 18, № 4 (2011) Верификация шаблонов алгоритмов для метода отката и метода ветвей и границ Аннотация  PDF (Rus)  похожие документы
Николай Вячеславович Шилов
 
Том 25, № 2 (2018) О рекурсивно-параллельном алгоритме решения задачи о рюкзаке Аннотация  PDF (Rus)  похожие документы
Владимир Васильевич Васильчиков
"... Предлагается эффективный параллельный алгоритм решения NP-полной задачи о рюкзаке в ее исходном ..."
 
Том 27, № 1 (2020) Параллельный алгоритм решения задачи об изоморфизме графов Аннотация  PDF (Rus)  похожие документы
Владимир Васильевич Васильчиков
"... В данной работе предлагается параллельный алгоритм решения задачи об изоморфизме графов. Целевым ..."
 
Том 18, № 4 (2011) Простой алгоритм решения задачи покрытия для монотонных счетчиковых систем Аннотация  PDF (Rus)  похожие документы
Андрей Валентинович Климов
"... Предложен алгоритм решения задачи покрытия для монотонных счетчиковых систем. Разрешимость этой ..."
 
Том 29, № 1 (2022) Рекурсивно-параллельный алгоритм решения задачи об изоморфизме граф-подграф Аннотация  PDF (Rus)  похожие документы
Владимир Васильевич Васильчиков
"... В работе предложен параллельный алгоритм решения задачи об изоморфизме граф-подграф и произведено ..."
 
Том 24, № 6 (2017) Синтез управления и наблюдателя для слабо нелинейных систем на основе техники псевдолинеаризации Аннотация  PDF (Rus)  похожие документы
Дмитрий Александрович Макаров
"... Equation – SDRE), находится нелинейный регулятор по состоянию. На втором этапе ставится задача построения ..."
 
Том 26, № 4 (2019) Особенности вычислительной реализации алгоритма оценки ляпуновских показателей систем с запаздыванием Аннотация  PDF (Rus)  похожие документы
Владимир Евгеньевич Горюнов
"... Рассматривается вычислительная реализация алгоритма оценки спектра показателей Ляпунова для систем ..."
 
Том 32, № 2 (2025) Алгоритм шаблонизации для динамической задачи упаковки в контейнеры с группами размещения Аннотация  PDF (Rus)  похожие документы
Евгений Александрович Бражников, Артём Александрович Панин, Алексей Владленович Ратушный
"... Рассматривается NP-трудная задача динамического распределения виртуальных машин по серверам ..."
 
Том 27, № 4 (2020) О задаче верификации моделей программ для одного расширения логики CTL* Аннотация  PDF (Rus)  похожие документы
Антон Романович Гнатенко, Владимир Анатольевич Захаров
"... . Результатом работы таких вычислительных систем являются бесконечные последовательности пар событий типа запрос ..."
 
Том 18, № 3 (2011) Динамическое программирование в обобщенной задаче курьера с внутренними работами: элементы параллельной структуры Аннотация  PDF (Rus)  похожие документы
Алексей Михайлович Григорьев, Евгений Евгеньевич Иванко, Александр Георгиевич Ченцов
"... Рассматриваются вопросы, связанные с реализацией динамического программирования в задачах ..."
 
Том 21, № 3 (2014) Приближенное решение точечной подвижной задачи оптимального управления для нелинейного гиперболического уравнения Аннотация  PDF (Rus)  похожие документы
Турсун Камалдинович Юлдашев
"... В данной работе изучаются вопросы приближенного решения одной задачи точечного подвижного ..."
 
Том 23, № 1 (2016) Erratum to: Метод центральных многообразий в задаче асимптотического интегрирования функционально-дифференциальных уравнений с колебательно убывающими коэффициентами. II Аннотация  PDF (Rus)  похожие документы
П. Н. Нестеров
"... В работе исправляются вычислительные ошибки, допущенные в статье: Нестеров П.Н. Метод центральных ..."
 
Том 21, № 4 (2014) Применение стохастических метаэвристик в задаче управления данными в мультиклиентском кластере баз данных Аннотация  PDF (Rus)  похожие документы
Евгений Александрович Бойцов
"... вычислительных мощностей. Одной из наиболее важных задач при разработке системы подобного рода является ..."
 
Том 23, № 5 (2016) Об отсутствии и разрушении решений в некоторых сингулярно возмущённых задачах со сменой устойчивости Аннотация  PDF (Rus)  похожие документы
М. А. Терентьев
"... в разработке вычислительных алгоритмов для рассматриваемого класса задач. ..."
 
Том 28, № 3 (2021) Алгоритм нахождения обратной связи в задаче с ограничениями для одного класса нелинейных управляемых систем Аннотация  PDF (Rus)  похожие документы
Михаил Геннадьевич Дмитриев, Зайнелхриет Нугманович Мурзабеков, Гулбану Абсаматовна Мирзахмедова
"... используется решение вспомогательной задачи оптимального управления c квадратичным функционалом по аналогии ..."
 
Том 25, № 2 (2018) О корректности моделирования модульных вычислительных систем реального времени с помощью сетей временных автоматов Аннотация  PDF (Rus)  похожие документы
Алевтина Борисовна Глонина, Василий Викторович Балашов
"... Рассматривается задача проверки допустимости конфигураций модульных вычислительных систем ..."
 
Том 14, № 3 (2007) NumGRID, система для решения больших задач численного моделирования Аннотация  PDF (Rus)  похожие документы
Н. В. Малышкин
"... высокопроизводительные вычислительные ресурсы в Grid для решения больших задач численного моделирования. Рассказывается ..."
 
Том 28, № 1 (2021) NP-полнота задачи о минимальном остовном дереве в кратном графе кратности k ≥ 3 Аннотация  PDF (Rus)  похожие документы
Александр Валерьевич Смирнов
"... деревьев количество ребер в кратных деревьях не фиксировано. Для кратного графа можно поставить задачу ..."
 
Том 21, № 4 (2014) Эвристические алгоритмы для задачи целочисленного сбалансирования трехмерной матрицы с ограничениями второго рода Аннотация  PDF (Rus)  похожие документы
Александр Валерьевич Смирнов
"... Рассматривается задача целочисленного сбалансирования с ограничениями второго рода. В вещественной ..."
 
Том 27, № 2 (2020) Алгоритм оценки максимального времени отклика задач в многопроцессорных системах с интервальной неопределенностью длительности выполнения работ Аннотация  PDF (Rus)  похожие документы
Марк Геннадьевич Гонопольский, Алевтина Борисовна Глонина
"... В данной статье предложен алгоритм оценки максимального времени отклика задач (Worst Case Response ..."
 
Том 28, № 4 (2021) О верификации моделей и проверке выполнимости формул одного параметрического расширения темпоральной логики линейного времени Аннотация  PDF (Rus)  похожие документы
Антон Романович Гнатенко, Владимир Анатольевич Захаров
"... . Вычислительная трудность рассматриваемых задач легко доказывается сведением к ним проблемы пустоты пересечения ..."
 
Том 30, № 1 (2023) Задачи в области распознавания именованных сущностей: технологии и инструменты Аннотация  PDF (Rus)  похожие документы
Надежда Станиславовна Лагутина, Андрей Михайлович Васильев, Даниил Дмитриевич Зафиевский
"... Задача распознавания именованных сущностей (named entity recognition, NER) состоит в выделении ..."
 
Том 23, № 3 (2016) Аналитико-численный подход для решения сигулярно возмущенных параболиче- ских уравнений с использованием динамически адаптированных сеток Аннотация  похожие документы
Д. В. Лукьяненко, В. Т. Волков, Н. Н. Нефедов, Л. Реке, К. Шнайдер
"... сеток для эффективного численного решения задач указанного типа. Эти методы основаны на использовании ..."
 
Том 21, № 6 (2014) Использование случайной выборки моделей для решения задачи интерполяции Крейга в рамках ограниченной проверки моделей Аннотация  PDF (Rus)  похожие документы
Марат Халимович Ахин, Семен Леонидович Колтон, Владимир Михайлович Ицыксон
"... подстановка тел функций в места вызовов, однако при этом значительно возрастает вычислительная сложность ..."
 
Том 30, № 2 (2023) Рекурсивно-параллельный алгоритм поиска максимального общего подграфа Аннотация  PDF (Rus)  похожие документы
Владимир Васильевич Васильчиков
"... В работе предложен алгоритм решения задачи нахождении максимального общего подграфа. Описаны ..."
 
Том 22, № 6 (2015) О преподавании формальных моделей и алгоритмов анализа параллельных систем Аннотация  PDF (Rus)  похожие документы
Н. В. Шилов
"... массового использования в вычислительной математике и компьютерном моделировании. Кроме того, такие ..."
 
Том 22, № 3 (2015) ПОСТРОЕНИЕ РАСПИСАНИЙ ОБСЛУЖИВАНИЯ СТАЦИОНАРНЫХ ОБЪЕКТОВ ПЕРЕМЕЩАЮЩИМСЯ В ОДНОМЕРНОЙ ЗОНЕ ПРОЦЕССОРОМ Аннотация  похожие документы
Н. А. Дуничкина, Д. И. Коган, Ю. С. Федосенко
"... оптимизационные задачи с одним и двумя критериями оценки, конструируемые решающие алгоритмы основаны на принципе ..."
 
Том 20, № 5 (2013) Оценка числа решетчатых разбиений плоскости на полимино заданной площади Аннотация  PDF (Rus)  похожие документы
Антон Владимирович Шутов, Екатерина Викторовна Коломейкина
"... Рассматривается задача о числе решетчатых разбиений плоскости на полимино заданной площади ..."
 
Том 24, № 3 (2017) Замечание об области притяжения стационарного решения одного сингулярно возмущённого параболического уравнения Аннотация  PDF (Rus)  похожие документы
Михаил Анатольевич Терентьев
"... В работе  рассмотрена  начально-краевая задача для  одного сингулярно  возмущённого ..."
 
Том 21, № 3 (2014) Об устойчивости состояния равновесия одной модели нейронной сети Аннотация  PDF (Rus)  похожие документы
Юрий Викторович Богомолов
"... . В представленной работе рассматривается задача анализа устойчивости состояний равновесия (стационарного режима ..."
 
Том 25, № 5 (2018) Этюд об устранении рекурсии Аннотация  похожие документы
Николай Вячеславович Шилов
"... , новый) пример устранения рекурсии, основанный на трансформациях программы и анализе задачи, решаемой ..."
 
Том 21, № 6 (2014) О работе семинара «Нелинейная динамика» Аннотация  PDF (Rus)  похожие документы
Статья Редакционная
"... . Доклады были посвящены численному анализу с помощью различных, в том числе гибридных, вычислительных ..."
 
Том 29, № 1 (2022) Алгоритм углового сверхразрешения с использованием разложения Холецкого и его реализация на основе технологии параллельных вычислений Аннотация  PDF (Rus)  похожие документы
Сергей Евгеньевич Мищенко, Николай Витальевич Шацкий
"... по числу операций. Установлено, что предложенный алгоритм при большой размерности задачи обеспечивает ..."
 
Том 22, № 2 (2015) Оценка числа решетчатых разбиений плоскости на центрально-симметричные полимино заданной площади Аннотация  PDF (Rus)  похожие документы
Антон Владимирович Шутов, Екатерина Викторовна Коломейкина
"... В работе рассматривается задача о числе решетчатых разбиений плоскости на центрально–симметричные ..."
 
Том 28, № 1 (2021) Алгоритмы поиска с возвратом для построения гамильтонова разложения 4-регулярного мультиграфа Аннотация  PDF (Rus)  похожие документы
Александр Васильевич Коростиль, Андрей Валерьевич Николаев
"... Рассматривается задача построения гамильтонова разложения регулярного мультиграфа на гамильтоновы ..."
 
Том 24, № 2 (2017) Анализ типизированных зависимостей включения с неопределенными значениями Аннотация  PDF (Rus)  похожие документы
Владимир Сергеевич Зыкин, Сергей Владимирович Зыкин
"... как в постановке задачи, так и в самом ее решении. К постановочным ошибкам можно отнести использование ..."
 
Том 24, № 6 (2017) Семантические средства обеспечения безопасности в программно-конфигурируемых сетях Аннотация  PDF (Rus)  похожие документы
Екатерина Юрьевна Антошина, Дмитрий Юрьевич Чалый
"... в зависимости от требований к качеству обслуживания. Однако при этом возникает задача обеспечения безопасности ..."
 
Том 26, № 3 (2019) Формальная верификация диаграмм троичных цифровых сигналов Аннотация  PDF (Rus)  похожие документы
Нина Юрьевна Куцак, Владислав Васильевич Подымов
"... В работе исследуется задача формальной верификации (математически строгой проверки правильности ..."
 
Том 30, № 1 (2023) Построение оптимальной схемы информационного обмена системы адаптивного управления движением группы беспилотных летательных аппаратов Аннотация  PDF (Rus)  похожие документы
Леонид Николаевич Казаков, Евгений Павлович Кубышкин, Дмитрий Эзрович Палей
"... В работе рассмотрена задача моделирования информационного обмена адаптивной системы управления ..."
 
Том 24, № 4 (2017) Уточнение свойств центроида дерева Аннотация  PDF (Rus)  похожие документы
Юрий Анатольевич Белов, Сергей Иванович Вовчок
"... Работа посвящена уточнению свойств центроида дерева. Внимание авторов привлекла популярная задача ..."
 
Том 20, № 2 (2013) Алгоритм оценки параметров авторегрессионной модели элементарных речевых единиц Аннотация  PDF (Rus)  похожие документы
Иван Вадимович Губочкин
"... Рассмотрена задача оценки параметров авторегрессионной модели элементарных речевых единиц типа ..."
 
Том 33, № 3 (2026) Тензорное разреженное восстановление дифференциальных уравнений нелинейных динамических систем Аннотация  PDF (Rus)  похожие документы
Денис Максимович Тихонов, Вадим Викторович Стрижов
"... В статье рассматривается задача восстановления аналитического вида систем обыкновенных ..."
 
Том 32, № 4 (2025) Алгоритмы комбинаторной генерации на основе структур деревьев И/ИЛИ для класса алгебраических производящих функций Аннотация  PDF (Rus)  похожие документы
Юрий Васильевич Шабля
"... с полиномиальной оценкой вычислительной сложности, что делает их применимыми для решения практических задач ..."
 
Том 25, № 6 (2018) Даже простые процессы π-исчисления трудны для анализа Аннотация  PDF (Rus)  похожие документы
Марат Мазен Аббас, Владимир Анатольевич Захаров
"... криптографических протоколов. Поскольку (π)-исчисление является полной по Тьюрингу моделью вычислений, эта задача ..."
 
Том 28, № 4 (2021) Алгоритм оценивания частоты сигнала на выходе канала с управляемым информационным потоком в условиях фазового шума Аннотация  PDF (Rus)  похожие документы
Леонид Николаевич Казаков, Евгений Павлович Кубышкин, Илья Викторович Лукьянов
"... , в более ранних работах [1] предложен эффективный вычислительный алгоритм оценивания частоты ..."
 
Том 23, № 4 (2016) Облачный сервис для интерактивного моделирования межтерриториальной торговли Аннотация  PDF (Rus)  похожие документы
А. С. Величко, В. В. Грибова, Л. А. Федорищев
"... определяемого как географическое расстояние. Математическая постановка задачи относится к классу выпуклых задач ..."
 
Том 32, № 1 (2025) Доминирующие множества с окрестностью для деревьев Аннотация  PDF (Rus)  похожие документы
Михаил Анатольевич Иорданский
"... (G)$ является NP-полной задачей. В работе рассматривается класс деревьев $t_{d}^{rho}$ диаметра $d$, степени ..."
 
Том 27, № 1 (2020) Исследование свойств АГ-кодов как кодов для защиты от копирования Аннотация  PDF (Rus)  похожие документы
Владимир Михайлович Деундяк, Денис Владимирович Загуменнов
"... задача нахождения нижних и верхних границ значения величины c, в пределах которых алгеброгеометрические ..."
 
Том 28, № 3 (2021) Простой алгоритм отыскания неотрицательного базисного решения системы линейных алгебраических уравнений Аннотация  PDF (Rus)  похожие документы
Глеб Дмитриевич Степанов
"... алгебраических уравнений. Эта задача, в частности, является наиболее трудоемким этапом знаменитого симплекс ..."
 
Том 22, № 6 (2015) Элиминация инвариантов циклов для финитной итерации над неизменяемыми структурами данных в Си программах Аннотация  PDF (Rus)  похожие документы
И. В. Марьясов, В. А. Непомнящий
"... во многих случаях является трудной задачей. В этой статье мы рассматриваем язык C-light, который является ..."
 
Том 33, № 3 (2026) Графовая диффузия в римановом и евклидовом пространствах для декодирования наборов временных рядов Аннотация  PDF (Rus)  похожие документы
Святослав Константинович Панченко, Вадим Викторович Стрижов
"... Решается задача декодирования многомерных временных рядов с высокой дисперсией и высокой ..."
 
Том 26, № 3 (2019) GRID-система на основе европейских стандартов EGI для крупномасштабных расчетов по оригинальному ускоренному методу квантовой химии Аннотация  PDF (Rus)  похожие документы
Николай Алексеевич Аникин, Александр Юрьевич Мускатин, Михаил Борисович Кузьминский, Александр Ильич Русаков
"... применение GRID-систем для задач вычислительной химии. Созданная авторами GRID-система объединяет два ..."
 
Том 27, № 3 (2020) Эффективные алгоритмы проверки эквивалентности для некоторых классов автоматов Аннотация  PDF (Rus)  похожие документы
Владимир Анатольевич Захаров
"... Конечные преобразователи, двухленточные автоматы и биавтоматы — взаимосвязанные вычислительные ..."
 
Том 27, № 4 (2020) О моделировании последовательных реагирующих систем при помощи автоматов, работающих в реальном времени Аннотация  PDF (Rus)  похожие документы
Евгений Максимович Винарский, Владимир Анатольевич Захаров
"... систем хорошо учитываются вычислительными моделями реального времени, к числу которых относятся ..."
 
Том 33, № 1 (2026) Использование симметрии при программировании и верификации арбитра ресурсов Аннотация  PDF (Rus)  похожие документы
Максим Вячеславович Нейзов
"... вычислительно сложной задачей. В работе предлагается альтернативный классическому подход к разработке программ ..."
 
Том 23, № 3 (2016) Численное моделирование процессов формирования полос адиабатического сдвига в композитах Аннотация  PDF (Rus)  похожие документы
Н. А. Кудряшов, Р. В. Муратов, П. Н. Рябов
"... модель данного физического процесса. Для проведения вычислительных экспериментов предложен новый ..."
 
Том 29, № 3 (2022) Исследование моделей топологических отношений пространственных объектов Аннотация  PDF (Rus)  похожие документы
Владислав Геннадьевич Горшков, Дмитрий Михайлович Мурин, Ольга Павловна Якимова
"... проведение ручной или автоматической коррекции ошибок. В связи с развитием вычислительной техники и переводом ..."
 
1 - 62 из 62 результатов

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

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