Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 25, № 4 (2018) Верификация программ со взаимной рекурсией на языке Пифагор Аннотация  PDF (Rus)  похожие документы
Мария Сергеевна Ушакова, Александр Иванович Легалов
"... that simulates all the functions in the mutual recursion. A natural number is assigned to each function in mutual ..."
 
Том 25, № 5 (2018) Этюд об устранении рекурсии Аннотация  похожие документы
Николай Вячеславович Шилов
"... ... Many fascinating examples were examined and resulted in recursion elimination techniques known as tail ..."
 
Том 21, № 2 (2014) О поддержке рекурсивно-параллельного программирования в .NET Framework Аннотация  PDF (Rus)  похожие документы
Владимир Васильевич Васильчиков
"... Рассматриваются программные компоненты для поддержки рекурсивно-параллельного программирования в ..."
 
Том 25, № 2 (2018) О рекурсивно-параллельном алгоритме решения задачи о рюкзаке Аннотация  PDF (Rus)  похожие документы
Владимир Васильевич Васильчиков
"... алгоритм решения задачи, основанный на парадигме рекурсивно-параллельных вычислений. Он представляется нам ..."
 
Том 30, № 2 (2023) Рекурсивно-параллельный алгоритм поиска максимального общего подграфа Аннотация  PDF (Rus)  похожие документы
Владимир Васильевич Васильчиков
"... вычислительной сети под управлением среды исполнения .NET Framework. Библиотека поддерживает рекурсивно ..."
 
Том 29, № 1 (2022) Рекурсивно-параллельный алгоритм решения задачи об изоморфизме граф-подграф Аннотация  PDF (Rus)  похожие документы
Владимир Васильевич Васильчиков
"... вычислительной сети под управлением среды исполнения .NET Framework. Библиотека поддерживает рекурсивно ..."
 
Том 27, № 1 (2020) Параллельный алгоритм решения задачи об изоморфизме графов Аннотация  PDF (Rus)  похожие документы
Владимир Васильевич Васильчиков
"... вычислительной сети под управлением среды исполнения .NET Framework. Библиотека поддерживает рекурсивно ..."
 
Том 23, № 4 (2016) Об оптимизации и распараллеливании алгоритма Литтла для решения задачи коммивояжера Аннотация  PDF (Rus)  похожие документы
В. В. Васильчиков
"... представляется использование рекурсивно-параллельной организации вычислений. В нашем случае хорошим выбором ..."
 
Том 19, № 4 (2012) Преобразование хвостовых рекурсий в функционально-потоковых параллельных программах Аннотация  PDF (Rus)  похожие документы
Александр Иванович Легалов, Олег Владимирович Непомнящий, Иван Васильевич Матковский, Мария Сергеевна Кропачева
 
Том 28, № 4 (2021) Рекурсивная проверка включения для рекурсивно определенных подтипов Аннотация  PDF (Rus)  похожие документы
Ханс Де Нивелле
"... of functions. We define the types and the subtypes (which we will call adjectives), define their semantics ..."
 
Том 27, № 3 (2020) О проблеме существования конечных базисов тождеств в алгебрах рекурсивных функций Аннотация  PDF (Rus)  похожие документы
Валерий Анатольевич Соколов
"... Raphael Robinson showed that all primitive recursive functions depending on one argument, and only ..."
 
Том 27, № 4 (2020) Исправление к статье: В. А. Соколов, “О проблеме существования конечных базисов тождеств в алгебрах рекурсивных функций”, Моделирование и анализ информационных систем, Том. 27, № 3, с. 304-315, 2020. DOI: https://doi.org/10.18255/1818-1015-2020-3-304-315 Аннотация  PDF (Rus)  похожие документы
Валерий Анатольевич Соколов
"... functions”, Bulletin of the American Mathematical Society, vol. 53, no. 10,pp. 925-942, 1947. [4] J ..."
 
