Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 26, № 1 (2019) Иерархические периферийные вычисления Аннотация  PDF (Rus)  похожие документы
Руслан Леонидович Смелянский
"... The computing paradigm based on the giant-like DC is replaced by a new paradigm. The urgency ..."
 
Том 21, № 2 (2014) О поддержке рекурсивно-параллельного программирования в .NET Framework Аннотация  PDF (Rus)  похожие документы
Владимир Васильевич Васильчиков
"... оформления параллельных ветвей вычислений как мигрирующих процессов, их распределение по сети, передачу ..."
 
Том 29, № 1 (2022) Методы преобразования параллелизма в процессе высокоуровневого синтеза СБИС Аннотация  PDF (Rus)  похожие документы
Игорь Николаевич Рыженко, Олег Владимирович Непомнящий, Александр Иванович Легалов, Владимир Викторович Шайдуров
"... . The principle of constructing a VLSI hardware model based on the functional-flow programming paradigm is stated ..."
 
Том 17, № 2 (2010) Облачные вычисления в Интернете: краткий экскурс в Центр компьютерного моделирования Аннотация  PDF (Rus)  похожие документы
Г. А. Тарнавский
"... The conception of Cloud Computing in Internet is presented on the base of the Computer Simulation ..."
 
Том 19, № 2 (2012) Генерация случайных чисел и параллельных потоков случайных чисел для расчетов Монте-Карло Аннотация  PDF (Rus)  похожие документы
Лев Юрьевич Бараш, Лев Николаевич Щур
 
Том 25, № 2 (2018) Сравнительный анализ устойчивости вычислительных решеток с различной архитектурой узла к индуцированным тупикам Аннотация  PDF (Rus)  похожие документы
Татьяна Рудольфовна Шмелёва
"... , their advantages and disadvantages. A model of a computing grid was constructed in the form of a colored Petri net ..."
 
Том 26, № 1 (2019) Оркестрация жизненного цикла многопользовательской виртуальной сетевой функции Аннотация  PDF (Rus)  похожие документы
Виталий Александрович Антоненко, Руслан Леонидович Смелянский, Артем Владимирович Плакунов, Павел Алексеевич Михеев
"... Network function virtualization (NFV) is a promising technique of high quality, flexible ..."
 
Том 29, № 1 (2022) Алгоритм углового сверхразрешения с использованием разложения Холецкого и его реализация на основе технологии параллельных вычислений Аннотация  PDF (Rus)  похожие документы
Сергей Евгеньевич Мищенко, Николай Витальевич Шацкий
"... computing technology CUDA NVidia are obtained. It is established that the proposed algorithm saves GPU ..."
 
Том 26, № 1 (2019) От главного редактора Аннотация  PDF (Rus)  похожие документы
Валерий Анатольевич Соколов
"... virtualization and cloud computing. The organizers and sponsors of the scientific IT forum were Skoltech, M ..."
 
Том 19, № 6 (2012) Верификация вычислительных решеток с особыми краевыми условиями бесконечными сетями Петри Аннотация  PDF (Rus)  похожие документы
Дмитрий Анатольевич Зайцев
"... A technique of the computing grid verification using invariants of infinite Petri nets ..."
 
Том 27, № 2 (2020) Динамически изменяющийся параллелизм с асинхронно-последовательными потоками данных Аннотация  PDF (Rus)  похожие документы
Александр Иванович Легалов, Иван Васильевич Матковский, Мария Сергеевна Ушакова, Дарья Сергеевна Романова
"... A statically typed version of the data driven functional parallel computing model is proposed ..."
 
Том 25, № 2 (2018) О рекурсивно-параллельном алгоритме решения задачи о рюкзаке Аннотация  PDF (Rus)  похожие документы
Владимир Васильевич Васильчиков
"... for solving the problem, based on the paradigm of recursive-parallel computations. We consider it suited well ..."
 
Том 27, № 2 (2020) Алгоритм оценки максимального времени отклика задач в многопроцессорных системах с интервальной неопределенностью длительности выполнения работ Аннотация  PDF (Rus)  похожие документы
Марк Геннадьевич Гонопольский, Алевтина Борисовна Глонина
"... method, the proposed method is applicable to the analysis of the real scale computing systems and also ..."
 
