Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 18, № 2 (2011) О тензорных квадратах неприводимых представлений конечных почти простых групп. II Аннотация  PDF (Rus)  похожие документы
Сергей Владимирович Поляков
"... Almost simple {SM}_m -groups are considered. A group G is called {SM}_m -group if the tensor square ..."
 
Том 18, № 1 (2011) О тензорных квадратах неприводимых представлений конечных почти простых групп. I. Аннотация  PDF (Rus)  похожие документы
С. В. Поляков
"... Almost simple SM_m-groups are considered. A group G is called a SM_m-group if the tensor square ..."
 
Том 25, № 6 (2018) Даже простые процессы π-исчисления трудны для анализа Аннотация  PDF (Rus)  похожие документы
Марат Мазен Аббас, Владимир Анатольевич Захаров
"... of this paper is to show that even for the weakest model of passive adversary and for relatively simple ..."
 
Том 18, № 4 (2011) Простой алгоритм решения задачи покрытия для монотонных счетчиковых систем Аннотация  PDF (Rus)  похожие документы
Андрей Валентинович Климов
 
Том 21, № 4 (2014) Транслятор с возможностью статического анализа безопасности информационных потоков для простого языка программирования Аннотация  PDF (Rus)  похожие документы
Екатерина Юрьевна Антошина, Александра Николаевна Баракова, Евгений Сергеевич Никитин, Дмитрий Юрьевич Чалый
 
Том 28, № 3 (2021) Простой алгоритм отыскания неотрицательного базисного решения системы линейных алгебраических уравнений Аннотация  PDF (Rus)  похожие документы
Глеб Дмитриевич Степанов
 
Том 20, № 1 (2013) О почти аппроксимируемости конечными p-группами групп Баумслага — Солитэра Аннотация  PDF (Rus)  похожие документы
Дмитрий Николаевич Азаров
"... Пусть π — множество простых чисел. Для групп Баумслага — Солитэра получено необходимое и ..."
 
Том 27, № 3 (2020) Эффективные алгоритмы проверки эквивалентности для некоторых классов автоматов Аннотация  PDF (Rus)  похожие документы
Владимир Анатольевич Захаров
"... of the developed approach an efficient equivalence checking algorithm for the class of simple grammars ..."
 
Том 19, № 6 (2012) Равномерная асимптотика верхней границы дисперсии для случайного многогранника Аннотация  PDF (Rus)  похожие документы
Александр Николаевич Магазинов
"... of hyperfaces of a random polytope when the mother body is a simple polytope. Thus we verify a weaker version ..."
 
Том 17, № 4 (2010) Пример верификации в проекте F@BOOL@, основанном на булевских решателях Аннотация  PDF (Rus)  похожие документы
Н. В. Шилов
"... . С его помощью были выполнены первые эксперименты по верификации простых программ на Mini-NIL ..."
 
Том 24, № 2 (2017) Декодирование тензорного произведения MLD-кодов и приложения к кодовым криптосистемам Аннотация  PDF (Rus)  похожие документы
Владимир Михайлович Деундяк, Юрий Владимирович Косолапов, Евгений Андреевич Лелюк
"... small key size. In this connection, in the present paper it is proposed to use the tensor product ( C_1 ..."
 
Том 17, № 3 (2010) Язык объектных запросов динамической информационной модели DIM Аннотация  PDF (Rus)  похожие документы
В. С. Рублев
"... should allow us to describe a simple data query of this model. ..."
 
Том 19, № 6 (2012) Как разработать простое средство верификации систем реального времени Аннотация  PDF (Rus)  похожие документы
Дмитрий Юрьевич Волканов, Владимир Анатольевич Захаров, Даниил Александрович Зорин, Игорь Владимирович Коннов, Владислав Васильевич Подымов
 
Том 20, № 2 (2013) Об эффективном моделировании неограниченного ресурса при помощи односчетчиковых контуров Аннотация  PDF (Rus)  похожие документы
Владимир Анатольевич Башкин
"... A class of infinite-state automata with a simple periodic behaviour and a convenient graphical ..."
 
