Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 17, № 1 (2010) Двухшаговый экстраградиентный метод для задачи управления ресурсами Аннотация  PDF (Rus)  похожие документы
А. В. Зыкина, Н. В. Меленьчук
"... of linear programming, variational inequalities and some related problems. The convergence of this method ..."
 
Том 23, № 3 (2016) Сходимость сеточного решения задачи Дирихле с разрывной про- изводной граничной функции для сингулярно возмущенного уравнения конвекции- диффузии Аннотация  похожие документы
Т. Я. Ершова
"... the layer decreases the error and gives the first-order convergence. The article is published in the author ..."
 
Том 23, № 5 (2016) Численное исследование начально-краевой задачи Неймана для сингулярно возмущенного параболического уравнения Аннотация  PDF (Rus)  похожие документы
Л. П. Шишкина
"... in neighborhoods of the lateral boundary. In the paper, convergence of the problem solution and its regular ..."
 
Том 18, № 3 (2011) О двух конечномерных аппроксимациях периодической краевой задачи Аннотация  PDF (Rus)  похожие документы
Николай Андреевич Демьянков
"... of approximate solutions convergence is studied. ..."
 
Том 19, № 4 (2012) Об одной нестационарной задаче маршрутизации с ограничениями Аннотация  PDF (Rus)  похожие документы
Александр Георгиевич Ченцов, Павел Александрович Ченцов
"... , and so on). An economic variant of the widely interpreted dynamic programming method (DPM) is constructed ..."
 
Том 28, № 4 (2021) Решение задач линейного программирования приведением к виду с очевидным ответом Аннотация  PDF (Rus)  похожие документы
Глеб Дмитриевич Степанов
"... The article considers a method for solving a linear programming problem (LPP), which requires ..."
 
Том 21, № 2 (2014) О поддержке рекурсивно-параллельного программирования в .NET Framework Аннотация  PDF (Rus)  похожие документы
Владимир Васильевич Васильчиков
"... The paper describes software components to support recursive-parallel programming for the .NET ..."
 
Том 18, № 3 (2011) Динамическое программирование в обобщенной задаче курьера с внутренними работами: элементы параллельной структуры Аннотация  PDF (Rus)  похожие документы
Алексей Михайлович Григорьев, Евгений Евгеньевич Иванко, Александр Георгиевич Ченцов
"... In the article we concern the questions connected with the realization of a dynamic programming ..."
 
Том 17, № 2 (2010) О нецелочисленных вершинах релаксаций многогранника задачи 3-ВЫПОЛНИМОСТЬ Аннотация  PDF (Rus)  похожие документы
А. В. Николаев
"... Устанавливаются новые факты, характеризующие множество вершин релаксационного многогранника задачи ..."
 
Том 22, № 2 (2015) Об одной задаче маршрутизации перемещений инструмента при листовой резке деталей Аннотация  PDF (Rus)  похожие документы
Александр Александрович Петунин, Александр Георгиевич Ченцов, Павел Александрович Ченцов
"... on the dynamic programming and an effective heuristic algorithm realized on a multicore computer are proposed ..."
 
Том 29, № 3 (2022) Трансформация модели памяти языка программирования C в объектно-ориентированное представление на языке EO Аннотация  PDF (Rus)  похожие документы
Александр Иванович Легалов, Егор Георгиевич Бугаенко, Николай Константинович Чуйкин, Максим Владимирович Шипицин, Ярослав Иванович Рябцев, Андрей Николаевич Каменский
"... The paper analyzes the possibilities of transforming C programming language constructs into objects ..."
 
Том 24, № 5 (2017) Варианты метода коллокации и наименьших невязок для решения задач математической физики в выпуклых четырехугольных областях Аннотация  PDF (Rus)  похожие документы
Василий Алексеевич Беляев, Василий Павлович Шапеев
"... of the test problems in the case of the known solution in numerical experiments on the convergence ..."
 