Том 23, № 2 (2016) Коллективные потоковые вычисления: реляционные модели и алгоритмы Аннотация  PDF (Rus)  похожие документы
Д. А. Усталов
 
Том 27, № 1 (2020) Вычисление производных в пространствах Lp, 1 ≤ p ≤ ∞ Аннотация  PDF (Rus)  похожие документы
Анатолий Николаевич Морозов
"... непосредственное их вычисление. Функция (fin L_p[I], ;p>0,) (при (p=infty) рассматриваются измеримые ..."
 
Том 18, № 3 (2011) Динамическое программирование в обобщенной задаче курьера с внутренними работами: элементы параллельной структуры Аннотация  PDF (Rus)  похожие документы
Алексей Михайлович Григорьев, Евгений Евгеньевич Иванко, Александр Георгиевич Ченцов
"... function values using parallel computing without loss in accuracy is suggested. This procedure is realized ..."
 
Том 25, № 2 (2018) О корректности моделирования модульных вычислительных систем реального времени с помощью сетей временных автоматов Аннотация  PDF (Rus)  похожие документы
Алевтина Борисовна Глонина, Василий Викторович Балашов
"... временных автоматов с остановкой таймеров. По вычислению сети автоматов предлагается строить временную ..."
 
Том 18, № 2 (2011) Организация выполнения объектных запросов в динамической информационной модели DIM Аннотация  PDF (Rus)  похожие документы
Вадим Сергеевич Рублев
 
Том 21, № 3 (2014) Вычисление ляпуновской величины для логистического уравнения с быстро осциллирующим запаздыванием Аннотация  PDF (Rus)  похожие документы
Надежда Дмитриевна Быкова
 
Том 20, № 6 (2013) Гиперболический тетраэдр: вычисление объема с применением к доказательству формулы Шлефли Аннотация  PDF (Rus)  похожие документы
Иджад Хакович Сабитов
"... Мы предлагаем один новый подход к проблеме вычисления объемов тел в пространстве Лобачевского и ..."
 
Том 17, № 2 (2010) Метод оценки частоты выполнения фрагментов кода последовательной программы Аннотация  PDF (Rus)  похожие документы
А. В. Шалимов
"... execution, computing resources allocation, program compaction, and malicious software detection. A new ..."
 
Том 27, № 1 (2020) Параллельный алгоритм решения задачи об изоморфизме графов Аннотация  PDF (Rus)  похожие документы
Владимир Васильевич Васильчиков
"... for parallel computing on a local network in the .NET Framework. Such applications have the ability to generate ..."
 
Том 28, № 2 (2021) Трансформация функционально-потоковых параллельных программ в императивные Аннотация  PDF (Rus)  похожие документы
Владимир Сергеевич Васильев, Александр Иванович Легалов, Сергей Викторович Зыков
"... efficiently on real parallel computing systems and leads to poor performance. To run programs directly ..."
 
Том 20, № 3 (2013) Оптимальные квадратурные формулы приближенного вычисления криволинейного интеграла первого рода для некоторых классов функций и кривых Аннотация  PDF (Rus)  похожие документы
Камаридин Тухлиев
"... .М. Никольского для приближенного вычисления криволинейных интегралов первого рода на классах дифференцируемых ..."
 
Том 30, № 4 (2023) Быстрое вычисление циклических сверток и их приложения в кодовых схемах асимметричного шифрования Аннотация  похожие документы
Андрей Николаевич Сушко, Борис Яковлевич Штейнберг, Кирилл Владимирович Веденев, Антон Анатольевич Глухих, Юрий Владимирович Косолапов
 
Том 23, № 1 (2016) Асимптотические разложения собственных значений периодической и антипериодической краевых задач для сингулярно возмущенных дифференциальных уравнений второго порядка с точками поворота Аннотация  PDF (Rus)  похожие документы
С. А. Кащенко
"... an algorithm for computing all coefficients of asymptotic series for every considered eigenvalue is developed ..."
 
