Поиск


Сортировать по:     
 
Выпуск Название
 
Том 23, № 6 (2016) Применение раскрашенных сетей Петри для верификации конструкций управления сценариями языка UCM Аннотация  PDF (Rus)  похожие документы
Н. В. Визовитин, В. А. Непомнящий, А. А. Стененко
"... This article presents a method for the analysis and verification of Use Case Maps (UCM) models ..."
 
Том 20, № 6 (2013) Сегментация клинических эндоскопических изображений, основанная на классификации векторных топологических признаков Аннотация  PDF (Rus)  похожие документы
Ольга Александровна Дунаева, Дарья Борисовна Малкова, Михаил Леонидович Мячин, Херберт Эдельсбруннер
 
Том 22, № 1 (2015) Особенности формирования диссипативных структур, описываемых уравнением Курамото–Сивашинского Аннотация  PDF (Rus)  похожие документы
Николай Алексеевич Кудряшов, Павел Николаевич Рябов, Богдан Александрович Петров
"... is based on the pseudospectral method is presented. We prove the efficiency and accuracy of the proposed ..."
 
Том 24, № 3 (2017) Решения уравнений нестационарного фронта реакции с вырожденными точками равновесия Аннотация  PDF (Rus)  похожие документы
Алексей Александрович Быков, Кристина Евгениевна Ермакова
"... the Least Squares method Быков А.А., Ермакова К.Е. Решения уравнений с вырожденными точками ..."
 
Том 16, № 4 (2009) Уточнение оценки латентного периода для нейронов с синаптическим взаимодействием Аннотация  PDF (Rus)  похожие документы
О. А. Дунаева
 
Том 17, № 2 (2010) Метод оценки частоты выполнения фрагментов кода последовательной программы Аннотация  PDF (Rus)  похожие документы
А. В. Шалимов
"... method is proposed in the article for evaluation of basic block execution frequency based on the Monte ..."
 
Том 18, № 3 (2011) Об асимптотике критических решений систем дифференциальных уравнений с колебательно убывающими коэффициентами Аннотация  PDF (Rus)  похожие документы
Павел Николаевич Нестеров
"... In this paper we propose a method for constructing the asymptotics for a set of linear independent ..."
 
Том 18, № 3 (2011) О двух конечномерных аппроксимациях периодической краевой задачи Аннотация  PDF (Rus)  похожие документы
Николай Андреевич Демьянков
"... Two numerical methods for solving the periodic boundary value problem are considered: Galerkin ..."
 
Том 18, № 1 (2011) Временные шкалы в задаче об асимптотике решений дискретных адиабатических осцилляторов Аннотация  PDF (Rus)  похожие документы
П. Н. Нестеров
"... We develop a method of averaging for the study of linear systems of dynamic equations on time ..."
 
Том 19, № 2 (2012) Уравнение кинетики измельчения с произвольным законом распределения времени ожидания Аннотация  PDF (Rus)  похожие документы
Леонид Владимирович Королев, Донат Олегович Бытев
"... степенным распределением времени ожидания и исследовать влияние зависимости показателя степени от размера ..."
 
Том 19, № 5 (2012) TCP TIPS: транспортный протокол для ненадежных сетей, передающих чувствительные к задержкам данные Аннотация  PDF (Rus)  похожие документы
Анатолий Александрович Сивов
"... the available bandwidth. This protocol implements the proactive methods for congestion avoidance. These methods ..."
 
Том 21, № 1 (2014) Об одном механизме жесткого возбуждения колебаний в нелинейных флаттерных системах Аннотация  PDF (Rus)  похожие документы
Сергей Дмитриевич Глызин, Андрей Юрьевич Колесов, Николай Христович Розов
"... in case of 1 : 3 resonance. By combining analytical and numerical methods, it is concluded ..."
 
Том 23, № 3 (2016) Аналитико-численный подход для решения сигулярно возмущенных параболиче- ских уравнений с использованием динамически адаптированных сеток Аннотация  похожие документы
Д. В. Лукьяненко, В. Т. Волков, Н. Н. Нефедов, Л. Реке, К. Шнайдер
"... describe some methods to generate the dynamic adapted meshes for an efficient numerical solution ..."
 
Том 23, № 4 (2016) Резервное копирование с хранением в базе данных Аннотация  PDF (Rus)  похожие документы
С. М. Таранин
"... байт. Длина блока может быть адаптивной, т.е. меняться в зависимости от типа или размера файла. В таком ..."
 
Том 23, № 5 (2016) Асимптотическое интегрирование одного линейного дифференциального уравнения второго порядка с запаздыванием Аннотация  PDF (Rus)  похожие документы
П. Н. Нестеров
"... of the theory of oscillations of solutions of functional differential equations. We apply the method ..."
 
