Поиск


Сортировать по:     
 
Выпуск Название
 
Том 23, № 3 (2016) Численное решение одной сингулярно возму- щённой задачи в круговой области Аннотация  похожие документы
А. Ф. Хегарти, Ю. О’Риордан
"... in the radial direction, we construct a numerical method that is monotone, pointwise accurate and parameter ..."
 
Том 22, № 6 (2015) Элиминация инвариантов циклов для финитной итерации над неизменяемыми структурами данных в Си программах Аннотация  PDF (Rus)  похожие документы
И. В. Марьясов, В. А. Непомнящий
"... The C-program verification is an urgent problem of modern programming. To apply known methods ..."
 
Том 20, № 2 (2013) Моделирование, спецификация и построение программ логических контроллеров Аннотация  PDF (Rus)  похожие документы
Егор Владимирович Кузьмин, Валерий Анатольевич Соколов
"... method. The programming requires fulfillment of the following two conditions: 1) a value of each variable ..."
 
Том 25, № 4 (2018) Русскоязычные тезаурусы: автоматизированное построение и применение в задачах обработки текстов на естественном языке Аннотация  PDF (Rus)  похожие документы
Надежда Станиславовна Лагутина, Ксения Владимировна Лагутина, Алексей Сергеевич Адрианов, Илья Вячеславович Парамонов
"... The paper reviews the existing Russian-language thesauri in digital form and methods ..."
 
Том 18, № 4 (2011) Использование зависимостей для повышения точности статического анализа программ Аннотация  PDF (Rus)  похожие документы
Михаил Игоревич Глухих, Владимир Михайлович Ицыксон, Вадим Александрович Цесько
"... The development of dependency analysis methods in order to improve static code analysis precision ..."
 
Том 24, № 4 (2017) Использование журналов событий для локальной корректировки моделей процессов Аннотация  PDF (Rus)  похожие документы
Алексей Александрович Мицюк, Ирина Александровна Ломазова, Вил М.П. ван дер Аалст
"... to keep the initial structure of the model as much as possible. In this paper, we propose a method ..."
 
Том 19, № 5 (2012) Формальная верификация программ, написанных на функционально-потоковом языке параллельного программирования Аннотация  PDF (Rus)  похожие документы
Мария Сергеевна Кропачева, Александр Иванович Легалов
"... The article is devoted to the methods of proving parallel programs correctness that are based ..."
 
Том 25, № 6 (2018) Особые точки кривых Аннотация  PDF (Rus)  похожие документы
Артем Дмитриевич Уваров
"... of the intersection curves of surfaces. Methods for constructing the intersection curves in complex cases are found ..."
 
Том 19, № 6 (2012) Ярославская международная конференция «Дискретная геометрия», посвященная 100-летию А. Д. Александрова Аннотация  PDF (Rus)  похожие документы
Николай Долбилин, Герберт Эдельсбруннер, Александр Иванов, Олег Мусин, Михаил Невский
"... a method to separate noise from features. While the method is primarily algebraic, it has fast algorithms ..."
 
Том 21, № 5 (2014) Динамика логистического уравнения с запаздыванием и запаздывающим управлением Аннотация  PDF (Rus)  похожие документы
Сергей Александрович Кащенко
"... methods. It is shown that effective control of characteristics of relaxation cycle is possible. A new ..."
 
Том 16, № 3 (2009) Разностные аппроксимации уравнения «реакция - диффузия» на отрезке Аннотация  PDF (Rus)  похожие документы
С. Д. Глызин
"... integral manifold is constructed and analysed. It is shown by means of numerical methods that as the number ..."
 
Том 15, № 1 (2008) Пространственнонеоднородные инвариантные торы в модели мультипликаторакселератор Аннотация  PDF (Rus)  похожие документы
Е. В. Коршунова, А. Н. Куликов
"... . For the boundary value problem given, using the Invariant Manifolds method, the method of Averaging and the Theory ..."
 
Том 17, № 1 (2010) Визуализация динамических графов для анализа сложных сетей Аннотация  PDF (Rus)  похожие документы
С. Н. Пупырев, А. В. Тихонов
"... networks. Our method builds layouts for a sequence of graphs, while preserving the mental map. We show how ..."
 
