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)  похожие документы
Владимир Васильевич Васильчиков
"... алгоритм решения задачи, основанный на парадигме рекурсивно-параллельных вычислений. Он представляется нам ..."
 
Том 23, № 4 (2016) Об оптимизации и распараллеливании алгоритма Литтла для решения задачи коммивояжера Аннотация  PDF (Rus)  похожие документы
В. В. Васильчиков
"... представляется использование рекурсивно-параллельной организации вычислений. В нашем случае хорошим выбором ..."
 
Том 19, № 4 (2012) Преобразование хвостовых рекурсий в функционально-потоковых параллельных программах Аннотация  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 ..."
 
Том 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 ..."
 
Том 24, № 3 (2017) Исследование динамики класса одномерных кусочно-линейных отображений с одним разрывом Аннотация  PDF (Rus)  похожие документы
Григорий Андреевич Ахременко
"... are selected. In particular, it was ascertained that for this  class of functions,  under  condition ..."
 
Том 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, № 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 ..."
 
Том 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 ..."
 
Том 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 ..."
 
Том 25, № 4 (2018) Оптимизация инварианта цикла в языке Пифагор Аннотация  PDF (Rus)  похожие документы
Владимир Сергеевич Васильев, Александр Иванович Легалов
"... execution. In the case of optimizing a recursive function, repeated calculations are carried out ..."
 
Том 20, № 6 (2013) Обнаружение дефектов в программном обеспечении путем объединения ограниченной проверки моделей и аппроксимации функций Аннотация  PDF (Rus)  похожие документы
Марат Халимович Ахин, Михаил Анатольевич Беляев, Владимир Михайлович Ицыксон
"... of various function summaries to improve analysis efficiency and expressive power. We have implemented ..."
 
Том 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 ..."
 
Том 25, № 5 (2018) О безопасности одно- и многоместных IFP-операторов Аннотация  PDF (Rus)  похожие документы
Сергей Михайлович Дудаков
"... that if recursive queries contain universe functions and relations, then its execution can fall into an infinite ..."
 
Том 23, № 3 (2016) Интерполяционные формулы для функций с большими градиен- тами в пограничном слое и их применение Аннотация  похожие документы
А. И. Задорин
"... Interpolation of functions on the basis of Lagrange’s polynomials is widely used. However ..."
 
Том 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 ..."
 
Том 15, № 1 (2008) Среда рекурсивно-параллельного программирования для Win32 Аннотация  PDF (Rus)  похожие документы
В. В. Васильчиков
"... Рассматривается новая версия интегрированной среды рекурсивно-параллельного (РП-) программирования ..."
 
Том 18, № 1 (2011) Геометрические оценки в полиномиальной интерполяции Аннотация  PDF (Rus)  похожие документы
М. В. Невский
"... of continuous functions of n variables. ..."
 
Том 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 ..."
 
Том 21, № 6 (2014) Использование случайной выборки моделей для решения задачи интерполяции Крейга в рамках ограниченной проверки моделей Аннотация  PDF (Rus)  похожие документы
Марат Халимович Ахин, Семен Леонидович Колтон, Владимир Михайлович Ицыксон
"... One of the most serious problems when doing program analyses is dealing with function calls. While ..."
 
Том 18, № 3 (2011) Об операторах дифференцирования и интегрирования Аннотация  PDF (Rus)  похожие документы
Анатолий Николаевич Морозов
"... notion to wider classes of functions. ..."
 
Том 26, № 1 (2019) Разработка и исследование алгоритмов формирования правил для узлов сетевой безопасности в мультиоблачной платформе Аннотация  PDF (Rus)  похожие документы
Денис Игоревич Парфёнов, Ирина Павловна Болодурина, Вадим Александрович Торчин
"... technologies of virtualization of network functions. In the course of experimental studies, a comparative ..."
 
Том 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 ..."
 
Том 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 ..."
 
Том 24, № 3 (2017) Замечание об области притяжения стационарного решения одного сингулярно возмущённого параболического уравнения Аннотация  PDF (Rus)  похожие документы
Михаил Анатольевич Терентьев
"... with an initial function  independent of a perturbation parameter in the case where a degenerate stationary ..."
 