Том 28, № 4 (2021) Подход к автонастройке параллельных программ методом проверки моделей Аннотация  PDF (Rus)  похожие документы
Наталья Олеговна Гаранина, Сергей Петрович Горлач
"... modern language that extends the C language for programming both standard multi-core processors (CPUs ..."
 
Том 23, № 1 (2016) A Special Role of Boolean Quadratic Polytopes among Other Combinatorial Polytopes Аннотация  PDF (Rus)  похожие документы
Александр Николаевич Максименко
"... problems: maximum cut, Boolean quadratic programming, quadratic linear ordering, quadratic assignment, set ..."
 
Том 19, № 4 (2012) Замечания о расположениях точек на квадриках Аннотация  PDF (Rus)  похожие документы
Александр Владиславович Селиверстов
"... programming, empty quadric, polytope, facet ..."
 
Том 25, № 2 (2018) О рекурсивно-параллельном алгоритме решения задачи о рюкзаке Аннотация  PDF (Rus)  похожие документы
Владимир Васильевич Васильчиков
"... for the .NET Framework can be used as a programming language in conjunction with this library. For our ..."
 
Том 22, № 3 (2015) ПОСТРОЕНИЕ РАСПИСАНИЙ ОБСЛУЖИВАНИЯ СТАЦИОНАРНЫХ ОБЪЕКТОВ ПЕРЕМЕЩАЮЩИМСЯ В ОДНОМЕРНОЙ ЗОНЕ ПРОЦЕССОРОМ Аннотация  похожие документы
Н. А. Дуничкина, Д. И. Коган, Ю. С. Федосенко
"... algorithms are based on dynamic programming and Pareto principle, the implementations of these algorithms ..."
 
Том 27, № 1 (2020) Параллельный алгоритм решения задачи об изоморфизме графов Аннотация  PDF (Rus)  похожие документы
Владимир Васильевич Васильчиков
"... between computing modules. Any language with support for the .NET Framework can be used as a programming ..."
 
Том 23, № 4 (2016) Об оптимизации и распараллеливании алгоритма Литтла для решения задачи коммивояжера Аннотация  PDF (Rus)  похожие документы
В. В. Васильчиков
"... programming language. We used C# to develop the programs. Parallel applications were developed as for basic ..."
 
Том 23, № 1 (2016) Продолжение решения на границе разрыва как решение задачи усредненной оптимизации Аннотация  PDF (Rus)  похожие документы
А. М. Цирлин
"...  of multidimensional problems. Optimality conditions set forth averaged nonlinear programming and examples of their use ..."
 
Том 21, № 5 (2014) Применение систем компьютерной алгебры для построения метода коллокаций и наименьших невязок решения трехмерных уравнений Навье–Стокса Аннотация  PDF (Rus)  похожие документы
Василий Павлович Шапеев, Евгений Васильевич Ворожцов
"... language. For accelerating the convergence of iterations a sufficiently universal algorithm is proposed ..."
 
Том 28, № 3 (2021) Простой алгоритм отыскания неотрицательного базисного решения системы линейных алгебраических уравнений Аннотация  PDF (Rus)  похожие документы
Глеб Дмитриевич Степанов
"... , is the most time-consuming part of the famous simplex method for solving linear programming problems. Unlike ..."
 
Том 29, № 1 (2022) Рекурсивно-параллельный алгоритм решения задачи об изоморфизме граф-подграф Аннотация  PDF (Rus)  похожие документы
Владимир Васильевич Васильчиков
"... language with support of the .NET Framework can be used as a programming language in conjunction ..."
 
Том 24, № 2 (2017) Задачи оптимизации с усреднением по части переменных и условия их оптимальности в форме принципа максимума Аннотация  PDF (Rus)  похожие документы
Анатолий Михайлович Цирлин
"... The problems of nonlinear programming, criteria and limitations depend on the variables averaged ..."
 
Том 18, № 4 (2011) Верификация шаблонов алгоритмов для метода отката и метода ветвей и границ Аннотация  PDF (Rus)  похожие документы
Николай Вячеславович Шилов
"... -and-conquer, dynamic programming, backtracking and branch-and-bound. Naturally, all the listed design patterns ..."
 
