Поиск


Сортировать по:     
 
Выпуск Название
 
Том 21, № 6 (2014) Использование случайной выборки моделей для решения задачи интерполяции Крейга в рамках ограниченной проверки моделей Аннотация  PDF (Rus)  похожие документы
Марат Халимович Ахин, Семен Леонидович Колтон, Владимир Михайлович Ицыксон
"... in analysis complexity due to the state space explosion. Craig interpolation has been successfully used ..."
 
Том 18, № 1 (2011) Геометрические оценки в полиномиальной интерполяции Аннотация  PDF (Rus)  похожие документы
М. В. Невский
"... We prove some new inequalities for the norms of projections due to the polynomial interpolation ..."
 
Том 25, № 3 (2018) Oб оптимальной интерполяции линейными функциями на n-мерном кубе Аннотация  PDF (Rus)  похожие документы
Михаил Викторович Невский, Алексей Юрьевич Ухалов
"... )-dimnsional nondegenerate simplex (Ssubset Q_n). An interpolation projector (P:C(Q_n)to Pi_1({mathbb R ..."
 
Том 23, № 4 (2016) Сравнение алгоритмов удвоения размера изображения Аннотация  PDF (Rus)  похожие документы
С. Е. Ваганов, С. И. Хашин
"... In this paper the comparative analysis for quality of some interpolation non-adaptive methods ..."
 
Том 26, № 2 (2019) Линейная интерполяция на евклидовом шаре в Rⁿ Аннотация  PDF (Rus)  похожие документы
Михаил Викторович Невский, Алексей Юрьевич Ухалов
"... subset B). The interpolation projector (P:C(B)to Pi_1({mathbb R}^n)) corresponding to (S ..."
 
Том 20, № 6 (2013) Обнаружение дефектов в программном обеспечении путем объединения ограниченной проверки моделей и аппроксимации функций Аннотация  PDF (Rus)  похожие документы
Марат Халимович Ахин, Михаил Анатольевич Беляев, Владимир Михайлович Ицыксон
"... проверка моделей (Bounded Model Checking, BMC), исследуется все более и более активно, поскольку он ..."
 
Том 26, № 3 (2019) Геометрические оценки при интерполяции на n-мерном шаре Аннотация  PDF (Rus)  похожие документы
Михаил Викторович Невский
"... _n). The interpolation projector (P:C(B_n)to Pi_1({mathbb R}^n)) corresponding to (S) is defined by the equalities ..."
 
Том 19, № 3 (2012) О некоторых результатах по геометрии выпуклых и их приложениях Аннотация  PDF (Rus)  похожие документы
Михаил Викторович Невский
"... приложения к вопросам, связанным с полиномиальной интерполяцией функций многих переменных. ..."
 
Том 23, № 3 (2016) Интерполяционные формулы для функций с большими градиен- тами в пограничном слое и их применение Аннотация  похожие документы
А. И. Задорин
"... Interpolation of functions on the basis of Lagrange’s polynomials is widely used. However ..."
 
Том 24, № 1 (2017) Новые оценки числовых величин, связанных с симплексом Аннотация  PDF (Rus)  похожие документы
Михаил Викторович Невский, Алексей Юрьевич Ухалов
"... of interpolation projection on the space of linear functions of (n) variables as~an~operator from (C(Q ..."
 
Том 16, № 3 (2009) О неравенстве типа неравенства Джексона в диадическом пространстве BMO Аннотация  PDF (Rus)  похожие документы
И. П. Иродова
"... space is proved. Together with the inverse theorem, it allows to solve an interpolation problem between ..."
 
Том 20, № 3 (2013) Об одной задаче для симплекса и куба в Rⁿ Аннотация  PDF (Rus)  похожие документы
Михаил Викторович Невский
"... of projections dealing with the linear interpolation of continuous functions defined on Qn. ..."
 
Том 23, № 5 (2016) О числовых характеристиках симплекса и их оценках Аннотация  PDF (Rus)  похожие документы
М. В. Невский, А. Ю. Ухалов
"... by (theta_n) the minimal norm of interpolation projection on the space of linear functions of (n ..."
 
Том 14, № 3 (2007) Ортогональное проектирование и минимальная линейная интерполяция на n-мерном кубе Аннотация  PDF (Rus)  похожие документы
М. В. Невский
"... G N. Here On denotes the minimal norm of a projection dealing with the linear interpolation ..."
 