Том 15, № 1 (2008) Библиотека параллельного исполнения rpC-программ для Win32 Аннотация  PDF (Rus)  похожие документы
В. В. Васильчиков, А. В. Шубин
"... существенной частью проекта по созданию и развитию программных средств поддержки рекурсивно-параллельного (РП ..."
 
Том 24, № 3 (2017) Асимптотическое исследование решения уравнения теплопроводности вблизи границы раздела двух сред Аннотация  PDF (Rus)  похожие документы
Наталия Тимуровна Левашова, Ольга Александровна Николаева
"...   distribution function  suffers a discontinuity at the interface.  A function  with this feature  can ..."
 
Том 24, № 5 (2017) Импульсно-рефрактерный режим в кольцевой цепи синаптически связанных осцилляторов нейронного типа Аннотация  PDF (Rus)  похожие документы
Маргарита Михайловна Преображенская
"... , the right parts of which depend on large parameters. The unknown functions included in the system ..."
 
Том 19, № 6 (2012) Непрерывное уплощение правильного тетраэдра точными отображениями Аннотация  PDF (Rus)  похожие документы
Джин-ичи Ито, Чи Нара
"... by a continuous folding process of polyhedra. In this paper, we give explicit formulas of continuous functions ..."
 
Том 20, № 6 (2013) Гиперболический тетраэдр: вычисление объема с применением к доказательству формулы Шлефли Аннотация  PDF (Rus)  похожие документы
Иджад Хакович Сабитов
"... for the volume of a tetrahedron in the function of the coordinates of its vertices as well as in the function ..."
 
Том 23, № 6 (2016) Построение каскадной параллельной композиции временных автоматов с использованием BALM-II Аннотация  PDF (Rus)  похожие документы
М. Л. Громов, Н. В. Шабалдина
"... with output delays that are sets of linear functions. So, the problem of deriving a cascade composition ..."
 
Том 21, № 5 (2014) Оптимальное управление поведением решений начально-краевой задачи, моделирующей вращение твердого тела с упругим стержнем Аннотация  PDF (Rus)  похожие документы
Евгений Павлович Кубышкин, Михаил Сергеевич Тряхов
"... at a specified time moment and with the controller function norm minimum in the L∞(0, T) space and time control ..."
 
Том 23, № 2 (2016) Задача маршрутизации, осложненная зависимостью функций стоимости и "текущих" ограничений от списка заданий Аннотация  PDF (Rus)  похожие документы
А. Г. Ченцов, А. А. Ченцов
 
Том 15, № 1 (2008) Интегральные близкие к эйлеровой характеристики полутоновых цифровых изображений Аннотация  PDF (Rus)  похожие документы
П. Г. Парфенов, И. А. Каплий
"... of integral expression. Deduced theorem allows to calculate this characteristic by summation of some function ..."
 
Том 25, № 5 (2018) Полипрограммы и бисимуляция полипрограмм Аннотация  похожие документы
Сергей Александрович Гречаник
"... function. Such objects arise in different transformation systems, such as the Burstall-Darlington framework ..."
 
Том 22, № 5 (2015) Анализ локальных бифуркаций для уравнения с запаздыванием, зависящим от искомой функции Аннотация  PDF (Rus)  похожие документы
В. О. Голубенец
"... В работе рассматривается уравнение первого порядка с запаздыванием, зависящим от искомой функции ..."
 
Том 21, № 3 (2014) Счётная аддитивность распространения оператора дифференцирования Аннотация  PDF (Rus)  похожие документы
Анатолий Николаевич Морозов
"... for a function, piecewise belonging to the space Yp¹ to be in this space (if f ∈ Yp¹ [xi-1; xi ], i ∈ N, 0 = x0 ..."
 
Том 21, № 6 (2014) Использование метода ограниченной проверки моделей для генерации тестов Аннотация  PDF (Rus)  похожие документы
Максим Алексеевич Петров, Кирилл Алексеевич Гагарский, Михаил Анатольевич Беляев, Владимир Михайлович Ицыксон
 
Том 26, № 4 (2019) Особенности вычислительной реализации алгоритма оценки ляпуновских показателей систем с запаздыванием Аннотация  PDF (Rus)  похожие документы
Владимир Евгеньевич Горюнов
"... systems solutions processing. One of them is based on a set of impulse functions, and the other is based ..."
 
