Сортировать по:
| Выпуск | Название | |
| Том 25, № 5 (2018) | Полипрограммы и бисимуляция полипрограмм | Аннотация похожие документы |
| Сергей Александрович Гречаник | ||
| "... -readable. We also introduce the notion of polyprogram bisimulation which enables a powerful transformation ..." | ||
| Том 18, № 4 (2011) | Построение приближений бисимуляции в односчетчиковых сетях | Аннотация PDF (Rus) похожие документы |
| Владимир Анатольевич Башкин | ||
| "... of the largest bisimulation of a one-counter net, based on the single-periodic arithmetics and a notion ..." | ||
| Том 31, № 2 (2024) | Верификация декларативной LTL-спецификации поведения управляющих программ | Аннотация PDF (Rus) похожие документы |
| Максим Вячеславович Нейзов, Егор Владимирович Кузьмин | ||
| "... преобразования декларативной LTL-спецификации в различные SMV-спецификации с сопутствующими изменениями ..." | ||
| Том 27, № 2 (2020) | Аппроксимация ресурсных эквивалентностей в сетях Петри с невидимыми переходами | Аннотация похожие документы |
| Владимир Анатольевич Башкин | ||
| "... by another one without affecting the observable behavior of the net (regarding marking bisimulation ..." | ||
| Том 13, № 1 (2006) | Свойства бисимуляции разметок в ограниченных сетях Петри | Аннотация PDF (Rus) похожие документы |
| В. А. Башкин | ||
| "... исследуются специальные виды бисимз'ляции для случая ограниченных сетей, в том числе расширение бисимуляции ..." | ||
| Том 20, № 3 (2013) | Преобразования задач оптимального управления | Аннотация PDF (Rus) похожие документы |
| Анатолий Михайлович Цирлин | ||
| "... Рассмотрены методы преобразования вариационных задач оптимального управления (замены фазовых ..." | ||
| Том 26, № 3 (2019) | Об автоматическом анализе практической стойкости обфусцирующих преобразований | Аннотация PDF (Rus) похожие документы |
| Петр Дмитриевич Борисов, Юрий Владимирович Косолапов | ||
| "... Разрабатывается способ оценки практической стойкости обфусцирующих преобразований программ ..." | ||
| Том 21, № 4 (2014) | Исследование примитивных схем программ с процедурами | Аннотация PDF (Rus) похожие документы |
| Римма Ивановна Подловченко | ||
| "... и проблема построения полной системы эквивалентных преобразований схем программ. Среди ..." | ||
| Том 19, № 4 (2012) | Преобразование хвостовых рекурсий в функционально-потоковых параллельных программах | Аннотация PDF (Rus) похожие документы |
| Александр Иванович Легалов, Олег Владимирович Непомнящий, Иван Васильевич Матковский, Мария Сергеевна Кропачева | ||
| "... Анализируются особенности преобразования функционально-потоковых параллельных программ в программы ..." | ||
| Том 28, № 1 (2021) | О характеристиках символьного исполнения в задаче оценки качества обфусцирующих преобразований | Аннотация PDF (Rus) похожие документы |
| Петр Дмитриевич Борисов, Юрий Владимирович Косолапов | ||
| "... оценке таких обфусцирующих преобразований в большей степени основаны на статических характеристиках ..." | ||
| Том 17, № 2 (2010) | Алгоритм преобразования моделей бизнес-процессов в одноцветные сети Петри | Аннотация PDF (Rus) похожие документы |
| М. Г. Доррер | ||
| "... формате ARIS EPC в одноцветную сеть Петри. Полученное в результате преобразования матричное представление ..." | ||
| Том 29, № 1 (2022) | Методы преобразования параллелизма в процессе высокоуровневого синтеза СБИС | Аннотация PDF (Rus) похожие документы |
| Игорь Николаевич Рыженко, Олег Владимирович Непомнящий, Александр Иванович Легалов, Владимир Викторович Шайдуров | ||
| "... коэффициентов редукции и оценки требуемых ресурсов. Предложен алгоритм преобразования параллелизма с учетом ..." | ||
| Том 27, № 3 (2020) | Автоматизированный поиск и анализ стилометрических характеристик, описывающих стиль прозы 19-21 веков | Аннотация PDF (Rus) похожие документы |
| Ксения Владимировна Лагутина, Алла Михайловна Манахова | ||
| "... стиля прозаического текста, и анализу стилистических изменений русской и британской прозы 19-21 веков ..." | ||
| Том 30, № 4 (2023) | Алгоритм определения тональности предложений публицистического стиля на русском языке на основе семантических правил | Аннотация PDF (Rus) похожие документы |
| Анатолий Юрьевич Полетаев, Илья Вячеславович Парамонов, Елена Игоревна Бойчук | ||
| "... большинство исследований по этой теме проводятся на текстах разговорного стиля речи, что ограничивает ..." | ||
| Том 31, № 3 (2024) | Методы определения неявно упоминаемых аспектов в публицистических предложениях на русском языке | Аннотация PDF (Rus) похожие документы |
| Анатолий Юрьевич Полетаев, Илья Вячеславович Парамонов, Егор Михайлович Колупаев | ||
| Том 26, № 3 (2019) | Сравнение диффеоморфных изображений на основе формирования персистентных гомологий | Аннотация PDF (Rus) похожие документы |
| Сергей Николаевич Чуканов | ||
| "... изображений инвариантных к преобразованиям вращения, сдвига и подобия. ..." | ||
| Том 22, № 5 (2015) | Асимптотика моментов сингулярной функции Лебега | Аннотация PDF (Rus) похожие документы |
| Е. А. Tимофеев | ||
| Том 23, № 1 (2016) | Асимптотика моментов функции Такаги | Аннотация PDF (Rus) похожие документы |
| Е. А. Tимофеев | ||
| Том 23, № 2 (2016) | Асимптотика моментов симметричной свертки Бернулли | Аннотация похожие документы |
| Е. А. Tимофеев | ||
| Том 23, № 3 (2016) | Аналитические решения нелинейного уравнения конвекции–диффузии с нелинейными источниками | Аннотация PDF (Rus) похожие документы |
| Н. А. Кудряшов, Д. И. Синельщиков | ||
| "... преобразований, обобщающих преобразования Зундмана. Показано, что в стационарном случае без учета конвекции общее ..." | ||
| Том 23, № 5 (2016) | Полилогарифмы и асимптотика моментов сингулярной функции Лебега | Аннотация PDF (Rus) похожие документы |
| Е. А. Tимофеев | ||
| "... pi ik}{ln 2}, kne 0. $$ Доказательство основано на применении пуассонизации и преобразования ..." | ||
| Том 24, № 4 (2017) | Автоматизированная Обучающая Система для обучения курсу анализа сложности алгоритмов | Аннотация PDF (Rus) похожие документы |
| Вадим Сергеевич Рублев, Мурад Теймурович Юсуфов | ||
| "... нормальная система символьных преобразований, позволяющая, с одной стороны, делать учащемуся любые символьные ..." | ||
| Том 25, № 1 (2018) | О переносе ряда понятий статистической радиофизики в теорию одномерных точечных отображений | Аннотация PDF (Rus) похожие документы |
| Агалар Магомед-Закиевич Агаларов, Александр Алексеевич Потапов, Александр Эдуардович Рассадин, Антон Викторович Степанов | ||
| Том 27, № 1 (2020) | Определение расстояний между изображениями методом потоков де Рама | Аннотация похожие документы |
| Сергей Николаевич Чуканов | ||
| "... геометрическом методе потоков де Рама и предварительном аффинном преобразовании исходной формы изображения. При ..." | ||
| Том 31, № 4 (2024) | Методы определения тональности по отношению к аспектам социально-экономического развития в предложениях на русском языке | Аннотация PDF (Rus) похожие документы |
| Анатолий Юрьевич Полетаев, Илья Вячеславович Парамонов, Елена Игоревна Бойчук | ||
| Том 28, № 2 (2021) | Трансформация функционально-потоковых параллельных программ в императивные | Аннотация PDF (Rus) похожие документы |
| Владимир Сергеевич Васильев, Александр Иванович Легалов, Сергей Викторович Зыков | ||
| "... осуществляется с использованием языков, поддерживающих императивный стиль и ориентированных на статическую ..." | ||
| Том 16, № 4 (2009) | Новые алгоритмы лексической оптимизации запросов | Аннотация PDF (Rus) похожие документы |
| С. Д. Кузнецов, Н. А. Мендкович | ||
| "... , основанную на математических преобразованиях, которые ранее не использовались для задач, связанных с преоб ..." | ||
| Том 14, № 1 (2007) | Принципы построения семантической сервис-ориентированной архитектуры | Аннотация PDF (Rus) похожие документы |
| Д. Ю. Кашалкин, В. А. Курчидис | ||
| "... архитектурного стиля и предоставляет семантические сред¬ства взаимодействия распределенных компонентов ..." | ||
| Том 15, № 1 (2008) | Библиотека параллельного исполнения rpC-программ для Win32 | Аннотация PDF (Rus) похожие документы |
| В. В. Васильчиков, А. В. Шубин | ||
| "... -) стиля программирования, объединенных в рамках интегрированной среды РП-программирования RpmShell. ..." | ||
| Том 20, № 4 (2013) | Автоматизация формирования табличных приложений | Аннотация PDF (Rus) похожие документы |
| Сергей Владимирович Зыкин | ||
| "... представления данных и также необходима для прямого и обратного преобразования данных. На основе свойства ..." | ||
| Том 19, № 4 (2012) | Оптимизация расчёта инвариантов сети Петри в рамках задачи формирования сценариев интеграционного тестирования | Аннотация PDF (Rus) похожие документы |
| Михаил Георгиевич Доррер, Виталий Валерьевич Курохтин | ||
| "... . Метод основан на преобразовании исходной модели в сеть Петри, расчёте инвариантов и дальнейшем обратном ..." | ||
| Том 21, № 1 (2014) | Классические и неклассические симметрии нелинейного дифференциального уравнения для описания волн в жидкости с пузырьками газа | Аннотация PDF (Rus) похожие документы |
| Николай Алексеевич Кудряшов, Дмитрий Игоревич Синельщиков | ||
| "... относительно преобразований сдвига по пространственной и временной координатам. При дополнительном ограничении ..." | ||
| Том 20, № 6 (2013) | Комплексы подслов и ниль-движения Гекке | Аннотация PDF (Rus) похожие документы |
| Михаил Александрович Горский | ||
| "... (Q, ρ), где Q – слово в алфавите простых отражений, ρ – элемент группы. Мы описываем преобразования ..." | ||
| Том 22, № 6 (2015) | Формальная диагонализация схем Лакса–Дарбу | Аннотация PDF (Rus) похожие документы |
| А. В. Михайлов | ||
| "... , ассоциированных с нелинейным уравнением Шрёдингера. Мы изучаем связи, возникшие благодаря преобразованиям Дарбу ..." | ||
| Том 16, № 4 (2009) | Хаотическая синхронизация каскадно-связанных систем фазовой автоподстройки частоты | Аннотация PDF (Rus) похожие документы |
| А. В. Ходунин, Л. Н. Казаков | ||
| "... методика регистрации хаотической фазовой синхронизации на основе непрерывного вейвлет-преобразования ..." | ||
| Том 22, № 4 (2015) | Автоматизация формальной верификации программ на языке Пифагор | Аннотация PDF (Rus) похожие документы |
| М. С. Ушакова, А. И. Легалов | ||
| "... соответственно. Основные преобразования, применимые к информационному графу программы: разметка дуг ..." | ||
| Том 22, № 5 (2015) | Изоморфизм компактификаций модулей векторных расслоений: неприведенные схемы модулей | Аннотация PDF (Rus) похожие документы |
| Н. В. Тимофеева | ||
| "... семейства, содержащие S-пары. Построено естественное преобразование функтора модулей допустимых ..." | ||
| Том 22, № 6 (2015) | Особенности применения модельно-ориентированного подхода при разработке промышленных приложений | Аннотация PDF (Rus) похожие документы |
| П. Д. Дробинцев, В. П. Котляров, Н. В. Воинов, И. В. Никифоров | ||
| "... управления, так и по потоку данных. Представлены шаги по преобразованию абстрактных структур данных (в том ..." | ||
| Том 25, № 4 (2018) | Верификация программ со взаимной рекурсией на языке Пифагор | Аннотация PDF (Rus) похожие документы |
| Мария Сергеевна Ушакова, Александр Иванович Легалов | ||
| "... корректности программы опирается на удаление взаимных рекурсий посредством преобразования программы ..." | ||
| Том 28, № 4 (2021) | Замечания о последних достижениях в доказательстве устойчивости с использованием KeYmaeraX | Аннотация PDF (Rus) похожие документы |
| Томас Баар, Хорст Шульте | ||
| "... KeYmaeraX -- это доказательство теорем в стиле Хоара для гибридных систем. Гибридную систему можно ..." | ||
| Том 28, № 4 (2021) | Решение задач линейного программирования приведением к виду с очевидным ответом | Аннотация PDF (Rus) похожие документы |
| Глеб Дмитриевич Степанов | ||
| "... алгебраических соображений. Он заключается в преобразовании всей ЗЛП, включая целевую функцию, в эквивалентную ..." | ||
| Том 19, № 6 (2012) | Наследcтвенные свойства модульных сетей | Аннотация PDF (Rus) похожие документы |
| Владимир Анатольевич Башкин | ||
| "... , подвергнутых достаточно простому и не нарушающему их поведение преобразованию интерфейсов модулей — процедуре Р ..." | ||
| Том 18, № 4 (2011) | Верификация Си-программ: объяснение условий корректности и стандартная библиотека | Аннотация PDF (Rus) похожие документы |
| Алексей Владимирович Промский | ||
| "... метки могут быть извлечены из термов и преобразованы в пояснения на естественном языке. Пояснения ..." | ||
| Том 23, № 6 (2016) | Реконфигурирование компонентно-ориентированных систем на базе графовых грамматик | Аннотация PDF (Rus) похожие документы |
| О. Б. Кушнаренко, Ж.-Ф. Вебер | ||
| "... преобразования графов. После обогащения модели интерпретированными конфигурациями и реконфигурированиями ..." | ||
| Том 31, № 4 (2024) | Устранение неоднозначностей в расширенных регулярных выражениях с обратными ссылками посредством применения правил переписывания | Аннотация похожие документы |
| Дарья Наильевна Исмагилова, Антонина Николаевна Непейвода | ||
| "... в ряде случае время сопоставления с преобразованным регулярным выражением было значительно меньше ..." | ||
| Том 25, № 4 (2018) | Оптимизация инварианта цикла в языке Пифагор | Аннотация PDF (Rus) похожие документы |
| Владимир Сергеевич Васильев, Александр Иванович Легалов | ||
| "... В работе рассматриваются методы преобразования программ, эквивалентные оптимизации инварианта ..." | ||
| Том 30, № 2 (2023) | Рекурсивно-параллельный алгоритм поиска максимального общего подграфа | Аннотация PDF (Rus) похожие документы |
| Владимир Васильевич Васильчиков | ||
| "... -параллельный стиль программирования и обеспечивает эффективное распределение работы и динамическую балансировку ..." | ||
| Том 26, № 3 (2019) | Автоматизированный поиск средств ритмизации художественного текста для сравнительного анализа оригинала и перевода на материале английского и русского языков | Аннотация PDF (Rus) похожие документы |
| Надежда Станиславовна Лагутина, Ксения Владимировна Лагутина, Елена Игоревна Бойчук, Инна Алексеевна Воронцова, Илья Вячеславович Парамонов | ||
| "... стиля автора художественного произведения переводчиком, обнаружить и объяснить случаи несовпадения ..." | ||
| Том 27, № 1 (2020) | Параллельный алгоритм решения задачи об изоморфизме графов | Аннотация PDF (Rus) похожие документы |
| Владимир Васильевич Васильчиков | ||
| "... -параллельный стиль программирования и обеспечивает эффективное распределение работы и динамическую балансировку ..." | ||
| Том 28, № 3 (2021) | Анализ влияния стилометрических характеристик разного уровня на верификацию авторов художественных произведений | Аннотация PDF (Rus) похожие документы |
| Алла Михайловна Манахова, Надежда Станиславовна Лагутина | ||
| "... -тегов открывает перспективу более детального анализа стиля того или иного автора. Результаты ..." | ||
| Том 30, № 4 (2023) | LTL-спецификация для разработки и верификации управляющих программ | Аннотация PDF (Rus) похожие документы |
| Максим Вячеславович Нейзов, Егор Владимирович Кузьмин | ||
| "... . Предлагается описывать поведение управляющих программ в декларативном стиле. Для этого предназначена ..." | ||
| Том 29, № 1 (2022) | Рекурсивно-параллельный алгоритм решения задачи об изоморфизме граф-подграф | Аннотация PDF (Rus) похожие документы |
| Владимир Васильевич Васильчиков | ||
| "... -параллельный стиль программирования и обеспечивает эффективное распределение работы и динамическую балансировку ..." | ||
| Том 23, № 2 (2016) | Об эффективности минимизирующего подхода к оптимизации запросов | Аннотация PDF (Rus) похожие документы |
| Н. А. Мендкович | ||
| "... преобразованиях, определяющих и удаляющих избыточные условия из ограничения запроса, чтобы упростить его. Она ..." | ||
| Том 24, № 1 (2017) | Об асимптотике решений гармонического осциллятора с интегральным возмущением | Аннотация PDF (Rus) похожие документы |
| Павел Николаевич Нестеров | ||
| "... специальных преобразований система обыкновенных дифференциальных уравнений приводится к так называемому L ..." | ||
| Том 25, № 5 (2018) | Этюд об устранении рекурсии | Аннотация похожие документы |
| Николай Вячеславович Шилов | ||
| "... зрения: как пример преобразования нисходящего динамического программирования к восходящему (с ..." | ||
| Том 30, № 4 (2023) | Быстрое вычисление циклических сверток и их приложения в кодовых схемах асимметричного шифрования | Аннотация похожие документы |
| Андрей Николаевич Сушко, Борис Яковлевич Штейнберг, Кирилл Владимирович Веденев, Антон Анатольевич Глухих, Юрий Владимирович Косолапов | ||
| "... специализированными преобразованиями цикла. Эти быстрые алгоритмы имеют потенциальное применение не только в ..." | ||
| Том 27, № 4 (2020) | О задаче верификации моделей программ для одного расширения логики CTL* | Аннотация PDF (Rus) похожие документы |
| Антон Романович Гнатенко, Владимир Анатольевич Захаров | ||
| "... потоками данных и осуществляют преобразование входных потоков данных в выходные потоки. К числу таких ..." | ||
| Том 26, № 3 (2019) | Формальная верификация диаграмм троичных цифровых сигналов | Аннотация PDF (Rus) похожие документы |
| Нина Юрьевна Куцак, Владислав Васильевич Подымов | ||
| "... задачам преобразования и анализа сигналов; соответствующий алгоритм верификации диаграмм с обоснованием ..." | ||
| Том 22, № 4 (2015) | Алгоритмы для мажоритарного декодирования групповых кодов | Аннотация PDF (Rus) похожие документы |
| В. М. Деундяк, Ю. В. Косолапов | ||
| "... индуцированных ими групповых кодах на неабелевой группе аффинных преобразований. В частности, для кода Рида ..." | ||
| Том 23, № 5 (2016) | Асимптотическое интегрирование одного линейного дифференциального уравнения второго порядка с запаздыванием | Аннотация PDF (Rus) похожие документы |
| П. Н. Нестеров | ||
| "... диагонализировать переменные матрицы. В результате подобных преобразований система на критическом многообразии ..." | ||
| Том 23, № 6 (2016) | Построение каскадной параллельной композиции временных автоматов с использованием BALM-II | Аннотация PDF (Rus) похожие документы |
| М. Л. Громов, Н. В. Шабалдина | ||
| "... преобразования от полуавтомата композиции к временному автомату, отмечая некоторые нюансы, связанные с ..." | ||
| Том 25, № 5 (2018) | О выразительных возможностях некоторых расширений линейной темпоральной логики | Аннотация PDF (Rus) похожие документы |
| Антон Романович Гнатенко, Владимир Анатольевич Захаров | ||
| "... Конечные автоматы, задающие преобразования потоков входных сигналов в последовательности ..." | ||
| Том 27, № 4 (2020) | О моделировании последовательных реагирующих систем при помощи автоматов, работающих в реальном времени | Аннотация PDF (Rus) похожие документы |
| Евгений Максимович Винарский, Владимир Анатольевич Захаров | ||
| "... модель менее адекватной для многих приложений, но зато облегчает решение задач анализа и преобразования ..." | ||
| Том 28, № 3 (2021) | Векторизация текстов на основе word-embedding моделей с использованием кластеризации | Аннотация PDF (Rus) похожие документы |
| Виталий Иванович Юферев, Николай Алексеевич Разин | ||
| "... тем, что при использовании word-embedding моделей происходит потеря информации при преобразовании ..." | ||
| Том 30, № 4 (2023) | Совместное упрощение пространственных объектов различного типа с сохранением топологических отношений | Аннотация PDF (Rus) похожие документы |
| Ольга Павловна Якимова, Дмитрий Михайлович Мурин, Владислав Геннадьевич Горшков | ||
| "... масштабом отображаемой карты. Различные преобразования карт могут изменить отношения между объектами, тем ..." | ||
| Том 29, № 3 (2022) | Трансформация модели памяти языка программирования C в объектно-ориентированное представление на языке EO | Аннотация PDF (Rus) похожие документы |
| Александр Иванович Легалов, Егор Георгиевич Бугаенко, Николай Константинович Чуйкин, Максим Владимирович Шипицин, Ярослав Иванович Рябцев, Андрей Николаевич Каменский | ||
| "... возможных преобразованиях в более надежный код. ..." | ||
| Том 31, № 2 (2024) | Подавление аддитивных периодических низкочастотных помех на вихретоковых дефектограммах | Аннотация PDF (Rus) похожие документы |
| Леонид Юрьевич Быстров, Артемий Николаевич Гладков, Егор Владимирович Кузьмин | ||
| "... низкочастотных гармоник дискретного преобразования Фурье исходных сигналов. Очищенные от помех сигналы получаются ..." | ||
| Том 25, № 3 (2018) | О гипотезах Ходжа, Тэйта и Мамфорда–Тэйта для расслоенных произведений семейств регулярных поверхностей с геометрическим родом 1 | Аннотация PDF (Rus) похожие документы |
| Ольга Владимировна Орешкина (Никольская) | ||
| "... _i) и преобразования Пикара--Лефшеца ( gamma in GL(H^2 (X_{is}, Q)) ), ассоциированного с гладкой ..." | ||
| 1 - 68 из 68 результатов | ||
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
