Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 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 ..."
 
Том 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 ..."
 
Том 22, № 4 (2015) О конечных группах с большой степенью неприводимого характера Аннотация  PDF (Rus)  похожие документы
Л. С. Казарин, С. С. Поисеева
"... Let G be a finite nontrivial group with an irreducible complex character χ of degree d = χ(1 ..."
 
Том 22, № 2 (2015) О существовании ABA-факторизаций у спорадических групп ранга 3 Аннотация  PDF (Rus)  похожие документы
Лев Сергеевич Казарин, Илья Андреевич Рассадин, Денис Николаевич Сахаров
"... for sporadic simple groups McL and F i22. There exist two rank 3 permutation representations of F i22. We have ..."
 
Том 17, № 4 (2010) Пример верификации в проекте F@BOOL@, основанном на булевских решателях Аннотация  PDF (Rus)  похожие документы
Н. В. Шилов
"... is Boolean representation of all data instead of Boolean abstraction or ¯rst-order representation. (It makes ..."
 
Том 25, № 3 (2018) О гипотезах Ходжа, Тэйта и Мамфорда–Тэйта для расслоенных произведений семейств регулярных поверхностей с геометрическим родом 1 Аннотация  PDF (Rus)  похожие документы
Ольга Владимировна Орешкина (Никольская)
"... on degenerated fibres, the ranks of the N'eron - Severi groups of generic geometric fibres and representations ..."
 
Том 20, № 2 (2013) Об эффективном моделировании неограниченного ресурса при помощи односчетчиковых контуров Аннотация  PDF (Rus)  похожие документы
Владимир Анатольевич Башкин
"... A class of infinite-state automata with a simple periodic behaviour and a convenient graphical ..."
 
Том 20, № 6 (2013) Комплексы подслов и ниль-движения Гекке Аннотация  PDF (Rus)  похожие документы
Михаил Александрович Горский
"... , ρ), where Q is a word in the alphabet of simple reflections, ρ is a group element. We describe ..."
 
Том 25, № 6 (2018) Даже простые процессы π-исчисления трудны для анализа Аннотация  PDF (Rus)  похожие документы
Марат Мазен Аббас, Владимир Анатольевич Захаров
"... of this paper is to show that even for the weakest model of passive adversary and for relatively simple ..."
 
Том 21, № 4 (2014) Транслятор с возможностью статического анализа безопасности информационных потоков для простого языка программирования Аннотация  PDF (Rus)  похожие документы
Екатерина Юрьевна Антошина, Александра Николаевна Баракова, Евгений Сергеевич Никитин, Дмитрий Юрьевич Чалый
 
Том 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 ..."
 
Том 18, № 4 (2011) Простой алгоритм решения задачи покрытия для монотонных счетчиковых систем Аннотация  PDF (Rus)  похожие документы
Андрей Валентинович Климов
 
Том 22, № 1 (2015) О нулях некоторых характеристических квазиполиномов Аннотация  PDF (Rus)  похожие документы
Дмитрий Сергеевич Глызин, Евгений Павлович Кубышкин, Алёна Романовна Морякова
 
Том 22, № 2 (2015) Аппроксимационные свойства нильпотентных групп Аннотация  PDF (Rus)  похожие документы
Дмитрий Николаевич Азаров
"... Let π be a set of primes. Recall that a group G is said to be a residually finite π-group ..."
 
Том 21, № 2 (2014) Некоторые аппроксимационные свойства групп конечного ранга Аннотация  PDF (Rus)  похожие документы
Дмитрий Николаевич Азаров
"... The generalization of one classical Seksenbaev theorem for polycyclic groups is obtained ..."
 
Том 23, № 2 (2016) Криптосистема на индуцированных групповых кодах Аннотация  PDF (Rus)  похожие документы
В. М. Деундяк, Ю. В. Косолапов
"... The code C on a group G, induced by the code N on a subgroup H, has the property that for decoding ..."
 
Том 25, № 5 (2018) Представление универсальных гиперграфических автоматов автономными выходными сигналами Аннотация  похожие документы
Екатерина Владимировна Хворостухина, Владимир Александрович Молчанов
"... symbol semigroups. In this paper, we investigated a representation problem of universal hypergraphic ..."
 
