Поиск


Сортировать по:     
 
Выпуск Название
 
Том 20, № 6 (2013) О региональных случайных упаковках Аннотация  PDF (Rus)  похожие документы
Масахару Танемура
"... performing computer simulations, we obtain the areal packing density through statistical analysis. One ..."
 
Том 24, № 3 (2017) Решения уравнений нестационарного фронта реакции с вырожденными точками равновесия Аннотация  PDF (Rus)  похожие документы
Алексей Александрович Быков, Кристина Евгениевна Ермакова
"...   two  neighbors  on the  left and  on the  right,  as well as the  source  density,  which  depends ..."
 
Том 23, № 6 (2016) Имитационное моделирование для анализа выполнимости приложений реального времени Аннотация  PDF (Rus)  похожие документы
С. Н. Баранов, В. В. Никифоров
"... . The approach is based on the notion of application density introduced by the authors, which characterizes ..."
 
Том 23, № 3 (2016) Аналитические решения нелинейного уравнения конвекции–диффузии с нелинейными источниками Аннотация  PDF (Rus)  похожие документы
Н. А. Кудряшов, Д. И. Синельщиков
"... with a polynomial source. We study a question about integrability of this family of nonlinear ordinary differential ..."
 
Том 24, № 3 (2017) Асимптотическое исследование решения уравнения теплопроводности вблизи границы раздела двух сред Аннотация  PDF (Rus)  похожие документы
Наталия Тимуровна Левашова, Ольга Александровна Николаева
"... function  describing  heat  sources.  The  coefficient of thermal diffusivity  in the  water-air transition ..."
 
Том 23, № 6 (2016) Бифуркации периодических решений уравнения Мэкки–Гласса Аннотация  PDF (Rus)  похожие документы
Е. П. Кубышкин, А. Р. Морякова
"... equation. This equation is considered as a mathematical model of changes in the density of white blood ..."
 
Том 20, № 4 (2013) К теореме Делоне о классификации схождений параллелоэдров в гранях коразмерности 3 Аннотация  PDF (Rus)  похожие документы
Александр Николаевич Магазино
"... , 14, Yaroslavl, 150000, Russia Keywords: parallelohedron, lattice tiling, dual cell In 1929 B ..."
 
Том 22, № 6 (2015) Особенности применения модельно-ориентированного подхода при разработке промышленных приложений Аннотация  PDF (Rus)  похожие документы
П. Д. Дробинцев, В. П. Котляров, Н. В. Воинов, И. В. Никифоров
"... , verification, proof of system properties and reduction of bug density. Drawbacks of the approach are also ..."
 
Том 18, № 2 (2011) Формат пакета ARTCP. Особенности формирования и обработки заголовков ARTCP в сетевой подсистеме ОС Linux 2.6. Аннотация  PDF (Rus)  похожие документы
Анатолий Александрович Сивов
"... . The Linux kernel interfaces for time measurement are described as well as the clock source abstraction layer ..."
 
Том 23, № 4 (2016) Вероятностный анализ систем организации турниров Аннотация  PDF (Rus)  похожие документы
А. М. Цирлин, Ал. А. Ахременков
"... density of score points gained by one or another player were obtained. Some really used tournament systems ..."
 
Том 22, № 6 (2015) Лингвостатистический анализ терминологии для построения тезауруса предметной области Аннотация  PDF (Rus)  похожие документы
М. С. Каряева
"... The paper is devoted to the analysis of the body of terms and terminological sources for further ..."
 
Том 22, № 2 (2015) Уравнение Колмогорова–Петровского–Пискунова с запаздыванием Аннотация  PDF (Rus)  похожие документы
Сергей Владимирович Алешин, Сергей Дмитриевич Глызин, Сергей Александрович Кащенко
"... We considered the problem of density wave propagation in a logistic equation with delay ..."
 
Том 22, № 4 (2015) Полиэдральные графы задач об остовных деревьях при дополнительных ограничениях Аннотация  PDF (Rus)  похожие документы
В. А. Бондаренко, А. В. Николаев, Д. А. Шовгенов
"... получить сверхполиномиальные нижние оценки плотности (кликового числа) этих графов, которые характеризуют ..."
 
Том 24, № 2 (2017) Полиэдральные характеристики задач о сбалансированном и несбалансированном двудольных подграфах Аннотация  PDF (Rus)  похожие документы
Владимир Александрович Бондаренко, Андрей Валерьевич Николаев, Джамболет Азаматович Шовгенов
"... графе и графе соответствующего конусного разбиения. Плотность полиэдрального графа оценивается снизу ..."
 