Том 26, № 4 (2019) Доказательство свойств дискретных функций с помощью дедуктивного доказательства: приложение к квадратному корню Аннотация  похожие документы
Васил Тодоров, Сафуан Таха, Фредерик Буланже, Армандо Эрнандес
"... a square root by linear interpolation. We use deductive proof to prove its correctness and show ..."
 
Том 18, № 3 (2011) О гипотезе Лассака для выпуклого тела Аннотация  PDF (Rus)  похожие документы
Михаил Викторович Невский
 
Том 25, № 1 (2018) О минимальном коэффициенте поглощения для n-мерного симплекса Аннотация  PDF (Rus)  похожие документы
Михаил Викторович Невский, Алексей Юрьевич Ухалов
"... and its analogues have applications in estimates for the norms of interpolation projectors. Previously ..."
 
Том 18, № 2 (2011) О геометрических характеристиках n-мерного симплекса Аннотация  PDF (Rus)  похожие документы
Михаил Викторович Невский
"... . Also we note the connection with linear interpolation on the cube [0; 1]^n. ..."
 
Том 20, № 2 (2013) Единая модель для геоклассификации веб-сайтов Аннотация  PDF (Rus)  похожие документы
Алексей Николаевич Волков
"... (региона) обучается по отдельной классификационной модели, предлагаемый подход основан на обучении всего ..."
 
Том 18, № 2 (2011) Об одном представлении функции в модели императивной программы, заданной сетями Петри Аннотация  PDF (Rus)  похожие документы
Георгий Витальевич Тарасов, Дмитрий Иванович Харитонов, Евгений Александрович Голенков
"... Рассматривается подход к построению в терминах сетей Петри модели функции как элемента модели ..."
 
Том 23, № 5 (2016) Полилогарифмы и асимптотика моментов сингулярной функции Лебега Аннотация  PDF (Rus)  похожие документы
Е. А. Tимофеев
"... Напомним, что сингулярная функция Лебега (L(t)) определяется как единственное решение уравнения ..."
 
Том 24, № 4 (2017) Разложение самоподобных функций в системе Фабера–Шаудера Аннотация  PDF (Rus)  похожие документы
Евгений Александрович Тимофеев
"... _k}, j = j_12^{n-1}+j_22^{n-2}+dots+j_n$$. Семейство функций (1,x,tau(2^nx-j)), (j =0,1,dots,2^n-1 ..."
 
Том 14, № 1 (2007) Минимальные проекторы и максимальные симплексы Аннотация  PDF (Rus)  похожие документы
М. В. Невский
"... It is proved that the minimal norm On of a projection in linear interpolation on the n-dimensional ..."
 
Том 19, № 4 (2012) О стойкости кодового зашумления к статистическому анализу наблюдаемых данных многократного повторения Аннотация  PDF (Rus)  похожие документы
Владимир Михайлович Деундяк, Юрий Владимирович Косолапов
"... информационно-аналитическая модель наблюдателя. Получена оценка объема однородной выборки перехваченных ..."
 
Том 22, № 1 (2015) О приближении периодических функций в L₂ и значениях поперечников некоторых классов функций Аннотация  PDF (Rus)  похожие документы
Камаридин Тухлиев
"... порядка ωm(f, t) используется специальный модуль непрерывности Ωem(f, t), определённый при помощи функции ..."
 
Том 20, № 4 (2013) Проектирование и разработка имитационной модели мультиклиентского кластера баз данных Аннотация  PDF (Rus)  похожие документы
Евгений Александрович Бойцов
"... организации облачных систем хранения данных, основанных на реляционной модели, а также предлагается концепция ..."
 
Том 20, № 2 (2013) Алгоритм оценки параметров авторегрессионной модели элементарных речевых единиц Аннотация  PDF (Rus)  похожие документы
Иван Вадимович Губочкин
"... Рассмотрена задача оценки параметров авторегрессионной модели элементарных речевых единиц типа ..."
 
Том 22, № 1 (2015) Метод логистической функции для нахождения аналитических решений нелинейных дифференциальных уравнений Аннотация  похожие документы
Николай Алексеевич Кудряшов
"... логистической функции. Применение метода иллюстрируется на примере нелинейного обыкновенного дифференциального ..."
 