Том 25, № 2 (2018) Коды в диэдральной групповой алгебре Аннотация  PDF (Rus)  похожие документы
Кирилл Владимирович Веденёв, Владимир Михайлович Деундяк
"... code cryptosystems. Non-commutative codes, which simply are ideals of finite non-commutative group ..."
 
Том 20, № 6 (2013) О группах гомологий одного подпространства триангуляций двумерного симплекса с не более чем 6 точками разбиения границы Аннотация  PDF (Rus)  похожие документы
Светлана Ивановна Яблокова
"... We study homology groups of the space W˜₁(∇N ) of triangulations of the twodimensional simplex ..."
 
Том 28, № 3 (2021) Простой алгоритм отыскания неотрицательного базисного решения системы линейных алгебраических уравнений Аннотация  PDF (Rus)  похожие документы
Глеб Дмитриевич Степанов
 
Том 18, № 4 (2011) Оптимизационные процедуры в аффинной проверке моделей Аннотация  PDF (Rus)  похожие документы
Наталья Олеговна Гаранина
"... Symbolic model checking is based on a compact representation of sets of states and transition ..."
 
Том 20, № 1 (2013) О почти аппроксимируемости конечными p-группами групп Баумслага — Солитэра Аннотация  PDF (Rus)  похожие документы
Дмитрий Николаевич Азаров
"... Let π be a set of primes. For Baumslag — Solitar groups the necessary and sufficient condition ..."
 
Том 14, № 3 (2007) Учет возрастных групп в уравнении Хатчинсона Аннотация  PDF (Rus)  похожие документы
С. Д. Глызин
 
Том 20, № 2 (2013) Группы гомологий сети Петри конвейера Аннотация  PDF (Rus)  похожие документы
Ахмет Аксанович Хусаинов, Елена Сергеевна Бушмелева, Таисия Александровна Тришина
"... topological space of “intermediate” states. In the paper, it is calculated the homology groups ..."
 
Том 22, № 4 (2015) Алгоритмы для мажоритарного декодирования групповых кодов Аннотация  PDF (Rus)  похожие документы
В. М. Деундяк, Ю. В. Косолапов
"... for a practical implementation of the majority decoder for group codes specified as left ideals of group algebras ..."
 
Том 27, № 3 (2020) Эффективные алгоритмы проверки эквивалентности для некоторых классов автоматов Аннотация  PDF (Rus)  похожие документы
Владимир Анатольевич Захаров
"... of the developed approach an efficient equivalence checking algorithm for the class of simple grammars ..."
 
Том 25, № 3 (2018) Об алгоритме расщепления носителя для индуцированных кодов Аннотация  PDF (Rus)  похожие документы
Юрий Владимирович Косолапов, Алексей Николаевич Шигаев
"... for key attacks is examined. In particular, a model is considered when the automorphism group is trivial ..."
 
Том 14, № 2 (2007) Асимптотическое представление решений систем линейных разностных уравнений и метод усреднения Аннотация  PDF (Rus)  похожие документы
П. Н. Нестеров
 
Том 18, № 2 (2011) Об одном представлении функции в модели императивной программы, заданной сетями Петри Аннотация  PDF (Rus)  похожие документы
Георгий Витальевич Тарасов, Дмитрий Иванович Харитонов, Евгений Александрович Голенков
 
Том 21, № 4 (2014) Об аппроксимируемости корневыми классами HNN-расширений групп Аннотация  PDF (Rus)  похожие документы
Елена Александровна Туманова
"... Let K be an arbitrary root class of groups. This means that K contains at least one non-unit group ..."
 
Том 23, № 2 (2016) О группе Брауэра арифметической модели многообразия над глобальным полем положительной характеристики Аннотация  PDF (Rus)  похожие документы
Т. В. Прохорова
"... the finiteness of the Brauer group Br(X) classifying sheaves of Azumaya algebras on X modulo similitude ..."
 
Том 24, № 3 (2017) Решение вида движущегося фронта двумерной задачи реакция-диффузия Аннотация  PDF (Rus)  похожие документы
Евгений Александрович Антипов, Владимир Тарасович Волков, Наталия Тимуровна Левашова, Николай Николаевич Нефедов
 