Том 15, № 1 (2008) Среда рекурсивно-параллельного программирования для Win32 Аннотация  PDF (Rus)  похожие документы
В. В. Васильчиков
"... The new version of the recursive parallel programming shell for Win32 is reviewed. ..."
 
Том 23, № 2 (2016) Задача маршрутизации, осложненная зависимостью функций стоимости и "текущих" ограничений от списка заданий Аннотация  PDF (Rus)  похожие документы
А. Г. Ченцов, А. А. Ченцов
"... programming is considered in this article. The used algorithm is realized on a personal computer; the results ..."
 
Том 27, № 1 (2020) Иерархическая кластеризация как метод снижения размерности в задаче оптимизации инвестиционного портфеля Марковица Аннотация  PDF (Rus)  похожие документы
Анатолий Юрьевич Полетаев, Елена Михайловна Спиридонова
"... method are given. For the experiments the Python programming language and its libraries: scipy ..."
 
Том 25, № 5 (2018) Этюд об устранении рекурсии Аннотация  похожие документы
Николай Вячеславович Шилов
"... of programming. Great computer scientists contributed to these studies: John McCarthy, Amir Pnueli, Donald Knuth ..."
 
Том 21, № 4 (2014) Транслятор с возможностью статического анализа безопасности информационных потоков для простого языка программирования Аннотация  PDF (Rus)  похожие документы
Екатерина Юрьевна Антошина, Александра Николаевна Баракова, Евгений Сергеевич Никитин, Дмитрий Юрьевич Чалый
 
Том 24, № 6 (2017) Прототип статического тайп-чекера для языка программирования Jolie Аннотация  похожие документы
Даниэль де Карвальо, Мануэль Маццара, Богдан Мингела, Лариса Сафина, Александр Чичигин, Николай Трошков
"... the remaining. The current state of the Jolie programming language includes a dynamic type system. Consequently ..."
 
Том 19, № 4 (2012) Преобразование хвостовых рекурсий в функционально-потоковых параллельных программах Аннотация  PDF (Rus)  похожие документы
Александр Иванович Легалов, Олег Владимирович Непомнящий, Иван Васильевич Матковский, Мария Сергеевна Кропачева
 
Том 19, № 5 (2012) Формальная верификация программ, написанных на функционально-потоковом языке параллельного программирования Аннотация  PDF (Rus)  похожие документы
Мария Сергеевна Кропачева, Александр Иванович Легалов
"... on the axiomatic approach. Formal system for functional data-flow parallel programming language Pifagor ..."
 
Том 22, № 4 (2015) Автоматизация формальной верификации программ на языке Пифагор Аннотация  PDF (Rus)  похожие документы
М. С. Ушакова, А. И. Легалов
"... of formal verification. The method of deduction based on Hoare logic could be used for any programming ..."
 
Том 25, № 4 (2018) Верификация программ со взаимной рекурсией на языке Пифагор Аннотация  PDF (Rus)  похожие документы
Мария Сергеевна Ушакова, Александр Иванович Легалов
 
Том 30, № 1 (2023) Расширение языка C для поддержки процедурно-параметрического полиморфизма Аннотация  PDF (Rus)  похожие документы
Александр Иванович Легалов, Павел Владимирович Косов
"... development of programs, a procedural-parametric programming paradigm was proposed, which made it possible ..."
 
Том 19, № 4 (2012) О построении и верификации программ логических контроллеров Аннотация  PDF (Rus)  похожие документы
Егор Владимирович Кузьмин, Валерий Анатольевич Соколов
"... We review some methods and approaches to programming discrete problems for Programmable Logic ..."
 
Том 20, № 3 (2013) Преобразования задач оптимального управления Аннотация  PDF (Rus)  похожие документы
Анатолий Михайлович Цирлин
"... Рассмотрены методы преобразования вариационных задач оптимального управления (замены фазовых ..."
 