Том 17, № 4 (2010) Проектирование программных бортовых систем управления с поддержкой верификации Аннотация  PDF (Rus)  похожие документы
И. В. Шошмина
"... We consider a problem of integrating a formal method of verification (model checking ..."
 
Том 20, № 1 (2013) Влияние деформации области на поведение решений распределенной кинетической системы Аннотация  PDF (Rus)  похожие документы
Евгений Павлович Кубышкин
"... (ρ1, ρ2) устойчивый цикл. При этом наблюдается серия бифуркаций, обратных бифуркации удвоения периода ..."
 
Том 23, № 5 (2016) Эквивалентность обычной и модифицированной сети обобщенных нейронных элементов Аннотация  PDF (Rus)  похожие документы
Е. В. Коновалов
"... and method of such elements interaction. The description of neural network mathematical model is simplified ..."
 
Том 22, № 1 (2015) Асимптотика приближения нулевого порядка решения трехтемповой линейно-квадратичной задачи оптимального управления Аннотация  PDF (Rus)  похожие документы
Маргарита Александровна Калашникова
"... scheme method. The algorithm of the method consists in immediate substituting a postulated asymptotic ..."
 
Том 19, № 3 (2012) Асимптотика решений обобщённого уравнения Хатчинсона Аннотация  PDF (Rus)  похожие документы
Сергей Александрович Кащенко
"... , stability and asymptotics of a slow oscillating solution. New asymptotic methods are applied to a problem ..."
 
Том 19, № 5 (2012) Исследование стационарных режимов дифференциально-разностного уравнения динамики популяции насекомых Аннотация  PDF (Rus)  похожие документы
Сергей Александрович Кащенко
"... . On the basis of a special asymptotic big parameter method the problem of studying dynamics of an equation ..."
 
Том 19, № 5 (2012) Формирование волнового нанорельефа при распылении поверхности ионной бомбардировкой. Нелокальная модель эрозии Аннотация  PDF (Rus)  похожие документы
Дмитрий Анатольевич Куликов, Александр Степанович Рудый
"... theory methods for dynamical systems with an infinite dimensional space of initial data. In particular ..."
 
Том 23, № 5 (2016) Асимптотика стационарного решения с внутренним переходным слоем для системы типа ФитцХью–Нагумо Аннотация  PDF (Rus)  похожие документы
А. А. Мельникова, Р. Л. Аргун
"... processes in active media. Such math problems are usually solved by numerical methods. The use of resource ..."
 
Том 20, № 1 (2013) Релаксационные колебания в системе с запаздываниями, моделирующей задачу «хищник–жертва» Аннотация  PDF (Rus)  похожие документы
Сергей Александрович Кащенко
"... A new asymptotic method for investigating complex relaxation oscillations of a system with delay ..."
 
Том 23, № 1 (2016) A Special Role of Boolean Quadratic Polytopes among Other Combinatorial Polytopes Аннотация  PDF (Rus)  похожие документы
Александр Николаевич Максименко
"... the following method. We say that a family ..."
 
Том 17, № 2 (2010) Мультистабильность в модели лазера с большим запаздыванием Аннотация  PDF (Rus)  похожие документы
Е. В. Григорьева, И. С. Кащенко, С. А. Кащенко
"... . Methods of a local analysis are used to build sets of quasinormal forms in the neighborhood of parame^ters ..."
 
Том 17, № 1 (2010) A mathematical model of an order management automated system within the process of production technological preparation in aviation enterprisers Аннотация  PDF (Rus)  похожие документы
П. Е. Ефимова
"... model using Petri nets is formulated, its mathematical model based on matrix method is worked out. ..."
 
Том 18, № 1 (2011) Локальная динамика уравнения с сильно запаздывающей обратной связью Аннотация  PDF (Rus)  похожие документы
Д. В. Глазков
"... solution. The quasinormal forms method is used for the problem analysis. We show that parabolic type GL ..."
 
