Сортировать по:
| Выпуск | Название | |
| Том 31, № 4 (2024) | Устранение неоднозначностей в расширенных регулярных выражениях с обратными ссылками посредством применения правил переписывания | Аннотация похожие документы |
| Дарья Наильевна Исмагилова, Антонина Николаевна Непейвода | ||
| "... that the class of regexes with acyclic backreferences is closed under language reversal, in contrast ..." | ||
| Том 30, № 2 (2023) | Об упрощении выражений со смешанной битовой и целочисленной арифметикой | Аннотация PDF (Rus) похожие документы |
| Юрий Владимирович Косолапов | ||
| "... Выражения со смешанной булевой и целочисленной арифметикой (далее — MBA-выражения, от англ. Mixed ..." | ||
| Том 24, № 5 (2017) | О локально выпуклых кривых | Аннотация PDF (Rus) похожие документы |
| Владимир Степанович Климов | ||
| Том 27, № 4 (2020) | О задаче верификации моделей программ для одного расширения логики CTL* | Аннотация PDF (Rus) похожие документы |
| Антон Романович Гнатенко, Владимир Анатольевич Захаров | ||
| "... разрешалось использовать только регулярные языки. Мы обнаружили, что такая параметризация увеличивает ..." | ||
| Том 28, № 1 (2021) | Алгоритмы поиска с возвратом для построения гамильтонова разложения 4-регулярного мультиграфа | Аннотация PDF (Rus) похожие документы |
| Александр Васильевич Коростиль, Андрей Валерьевич Николаев | ||
| "... Рассматривается задача построения гамильтонова разложения регулярного мультиграфа на гамильтоновы ..." | ||
| Том 23, № 4 (2016) | Об алгебраических циклах на расслоенных произведениях неизотривиальных семейств регулярных поверхностей с геометрическим родом | Аннотация PDF (Rus) похожие документы |
| О. В. Никольская | ||
| Том 28, № 4 (2021) | О верификации моделей и проверке выполнимости формул одного параметрического расширения темпоральной логики линейного времени | Аннотация PDF (Rus) похожие документы |
| Антон Романович Гнатенко, Владимир Анатольевич Захаров | ||
| "... логик $LTL$, $CTL$ и $CTL^*$ за счет использования регулярных языков в качестве параметров темпоральных ..." | ||
| Том 25, № 3 (2018) | О гипотезах Ходжа, Тэйта и Мамфорда–Тэйта для расслоенных произведений семейств регулярных поверхностей с геометрическим родом 1 | Аннотация PDF (Rus) похожие документы |
| Ольга Владимировна Орешкина (Никольская) | ||
| "... неизотривиальных 1-параметрических семейств регулярных поверхностей с геометрическим родом 1 при некоторых условиях ..." | ||
| Том 30, № 1 (2023) | О вычислительных конструкциях в функциональных пространствах | Аннотация PDF (Rus) похожие документы |
| Анатолий Николаевич Морозов | ||
| "... множестве применяется дискретная «глобальная» конструкция разностного выражения: на основе частного ${bf ..." | ||
| Том 27, № 1 (2020) | Вычисление производных в пространствах Lp, 1 ≤ p ≤ ∞ | Аннотация PDF (Rus) похожие документы |
| Анатолий Николаевич Морозов | ||
| "... эквивалентной функции в (C^k[I])). В настоящей статье построены интегрально-разностные выражения для ..." | ||
| Том 29, № 1 (2022) | Инструменты численного моделирования и S-производные | Аннотация PDF (Rus) похожие документы |
| Анатолий Николаевич Морозов | ||
| Том 23, № 6 (2016) | Подход к верификации семейства мультиагентных систем разрешения конфликтов | Аннотация PDF (Rus) похожие документы |
| Н. О. Гаранина, Е. А. Сидорова | ||
| "... for conflict resolution, in particular, for context-dependent disambiguation in ontology population. We also ..." | ||
| Том 31, № 2 (2024) | Подавление аддитивных периодических низкочастотных помех на вихретоковых дефектограммах | Аннотация PDF (Rus) похожие документы |
| Леонид Юрьевич Быстров, Артемий Николаевич Гладков, Егор Владимирович Кузьмин | ||
| "... Безопасность движения на железнодорожном транспорте требует регулярной проверки состояния рельсов ..." | ||
| Том 17, № 2 (2010) | О языках автоматных счетчиковых машин | Аннотация PDF (Rus) похожие документы |
| Е. В. Кузьмин, Д. Ю. Чалый | ||
| "... . Показывается, что этот класс замкнут относительно операций объединения, регулярного пересечения, конкатенации ..." | ||
| Том 23, № 3 (2016) | Интерполяционные формулы для функций с большими градиен- тами в пограничном слое и их применение | Аннотация похожие документы |
| А. И. Задорин | ||
| "... представима в виде суммы регулярной и погранслойной составляющих. Предполагается, что производные регулярной ..." | ||
| Том 23, № 3 (2016) | Сходимость сеточного решения задачи Дирихле с разрывной про- изводной граничной функции для сингулярно возмущенного уравнения конвекции- диффузии | Аннотация похожие документы |
| Т. Я. Ершова | ||
| "... этих условиях решение задачи имеет регулярный пограничный слой в окрестности правой границы, два ..." | ||
| Том 23, № 5 (2016) | Об отсутствии и разрушении решений в некоторых сингулярно возмущённых задачах со сменой устойчивости | Аннотация PDF (Rus) похожие документы |
| М. А. Терентьев | ||
| "... по мере уменьшения параметра возмущения. При этом в ряде задач регулярная компонента возмущения ..." | ||
| Том 23, № 5 (2016) | Метод конечных разностей во временной области для кусочно-однородных диэлектрических сред | Аннотация PDF (Rus) похожие документы |
| Ж. О. Домбровская | ||
| "... этой задачи (регулярную область, пограничный слой и переходную зону между ними). Обсуждаются ..." | ||
| Том 21, № 1 (2014) | Классические и неклассические симметрии нелинейного дифференциального уравнения для описания волн в жидкости с пузырьками газа | Аннотация PDF (Rus) похожие документы |
| Николай Алексеевич Кудряшов, Дмитрий Игоревич Синельщиков | ||
| "... симметрии рассматриваемого уравнения находятся методом Блюмана и Коула. Изучены регулярный и сингулярный ..." | ||
| Том 22, № 1 (2015) | Асимптотика приближения нулевого порядка решения трехтемповой линейно-квадратичной задачи оптимального управления | Аннотация PDF (Rus) похожие документы |
| Маргарита Александровна Калашникова | ||
| "... данном случае содержит регулярные функции и четыре пограничные функции экспоненциального типа, которые ..." | ||
| Том 25, № 1 (2018) | О переносе ряда понятий статистической радиофизики в теорию одномерных точечных отображений | Аннотация PDF (Rus) похожие документы |
| Агалар Магомед-Закиевич Агаларов, Александр Алексеевич Потапов, Александр Эдуардович Рассадин, Антон Викторович Степанов | ||
| "... В статье обсуждается возможность использования биспектра при исследовании регулярного и ..." | ||
| Том 18, № 3 (2011) | Оптимизация конъюнктов условий в составе запросов | Аннотация PDF (Rus) похожие документы |
| Сергей Дмитриевич Кузнецов, Никита Андреевич Мендкович | ||
| "... , содержащих многоатрибутные условия. Он также решает проблему выражений «Условие AND Конъюнкция условий». ..." | ||
| Том 24, № 5 (2017) | Варианты метода коллокации и наименьших невязок для решения задач математической физики в выпуклых четырехугольных областях | Аннотация PDF (Rus) похожие документы |
| Василий Алексеевич Беляев, Василий Павлович Шапеев | ||
| "... которой совпадают с границами области. Во втором — область сначала накрывается регулярной сеткой с ..." | ||
| Том 31, № 1 (2024) | О применении исчисления позитивно-образованных формул для исследования управляемых дискретно-событийных систем | Аннотация PDF (Rus) похожие документы |
| Артем Васильевич Давыдов, Александр Александрович Ларионов, Надежда Владимировна Нагул | ||
| "... некоторых регулярных языков. Язык ПОФ представляет собой полный язык первого порядка, формулы которого имеют ..." | ||
| Том 24, № 4 (2017) | О пространственной ограниченности клеточных Р-сетей | Аннотация PDF (Rus) похожие документы |
| Владимир Анатольевич Башкин | ||
| "... бесконечной регулярной системной решетки. Этот формализм представляет собой гибрид сетей Петри и асинхронных ..." | ||
| Том 24, № 6 (2017) | Об определении уровня полезных сигналов при расшифровке магнитных и вихретоковых дефектограмм | Аннотация PDF (Rus) похожие документы |
| Егор Владимирович Кузьмин, Олег Евгеньевич Горбунов, Петр Олегович Плотников, Вадим Александрович Тюкин | ||
| "... Для обеспечения безопасности движения на железнодорожном транспорте регулярно проводится ..." | ||
| Том 25, № 4 (2018) | Эффективный алгоритм определения уровня полезных сигналов при расшифровке магнитных и вихретоковых дефектограмм | Аннотация PDF (Rus) похожие документы |
| Егор Владимирович Кузьмин, Олег Евгеньевич Горбунов, Петр Олегович Плотников, Вадим Александрович Тюкин | ||
| "... Для обеспечения безопасности движения на железнодорожном транспорте регулярно проводится ..." | ||
| Том 25, № 6 (2018) | Применение нейронных сетей для распознавания конструктивных элементов рельсов на магнитных и вихретоковых дефектограммах | Аннотация PDF (Rus) похожие документы |
| Егор Владимирович Кузьмин, Олег Евгеньевич Горбунов, Петр Олегович Плотников, Вадим Александрович Тюкин, Владимир Анатольевич Башкин | ||
| "... Для обеспечения безопасности движения на железнодорожном транспорте регулярно проводится ..." | ||
| Том 27, № 3 (2020) | Применение свёрточных нейронных сетей для распознавания длинных конструктивных элементов рельсов на вихретоковых дефектограммах | Аннотация PDF (Rus) похожие документы |
| Егор Владимирович Кузьмин, Олег Евгеньевич Горбунов, Петр Олегович Плотников, Вадим Александрович Тюкин, Владимир Анатольевич Башкин | ||
| "... Для обеспечения безопасности движения на железнодорожном транспорте регулярно проводится ..." | ||
| Том 28, № 1 (2021) | Алгоритм корректировки уровней полезных сигналов при расшифровке вихретоковых дефектограмм | Аннотация PDF (Rus) похожие документы |
| Егор Владимирович Кузьмин, Олег Евгеньевич Горбунов, Петр Олегович Плотников, Вадим Александрович Тюкин, Владимир Анатольевич Башкин | ||
| "... Для обеспечения безопасности движения на железнодорожном транспорте регулярно проводится ..." | ||
| Том 23, № 3 (2016) | Существование и устойчивость периодических решений уравнения реакция-диффузия в двумерном случае | Аннотация похожие документы |
| Н. Н. Нефедов, Е. И. Никулин | ||
| "... разложение состоит из регулярной части, внутреннего слоя и части пограничного слоя. В этой работе мы ..." | ||
| Том 23, № 5 (2016) | Взаимодействие двух волн в модели Ферми – Паста – Улама | Аннотация PDF (Rus) похожие документы |
| С. Д. Глызин, С. А. Кащенко, А. О. Толбей | ||
| "... задаче ФПУ. При рассмотрении так называемых регулярных решений описано влияние волн друг на друга ..." | ||
| Том 25, № 6 (2018) | Особые точки кривых | Аннотация PDF (Rus) похожие документы |
| Артем Дмитриевич Уваров | ||
| "... регулярный итерационный процесс. В зависимости от типа поставленной задачи автор останавливается на двух ..." | ||
| Том 27, № 3 (2020) | Эффективные алгоритмы проверки эквивалентности для некоторых классов автоматов | Аннотация PDF (Rus) похожие документы |
| Владимир Анатольевич Захаров | ||
| "... комбинаторные и алгебраические свойства регулярных префиксных языков. Основные результаты, полученные в этой ..." | ||
| Том 27, № 1 (2020) | Параллельный алгоритм решения задачи об изоморфизме графов | Аннотация PDF (Rus) похожие документы |
| Владимир Васильевич Васильчиков | ||
| "... исходных данных использовались специально сгенерированные случайные регулярные графы с различной степенью ..." | ||
| Том 28, № 2 (2021) | Оценка степени опасности дефектов при расшифровке вихретоковых дефектограмм | Аннотация PDF (Rus) похожие документы |
| Егор Владимирович Кузьмин, Олег Евгеньевич Горбунов, Петр Олегович Плотников, Вадим Александрович Тюкин, Владимир Анатольевич Башкин | ||
| "... Для обеспечения безопасности движения на железнодорожном транспорте регулярно проводится ..." | ||
| Том 15, № 1 (2008) | Интегральные близкие к эйлеровой характеристики полутоновых цифровых изображений | Аннотация PDF (Rus) похожие документы |
| П. Г. Парфенов, И. А. Каплий | ||
| "... С помощью интегрального выражения вводится аналог эйлеровой характеристики для полутоновых ..." | ||
| Том 21, № 6 (2014) | Инструментальная поддержка встроенных языков в интегрированных средах разработки | Аннотация PDF (Rus) похожие документы |
| Семен Вячеславович Григорьев, Екатерина Андреевна Вербицкая, Марина Игоревна Полубелова, Андрей Васильевич Иванов, Екатерина Валерьевна Мавчун | ||
| "... языках. Из строковых выражений основного языка динамически формируются программы на отличном от него ..." | ||
| Том 30, № 4 (2023) | Алгоритм определения тональности предложений публицистического стиля на русском языке на основе семантических правил | Аннотация PDF (Rus) похожие документы |
| Анатолий Юрьевич Полетаев, Илья Вячеславович Парамонов, Елена Игоревна Бойчук | ||
| "... отношение автора предложения к его теме, выраженное с помощью языковых средств. В настоящий момент ..." | ||
| Том 21, № 6 (2014) | Верификация алгоритмов мультиагентного анализа данных с помощью системы проверки моделей SPIN | Аннотация PDF (Rus) похожие документы |
| Наталья Олеговна Гаранина, Евгений Викторович Бодин, Елена Анатольевна Сидорова | ||
| "... системы анализа данных выражены в логике LTL. Мы провели ряд экспериментов по проверке данной модели. ..." | ||
| Том 20, № 2 (2013) | Алгоритм оценки параметров авторегрессионной модели элементарных речевых единиц | Аннотация PDF (Rus) похожие документы |
| Иван Вадимович Губочкин | ||
| "... этого были получены аналитические выражения для градиента и гессиана величины информационного ..." | ||
| Том 21, № 4 (2014) | Транслятор с возможностью статического анализа безопасности информационных потоков для простого языка программирования | Аннотация PDF (Rus) похожие документы |
| Екатерина Юрьевна Антошина, Александра Николаевна Баракова, Евгений Сергеевич Никитин, Дмитрий Юрьевич Чалый | ||
| "... правилам, предложенным в [6], определяются типы конфиденциальности выражений, операторов и композиции ..." | ||
| Том 20, № 2 (2013) | О поворотах цифровых изображений | Аннотация PDF (Rus) похожие документы |
| Павел Геннадьевич Парфенов | ||
| "... аналитические выражения, которые позволяют избежать экспериментального нахождения характеристических наборов ..." | ||
| Том 25, № 2 (2018) | Измерение накладных расходов на параллелизм и виртуальную память | Аннотация похожие документы |
| Евгений Иванович Клименков | ||
| "... производительности, создаваемых параллелизмом, выраженным в форме легковесных потоков пользовательского режима на ..." | ||
| Том 29, № 1 (2022) | LTL-спецификация ограниченных счётчиковых машин | Аннотация PDF (Rus) похожие документы |
| Егор Владимирович Кузьмин | ||
| "... справедливости логических выводов, выраженных в терминах логики LTL. В качестве программных систем, для ..." | ||
| Том 21, № 2 (2014) | Построение IL-программ ПЛК по LTL-спецификации | Аннотация PDF (Rus) похожие документы |
| Дмитрий Александрович Рябухин, Егор Владимирович Кузьмин, Валерий Анатольевич Соколов | ||
| "... ним производится построение ПЛК-программы, которая соответствует темпоральным свойствам, выраженным ..." | ||
| Том 20, № 6 (2013) | Построение и верификация LD-программ ПЛК по LTL-спецификации | Аннотация PDF (Rus) похожие документы |
| Егор Владимирович Кузьмин, Валерий Анатольевич Соколов, Дмитрий Александрович Рябухин | ||
| "... , выраженным этими формулами. Таким образом, программирование ПЛК сводится к построению LTL-спецификации ..." | ||
| Том 20, № 4 (2013) | Построение и верификация ПЛК-программ по LTL-спецификации | Аннотация PDF (Rus) похожие документы |
| Егор Владимирович Кузьмин, Валерий Анатольевич Соколов, Дмитрий Александрович Рябухин | ||
| "... , выраженным этими формулами. Таким образом, программирование ПЛК сводится к построению LTL-спецификации ..." | ||
| Том 28, № 1 (2021) | LTL-спецификация счётчиковых машин | Аннотация PDF (Rus) похожие документы |
| Егор Владимирович Кузьмин | ||
| "... , выраженных в терминах линейной темпоральной логики LTL. В качестве программных систем, для спецификации ..." | ||
| Том 20, № 2 (2013) | Моделирование, спецификация и построение программ логических контроллеров | Аннотация PDF (Rus) похожие документы |
| Егор Владимирович Кузьмин, Валерий Анатольевич Соколов | ||
| "... , выраженным этими формулами. Таким образом, программирование ПЛК сводится к построению LTL-спецификации ..." | ||
| Том 23, № 3 (2016) | Аналитические решения нелинейного уравнения конвекции–диффузии с нелинейными источниками | Аннотация PDF (Rus) похожие документы |
| Н. А. Кудряшов, Д. И. Синельщиков | ||
| "... аналитические решения исследуемого уравнения, выраженные через показательные или эллиптические функции ..." | ||
| Том 25, № 4 (2018) | Верификация программ со взаимной рекурсией на языке Пифагор | Аннотация PDF (Rus) похожие документы |
| Мария Сергеевна Ушакова, Александр Иванович Легалов | ||
| "... , осуществляющей синтаксический разбор простого арифметического выражения. После построения графа всех связанных ..." | ||
| Том 25, № 5 (2018) | Полипрограммы и бисимуляция полипрограмм | Аннотация похожие документы |
| Сергей Александрович Гречаник | ||
| "... форме, в которой стирается грань между функциями и выражениями и между подстановкой и раскрытием вызова ..." | ||
| Том 29, № 2 (2022) | Нейросетевая классификация русскоязычных предложений по тональности на четыре класса | Аннотация PDF (Rus) похожие документы |
| Максим Алексеевич Костерин, Илья Вячеславович Парамонов | ||
| "... выраженной эмоциональной окраской. Анализ ошибок показал, что на «смежные» классы тональности (положительный ..." | ||
| Том 29, № 2 (2022) | Рекурсивный алгоритм определения тональности предложений на русском языке | Аннотация PDF (Rus) похожие документы |
| Анатолий Юрьевич Полетаев, Илья Вячеславович Парамонов | ||
| "... работе алгоритм имеет преимущество в случае более сложных предложений с более тонкими способами выражения ..." | ||
| Том 31, № 1 (2024) | Верификация моделей программ на процесс-ориентированном расширении языка Structured Text стандарта IEC 61131-3 | Аннотация PDF (Rus) похожие документы |
| Наталья Олеговна Гаранина, Сергей Михайлович Старолетов, Владимир Евгеньевич Зюбин, Игорь Сергеевич Ануреев | ||
| "... системы верификации моделей SPIN на соответствие требованиям к исходной программе poST, выраженных в ..." | ||
| Том 32, № 2 (2025) | Обнаружение прямоугольных импульсных помех на вихретоковых дефектограммах рельсов | Аннотация PDF (Rus) похожие документы |
| Леонид Юрьевич Быстров, Артемий Николаевич Гладков, Егор Владимирович Кузьмин | ||
| "... продолжительные импульсные помехи. Они характеризуются выраженной прямоугольной формой. В отличие от мгновенных ..." | ||
| 1 - 57 из 57 результатов | ||
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
