Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 28, № 1 (2021) Автоматизированная обучающая система «Множества» (исследования организации 1-й части проекта) Аннотация  похожие документы
Вадим Сергеевич Рублев, Максим Дмитриевич Кондаков
"... to the concept of a set, operations on sets, algebra of sets, proofs of statements for sets, and the derivation ..."
 
Том 24, № 5 (2017) Устойчивость решений дискретных краевых задач для уравнения двумерной фильтрации Аннотация  PDF (Rus)  похожие документы
Сергей Александрович Кащенко
"... digital filtration is studied. The different statements of the initial value problem are analysed ..."
 
Том 26, № 2 (2019) eT-сводимость множеств Аннотация  PDF (Rus)  похожие документы
Роман Ревович Яруллин
"... to correctly define the jump operation on it by using the T-jump or e-jump of sets. The local properties of eT ..."
 
Том 19, № 6 (2012) О некоторых следствиях теоремы о трансверсалях Аннотация  PDF (Rus)  похожие документы
Владимир Леонидович Дольников
 
Том 17, № 1 (2010) О множестве достижимости автоматных счетчиковых машин Аннотация  PDF (Rus)  похожие документы
Е. В. Кузьмин, Д. Ю. Чалый
"... Properties of automaton counter machines are investigated. We prove that reachability sets ..."
 
Том 16, № 3 (2009) О множестве достижимости автоматных трехсчетчиковых машин Аннотация  PDF (Rus)  похожие документы
Е. В. Кузьмин, Д. Ю. Чалый
"... reachability sets. ..."
 
Том 19, № 3 (2012) О неглавных идеалах в полурешетке степеней перечислимости Аннотация  PDF (Rus)  похожие документы
Борис Яковлевич Солон, Валерий Валерьевич Тихов
 
Том 19, № 5 (2012) О неглавных идеалах в полурешетке степеней перечислимости Аннотация  PDF (Rus)  похожие документы
Борис Яковлевич Солон, Валерий Валерьевич Тихов
 
Том 19, № 3 (2012) Об одном классе операторных включений Аннотация  PDF (Rus)  похожие документы
Николай Андреевич Демьянков, Владимир Степанович Климов
"... . No solution criterion of the viewed inclusion is set up. Integer characteristics of multivalued mappings ..."
 
Том 20, № 5 (2013) Статистические характеристики управляемых систем, возникающие в различных моделях естествознания Аннотация  PDF (Rus)  похожие документы
Яна Юрьевна Ларина, Людмила Ивановна Родина
"... We continue the study of extending the concept of invariance sets relative to control systems ..."
 
Том 14, № 1 (2007) Расстояния и другие меры близости на множестве черно-белых цифровых изображений Аннотация  PDF (Rus)  похожие документы
П. Г. Парфенов, И. А. Каплий, О. С. Куликов
"... In the paper is formulated series of functions in a set of pairs of black-and-white digital images ..."
 
Том 20, № 2 (2013) Группы гомологий сети Петри конвейера Аннотация  PDF (Rus)  похожие документы
Ахмет Аксанович Хусаинов, Елена Сергеевна Бушмелева, Таисия Александровна Тришина
"... of this topological space. By induction on n, using the Addition Sequence for homology groups of semicubical sets ..."
 
Том 24, № 2 (2017) Задачи оптимизации с усреднением по части переменных и условия их оптимальности в форме принципа максимума Аннотация  PDF (Rus)  похожие документы
Анатолий Михайлович Цирлин
"... , the set of possible values may contain isolated points. In variational problems there can be no solution ..."
 
Том 24, № 6 (2017) Задача о кратчайшем пути в кратном графе Аннотация  PDF (Rus)  похожие документы
Александр Валерьевич Смирнов
"... the definition of the reachability set for the ordinary and multiple edges. The adjacency property is defined ..."
 
Том 23, № 2 (2016) Метод сбалансированного выбора механизмов обеспечения отказоустойчивости для распределённых вычислительных систем Аннотация  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 ..."
 
Том 23, № 1 (2016) Продолжение решения на границе разрыва как решение задачи усредненной оптимизации Аннотация  PDF (Rus)  похожие документы
А. М. Цирлин
"...  of multidimensional problems. Optimality conditions set forth averaged nonlinear programming and examples of their use ..."
 
Том 26, № 1 (2019) От главного редактора Аннотация  PDF (Rus)  похожие документы
Валерий Анатольевич Соколов
 