Том 18, № 4 (2011) Типовые примеры использования языка Atoment Аннотация  PDF (Rus)  похожие документы
Игорь Сергеевич Ануреев
"... Atoment is a domain-specific language of executable specifications, used to describe methods ..."
 
Том 14, № 2 (2007) Нормализация одного уравнения с запаздыванием и бифуркация, приводящая к циклу асимптотически большого периода Аннотация  PDF (Rus)  похожие документы
Д. В. Глазков
"... solution. When an order parameter is close to the critical value, we use the normal forms method ..."
 
Том 14, № 4 (2007) Исследование модифицированной модели сальтаторного проведения возбуждения Аннотация  PDF (Rus)  похожие документы
В. В. Майоров, С. Е. Ануфриенко
"... by the asymptotic step-by-step integration method. All results were obtained analytically. ..."
 
Том 23, № 3 (2016) Существование и устойчивость периодических решений уравнения реакция-диффузия в двумерном случае Аннотация  похожие документы
Н. Н. Нефедов, Е. И. Никулин
"... the asymptotics thus constructed, the asymptotic method of differential inequalities is used. The upper and lower ..."
 
Том 21, № 1 (2014) Локальная динамика логистического уравнения, содержащего запаздывание Аннотация  PDF (Rus)  похожие документы
Сергей Владимирович Алешин, Сергей Александрович Кащенко
"... biffurcation methods for delay differential equations and an asymptotic method, developed by one of the authors ..."
 
Том 23, № 1 (2016) Продолжение решения на границе разрыва как решение задачи усредненной оптимизации Аннотация  PDF (Rus)  похожие документы
А. М. Цирлин
"... . It is shown that for the known examples of methods for solving optimization averaged lead to results ..."
 
Том 20, № 2 (2013) Асимптотика решения бисингулярной задачи для системы линейных параболических уравнений. II Аннотация  PDF (Rus)  похожие документы
Мария Валентиновна Бутузова
"... an asymptotic method of differential inequalities. The essence of the method is to use the formal asymptotics ..."
 
Том 24, № 2 (2017) Построение высокоуровневой модели процесса по журналу событий Аннотация  похожие документы
Антонина Константиновна Бегичева, Ирина Александровна Ломазова
"... a variety of methods to discover, monitor and improve real processes by extracting knowledge from event logs ..."
 
Том 23, № 3 (2016) Двухточечная краевая задача Капуто: существование, единствен- ность и регулярность решения Аннотация  похожие документы
М. Стайнс
"... . Consequently there is a huge amount of current research activity in the area of numerical methods ..."
 
Том 22, № 5 (2015) Одномодовые и двухмодовые неоднородные диссипативные структуры в нелокальной модели эрозии Аннотация  PDF (Rus)  похожие документы
А. М. Ковалева, Д. А. Куликов
"... equations. Solvability of this problem was studied in the works by P.E. Sobolevsky, and this method assumes ..."
 
Том 21, № 4 (2014) Синтез моделей процессов по журналам событий с шумом Аннотация  PDF (Rus)  похожие документы
Алексей Александрович Мицюк, Иван Сергеевич Шугуров
"... - чи. В данной работе в качестве метрик простоты использовалась оценка размера и запутанности модели по ..."
 
Том 25, № 1 (2018) Уравнение Курамото–Сивашинского. Локальный аттрактор, заполненный неустойчивыми периодическими решениями Аннотация  PDF (Rus)  похожие документы
Анатолий Николаевич Куликов, Дмитрий Анатольевич Куликов
"... are given. In order to analyze the bifurcation problem it was used analysis methods for infinite-dimensional ..."
 
Том 24, № 4 (2017) Уточнение свойств центроида дерева Аннотация  PDF (Rus)  похожие документы
Юрий Анатольевич Белов, Сергей Иванович Вовчок
"... − 1 = R(T ), оно иногда называется размером дерева. Конечно, можно отметить, что это прак- тически то ..."
 
Том 21, № 5 (2014) Графический язык DPMine для автоматизации экспериментов в области автоматического построения и анализа процессов Аннотация  PDF (Rus)  похожие документы
Сергей Андреевич Шершаков
"... role. Methods and approaches used in the process mining are often based on various heuristics ..."
 