Том 20, № 2 (2013) Моделирование, спецификация и построение программ логических контроллеров Аннотация  PDF (Rus)  похожие документы
Егор Владимирович Кузьмин, Валерий Анатольевич Соколов
"... A new approach to construction of reliable discrete PLC-programs with timers — programming based ..."
 
Том 17, № 4 (2010) Верификация и синтез программ сложения на базе правил корректности операторов Аннотация  PDF (Rus)  похожие документы
В. И. Шелехов
"... of the rules of program correctness for statements of the predicate programming P language. The paper presents ..."
 
Том 29, № 1 (2022) Методы преобразования параллелизма в процессе высокоуровневого синтеза СБИС Аннотация  PDF (Rus)  похожие документы
Игорь Николаевич Рыженко, Олег Владимирович Непомнящий, Александр Иванович Легалов, Владимир Викторович Шайдуров
"... . The principle of constructing a VLSI hardware model based on the functional-flow programming paradigm is stated ..."
 
Том 28, № 4 (2021) Замечания о последних достижениях в доказательстве устойчивости с использованием KeYmaeraX Аннотация  PDF (Rus)  похожие документы
Томас Баар, Хорст Шульте
"... , the controller can be seen as an algorithm formulated in a classical programming language. In this paper, we ..."
 
Том 28, № 4 (2021) Рекурсивная проверка включения для рекурсивно определенных подтипов Аннотация  PDF (Rus)  похожие документы
Ханс Де Нивелле
"... in a programming language. This work is part of a project to design a new programming language suitable ..."
 
Том 25, № 4 (2018) Оптимизация инварианта цикла в языке Пифагор Аннотация  PDF (Rus)  похожие документы
Владимир Сергеевич Васильев, Александр Иванович Легалов
"... , applied to the functional data-flow model implemented in the Pifagor programming language. Optimization ..."
 
Том 18, № 2 (2011) Задача о роботах на Марсе (мультиагентный подход к задаче Дейкстры) Аннотация  PDF (Rus)  похожие документы
Евгений Викторович Бодин, Наталья Олеговна Гаранина, Николай Вячеславович Шилов
"... Изучаются мультиагентные алгоритмы для так называемой задачи о роботах на Марсе. Эту задачу можно ..."
 
Том 19, № 1 (2012) Задача адаптации обобщенного нейронного элемента Аннотация  PDF (Rus)  похожие документы
Евгений Владиславович Коновалов
"... задача адаптации обобщенного нейронного элемента автогенераторного типа. ..."
 
Том 24, № 4 (2017) О задаче минимизации последовательных программ Аннотация  PDF (Rus)  похожие документы
Владимир Анатольевич Захаров, Шынар Рустамбековна Жайлауова
"... программ, предназначенная для решения задач оптимизации и верификации программ. Мы рассматриваем разрешимое ..."
 
Том 20, № 2 (2013) Асимптотика решения бисингулярной задачи для системы линейных параболических уравнений. II Аннотация  PDF (Rus)  похожие документы
Мария Валентиновна Бутузова
"... Для решения бисингулярной начально-краевой задачи для системы параболических уравнений, содержащей ..."
 
Том 20, № 1 (2013) Асимптотика решения бисингулярной задачи для системы линейных параболических уравнений. I Аннотация  PDF (Rus)  похожие документы
Мария Валентиновна Бутузова
"... Для решения бисингулярной начально-краевой задачи для системы линейных параболических уравнений ..."
 
Том 20, № 1 (2013) Изгибания равносторонних многоугольников с сохранением индекса Аннотация  PDF (Rus)  похожие документы
Екатерина Сергеевна Запутряева
"... Рассматривается вариант "задачи плотника" (задачи об изгибании плоских многоугольников) для ..."
 
Том 23, № 3 (2016) Двухточечная краевая задача Капуто: существование, единствен- ность и регулярность решения Аннотация  похожие документы
М. Стайнс
"... Рассматривается двухточечная краевая задача на промежутке [0,1], в которой старшая производная ..."
 