Том 30, № 2 (2023) Рекурсивно-параллельный алгоритм поиска максимального общего подграфа Аннотация  PDF (Rus)  похожие документы
Владимир Васильевич Васильчиков
"... to want to speed up its solution by parallelizing the algorithm. To organize parallel computing ..."
 
Том 27, № 4 (2020) О моделировании последовательных реагирующих систем при помощи автоматов, работающих в реальном времени Аннотация  PDF (Rus)  похожие документы
Евгений Максимович Винарский, Владимир Анатольевич Захаров
"... at the inputs of the system and the delays in computing the output signals. These aspects of reactive system ..."
 
Том 18, № 4 (2011) Ингибиторная сеть Петри, выполняющая произвольный заданный нормальный алгорифм Маркова Аннотация  PDF (Rus)  похожие документы
Дмитрий Анатольевич Зайцев
"... the integer form of representation. Within the paradigm of computations on Petri nets the net built provides ..."
 
Том 23, № 4 (2016) Об оптимизации и распараллеливании алгоритма Литтла для решения задачи коммивояжера Аннотация  PDF (Rus)  похожие документы
В. В. Васильчиков
"... to develop effective applications for parallel computing on a local network using any .NET-compatible ..."
 
Том 29, № 1 (2022) Рекурсивно-параллельный алгоритм решения задачи об изоморфизме граф-подграф Аннотация  PDF (Rus)  похожие документы
Владимир Васильевич Васильчиков
"... applications for parallel computing on a local network under the control of the runtime environment .NET ..."
 
Том 20, № 4 (2013) О разрешимости бездефектности для сетей потоков работ с неограниченным ресурсом Аннотация  PDF (Rus)  похожие документы
Владимир Анатольевич Башкин, Ирина Александровна Ломазова
"... for computing the minimal sound resource for a given sound 1-dim RWF-net. ..."
 
Том 22, № 6 (2015) О преподавании формальных моделей и алгоритмов анализа параллельных систем Аннотация  PDF (Rus)  похожие документы
Н. В. Шилов
"... in high-performance computing. First it sketches course background, objectives, lecture plan and topics ..."
 
Том 23, № 5 (2016) Расслоенное произведение коммутативных алгебр: образующие и соотношения Аннотация  похожие документы
Н. В. Тимофеева
"... and homomorphisms can be described in an arbitrary way. We prove that for computing the fibred product it is enough ..."
 
Том 25, № 2 (2018) Коды в диэдральной групповой алгебре Аннотация  PDF (Rus)  похожие документы
Кирилл Владимирович Веденёв, Владимир Михайлович Деундяк
"... of quantum computing. So, the new classes of error-correcting codes are required for building new resistant ..."
 
Том 27, № 4 (2020) О задаче верификации моделей программ для одного расширения логики CTL* Аннотация  PDF (Rus)  похожие документы
Антон Романович Гнатенко, Владимир Анатольевич Захаров
"... , device drivers, computer interpreters. The result of the operation of such computing systems are infinite ..."
 
Том 18, № 2 (2011) Формат пакета ARTCP. Особенности формирования и обработки заголовков ARTCP в сетевой подсистеме ОС Linux 2.6. Аннотация  PDF (Rus)  похожие документы
Анатолий Александрович Сивов
"... вычисления значения его полей. Обсуждаются вопросы точного вычисления времени прибытия сегментов ARTCP. Также ..."
 
Том 15, № 1 (2008) Объектное расширение PL/ODQL языка запросов ODQL для Динамической информационной модели DIM Аннотация  PDF (Rus)  похожие документы
Д. С. Писаренко
"... Considered a task of creating a computing complete enhancement for ODQL [1] object-dynamic query ..."
 
Том 16, № 3 (2009) Уточнение периода решения уравнения импульсного нейрона при постоянном внешнем электрическом воздействии Аннотация  PDF (Rus)  похожие документы
К. В. Корнилов
"... Рассмотрена задача вычисления периода решения уравнения, описывающего модель импульсного нейрона ..."
 