Том 22, № 4 (2015) О конечных группах с большой степенью неприводимого характера Аннотация  PDF (Rus)  похожие документы
Л. С. Казарин, С. С. Поисеева
"... is solvable groups with abelian normal subgroup K of index pq. We use the classification of finite simple groups ..."
 
Том 19, № 6 (2012) Наследcтвенные свойства модульных сетей Аннотация  PDF (Rus)  похожие документы
Владимир Анатольевич Башкин
"... (such as planarity). Modular nets of active resources is a (Petri nets)- powerful formalism with simple modular ..."
 
Том 19, № 5 (2012) Современные открытые проблемы в дискретной и вычислительной геометрии Аннотация  PDF (Rus)  похожие документы
Герберт Эдельсбруннер, Александр Иванов, Роман Карасев
"... outside the standard circle of ideas in discrete geometry. Despite the relatively simple statements ..."
 
Том 23, № 3 (2016) Численное решение одной сингулярно возму- щённой задачи в круговой области Аннотация  похожие документы
А. Ф. Хегарти, Ю. О’Риордан
"...  on a circular domain. Using polar coordinates, simple upwinding and a piecewise-uniform Shishkin mesh ..."
 
Том 20, № 6 (2013) Комплексы подслов и ниль-движения Гекке Аннотация  PDF (Rus)  похожие документы
Михаил Александрович Горский
"... , ρ), where Q is a word in the alphabet of simple reflections, ρ is a group element. We describe ..."
 
Том 21, № 4 (2014) Устойчивость в задаче поиска минимального разреза в графе Аннотация  PDF (Rus)  похожие документы
Илья Владимирович Козлов
"... a polynomial algorithm for calculating the stability radius and a simple criterion for checking n-stability ..."
 
Том 21, № 4 (2014) Разработка алгоритма измерения частоты пульса человека с помощью камеры мобильного телефона Аннотация  PDF (Rus)  похожие документы
Денис Александрович Лаурэ, Надеджа Станиславовна Лагутина, Илья Вячеславович Парамонов
"... to blood pulsation. The measurement process is simple: the user covers the camera lens with a finger ..."
 
Том 20, № 4 (2013) Проектирование и разработка имитационной модели мультиклиентского кластера баз данных Аннотация  PDF (Rus)  похожие документы
Евгений Александрович Бойцов
"... a fairly simple application programming interface for software developers. In order to develop effective ..."
 
Том 28, № 2 (2021) Вычислительный анализ количественных характеристик некоторых аппроксимационных свойств разрешимых групп Баумслага-Солитэра Аннотация  PDF (Rus)  похожие документы
Елена Александровна Туманова
"... $ - некоторое простое число, то группа $G_{k}$ аппроксимируется конечными $p$-группами тогда и только тогда ..."
 
Том 23, № 1 (2016) Асимптотика моментов функции Такаги Аннотация  PDF (Rus)  похожие документы
Е. А. Tимофеев
"... Takagi function is a simple example of a continuous but nowhere differentiable function ..."
 
Том 25, № 6 (2018) Платформенно-независимая спецификация и верификация стандартной математической функции квадратного корня Аннотация  PDF (Rus)  похожие документы
Николай Вячеславович Шилов, Дмитрий Александрович Кондратьев, Игорь Сергеевич Ануреев, Евгений Викторович Бодин, Алексей Владимирович Промский
"... attempt to design a relatively simple axiomatization of the computer arithmetics in terms of real ..."
 
Том 21, № 2 (2014) Некоторые аппроксимационные свойства групп конечного ранга Аннотация  PDF (Rus)  похожие документы
Дмитрий Николаевич Азаров
"... нильпотентна. Более того, доказано, что если для каждого множества π, состоящего из почти всех простых чисел ..."
 