Том 24, № 5 (2017) Устойчивость решений дискретных краевых задач для уравнения двумерной фильтрации Аннотация  PDF (Rus)  похожие документы
Сергей Александрович Кащенко
"... фильтрации. Анализируются различные постановки начальной задачи. В качестве основных результатов для каждой ..."
 
Том 21, № 2 (2014) Построение IL-программ ПЛК по LTL-спецификации Аннотация  PDF (Rus)  похожие документы
Дмитрий Александрович Рябухин, Егор Владимирович Кузьмин, Валерий Анатольевич Соколов
"... . Programming is carried out in the IL-language (Instruction List) according to an LTL-specification ..."
 
Том 20, № 6 (2013) Построение и верификация LD-программ ПЛК по LTL-спецификации Аннотация  PDF (Rus)  похожие документы
Егор Владимирович Кузьмин, Валерий Анатольевич Соколов, Дмитрий Александрович Рябухин
"... . For the specification of the program behavior, we use the linear-time temporal logic LTL. Programming is carried out ..."
 
Том 20, № 4 (2013) Построение и верификация ПЛК-программ по LTL-спецификации Аннотация  PDF (Rus)  похожие документы
Егор Владимирович Кузьмин, Валерий Анатольевич Соколов, Дмитрий Александрович Рябухин
"... . For the specification of a program behavior we use the linear-time temporal logic LTL. Programming is carried out ..."
 
Том 21, № 5 (2014) Оптимальное управление поведением решений начально-краевой задачи, моделирующей вращение твердого тела с упругим стержнем Аннотация  PDF (Rus)  похожие документы
Евгений Павлович Кубышкин, Михаил Сергеевич Тряхов
"... Рассмотрена начально-краевая задача, моделирующая вращение дискретно-континуальной механической ..."
 
Том 18, № 4 (2011) Простой алгоритм решения задачи покрытия для монотонных счетчиковых систем Аннотация  PDF (Rus)  похожие документы
Андрей Валентинович Климов
"... Предложен алгоритм решения задачи покрытия для монотонных счетчиковых систем. Разрешимость этой ..."
 
Том 28, № 2 (2021) Выделение условий разрешимости NP-полных задач для класса предфрактальных графов Аннотация  PDF (Rus)  похожие документы
Александр Васильевич Тимошенко, Расул Ахматович Кочкаров, Азрет Ахматович Кочкаров
"... связей между ее элементами. Ряд дискретных задач по построению оптимальных подструктур сетевых систем ..."
 
Том 28, № 2 (2021) Трансформация функционально-потоковых параллельных программ в императивные Аннотация  PDF (Rus)  похожие документы
Владимир Сергеевич Васильев, Александр Иванович Легалов, Сергей Викторович Зыков
"... Functional dataflow programming languages are designed to create parallel portable programs ..."
 
Том 31, № 1 (2024) Шаблоны требований в дедуктивной верификации poST-программ Аннотация  PDF (Rus)  похожие документы
Иван Михайлович Черненко, Игорь Сергеевич Ануреев, Наталья Олеговна Гаранина
"... Process-oriented programming is one of the approaches to developing control software. A process ..."
 
Том 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 ..."
 
Том 31, № 4 (2024) Подход к автоматизации дедуктивной верификации процесс-ориентированных программ, основанный на шаблонах: шаблоны, леммы и алгоритмы Аннотация  PDF (Rus)  похожие документы
Иван Михайлович Черненко, Игорь Сергеевич Ануреев
"... Process-oriented programming is an approach to developing control software in which a program ..."
 
Том 21, № 6 (2014) О некоторых задачах реконфигурирования программно-конфигурируемых сетей Аннотация  PDF (Rus)  похожие документы
Владимир Анатольевич Захаров, Евгений Викторович Чемерицкий
"... проблемы реконфигурирования сетей — это задача плавного восстановления заданной сетевой конфигурации, после ..."
 
Том 19, № 6 (2012) О некоторых задачах локализации в триангуляциях Делоне Аннотация  PDF (Rus)  похожие документы
Наталья Федоровна Дышкант
"... Рассматриваются постановки задач локализации узлов в триангуляциях Делоне и методы их решения. Для ..."
 