Том 25, № 1 (2018) Асимптотическое приближение решения уравнения реакция-диффузия-адвекция с нелинейным адвективным слагаемым Аннотация  PDF (Rus)  похожие документы
Евгений Александрович Антипов, Наталия Тимуровна Левашова, Николай Николаевич Нефедов
 
Том 25, № 1 (2018) Верхнее и нижнее решения для системы уравнений типа ФицХью–Нагумо Аннотация  PDF (Rus)  похожие документы
Светлана Владимировна Быцюра, Наталия Тимуровна Левашова
 
Том 28, № 2 (2021) Трансформация функционально-потоковых параллельных программ в императивные Аннотация  PDF (Rus)  похожие документы
Владимир Сергеевич Васильев, Александр Иванович Легалов, Сергей Викторович Зыков
 
Том 20, № 1 (2013) О финитной аппроксимируемости некоторых обобщенных свободных произведений разрешимых групп конечного ранга Аннотация  PDF (Rus)  похожие документы
Алексей Вячеславович Розов
"... Let G be a free product of residually finite virtually soluble groups A and B of finite rank ..."
 
Том 29, № 3 (2022) Трансформация модели памяти языка программирования C в объектно-ориентированное представление на языке EO Аннотация  PDF (Rus)  похожие документы
Александр Иванович Легалов, Егор Георгиевич Бугаенко, Николай Константинович Чуйкин, Максим Владимирович Шипицин, Ярослав Иванович Рябцев, Андрей Николаевич Каменский
 
Том 32, № 2 (2025) Алгоритм шаблонизации для динамической задачи упаковки в контейнеры с группами размещения Аннотация  PDF (Rus)  похожие документы
Евгений Александрович Бражников, Артём Александрович Панин, Алексей Владленович Ратушный
"... with placement groups. For each virtual machine, parameters such as required number of resources and creation ..."
 
Том 19, № 4 (2012) Об одном вопросе А.И. Мальцева из "Коуровской тетради" Аннотация  PDF (Rus)  похожие документы
Валерий Георгиевич Дурнев
"... It is shown that the derived subgroup of the free group is not first-oder definable. ..."
 
Том 22, № 4 (2015) О финитной отделимости подгрупп в расщепляемых расширениях Аннотация  PDF (Rus)  похожие документы
А. А. Кряжева
"... of a finitely generated group A by the group B. 1) If in groups A and B all subgroups (all cyclic subgroups ..."
 
Том 30, № 1 (2023) Построение оптимальной схемы информационного обмена системы адаптивного управления движением группы беспилотных летательных аппаратов Аннотация  PDF (Rus)  похожие документы
Леонид Николаевич Казаков, Евгений Павлович Кубышкин, Дмитрий Эзрович Палей
"... for a group of unmanned aerial vehicles (UAVs). The movement of the UAV group is carried out in accordance ..."
 
Том 28, № 2 (2021) Вычислительный анализ количественных характеристик некоторых аппроксимационных свойств разрешимых групп Баумслага-Солитэра Аннотация  PDF (Rus)  похожие документы
Елена Александровна Туманова
"... $. It is known that, if $p$ is some prime number, then $G_{k}$ is residually a finite $p$-group if and only if $p ..."
 
Том 31, № 4 (2024) Устранение неоднозначностей в расширенных регулярных выражениях с обратными ссылками посредством применения правил переписывания Аннотация  похожие документы
Дарья Наильевна Исмагилова, Антонина Николаевна Непейвода
 
Том 17, № 3 (2010) Рекуррентные последовательности над почтикольцами Аннотация  PDF (Rus)  похожие документы
А. В. Сбоев
"... of finite non-abelian extra-spexdal 2-groups are investigatexl. ..."
 
Том 19, № 2 (2012) Новые компоненты схемы модулей MP3 (2; -1; 2; 0) стабильных когерентных пучков ранга 2 без кручения на трехмерном проективном пространстве P3 Аннотация  PDF (Rus)  похожие документы
Михаил Александрович Заводчиков
"... in M are irreducible components of dimensions 15 and 19, accordingly. ..."
 
