Поиск


Сортировать по:     
 
Выпуск Название
 
Том 18, № 4 (2011) Верификация шаблонов алгоритмов для метода отката и метода ветвей и границ Аннотация  PDF (Rus)  похожие документы
Николай Вячеславович Шилов
"... theory, but one very special theme is algorithmic design patterns, including greedy method, divide ..."
 
Том 19, № 6 (2012) Слайсинг над деревьями: метод обнаружения разорванных и переплетенных клонов в исходном коде программного обеспечения Аннотация  PDF (Rus)  похожие документы
Марат Халимович Ахин, Владимир Михайлович Ицыксон
"... .05+004.422+004.4’23 Слайсинг над деревьями: метод обнаруженияразорванных и переплетенных клонов в ..."
 
Том 16, № 4 (2009) Метод автоматического построения алгоритмов распознавания участков фазовых траекторий Аннотация  PDF (Rus)  похожие документы
Д. С. Коваленко
"... работе предложен метод автоматического построения алгоритмов распознавания нештатного поведения ..."
 
Том 22, № 1 (2015) Особенности формирования диссипативных структур, описываемых уравнением Курамото–Сивашинского Аннотация  PDF (Rus)  похожие документы
Николай Алексеевич Кудряшов, Павел Николаевич Рябов, Богдан Александрович Петров
"... модели. При помощи метода циклической свертки определен диапазон изменения управляющего параметра, при ..."
 
Том 22, № 4 (2015) Метод генерации примеров моделей программ в терминах сетей Петри Аннотация  PDF (Rus)  похожие документы
Д. И. Харитонов, Е. А. Голенков, Г. В. Тарасов, Д. В. Леонтьев
"... , construction templates for a resulting net and parameters for construction are described. With the help ..."
 
Том 21, № 6 (2014) Поведенческая идентификация программ Аннотация  PDF (Rus)  похожие документы
Максим Викторович Баклановский, Артур Рафаэльевич Ханов
"... The algorithm of pattern mining from sequences of system calls is described. Patterns are used ..."
 
Том 17, № 4 (2010) Проектирование программных бортовых систем управления с поддержкой верификации Аннотация  PDF (Rus)  похожие документы
И. В. Шошмина
"... an approach based on the Model-Driven Engineering. It allows us to structure the design process by selecting ..."
 
Том 21, № 6 (2014) Инкрементальный подход к технологии создания тестов для индустриальных проектов Аннотация  PDF (Rus)  похожие документы
Павел Дмитриевич Дробинцев, Всеволод Павлович Котляров, Игорь Валерьевич Никифоров, Александр Адольфович Летичевский
"... technology are full automation design of test scenarios and significant reducing of test explosion ..."
 
Том 25, № 5 (2018) Этюд об устранении рекурсии Аннотация  похожие документы
Николай Вячеславович Шилов
"... elimination via program manipulations and problem analysis. The recursion pattern of the example matches ..."
 
Том 23, № 6 (2016) Разработка и анализ защищенности фрагмента информационно-телекоммуникационной системы, реализующей концепцию Интернета вещей Аннотация  PDF (Rus)  похожие документы
В. А. Александров, В. А. Десницкий, Д. Ю. Чалый
"... measures for a selected threat. A feature of the work is an integrated approach to the design with the use ..."
 
Том 22, № 6 (2015) Особенности применения модельно-ориентированного подхода при разработке промышленных приложений Аннотация  PDF (Rus)  похожие документы
П. Д. Дробинцев, В. П. Котляров, Н. В. Воинов, И. В. Никифоров
"... are described. The main emphasis is put on the system design, automated code generation for large systems ..."
 
Том 23, № 6 (2016) Метод синтеза тестов с гарантированной полнотой по модели расширенного автомата Аннотация  PDF (Rus)  похожие документы
А. Д. Ермаков, Н. В. Евтушенко
"... software implementation is template based, each undetected fault can be easily mapped into a mutant EFSM ..."
 
Том 21, № 6 (2014) Использование метода ограниченной проверки моделей для генерации тестов Аннотация  PDF (Rus)  похожие документы
Максим Алексеевич Петров, Кирилл Алексеевич Гагарский, Михаил Анатольевич Беляев, Владимир Михайлович Ицыксон
"... перспективным методом автоматической генерации тестов является динамическое символьное исполнение (dynamic ..."
 
