Сортировать по:
| Выпуск | Название | |
| Том 24, № 2 (2017) | Анализ типизированных зависимостей включения с неопределенными значениями | Аннотация PDF (Rus) похожие документы |
| Владимир Сергеевич Зыкин, Сергей Владимирович Зыкин | ||
| "... for typed inclusion dependencies in the presence of Null values: a new axiom system is proposed, its ..." | ||
| Том 30, № 3 (2023) | Обобщенные типизированные зависимости включения с неопределенными значениями в базах данных | Аннотация PDF (Rus) похожие документы |
| Сергей Владимирович Зыкин | ||
| "... on the study of the properties of typed dependencies, a system of axioms is obtained, for which consistency ..." | ||
| Том 31, № 1 (2024) | Минимальное покрытие обобщенных типизированных зависимостей включения в базах данных | Аннотация PDF (Rus) похожие документы |
| Сергей Владимирович Зыкин | ||
| "... of generalized typed inclusion dependencies. Traditionally, the construction of minimal covering is used for all ..." | ||
| Том 29, № 3 (2022) | Тестирование зависимостей и правил вывода в базах данных | Аннотация PDF (Rus) похожие документы |
| Сергей Владимирович Зыкин | ||
| "... The process of testing dependencies and inference rules can be used in two ways. First, testing ..." | ||
| Том 27, № 3 (2020) | Обобщение правил вывода для зависимостей соединения в базах данных | Аннотация PDF (Rus) похожие документы |
| Сергей Владимирович Зыкин | ||
| "... In this paper a generalisation of the inference rules of the join dependencies that are used ..." | ||
| Том 18, № 4 (2011) | Использование зависимостей для повышения точности статического анализа программ | Аннотация PDF (Rus) похожие документы |
| Михаил Игоревич Глухих, Владимир Михайлович Ицыксон, Вадим Александрович Цесько | ||
| "... The development of dependency analysis methods in order to improve static code analysis precision ..." | ||
| Том 22, № 2 (2015) | МП-автоматы с независимыми счётчиками | Аннотация PDF (Rus) похожие документы |
| Михаил Иосифович Дехтярь, Борис Николаевич Карлов | ||
| "... . They were developed in [21, 15], as a tool of recognition of languages generated by Categorial Dependency ..." | ||
| Том 27, № 2 (2020) | Динамически изменяющийся параллелизм с асинхронно-последовательными потоками данных | Аннотация PDF (Rus) похожие документы |
| Александр Иванович Легалов, Иван Васильевич Матковский, Мария Сергеевна Ушакова, Дарья Сергеевна Романова | ||
| "... A statically typed version of the data driven functional parallel computing model is proposed ..." | ||
| Том 31, № 1 (2024) | Шаблоны требований в дедуктивной верификации poST-программ | Аннотация PDF (Rus) похожие документы |
| Иван Михайлович Черненко, Игорь Сергеевич Ануреев, Наталья Олеговна Гаранина | ||
| "... . At the first step, the requirements are formalized in a specialized language DV-TRL, a variant of typed first ..." | ||
| Том 24, № 4 (2017) | О скоростях передачи данных на шинах между кеш-памятью второго и третьего уровней и между процессором и оперативной памятью в современных компьютерах | Аннотация PDF (Rus) похожие документы |
| Мария Сергеевна Комар | ||
| "... of traffic on L2-L3 cache interface inside CPU and CPU-RAM bus load as well as show dependencies of total ..." | ||
| Том 23, № 2 (2016) | Построение хранилища данных с динамической структурой | Аннотация PDF (Rus) похожие документы |
| Ю. Н. Артамонов | ||
| "... себя имя свойства, а также два типа значений свойства – бессылочное и ссылочное, актуальных на ..." | ||
| Том 25, № 4 (2018) | Оптимизация инварианта цикла в языке Пифагор | Аннотация PDF (Rus) похожие документы |
| Владимир Сергеевич Васильев, Александр Иванович Легалов | ||
| "... оптимизации, а также примеры программ, их графовых представлений (граф программных зависимостей) до и после ..." | ||
| Том 22, № 1 (2015) | О нулях некоторых характеристических квазиполиномов | Аннотация PDF (Rus) похожие документы |
| Дмитрий Сергеевич Глызин, Евгений Павлович Кубышкин, Алёна Романовна Морякова | ||
| "... for applications is considered. In this case, for quasi-polinomial roots obtained are the analytical dependencies ..." | ||
| Том 20, № 4 (2013) | Автоматизация формирования табличных приложений | Аннотация PDF (Rus) похожие документы |
| Сергей Владимирович Зыкин | ||
| "... . On the basis of lossless join property and realized dependencies, the concept and a way of context formation ..." | ||
| Том 28, № 2 (2021) | Трансформация функционально-потоковых параллельных программ в императивные | Аннотация PDF (Rus) похожие документы |
| Владимир Сергеевич Васильев, Александр Иванович Легалов, Сергей Викторович Зыков | ||
| "... dependencies. The main way of their execution is interpretation, which does not allow to perform calculations ..." | ||
| Том 21, № 4 (2014) | Транслятор с возможностью статического анализа безопасности информационных потоков для простого языка программирования | Аннотация PDF (Rus) похожие документы |
| Екатерина Юрьевна Антошина, Александра Николаевна Баракова, Евгений Сергеевич Никитин, Дмитрий Юрьевич Чалый | ||
| "... , который заключается в попытке их типизирования. Если в результате программа типизируема, то она является ..." | ||
| Том 27, № 2 (2020) | Алгоритм оценки максимального времени отклика задач в многопроцессорных системах с интервальной неопределенностью длительности выполнения работ | Аннотация PDF (Rus) похожие документы |
| Марк Геннадьевич Гонопольский, Алевтина Борисовна Глонина | ||
| "... , WCET] and can have data dependency on other tasks. If a decrease in the execution time of the task ..." | ||
| Том 25, № 2 (2018) | Измерение накладных расходов на параллелизм и виртуальную память | Аннотация похожие документы |
| Евгений Иванович Клименков | ||
| "... of concurrency outweighs virtual memory overhead and that there is a complex dependency between them. The article ..." | ||
| Том 18, № 3 (2011) | Устойчивость бегущих волн в уравнении Гинзбурга-Ландау с малой диффузией | Аннотация PDF (Rus) похожие документы |
| Александра Андреевна Кащенко | ||
| "... Исследуется устойчивость бегущих волн в зависимости от значений параметров. Найдены необходимые ..." | ||
| Том 19, № 2 (2012) | Уравнение кинетики измельчения с произвольным законом распределения времени ожидания | Аннотация PDF (Rus) похожие документы |
| Леонид Владимирович Королев, Донат Олегович Бытев | ||
| "... степенным распределением времени ожидания и исследовать влияние зависимости показателя степени от размера ..." | ||
| Том 19, № 3 (2012) | Устойчивость простейших периодических решений в уравнении Стюарта–Ландау с большим запаздыванием | Аннотация PDF (Rus) похожие документы |
| Александра Андреевна Кащенко | ||
| "... запаздыванием с кубической нелинейностью в зависимости от значений параметров. Найдены достаточные условия ..." | ||
| Том 22, № 1 (2015) | Особенности формирования диссипативных структур, описываемых уравнением Курамото–Сивашинского | Аннотация PDF (Rus) похожие документы |
| Николай Алексеевич Кудряшов, Павел Николаевич Рябов, Богдан Александрович Петров | ||
| "... вычислительной процедуры. Исследован процесс формирования диссипативных структур в зависимости от параметров ..." | ||
| Том 30, № 3 (2023) | Применение алгоритма поиска внешней медианы графа в задачах определения надежности технических систем | Аннотация PDF (Rus) похожие документы |
| Юрий Андреевич Плакса, Светлана Алексеевна Курочкина, Наталия Александровна Прусова | ||
| "... зависимость коэффициента готовности системы от среднего времени наработки между отказами и среднего времени ..." | ||
| Том 25, № 1 (2018) | Инвариантные характеристики вынужденных колебаний балки с продольным сжатием | Аннотация PDF (Rus) похожие документы |
| Сергей Дмитриевич Глызин, Михаил Владимирович Лоханин, Дмитрий Михайлович Сиротин | ||
| "... основе разработанных алгоритмов построена зависимость β-статэнтропии от частоты внешнего воздействия. Эта ..." | ||
| Том 21, № 1 (2014) | Асимметричное взаимодействие пары осцилляторов типа ФитцХью–Нагумо | Аннотация PDF (Rus) похожие документы |
| Елена Александровна Марушкина | ||
| "... системы имеет пару чисто мнимых собственных значений. Строится нормальная форма и определяются зависимости ..." | ||
| Том 20, № 6 (2013) | Автоматическая верификация C-программ на основе смешанной аксиоматической семантики | Аннотация PDF (Rus) похожие документы |
| Илья Владимирович Марьясов, Валерий Александрович Непомнящий, Алексей Владимирович Промский, Дмитрий Александрович Кондратьев | ||
| "... упрощенными и общими правилами вывода условий корректности (УК) в зависимости от программных объектов и их ..." | ||
| Том 23, № 1 (2016) | Асимптотические разложения собственных чисел первой краевой задачи для сингулярно возмущенного дифференциального уравнения второго порядка с точками поворота | Аннотация PDF (Rus) похожие документы |
| С. А. Кащенко | ||
| "... Для сингулярно возмущенных уравнений второго порядка исследована зависимость от малого параметра ..." | ||
| Том 21, № 5 (2014) | Оптимальное управление поведением решений начально-краевой задачи, моделирующей вращение твердого тела с упругим стержнем | Аннотация PDF (Rus) похожие документы |
| Евгений Павлович Кубышкин, Михаил Сергеевич Тряхов | ||
| "... задачи определено понятие решения, доказано его существование, единственность и непрерывная зависимость ..." | ||
| Том 21, № 1 (2014) | Локальная динамика логистического уравнения, содержащего запаздывание | Аннотация PDF (Rus) похожие документы |
| Сергей Владимирович Алешин, Сергей Александрович Кащенко | ||
| "... зависимости от одного из параметров уравнения либо все решения стремятся к состоянию равновесия, либо выходят ..." | ||
| Том 20, № 5 (2013) | Локальная динамика лазера с быстро осциллирующими параметрами | Аннотация PDF (Rus) похожие документы |
| Елена Викторовна Григорьева, Сергей Александрович Кащенко | ||
| "... . Зависимость величины смещения при возрастании амплитуды модуляции имеет зонную структуру, поэтому быстрые ..." | ||
| Том 30, № 2 (2023) | Алгоритмы асимптотического и численного построения колебательных режимов в простейшем кольце генераторов с несимметричной нелинейностью | Аннотация PDF (Rus) похожие документы |
| Сергей Дмитриевич Глызин, Елена Александровна Марушкина | ||
| "... , а затем численными методами исследуется исходная система. Изучена зависимость динамики системы от ..." | ||
| Том 23, № 6 (2016) | Применение раскрашенных сетей Петри для верификации конструкций управления сценариями языка UCM | Аннотация PDF (Rus) похожие документы |
| Н. В. Визовитин, В. А. Непомнящий, А. А. Стененко | ||
| "... оценки для количества элементов результирующих РСП моделей в зависимости от количества элементов исходных ..." | ||
| Том 23, № 6 (2016) | Бифуркации периодических решений уравнения Мэкки–Гласса | Аннотация PDF (Rus) похожие документы |
| Е. П. Кубышкин, А. Р. Морякова | ||
| "... позволяет изучить бифуркации периодических решений в зависимости от параметров уравнения и их устойчивость ..." | ||
| Том 24, № 6 (2017) | Семантические средства обеспечения безопасности в программно-конфигурируемых сетях | Аннотация PDF (Rus) похожие документы |
| Екатерина Юрьевна Антошина, Дмитрий Юрьевич Чалый | ||
| "... зависимости от требований к качеству обслуживания. Однако при этом возникает задача обеспечения безопасности ..." | ||
| Том 26, № 3 (2019) | Динамическая модель развития пиринговой файлообменной сети | Аннотация PDF (Rus) похожие документы |
| Александра Игоревна Кононова, Лариса Геннадьевна Гагарина | ||
| "... файлообменной сети с учётом зависимости интенсивности притока новых пользователей от общего количества ..." | ||
| Том 23, № 4 (2016) | Резервное копирование с хранением в базе данных | Аннотация PDF (Rus) похожие документы |
| С. М. Таранин | ||
| "... байт. Длина блока может быть адаптивной, т.е. меняться в зависимости от типа или размера файла. В таком ..." | ||
| Том 24, № 4 (2017) | Исследование одной марковской модели угроз безопасности компьютерных систем | Аннотация PDF (Rus) похожие документы |
| Алексей Анатольевич Магазев, Валерия Федоровна Цырульник | ||
| "... случаи и анализируется динамика системы на больших временах. Отдельно исследуется зависимость вероятности ..." | ||
| Том 20, № 3 (2013) | Диффузионный хаос в задаче «реакция–диффузия» c гантелеобразной областью определения пространственной переменной | Аннотация PDF (Rus) похожие документы |
| Сергей Дмитриевич Глызин, Павел Леонидович Шокин | ||
| "... зависимость инвариантных характеристик аттрактора задачи от ширины перемычки. Параметр диффузии при этом ..." | ||
| Том 20, № 3 (2013) | Параметрический резонанс при двухчастотном возмущении в логистическом уравнении с запаздыванием | Аннотация PDF (Rus) похожие документы |
| Надежда Дмитриевна Быкова, Сергей Дмитриевич Глызин, Сергей Александрович Кащенко | ||
| "... , что эти величины имеют двухчастотную зависимость от времени, причем частоты воздействия близки к ..." | ||
| Том 25, № 1 (2018) | Об одной сингулярно возмущенной задаче нелинейной теплопроводности в случае сбалансированной нелинейности | Аннотация PDF (Rus) похожие документы |
| Марина Александровна Давыдова, Светлана Александровна Захарова | ||
| "... внутренними слоями уравнения нелинейной теплопроводности в случае нелинейной зависимости мощности тепловых ..." | ||
| Том 30, № 4 (2023) | Быстрое вычисление циклических сверток и их приложения в кодовых схемах асимметричного шифрования | Аннотация похожие документы |
| Андрей Николаевич Сушко, Борис Яковлевич Штейнберг, Кирилл Владимирович Веденев, Антон Анатольевич Глухих, Юрий Владимирович Косолапов | ||
| "... квазициклических кодах, позволяют экспериментально исследовать зависимость вероятности ошибочного расшифрования от ..." | ||
| Том 26, № 2 (2019) | Система распределения ключей на дизайнах | Аннотация PDF (Rus) похожие документы |
| Владимир Михайлович Деундяк, Алексей Александрович Таран | ||
| "... вычисляется вероятность успешного проведения коалиционной атаки на произвольную конференцию в зависимости от ..." | ||
| Том 22, № 2 (2015) | Оценка требуемых скоростей передачи данных при организации беспроводной связи между ядрами центрального процессора | Аннотация PDF (Rus) похожие документы |
| Мария Сергеевна Комар, Виталий Игоревич Петров, Каролина Дмитриевна Борунова, Дмитрий Александрович Молчанов, Евгений Андреевич Кучерявый | ||
| "... , проходящих по шине между кешем второго и третьего уровней, и показана их зависимость от тактовой частоты ..." | ||
| Том 22, № 2 (2015) | Полнота динамики значений свойств данных в СУБД DIM | Аннотация PDF (Rus) похожие документы |
| Алексей Николаевич Петров, Вадим Сергеевич Рублев | ||
| "... взаимодействий и истории. Для того, чтобы минимизировать зависимость от конструкций описаний алгоритмических ..." | ||
| Том 22, № 5 (2015) | Анализ локальных бифуркаций для уравнения с запаздыванием, зависящим от искомой функции | Аннотация PDF (Rus) похожие документы |
| В. О. Голубенец | ||
| "... проводится в зависимости от вещественных параметров 첐 коэффициентов тейлоровского разложения правой части ..." | ||
| Том 23, № 2 (2016) | Построение CFC-программ ПЛК по LTL-спецификации | Аннотация PDF (Rus) похожие документы |
| Д. А. Рябухин, Е. В. Кузьмин, В. А. Соколов | ||
| "... изображения потока данных от входных переменных к выходам ПЛК. Явным образом демонстрируется зависимость и ..." | ||
| Том 23, № 3 (2016) | Численное моделирование процессов формирования полос адиабатического сдвига в композитах | Аннотация PDF (Rus) похожие документы |
| Н. А. Кудряшов, Р. В. Муратов, П. Н. Рябов | ||
| "... области локализции, расположенные на характерном расстоянии от границ. Показана зависимость данного ..." | ||
| Том 23, № 5 (2016) | Взаимодействие двух волн в модели Ферми – Паста – Улама | Аннотация PDF (Rus) похожие документы |
| С. Д. Глызин, С. А. Кащенко, А. О. Толбей | ||
| "... состояния равновесия. В зависимости от значений параметров в качестве квазинормальных форм выступают ..." | ||
| Том 23, № 6 (2016) | Имитационное моделирование для анализа выполнимости приложений реального времени | Аннотация PDF (Rus) похожие документы |
| С. Н. Баранов, В. В. Никифоров | ||
| "... выполнимости приложения с заданным профилем в зависимости от производительности процессора. Практическим ..." | ||
| Том 24, № 6 (2017) | Анализ использования различных типов связей между терминами тезауруса, сгенерированного с помощью гибридных методов, в задачах классификации текстов | Аннотация PDF (Rus) похожие документы |
| Надежда Станиславовна Лагутина, Ксения Владимировна Лагутина, Иван Андреевич Щитов, Илья Вячеславович Парамонов | ||
| "... . На первом шаге создается тезаурус, тональные веса терминов которого считаются в зависимости от ..." | ||
| Том 25, № 1 (2018) | Бифуркация Андронова–Хопфа в одной биофизической модели реакции Белоусова | Аннотация PDF (Rus) похожие документы |
| Владимир Евгеньевич Горюнов | ||
| "... представление в зависимости от параметров задачи. Полученная нормальная форма позволяет доказать теорему о ..." | ||
| Том 25, № 1 (2018) | Периодические изменения автоволнового фронта в двумерной системе параболических уравнений | Аннотация PDF (Rus) похожие документы |
| Алина Александровна Мельникова, Наталья Николаевна Дерюгина | ||
| "... замкнутой кривой, определить зависимость скорости фронта от времени, получить асимптотическое приближение ..." | ||
| Том 25, № 4 (2018) | Верификация программ со взаимной рекурсией на языке Пифагор | Аннотация PDF (Rus) похожие документы |
| Мария Сергеевна Ушакова, Александр Иванович Легалов | ||
| "... присутствуют только информационные зависимости. Это позволяет упростить процесс верификации, так как не требует ..." | ||
| Том 25, № 6 (2018) | Особые точки кривых | Аннотация PDF (Rus) похожие документы |
| Артем Дмитриевич Уваров | ||
| "... регулярный итерационный процесс. В зависимости от типа поставленной задачи автор останавливается на двух ..." | ||
| Том 27, № 1 (2020) | Иерархическая кластеризация как метод снижения размерности в задаче оптимизации инвестиционного портфеля Марковица | Аннотация PDF (Rus) похожие документы |
| Анатолий Юрьевич Полетаев, Елена Михайловна Спиридонова | ||
| "... получаемого оптимального решения. Исследуется зависимость между целевой доходностью портфеля и возможностью ..." | ||
| Том 28, № 2 (2021) | Вычислительный анализ количественных характеристик некоторых аппроксимационных свойств разрешимых групп Баумслага-Солитэра | Аннотация PDF (Rus) похожие документы |
| Елена Александровна Туманова | ||
| "... ,31]$. Также исследована зависимость величины $f_{k}(50000)$ от $k$ и предложен эффективный алгоритм проверки ..." | ||
| Том 31, № 2 (2024) | Об исследовании одного способа выявления аномального выполнения программы | Аннотация PDF (Rus) похожие документы |
| Юрий Владимирович Косолапов, Татьяна Александровна Павлова | ||
| "... профиля расстояний и экспериментально исследуется зависимость вероятности ложного обнаружения нетипичного ..." | ||
| Том 30, № 2 (2023) | Об упрощении выражений со смешанной битовой и целочисленной арифметикой | Аннотация PDF (Rus) похожие документы |
| Юрий Владимирович Косолапов | ||
| "... упрощению. В работе экспериментально оценена зависимость среднего числа слагаемых в линейном MBA-выражении ..." | ||
| Том 22, № 6 (2015) | Элиминация инвариантов циклов для финитной итерации над неизменяемыми структурами данных в Си программах | Аннотация PDF (Rus) похожие документы |
| И. В. Марьясов, В. А. Непомнящий | ||
| "... правила вывода применяются однозначно в зависимости от контекста. Заметим, что во многих случаях ..." | ||
| 1 - 59 из 59 результатов | ||
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