Том 14, № 2 (2007) О релаксационном многограннике задачи «3-выполнимость» Аннотация  PDF (Rus)  похожие документы
Б. В. Урываев
"... Исследуются свойства многогранника, ассоциированного с задачей «3-выполнимость». Устанавливается, в ..."
 
Том 17, № 3 (2010) Гиперплоскости универсальной экстремали некоторых задач оптимизации Аннотация  PDF (Rus)  похожие документы
Н. П. Федотова
"... позволяет в ряде дискретных оптимизационных задач упростить выбор критерия оптимизации, взяв вместо него ..."
 
Том 24, № 6 (2017) Задача о кратчайшем пути в кратном графе Аннотация  PDF (Rus)  похожие документы
Александр Валерьевич Смирнов
"... . Рассматривается критерий существования кратного пути между двумя вершинами и ставится задача о кратчайшем кратном ..."
 
Том 19, № 6 (2012) Полиэдральные графы задач РАЗБИЕНИЕ НА ТРЕУГОЛЬНИКИ и ПОЛНЫЙ ДВУДОЛЬНЫЙ ПОДГРАФ Аннотация  PDF (Rus)  похожие документы
Анатолий Игоревич Антонов, Владимир Александрович Бондаренко
"... Приводится эффективное описание графов многогранников задач РАЗБИЕНИЕ НА ТРЕУГОЛЬНИКИ и ПОЛНЫЙ ..."
 
Том 22, № 5 (2015) Одномодовые и двухмодовые неоднородные диссипативные структуры в нелокальной модели эрозии Аннотация  PDF (Rus)  похожие документы
А. М. Ковалева, Д. А. Куликов
"... Рассмотрена периодическая краевая задача для одного нелинейного уравнения с отклоняющимся ..."
 
Том 22, № 5 (2015) Асимптотика собственных чисел первой краевой задачи для сингулярно возмущенного дифференциального уравнения второго порядка с точками поворота Аннотация  PDF (Rus)  похожие документы
С. А. Кащенко
"... производной. Исследуется вопрос об асимптотике всех собственных значений первой краевой задачи (задачи Дирихле ..."
 
Том 23, № 1 (2016) Асимптотические разложения собственных чисел первой краевой задачи для сингулярно возмущенного дифференциального уравнения второго порядка с точками поворота Аннотация  PDF (Rus)  похожие документы
С. А. Кащенко
"... при старшей производной собственных значений первой краевой задачи. Основное предположение состоит в ..."
 
Том 23, № 1 (2016) Асимптотические разложения собственных значений периодической и антипериодической краевых задач для сингулярно возмущенных дифференциальных уравнений второго порядка с точками поворота Аннотация  PDF (Rus)  похожие документы
С. А. Кащенко
"... краевых задач для уравнения второго порядка с малым множителем при старшей производной. Основное ..."
 
Том 24, № 1 (2017) Асимптотические законы распределений собственных значений периодической и антипериодической краевых задач для дифференциальных уравнений второго порядка Аннотация  PDF (Rus)  похожие документы
Сергей Александрович Кащенко
"... антипериодической краевых задач для линейного уравнения второго порядка с периодическими коэффициентами. Это дает ..."
 
Том 21, № 4 (2014) Клеточно-локальный алгоритм выделения и оценки изменений на бинарных изображениях Аннотация  PDF (Rus)  похожие документы
Алексей Абрамович Короткин, Александр Андреевич Максимов
"... Рассматривается задача выделения изменений и оценки степени этих изменений на динамически ..."
 
Том 16, № 4 (2009) Метод автоматического построения алгоритмов распознавания участков фазовых траекторий Аннотация  PDF (Rus)  похожие документы
Д. С. Коваленко
"... Рассматривается задача автоматического построения алгоритмов распознавания нештатного поведения ..."
 
1 - 75 из 407 результатов 1 2 3 4 5 6 > >> 

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

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