Том 22, № 1 (2015) Метод логистической функции для нахождения аналитических решений нелинейных дифференциальных уравнений Аннотация  похожие документы
Николай Алексеевич Кудряшов
"... Для нахождения точных решений нелинейных дифференциальных уравнений используется метод ..."
 
Том 23, № 2 (2016) Метод сбалансированного выбора механизмов обеспечения отказоустойчивости для распределённых вычислительных систем Аннотация  PDF (Rus)  похожие документы
Д. Ю. Волканов
"... постановка задачи и метод её решения. Данная задача широко рассматривается в литературе. Приводится ..."
 
Том 21, № 5 (2014) Применение методов оптимизации для выполнения молекулярного докинга на графических процессорах Аннотация  PDF (Rus)  похожие документы
Михаил Александрович Фарков, Александр Иванович Легалов
"... В работе проведён анализ методов оптимизации для решения задачи молекулярного докинга ..."
 
Том 23, № 6 (2016) Методические аспекты выделения семантических отношений для автоматической генерации специализированных тезаурусов и их оценки Аннотация  PDF (Rus)  похожие документы
Н. С. Лагутина, К. В. Лагутина, Э. И. Мамедов, И. В. Парамонов
"... extraction techniques: lexico-syntactic patterns, morpho-syntactic rules, measurement of term information ..."
 
Том 24, № 1 (2017) О комбинировании различных методов ускорения при итерационном решении уравнений с частными производными методом коллокаций и наименьших невязок Аннотация  PDF (Rus)  похожие документы
Василий Павлович Шапеев, Евгений Васильевич Ворожцов
"... Рассматривается проблема ускорения итерационного процесса численного решения методом коллокаций и ..."
 
Том 25, № 6 (2018) Перевод моделей Event-B в Eiffel Аннотация  похожие документы
Софья Резникова, Виктор Ривера, Джу Йонг Ли, Мануэль Маццара
"... . The contracts follow the Design by Contract principle and are natively supported by the programming language ..."
 
Том 23, № 5 (2016) Метод конечных разностей во временной области для кусочно-однородных диэлектрических сред Аннотация  PDF (Rus)  похожие документы
Ж. О. Домбровская
"... -5-539-547 УДК 519.63 Метод конечных разностей во временной области для кусочно-однородных ..."
 
Том 25, № 6 (2018) Платформенно-независимая спецификация и верификация стандартной математической функции квадратного корня Аннотация  PDF (Rus)  похожие документы
Николай Вячеславович Шилов, Дмитрий Александрович Кондратьев, Игорь Сергеевич Ануреев, Евгений Викторович Бодин, Алексей Владимирович Промский
"... attempt to design a relatively simple axiomatization of the computer arithmetics in terms of real ..."
 
Том 26, № 1 (2019) Построение бортовых сетей реального времени на основе технологии ПКС Аннотация  PDF (Rus)  похожие документы
Василий Викторович Балашов, Валерий Алексеевич Костенко, Татьяна Ивановна Ермакова
 
Том 22, № 6 (2015) О преподавании формальных моделей и алгоритмов анализа параллельных систем Аннотация  PDF (Rus)  похожие документы
Н. В. Шилов
"... applied problems of design and implementation of efficient and faultless program systems and information ..."
 
Том 17, № 1 (2010) A mathematical model of an order management automated system within the process of production technological preparation in aviation enterprisers Аннотация  PDF (Rus)  похожие документы
П. Е. Ефимова
"... of production technological preparation at the construction depart¬ment of the tool set design, its conceptual ..."
 
Том 14, № 4 (2007) Об одном методе распознавания изображений Аннотация  PDF (Rus)  похожие документы
И. А. Михайлов
"... Рассматривается задача распознавания изображений алфавитно-цифровых символов. Предлагается метод ..."
 
Том 22, № 6 (2015) Анализ системных исполнений с помощью Process Mining Аннотация  PDF (Rus)  похожие документы
С. А. Шершаков, В. А. Рубин
"... and common anti-patterns. We applied mature process mining techniques for discovery and analysis ..."
 
Том 23, № 5 (2016) Асимптотика стационарного решения с внутренним переходным слоем для системы типа ФитцХью–Нагумо Аннотация  PDF (Rus)  похожие документы
А. А. Мельникова, Р. Л. Аргун
"... biophysics. Blood clotting, nerve impulse propagation, reduction of the heart muscle, the pattern-formation ..."
 