Том 26, № 4 (2019) От редакторов выпуска Аннотация  PDF (Rus)  похожие документы
В. А. Захаров, Н. В. Шилов
 
Том 23, № 3 (2016) От редактора специального выпуска Аннотация  PDF (Rus)  похожие документы
С. Д. Глызин
 
Том 23, № 5 (2016) От редактора специального выпуска Аннотация  PDF (Rus)  похожие документы
С. Д. Глызин
 
Том 24, № 3 (2017) От редакторов специального выпуска Аннотация  PDF (Rus)  похожие документы
В. Ф. Бутузов, С. Д. Глызин, Н. Н. Нефедов
 
Том 27, № 4 (2020) От редакторов выпуска Аннотация  PDF (Rus)  похожие документы
В. А. Захаров, Н. В. Шилов
 
Том 20, № 1 (2013) О почти аппроксимируемости конечными p-группами групп Баумслага — Солитэра Аннотация  PDF (Rus)  похожие документы
Дмитрий Николаевич Азаров
"... Let π be a set of primes. For Baumslag — Solitar groups the necessary and sufficient condition ..."
 
Том 24, № 2 (2017) Анализ типизированных зависимостей включения с неопределенными значениями Аннотация  PDF (Rus)  похожие документы
Владимир Сергеевич Зыкин, Сергей Владимирович Зыкин
"... integrity on the data. Attempts to solve this problem contain inaccuracy in the statement of the problem ..."
 
Том 21, № 3 (2014) Импульсный нейрон и нейронный клеточный автомат асимптотически эквивалентны Аннотация  PDF (Rus)  похожие документы
Валерий Дмитриевич Копылов, Ольга Александровна Дунаева, Михаил Леонидович Мячин
"... prove statements about duration of the latent period for a neuron under impact. In the second chapter ..."
 
Том 20, № 6 (2013) Релаксационные циклы в обобщенной нейронной модели с двумя запаздываниями Аннотация  PDF (Rus)  похожие документы
Сергей Дмитриевич Глызин, Елена Александровна Марушкина
"... operator is constructed. The resulting operator carries a closed bounded convex set of initial conditions ..."
 
Том 23, № 1 (2016) A Special Role of Boolean Quadratic Polytopes among Other Combinatorial Polytopes Аннотация  PDF (Rus)  похожие документы
Александр Николаевич Максименко
"... problems: maximum cut, Boolean quadratic programming, quadratic linear ordering, quadratic assignment, set ..."
 
Том 16, № 4 (2009) Метод автоматического построения алгоритмов распознавания участков фазовых траекторий Аннотация  PDF (Rus)  похожие документы
Д. С. Коваленко
"... each other in amplitude and length. Besides, the training set could be incompletely defined ..."
 
Том 17, № 4 (2010) Верификация и синтез программ сложения на базе правил корректности операторов Аннотация  PDF (Rus)  похожие документы
В. И. Шелехов
"... of the rules of program correctness for statements of the predicate programming P language. The paper presents ..."
 
Том 25, № 6 (2018) Онтология процессов, ориентированная на верификацию Аннотация  PDF (Rus)  похожие документы
Наталья Олеговна Гаранина, Игорь Сергеевич Ануреев, Олеся Игнатьевна Боровикова
"... are characterized by sets of local and shared variables, a list of actions on these variables which change ..."
 
Том 17, № 4 (2010) Пример верификации в проекте F@BOOL@, основанном на булевских решателях Аннотация  PDF (Rus)  похожие документы
Н. В. Шилов
"... statements speci¯ed by man about the properties of the programs being translated. The purpose of the F@BOOL ..."
 
Том 17, № 2 (2010) О нецелочисленных вершинах релаксаций многогранника задачи 3-ВЫПОЛНИМОСТЬ Аннотация  PDF (Rus)  похожие документы
А. В. Николаев
"... New facts characterizing the vertex set of 3-SAT problem relaxation polytope are established ..."
 
Том 20, № 6 (2013) Определение области типа параллелоэдра Аннотация  PDF (Rus)  похожие документы
Вячеслав Петрович Гришухин
"... Each convex polytope P = P(α) can be described by a set of linear inequalities determined ..."
 