Том 24, № 1 (2017) Об асимптотике решений гармонического осциллятора с интегральным возмущением Аннотация  PDF (Rus)  похожие документы
Павел Николаевич Нестеров
"... a special method proposed for the asymptotic integration of linear dynamical systems with oscillatory ..."
 
Том 24, № 3 (2017) Решение вида движущегося фронта двумерной задачи реакция-диффузия Аннотация  PDF (Rus)  похожие документы
Евгений Александрович Антипов, Владимир Тарасович Волков, Наталия Тимуровна Левашова, Николай Николаевич Нефедов
"... the analytical method is an essential component  of the  study.   In the  paper,  asymptotic methods  are applied ..."
 
Том 24, № 3 (2017) Асимптотическое исследование решения уравнения теплопроводности вблизи границы раздела двух сред Аннотация  PDF (Rus)  похожие документы
Наталия Тимуровна Левашова, Ольга Александровна Николаева
 
Том 24, № 5 (2017) Асимптотическое интегрирование некоторых дифференциальных уравнений в банаховом пространстве Аннотация  PDF (Rus)  похожие документы
Павел Николаевич Нестеров
"... of the center manifold theory. The essence of the proposed asymptotic integration method is to prove ..."
 
Том 17, № 1 (2010) Явление буферности в обобщенном уравнении Свифта-Хоэнберга Аннотация  PDF (Rus)  похожие документы
Д. В. Сандуляк
 
Том 18, № 1 (2011) Хаотические колебания одной распределенной динамическом системы с бесконечным запаздыванием Аннотация  PDF (Rus)  похожие документы
А. Ю. Коверга, Е. П. Кубышкин
 
Том 18, № 1 (2011) Динамика слабого взаимодействия в системе близких видов Аннотация  PDF (Rus)  похожие документы
Е. В. Горчакова
 
Том 25, № 1 (2018) Об одной сингулярно возмущенной задаче нелинейной теплопроводности в случае сбалансированной нелинейности Аннотация  PDF (Rus)  похожие документы
Марина Александровна Давыдова, Светлана Александровна Захарова
"... On the basis of the modified asymptotic method of boundary functions and the asymptotic method ..."
 
Том 25, № 1 (2018) Верхнее и нижнее решения для системы уравнений типа ФицХью–Нагумо Аннотация  PDF (Rus)  похожие документы
Светлана Владимировна Быцюра, Наталия Тимуровна Левашова
"... transition layer increases. For these purposes the use of differential inequalities method is especially ..."
 
Том 15, № 1 (2008) Интегральные близкие к эйлеровой характеристики полутоновых цифровых изображений Аннотация  PDF (Rus)  похожие документы
П. Г. Парфенов, И. А. Каплий
"... , определенной на полутоновых фрагментах размера 2 х 2. Приведенный пример и компьютерная модель показывают, что ..."
 
Том 25, № 6 (2018) Платформенно-независимая спецификация и верификация стандартной математической функции квадратного корня Аннотация  PDF (Rus)  похожие документы
Николай Вячеславович Шилов, Дмитрий Александрович Кондратьев, Игорь Сергеевич Ануреев, Евгений Викторович Бодин, Алексей Владимирович Промский
 
Том 22, № 6 (2015) О преподавании формальных моделей и алгоритмов анализа параллельных систем Аннотация  PDF (Rus)  похожие документы
Н. В. Шилов
"... models of concurrency and methods of distributed system verification. The paper presents an individual ..."
 
Том 18, № 4 (2011) Верификация шаблонов алгоритмов для метода отката и метода ветвей и границ Аннотация  PDF (Rus)  похожие документы
Николай Вячеславович Шилов
"... theory, but one very special theme is algorithmic design patterns, including greedy method, divide ..."
 
Том 18, № 4 (2011) Верификация телекоммуникационных систем, специфицированных взаимодействующими конечными автоматами, с помощью раскрашенных сетей Петри Аннотация  PDF (Rus)  похожие документы
Дмитрий Михайлович Белоглазов, Михаил Юрьевич Машуков, Валерий Александрович Непомнящий
"... ] for their verification by the model checking method with respect to properties expressed in mu-calculus. Application ..."
 
Том 19, № 4 (2012) Оптимизация расчёта инвариантов сети Петри в рамках задачи формирования сценариев интеграционного тестирования Аннотация  PDF (Rus)  похожие документы
Михаил Георгиевич Доррер, Виталий Валерьевич Курохтин
"... The article describes a method of finding business process invariants basing on a given model ..."
 
Том 20, № 1 (2013) Квазинормальные формы для уравнений Лэнга–Кобаяши с большим коэффициентом управления Аннотация  PDF (Rus)  похожие документы
Елена Викторовна Григорьева, Илья Сергеевич Кащенко, Сергей Александрович Кащенко
"... on DDE (Lang–Kobayashi model). With the help of local analysis methods we built a continuous set ..."
 
