Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 25, № 1 (2018) О минимальном коэффициенте поглощения для n-мерного симплекса Аннотация  PDF (Rus)  похожие документы
Михаил Викторович Невский, Алексей Юрьевич Ухалов
"... (xi_nleq frac{n^2-3}{n-1})  ((n>2)). There exists a constant (c>0) not depending on (n ..."
 
Том 24, № 5 (2017) Об n-мерных симплексах, удовлетворяющих включениям S ⊂ [0, 1] n ⊂ nS Аннотация  PDF (Rus)  похожие документы
Михаил Викторович Невский, Алексей Юрьевич Ухалов
"...   (xi(S)=min {sigmageq 1: Q_nsubset sigma S},)  (xi_n=min { xi(S): , Ssubset Q ..."
 
Том 24, № 1 (2017) Новые оценки числовых величин, связанных с симплексом Аннотация  PDF (Rus)  похожие документы
Михаил Викторович Невский, Алексей Юрьевич Ухалов
"... ), not depending on (Ssubset Q_n), such that an~inequality (xi(S)-alpha(S)leq gamma (xi(S)-xi_n)) holds ..."
 
Том 23, № 5 (2016) О числовых характеристиках симплекса и их оценках Аннотация  PDF (Rus)  похожие документы
М. В. Невский, А. Ю. Ухалов
"... ) variables as an operator from (C(Q_n)) in (C(Q_n)). It is known that, for each (n), $$xi_nleq frac ..."
 
Том 26, № 2 (2019) Линейная интерполяция на евклидовом шаре в Rⁿ Аннотация  PDF (Rus)  похожие документы
Михаил Викторович Невский, Алексей Юрьевич Ухалов
"... }bigl(t(n+1-t)bigr)^{1/2}+bigl|1-frac{2t}{n+1}bigr|) ((0leq tleq n+1)) and integer (a) has ..."
 
Том 26, № 2 (2019) Существование несмещенной состоятельной оценки энтропии для специальной меры Бернулли Аннотация  PDF (Rus)  похожие документы
Евгений Александрович Тимофеев
"... (boldsymbol{xi_0}, boldsymbol{xi_1}, dots, boldsymbol{xi_n}) - be independent identically distributed ..."
 
Том 24, № 5 (2017) Существование несмещенной оценки энтропии для специальной меры Бернулли Аннотация  PDF (Rus)  похожие документы
Евгений Александрович Тимофеев
"... on (Omega). Let (boldsymbol{xi_0}, boldsymbol{xi_1}, dots, boldsymbol{xi_n}) be independent ..."
 
Том 30, № 3 (2023) О геометрическом подходе к оцениванию интерполяционных проекторов Аннотация  PDF (Rus)  похожие документы
Михаил Викторович Невский, Алексей Юрьевич Ухалов
"... $-dimensional non-degenerate simplex, $xi(Omega;S):=$ min {$sigmageqslant 1: Omegasubset sigma S$}. Here ..."
 
Том 25, № 3 (2018) Oб оптимальной интерполяции линейными функциями на n-мерном кубе Аннотация  PDF (Rus)  похожие документы
Михаил Викторович Невский, Алексей Юрьевич Ухалов
"... of degree (leq 1) (or linear functions). Let (x^{(j)},) (1leq jleq n+1,) be the vertices of (n ..."
 
Том 26, № 3 (2019) Геометрические оценки при интерполяции на n-мерном шаре Аннотация  PDF (Rus)  похожие документы
Михаил Викторович Невский
"... by the inequality (|x|leq 1), (|x|:=left(sumlimits_{i=1}^n x_i^2right)^{frac{1}{2}}). By (C(B_n)) we ..."
 
Том 18, № 3 (2011) О гипотезе Лассака для выпуклого тела Аннотация  PDF (Rus)  похожие документы
Михаил Викторович Невский
"... a translate of the cube $[0,1]^n$ into a convex body $C subset R^n$, then $sum_{i=1}^n frac{1}{omega ..."
 
Том 31, № 3 (2024) Oценивание интерполяционных проекторов с применением многочленов Лежандра Аннотация  PDF (Rus)  похожие документы
Михаил Викторович Невский
"... the inequalities $chi_n^{-1}left(frac{{rm vol}(K)}{{rm simp}(Omega)}right)leq theta_n(Omega)leq n+1 ..."
 