Том 28, № 3 (2021) Исправление к статье: В. В. Васильчиков, «Параллельный алгоритм решения задачи об изоморфизме графов», Моделирование и анализ информационных систем, Том 27, №1, с. 86–94, 2020. DOI: https://doi.org/10.18255/1818-1015-2020-1-86-94 Аннотация  PDF (Rus)  похожие документы
Владимир Васильевич Васильчиков
 
Том 25, № 3 (2018) О дифференцируемости по Тейлору в пространствах Lp, 0 < p ≤ ∞ Аннотация  PDF (Rus)  похожие документы
Анатолий Николаевич Морозов
"... The function (fin L_p[I], ;p>0,) is called ((k,p))-differentiable at a point (x_0in I ..."
 
Том 23, № 1 (2016) Асимптотика моментов функции Такаги Аннотация  PDF (Rus)  похожие документы
Е. А. Tимофеев
"... Takagi function is a simple example of a continuous but nowhere differentiable function ..."
 
Том 29, № 2 (2022) Применение функций голосования для оценки числа монотонных самодвойственных булевых функций Аннотация  PDF (Rus)  похожие документы
Леонид Юрьевич Быстров, Егор Владимирович Кузьмин
"... boolean functions. For other precomplete classes, general formulas for the number of functions ..."
 
Том 26, № 1 (2019) Оркестрация жизненного цикла многопользовательской виртуальной сетевой функции Аннотация  PDF (Rus)  похожие документы
Виталий Александрович Антоненко, Руслан Леонидович Смелянский, Артем Владимирович Плакунов, Павел Алексеевич Михеев
"... Network function virtualization (NFV) is a promising technique of high quality, flexible ..."
 
Том 22, № 5 (2015) Асимптотика моментов сингулярной функции Лебега Аннотация  PDF (Rus)  похожие документы
Е. А. Tимофеев
"... Recall Lebesgue’s singular function. Imagine flipping a biased coin with probability p of heads ..."
 
Том 22, № 1 (2015) О приближении периодических функций в L₂ и значениях поперечников некоторых классов функций Аннотация  PDF (Rus)  похожие документы
Камаридин Тухлиев
"... (f;t) determined by Steklov’s function is used instead the usual modulus of continuity of mth order ..."
 
Том 24, № 3 (2017) Исследование динамики класса одномерных кусочно-линейных отображений с одним разрывом Аннотация  PDF (Rus)  похожие документы
Григорий Андреевич Ахременко
"... are selected. In particular, it was ascertained that for this  class of functions,  under  condition ..."
 
Том 24, № 4 (2017) Разложение самоподобных функций в системе Фабера–Шаудера Аннотация  PDF (Rus)  похожие документы
Евгений Александрович Тимофеев
"... _k}, j = j_12^{n-1}+j_22^{n-2}+dots+j_n$$. The family of functions (1,x,tau(2^nx-j)), (j =0,1,dots ..."
 
Том 23, № 5 (2016) Полилогарифмы и асимптотика моментов сингулярной функции Лебега Аннотация  PDF (Rus)  похожие документы
Е. А. Tимофеев
"... Recall the Lebesgue's singular function. We define a Lebesgue's singular function (L(t ..."
 
Том 20, № 6 (2013) Построение оценки энтропии для специальной метрики и произвольной функции Аннотация  PDF (Rus)  похожие документы
Нина Евгеньевна Тимофеева
"... the logarithm in the estimation of the entropy, we apply a similar function which may be arbitrary at the given ..."
 
Том 25, № 3 (2018) Oб оптимальной интерполяции линейными функциями на n-мерном кубе Аннотация  PDF (Rus)  похожие документы
Михаил Викторович Невский, Алексей Юрьевич Ухалов
"... the space of continuous functions (f:Q_nto{mathbb R}) with the norm (|f|_{C(Q_n)}:=maxlimits_{x ..."
 
Том 22, № 1 (2015) Метод логистической функции для нахождения аналитических решений нелинейных дифференциальных уравнений Аннотация  похожие документы
Николай Алексеевич Кудряшов
"... The method of the logistic function is presented for finding exact solutions of nonlinear ..."
 