Том 23, № 4 (2016) Сравнение алгоритмов удвоения размера изображения Аннотация  PDF (Rus)  похожие документы
С. Е. Ваганов, С. И. Хашин
"... of mean square error between the accurate value and the found approximation. A simple method performing ..."
 
Том 22, № 2 (2015) Аппроксимационные свойства нильпотентных групп Аннотация  PDF (Rus)  похожие документы
Дмитрий Николаевич Азаров
"... Пусть π — множество простых чисел. Напомним, что группа G называется аппроксимируемой конечными π ..."
 
Том 21, № 5 (2014) Применение систем компьютерной алгебры для построения метода коллокаций и наименьших невязок решения трехмерных уравнений Навье–Стокса Аннотация  PDF (Rus)  похожие документы
Василий Павлович Шапеев, Евгений Васильевич Ворожцов
"... , which is simple in its implementation and is based on the use of the Krylov’s subspaces. The obtained ..."
 
Том 20, № 2 (2013) Ассоциативный параллельный алгоритм для динамической обработки дерева кратчайших путей Аннотация  PDF (Rus)  похожие документы
Анна Шмилевна Непомнящая
"... ) parallel systems with simple single–bit processing elements and vertical processing. The associative ..."
 
Том 25, № 1 (2018) Существование и асимптотическая устойчивость периодического решения с внутренним переходным слоем в задаче со слабой линейной адвекцией Аннотация  PDF (Rus)  похожие документы
Николай Николаевич Нефедов, Егор Игоревич Никулин
"... , and they have simple and concise formulations in the form of the algebraic equation w(x0,t) = 0 ..."
 
Том 28, № 1 (2021) Алгоритмы поиска с возвратом для построения гамильтонова разложения 4-регулярного мультиграфа Аннотация  PDF (Rus)  похожие документы
Александр Васильевич Коростиль, Андрей Валерьевич Николаев
"... a Hamiltonian decomposition: an algorithm based on a simple path extension and an algorithm based on the chain ..."
 
Том 25, № 4 (2018) Эффективный алгоритм определения уровня полезных сигналов при расшифровке магнитных и вихретоковых дефектограмм Аннотация  PDF (Rus)  похожие документы
Егор Владимирович Кузьмин, Олег Евгеньевич Горбунов, Петр Олегович Плотников, Вадим Александрович Тюкин
"... . The article presents a simple and effective implementation of the algorithm, which is successfully used ..."
 
Том 26, № 4 (2019) Операционная семантика аннотированных Reflex программ Аннотация  PDF (Rus)  похожие документы
Игорь Сергеевич Ануреев
"... for the application of such methods. A brief overview of the Reflex language is given and a simple example of its use ..."
 
Том 25, № 4 (2018) Верификация программ со взаимной рекурсией на языке Пифагор Аннотация  PDF (Rus)  похожие документы
Мария Сергеевна Ушакова, Александр Иванович Легалов
"... correctness proof is given for the program that parses a simple arithmetic expression. We construct the graph ..."
 
Том 22, № 5 (2015) Анализ локальных бифуркаций для уравнения с запаздыванием, зависящим от искомой функции Аннотация  PDF (Rus)  похожие документы
В. О. Голубенец
"... parameter of this equation has one critical value. A simple sufficient condition of Andronov – Hopf ..."
 
Том 23, № 6 (2016) Имитационное моделирование для анализа выполнимости приложений реального времени Аннотация  PDF (Rus)  похожие документы
С. Н. Баранов, В. В. Никифоров
"... on a multi-core platform is described. The application structure is specified through a simple formalized ..."
 
Том 30, № 3 (2023) Логика для суждений об ошибках в циклах над последовательностями данных (IFIL) Аннотация  похожие документы
Дмитрий Александрович Кондратьев
"... results in having to prove too complex formulas in simple cases. Our contribution is a new logic ..."
 
Том 28, № 1 (2021) Автоматизированная обучающая система «Множества» (исследования организации 1-й части проекта) Аннотация  похожие документы
Вадим Сергеевич Рублев, Максим Дмитриевич Кондаков
"... each simple statement and to conduct their step-by-step proof. The second editor allows (using ..."
 