Том 25, № 6 (2018) О некоторых задачах для симплекса и шара в Rn Аннотация  PDF (Rus)  похожие документы
Михаил Викторович Невский
"... leq n+1}maxlimits_{xin C}(-lambda_j(x))+1)  (if (Cnotsubset S)), (alpha(C;S)=sumlimits_{j ..."
 
Том 19, № 2 (2012) Полиномиальный алгоритм верификации цепей Маркова для подмножества логики PLTL Аннотация  PDF (Rus)  похожие документы
Павел Валерьевич Лебедев
"... of Markov chains described by formulas of a subset of temporal logic PLTL (propositional temporal logic ..."
 
Том 23, № 5 (2016) Полилогарифмы и асимптотика моментов сингулярной функции Лебега Аннотация  PDF (Rus)  похожие документы
Е. А. Tимофеев
"... )}left(1 + mathcal{O}(n^{-0.99})right), $$ where $$ tau(x) = frac12ln p + Gamma'(1)log_2 p +frac ..."
 
Том 28, № 2 (2021) Вычислительный анализ количественных характеристик некоторых аппроксимационных свойств разрешимых групп Баумслага-Солитэра Аннотация  PDF (Rus)  похожие документы
Елена Александровна Туманова
"... $-number, and $p$, $q$ are chosen among the first $x$ primes. We state that, if $2 leq |k| leq 10000 ..."
 
Том 29, № 2 (2022) Об одной оценке для нормы интерполяционного проектора Аннотация  PDF (Rus)  похожие документы
Михаил Викторович Невский
"... ({mathbb R}^nright)$ denote a set of polynomials in $n$ variables of degree $leq 1$, i. e., a set ..."
 
Том 14, № 4 (2007) Род и категория Люстерника - Шнирельмана прообразов Аннотация  PDF (Rus)  похожие документы
Р. Н. Карасёв
"... In this paper some axiomatic generalization (function of open subsets) of the relative Lyusternik ..."
 
Том 19, № 3 (2012) О порядке роста числа инъективных и сверхрастущих рюкзачных векторов Аннотация  PDF (Rus)  похожие документы
Дмитрий Михайлович Мурин
"... In 1978 R. Mercle and M. Hellman offered to use the subset sum problem for constructing ..."
 
Том 18, № 4 (2011) Атрибутные аннотации и их применение в дедуктивной верификации C-программ Аннотация  PDF (Rus)  похожие документы
Михаил Михайлович Атучин, Игорь Сергеевич Ануреев
"... for the subset C-kernel of the C language is described, and on their base two versions of axiomatic semantics ..."
 
Том 17, № 3 (2010) Верификация C-программ на основе смешанной аксиоматической семантики Аннотация  PDF (Rus)  похожие документы
И. С. Ануреев, И. В. Марьясов, В. А. Непомнящий
"... of a representative C language subset which is callexl C-light. Such semantics allows to simplify the verification ..."
 
Том 24, № 4 (2017) Разложение самоподобных функций в системе Фабера–Шаудера Аннотация  PDF (Rus)  похожие документы
Евгений Александрович Тимофеев
"... })tau(2^nr-j), $$ where (tau(x) =2min{x,1-x}), (0leq x leq 1), (tau(x) = 0, if x<0 or x>1 ..."
 
Том 32, № 1 (2025) Доминирующие множества с окрестностью для деревьев Аннотация  PDF (Rus)  похожие документы
Михаил Анатольевич Иорданский
"... The subset $V' subset V(G)$ forms a dominant set of vertices of the graph $G$ with a neighborhood ..."
 
Том 32, № 2 (2025) Алгоритм шаблонизации для динамической задачи упаковки в контейнеры с группами размещения Аннотация  PDF (Rus)  похожие документы
Евгений Александрович Бражников, Артём Александрович Панин, Алексей Владленович Ратушный
"... of subsets of virtual machines with conflict conditions between the subsets. The goal is to pack all virtual ..."
 
Том 19, № 4 (2012) Конструктивная классификация графов Аннотация  PDF (Rus)  похожие документы
Михаил Анатольевич Иорданский
"... graphs) are solved in the paper. Subsets of element and operational bases of the closed class of all ..."
 
Том 25, № 3 (2018) О дифференцируемости по Тейлору в пространствах Lp, 0 < p ≤ ∞ Аннотация  PDF (Rus)  похожие документы
Анатолий Николаевич Морозов
"... Vert_{L_p[J_h]} = o(h^{k+frac{1}{p}}), ) where (;J_h=[x_0-h; x_0+h]cap I.) At an internal point ..."
 
