Сортировать по:
| Выпуск | Название | |
| Том 30, № 2 (2023) | Об упрощении выражений со смешанной битовой и целочисленной арифметикой | Аннотация PDF (Rus) похожие документы |
| Юрий Владимирович Косолапов | ||
| "... Mixed Boolean-Arithmetic expressions (MBA-expressions) with $t$ integer $n$-bit variables are often ..." | ||
| Том 31, № 4 (2024) | Устранение неоднозначностей в расширенных регулярных выражениях с обратными ссылками посредством применения правил переписывания | Аннотация похожие документы |
| Дарья Наильевна Исмагилова, Антонина Николаевна Непейвода | ||
| "... In this paper we focus on regular expressions with acyclic backreferences and treat them ..." | ||
| Том 30, № 1 (2023) | О вычислительных конструкциях в функциональных пространствах | Аннотация PDF (Rus) похожие документы |
| Анатолий Николаевич Морозов | ||
| "... $ on a set, a discrete "global" construction of a difference expression is used: based on the quotient ${bf ..." | ||
| Том 29, № 1 (2022) | Инструменты численного моделирования и S-производные | Аннотация PDF (Rus) похожие документы |
| Анатолий Николаевич Морозов | ||
| Том 27, № 1 (2020) | Вычисление производных в пространствах Lp, 1 ≤ p ≤ ∞ | Аннотация PDF (Rus) похожие документы |
| Анатолий Николаевич Морозов | ||
| "... -difference expressions are constructed for calculating generalized local derivatives of natural order ..." | ||
| Том 30, № 4 (2023) | Совместное упрощение пространственных объектов различного типа с сохранением топологических отношений | Аннотация PDF (Rus) похожие документы |
| Ольга Павловна Якимова, Дмитрий Михайлович Мурин, Владислав Геннадьевич Горшков | ||
| "... упрощение (обобщение) с сохранением основных типичных черт и характерных особенностей, а также взаимосвязей ..." | ||
| Том 29, № 3 (2022) | Исследование моделей топологических отношений пространственных объектов | Аннотация PDF (Rus) похожие документы |
| Владислав Геннадьевич Горшков, Дмитрий Михайлович Мурин, Ольга Павловна Якимова | ||
| "... объектов. В то же время общепринятой является практика упрощения каждого типа картографических объектов ..." | ||
| Том 25, № 5 (2018) | Упрощение процесса верификации кибер-физических систем с использованием подхода с графом потока управления в средстве KeYmae | Аннотация похожие документы |
| Томас Баар, Сергей Михайлович Старолетов | ||
| Том 18, № 3 (2011) | Оптимизация конъюнктов условий в составе запросов | Аннотация PDF (Rus) похожие документы |
| Сергей Дмитриевич Кузнецов, Никита Андреевич Мендкович | ||
| "... " expressions. ..." | ||
| Том 27, № 2 (2020) | Метод совместной кластеризации в графовом и корреляционном пространствах | Аннотация PDF (Rus) похожие документы |
| Анастасия Наильевна Гайнуллина, Анатолий Абрамович Шалыто, Алексей Александрович Сергушичев | ||
| Том 15, № 1 (2008) | Интегральные близкие к эйлеровой характеристики полутоновых цифровых изображений | Аннотация PDF (Rus) похожие документы |
| П. Г. Парфенов, И. А. Каплий | ||
| "... of integral expression. Deduced theorem allows to calculate this characteristic by summation of some function ..." | ||
| Том 30, № 4 (2023) | Алгоритм определения тональности предложений публицистического стиля на русском языке на основе семантических правил | Аннотация PDF (Rus) похожие документы |
| Анатолий Юрьевич Полетаев, Илья Вячеславович Парамонов, Елена Игоревна Бойчук | ||
| "... as the author’s attitude on the sentence topic expressed through linguistic expression features. Today most ..." | ||
| Том 21, № 4 (2014) | Транслятор с возможностью статического анализа безопасности информационных потоков для простого языка программирования | Аннотация PDF (Rus) похожие документы |
| Екатерина Юрьевна Антошина, Александра Николаевна Баракова, Евгений Сергеевич Никитин, Дмитрий Юрьевич Чалый | ||
| "... for expressions, operators and compositions of operators. We use these rules to propose an algorithm of security ..." | ||
| Том 20, № 2 (2013) | Алгоритм оценки параметров авторегрессионной модели элементарных речевых единиц | Аннотация PDF (Rus) похожие документы |
| Иван Вадимович Губочкин | ||
| "... . For this purpose the analytical expressions of the gradient and the Hessian of Kullback–Leibler information ..." | ||
| Том 20, № 2 (2013) | О поворотах цифровых изображений | Аннотация PDF (Rus) похожие документы |
| Павел Геннадьевич Парфенов | ||
| "... and were offered analytical expressions, which allow to avoid experimental detection of the characteristic ..." | ||
| Том 19, № 1 (2012) | Смещение оценки энтропии для симметричных мер Бернулли и слабой метрики | Аннотация PDF (Rus) похожие документы |
| Нина Евгеньевна Тимофеева | ||
| "... We consider symmetric Bernoulli measures and new weak metrics and obtain a closed-form expression ..." | ||
| Том 16, № 3 (2009) | Асимптотика дисперсии оценки энтропии для симметричных мер Бернулли | Аннотация PDF (Rus) похожие документы |
| Е. А. Тимофеев | ||
| "... We consider Bernoulli measures with equally probable symbols and obtain a closed-form expression ..." | ||
| Том 16, № 4 (2009) | Асимптотика смещения оценки энтропии для мер Бернулли | Аннотация PDF (Rus) похожие документы |
| Е. А. Тимофеев | ||
| "... We consider Bernoulli measures and obtain a closed-form expression of the entropy estimator bias. ..." | ||
| Том 23, № 3 (2016) | Аналитические решения нелинейного уравнения конвекции–диффузии с нелинейными источниками | Аннотация PDF (Rus) похожие документы |
| Н. А. Кудряшов, Д. И. Синельщиков | ||
| "... for the integrability of the Lienard equation which have recently been obtained. We find explicit expressions in terms ..." | ||
| Том 18, № 4 (2011) | Простой алгоритм решения задачи покрытия для монотонных счетчиковых систем | Аннотация PDF (Rus) похожие документы |
| Андрей Валентинович Климов | ||
| "... задачи хорошо известна, но данный алгоритм интересен своей простотой. Он возник из упрощения некоторой ..." | ||
| Том 18, № 1 (2011) | Пространственно-неоднородные периодические решения уравнения Хатчинсона с распределенным насыщением | Аннотация PDF (Rus) похожие документы |
| Д. С. Глызин, С. А. Кащенко, А. С. Полстьянов | ||
| "... несимметричного насыщения. Численный анализ упрощенной модели демонстрирует мультистабильность - сосуществование ..." | ||
| Том 25, № 4 (2018) | Верификация программ со взаимной рекурсией на языке Пифагор | Аннотация PDF (Rus) похожие документы |
| Мария Сергеевна Ушакова, Александр Иванович Легалов | ||
| "... correctness proof is given for the program that parses a simple arithmetic expression. We construct the graph ..." | ||
| Том 25, № 5 (2018) | Полипрограммы и бисимуляция полипрограмм | Аннотация похожие документы |
| Сергей Александрович Гречаник | ||
| "... between functions and expressions is blurred, and so is the difference between substitution and unfolding ..." | ||
| Том 20, № 6 (2013) | Автоматическая верификация C-программ на основе смешанной аксиоматической семантики | Аннотация PDF (Rus) похожие документы |
| Илья Владимирович Марьясов, Валерий Александрович Непомнящий, Алексей Владимирович Промский, Дмитрий Александрович Кондратьев | ||
| "... упрощенными и общими правилами вывода условий корректности (УК) в зависимости от программных объектов и их ..." | ||
| Том 28, № 1 (2021) | О характеристиках символьного исполнения в задаче оценки качества обфусцирующих преобразований | Аннотация PDF (Rus) похожие документы |
| Петр Дмитриевич Борисов, Юрий Владимирович Косолапов | ||
| "... : расширенная и упрощенная. Расширенная схема приближена к процессу анализа программы аналитиком, так как ..." | ||
| Том 27, № 4 (2020) | О моделировании последовательных реагирующих систем при помощи автоматов, работающих в реальном времени | Аннотация PDF (Rus) похожие документы |
| Евгений Максимович Винарский, Владимир Анатольевич Захаров | ||
| "... в большинстве работ, посвященных изучению этой модели вычислений, используется упрощенная семантика ..." | ||
| Том 21, № 6 (2014) | Использование случайной выборки моделей для решения задачи интерполяции Крейга в рамках ограниченной проверки моделей | Аннотация PDF (Rus) похожие документы |
| Марат Халимович Ахин, Семен Леонидович Колтон, Владимир Михайлович Ицыксон | ||
| "... алгоритмы аппроксимации функций, которые заменяют полное тело функции на ее упрощенное описание, тем самым ..." | ||
| Том 20, № 3 (2013) | Параметрический резонанс в гармоническом осцилляторе с переменной частотой собственных колебаний | Аннотация PDF (Rus) похожие документы |
| Павел Николаевич Нестеров | ||
| "... усреднения для упрощения исходной системы. Затем для получения асимптотических формул применяется ..." | ||
| Том 20, № 2 (2013) | Построение универсального линеаризованного графа потока управления для использования в статическом анализе кода алгоритмов | Аннотация PDF (Rus) похожие документы |
| Вильгельм Александрович Битнер, Никита Владимирович Заборовский | ||
| "... сокращению количества инструкций условного и безусловного перехода в коде, так и к удалению или упрощению ..." | ||
| Том 22, № 6 (2015) | Эффективное исполнение программного кода в контролируемом окружении как способ улучшения результатов статического анализа и верификации программ | Аннотация PDF (Rus) похожие документы |
| М. А. Беляев, В. М. Ицыксон | ||
| "... различные методики упрощения программной модели, приводящие к значительному снижению точности анализа. В ..." | ||
| Том 23, № 2 (2016) | Об эффективности минимизирующего подхода к оптимизации запросов | Аннотация PDF (Rus) похожие документы |
| Н. А. Мендкович | ||
| "... минимизирующего подхода, основанного на упрощении ограничения. Мы также рассматриваем экспериментальные результаты ..." | ||
| Том 22, № 2 (2015) | Эффективность доступа к данным в СУБД DIM | Аннотация PDF (Rus) похожие документы |
| Дмитрий Владимирович Антонов, В. С. Рублев | ||
| "... . Рассматривается разработка ПО «Генератор ODQL-запросов», который нужен для упрощения построения запросов к СУБД ..." | ||
| Том 23, № 5 (2016) | Эквивалентность обычной и модифицированной сети обобщенных нейронных элементов | Аннотация PDF (Rus) похожие документы |
| Е. В. Коновалов | ||
| "... способа взаимодействия таких элементов между собой. Описание нейросетевой математической модели упрощено и ..." | ||
| Том 24, № 3 (2017) | Решение вида движущегося фронта двумерной задачи реакция-диффузия | Аннотация PDF (Rus) похожие документы |
| Евгений Александрович Антипов, Владимир Тарасович Волков, Наталия Тимуровна Левашова, Николай Николаевич Нефедов | ||
| "... был модифицирован, что привело к упрощению алгоритма определения уравнения движения кривой. ..." | ||
| Том 30, № 3 (2023) | Алгоритмы для задач об эйлеровом цикле и эйлеровой цепи в кратном графе | Аннотация PDF (Rus) похожие документы |
| Александр Валерьевич Смирнов | ||
| "... маршрутов. Кратному графу сопоставляется обычный граф с квазивершинами, в упрощенном виде представляющий ..." | ||
| Том 31, № 3 (2024) | LTL-спецификация для разработки и верификации программ логического управления в системах с обратной связью | Аннотация PDF (Rus) похожие документы |
| Максим Вячеславович Нейзов, Егор Владимирович Кузьмин | ||
| "... модель поведения замкнутой системы «программа-окружение» даёт ряд преимуществ: упрощение процесса ..." | ||
| Том 24, № 3 (2017) | Решения уравнений нестационарного фронта реакции с вырожденными точками равновесия | Аннотация PDF (Rus) похожие документы |
| Алексей Александрович Быков, Кристина Евгениевна Ермакова | ||
| "... for the differentialdifference equation (differentiation with respect to t variable, the difference expression ..." | ||
| Том 23, № 3 (2016) | Численное решение начально-краевой задачи для псевдопараболического уравнения с внутренним переходным слоем | Аннотация PDF (Rus) похожие документы |
| А. А. Быков | ||
| "... (ITL) is found, and an expression for drift speed of the ITL is derived. An adaptive mesh (AM ..." | ||
| Том 21, № 6 (2014) | Инструментальная поддержка встроенных языков в интегрированных средах разработки | Аннотация PDF (Rus) похожие документы |
| Семен Вячеславович Григорьев, Екатерина Андреевна Вербицкая, Марина Игоревна Полубелова, Андрей Васильевич Иванов, Екатерина Валерьевна Мавчун | ||
| "... языках. Из строковых выражений основного языка динамически формируются программы на отличном от него ..." | ||
| Том 21, № 6 (2014) | Верификация алгоритмов мультиагентного анализа данных с помощью системы проверки моделей SPIN | Аннотация PDF (Rus) похожие документы |
| Наталья Олеговна Гаранина, Евгений Викторович Бодин, Елена Анатольевна Сидорова | ||
| "... системы анализа данных выражены в логике LTL. Мы провели ряд экспериментов по проверке данной модели. ..." | ||
| Том 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-спецификации ..." | ||
| Том 29, № 2 (2022) | Нейросетевая классификация русскоязычных предложений по тональности на четыре класса | Аннотация PDF (Rus) похожие документы |
| Максим Алексеевич Костерин, Илья Вячеславович Парамонов | ||
| "... выраженной эмоциональной окраской. Анализ ошибок показал, что на «смежные» классы тональности (положительный ..." | ||
| Том 29, № 2 (2022) | Рекурсивный алгоритм определения тональности предложений на русском языке | Аннотация PDF (Rus) похожие документы |
| Анатолий Юрьевич Полетаев, Илья Вячеславович Парамонов | ||
| "... работе алгоритм имеет преимущество в случае более сложных предложений с более тонкими способами выражения ..." | ||
| Том 31, № 1 (2024) | Верификация моделей программ на процесс-ориентированном расширении языка Structured Text стандарта IEC 61131-3 | Аннотация PDF (Rus) похожие документы |
| Наталья Олеговна Гаранина, Сергей Михайлович Старолетов, Владимир Евгеньевич Зюбин, Игорь Сергеевич Ануреев | ||
| "... системы верификации моделей SPIN на соответствие требованиям к исходной программе poST, выраженных в ..." | ||
| Том 31, № 2 (2024) | Подавление аддитивных периодических низкочастотных помех на вихретоковых дефектограммах | Аннотация PDF (Rus) похожие документы |
| Леонид Юрьевич Быстров, Артемий Николаевич Гладков, Егор Владимирович Кузьмин | ||
| "... сигналы электромагнитными помехами, обладающими выраженной низкочастотностью и периодичностью. Указанные ..." | ||
| Том 32, № 2 (2025) | Обнаружение прямоугольных импульсных помех на вихретоковых дефектограммах рельсов | Аннотация PDF (Rus) похожие документы |
| Леонид Юрьевич Быстров, Артемий Николаевич Гладков, Егор Владимирович Кузьмин | ||
| "... продолжительные импульсные помехи. Они характеризуются выраженной прямоугольной формой. В отличие от мгновенных ..." | ||
| 1 - 52 из 52 результатов | ||
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