Том 20, № 6 (2013) Построение оценки энтропии для специальной метрики и произвольной функции Аннотация  PDF (Rus)  похожие документы
Нина Евгеньевна Тимофеева
"... вместо логарифма в оценке энтропии применяется похожая функция, которая может быть произвольной на ..."
 
Том 23, № 4 (2016) Облачный сервис для интерактивного моделирования межтерриториальной торговли Аннотация  PDF (Rus)  похожие документы
А. С. Величко, В. В. Грибова, Л. А. Федорищев
"... В работе описана математическая модель торговых потоков между территориями региона или страны в ..."
 
Том 20, № 3 (2013) Применение нечеткой классификации для гибридных линейных методов прогнозирования Аннотация  PDF (Rus)  похожие документы
Андрей Сергеевич Таскин, Евгений Моисеевич Миркес, Наталья Юрьевна Сиротинина
"... линейных методов, основанных на кластеризации. Для этого исходный набор входных признаков выборки ..."
 
Том 17, № 4 (2010) Проверка моделей распределенных систем с помощью аффинного представления данных Аннотация  PDF (Rus)  похожие документы
Н. О. Гаранина
"... функциями над целочисленными переменными. ..."
 
Том 24, № 3 (2017) Математическая модель эксперимента Николсона Аннотация  PDF (Rus)  похожие документы
Сергей Дмитриевич Глызин
"... Рассматривается математическая модель  динамики  численности  насекомых  и предпринимается попытка ..."
 
Том 20, № 5 (2013) Точные значения поперечников некоторых классов функций из L₂ и минимизация констант в неравенствах типа Джексона – Стечкина Аннотация  PDF (Rus)  похожие документы
Гулзорхон Амиршоевич Юсупов
"... – Стечкина между наилучшими приближениями периодических дифференцируемых функций f ∈ L (r) ₂ [0, 2π ..."
 
Том 20, № 3 (2013) Оптимальные квадратурные формулы приближенного вычисления криволинейного интеграла первого рода для некоторых классов функций и кривых Аннотация  PDF (Rus)  похожие документы
Камаридин Тухлиев
"... функций, у которых норма второго градиента ограничена по норме в Lp (1 ≤ p < ∞) вдоль кривой, по которой ..."
 
Том 21, № 3 (2014) Об одной оптимальной кубатурной формуле для классов функций, задаваемых модулями непрерывности Аннотация  PDF (Rus)  похожие документы
Мирганд Шабозович Шабозов
"... Рассматривается задача минимизации погрешности кубатурной формулы на классах функций, задаваемых ..."
 
Том 20, № 5 (2013) Точные неравенства типа Джексона–Стечкина и значения поперечников некоторых классов функций в пространстве L₂ Аннотация  PDF (Rus)  похожие документы
Мухтор Рамазонович Лангаршоев
"... дифференцируемых функций тригонометрическими полиномами и обобщенными модулями непрерывности m-го порядка Ωm в ..."
 
Том 25, № 4 (2018) Верификация программ со взаимной рекурсией на языке Пифагор Аннотация  PDF (Rus)  похожие документы
Мария Сергеевна Ушакова, Александр Иванович Легалов
"... -потокового параллельного программирования Пифагор. В языке используется модель представления программы в виде ..."
 
Том 20, № 6 (2013) Формальная модель и задачи верификации программно-конфигурируемых сетей Аннотация  PDF (Rus)  похожие документы
Владимир Анатольевич Захаров, Руслан Леонидович Смелянский, Евгений Викторович Чемерицкий
"... OpenFlow. На основе аппарата булевых функций и дискретных преобразователей нами предложена формальная ..."
 
Том 23, № 1 (2016) Асимптотика моментов функции Такаги Аннотация  PDF (Rus)  похожие документы
Е. А. Tимофеев
"... Функция Такаги является простым примером непрерывной нигде не дифференцируемой функции и ..."
 
Том 24, № 2 (2017) Релаксационные циклы в модели синаптически взаимодействующих осцилляторов Аннотация  PDF (Rus)  похожие документы
Маргарита Михайловна Преображенская
"... В настоящей работе рассматривается математическая модель кольцевой нейронной сети с синаптическим ..."
 