Том 25, № 6 (2018) Платформенно-независимая спецификация и верификация стандартной математической функции квадратного корня Аннотация  PDF (Rus)  похожие документы
Николай Вячеславович Шилов, Дмитрий Александрович Кондратьев, Игорь Сергеевич Ануреев, Евгений Викторович Бодин, Алексей Владимирович Промский
"... mathematical functions” is aimed onto the development of incremental combined approach to specification ..."
 
Том 29, № 3 (2022) Формирование признаков машинного обучения на основе построения тропических функций Аннотация  PDF (Rus)  похожие документы
Сергей Николаевич Чуканов, Илья Станиславович Чуканов
"... of data objects. The paper considers mathematical models and functions for representing persistent ..."
 
Том 26, № 4 (2019) Доказательство свойств дискретных функций с помощью дедуктивного доказательства: приложение к квадратному корню Аннотация  похожие документы
Васил Тодоров, Сафуан Таха, Фредерик Буланже, Армандо Эрнандес
"... and even avoid unit testing. In this paper, we chose a production use case: a function calculating ..."
 
Том 17, № 3 (2010) Разрешимость теории Th(w, 0,1, <, +, f0,..., fn) Аннотация  PDF (Rus)  похожие документы
А. С. Снятков
"... functions fi,i > 0. They are called "hyperfuncctions" and they are obtained when we iterate an addition ..."
 
Том 25, № 4 (2018) Оптимизация инварианта цикла в языке Пифагор Аннотация  PDF (Rus)  похожие документы
Владимир Сергеевич Васильев, Александр Иванович Легалов
"... execution. In the case of optimizing a recursive function, repeated calculations are carried out ..."
 
Том 30, № 2 (2023) Полином Жегалкина многоместного самодостаточного оператора Аннотация  PDF (Rus)  похожие документы
Леонид Юрьевич Быстров, Егор Владимирович Кузьмин
"... Among functionally complete sets of Boolean functions, sole sufficient operators are of particular ..."
 
Том 20, № 6 (2013) Обнаружение дефектов в программном обеспечении путем объединения ограниченной проверки моделей и аппроксимации функций Аннотация  PDF (Rus)  похожие документы
Марат Халимович Ахин, Михаил Анатольевич Беляев, Владимир Михайлович Ицыксон
"... of various function summaries to improve analysis efficiency and expressive power. We have implemented ..."
 
Том 25, № 5 (2018) О безопасности одно- и многоместных IFP-операторов Аннотация  PDF (Rus)  похожие документы
Сергей Михайлович Дудаков
"... that if recursive queries contain universe functions and relations, then its execution can fall into an infinite ..."
 
Том 21, № 3 (2014) Об одной оптимальной кубатурной формуле для классов функций, задаваемых модулями непрерывности Аннотация  PDF (Rus)  похожие документы
Мирганд Шабозович Шабозов
"... The problem of minimizing the error of a cubature formula on the classes of functions given ..."
 
Том 18, № 2 (2011) Об одном представлении функции в модели императивной программы, заданной сетями Петри Аннотация  PDF (Rus)  похожие документы
Георгий Витальевич Тарасов, Дмитрий Иванович Харитонов, Евгений Александрович Голенков
"... In the article an approach to constructing in terms of Petri nets a function model as a program ..."
 
Том 23, № 3 (2016) Интерполяционные формулы для функций с большими градиен- тами в пограничном слое и их применение Аннотация  похожие документы
А. И. Задорин
"... Interpolation of functions on the basis of Lagrange’s polynomials is widely used. However ..."
 
Том 32, № 2 (2025) Об экстремальных элементах и мощности множества непрерывно дифференцируемых выпуклых продолжений булевой функции Аннотация  PDF (Rus)  похожие документы
Достонжон Нумонжонович Баротов, Рузибой Нумонжонович Баротов
"... differentiable convex extensions to $[0,1]^n$ of an arbitrary Boolean function $f_{B}(x_1,x_2,ldots,x ..."
 