Том 19, № 4 (2012) О стойкости кодового зашумления к статистическому анализу наблюдаемых данных многократного повторения Аннотация  PDF (Rus)  похожие документы
Владимир Михайлович Деундяк, Юрий Владимирович Косолапов
"... and construct an information analytical model of the observer. The formula for computing amount of volume ..."
 
Том 25, № 4 (2018) Оптимизация инварианта цикла в языке Пифагор Аннотация  PDF (Rus)  похожие документы
Владимир Сергеевич Васильев, Александр Иванович Легалов
"... цикла, применительно к функционально-потоковой модели параллельных вычислений, реализованной в языке ..."
 
Том 17, № 2 (2010) Задача целочисленного сбалансирования трехмерной матрицы и алгоритмы ее решения Аннотация  PDF (Rus)  похожие документы
В. С. Рублев, А. В. Смирнов
"... algorithms of integer-valued bal¬ancing is made according to the results of the computing experiments. NP ..."
 
Том 14, № 2 (2007) О характеристическом наборе коэффициентов черно-белых цифровых изображений, построенных на основе гексагональной решетки Аннотация  PDF (Rus)  похожие документы
И. А. Каплий, П. Г. Парфенов
"... Рассмотрены понятия, связанные с вычислением эйлеровой характеристики изображений, построенных на ..."
 
Том 16, № 4 (2009) Уточнение оценки латентного периода для нейронов с синаптическим взаимодействием Аннотация  PDF (Rus)  похожие документы
О. А. Дунаева
"... Рассмотрена задача вычисления задержки возникновения индуцированного спайка по отношению к моменту ..."
 
Том 21, № 6 (2014) О работе семинара «Нелинейная динамика» Аннотация  PDF (Rus)  похожие документы
Статья Редакционная
"... heat distribution problem using heterogeneous computing architectures. In a number of talks normal ..."
 
Том 26, № 1 (2019) Распределенная отказоустойчивая платформа управления для программно-конфигурируемых сетей Аннотация  PDF (Rus)  похожие документы
Василий Николаевич Пашков
"... communications, computing resources and tools for a controller instance failure and overloading detection ..."
 
Том 30, № 1 (2023) Построение оптимальной схемы информационного обмена системы адаптивного управления движением группы беспилотных летательных аппаратов Аннотация  PDF (Rus)  похожие документы
Леонид Николаевич Казаков, Евгений Павлович Кубышкин, Дмитрий Эзрович Палей
"... actions are specified. This task requires significant computing resources and imposes special requirements ..."
 
Том 25, № 6 (2018) Даже простые процессы π-исчисления трудны для анализа Аннотация  PDF (Rus)  похожие документы
Марат Мазен Аббас, Владимир Анатольевич Захаров
"... Математические модели распределенных вычислений, построенные на основе исчисления мобильных ..."
 
Том 19, № 3 (2012) Пакеты импульсов в системе взаимодействующих осцилляторов с запаздыванием и их статистическая обработка Аннотация  PDF (Rus)  похожие документы
Сергей Дмитриевич Глызин, Елена Александрович Марушкина
"... пары осцилляторов нейронного типа. Удалось установить, что вычисление некоторых статистических ..."
 
Том 18, № 1 (2011) Хаотические колебания одной распределенной динамическом системы с бесконечным запаздыванием Аннотация  PDF (Rus)  похожие документы
А. Ю. Коверга, Е. П. Кубышкин
"... запаздыванием аргумента. Выявлены условия существования хаотических колебаний. Вычислены ляпуновские показатели ..."
 
Том 13, № 1 (2006) Формула для ляпуновской величины задачи о бифуркации автоволн Аннотация  PDF (Rus)  похожие документы
Ю. С. Колесов, А. Е. Харьков
"... многогранна. В данной статье объясняются два аспекта проблемы: вычисление ляпуновской величины теряющего ..."
 
Том 25, № 5 (2018) О безопасности одно- и многоместных IFP-операторов Аннотация  PDF (Rus)  похожие документы
Сергей Михайлович Дудаков
"... ), то есть возможность их вычисления за конечное время. Такие операторы в точности соответствуют ..."
 