Том 21, № 6 (2014) Программный комплекс для анализа и визуализации графов Аннотация  PDF (Rus)  похожие документы
Максим Игоревич Коломейченко, Алексей Андреевич Золотых, Игорь Викторович Поляков, Андрей Михайлович Чеповский
"... на хранение и обработку графов больших размеров. В качестве основной функциональности программного ..."
 
Том 23, № 3 (2016) МКЭ-анализ на адаптированных к слою сетках в задачах с точкой по- ворота, имеющих внутренний слой Аннотация  похожие документы
С. Бехер
"... ε-uniform estimates with standard methods on uniform meshes. 2.1. Graded meshes of Liseikin ..."
 
Том 24, № 2 (2017) Дедубликация в системе резервного копирования с хранением информации в базе данных Аннотация  PDF (Rus)  похожие документы
Сергей Максимович Таранин
"... fragments. The elimination of repeated data is based on the mechanism of de-duplication. It is a method ..."
 
Том 23, № 6 (2016) Генерация графа социальной сети с использованием Apache Spark Аннотация  PDF (Rus)  похожие документы
Ю. А. Белов, С. И. Вовчок
"... We plan to create a method of clustering a social network graph. For testing the method ..."
 
Том 23, № 6 (2016) Подход к верификации семейства мультиагентных систем разрешения конфликтов Аннотация  PDF (Rus)  похожие документы
Н. О. Гаранина, Е. А. Сидорова
"... In the paper, we describe a verification method for families of distributed systems generated ..."
 
Том 19, № 4 (2012) О построении и верификации программ логических контроллеров Аннотация  PDF (Rus)  похожие документы
Егор Владимирович Кузьмин, Валерий Анатольевич Соколов
"... We review some methods and approaches to programming discrete problems for Programmable Logic ..."
 
Том 25, № 1 (2018) Существование и асимптотическая устойчивость периодического решения с внутренним переходным слоем в задаче со слабой линейной адвекцией Аннотация  PDF (Rus)  похожие документы
Николай Николаевич Нефедов, Егор Игоревич Никулин
"... of an asymptotic method of differential inequalities based on the modification of the terms of the constructed ..."
 
Том 24, № 4 (2017) Синтез тестов с гарантированной полнотой для недетерминированных временных автоматов Аннотация  PDF (Rus)  похожие документы
Александр Сергеевич Твардовский, Калед Эль-Факи, Максим Леонидович Громов, Нина Владимировна Евтушенко
"... methods to timed models. In this paper, we propose a method for deriving conformance tests ..."
 
Том 25, № 5 (2018) Неупорядоченные колебания в нейросети из трех осцилляторов с запаздывающей вещательной связью Аннотация  PDF (Rus)  похожие документы
Сергей Дмитриевич Глызин, Елена Александровна Марушкина
"... возникновением двух симметричных друг другу циклов; с каждым из этих циклов происходит каскад бифуркаций удвоения ..."
 
Том 21, № 6 (2014) От редакторов специального выпуска Аннотация  PDF (Rus)  похожие документы
В. А. Непомнящий, В. А. Соколов
"... дедуктивной верификации программ, методу проверки моделей (model checking method), формальным подходам к ..."
 
Том 21, № 4 (2014) Разработка алгоритма измерения частоты пульса человека с помощью камеры мобильного телефона Аннотация  PDF (Rus)  похожие документы
Денис Александрович Лаурэ, Надеджа Станиславовна Лагутина, Илья Вячеславович Парамонов
"... the usage of a mobile phone built-in camera. This method is easy to use and does not require any additional ..."
 
Том 20, № 2 (2013) Единая модель для геоклассификации веб-сайтов Аннотация  PDF (Rus)  похожие документы
Алексей Николаевич Волков
"... (region), the proposed method is based on training a single model which is used for all regions ..."
 
Том 25, № 3 (2018) Об оценке средней временной выгоды в вероятностных эколого-экономических моделях Аннотация  PDF (Rus)  похожие документы
Людмила Ивановна Родина, Илья Индусович Тютеев
"... длины интервалов θk между моментами импульсов τk являются случайными величинами и размеры импульсного ..."
 
Том 20, № 2 (2013) Построение модели для извлечения оценочной лексики в различных предметных областях Аннотация  PDF (Rus)  похожие документы
Наталья Валентиновна Лукашевич, Илья Игоревич Четвёркин
"... . Finally, our method is adapted to the movie domain in English and it demonstrated good results. ..."
 
Том 19, № 6 (2012) О некоторых задачах локализации в триангуляциях Делоне Аннотация  PDF (Rus)  похожие документы
Наталья Федоровна Дышкант
"... comlexity of the proposed methods in the average and in the worst cases are proved. computational geometry ..."
 