Том 21, № 3 (2014) Приближенное решение точечной подвижной задачи оптимального управления для нелинейного гиперболического уравнения Аннотация  PDF (Rus)  похожие документы
Турсун Камалдинович Юлдашев
"... value conditions and a nonlinear optimality criterion. The use of the Fourier method of variables ..."
 
Том 20, № 5 (2013) Об одной задаче оптимального управления для нелинейного псевдогиперболического уравнения Аннотация  PDF (Rus)  похожие документы
Турсун Камалдинович Юлдашев
"... -boundary value conditions and general view of the optimality criterion. Using the method of separation ..."
 
Том 23, № 3 (2016) Асимптотический анализ в задаче моделирования процесса переноса газовой примеси в приповерхностном слое атмосферы Аннотация  PDF (Rus)  похожие документы
М. А. Давыдова, Н. Т. Левашова, С. А. Захарова
"...  in an ecosystem ”forest – swamp” is considered. Application of a boundary functions method and an asymptotic ..."
 
Том 22, № 2 (2015) Исследование устойчивости решений начально-краевой задачи, моделирующей динамику одной дискретно-континуальной механической системы Аннотация  PDF (Rus)  похожие документы
Дмитрий Андреевич Елисеев, Евгений Павлович Кубышкин
"... , derivative of the angle, integral of the angle. The external moment provides a feedback. A method of studying ..."
 
Том 24, № 1 (2017) Существование и устойчивость контрастных структур в многомерных задачах реакция-диффузия-адвекция в случае сбалансированной нелинейности Аннотация  PDF (Rus)  похожие документы
Марина Александровна Давыдова, Николай Николаевич Нефедов
"... a more efficient method for localizing the transition surface, which permits one to develop our approach ..."
 
Том 17, № 4 (2010) Верификация C-программ в мультиязыковой системе СПЕКТР Аннотация  PDF (Rus)  похожие документы
В. А. Непомнящий, И. С. Ануреев, М. М. Атучин, И. В. Марьясов, А. А. Петров, А. В. Промский
"... program verication method. This method represents a good illustration of the integrated approach, since ..."
 
Том 20, № 6 (2013) О бутстрэпе для диаграмм и ландшафтов персистентности Аннотация  PDF (Rus)  похожие документы
Фредерик Шазаль, Фази Британи Тереза, Лецци Фабрицио, Риналдо Алессандро, Сингх Аарти, Ларри Вассерман
"... is a method for studying the homology at multiple scales simulta- neously. Given a manifold X embedded ..."
 
Том 21, № 6 (2014) Управляемые тупики в параллельных ресурсно-ограниченных потоках работ Аннотация  PDF (Rus)  похожие документы
Владимир Анатольевич Башкин, Надежда Юрьевна Панфилова
"... in parallel workflows is studied, some methods of deadlock search and control are presented. ..."
 
Том 21, № 1 (2014) Асимптотика установившихся режимов конечно-разностных аппроксимаций логистического уравнения с запаздыванием и с малой диффузией Аннотация  PDF (Rus)  похожие документы
Сергей Александрович Кащенко, Валерий Евгеньевич Фролов
"... with special asymptotic methods. It is shown that there is a rich array of different types of attractors ..."
 
Том 20, № 6 (2013) Гиперболический тетраэдр: вычисление объема с применением к доказательству формулы Шлефли Аннотация  PDF (Rus)  похожие документы
Иджад Хакович Сабитов
"... , and we apply this method to tetrahedra. Using some integral formulas, we present an explicit formula ..."
 
Том 15, № 1 (2008) Бифуркация бегущих волн видоизмененного уравнения Гинзбурга-Ландау Аннотация  PDF (Rus)  похожие документы
А. Э. Котиков, А. Н. Куликов
"... of bifurcation problem is based on the method of normal forms and adapted to the assigned boundary value problem. ..."
 