Том 21, № 6 (2014) PolarDB – система создания специализированных NoSQL баз данных и СУБД Аннотация  PDF (Rus)  похожие документы
Александр Гурьевич Марчук
"... system of type definitions which allow to create data structures based on different paradigms; b ..."
 
Том 20, № 3 (2013) Самоорганизация, сети, будущее Аннотация  PDF (Rus)  похожие документы
Георгий Геннадьевич Малинецкий, Татьяна Сергеевна Ахромеева, Сергей Александрович Посашков, Светлана Аркадьевна Торопыгина
"... problems of self-organization and a paradigm of network structures. The use of networks in the context ..."
 
Том 20, № 1 (2013) Влияние деформации области на поведение решений распределенной кинетической системы Аннотация  PDF (Rus)  похожие документы
Евгений Павлович Кубышкин
"... механизмы возникновения хаотических аттракторов, для которых вычислены ляпуновские показатели и ляпуновская ..."
 
Том 22, № 3 (2015) ИССЛЕДОВАНИЕ КОЛЕБАТЕЛЬНЫХ РЕШЕНИЙ ДИФФЕРЕНЦИАЛЬНО-РАЗНОСТНОГО УРАВНЕНИЯ ВТОРОГО ПОРЯДКА В ОДНОМ КРИТИЧЕСКОМ СЛУЧАЕ Аннотация  PDF (Rus)  похожие документы
Е. П. Кубышкин, А. Р. Морякова
"... аттрактора, для которого вычислены ляпуновские показатели и ляпуновская размерность. В качестве метода ..."
 
Том 26, № 3 (2019) Об автоматическом анализе практической стойкости обфусцирующих преобразований Аннотация  PDF (Rus)  похожие документы
Петр Дмитриевич Борисов, Юрий Владимирович Косолапов
"... , основанный на вычислении показателя похожести для исходной, обфусцированной и деобфусцированной программ ..."
 
Том 23, № 6 (2016) Подход к верификации семейства мультиагентных систем разрешения конфликтов Аннотация  PDF (Rus)  похожие документы
Н. О. Гаранина, Е. А. Сидорова
"... можно использовать для верификации вычислений на подрешетках, являющихся подграфами решеток вычислений ..."
 
Том 21, № 4 (2014) Эвристические алгоритмы для задачи целочисленного сбалансирования трехмерной матрицы с ограничениями второго рода Аннотация  PDF (Rus)  похожие документы
Александр Валерьевич Смирнов
"... of computing experiments is adduced. ..."
 
Том 23, № 4 (2016) Облачный сервис для интерактивного моделирования межтерриториальной торговли Аннотация  PDF (Rus)  похожие документы
А. С. Величко, В. В. Грибова, Л. А. Федорищев
"... constraints. Based on the model, the software is implemented as a cloud service on heterogeneous computing ..."
 
Том 23, № 6 (2016) Имитационное моделирование для анализа выполнимости приложений реального времени Аннотация  PDF (Rus)  похожие документы
С. Н. Баранов, В. В. Никифоров
"... among application tasks, the amount of the required computing resource being estimated for each segment ..."
 
Том 25, № 1 (2018) Периодические изменения автоволнового фронта в двумерной системе параболических уравнений Аннотация  PDF (Rus)  похожие документы
Алина Александровна Мельникова, Наталья Николаевна Дерюгина
"... of parallel computing techniques and does not allow to effectively analyze and modify the model. In this paper ..."
 
Том 21, № 4 (2014) Применение стохастических метаэвристик в задаче управления данными в мультиклиентском кластере баз данных Аннотация  PDF (Rus)  похожие документы
Евгений Александрович Бойцов
"... developed according to Software as a Service (SaaS) paradigm and allows to place tenants at database servers ..."
 
Том 20, № 4 (2013) Программно-конфигурируемые сети как этап эволюции сетевых технологий Аннотация  PDF (Rus)  похожие документы
Артем Александрович Красотин, Игорь Вадимович Алексеев
"... in the development of a networking paradigm. The article touches on pros and cons as well of the software defined ..."
 