Том 23, № 3 (2016) Аналитические решения нелинейного уравнения конвекции–диффузии с нелинейными источниками Аннотация  PDF (Rus)  похожие документы
Н. А. Кудряшов, Д. И. Синельщиков
"... function. Since in the general case this solution has a cumbersome form we find some correlations ..."
 
Том 23, № 4 (2016) Сравнение алгоритмов удвоения размера изображения Аннотация  PDF (Rus)  похожие документы
С. Е. Ваганов, С. И. Хашин
 
Том 24, № 5 (2017) О локально выпуклых кривых Аннотация  PDF (Rus)  похожие документы
Владимир Степанович Климов
"... ), , (a leqslant t leqslant b)), where  (u(t)), (v(t)) are continuously differentiable on ([a,b]) functions ..."
 
Том 25, № 3 (2018) Динамика распределения популяции по ареалам Аннотация  PDF (Rus)  похожие документы
Александр Николаевич Кириллов, Инна Владимировна Данилова
"... . The approach is based on a utility function that takes into account the amount of resources in a patch ..."
 
Том 25, № 3 (2018) Изопериметрические и функциональные неравенства Аннотация  PDF (Rus)  похожие документы
Владимир Степанович Климов
"... (t,p) , (t in [0, infty),; p in mathbb{R}^n)) -- a function that is (B)-measurable ..."
 
Том 30, № 1 (2023) О вычислительных конструкциях в функциональных пространствах Аннотация  PDF (Rus)  похожие документы
Анатолий Николаевич Морозов
"... in the space of Lebesgue integrable functions and the consistency of this concept with fundamental ..."
 
Том 15, № 1 (2008) Среда рекурсивно-параллельного программирования для Win32 Аннотация  PDF (Rus)  похожие документы
В. В. Васильчиков
"... Рассматривается новая версия интегрированной среды рекурсивно-параллельного (РП-) программирования ..."
 
Том 28, № 4 (2021) На пути к автоматической дедуктивной верификации C-программ с Sisal-циклами в системе C-lightVer Аннотация  PDF (Rus)  похожие документы
Дмитрий Александрович Кондратьев
"... invariants. Symbolic replacement of definite iterations by recursive functions is the base of this method ..."
 
Том 18, № 1 (2011) Геометрические оценки в полиномиальной интерполяции Аннотация  PDF (Rus)  похожие документы
М. В. Невский
"... of continuous functions of n variables. ..."
 
Том 30, № 3 (2023) Распределение Больцмана в проблеме рационального выбора популяцией участка при неполной информации о его ресурсах Аннотация  PDF (Rus)  похожие документы
Александр Николаевич Кириллов, Инна Владимировна Данилова
"... of the Boltzmann distribution is proposed. To construct the probability distribution the utility functions are used ..."
 
Том 28, № 4 (2021) Замечания о последних достижениях в доказательстве устойчивости с использованием KeYmaeraX Аннотация  PDF (Rus)  похожие документы
Томас Баар, Хорст Шульте
 
Том 20, № 5 (2013) Точные неравенства типа Джексона–Стечкина и значения поперечников некоторых классов функций в пространстве L₂ Аннотация  PDF (Rus)  похожие документы
Мухтор Рамазонович Лангаршоев
"... functions with trigonometric polynomials and generalized moduli of the continuity Ωm of m-th order in L₂[0 ..."
 
Том 20, № 3 (2013) Оптимальные квадратурные формулы приближенного вычисления криволинейного интеграла первого рода для некоторых классов функций и кривых Аннотация  PDF (Rus)  похожие документы
Камаридин Тухлиев
"... of differentiable functions, the second gradient norm of which in Lp (1 ≤ p < ∞) is bounded along the curve by which ..."
 