Том 22, № 3 (2015) УСТОЙЧИВОСТЬ НЕПРЕРЫВНЫХ ВОЛН ДЛЯ МОДЕЛИ ПОЛУПРОВОДНИКОВОГО ЛАЗЕРА С БОЛЬШИМ ЗАПАЗДЫВАНИЕМ Аннотация  PDF (Rus)  похожие документы
А. А. Кащенко
"... in the Lang-Kobayashi model. A special set I depending on all parameters of the problem is built ..."
 
Том 19, № 4 (2012) Замечания о расположениях точек на квадриках Аннотация  PDF (Rus)  похожие документы
Александр Владиславович Селиверстов
"... It is considered the minimization of a quadratic polynomial on the set of all points ..."
 
Том 21, № 5 (2014) О числе сосуществующих автоволновых решений цепочки диффузионно связанных осцилляторов нейронного типа Аннотация  PDF (Rus)  похожие документы
Юрий Викторович Богомолов, Сергей Дмитриевич Глызин, Андрей Юрьевич Колесов
"... parameters but with pulse external action. The statement on correspondence between the resulting system ..."
 
Том 18, № 3 (2011) О гипотезе Лассака для выпуклого тела Аннотация  PDF (Rus)  похожие документы
Михаил Викторович Невский
"... . The paper contains a new proof of this statement for n = 2. Also we show that if a translate of $[0,1]^n ..."
 
Том 14, № 2 (2007) О характеристическом наборе коэффициентов черно-белых цифровых изображений, построенных на основе гексагональной решетки Аннотация  PDF (Rus)  похожие документы
И. А. Каплий, П. Г. Парфенов
"... with non-negative integer components to be a characteristic set of some image are obtained. ..."
 
Том 27, № 1 (2020) Марковская модель совместных киберугроз и ее применение для выбора оптимального набора средств защиты информации Аннотация  PDF (Rus)  похожие документы
Адиль Аскарович Касенов, Алексей Анатольевич Магазев, Валерия Федоровна Цырульник
"... . Finally, we consider an example that illustrate the solution of the problem on selecting the optimal set ..."
 
Том 20, № 2 (2013) О поворотах цифровых изображений Аннотация  PDF (Rus)  похожие документы
Павел Геннадьевич Парфенов
"... of a characteristic set of coefficients when turning at an arbitrary angle by the method of the nearest neighbor ..."
 
Том 23, № 6 (2016) Построение каскадной параллельной композиции временных автоматов с использованием BALM-II Аннотация  PDF (Rus)  похожие документы
М. Л. Громов, Н. В. Шабалдина
"... with output delays that are sets of linear functions. So, the problem of deriving a cascade composition ..."
 
Том 19, № 6 (2012) О некоторых задачах локализации в триангуляциях Делоне Аннотация  PDF (Rus)  похожие документы
Наталья Федоровна Дышкант
"... procedures. For the problem of the set of nodes the computationally efficient approach that uses Euclidean ..."
 
Том 14, № 4 (2007) О нижней оценке количества k + 1-неразбиваемых перестановок Аннотация  PDF (Rus)  похожие документы
Г. Р. Челноков
"... } is a set of natural numbers such that 1 <= a1, <...,< ai <= n and т(a1) < т(a2) < < т(ai), then i <= к ..."
 
Том 23, № 5 (2016) О числовых характеристиках симплекса и их оценках Аннотация  PDF (Rus)  похожие документы
М. В. Невский, А. Ю. Ухалов
"... _n), then (alpha(S)=xi(S)).} He proved this statement for (n=2) and the case when (n+1) is an Hadamard number ..."
 
Том 19, № 2 (2012) Полиномиальный алгоритм верификации цепей Маркова для подмножества логики PLTL Аннотация  PDF (Rus)  похожие документы
Павел Валерьевич Лебедев
"... , and also set of trajectories on which the verified formula is true. ..."
 
Том 15, № 1 (2008) Интегральные близкие к эйлеровой характеристики полутоновых цифровых изображений Аннотация  PDF (Rus)  похожие документы
П. Г. Парфенов, И. А. Каплий
"... characteristic is a natural continuation of Eiler characteristics on the set of halftone images. ..."
 
Том 17, № 3 (2010) Вариационные неравенства и принцип виртуальных перемещений Аннотация  PDF (Rus)  похожие документы
Н. А. Демьянков
"... cone to the weakly compacct and, generally speaking, not convex set Q С V, with nonzero euler ..."
 