Том 28, № 4 (2021) Решение задач линейного программирования приведением к виду с очевидным ответом Аннотация  PDF (Rus)  похожие документы
Глеб Дмитриевич Степанов
"... and remember analogue of the famous Farkas lemma is obtained. The other option is quite simple to use, but its ..."
 
Том 24, № 1 (2017) О комбинировании различных методов ускорения при итерационном решении уравнений с частными производными методом коллокаций и наименьших невязок Аннотация  PDF (Rus)  похожие документы
Василий Павлович Шапеев, Евгений Васильевич Ворожцов
"... only to a simple solution prolongation operation on the multigrid complex to reduce substantially ..."
 
Том 25, № 3 (2018) Новый подход к обнаружению и устранению аномалий в политике безопасности внешнего модуля межсетевого экрана контроллера ПКС Floodlight Аннотация  похожие документы
Сергей Владимирович Моржов, Михаил Александрович Никитинский
"... to store the rules, in which the operation of adding a new rule would be simple. After analyzing ..."
 
Том 31, № 4 (2024) Применение TLA+/TLC для моделирования и верификации криптографических протоколов Аннотация  PDF (Rus)  похожие документы
Максим Вячеславович Нейзов, Егор Владимирович Кузьмин
"... the model and reduce verification time. We demonstrate the application of these results on a simple ..."
 
Том 32, № 1 (2025) Обзор моделей автоматической оценки сходства ответа учащегося с эталонным ответом Аннотация  PDF (Rus)  похожие документы
Надежда Станиславовна Лагутина, Ксения Владимировна Лагутина
"... models based on various stylometric features, both simple ones like a bag of words and n-grams ..."
 
Том 26, № 4 (2019) Анализ безопасности контроллеров продольного движения во время набора высоты Аннотация  похожие документы
Томас Баар, Хорст Шульте
"... , it turns out that simple proportional (P) controllers can be easily represented by HP programs, but more ..."
 
Том 26, № 2 (2019) Пороговый анализ деградации запросов внутри вычислительной сети Аннотация  похожие документы
Василий Павлович Кирнос
"... of SBIS3 application (product of Tensor Company) is treated. Further, two approaches allowing to analyze ..."
 
Том 22, № 1 (2015) Сингулярно возмущённая краевая задача с многозонным внутренним переходным слоем Аннотация  PDF (Rus)  похожие документы
Валентин Федорович Бутузов
"... , причём два из них – простые (однократные), а третий – двукратный. Доказано, что для достаточно малых ..."
 
Том 14, № 2 (2007) SR-группы порядка 2npm с диэдральной 2-силовской подгруппой Аннотация  PDF (Rus)  похожие документы
В. В. Янишевский
"... подгруппы Фраттини. Доказано, что если такая группа несверхразрешима, то p - простое число Мерсеннa и данная ..."
 
Том 17, № 3 (2010) Составные редукции моделей Крипке и автоморфизмы Аннотация  PDF (Rus)  похожие документы
Ю. А. Белов
"... могут быть представлены в виде композиции моделей с простыми группами автоморфизмов. Доказано также, что ..."
 
Том 22, № 2 (2015) О существовании ABA-факторизаций у спорадических групп ранга 3 Аннотация  PDF (Rus)  похожие документы
Лев Сергеевич Казарин, Илья Андреевич Рассадин, Денис Николаевич Сахаров
"... for a group is fundamental and can be used for understanding the group structure. For instance, every simple ..."
 
Том 29, № 3 (2022) О построении самодополнительных кодов и их приложении в задаче сокрытия информации Аннотация  PDF (Rus)  похожие документы
Юрий Владимирович Косолапов, Федор Сергеевич Певнев, Маргарита Владимировна Ягубянц
"... on residual codes, based on the (u-u+v)-construction, and based on the tensor product of codes. On the joint ..."
 