Том 22, № 5 (2015) Особенности динамики уравнения Колмогорова–Петровского–Пискунова с отклонением по пространственной переменной Аннотация  PDF (Rus)  похожие документы
С. В. Алешин, С. Д. Глызин, С. А. Кащенко
"... We consider the problem of density wave propagation of a logistic equation with deviation ..."
 
Том 22, № 2 (2015) Полнота динамики значений свойств данных в СУБД DIM Аннотация  PDF (Rus)  похожие документы
Алексей Николаевич Петров, Вадим Сергеевич Рублев
"... . But, there are non-empty symbols only on each cell of finite section of the memory tape. Because ..."
 
Том 25, № 1 (2018) Об одной сингулярно возмущенной задаче нелинейной теплопроводности в случае сбалансированной нелинейности Аннотация  PDF (Rus)  похожие документы
Марина Александровна Давыдова, Светлана Александровна Захарова
"... layers of the nonlinear heat equation in the case of nonlinear dependence of the power of thermal sources ..."
 
Том 23, № 4 (2016) Облачный сервис для интерактивного моделирования межтерриториальной торговли Аннотация  PDF (Rus)  похожие документы
А. С. Величко, В. В. Грибова, Л. А. Федорищев
"... by open statistics sources. ..."
 
Том 19, № 1 (2012) Задача адаптации обобщенного нейронного элемента Аннотация  PDF (Rus)  похожие документы
Евгений Владиславович Коновалов
"... A perspective model of the neuron cell | the generalized neural element (GNE) is studied ..."
 
Том 14, № 3 (2007) Задача о пачечном воздействии на обобщенный нейронный автомат Аннотация  PDF (Rus)  похожие документы
Е. В. Коновалов
"... A new model of the neuron cell - the generalized automatic neuron (GAN) is considered. This model ..."
 
Том 22, № 4 (2015) Задача о наибольшем кратном потоке в делимой сети и ее частные случаи Аннотация  PDF (Rus)  похожие документы
А. В. Смирнов
"... pair of subcomponents is the only vertex-network source x0. If k = 2, the maximal flow problem can ..."
 
Том 25, № 1 (2018) О переносе ряда понятий статистической радиофизики в теорию одномерных точечных отображений Аннотация  PDF (Rus)  похожие документы
Агалар Магомед-Закиевич Агаларов, Александр Алексеевич Потапов, Александр Эдуардович Рассадин, Антон Викторович Степанов
"... for the ”saw tooth” mapping with linear initial probability density. Moreover, for this mapping the denumerable ..."
 
Том 21, № 6 (2014) О работе семинара «Нелинейная динамика» Аннотация  PDF (Rus)  похожие документы
Статья Редакционная
"... источниками, в ряде докладов строились и исследовались нормальные и квазинормальные формы дифференциальных ..."
 
Том 24, № 5 (2017) Варианты метода коллокации и наименьших невязок для решения задач математической физики в выпуклых четырехугольных областях Аннотация  PDF (Rus)  похожие документы
Василий Алексеевич Беляев, Василий Павлович Шапеев
"... of the domain. In the second version, the domain is initially covered by a regular grid with rectangular cells ..."
 
Том 19, № 6 (2012) Полиэдральные графы задач РАЗБИЕНИЕ НА ТРЕУГОЛЬНИКИ и ПОЛНЫЙ ДВУДОЛЬНЫЙ ПОДГРАФ Аннотация  PDF (Rus)  похожие документы
Анатолий Игоревич Антонов, Владимир Александрович Бондаренко
"... ДВУДОЛЬНЫЙ ПОДГРАФ. Для каждого из них устанавливается, что плотность графа, то есть его кликовое число ..."
 
Том 14, № 2 (2007) Устойчивый колебательный режим в нейронной сети обобщенных нейронных автоматов-детекторов Аннотация  PDF (Rus)  похожие документы
Е. В. Коновалов
"... A new model of the neuron cell - the generalized automatic neuron (GAN) - is considered. This model ..."
 
Том 20, № 6 (2013) Сегментация клинических эндоскопических изображений, основанная на классификации векторных топологических признаков Аннотация  PDF (Rus)  похожие документы
Ольга Александровна Дунаева, Дарья Борисовна Малкова, Михаил Леонидович Мячин, Херберт Эдельсбруннер
"... of vector descriptors defined for every point of the source image and the subsequent classification ..."
 