Том 24, № 4 (2017) О задаче минимизации последовательных программ Аннотация  PDF (Rus)  похожие документы
Владимир Анатольевич Захаров, Шынар Рустамбековна Жайлауова
"... отношение логико-термальной эквивалентности стандартных схем программ и задачу минимизации их размера при ..."
 
Том 25, № 5 (2018) Этюд об устранении рекурсии Аннотация  похожие документы
Николай Вячеславович Шилов
"... использованием только статической памяти фиксированного размера), или как доказательство функциональной ..."
 
Том 21, № 6 (2014) О работе семинара «Нелинейная динамика» Аннотация  PDF (Rus)  похожие документы
Статья Редакционная
"... , focusing on methods of the dynamical system analysis and studies of their behavior. More than 30 talks ..."
 
Том 22, № 6 (2015) Разработка активного внешнего модуля сетевой топологии для контроллера программно-конфигурируемой сети Floodlight Аннотация  PDF (Rus)  похожие документы
А. А. Носков, М. А. Никитинский, И. В. Алексеев
"... system), or network applications, that work with this controller. Methods of representation, storage ..."
 
Том 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, № 4 (2016) Об оптимизации и распараллеливании алгоритма Литтла для решения задачи коммивояжера Аннотация  PDF (Rus)  похожие документы
В. В. Васильчиков
"... . The classic Little algorithm belonging to the category of ”branch and bound methods” can solve it both ..."
 
Том 19, № 5 (2012) Моделирование счетчиковых машин двухголовочными автоматами Аннотация  PDF (Rus)  похожие документы
Егор Владимирович Кузьмин, Валерий Анатольевич Соколов
"... A method of modeling the Minsky counter machine behaviour by a two-head finite automaton ..."
 
Том 17, № 4 (2010) Генерация тестовых данных на основе формального анализа данных конфигурации проекта Аннотация  PDF (Rus)  похожие документы
А. В. Батаев, А. А. Давыдов, Н. Ю. Налютин, С. В. Синицын
"... of test coverage. Application of the method simplies the management of software project conguration ..."
 
Том 24, № 2 (2017) Декодирование тензорного произведения MLD-кодов и приложения к кодовым криптосистемам Аннотация  PDF (Rus)  похожие документы
Владимир Михайлович Деундяк, Юрий Владимирович Косолапов, Евгений Андреевич Лелюк
"... неосуществимо при относительно небольшом размере ключа. В связи с этим в настоящей работе  предлагается в ..."
 
Том 26, № 1 (2019) Алгоритм минимизации количества правил маршрутизации в ПКС Аннотация  PDF (Rus)  похожие документы
Иван Сергеевич Петров
"... снижению производительности сети. В силу ограниченного размера таблиц маршрутизации, большое число ..."
 
Том 24, № 3 (2017) Математическая модель эксперимента Николсона Аннотация  PDF (Rus)  похожие документы
Сергей Дмитриевич Глызин
"... was made possible  only  due  to  the  combination of analytical and  numerical  methods  in studying ..."
 
Том 24, № 6 (2017) Элиминация инвариантов финитных итераций над массивами при верификации Си программ Аннотация  похожие документы
Илья Владимирович Марьясов, Валерий Александрович Непомнящий, Дмитрий Александрович Кондратьев
"... This work represents the further development of the method for definite iteration verification [7 ..."
 
Том 21, № 5 (2014) Двояко-периодические мероморфные решения автономных нелинейных дифференциальных уравнений Аннотация  PDF (Rus)  похожие документы
Николай Алексеевич Кудряшов, Мария Владимировна Демина
"... is studied. An effective method enabling one to find an elliptic solution of an autonomous nonlinear ordinary ..."
 
Том 17, № 3 (2010) Локальная динамика уравнения с большим запаздыванием в окрестности автомодельного цикла Аннотация  PDF (Rus)  похожие документы
Д. В. Глазков, С. А. Кащенко
"... of the self-similar cycle. The quasinormal forms method is used for a problem analysis. ..."
 
Том 17, № 4 (2010) Интеграция семантических верификаторов в компиляторы языка Java Аннотация  PDF (Rus)  похожие документы
А. В. Клепинин, А. А. Мелентьев
"... This paper introduces a method for static semantic analysis of source codes at com- pilation time ..."
 
Том 21, № 1 (2014) О работе семинара «Нелинейная динамика» Аннотация  PDF (Rus)  похожие документы
Статья Редакционная
"... .: Nesterov P.N. Averaging method in the asymptotic integration problem for systems with oscillatory ..."
 
76 - 150 из 374 результатов << < 1 2 3 4 5 > >> 

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

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