Том 23, № 3 (2016) Асимптотика, устойчивость и область притяжения периодического решения сингулярно возмущённой параболической задачи с двукратным корнем вырожденного уравнения Аннотация  PDF (Rus)  похожие документы
В. Ф. Бутузов, Н. Н. Нефедов, Л. Реке, К. Р. Шнайдер
"... and the behavior of the solution in the boundary layers essentially differ from that ones in case of a simple root ..."
 
Том 24, № 3 (2017) О контрастных структурах с многозонным внутренним слоем Аннотация  PDF (Rus)  похожие документы
Валентин Фёдорович Бутузов
"... решения от двукратного корня  вырожденного уравнения к простому корню, а во втором случае  во внутреннем ..."
 
Том 20, № 6 (2013) Обнаружение дефектов в программном обеспечении путем объединения ограниченной проверки моделей и аппроксимации функций Аннотация  PDF (Rus)  похожие документы
Марат Халимович Ахин, Михаил Анатольевич Беляев, Владимир Михайлович Ицыксон
"... a basic prototype; experiment results on a set of simple test BMC problems are satisfactory.   ..."
 
Том 23, № 5 (2016) Сингулярно возмущенная эллиптическая задача Дирихле с кратным корнем вырожденного уравнения Аннотация  PDF (Rus)  похожие документы
В. Ф. Бутузов, В. А. Белошапко
"... of the degenerate equation is simple: the asymptotic expansion of the solution being in fractional powers ..."
 
Том 20, № 1 (2013) О финитной аппроксимируемости некоторых обобщенных свободных произведений разрешимых групп конечного ранга Аннотация  PDF (Rus)  похожие документы
Алексей Вячеславович Розов
"... Пусть G — свободное произведение финитно аппроксимируемых почти раз- решимых групп A и B конечного ..."
 
Том 23, № 4 (2016) Об алгебраических циклах на расслоенных произведениях неизотривиальных семейств регулярных поверхностей с геометрическим родом Аннотация  PDF (Rus)  похожие документы
О. В. Никольская
"... , кроме того, морфизмы     гладкие,           - нечетные простые числа и      , то для
 
Том 14, № 4 (2007) Сети активных ресурсов Аннотация  PDF (Rus)  похожие документы
В. А. Башкин
"... and two modified models is studied. It is shown, that AR-nets and AR-nets with simple firing ..."
 
Том 26, № 2 (2019) К вопросу использования «полезных» задач для обеспечения работой блокчейн систем Аннотация  PDF (Rus)  похожие документы
Дмитрий Михайлович Мурин, Владимир Николаевич Князев
"... of a simple experiment. The experiment is to chose an element independently and uniformly from a quite large ..."
 
Том 22, № 5 (2015) Асимптотика моментов сингулярной функции Лебега Аннотация  PDF (Rus)  похожие документы
Е. А. Tимофеев
"... нулю почти всюду (p ̸= q). Моменты сингулярной функции Лебега определяются как Mn = Eξn.  Основной ..."
 
Том 29, № 1 (2022) Алгоритм углового сверхразрешения с использованием разложения Холецкого и его реализация на основе технологии параллельных вычислений Аннотация  PDF (Rus)  похожие документы
Сергей Евгеньевич Мищенко, Николай Витальевич Шацкий
"... ковариационной матрицы входных сигналов почти в два раза. ..."
 
Том 20, № 5 (2013) Релаксационные колебания в моделях многовидовых сообществ Аннотация  PDF (Rus)  похожие документы
Сергей Александрович Кащенко
"... асимптотического метода задачу о поведении решений исходных систем удается свести к существенно более простой ..."
 
Том 20, № 3 (2013) Преобразования задач оптимального управления Аннотация  PDF (Rus)  похожие документы
Анатолий Михайлович Цирлин
"... системы (инварианта), за счет расширения задачи и перехода от исходной задачи к более простой, дающей ..."
 