Том 25, № 3 (2018) Изопериметрические и функциональные неравенства Аннотация  PDF (Rus)  похожие документы
Владимир Степанович Климов
"... measure (H^{n-1}(partial A )) of relative boundary (partial A) of the set (A subset Omega ..."
 
Том 19, № 6 (2012) Как разработать простое средство верификации систем реального времени Аннотация  PDF (Rus)  похожие документы
Дмитрий Юрьевич Волканов, Владимир Анатольевич Захаров, Даниил Александрович Зорин, Игорь Владимирович Коннов, Владислав Васильевич Подымов
"... that it is correct w.r.t. UPPAAL query language which is based on the subset of Timed CTL. ..."
 
Том 18, № 4 (2011) Верификация Си-программ: объяснение условий корректности и стандартная библиотека Аннотация  PDF (Rus)  похожие документы
Алексей Владимирович Промский
"... -friendly explanations can play a crucial role in VC understanding and error localization. Second, a subset ..."
 
Том 28, № 4 (2021) Математическая модель параллельных программ и основанный на ней подход к верификации MPI-программ Аннотация  PDF (Rus)  похожие документы
Андрей Михайлович Миронов
"... it is possible, in particular, to verify parallel programs presented on a certain subset of the parallel ..."
 
Том 28, № 2 (2021) О свойствах правильного симплекса, вписанного в шар Аннотация  PDF (Rus)  похожие документы
Михаил Викторович Невский
"... ({mathbb R}^nright)$ we mean a set of polynomials of degree $leq 1$, i.e., a set of linear functions upon ..."
 
Том 24, № 6 (2017) Об определении уровня полезных сигналов при расшифровке магнитных и вихретоковых дефектограмм Аннотация  PDF (Rus)  похожие документы
Егор Владимирович Кузьмин, Олег Евгеньевич Горбунов, Петр Олегович Плотников, Вадим Александрович Тюкин
"... sigma can be used to calculate the threshold noise level. And a signal is useful if its amplitude ..."
 
Том 27, № 1 (2020) Вычисление производных в пространствах Lp, 1 ≤ p ≤ ∞ Аннотация  PDF (Rus)  похожие документы
Анатолий Николаевич Морозов
"... Vert_{L_p[J_h]} = o(h^{k+frac{1}{p}}), ) where (;J_h=[x_0-h; x_0+h]cap I.) At an internal point ..."
 
Том 24, № 2 (2017) Построение высокоуровневой модели процесса по журналу событий Аннотация  похожие документы
Антонина Константиновна Бегичева, Ирина Александровна Ломазова
"... into subsets associated with abstract events in a high-level model. ..."
 
Том 27, № 2 (2020) Аппроксимация ресурсных эквивалентностей в сетях Петри с невидимыми переходами Аннотация  похожие документы
Владимир Анатольевич Башкин
"... the properties of the resource similarity and resource bisimulation (a subset of complete similarity relation ..."
 
Том 22, № 6 (2015) Элиминация инвариантов циклов для финитной итерации над неизменяемыми структурами данных в Си программах Аннотация  PDF (Rus)  похожие документы
И. В. Марьясов, В. А. Непомнящий
"... . In this paper we consider the C-light language [18] which is a powerful subset of the ISO C language. To verify ..."
 
Том 26, № 2 (2019) Система распределения ключей на дизайнах Аннотация  PDF (Rus)  похожие документы
Владимир Михайлович Деундяк, Алексей Александрович Таран
"... users. New notions of combinatorial span and combinatorial rank of a subset of Hadamard code ..."
 
Том 25, № 2 (2018) Математическая модель подключения оптимального числа потенциальных потребителей тепла к тепловой сети Аннотация  PDF (Rus)  похожие документы
Сергей Михайлович Терехов, Владимир Алексеевич Немтинов, Кирилл Сергеевич Корнилов
"... to the restrictions and the procedure for selecting variants from a subset of binary variables corresponding ..."
 
Том 31, № 3 (2024) Некоторые полиномиальные подклассы задачи об эйлеровом маршруте в кратном графе Аннотация  PDF (Rus)  похожие документы
Александр Валерьевич Смирнов
"... . In the first subclass, we set a constraint on the ordinary edges reachability sets, which are the subsets ..."
 
Том 26, № 4 (2019) Операционная семантика аннотированных Reflex программ Аннотация  PDF (Rus)  похожие документы
Игорь Сергеевич Ануреев
"... to an annotated program in a very limited subset of the C language, by reducing a complex proof of preserving ..."
 
1 - 40 из 40 результатов

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

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