Том 20, № 6 (2013) О бутстрэпе для диаграмм и ландшафтов персистентности Аннотация  PDF (Rus)  похожие документы
Фредерик Шазаль, Фази Британи Тереза, Лецци Фабрицио, Риналдо Алессандро, Сингх Аарти, Ларри Вассерман
"... in a metric space Y, we consider a probability density function p : Y → R, defined over Y but concentrated ..."
 
Том 25, № 6 (2018) Перевод моделей Event-B в Eiffel Аннотация  похожие документы
Софья Резникова, Виктор Ривера, Джу Йонг Ли, Мануэль Маццара
"... , this paper presents a source-to-source mapping between Event-B models, a formal modelling language ..."
 
Том 23, № 2 (2016) Коллективные потоковые вычисления: реляционные модели и алгоритмы Аннотация  PDF (Rus)  похожие документы
Д. А. Усталов
"... sources by executing annotation stages and automatic synchronization stages simultaneously. Data ..."
 
Том 17, № 2 (2010) Учет запаздывания в цепочке связи между осцилляторами Аннотация  PDF (Rus)  похожие документы
С. Д. Глызин, Е. О. Киселева
"... Dynamics of two diffusion coupled close oscillators occuring in nerve cell simulation is considered ..."
 
Том 17, № 3 (2010) Фактор запаздывания и десинхронизация колебаний связанных осцилляторов ФитцХью-Нагумо Аннотация  PDF (Rus)  похожие документы
С. Д. Глызин, Е. А. Солдатова
"... of the electric impulse exchange between nerve cells is considered. The delay in a connecting element between two ..."
 
Том 20, № 6 (2013) О группах гомологий одного подпространства триангуляций двумерного симплекса с не более чем 6 точками разбиения границы Аннотация  PDF (Rus)  похожие документы
Светлана Ивановна Яблокова
"... triangulations lying over an open k-cell ◦ ∇kp,q,s (p+ q+ s = k) of the polyhedron ∇ n p,q,s in the case when ..."
 
Том 21, № 5 (2014) Аттрактор в кольцевой структуре обобщенных нейронных элементов автогенераторного типа Аннотация  PDF (Rus)  похожие документы
Евгений Владиславович Коновалов
"... A perspective model of a neuron cell — the generalized neural element (GNE) is studied ..."
 
Том 22, № 6 (2015) Эффективное исполнение программного кода в контролируемом окружении как способ улучшения результатов статического анализа и верификации программ Аннотация  PDF (Rus)  похожие документы
М. А. Беляев, В. М. Ицыксон
"... and/or checking source contracts have limitations that result in lowering code model conformance as a trade-off ..."
 
Том 23, № 5 (2016) Метод конечных разностей во временной области для кусочно-однородных диэлектрических сред Аннотация  PDF (Rus)  похожие документы
Ж. О. Домбровская
"... источника поля Fig. 1. Interface between dielectric media; x∗ – field source point В стационарном случае ..."
 
Том 24, № 1 (2017) Перераспределение, производство и неравенство Аннотация  похожие документы
Алексей Владимирович Захаров, Владимир Евгеньевич Захаров
"... a source of light of a very narrow frequency band — a laser. Generation of light in such medium ..."
 
Том 21, № 1 (2014) Асимметричное взаимодействие пары осцилляторов типа ФитцХью–Нагумо Аннотация  PDF (Rus)  похожие документы
Елена Александровна Марушкина
"... are determined depending on the initial parameters. The source system may be in two different situations: stable ..."
 
Том 19, № 6 (2012) Слайсинг над деревьями: метод обнаружения разорванных и переплетенных клонов в исходном коде программного обеспечения Аннотация  PDF (Rus)  похожие документы
Марат Халимович Ахин, Владимир Михайлович Ицыксон
"... with this problem, but almost all of them do not consider semantic properties of the source code. We propose ..."
 
Том 18, № 4 (2011) Формальная модель требований, используемая в процессе генерации кода приложения и кода тестов Аннотация  PDF (Rus)  похожие документы
Сергей Николаевич Баранов, Всеволод Павлович Котляров
"... characteristics of the model still matching the source requirements are discussed. If the model is verified ..."
 
Том 23, № 3 (2016) Численное решение начально-краевой задачи для псевдопараболического уравнения с внутренним переходным слоем Аннотация  PDF (Rus)  похожие документы
А. А. Быков
"... галактического динамо. В этом случае u определяет на- пряженность магнитного поля, причем плотность источников ..."
 
Том 23, № 3 (2016) Моделирование неизотермического течения аномально вязкой жидкости в каналах с различной геометрией границ Аннотация  PDF (Rus)  похожие документы
К. В. Литвинов
"... среды, 𝑃 – гидростатическое дав- ление, 𝑇 – температура, 𝑐𝑣 – удельная теплоемкость, 𝜌 – плотность ..."
 