Том 23, № 3 (2016) Сходимость сеточного решения задачи Дирихле с разрывной про- изводной граничной функции для сингулярно возмущенного уравнения конвекции- диффузии Аннотация  похожие документы
Т. Я. Ершова
"... faces of the rectangular and directed to the right while the first derivative of the boundary function ..."
 
Том 29, № 2 (2022) Рекурсивный алгоритм определения тональности предложений на русском языке Аннотация  PDF (Rus)  похожие документы
Анатолий Юрьевич Полетаев, Илья Вячеславович Парамонов
"... определена на основе тональностей её составляющих с помощью рекурсивного применения семантических правил к ..."
 
Том 28, № 2 (2021) Вычислительный анализ количественных характеристик некоторых аппроксимационных свойств разрешимых групп Баумслага-Солитэра Аннотация  PDF (Rus)  похожие документы
Елена Александровна Туманова
"... $ and $1 leq x leq 50000$, then, for almost all considered $k$, the function $f_{k}(x)$ can ..."
 
Том 21, № 6 (2014) Использование случайной выборки моделей для решения задачи интерполяции Крейга в рамках ограниченной проверки моделей Аннотация  PDF (Rus)  похожие документы
Марат Халимович Ахин, Семен Леонидович Колтон, Владимир Михайлович Ицыксон
"... One of the most serious problems when doing program analyses is dealing with function calls. While ..."
 
Том 28, № 3 (2021) Исследование нелинейных полиномиальных систем управления Аннотация  похожие документы
Сергей Николаевич Чуканов, Илья Станиславович Чуканов
"... The paper considers methods for estimating stability using Lyapunov functions, which are used ..."
 
Том 31, № 2 (2024) Подавление аддитивных периодических низкочастотных помех на вихретоковых дефектограммах Аннотация  PDF (Rus)  похожие документы
Леонид Юрьевич Быстров, Артемий Николаевич Гладков, Егор Владимирович Кузьмин
"... on eddy current defectograms. The interference function was defined as the sum of the low-frequency ..."
 
Том 30, № 3 (2023) Логика для суждений об ошибках в циклах над последовательностями данных (IFIL) Аннотация  похожие документы
Дмитрий Александрович Кондратьев
"... invariants of finite iterations using a symbolic replacement of these loops with recursive functions. Our ..."
 
Том 18, № 3 (2011) Об операторах дифференцирования и интегрирования Аннотация  PDF (Rus)  похожие документы
Анатолий Николаевич Морозов
"... notion to wider classes of functions. ..."
 
Том 28, № 4 (2021) Алгоритм оценивания частоты сигнала на выходе канала с управляемым информационным потоком в условиях фазового шума Аннотация  PDF (Rus)  похожие документы
Леонид Николаевич Казаков, Евгений Павлович Кубышкин, Илья Викторович Лукьянов
 
Том 26, № 1 (2019) Разработка и исследование алгоритмов формирования правил для узлов сетевой безопасности в мультиоблачной платформе Аннотация  PDF (Rus)  похожие документы
Денис Игоревич Парфёнов, Ирина Павловна Болодурина, Вадим Александрович Торчин
"... technologies of virtualization of network functions. In the course of experimental studies, a comparative ..."
 
Том 27, № 4 (2020) Правило «одной пятой» с возвратами для настройки размера популяции в генетическом алгоритме (1 + (λ,λ)) Аннотация  PDF (Rus)  похожие документы
Антон Олегович Басин, Максим Викторович Буздалов, Анатолий Абрамович Шалыто
"... runtime on OneMax, shows better results on linear function with random weights, as well as on random ..."
 
Том 27, № 1 (2020) Вычисление производных в пространствах Lp, 1 ≤ p ≤ ∞ Аннотация  PDF (Rus)  похожие документы
Анатолий Николаевич Морозов
"... (C^k.) At the same time there is a definition of ((k,p))-differentiability of a function ..."
 