Том 17, № 1 (2010) Двухшаговый экстраградиентный метод для задачи управления ресурсами Аннотация  PDF (Rus)  похожие документы
А. В. Зыкина, Н. В. Меленьчук
"... Приведен двухшаговый экстраградиентный метод для решения несобственных задач линейного ..."
 
Том 14, № 4 (2007) Об одном из методов научного творчества Аннотация  PDF (Rus)  похожие документы
Ю. Г. Гущин
"... ; словотворчество как научный метод при подготовке автореферата диссертационной работы. ..."
 
Том 19, № 5 (2012) Динамика комплексного пространственно-распределенного уравнения Хатчинсона Аннотация  PDF (Rus)  похожие документы
Дмитрий Сергеевич Глызин, Сергей Александрович Кащенко
"... достаточно подробно изучены с помощью асимптотических и численных методов в работах М. Бестехорна, Е ..."
 
Том 25, № 6 (2018) Применение генетического алгоритма для нахождения редакционного расстояния между моделями процессов Аннотация  PDF (Rus)  похожие документы
Анна Алексеевна Каленкова, Данил Александрович Колесников
"... be used to reveal patterns (subprocesses), compare discovered process models. As it was shown ..."
 
Том 21, № 6 (2014) Разработка самоприменимой системы верификации. Теория и практика Аннотация  PDF (Rus)  похожие документы
Дмитрий Александрович Кондратьев, Алексей Владимирович Промский
"... непротиворечивости и полноте. Однако нам не известны реализации этих теоретических методов, проверенные чем-либо ..."
 
Том 25, № 4 (2018) Вопросно-ответная система для поддержки абитуриентов с использованием современных мессенджеров Аннотация  PDF (Rus)  похожие документы
Дмитрий Русланович Филонов, Дмитрий Юрьевич Чалый, Дмитрий Михайлович Мурин, Валерий Георгиевич Дурнев, Валерий Анатольевич Соколов
"... construction or using special templates. If the system is unable to find a relevant answer, the user can ..."
 
Том 21, № 6 (2014) Анализ и верификация MSC-диаграмм распределённых систем с помощью раскрашенных сетей Петри Аннотация  PDF (Rus)  похожие документы
Сергей Анатольевич Черненок, Валерий Александрович Непомнящий
"... of system design and development. In particular, the MSC language is used for describing communication ..."
 
Том 18, № 4 (2011) Статический анализ с использованием систем типов и эффектов на основе LLVM Аннотация  PDF (Rus)  похожие документы
Михаил Анатольевич Беляев, Вадим Александрович Цесько
"... idea behind the design of this tool is to use type and effect systems for static analysis of real ..."
 
Том 19, № 5 (2012) Полиномиальный метод построения равновесных конфигураций точечных вихрей на плоскости Аннотация  PDF (Rus)  похожие документы
Мария Владимировна Демина, Николай Алексеевич Кудряшов
"... полиномиального метода, позволяющего находить любую такую конфигурацию. Проводится классификация статических ..."
 
Том 21, № 5 (2014) Применение метода квазинормальных форм к математической модели отдельного нейрона Аннотация  PDF (Rus)  похожие документы
Маргарита Михайловна Преображенская
"... уравнению применяется известный метод квазинормальных форм. Суть его заключается в формальной нормализации ..."
 
Том 20, № 3 (2013) Применение нечеткой классификации для гибридных линейных методов прогнозирования Аннотация  PDF (Rus)  похожие документы
Андрей Сергеевич Таскин, Евгений Моисеевич Миркес, Наталья Юрьевна Сиротинина
"... линейных методов, основанных на кластеризации. Для этого исходный набор входных признаков выборки ..."
 
Том 23, № 5 (2016) Численные методы решения задач Коши с контрастными структурами Аннотация  PDF (Rus)  похожие документы
А. А. Белов, Н. Н. Калиткин
"... Изложены современные численные методы, позволяющие наиболее эффективно рассчитывать задачи с ..."
 
Том 17, № 2 (2010) Метод оценки частоты выполнения фрагментов кода последовательной программы Аннотация  PDF (Rus)  похожие документы
А. В. Шалимов
"... программного обеспечения. В статье предложен новый метод оценки частоты выполнения линейных участков программы ..."
 