Том 23, № 6 (2016) Реконфигурирование компонентно-ориентированных систем на базе графовых грамматик Аннотация  PDF (Rus)  похожие документы
О. Б. Кушнаренко, Ж.-Ф. Вебер
"... подвергаясь никакому системному простою. В этом контексте основной вклад данной статьи – доказательство ..."
 
Том 23, № 6 (2016) Подход к верификации семейства мультиагентных систем разрешения конфликтов Аннотация  PDF (Rus)  похожие документы
Н. О. Гаранина, Е. А. Сидорова
"... specify processes which are merging of base system processes, in contrast to simple nonterminals which ..."
 
Том 24, № 6 (2017) К вопросу об измерении уровня абстракции диаграмм состояний на основе тестирования мутаций Аннотация  похожие документы
Томас Баар
"... machine allows to assess its quality in terms of a simple number. In model-based software development ..."
 
Том 25, № 6 (2018) Векторное представление слов с семантическими отношениями: экспериментальные наблюдения Аннотация  PDF (Rus)  похожие документы
Мария Сергеевна Каряева, Павел Исаакович Браславский, Валерий Анатольевич Соколов
"... in NLP tasks. The idea of word2vec is based on a simple rule that a higher similarity can be reached ..."
 
Том 20, № 5 (2013) Замкнутые локально минимальные сети на поверхностях выпуклых многогранников Аннотация  PDF (Rus)  похожие документы
Наталия Павловна Стрелкова
"... комбинаторные структуры и длины рёбер минимальных сетей на выпуклых многогранниках. Доказано, что на почти всех ..."
 
Том 20, № 5 (2013) Оценка числа решетчатых разбиений плоскости на полимино заданной площади Аннотация  PDF (Rus)  похожие документы
Антон Владимирович Шутов, Екатерина Викторовна Коломейкина
"... . Также доказано, что почти все полимино, дающие решетчатые разбиения плоскости, имеют большой периметр. ..."
 
Том 23, № 3 (2016) Сходимость сеточного решения задачи Дирихле с разрывной про- изводной граничной функции для сингулярно возмущенного уравнения конвекции- диффузии Аннотация  похожие документы
Т. Я. Ершова
"... в сеточной норме максимум модуля почти с первым порядком, а именно с той же скоростью, что и при ..."
 
Том 24, № 2 (2017) О гипотезах Тэйта для дивизоров на расслоенном многообразии и его общем схемном слое в случае конечной характеристики Аннотация  PDF (Rus)  похожие документы
Татьяна Вячеславовна Прохорова
"... ,) ; (NS(V)=NS(Votimesoverline k).) Если для простого числа (l), не делящего ({Card}([NS(V)]_{tors ..."
 
Том 24, № 2 (2017) О бифуркациях при малых возмущениях в логистическом уравнении с запаздыванием Аннотация  PDF (Rus)  похожие документы
Сергей Александрович Кащенко
"... величины большого запаздывания. Для наиболее простого случая, когда этот порядок совпадает с величиной ..."
 
Том 24, № 4 (2017) О задаче минимизации последовательных программ Аннотация  PDF (Rus)  похожие документы
Владимир Анатольевич Захаров, Шынар Рустамбековна Жайлауова
"... Стандартные схемы программ — это одна из наиболее простых моделей последовательных императивных ..."
 
Том 29, № 4 (2022) Замечания о графах достижимости сетей Петри Аннотация  PDF (Rus)  похожие документы
Юрий Анатольевич Белов
"... более простого случая некоторые вопросы остаются открытыми. В заметке доказывается, что любой конечный ..."
 
Том 25, № 5 (2018) О выразительных возможностях некоторых расширений линейной темпоральной логики Аннотация  PDF (Rus)  похожие документы
Антон Романович Гнатенко, Владимир Анатольевич Захаров
"... One of the most simple models of computation which is suitable for representation of reactive ..."
 
1 - 75 из 83 результатов 1 2 > >> 

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

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