Том 25, № 6 (2018) Платформенно-независимая спецификация и верификация стандартной математической функции квадратного корня Аннотация  PDF (Rus)  похожие документы
Николай Вячеславович Шилов, Дмитрий Александрович Кондратьев, Игорь Сергеевич Ануреев, Евгений Викторович Бодин, Алексей Владимирович Промский
"... attempt to design a relatively simple axiomatization of the computer arithmetics in terms of real ..."
 
Том 20, № 3 (2013) Семейства гладких рациональных кривых малой степени на многообразиях Фано степени 5 основной серии Аннотация  PDF (Rus)  похожие документы
Мария Сергеевна Омелькова
"... prove that these families are irreducible. The proof of the irreducibility of the families of curves ..."
 
Том 19, № 4 (2012) Контекстно-свободная грамматика одной ритмической модели русского стиха Аннотация  PDF (Rus)  похожие документы
Владимир Николаевич Бойков
 
Том 20, № 1 (2013) Об аппроксимируемости обобщенных свободных произведений корневыми классами групп Аннотация  PDF (Rus)  похожие документы
Елена Александровна Туманова
"... Let K be a root class of groups. It is proved that a free product of any family of residually K ..."
 
Том 23, № 4 (2016) Об алгебраических циклах на расслоенных произведениях неизотривиальных семейств регулярных поверхностей с геометрическим родом Аннотация  PDF (Rus)  похожие документы
О. В. Никольская
 
Том 24, № 2 (2017) О гипотезах Тэйта для дивизоров на расслоенном многообразии и его общем схемном слое в случае конечной характеристики Аннотация  PDF (Rus)  похожие документы
Татьяна Вячеславовна Прохорова
"... closure, (NS(V)) is the N'eron - Severi group of classes of divisors on the variety (V) modulo ..."
 
Том 19, № 2 (2012) Mодули стабильных пучков ранга 2 с классами Черна c1 = -1, c2 = 2, c3 = 0 на трехмерной квадрике Аннотация  PDF (Rus)  похожие документы
Артем Дмитриевич Уваров
"... ). In this paper we prove that in MQ(2;¡1; 2; 0) there exists a unique irreducible component diferent from MQ (¡1 ..."
 
Том 25, № 5 (2018) О выразительных возможностях некоторых расширений линейной темпоральной логики Аннотация  PDF (Rus)  похожие документы
Антон Романович Гнатенко, Владимир Анатольевич Захаров
"... One of the most simple models of computation which is suitable for representation of reactive ..."
 
Том 17, № 3 (2010) Язык объектных запросов динамической информационной модели DIM Аннотация  PDF (Rus)  похожие документы
В. С. Рублев
"... should allow us to describe a simple data query of this model. ..."
 
Том 14, № 2 (2007) SR-группы порядка 2npm с диэдральной 2-силовской подгруппой Аннотация  PDF (Rus)  похожие документы
В. В. Янишевский
"... The structure of SR-groups with dihedral Sylow 2-subgroup modulo Frattini subgroup is described ..."
 
Том 17, № 2 (2010) Алгоритм преобразования моделей бизнес-процессов в одноцветные сети Петри Аннотация  PDF (Rus)  похожие документы
М. Г. Доррер
"... format into a monochrome Petri net is suggested. The Petri net ma¬trix representation resulting from ..."
 
Том 22, № 5 (2015) Изоморфизм компактификаций модулей векторных расслоений: неприведенные схемы модулей Аннотация  PDF (Rus)  похожие документы
Н. В. Тимофеева
"...  bundles on a nonsingular irreducible projective algebraic surface S with polarization L, by locally free ..."
 
Том 20, № 4 (2013) Автоматизация формирования табличных приложений Аннотация  PDF (Rus)  похожие документы
Сергей Владимирович Зыкин
"... to formation of data representations on an example of widely widespread CASE-tools is submitted. The definition ..."
 
Том 22, № 6 (2015) Разработка активного внешнего модуля сетевой топологии для контроллера программно-конфигурируемой сети Floodlight Аннотация  PDF (Rus)  похожие документы
А. А. Носков, М. А. Никитинский, И. В. Алексеев
"... system), or network applications, that work with this controller. Methods of representation, storage ..."
 