Том 20, № 6 (2013) Формальная модель и задачи верификации программно-конфигурируемых сетей Аннотация  PDF (Rus)  похожие документы
Владимир Анатольевич Захаров, Руслан Леонидович Смелянский, Евгений Викторович Чемерицкий
"... a distributed set of switches. A set of open commands for packet forwarding and flow-table updating was defined ..."
 
Том 21, № 6 (2014) Подход к автоматизации отладки поведенческих сценариев Аннотация  PDF (Rus)  похожие документы
Павел Дмитриевич Дробинцев, Всеволод Павлович Котляров, Игорь Валерьевич Никифоров, Александр Адольфович Летичевский, Владимир Сергеевич Песчаненко
"... of errors in a given set of generated behavioral symbolic scenarios. ..."
 
Том 20, № 6 (2013) О бутстрэпе для диаграмм и ландшафтов персистентности Аннотация  PDF (Rus)  похожие документы
Фредерик Шазаль, Фази Британи Тереза, Лецци Фабрицио, Риналдо Алессандро, Сингх Аарти, Ларри Вассерман
"... signal from topological noise. In particular, we derive confidence sets for persistence diagrams ..."
 
Том 18, № 4 (2011) Оптимизационные процедуры в аффинной проверке моделей Аннотация  PDF (Rus)  похожие документы
Наталья Олеговна Гаранина
"... Symbolic model checking is based on a compact representation of sets of states and transition ..."
 
Том 18, № 4 (2011) Простой алгоритм решения задачи покрытия для монотонных счетчиковых систем Аннотация  PDF (Rus)  похожие документы
Андрей Валентинович Климов
"... with initial and target sets of states and from the proof that under some conditions the procedure terminates ..."
 
Том 14, № 2 (2007) О числе запретов, задающих периодическую последовательность Аннотация  PDF (Rus)  похожие документы
Г. Р. Челноков
"... we denote by Un the set of words и of length n, which are not powers (i.e. are not represented ..."
 
Том 21, № 2 (2014) Некоторые аппроксимационные свойства групп конечного ранга Аннотация  PDF (Rus)  похожие документы
Дмитрий Николаевич Азаров
"... set π of almost all primes the group G of finite rank is a residually finite nilpotent π-group ..."
 
Том 24, № 5 (2017) Семейство негрубых циклов в системе двух связанных генераторов с запаздыванием Аннотация  PDF (Rus)  похожие документы
Александра Андреевна Кащенко
"... the existence of relaxation periodic solutions of a given system. For this purpose, a special set is constructed ..."
 
Том 19, № 2 (2012) Новые компоненты схемы модулей MP3 (2; -1; 2; 0) стабильных когерентных пучков ранга 2 без кручения на трехмерном проективном пространстве P3 Аннотация  PDF (Rus)  похожие документы
Михаил Александрович Заводчиков
"... space P3. We will de¯ne two sets of sheaves M1 and M2 in M and we will prove that closures of M1 and M2 ..."
 
Том 19, № 3 (2012) О порядке роста числа инъективных и сверхрастущих рюкзачных векторов Аннотация  PDF (Rus)  похожие документы
Дмитрий Михайлович Мурин
"... vectors. This class is a subset of the set of knapsacks with injective (cryptographic) vectors that allow ..."
 
Том 24, № 4 (2017) Автоматизированная Обучающая Система для обучения курсу анализа сложности алгоритмов Аннотация  PDF (Rus)  похожие документы
Вадим Сергеевич Рублев, Мурад Теймурович Юсуфов
"... of computational complexity. Further, we introduce a set of theorems that facilitate the analysis in cases when ..."
 
Том 19, № 4 (2012) Об одной нестационарной задаче маршрутизации с ограничениями Аннотация  PDF (Rus)  похожие документы
Александр Георгиевич Ченцов, Павел Александрович Ченцов
"... a system of megalopolises (finite goal sets) and performs some work on each megalopolis. The cost functions ..."
 
Том 28, № 2 (2021) Вычислительный анализ количественных характеристик некоторых аппроксимационных свойств разрешимых групп Баумслага-Солитэра Аннотация  PDF (Rus)  похожие документы
Елена Александровна Туманова
"... examines the question of the number of two-element sets of prime numbers that satisfy the conditions ..."
 