Том 25, № 3 (2018) О дифференцируемости по Тейлору в пространствах Lp, 0 < p ≤ ∞ Аннотация  PDF (Rus)  похожие документы
Анатолий Николаевич Морозов
"... Функция (fin L_p[I], ;p>0,) называется ((k,p))-дифференцируемой в точке (x_0in I,) если ..."
 
Том 21, № 4 (2014) Исследование примитивных схем программ с процедурами Аннотация  PDF (Rus)  похожие документы
Римма Ивановна Подловченко
"... В статье рассматриваются алгебраические модели программ с процедурами, предназначенные для ..."
 
Том 23, № 2 (2016) О группе Брауэра арифметической модели многообразия над глобальным полем положительной характеристики Аннотация  PDF (Rus)  похожие документы
Т. В. Прохорова
"... -164-172 УДК 512.71 О группе Брауэра арифметической модели многообразия над глобальным полем ..."
 
Том 21, № 2 (2014) Неклассические релаксационные колебания в нейродинамике Аннотация  PDF (Rus)  похожие документы
Сергей Дмитриевич Глызин, Андрей Юрьевич Колесов, Николай Христович Розов
"... Предлагается новая математическая модель функционирования отдельного нейрона, являющаяся ..."
 
Том 24, № 4 (2017) Использование журналов событий для локальной корректировки моделей процессов Аннотация  PDF (Rus)  похожие документы
Алексей Александрович Мицюк, Ирина Александровна Ломазова, Вил М.П. ван дер Аалст
"... соответствовать исходной модели системы. Между тем для поддержки системы очень важно иметь актуальную модель ..."
 
Том 16, № 4 (2009) Метод автоматического построения алгоритмов распознавания участков фазовых траекторий Аннотация  PDF (Rus)  похожие документы
Д. С. Коваленко
"... динамических систем по заданной обучающей выборке. Метод позволяет строить алгоритмы распознавания, которые ..."
 
Том 22, № 5 (2015) Асимптотика моментов сингулярной функции Лебега Аннотация  PDF (Rus)  похожие документы
Е. А. Tимофеев
"... Напомним определение сингулярной функции Лебега. Пусть в результате бросания несимметричной монеты ..."
 
Том 21, № 5 (2014) Графический язык DPMine для автоматизации экспериментов в области автоматического построения и анализа процессов Аннотация  PDF (Rus)  похожие документы
Сергей Андреевич Шершаков
"... специально для описания и проведения экспериментов по извлечению и анализу моделей процессов. Дается описание ..."
 
Том 21, № 4 (2014) Разрешимость эквивалентности в двухпараметрических перегородчатых моделях программ Аннотация  PDF (Rus)  похожие документы
Андрей Эрикович Молчанов
"... Алгебраические модели программ с процедурами предназначены для изучения семантических свойств ..."
 
Том 19, № 5 (2012) О теории алгебраических моделей программ с процедурами Аннотация  PDF (Rus)  похожие документы
Римма Ивановна Подловченко, Андрей Эрикович Молчанов
"... Алгебраические модели программ с процедурами предназначены для изучения семантических свойств ..."
 
Том 20, № 6 (2013) Релаксационные циклы в обобщенной нейронной модели с двумя запаздываниями Аннотация  PDF (Rus)  похожие документы
Сергей Дмитриевич Глызин, Елена Александровна Марушкина
"... импульсного нейрона и содержащее одну функцию без запаздывания и две функции с различными запаздываниями ..."
 
Том 21, № 3 (2014) Устойчивость непрерывных волн для модели FDML лазера Аннотация  PDF (Rus)  похожие документы
Александра Андреевна Кащенко
"... В работе решается задача существования и устойчивости непрерывных волн R exp(iΛt) для модели ..."
 
Том 20, № 5 (2013) Релаксационные колебания в моделях многовидовых сообществ Аннотация  PDF (Rus)  похожие документы
Сергей Александрович Кащенко
"... Рассматриваются семейства математических моделей биологических популяций. Выявлены инвариантные ..."
 
Том 21, № 2 (2014) Разрешимость эквивалентности в перегородчатых моделях программ Аннотация  PDF (Rus)  похожие документы
Римма Ивановна Подловченко, Андрей Эрикович Молчанов
"... Алгебраические модели программ с процедурами предназначены для изучения семантических свойств ..."
 