Том 24, № 1 (2017) Пополнение ядра оператора дифференцирования Аннотация  PDF (Rus)  похожие документы
Анатолий Николаевич Морозов
"... } Lambda (f_n) = Lambda (bigcup_{n=1}^{m} f_n).$$ Here, for a function (f_n) defined on ([x_{n-1}; x ..."
 
Том 23, № 2 (2016) Построение CFC-программ ПЛК по LTL-спецификации Аннотация  PDF (Rus)  похожие документы
Д. А. Рябухин, Е. В. Кузьмин, В. А. Соколов
"... Function Chart) is a variation of FBD (Function Block Diagram). FBD is a graphical language ..."
 
Том 24, № 2 (2017) Релаксационные циклы в модели синаптически взаимодействующих осцилляторов Аннотация  PDF (Rus)  похожие документы
Маргарита Михайловна Преображенская
"... of which depend on a large parameter. The unknown functions included in the system characterize ..."
 
Том 20, № 6 (2013) О бутстрэпе для диаграмм и ландшафтов персистентности Аннотация  PDF (Rus)  похожие документы
Фредерик Шазаль, Фази Британи Тереза, Лецци Фабрицио, Риналдо Алессандро, Сингх Аарти, Ларри Вассерман
"... Persistent homology probes topological properties from point clouds and functions. By looking ..."
 
Том 21, № 2 (2014) Неклассические релаксационные колебания в нейродинамике Аннотация  PDF (Rus)  похожие документы
Сергей Дмитриевич Глызин, Андрей Юрьевич Колесов, Николай Христович Розов
"... of the cycle is asymptotically close to a discontinuous function, while the fast component is a δ-like function ..."
 
Том 16, № 3 (2009) О спектральной задаче, возникающей в механике манипуляционных роботов Аннотация  PDF (Rus)  похожие документы
В. И. Войтицкий, М. Ю. Злобина, Е. П. Кубышкин
"... энергетическое скалярное произведение, построена ортонормированная система собственных функций. ..."
 
Том 25, № 1 (2018) Верхнее и нижнее решения для системы уравнений типа ФицХью–Нагумо Аннотация  PDF (Rus)  похожие документы
Светлана Владимировна Быцюра, Наталия Тимуровна Левашова
"... in the values of the functions describing the solution occurs. In initial-boundary value problems with moving ..."
 
Том 25, № 1 (2018) Существование и асимптотическая устойчивость периодического решения с внутренним переходным слоем в задаче со слабой линейной адвекцией Аннотация  PDF (Rus)  похожие документы
Николай Николаевич Нефедов, Егор Игоревич Никулин
"... the stability of the solution found. The function w is a function of the known functions appearing ..."
 
Том 21, № 4 (2014) Применение стохастических метаэвристик в задаче управления данными в мультиклиентском кластере баз данных Аннотация  PDF (Rus)  похожие документы
Евгений Александрович Бойцов
"... considers the data-management approach, based on the usage of a load-balancing quality measure function ..."
 
Том 20, № 6 (2013) Релаксационные циклы в обобщенной нейронной модели с двумя запаздываниями Аннотация  PDF (Rus)  похожие документы
Сергей Дмитриевич Глызин, Елена Александровна Марушкина
"... type is a mathematical model of a neuron and a separate pulse containing one function without delay ..."
 
Том 21, № 1 (2014) Угловой пограничный слой в нелинейных эллиптических задачах, содержащих производные первого порядка Аннотация  PDF (Rus)  похожие документы
Валентин Федорович Бутузов, Игорь Васильевич Денисов
"... elliptic equation ε 2∆u − ε αA(x, y) ∂u/∂y = F(u, x, y, ε) with a nonlinear on u function F. The complete ..."
 
Том 22, № 1 (2015) Асимптотика приближения нулевого порядка решения трехтемповой линейно-квадратичной задачи оптимального управления Аннотация  PDF (Rus)  похожие документы
Маргарита Александровна Калашникова
"... the terms of the asymptotic expansion. Asymptotic approximation of the solution contains regular functions ..."
 
1 - 75 из 140 результатов 1 2 > >> 

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

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