Том 19, № 4 (2012) Оптимизация расчёта инвариантов сети Петри в рамках задачи формирования сценариев интеграционного тестирования Аннотация  PDF (Rus)  похожие документы
Михаил Георгиевич Доррер, Виталий Валерьевич Курохтин
"... to the source eEPC model, to find its invariants and to translate them back into the eEPC notation. An optimized ..."
 
Том 17, № 4 (2010) Интеграция семантических верификаторов в компиляторы языка Java Аннотация  PDF (Rus)  похожие документы
А. В. Клепинин, А. А. Мелентьев
"... This paper introduces a method for static semantic analysis of source codes at com- pilation time ..."
 
Том 18, № 4 (2011) Использование зависимостей для повышения точности статического анализа программ Аннотация  PDF (Rus)  похожие документы
Михаил Игоревич Глухих, Владимир Михайлович Ицыксон, Вадим Александрович Цесько
"... defects in program source code are explained. The need for program object dependency extraction ..."
 
Том 18, № 4 (2011) Статический анализ с использованием систем типов и эффектов на основе LLVM Аннотация  PDF (Rus)  похожие документы
Михаил Анатольевич Беляев, Вадим Александрович Цесько
"... language and effectively to the original source code. ..."
 
Том 18, № 4 (2011) Автоматическое обнаружение ошибок конкурентной модификации данных в моделях на языке SystemC Аннотация  PDF (Rus)  похожие документы
Алексей Владимирович Захаров, Михаил Юрьевич Моисеев
"... . In this paper we propose an approach to data race detection in SystemC programs which is based on the source ..."
 
Том 21, № 6 (2014) Использование метода ограниченной проверки моделей для генерации тестов Аннотация  PDF (Rus)  похожие документы
Максим Алексеевич Петров, Кирилл Алексеевич Гагарский, Михаил Анатольевич Беляев, Владимир Михайлович Ицыксон
"... is very similar to the bounded model checking, which also has to deal with generating models from a source ..."
 
Том 24, № 6 (2017) Прототип статического тайп-чекера для языка программирования Jolie Аннотация  похожие документы
Даниэль де Карвальо, Мануэль Маццара, Богдан Мингела, Лариса Сафина, Александр Чичигин, Николай Трошков
"... Static verification of a program source code correctness is an important element of software ..."
 
Том 19, № 3 (2012) Пакеты импульсов в системе взаимодействующих осцилляторов с запаздыванием и их статистическая обработка Аннотация  PDF (Rus)  похожие документы
Сергей Дмитриевич Глызин, Елена Александрович Марушкина
"... друга в 5 — 10 раз. 3. Функции плотности вероятности. Следующими характеристиками, ис- пользованными ..."
 
Том 24, № 6 (2017) Семантически-ориентированная миграция Java-программ: опыт практического применения Аннотация  PDF (Rus)  похожие документы
Артем Олегович Алексюк, Владимир Михайлович Ицыксон
"... . The prototype was tested by both artificial code examples and a real-world open source project. The article ..."
 
Том 25, № 4 (2018) Оптимизация инварианта цикла в языке Пифагор Аннотация  PDF (Rus)  похожие документы
Владимир Сергеевич Васильев, Александр Иванович Легалов
"... of ”invariant” applied to the Pifagor language, algorithms for its optimization, and examples of program source ..."
 
Том 26, № 1 (2019) Об одном подходе к построению сетевого процессорного устройства Аннотация  PDF (Rus)  похожие документы
Станислав Олегович Беззубцев, Вячеслав Викторович Васин, Дмитрий Юрьевич Волканов, Шынар Рустембековна Жайлауова, Владислав Александрович Мирошник, Юлия Александровна Скобцова, Руслан Леонидович Смелянский
"... of the network processor is implemented in C ++ languages using SystemC, the open-source C++ library ..."
 
Том 22, № 6 (2015) Модель безопасности информационных потоков для программно-конфигурируемых сетей Аннотация  PDF (Rus)  похожие документы
Д. Ю. Чалый, Е. С. Никитин, Е. Ю. Антошина, В. А. Соколов
"... flow has a source and a destination host. Thus, the matching field can be modeled as msrc ∧mdst, where ..."
 
Том 23, № 2 (2016) Асимптотика моментов симметричной свертки Бернулли Аннотация  похожие документы
Е. А. Tимофеев
"... , . . . , with a density having k − 1 derivatives. For example, for λ = 2−1/2 we have the following density F ′λ(x ..."
 