Том 26, № 1 (2019) Анализ эффективности демультиплексирования транспортных потоков Аннотация  PDF (Rus)  похожие документы
Евгений Павлович Степанов
"... transport subflows can increase the speed of it. This statement is true for a single flow but its truth ..."
 
Том 22, № 4 (2015) О финитной отделимости подгрупп в расщепляемых расширениях Аннотация  PDF (Rus)  похожие документы
А. А. Кряжева
"... In 1973, Allenby and Gregoras proved the following statement. Let G be a split extension ..."
 
Том 20, № 4 (2013) О разрешимости бездефектности для сетей потоков работ с неограниченным ресурсом Аннотация  PDF (Rus)  похожие документы
Владимир Анатольевич Башкин, Ирина Александровна Ломазова
"... (RWF-net) is a workflow net supplied with an additional set of initially marked resource places ..."
 
Том 26, № 2 (2019) К вопросу использования «полезных» задач для обеспечения работой блокчейн систем Аннотация  PDF (Rus)  похожие документы
Дмитрий Михайлович Мурин, Владимир Николаевич Князев
"... set and then to check if the chosen element has a specific rare property. In the classic blockchain ..."
 
Том 20, № 2 (2013) Об эффективном моделировании неограниченного ресурса при помощи односчетчиковых контуров Аннотация  PDF (Rus)  похожие документы
Владимир Анатольевич Башкин
"... . It is shown that in a positive circuit an infinite part of a reachability set is an arithmetic progression ..."
 
Том 25, № 5 (2018) Представление универсальных гиперграфических автоматов автономными выходными сигналами Аннотация  похожие документы
Екатерина Владимировна Хворостухина, Владимир Александрович Молчанов
"... Hypergraphic automata are automata with state sets and input symbol sets being hypergraphs which ..."
 
Том 20, № 4 (2013) Исследование ортогональности сигналов с вращением вектора поляризации Аннотация  PDF (Rus)  похожие документы
Юрий Евгеньевич Боровков, Александр Николаевич Кренев, Виктор Николаевич Муравьев, Александр Прокофьевич Омельчук
"... there is a tendency to extend the set of frequency parameters that satisfy the criteria specified level ..."
 
Том 17, № 4 (2010) Об исчислении позитивно-образованных формул для автоматического доказательства теорем Аннотация  PDF (Rus)  похожие документы
А. В. Давыдов, А. А. Ларионов, Е. А. Черкашин
"... two logic symbols for any and is, which form the set of logic connectives of the language. A logic ..."
 
Том 24, № 1 (2017) Новые оценки числовых величин, связанных с симплексом Аннотация  PDF (Rus)  похожие документы
Михаил Викторович Невский, Алексей Юрьевич Ухалов
"... ) is an Hadamard number if and only if (xi_n=n.) This statement is valid only in one direction. There exists ..."
 
Том 26, № 3 (2019) Формальная верификация диаграмм троичных цифровых сигналов Аннотация  PDF (Rus)  похожие документы
Нина Юрьевна Куцак, Владислав Васильевич Подымов
"... problem statement; a solution technique for the verification problem, which is based on reduction ..."
 
Том 20, № 2 (2013) Алгоритм оценки параметров авторегрессионной модели элементарных речевых единиц Аннотация  PDF (Rus)  похожие документы
Иван Вадимович Губочкин
"... divergence between autoregressive models were computed. Experimental studies on a set of English phonemes ..."
 
Том 25, № 1 (2018) О переносе ряда понятий статистической радиофизики в теорию одномерных точечных отображений Аннотация  PDF (Rus)  похожие документы
Агалар Магомед-Закиевич Агаларов, Александр Алексеевич Потапов, Александр Эдуардович Рассадин, Антон Викторович Степанов
"... set of initial probability densities hitting into its stationary probability density after a finite ..."
 
Том 28, № 1 (2021) Онлайн тестирование динамических реконфигураций по отношению к политикам адаптации Аннотация  PDF (Rus)  похожие документы
Фредерик Дадо, Жан-Филипп Гро, Ольга Борисовна Кушнаренко
"... domains. Component systems are designed as sets of components that may reconfigure themselves according ..."
 
Том 21, № 4 (2014) Об аппроксимируемости корневыми классами HNN-расширений групп Аннотация  PDF (Rus)  похожие документы
Елена Александровна Туманова
"... is a retract of B (K is not necessarily closed under the factorization in this statement). ..."
 
1 - 75 из 172 результатов 1 2 3 > >> 

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

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