Том 14, № 2 (2007) Асимптотическое представление решений систем линейных разностных уравнений и метод усреднения Аннотация  PDF (Rus)  похожие документы
П. Н. Нестеров
 
Том 25, № 5 (2018) О методах верификации и разработки программ развития сельскохозяйственных территорий Аннотация  PDF (Rus)  похожие документы
Хорхе Луис Вега Висе, Валерий Юрьевич Михайлов
"... В настоящее время повсеместными стали методы программно-целевого управления развитием различных ..."
 
Том 20, № 6 (2013) О региональных случайных упаковках Аннотация  PDF (Rus)  похожие документы
Масахару Танемура
"... 1 0 Pattern of Voronoi Division Random Packing by Disks: L = 10, N = 64; density = 0.50265 Figure ..."
 
Том 20, № 2 (2013) Технологии и алгоритмы для создания дополненной реальности Аннотация  PDF (Rus)  похожие документы
Иван Александрович Благовещенский, Николай Андреевич Демьянков
"... В данной статье авторами рассматривается понятие дополненной реальности, а также возможные методы ..."
 
Том 19, № 3 (2012) Локальная динамика трех осцилляторов со связью вещательного типа Аннотация  PDF (Rus)  похожие документы
Анна Олеговна Толбей
"... вещательного типа, метод нормальных форм, бифуркации Изучается динамика взаимодействия трех нейроподобных ..."
 
Том 21, № 3 (2014) Вычисление ляпуновской величины для логистического уравнения с быстро осциллирующим запаздыванием Аннотация  PDF (Rus)  похожие документы
Надежда Дмитриевна Быкова
"... , нелинейная динамика, метод нормальных форм Рассматривается логистическое уравнение с быстро осциллирующим ..."
 
Том 21, № 1 (2014) Применение принципа усреднения к логистическому уравнению с быстро осциллирующим запаздыванием Аннотация  PDF (Rus)  похожие документы
Надежда Дмитриевна Быкова, Елена Викторовна Григорьева
"... : усреднение, устойчивость, нелинейная динамика, метод нормальных форм Рассматривается вопрос о локальной ..."
 
Том 23, № 3 (2016) Оценки погрешности в сбалансированных нормах методов ко- нечных элементов на сетках Шишкина для задач реакции-диффузии Аннотация  PDF (Rus)  похожие документы
Р. Ханс-Гёрг
"... Оценки погрешности методов конечных элементов для задач реакции-диффузии часто производятся в ..."
 
Том 22, № 1 (2015) О нулях некоторых характеристических квазиполиномов Аннотация  PDF (Rus)  похожие документы
Дмитрий Сергеевич Глызин, Евгений Павлович Кубышкин, Алёна Романовна Морякова
"... Ключевые слова: квазиполином, метод D-разбиений, асимптотическое представление В работе изучается ..."
 
Том 21, № 5 (2014) Метод центральных многообразий в задаче асимптотического интегрирования функционально-дифференциальных уравнений с колебательно убывающими коэффициентами. II Аннотация  PDF (Rus)  похожие документы
Павел Николаевич Нестеров
"... примера использования предложенного в работе метода асимптотического интегрирования строится асимптотика ..."
 
Том 21, № 5 (2014) Применение систем компьютерной алгебры для построения метода коллокаций и наименьших невязок решения трехмерных уравнений Навье–Стокса Аннотация  PDF (Rus)  похожие документы
Василий Павлович Шапеев, Евгений Васильевич Ворожцов
"... Метод коллокаций и наименьших невязок (КНН), предложенный ранее для численного решения двумерных ..."
 
Том 21, № 3 (2014) Метод центральных многообразий в задаче асимптотического интегрирования функционально-дифференциальных уравнений с колебательно убывающими коэффициентами. I Аннотация  PDF (Rus)  похожие документы
Павел Николаевич Нестеров
"... решений указанных систем в критическом случае. С помощью идеологии метода центральных многообразий нами ..."
 
Том 19, № 6 (2012) Применение методов фрактальной и вычислительной геометрии для картографической генерализации линейных объектов Аннотация  PDF (Rus)  похожие документы
Олег Рустумович Мусин, Алексей Юрьевич Ухалов, Герберт Эдельсбруннер, Ольга Павловна Якимова
"... ., Якимова О.П., 2012 УДК 517.51+514.17 Применение методов фрактальной и вычислительной геометрии для ..."
 