Том 24, № 5 (2017) Конструктивное решение проблемы эллиптичности системы дифференциальных уравнений первого порядка Аннотация  PDF (Rus)  похожие документы
Владимир Евгеньевич Балабаев
"... . An integral representation of solutions is of great importance in the study of these systems. Only by means ..."
 
Том 23, № 3 (2016) Интерполяционные формулы для функций с большими градиен- тами в пограничном слое и их применение Аннотация  похожие документы
А. И. Задорин
"...  to essential errors. It is supposed that the function of one variable has the representation as a sum ..."
 
Том 19, № 5 (2012) Современные открытые проблемы в дискретной и вычислительной геометрии Аннотация  PDF (Rus)  похожие документы
Герберт Эдельсбруннер, Александр Иванов, Роман Карасев
"... outside the standard circle of ideas in discrete geometry. Despite the relatively simple statements ..."
 
Том 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 ..."
 
Том 23, № 3 (2016) Численное решение одной сингулярно возму- щённой задачи в круговой области Аннотация  похожие документы
А. Ф. Хегарти, Ю. О’Риордан
"...  on a circular domain. Using polar coordinates, simple upwinding and a piecewise-uniform Shishkin mesh ..."
 
Том 18, № 4 (2011) Ингибиторная сеть Петри, выполняющая произвольный заданный нормальный алгорифм Маркова Аннотация  PDF (Rus)  похожие документы
Дмитрий Анатольевич Зайцев
"... the integer form of representation. Within the paradigm of computations on Petri nets the net built provides ..."
 
Том 17, № 4 (2010) Генерация тестовых данных на основе формального анализа данных конфигурации проекта Аннотация  PDF (Rus)  похожие документы
А. В. Батаев, А. А. Давыдов, Н. Ю. Налютин, С. В. Синицын
"... . This method is based on the representation of equivalence class partitioning as logical equations. An original ..."
 
Том 28, № 3 (2021) Векторизация текстов на основе word-embedding моделей с использованием кластеризации Аннотация  PDF (Rus)  похожие документы
Виталий Иванович Юферев, Николай Алексеевич Разин
"... It is known that in the tasks of natural language processing, the representation of texts ..."
 
Том 21, № 4 (2014) Устойчивость в задаче поиска минимального разреза в графе Аннотация  PDF (Rus)  похожие документы
Илья Владимирович Козлов
"... a polynomial algorithm for calculating the stability radius and a simple criterion for checking n-stability ..."
 
Том 19, № 6 (2012) Наследcтвенные свойства модульных сетей Аннотация  PDF (Rus)  похожие документы
Владимир Анатольевич Башкин
"... (such as planarity). Modular nets of active resources is a (Petri nets)- powerful formalism with simple modular ..."
 
Том 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 ..."
 
Том 22, № 2 (2015) Полнота динамики значений свойств данных в СУБД DIM Аннотация  PDF (Rus)  похожие документы
Алексей Николаевич Петров, Вадим Сергеевич Рублев
"... about the static completeness of data representation in DIM, at the end of the paper the proof ..."
 
Том 22, № 3 (2015) РЕШЕНИЕ ПАРАБОЛИЧЕСКОГО ДИФФЕРЕНЦИАЛЬНОГО УРАВНЕНИЯ В ГИЛЬБЕРТОВОМ ПРОСТРАНСТВЕ С ПОМОЩЬЮ ФОРМУЛЫ ФЕЙНМАНА – I Аннотация  похожие документы
И. Д. Рeмизoв
"... the existence of a strongly continuous resolving semigroup for this equation, we construct a representation ..."
 
Том 23, № 2 (2016) Построение CFC-программ ПЛК по LTL-спецификации Аннотация  PDF (Rus)  похожие документы
Д. А. Рябухин, Е. В. Кузьмин, В. А. Соколов
"... . The approach to construction of CFC-programs is shown by an example.  PLC-program representation on CFC within ..."
 
Том 25, № 5 (2018) Упрощение процесса верификации кибер-физических систем с использованием подхода с графом потока управления в средстве KeYmae Аннотация  похожие документы
Томас Баар, Сергей Михайлович Старолетов
"... of KeYmaera is the purely textual representation of current proof goals, what requires from the user very good ..."
 
1 - 75 из 139 результатов 1 2 > >> 

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

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