Том 23, № 2 (2016) Построение хранилища данных с динамической структурой Аннотация  PDF (Rus)  похожие документы
Ю. Н. Артамонов
"... противоречие между представлением данных в реальной предметной области и моделями представления данных в ..."
 
Том 23, № 6 (2016) Подход к верификации семейства мультиагентных систем разрешения конфликтов Аннотация  PDF (Rus)  похожие документы
Н. О. Гаранина, Е. А. Сидорова
"...  верификации моделей и абстракции. Абстрактная репрезентативная модель семейства систем зависит от задающей их ..."
 
Том 23, № 4 (2016) Резервное копирование с хранением в базе данных Аннотация  PDF (Rus)  похожие документы
С. М. Таранин
"... содержит набор записей и представляет собой модель копируемой директории. Наличие такой модели позволяет ..."
 
Том 24, № 3 (2017) Исследование динамики класса одномерных кусочно-линейных отображений с одним разрывом Аннотация  PDF (Rus)  похожие документы
Григорий Андреевич Ахременко
"... установлено,  что для  данного класса  функций, при условии непрерывности  на рассматриваемое отображение, не ..."
 
Том 21, № 6 (2014) Верификация алгоритмов мультиагентного анализа данных с помощью системы проверки моделей SPIN Аннотация  PDF (Rus)  похожие документы
Наталья Олеговна Гаранина, Евгений Викторович Бодин, Елена Анатольевна Сидорова
"... инструмент проверки моделей SPIN. Протоколы агентов записаны на языке Promela, а свойства мультиагентной ..."
 
Том 23, № 5 (2016) Эквивалентность обычной и модифицированной сети обобщенных нейронных элементов Аннотация  PDF (Rus)  похожие документы
Е. В. Коновалов
"... предлагается новая нейросетевая модель — модифицированная сеть обобщенных нейронных элементов (МОНЭ-сеть ..."
 
Том 23, № 4 (2016) Компьютерное моделирование "Интеллектуального здания" Аннотация  PDF (Rus)  похожие документы
О. Ю. Марьясин, А. С. Колодкина, А. А. Огарков
"... компьютерную модель "Интеллектуального здания", позволяющую моделировать работу основных инженерных подсистем ..."
 
Том 19, № 2 (2012) О верификации LD-программ логических контроллеров Аннотация  PDF (Rus)  похожие документы
Егор Владимирович Кузьмин, Валерий Анатольевич Соколов
"... средства символьной проверки модели SMV при спецификации свойств на языке темпоральной логики линейного ..."
 
Том 19, № 4 (2012) О построении и верификации программ логических контроллеров Аннотация  PDF (Rus)  похожие документы
Егор Владимирович Кузьмин, Валерий Анатольевич Соколов
"... корректности методом проверки модели относительно средства автоматической верификации Cadence SMV. Выявляются ..."
 
Том 21, № 6 (2014) От редакторов специального выпуска Аннотация  PDF (Rus)  похожие документы
В. А. Непомнящий, В. А. Соколов
"... мо- делей для решения задачи интерполяции Крейга в рамках ограниченной проверки моделей» пред- ложен ..."
 
Том 26, № 1 (2019) Оркестрация жизненного цикла многопользовательской виртуальной сетевой функции Аннотация  PDF (Rus)  похожие документы
Виталий Александрович Антоненко, Руслан Леонидович Смелянский, Артем Владимирович Плакунов, Павел Алексеевич Михеев
"... Виртуализация сетевых функций (NFV) – перспективная технология предоставления качественного ..."
 
Том 21, № 6 (2014) Использование метода ограниченной проверки моделей для генерации тестов Аннотация  PDF (Rus)  похожие документы
Максим Алексеевич Петров, Кирилл Алексеевич Гагарский, Михаил Анатольевич Беляев, Владимир Михайлович Ицыксон
"... . Данный метод во многом похож на метод ограниченной проверки моделей, который также предполагает ..."
 
Том 24, № 2 (2017) О гипотезах Тэйта для дивизоров на расслоенном многообразии и его общем схемном слое в случае конечной характеристики Аннотация  PDF (Rus)  похожие документы
Татьяна Вячеславовна Прохорова
"... (pi) является гладким многообразием (V) над полем (k=kappa(C)) рациональных функций кривой (C ..."
 
1 - 75 из 544 результатов 1 2 3 4 5 6 7 8 > >> 

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

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