Том 18, № 3 (2011) Динамическое программирование в обобщенной задаче курьера с внутренними работами: элементы параллельной структуры Аннотация  PDF (Rus)  похожие документы
Алексей Михайлович Григорьев, Евгений Евгеньевич Иванко, Александр Георгиевич Ченцов
"... method in problems of consequent visiting of megapolises. The realization is complicated by precedence ..."
 
Том 18, № 4 (2011) Оптимизационные процедуры в аффинной проверке моделей Аннотация  PDF (Rus)  похожие документы
Наталья Олеговна Гаранина
"... relations. At present there are three basic approaches of symbolic model checking: BDD-methods, bounded ..."
 
Том 14, № 1 (2007) Принципы построения семантической сервис-ориентированной архитектуры Аннотация  PDF (Rus)  похожие документы
Д. Ю. Кашалкин, В. А. Курчидис
"... of constructing of this architecture, it's main elements, their interoperability, methods of working with them ..."
 
Том 14, № 3 (2007) Учет возрастных групп в уравнении Хатчинсона Аннотация  PDF (Rus)  похожие документы
С. Д. Глызин
"... reorganizations have been analyzed with numerical methods with the help of the obtained asymptotic formulas ..."
 
Том 14, № 2 (2007) Динамические свойства уравнений первого порядка с большим запаздыванием Аннотация  PDF (Rus)  похожие документы
И. С. Кащенко
"... The local dynamic of the first-order differential equation with large delay is studied. The method ..."
 
Том 21, № 6 (2014) Поведенческая идентификация программ Аннотация  PDF (Rus)  похожие документы
Максим Викторович Баклановский, Артур Рафаэльевич Ханов
"... ). Множество N-грамм может расти до огромных размеров. Современные событийно-ориентированные програм- мы ..."
 
Том 20, № 3 (2013) Диффузионный хаос в задаче «реакция–диффузия» c гантелеобразной областью определения пространственной переменной Аннотация  PDF (Rus)  похожие документы
Сергей Дмитриевич Глызин, Павел Леонидович Шокин
"... область Ω на прямоугольники размером не более, чем δx × δy, где δx = A/N, δy = (L + 2B)/M . Далее, узлами ..."
 
Том 21, № 4 (2014) Моделирование согласованного поведения ПЛК-датчиков Аннотация  PDF (Rus)  похожие документы
Егор Владимирович Кузьмин, Дмитрий Александрович Рябухин, Валерий Анатольевич Соколов
"... by the model checking method. The model checking method needs to construct a finite model of a PLC program ..."
 
Том 22, № 5 (2015) Анализ локальных бифуркаций для уравнения с запаздыванием, зависящим от искомой функции Аннотация  PDF (Rus)  похожие документы
В. О. Голубенец
"... equilibrium. We introduce a small positive parameter and use the asymtotic method of normal forms in order ..."
 
Том 23, № 5 (2016) Взаимодействие двух волн в модели Ферми – Паста – Улама Аннотация  PDF (Rus)  похожие документы
С. Д. Глызин, С. А. Кащенко, А. О. Толбей
"... differential equations. We describe a method of folding this system in the special boundary value problem ..."
 
Том 22, № 4 (2015) Автоматизация формальной верификации программ на языке Пифагор Аннотация  PDF (Rus)  похожие документы
М. С. Ушакова, А. И. Легалов
"... of formal verification. The method of deduction based on Hoare logic could be used for any programming ..."
 
Том 24, № 1 (2017) Асимптотические законы распределений собственных значений периодической и антипериодической краевых задач для дифференциальных уравнений второго порядка Аннотация  PDF (Rus)  похожие документы
Сергей Александрович Кащенко
"... given are illustrated by a substantial example. The methods of investigation are based on a detailed ..."
 
Том 24, № 5 (2017) Конструктивное решение проблемы эллиптичности системы дифференциальных уравнений первого порядка Аннотация  PDF (Rus)  похожие документы
Владимир Евгеньевич Балабаев
"... of a constructive method of integral representations we can solve a number of problems in the theory of elliptic ..."
 
151 - 225 из 374 результатов << < 1 2 3 4 5 > >> 

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

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