Сортировать по:
Выпуск | Название | |
Том 14, № 3 (2007) | NumGRID, система для решения больших задач численного моделирования | Аннотация PDF (Rus) похожие документы |
Н. В. Малышкин | ||
"... высокопроизводительные вычислительные ресурсы в Grid для решения больших задач численного моделирования. Рассказывается о ..." | ||
Том 14, № 4 (2007) | Сети активных ресурсов | Аннотация PDF (Rus) похожие документы |
В. А. Башкин | ||
"... построен как обобщение сетей Петри, в котором убрано разделение компонентов системы на активные и пассивные ..." | ||
Том 14, № 4 (2007) | Верификация синхронно-автоматных программ | Аннотация PDF (Rus) похожие документы |
С. В. Кубасов | ||
"... свойств. Применение этой методики позволит выявить большое число ошибок, допускаемых в процессе разработки. ..." | ||
Том 14, № 4 (2007) | О теоремах Р. Радо и Д. Уотсона | Аннотация PDF (Rus) похожие документы |
В. Л. Дольников | ||
"... Даётся некоторое обобщение теорем Р. Радо и Д. Уотсона, которые, в свою очередь, обобщают теоремы ..." | ||
Том 16, № 3 (2009) | Работы Ю.С. Колесова по дифференциальным уравнениям | Аннотация PDF (Rus) похожие документы |
В. Ш. Бурд | ||
Том 16, № 3 (2009) | Уточнение периода решения уравнения импульсного нейрона при постоянном внешнем электрическом воздействии | Аннотация PDF (Rus) похожие документы |
К. В. Корнилов | ||
Том 16, № 3 (2009) | Задача целочисленного сбалансирования трехмерной матрицы и сетевая модель | Аннотация PDF (Rus) похожие документы |
А. В. Смирнов | ||
"... сведения к задаче нахождения максимального потока в сети. ..." | ||
Том 16, № 4 (2009) | Дорогие коллеги! | Аннотация PDF (Rus) похожие документы |
В. А. Соколов | ||
Том 17, № 2 (2010) | О нецелочисленных вершинах релаксаций многогранника задачи 3-ВЫПОЛНИМОСТЬ | Аннотация PDF (Rus) похожие документы |
А. В. Николаев | ||
"... 3-ВЫПОЛНИМОСТЬ. В частности, рассмотрен вопрос о сохранении нецелочисленных вершин при переходе к ..." | ||
Том 17, № 3 (2010) | Рекуррентные последовательности над почтикольцами | Аннотация PDF (Rus) похожие документы |
А. В. Сбоев | ||
Том 17, № 3 (2010) | Язык объектных запросов динамической информационной модели DIM | Аннотация PDF (Rus) похожие документы |
В. С. Рублев | ||
Том 17, № 4 (2010) | Верификация и синтез программ сложения на базе правил корректности операторов | Аннотация PDF (Rus) похожие документы |
В. И. Шелехов | ||
"... доказательства корректности для операторов языка предикатного программирования P. В работе представлены ключевые ..." | ||
Том 17, № 4 (2010) | Пример верификации в проекте F@BOOL@, основанном на булевских решателях | Аннотация PDF (Rus) похожие документы |
Н. В. Шилов | ||
"... человеком программы с языка высокого уровня в эквивалентные исполнимые программы и, кроме того, доказывает ..." | ||
Том 17, № 4 (2010) | Проектирование программных бортовых систем управления с поддержкой верификации | Аннотация PDF (Rus) похожие документы |
И. В. Шошмина | ||
"... Рассматривается проблема включения метода формальной верификации - проверки модели - в процесс ..." | ||
Том 18, № 1 (2011) | Динамика слабого взаимодействия в системе близких видов | Аннотация PDF (Rus) похожие документы |
Е. В. Горчакова | ||
Том 18, № 1 (2011) | Релаксационные циклы обобщённого уравнения импульсного нейрона | Аннотация PDF (Rus) похожие документы |
И. В. Парамонов | ||
"... Рассмотрена обобщенная модель импульсного нейрона В. В. Майорова и И. Ю. Мышкина. В уравнение ..." | ||
Том 18, № 1 (2011) | Стратегия выполнения операций копирования и удаления в дереве объектов | Аннотация PDF (Rus) похожие документы |
А. В. Майоров | ||
"... Описываются общие правила организации объектов в иерархические структуры. Приводятся различные ..." | ||
Том 18, № 1 (2011) | О тензорных квадратах неприводимых представлений конечных почти простых групп. I. | Аннотация PDF (Rus) похожие документы |
С. В. Поляков | ||
"... Рассматриваются конечные почти простые SM_m-группы (см. определение ниже). В первой части работы ..." | ||
Том 18, № 1 (2011) | Геометрические оценки в полиномиальной интерполяции | Аннотация PDF (Rus) похожие документы |
М. В. Невский | ||
Том 22, № 4 (2015) | Задача о наибольшем кратном потоке в делимой сети и ее частные случаи | Аннотация PDF (Rus) похожие документы |
А. В. Смирнов | ||
"... В статье рассматривается задача о наибольшем кратном потоке в сети произвольной натуральной ..." | ||
Том 22, № 5 (2015) | Изоморфизм компактификаций модулей векторных расслоений: неприведенные схемы модулей | Аннотация PDF (Rus) похожие документы |
Н. В. Тимофеева | ||
"... В работе продолжено изучение компактификации схемы модулей полустабильных по Гизекеру векторных ..." | ||
Том 22, № 5 (2015) | Анализ локальных бифуркаций для уравнения с запаздыванием, зависящим от искомой функции | Аннотация PDF (Rus) похожие документы |
В. О. Голубенец | ||
"... В работе рассматривается уравнение первого порядка с запаздыванием, зависящим от искомой функции ..." | ||
Том 22, № 6 (2015) | О преподавании формальных моделей и алгоритмов анализа параллельных систем | Аннотация PDF (Rus) похожие документы |
Н. В. Шилов | ||
"... В настоящее время наблюдается огромный практический интерес к параллельному программированию. Этот ..." | ||
Том 22, № 6 (2015) | Формальная диагонализация схем Лакса–Дарбу | Аннотация PDF (Rus) похожие документы |
А. В. Михайлов | ||
"... В статье мы обсуждаем концепцию схемы Лакса–Дарбу и иллюстрируем ее на хорошо известных примерах ..." | ||
Том 23, № 2 (2016) | О группе Брауэра арифметической модели многообразия над глобальным полем положительной характеристики | Аннотация PDF (Rus) похожие документы |
Т. В. Прохорова | ||
"... алгебр Адзумаи на X по модулю подобия. Хорошо известно, что группа Br(X) содержится в когомологической ..." | ||
Том 23, № 3 (2016) | Моделирование неизотермического течения аномально вязкой жидкости в каналах с различной геометрией границ | Аннотация PDF (Rus) похожие документы |
К. В. Литвинов | ||
"... В данной работе проведен анализ плоского неизотермического стационарного течения аномально вязкой ..." | ||
Том 23, № 4 (2016) | Об алгебраических циклах на расслоенных произведениях неизотривиальных семейств регулярных поверхностей с геометрическим родом | Аннотация PDF (Rus) похожие документы |
О. В. Никольская | ||
Том 23, № 4 (2016) | Сетевая модель для задачи целочисленного сбалансирования четырехмерной матрицы | Аннотация PDF (Rus) похожие документы |
А. В. Смирнов | ||
"... Рассматривается задача целочисленного сбалансирования четырехмерной матрицы. В исходной ..." | ||
Том 23, № 5 (2016) | Расслоенное произведение коммутативных алгебр: образующие и соотношения | Аннотация похожие документы |
Н. В. Тимофеева | ||
"... В работе дан и обоснован метод прямого вычисления универсального (расслоенного) произведения в ..." | ||
Том 23, № 5 (2016) | Эквивалентность обычной и модифицированной сети обобщенных нейронных элементов | Аннотация PDF (Rus) похожие документы |
Е. В. Коновалов | ||
"... Статья посвящена анализу сетей, состоящих из обобщенных нейронных элементов. В первой части статьи ..." | ||
Том 23, № 6 (2016) | Формализм и языковые инструменты для описания семантики программных библиотек | Аннотация PDF (Rus) похожие документы |
В. М. Ицыксон | ||
"... существующие проблемы спецификации библиотек. Дается краткий обзор состояния дел в области формализации ..." | ||
Том 14, № 1 (2007) | Синхронная модель автоматной программы | Аннотация PDF (Rus) похожие документы |
С. В. Кубасов, В. А. Соколов | ||
"... верификации синхронных программ для проверки автоматных программ. В частности предполагается использование ..." | ||
Том 14, № 4 (2007) | Исследование модифицированной модели сальтаторного проведения возбуждения | Аннотация PDF (Rus) похожие документы |
В. В. Майоров, С. Е. Ануфриенко | ||
"... В работе рассматривается модель сальтаторного проведения возбуждения, в которой для описания ..." | ||
Том 26, № 4 (2019) | От редакторов выпуска | Аннотация PDF (Rus) похожие документы |
В. А. Захаров, Н. В. Шилов | ||
Том 17, № 1 (2010) | Двухшаговый экстраградиентный метод для задачи управления ресурсами | Аннотация PDF (Rus) похожие документы |
А. В. Зыкина, Н. В. Меленьчук | ||
"... программирования, вариационных неравенств и смежных задач. Доказана сходимость метода в общем случае. Для задач ..." | ||
Том 17, № 2 (2010) | Задача целочисленного сбалансирования трехмерной матрицы и алгоритмы ее решения | Аннотация PDF (Rus) похожие документы |
В. С. Рублев, А. В. Смирнов | ||
"... этой задачи к задаче нахождения максимального потока в кратной сети целочисленного сбалансирования ..." | ||
Том 17, № 4 (2010) | Адаптивная редукция симметричных моделей в задаче верификации моделей программ для логики линейного времени | Аннотация PDF (Rus) похожие документы |
И. В. Коннов, В. А. Захаров | ||
"... Показано, что метод адаптивной редукции симметричных моделей (ASR), предложенный в статье [9] для ..." | ||
Том 22, № 4 (2015) | Алгоритмы для мажоритарного декодирования групповых кодов | Аннотация PDF (Rus) похожие документы |
В. М. Деундяк, Ю. В. Косолапов | ||
"... декодера для кодов с неравной защитой символов, который в ряде случаев может быть лучше классического. Для ..." | ||
Том 22, № 5 (2015) | Численное решение уравнения Пуассона в полярных координатах методом коллокаций и наименьших невязок | Аннотация PDF (Rus) похожие документы |
Е. В. Ворожцов, В. П. Шапеев | ||
"... в полярных координатах на неравномерных сетках. Путем введения общих криволинейных координат ..." | ||
Том 22, № 6 (2015) | Элиминация инвариантов циклов для финитной итерации над неизменяемыми структурами данных в Си программах | Аннотация PDF (Rus) похожие документы |
И. В. Марьясов, В. А. Непомнящий | ||
"... многих случаях является трудной задачей. В этой статье мы рассматриваем язык C-light, который является ..." | ||
Том 23, № 2 (2016) | Криптосистема на индуцированных групповых кодах | Аннотация PDF (Rus) похожие документы |
В. М. Деундяк, Ю. В. Косолапов | ||
"... декодирования. Эта особенность используется в настоящей работе для построения кодовой криптосистемы с открытым ..." | ||
Том 23, № 5 (2016) | Сингулярно возмущенная эллиптическая задача Дирихле с кратным корнем вырожденного уравнения | Аннотация PDF (Rus) похожие документы |
В. Ф. Бутузов, В. А. Белошапко | ||
"... Рассматривается сингулярно возмущенная эллиптическая задача с граничными условиями Дирихле в случае ..." | ||
Том 23, № 6 (2016) | Имитационное моделирование для анализа выполнимости приложений реального времени | Аннотация PDF (Rus) похожие документы |
С. Н. Баранов, В. В. Никифоров | ||
"... времени в различных сочетаниях дисциплины планирования и протокола доступа к разделяемым общим ..." | ||
Том 27, № 4 (2020) | От редакторов выпуска | Аннотация PDF (Rus) похожие документы |
В. А. Захаров, Н. В. Шилов | ||
Том 28, № 4 (2021) | От редакторов выпуска | PDF (Rus) похожие документы |
В. А. Захаров, Н. В. Шилов | ||
Том 22, № 4 (2015) | Инструментальная система для поддержки разработки и исследования программно-конфигурируемых сетей подвижных объектов | Аннотация PDF (Rus) похожие документы |
В. А. Соколов, С. В. Корсаков, А. В. Смирнов, В. А. Башкин, Е. С. Никитин | ||
"... В данной статье рассмотрены принципы организации беспроводных mesh-сетей программно ..." | ||
Том 22, № 6 (2015) | Эффективное исполнение программного кода в контролируемом окружении как способ улучшения результатов статического анализа и верификации программ | Аннотация PDF (Rus) похожие документы |
М. А. Беляев, В. М. Ицыксон | ||
"... различные методики упрощения программной модели, приводящие к значительному снижению точности анализа. В ..." | ||
Том 17, № 3 (2010) | Верификация C-программ на основе смешанной аксиоматической семантики | Аннотация PDF (Rus) похожие документы |
И. С. Ануреев, И. В. Марьясов, В. А. Непомнящий | ||
Том 22, № 5 (2015) | Фазовая модель Курамото с инерцией: бифуркации потери синхронности и перехода к хаосу | Аннотация PDF (Rus) похожие документы |
В. Н. Белых, М. И. Болотов, Г. В. Осипов | ||
"... В данной работе рассматривается конечномерная модель Курамото с инерцией в случае топологии типа ..." | ||
Том 23, № 4 (2016) | Облачный сервис для интерактивного моделирования межтерриториальной торговли | Аннотация PDF (Rus) похожие документы |
А. С. Величко, В. В. Грибова, Л. А. Федорищев | ||
"... В работе описана математическая модель торговых потоков между территориями региона или страны в ..." | ||
Том 23, № 6 (2016) | Применение раскрашенных сетей Петри для верификации конструкций управления сценариями языка UCM | Аннотация PDF (Rus) похожие документы |
Н. В. Визовитин, В. А. Непомнящий, А. А. Стененко | ||
"... В данной работе представлен метод анализа и верификации моделей Use Case Maps (UCM) с ..." | ||
Том 17, № 4 (2010) | Верификация C-программ в мультиязыковой системе СПЕКТР | Аннотация PDF (Rus) похожие документы |
В. А. Непомнящий, И. С. Ануреев, М. М. Атучин, И. В. Марьясов, А. А. Петров, А. В. Промский | ||
"... Представлена расширяемая мультиязыковая система анализа и верификации СПЕКТР, разрабатываемая в ..." | ||
Том 17, № 1 (2010) | Тезаурус как инструмент поэтологии | Аннотация PDF (Rus) похожие документы |
В. Н. Бойков, В. Е. Захаров, И. А. Пильщиков, . М. Сысоев | ||
"... тезаурусов в информационных системах. ..." | ||
Том 17, № 4 (2010) | Генерация тестовых данных на основе формального анализа данных конфигурации проекта | Аннотация PDF (Rus) похожие документы |
А. В. Батаев, А. А. Давыдов, Н. Ю. Налютин, С. В. Синицын | ||
"... требований для функционального тестирования. Использование метода упрощает поддержание в непротиворечивом ..." | ||
Том 23, № 6 (2016) | Методические аспекты выделения семантических отношений для автоматической генерации специализированных тезаурусов и их оценки | Аннотация PDF (Rus) похожие документы |
Н. С. Лагутина, К. В. Лагутина, Э. И. Мамедов, И. В. Парамонов | ||
"... множества терминов для включения в тезаурус и выделение связей между терминами тезауруса. Данное ..." | ||
Том 14, № 1 (2007) | Верификация автоматных программ с использованием LTL | Аннотация PDF (Rus) похожие документы |
К. А. Васильева, Е. В. Кузьмин | ||
"... адекватной моделью, по которой формальным образом строится программный модуль. Свойства программной системы в ..." | ||
Том 14, № 4 (2007) | Формальная модель семантики художественного текста (на материале русских пословиц) | Аннотация PDF (Rus) похожие документы |
А. C. Малкова, В. И. Январев | ||
"... , заключенных в текстах русских пословиц. Модель включает четыре компонента: две оппозиции, связывающее их т ..." | ||
Том 16, № 4 (2009) | Математическое обоснование одного численного эксперимента | Аннотация PDF (Rus) похожие документы |
А. В. Дымов, П. Н. Нестеров | ||
"... распространения радиоволн в условиях сложного рельефа. ..." | ||
Том 16, № 4 (2009) | Хаотическая синхронизация каскадно-связанных систем фазовой автоподстройки частоты | Аннотация PDF (Rus) похожие документы |
А. В. Ходунин, Л. Н. Казаков | ||
"... систем фазовой автоподстройки частоты в условиях аддитивного и фазового случайных воздействий. Предложена ..." | ||
Том 15, № 1 (2008) | Пространственнонеоднородные инвариантные торы в модели мультипликаторакселератор | Аннотация PDF (Rus) похожие документы |
Е. В. Коршунова, А. Н. Куликов | ||
"... Представлена краевая задача, в основе которой лежит известная математическая модель мультип ..." | ||
Том 15, № 1 (2008) | О подходах к моделированию региональных экономических систем кластерного типа | Аннотация PDF (Rus) похожие документы |
А. Б. Дроздов, Н. В. Дроздова | ||
Том 17, № 1 (2010) | Визуализация динамических графов для анализа сложных сетей | Аннотация PDF (Rus) похожие документы |
С. Н. Пупырев, А. В. Тихонов | ||
Том 17, № 4 (2010) | Интеграция семантических верификаторов в компиляторы языка Java | Аннотация PDF (Rus) похожие документы |
А. В. Клепинин, А. А. Мелентьев | ||
"... компиляции с целью повышения качества исходного кода. В качестве способа реализации такого семантического ..." | ||
Том 18, № 1 (2011) | Резонанс собственных частот в задаче о флаттере пластинки в сверхзвуковом потоке газа | Аннотация PDF (Rus) похожие документы |
А. Н. Куликов, Г. В. Пилипенко | ||
"... Рассматривается в линейной постановке задача о колебаниях пластинки в сверхзвуковом потоке газа ..." | ||
Том 22, № 2 (2015) | Эффективность доступа к данным в СУБД DIM | Аннотация PDF (Rus) похожие документы |
Дмитрий Владимирович Антонов, В. С. Рублев | ||
"... В статье приводится обзор средств, используемых в объектной СУБД нового типа для повышения ..." | ||
Том 22, № 6 (2015) | Анализ системных исполнений с помощью Process Mining | Аннотация PDF (Rus) похожие документы |
С. А. Шершаков, В. А. Рубин | ||
"... Информационные системы (ИС) оставляют многочисленные следы и журналы событий своей работы. В ..." | ||
Том 23, № 3 (2016) | Аделаида Борисовна Васильева (к девяностолетию со дня рождения) | Аннотация PDF (Rus) похожие документы |
В. Ф. Бутузов, Н. Н. Нефедов | ||
Том 23, № 5 (2016) | О числовых характеристиках симплекса и их оценках | Аннотация PDF (Rus) похожие документы |
М. В. Невский, А. Ю. Ухалов | ||
"... центра тяжести (S) с~коэффициентом гомотетии (sigma). В работе рассматриваются следующие числовые ..." | ||
Том 23, № 6 (2016) | Построение каскадной параллельной композиции временных автоматов с использованием BALM-II | Аннотация PDF (Rus) похожие документы |
М. Л. Громов, Н. В. Шабалдина | ||
"... В данной работе мы рассмотрели задачу построения каскадной параллельной композиции временных ..." | ||
Том 23, № 6 (2016) | О минимизации конечных автоматов-преобразователей над полугруппами | Аннотация PDF (Rus) похожие документы |
В. А. Захаров, Г. Г. Темербекова | ||
"... Автоматы-преобразователи над полугруппами можно использовать в качестве модели последовательных ..." | ||
Том 16, № 3 (2009) | О спектральной задаче, возникающей в механике манипуляционных роботов | Аннотация PDF (Rus) похожие документы |
В. И. Войтицкий, М. Ю. Злобина, Е. П. Кубышкин | ||
"... В полном объеме решена спектральная краевая задача специального вида, содержащая спектральный ..." | ||
Том 17, № 2 (2010) | Мультистабильность в модели лазера с большим запаздыванием | Аннотация PDF (Rus) похожие документы |
Е. В. Григорьева, И. С. Кащенко, С. А. Кащенко | ||
"... форм в окрестности бифуркационных значений параметров. Показана возможность сосуществования большого ..." | ||
Том 17, № 2 (2010) | Аспекты практической реализации протокола ARTCP на ядре Linux 2.6 | Аннотация PDF (Rus) похожие документы |
И. В. Алексеев, С. А. Меркулов, А. А. Сивов | ||
"... некоторые вопросы взаимодействия TCP и ARTCP. Приведен план работ по реализации ARTCP в Linux. ..." | ||
Том 17, № 4 (2010) | Об исчислении позитивно-образованных формул для автоматического доказательства теорем | Аннотация PDF (Rus) похожие документы |
А. В. Давыдов, А. А. Ларионов, Е. А. Черкашин | ||
"... , благодаря которым достигается уменьшение комбинаторной сложности при поиске выводов в сравнении с такими ..." | ||
Том 22, № 6 (2015) | Разработка активного внешнего модуля сетевой топологии для контроллера программно-конфигурируемой сети Floodlight | Аннотация PDF (Rus) похожие документы |
А. А. Носков, М. А. Никитинский, И. В. Алексеев | ||
"... модуль firewall, модуль маршрутизации и т.д. В данной статье рассмотрены применяемые способы ..." | ||
76 - 150 из 153 результатов | << < 1 2 3 > >> |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)