Том 23, № 3 (2016) Применение метода дифференциальных неравенств для обоснования решения системы параболических уравнений в виде движущегося фронта Аннотация  PDF (Rus)  похожие документы
Н. Т. Левашова, А. А. Мельникова, С. В. Быцюра
"... существования у начально-краевых задач решений такого вида весьма эффективным оказывается метод дифференциальных ..."
 
Том 22, № 5 (2015) Численное решение уравнения Пуассона в полярных координатах методом коллокаций и наименьших невязок Аннотация  PDF (Rus)  похожие документы
Е. В. Ворожцов, В. П. Шапеев
"... Предложен вариант метода коллокаций и наименьших невязок для численного решения уравнения Пуассона ..."
 
Том 24, № 5 (2017) Варианты метода коллокации и наименьших невязок для решения задач математической физики в выпуклых четырехугольных областях Аннотация  PDF (Rus)  похожие документы
Василий Алексеевич Беляев, Василий Павлович Шапеев
"... Предложены и реализованы новые варианты метода коллокации и наименьших невязок (КНН) для ..."
 
Том 13, № 1 (2006) Совместное использование методов бизнес-моделирования и объектно-ориентированной методологии при проектировании профилированного пользовательского интерфейса Аннотация  PDF (Rus)  похожие документы
И. Г. Игнатова, Н. Ю. Соколова
"... В статье рассматривается механизм совместного использования методов бизнес-моделирования и объектно ..."
 
Том 25, № 5 (2018) Автоматизация верификации C-программ с использованием символического метода элиминации инвариантов циклов Аннотация  PDF (Rus)  похожие документы
Дмитрий Александрович Кондратьев, Илья Владимирович Марьясов, Валерий Александрович Непомнящий
"... . Методы синтеза инвариантов циклов, как правило, носят эвристический характер, что затрудняет их ..."
 
Том 16, № 4 (2009) Пространственно-неоднородные периодические решения в распределенном уравнении Хатчинсона Аннотация  PDF (Rus)  похожие документы
Д. С. Глызин, С. А. Кащенко, А. С. Полстьянов
 
Том 18, № 1 (2011) Пространственно-неоднородные периодические решения уравнения Хатчинсона с распределенным насыщением Аннотация  PDF (Rus)  похожие документы
Д. С. Глызин, С. А. Кащенко, А. С. Полстьянов
 
Том 22, № 6 (2015) Эффективное исполнение программного кода в контролируемом окружении как способ улучшения результатов статического анализа и верификации программ Аннотация  PDF (Rus)  похожие документы
М. А. Беляев, В. М. Ицыксон
"... Существующие средства и методы статического анализа и верификации кода на языке С используют ..."
 
Том 23, № 1 (2016) Erratum to: Метод центральных многообразий в задаче асимптотического интегрирования функционально-дифференциальных уравнений с колебательно убывающими коэффициентами. II Аннотация  PDF (Rus)  похожие документы
П. Н. Нестеров
"... В работе исправляются вычислительные ошибки, допущенные в статье: Нестеров П.Н. Метод центральных ..."
 
Том 24, № 6 (2017) Анализ использования различных типов связей между терминами тезауруса, сгенерированного с помощью гибридных методов, в задачах классификации текстов Аннотация  PDF (Rus)  похожие документы
Надежда Станиславовна Лагутина, Ксения Владимировна Лагутина, Иван Андреевич Щитов, Илья Вячеславович Парамонов
"... ассоциативные. Для генерации тезауруса используется гибридный метод, основанный на нескольких лингвистических и ..."
 
Том 19, № 4 (2012) О построении и верификации программ логических контроллеров Аннотация  PDF (Rus)  похожие документы
Егор Владимирович Кузьмин, Валерий Анатольевич Соколов
"... Проводится обзор методов и подходов к программированию «дискретных» задач ПЛК на примере задачи ..."
 
Том 20, № 6 (2013) Сегментация клинических эндоскопических изображений, основанная на классификации векторных топологических признаков Аннотация  PDF (Rus)  похожие документы
Ольга Александровна Дунаева, Дарья Борисовна Малкова, Михаил Леонидович Мячин, Херберт Эдельсбруннер
"... слова: эндоскопическое изображение, обработка изображений, топологические методы, сегментация ..."
 
1 - 75 из 430 результатов 1 2 3 4 5 6 > >> 

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

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