Том 20, № 4 (2013) Проектирование и разработка имитационной модели мультиклиентского кластера баз данных Аннотация  PDF (Rus)  похожие документы
Евгений Александрович Бойцов
"... (SaaS) paradigm which brings a number of advantages for both software developers and end users. However ..."
 
Том 30, № 1 (2023) Расширение языка C для поддержки процедурно-параметрического полиморфизма Аннотация  PDF (Rus)  похожие документы
Александр Иванович Легалов, Павел Владимирович Косов
"... development of programs, a procedural-parametric programming paradigm was proposed, which made it possible ..."
 
Том 21, № 4 (2014) Устойчивость в задаче поиска минимального разреза в графе Аннотация  PDF (Rus)  похожие документы
Илья Владимирович Козлов
"... полиномиальный алгоритм вычисления радиуса устойчивости задачи MINCUT и получен простой критерий n-устойчивости. ..."
 
Том 21, № 4 (2014) Клеточно-локальный алгоритм выделения и оценки изменений на бинарных изображениях Аннотация  PDF (Rus)  похожие документы
Алексей Абрамович Короткин, Александр Андреевич Максимов
"... характеристика степени изменений областей, основанная на коэффициенте сходства Жаккара. Для ее вычисления ..."
 
Том 20, № 6 (2013) Сегментация клинических эндоскопических изображений, основанная на классификации векторных топологических признаков Аннотация  PDF (Rus)  похожие документы
Ольга Александровна Дунаева, Дарья Борисовна Малкова, Михаил Леонидович Мячин, Херберт Эдельсбруннер
"... , вычисление векторных дескрипторов, определенных для каждой точки изображения, и дальнейшую классификацию ..."
 
Том 20, № 4 (2013) Алгоритм (n, t)-пороговой доверенной цифровой подписи с Арбитром Аннотация  PDF (Rus)  похожие документы
Евгений Алексеевич Толюпа
"... завершает вычисление подписи на основании информации, полученной от t участников. Проверяющий может ..."
 
Том 20, № 4 (2013) Алгоритм замещения агентов dataflow-сети на платформе Smart-M3 Аннотация  PDF (Rus)  похожие документы
Андрей Михайлович Васильев, Илья Вячеславович Парамонов, Надежда Станиславовна Лагутина, Эльдар Интизамович Мамедов
"... . Такое замещение позволяет перенести управление и контекст вычислений от преждевременно отключившегося ..."
 
Том 23, № 5 (2016) Компьютерная разностная схема для сингулярно возмущенного параболического уравнения реакции-диффузии при наличии компьютерных возмущений Аннотация  PDF (Rus)  похожие документы
Г. И. Шишкин
"... решений, порождаемые компьютерными возмущениями, то есть вычислениями на компьютере. Получены условия ..."
 
Том 23, № 6 (2016) О минимизации конечных автоматов-преобразователей над полугруппами Аннотация  PDF (Rus)  похожие документы
В. А. Захаров, Г. Г. Темербекова
"... преобразователя вычисляются наибольшие общие левые делители. Затем все вычисленные делители ”поднимаются вверх” по ..."
 
Том 25, № 1 (2018) О переносе ряда понятий статистической радиофизики в теорию одномерных точечных отображений Аннотация  PDF (Rus)  похожие документы
Агалар Магомед-Закиевич Агаларов, Александр Алексеевич Потапов, Александр Эдуардович Рассадин, Антон Викторович Степанов
"... точечных отображений показан также прямым её вычислением для отображения «зуб пилы» с линейным начальным ..."
 
Том 31, № 1 (2024) Верификация моделей программ на процесс-ориентированном расширении языка Structured Text стандарта IEC 61131-3 Аннотация  PDF (Rus)  похожие документы
Наталья Олеговна Гаранина, Сергей Михайлович Старолетов, Владимир Евгеньевич Зюбин, Игорь Сергеевич Ануреев
"... The process-oriented programming is a paradigm based on the process concept where each process ..."
 
1 - 75 из 114 результатов 1 2 > >> 

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

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