Том 31, № 4 (2024) Применение TLA+/TLC для моделирования и верификации криптографических протоколов Аннотация  PDF (Rus)  похожие документы
Максим Вячеславович Нейзов, Егор Владимирович Кузьмин
"... of optimizing the model to improve the performance of the TLC model checker by defining a function ..."
 
Том 23, № 2 (2016) Асимптотика моментов симметричной свертки Бернулли Аннотация  похожие документы
Е. А. Tимофеев
"... .5logλ2−0.5eτ(−logλn)1+O(n−0.99), where is a 1-periodic function, 1k2πikx τ(x)= kα −lnλ e ..."
 
Том 20, № 5 (2013) Точные значения поперечников некоторых классов функций из L₂ и минимизация констант в неравенствах типа Джексона – Стечкина Аннотация  PDF (Rus)  похожие документы
Гулзорхон Амиршоевич Юсупов
"... in inequalities of Jackson – Stechkin type between the best approximations of periodic differentiable functions f ..."
 
Том 27, № 2 (2020) Динамически изменяющийся параллелизм с асинхронно-последовательными потоками данных Аннотация  PDF (Rus)  похожие документы
Александр Иванович Легалов, Иван Васильевич Матковский, Мария Сергеевна Ушакова, Дарья Сергеевна Романова
"... of their application. We provide the sample functions to illustrate the use of the different approaches to description ..."
 
Том 19, № 3 (2012) О гладкости в Lp, 0 < p < 1 Аннотация  PDF (Rus)  похожие документы
Анатолий Николаевич Морозов
"... We discuss properties of functions which are covered by spreading the differentiation operator from ..."
 
Том 17, № 4 (2010) Проверка моделей распределенных систем с помощью аффинного представления данных Аннотация  PDF (Rus)  похожие документы
Н. О. Гаранина
"... by linear functions of integer variables. ..."
 
Том 14, № 1 (2007) Расстояния и другие меры близости на множестве черно-белых цифровых изображений Аннотация  PDF (Rus)  похожие документы
П. Г. Парфенов, И. А. Каплий, О. С. Куликов
"... In the paper is formulated series of functions in a set of pairs of black-and-white digital images ..."
 
Том 14, № 1 (2007) K-функционалы и наилучшие кусочно-полиномиальные приближения Аннотация  PDF (Rus)  похожие документы
А. Н. Морозов
"... polynomial approximations of functions from C. ..."
 
Том 24, № 2 (2017) Задачи оптимизации с усреднением по части переменных и условия их оптимальности в форме принципа максимума Аннотация  PDF (Rus)  похожие документы
Анатолий Михайлович Цирлин
"... are averaged. The functions defining the problem can not be differentiable and continuous on these variables ..."
 
Том 16, № 3 (2009) О неравенстве типа неравенства Джексона в диадическом пространстве BMO Аннотация  PDF (Rus)  похожие документы
И. П. Иродова
"... In this paper the direct theorem of the approximation theory for functions from the dyadic Besov ..."
 
Том 18, № 3 (2011) Динамическое программирование в обобщенной задаче курьера с внутренними работами: элементы параллельной структуры Аннотация  PDF (Rus)  похожие документы
Алексей Михайлович Григорьев, Евгений Евгеньевич Иванко, Александр Георгиевич Ченцов
"... function values using parallel computing without loss in accuracy is suggested. This procedure is realized ..."
 
Том 15, № 1 (2008) Библиотека параллельного исполнения rpC-программ для Win32 Аннотация  PDF (Rus)  похожие документы
В. В. Васильчиков, А. В. Шубин
"... существенной частью проекта по созданию и развитию программных средств поддержки рекурсивно-параллельного (РП ..."
 
Том 29, № 2 (2022) Степени перечислимости ограниченных множеств Аннотация  PDF (Rus)  похожие документы
Борис Яковлевич Солон
"... if it contains a graph of some total function. In a number of works by the author and a group of mathematicians ..."
 
1 - 75 из 181 результатов 1 2 3 > >> 

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

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