Том 19, № 6 (2012) Подход к конкретизации тестовых сценариев в рамках технологии автоматизации тестирования промышленных программных проектов Аннотация  PDF (Rus)  похожие документы
Александр Валентинович Колчин, Александр Адольфович Летичевский, Владимир Сергеевич Песчаненко, Павел Дмитриевич Дробинцев, Всеволод Павлович Котляров
"... - водство ПП с фиксированным ограничением на плотность дефектов. Для обеспе- чения заданного уровня качества ..."
 
Том 22, № 6 (2015) Элиминация инвариантов циклов для финитной итерации над неизменяемыми структурами данных в Си программах Аннотация  PDF (Rus)  похожие документы
И. В. Марьясов, В. А. Непомнящий
"... ] were suggested. At the first stage, we translate [17] the source C-light program into Ckernel one ..."
 
Том 21, № 4 (2014) Клеточно-локальный алгоритм выделения и оценки изменений на бинарных изображениях Аннотация  PDF (Rus)  похожие документы
Алексей Абрамович Короткин, Александр Андреевич Максимов
"... .M. Нелинейный источник в диффузионных методах филь- трации изображений // Журнал выч. мат. и мат. физ. 2007. Том ..."
 
Том 22, № 6 (2015) Разработка активного внешнего модуля сетевой топологии для контроллера программно-конфигурируемой сети Floodlight Аннотация  PDF (Rus)  похожие документы
А. А. Носков, М. А. Никитинский, И. В. Алексеев
"... поступают сообще- ния, содержащие информацию об источнике и параметрах произошедшего измене- ния. Внутренние ..."
 
Том 23, № 6 (2016) Подход к верификации семейства мультиагентных систем разрешения конфликтов Аннотация  PDF (Rus)  похожие документы
Н. О. Гаранина, Е. А. Сидорова
"... (libj) = plb, t(litj) = plt, t(ribj) = prb, t(ritj) = prt, – нетерминалы N = {S, ICELL,CELL, IBOT, ITOP ..."
 
Том 20, № 2 (2013) Единая модель для геоклассификации веб-сайтов Аннотация  PDF (Rus)  похожие документы
Алексей Николаевич Волков
"... источников данных, фак- торов и алгоритма классификации, использующего эти факторы. В разделе 3 де ..."
 
Том 22, № 3 (2015) ПОСТРОЕНИЕ РАСПИСАНИЙ ОБСЛУЖИВАНИЯ СТАЦИОНАРНЫХ ОБЪЕКТОВ ПЕРЕМЕЩАЮЩИМСЯ В ОДНОМЕРНОЙ ЗОНЕ ПРОЦЕССОРОМ Аннотация  похожие документы
Н. А. Дуничкина, Д. И. Коган, Ю. С. Федосенко
"... particular criteria values. Table 2 filled in from right to left. Firstly, we fill in the cells ..."
 
Том 22, № 6 (2015) Формальная диагонализация схем Лакса–Дарбу Аннотация  PDF (Rus)  похожие документы
А. В. Михайлов
"... conservation laws with densities ρn, rin and fluxes σ k n. That is, 1. PDE’s corresponding to the Lax ..."
 
Том 20, № 2 (2013) Алгоритм эффективного оценивания энтропии Аннотация  PDF (Rus)  похожие документы
Евгений Александрович Тимофеев
"... the problem of the estimation of the entropy (entropy rate) of informa- tion sources with a finite state space ..."
 
Том 24, № 2 (2017) Построение высокоуровневой модели процесса по журналу событий Аннотация  похожие документы
Антонина Константиновна Бегичева, Ирина Александровна Ломазова
"... to use these two techniques of Process Mining. ProM [2] is an open-source tool supporting many techniques ..."
 
Том 23, № 3 (2016) Робастная оценка погрешности в сингулярно возмущённых задачах четвертого порядка Аннотация  похожие документы
С. Франц, Р. Х.-Г.
"... on integral identities from [7, 6, 17, 16]. They yield on each cell τ |〈(Iv − v)x, χx〉τ | ≤ Ck p+1 τ ‖vxyp+1 ..."
 
Том 23, № 3 (2016) От редактора специального выпуска Аннотация  PDF (Rus)  похожие документы
С. Д. Глызин
"... нелинейными источниками. Применение метода дифференциальных неравенств позволило Н.Т. Левашовой, А ..."
 
1 - 75 из 148 результатов 1 2 > >> 

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

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