Сортировать по:
| Выпуск | Название | |
| Том 26, № 2 (2019) | Анализ возможностей практического использования моделей решеточных газов | Аннотация PDF (Rus) похожие документы |
| Сергей Петрович Бобков, Анастасия Сергеевна Чернявская, Владимир Владимирович Шергин | ||
| "... on the process flow. The lattice gas models considered in the article are one of the types of cellular automata ..." | ||
| Том 22, № 2 (2015) | Эффективность доступа к данным в СУБД DIM | Аннотация PDF (Rus) похожие документы |
| Дмитрий Владимирович Антонов, В. С. Рублев | ||
| "... и истории. Вводится описание предметной области при помощи объектно-динамической модели данных (OD ..." | ||
| Том 21, № 4 (2014) | Совершенные призмоиды и решетчатые многогранники Делоне | Аннотация PDF (Rus) похожие документы |
| Марина Александровна Козачок, Александр Николаевич Магазинов | ||
| "... . (And therefore every perfect prismatoid is a lattice polytope.) Let Λ be a lattice in Rd and D be a polytope ..." | ||
| Том 20, № 4 (2013) | К теореме Делоне о классификации схождений параллелоэдров в гранях коразмерности 3 | Аннотация PDF (Rus) похожие документы |
| Александр Николаевич Магазино | ||
| Том 19, № 4 (2012) | Счетные идеалы в полурешетке Dе степеней | Аннотация PDF (Rus) похожие документы |
| Валерий Валерьевич Тихов | ||
| "... In the article we have proved that any countable ideal in the semi-lattice of the De ..." | ||
| Том 19, № 3 (2012) | О неглавных идеалах в полурешетке степеней перечислимости | Аннотация PDF (Rus) похожие документы |
| Борис Яковлевич Солон, Валерий Валерьевич Тихов | ||
| "... This paper is dedicated to the study of ideals in semi-lattice of the enumeration degrees. ..." | ||
| Том 19, № 5 (2012) | О неглавных идеалах в полурешетке степеней перечислимости | Аннотация PDF (Rus) похожие документы |
| Борис Яковлевич Солон, Валерий Валерьевич Тихов | ||
| "... This paper is dedicated to the study of ideals in semi-lattice of the enumeration degrees. ..." | ||
| Том 20, № 2 (2013) | О поворотах цифровых изображений | Аннотация PDF (Rus) похожие документы |
| Павел Геннадьевич Парфенов | ||
| "... The images built on the basis of rectangular and hexagonal lattices are discussed in the article ..." | ||
| Том 20, № 5 (2013) | Оценка числа решетчатых разбиений плоскости на полимино заданной площади | Аннотация PDF (Rus) похожие документы |
| Антон Владимирович Шутов, Екатерина Викторовна Коломейкина | ||
| "... We study a problem of a number of lattice plane tilings by given area polyominoes. A polyomino ..." | ||
| Том 22, № 2 (2015) | Оценка числа решетчатых разбиений плоскости на центрально-симметричные полимино заданной площади | Аннотация PDF (Rus) похожие документы |
| Антон Владимирович Шутов, Екатерина Викторовна Коломейкина | ||
| "... We study a problem about the number of lattice plane tilings by the given area centrosymmetrical ..." | ||
| Том 19, № 4 (2012) | О построении и верификации программ логических контроллеров | Аннотация PDF (Rus) похожие документы |
| Егор Владимирович Кузьмин, Валерий Анатольевич Соколов | ||
| "... Проводится обзор методов и подходов к программированию «дискретных» задач ПЛК на примере задачи ..." | ||
| Том 19, № 4 (2012) | Первая ярославская летняя школа по дискретной и вычислительной геометрии | Аннотация PDF (Rus) похожие документы |
| Николай Долбилин, Г. Эдельсбруннер, Александр Иванов, Олег Мусин | ||
| "... Обобщены результаты работы первой ярославской летней школы по дискретной и вычислительной геометрии ..." | ||
| Том 26, № 4 (2019) | Доказательство свойств дискретных функций с помощью дедуктивного доказательства: приложение к квадратному корню | Аннотация похожие документы |
| Васил Тодоров, Сафуан Таха, Фредерик Буланже, Армандо Эрнандес | ||
| Том 24, № 5 (2017) | Устойчивость решений дискретных краевых задач для уравнения двумерной фильтрации | Аннотация PDF (Rus) похожие документы |
| Сергей Александрович Кащенко | ||
| Том 24, № 2 (2017) | Релаксационные циклы в модели синаптически взаимодействующих осцилляторов | Аннотация PDF (Rus) похожие документы |
| Маргарита Михайловна Преображенская | ||
| "... В настоящей работе рассматривается математическая модель кольцевой нейронной сети с синаптическим ..." | ||
| Том 17, № 2 (2010) | О нецелочисленных вершинах релаксаций многогранника задачи 3-ВЫПОЛНИМОСТЬ | Аннотация PDF (Rus) похожие документы |
| А. В. Николаев | ||
| Том 20, № 6 (2013) | Формальная модель и задачи верификации программно-конфигурируемых сетей | Аннотация PDF (Rus) похожие документы |
| Владимир Анатольевич Захаров, Руслан Леонидович Смелянский, Евгений Викторович Чемерицкий | ||
| "... OpenFlow. На основе аппарата булевых функций и дискретных преобразователей нами предложена формальная ..." | ||
| Том 19, № 5 (2012) | Современные открытые проблемы в дискретной и вычислительной геометрии | Аннотация PDF (Rus) похожие документы |
| Герберт Эдельсбруннер, Александр Иванов, Роман Карасев | ||
| "... , выходящих за рамки стандартного круга понятий дискретной геометрии. Несмотря на относительно простые ..." | ||
| Том 18, № 1 (2011) | Временные шкалы в задаче об асимптотике решений дискретных адиабатических осцилляторов | Аннотация PDF (Rus) похожие документы |
| П. Н. Нестеров | ||
| "... результаты используются для построения асимптотики решений некоторых уравнений из класса дискретных ..." | ||
| Том 23, № 4 (2016) | Компьютерное моделирование "Интеллектуального здания" | Аннотация PDF (Rus) похожие документы |
| О. Ю. Марьясин, А. С. Колодкина, А. А. Огарков | ||
| "... -дискретную или гибридную систему, состоящую из взаимодействующих элементов различной природы, поведение ..." | ||
| Том 14, № 2 (2007) | О характеристическом наборе коэффициентов черно-белых цифровых изображений, построенных на основе гексагональной решетки | Аннотация PDF (Rus) похожие документы |
| И. А. Каплий, П. Г. Парфенов | ||
| "... on the basis of hexagonal lattices are considered. The necessary conditions for a sixteen-dimensional vector ..." | ||
| Том 18, № 3 (2011) | О двух конечномерных аппроксимациях периодической краевой задачи | Аннотация PDF (Rus) похожие документы |
| Николай Андреевич Демьянков | ||
| "... краевой задачи влечёт за собой разрешимость её дискретных вариантов. Исследуется вопрос о сходимости ..." | ||
| Том 22, № 2 (2015) | Исследование устойчивости решений начально-краевой задачи, моделирующей динамику одной дискретно-континуальной механической системы | Аннотация PDF (Rus) похожие документы |
| Дмитрий Андреевич Елисеев, Евгений Павлович Кубышкин | ||
| Том 27, № 1 (2020) | Марковская модель совместных киберугроз и ее применение для выбора оптимального набора средств защиты информации | Аннотация PDF (Rus) похожие документы |
| Адиль Аскарович Касенов, Алексей Анатольевич Магазев, Валерия Федоровна Цырульник | ||
| "... В данной работе исследуется марковская модель киберугроз, действующих на компьютерную систему. В ..." | ||
| Том 19, № 1 (2012) | Обобщенное решение одной начально-краевой задачи, возникающей в механике дискретно-континуальных систем | Аннотация PDF (Rus) похожие документы |
| Евгений Павлович Кубышкин, Ольга Анатольевна Хребтюгова | ||
| "... дифференциальных уравнений возникают при изучении дискретно-континуальных механических систем. ..." | ||
| Том 19, № 6 (2012) | Ярославская международная конференция «Дискретная геометрия», посвященная 100-летию А. Д. Александрова | Аннотация PDF (Rus) похожие документы |
| Николай Долбилин, Герберт Эдельсбруннер, Александр Иванов, Олег Мусин, Михаил Невский | ||
| "... Ярославская международная конференция «Дискретная геометрия», посвященная 100-летию А. Д ..." | ||
| Том 31, № 1 (2024) | О применении исчисления позитивно-образованных формул для исследования управляемых дискретно-событийных систем | Аннотация PDF (Rus) похожие документы |
| Артем Васильевич Давыдов, Александр Александрович Ларионов, Надежда Владимировна Нагул | ||
| "... логическими дискретно-событийными системами (ДСС), основанного на представлении их в виде позитивно ..." | ||
| Том 21, № 5 (2014) | Оптимальное управление поведением решений начально-краевой задачи, моделирующей вращение твердого тела с упругим стержнем | Аннотация PDF (Rus) похожие документы |
| Евгений Павлович Кубышкин, Михаил Сергеевич Тряхов | ||
| "... Рассмотрена начально-краевая задача, моделирующая вращение дискретно-континуальной механической ..." | ||
| Том 19, № 6 (2012) | О некоторых задачах локализации в триангуляциях Делоне | Аннотация PDF (Rus) похожие документы |
| Наталья Федоровна Дышкант | ||
| Том 25, № 1 (2018) | О переносе ряда понятий статистической радиофизики в теорию одномерных точечных отображений | Аннотация PDF (Rus) похожие документы |
| Агалар Магомед-Закиевич Агаларов, Александр Алексеевич Потапов, Александр Эдуардович Рассадин, Антон Викторович Степанов | ||
| Том 28, № 2 (2021) | Выделение условий разрешимости NP-полных задач для класса предфрактальных графов | Аннотация PDF (Rus) похожие документы |
| Александр Васильевич Тимошенко, Расул Ахматович Кочкаров, Азрет Ахматович Кочкаров | ||
| "... связей между ее элементами. Ряд дискретных задач по построению оптимальных подструктур сетевых систем ..." | ||
| Том 22, № 6 (2015) | Формальная диагонализация схем Лакса–Дарбу | Аннотация PDF (Rus) похожие документы |
| А. В. Михайлов | ||
| "... (including the Toda lattice and differential-difference Heisenberg chain) and integrable partial difference ..." | ||
| Том 14, № 1 (2007) | Синхронная модель автоматной программы | Аннотация PDF (Rus) похожие документы |
| С. В. Кубасов, В. А. Соколов | ||
| "... Предлагается модель автоматной программы, удовлетворяющая требованиям синхронной модели. Создание ..." | ||
| Том 24, № 3 (2017) | Математическая модель эксперимента Николсона | Аннотация PDF (Rus) похожие документы |
| Сергей Дмитриевич Глызин | ||
| "... Рассматривается математическая модель динамики численности насекомых и предпринимается попытка ..." | ||
| Том 13, № 1 (2006) | Иерархическая модель автоматных программ | Аннотация PDF (Rus) похожие документы |
| Е. В. Кузьмин | ||
| "... В работе описывается иерархическая модель программ, построенных на основе автоматного подхода к ..." | ||
| Том 21, № 1 (2014) | Классические и неклассические симметрии нелинейного дифференциального уравнения для описания волн в жидкости с пузырьками газа | Аннотация PDF (Rus) похожие документы |
| Николай Алексеевич Кудряшов, Дмитрий Игоревич Синельщиков | ||
| "... пузырьками газа при учете вязкости жидкости и процесса межфазного теплообмена. Исследованы классические и ..." | ||
| Том 18, № 1 (2011) | Резонанс собственных частот в задаче о флаттере пластинки в сверхзвуковом потоке газа | Аннотация PDF (Rus) похожие документы |
| А. Н. Куликов, Г. В. Пилипенко | ||
| "... Рассматривается в линейной постановке задача о колебаниях пластинки в сверхзвуковом потоке газа ..." | ||
| Том 28, № 1 (2021) | Автоматизированная обучающая система «Множества» (исследования организации 1-й части проекта) | Аннотация похожие документы |
| Вадим Сергеевич Рублев, Максим Дмитриевич Кондаков | ||
| "... учащемуся освоить одну из важных тем дисциплины «Дискретная математика» и развить логико-математическое ..." | ||
| Том 20, № 6 (2013) | Построение и верификация LD-программ ПЛК по LTL-спецификации | Аннотация PDF (Rus) похожие документы |
| Егор Владимирович Кузьмин, Валерий Анатольевич Соколов, Дмитрий Александрович Рябухин | ||
| "... дискретной задачи приводятся LD-программа, ее LTL-спецификация и SMV-модель. Целью статьи является описание ..." | ||
| Том 20, № 4 (2013) | Построение и верификация ПЛК-программ по LTL-спецификации | Аннотация PDF (Rus) похожие документы |
| Егор Владимирович Кузьмин, Валерий Анатольевич Соколов, Дмитрий Александрович Рябухин | ||
| "... дискретной задачи приводятся ST-программа, ее LTL-спецификация и SMV-модель. Целью статьи является описание ..." | ||
| Том 21, № 2 (2014) | Построение IL-программ ПЛК по LTL-спецификации | Аннотация PDF (Rus) похожие документы |
| Дмитрий Александрович Рябухин, Егор Владимирович Кузьмин, Валерий Анатольевич Соколов | ||
| "... «дискретных» задач. Спецификация программного поведения проводится на языке темпоральной логики линейного ..." | ||
| Том 22, № 6 (2015) | Модель безопасности информационных потоков для программно-конфигурируемых сетей | Аннотация PDF (Rus) похожие документы |
| Д. Ю. Чалый, Е. С. Никитин, Е. Ю. Антошина, В. А. Соколов | ||
| "... необходимость в средствах обеспечения его корректности и безопасности. Абстрактные модели для ПКС могут решить ..." | ||
| Том 21, № 4 (2014) | Моделирование согласованного поведения ПЛК-датчиков | Аннотация PDF (Rus) похожие документы |
| Егор Владимирович Кузьмин, Дмитрий Александрович Рябухин, Валерий Анатольевич Соколов | ||
| "... «дискретных» программ логических контроллеров (ПЛК), обеспечивающего возможность анализа их корректности с ..." | ||
| Том 14, № 3 (2007) | О вербальной модели диссертационной работы | Аннотация похожие документы |
| Ю. Г. Гущин | ||
| Том 18, № 4 (2011) | Верификация шаблонов алгоритмов для метода отката и метода ветвей и границ | Аннотация PDF (Rus) похожие документы |
| Николай Вячеславович Шилов | ||
| Том 20, № 2 (2013) | Моделирование, спецификация и построение программ логических контроллеров | Аннотация PDF (Rus) похожие документы |
| Егор Владимирович Кузьмин, Валерий Анатольевич Соколов | ||
| "... Предлагается новый подход к построению надежных «дискретных» ПЛК-программ с таймерами ..." | ||
| Том 31, № 2 (2024) | Математические свойства агентной модели вымирания — реколонизации для популяционной генетики | Аннотация PDF (Rus) похожие документы |
| Никита Владимирович Гаянов | ||
| "... Агентная модель описывает динамику генетического разнообразия непрерывно распределенной популяции ..." | ||
| Том 24, № 1 (2017) | Перераспределение, производство и неравенство | Аннотация похожие документы |
| Алексей Владимирович Захаров, Владимир Евгеньевич Захаров | ||
| "... Мы используем бесконечномерную модель Лотки–Вольтерра для анализа производства, накопления и ..." | ||
| Том 25, № 6 (2018) | Онтология процессов, ориентированная на верификацию | Аннотация PDF (Rus) похожие документы |
| Наталья Олеговна Гаранина, Игорь Сергеевич Ануреев, Олеся Игнатьевна Боровикова | ||
| "... системы переходов. В интерливинговой модели она сводится к локальной операционной семантике отдельных ..." | ||
| Том 17, № 3 (2010) | Составные редукции моделей Крипке и автоморфизмы | Аннотация PDF (Rus) похожие документы |
| Ю. А. Белов | ||
| "... Показано, что с помощью понятия фактор-модели, предложенного в [1], произвольные модели Крипке ..." | ||
| Том 19, № 5 (2012) | О теории алгебраических моделей программ с процедурами | Аннотация PDF (Rus) похожие документы |
| Римма Ивановна Подловченко, Андрей Эрикович Молчанов | ||
| "... Алгебраические модели программ с процедурами предназначены для изучения семантических свойств ..." | ||
| Том 21, № 4 (2014) | Разрешимость эквивалентности в двухпараметрических перегородчатых моделях программ | Аннотация PDF (Rus) похожие документы |
| Андрей Эрикович Молчанов | ||
| "... Алгебраические модели программ с процедурами предназначены для изучения семантических свойств ..." | ||
| Том 21, № 3 (2014) | Устойчивость непрерывных волн для модели FDML лазера | Аннотация PDF (Rus) похожие документы |
| Александра Андреевна Кащенко | ||
| "... В работе решается задача существования и устойчивости непрерывных волн R exp(iΛt) для модели ..." | ||
| Том 21, № 2 (2014) | Разрешимость эквивалентности в перегородчатых моделях программ | Аннотация PDF (Rus) похожие документы |
| Римма Ивановна Подловченко, Андрей Эрикович Молчанов | ||
| "... Алгебраические модели программ с процедурами предназначены для изучения семантических свойств ..." | ||
| Том 20, № 5 (2013) | Релаксационные колебания в моделях многовидовых сообществ | Аннотация PDF (Rus) похожие документы |
| Сергей Александрович Кащенко | ||
| "... Рассматриваются семейства математических моделей биологических популяций. Выявлены инвариантные ..." | ||
| Том 18, № 4 (2011) | Оптимизационные процедуры в аффинной проверке моделей | Аннотация PDF (Rus) похожие документы |
| Наталья Олеговна Гаранина | ||
| "... Символьная проверка на модели основана на компактном представлении множеств. На данный момент есть ..." | ||
| Том 14, № 1 (2007) | Динамика простейшей модели системы реакция-диффузия | Аннотация PDF (Rus) похожие документы |
| Ю. С. Колесов, А. Е. Харьков | ||
| Том 14, № 4 (2007) | Исследование модифицированной модели сальтаторного проведения возбуждения | Аннотация PDF (Rus) похожие документы |
| В. В. Майоров, С. Е. Ануфриенко | ||
| "... В работе рассматривается модель сальтаторного проведения возбуждения, в которой для описания ..." | ||
| Том 26, № 3 (2019) | Динамическая модель развития пиринговой файлообменной сети | Аннотация PDF (Rus) похожие документы |
| Александра Игоревна Кононова, Лариса Геннадьевна Гагарина | ||
| "... В данной работе рассматривается модель развития пиринговой файлообменной сети, организуемой одним ..." | ||
| Том 15, № 1 (2008) | Пространственнонеоднородные инвариантные торы в модели мультипликаторакселератор | Аннотация PDF (Rus) похожие документы |
| Е. В. Коршунова, А. Н. Куликов | ||
| "... Представлена краевая задача, в основе которой лежит известная математическая модель мультип ..." | ||
| Том 17, № 2 (2010) | Мультистабильность в модели лазера с большим запаздыванием | Аннотация PDF (Rus) похожие документы |
| Е. В. Григорьева, И. С. Кащенко, С. А. Кащенко | ||
| "... Исследуется модель динамики генерации лазера, основанная на одномо-довых балансных уравнениях с ..." | ||
| Том 17, № 3 (2010) | Язык объектных запросов динамической информационной модели DIM | Аннотация PDF (Rus) похожие документы |
| В. С. Рублев | ||
| Том 18, № 1 (2011) | Динамические свойства одной модели пассивного захвата мод | Аннотация PDF (Rus) похожие документы |
| И. С. Кащенко | ||
| "... Исследуется локальная динамика модели пассивного захвата мод для полупроводникового лазера. В ..." | ||
| Том 20, № 2 (2013) | Единая модель для геоклассификации веб-сайтов | Аннотация PDF (Rus) похожие документы |
| Алексей Николаевич Волков | ||
| "... (региона) обучается по отдельной классификационной модели, предлагаемый подход основан на обучении всего ..." | ||
| Том 23, № 2 (2016) | Коллективные потоковые вычисления: реляционные модели и алгоритмы | Аннотация PDF (Rus) похожие документы |
| Д. А. Усталов | ||
| "... краудсорсинга микрозадачами. Предложена модель коллективных потоковых вычислений на основе расширенной ..." | ||
| Том 24, № 2 (2017) | Построение высокоуровневой модели процесса по журналу событий | Аннотация похожие документы |
| Антонина Константиновна Бегичева, Ирина Александровна Ломазова | ||
| "... высокоуровневой модели по низкоуровневому журналу событий, т.е. задача автоматического синтеза модели процесса на ..." | ||
| Том 25, № 6 (2018) | Перевод моделей Event-B в Eiffel | Аннотация похожие документы |
| Софья Резникова, Виктор Ривера, Джу Йонг Ли, Мануэль Маццара | ||
| "... систем. Однако не существует четкого понимания того, как сопоставить формальную модель и определенный ..." | ||
| Том 29, № 3 (2022) | Исследование моделей топологических отношений пространственных объектов | Аннотация PDF (Rus) похожие документы |
| Владислав Геннадьевич Горшков, Дмитрий Михайлович Мурин, Ольга Павловна Якимова | ||
| "... отношений.В работе проанализированы модели описания топологических отношений пространственных объектов ..." | ||
| Том 18, № 2 (2011) | Задача о роботах на Марсе (мультиагентный подход к задаче Дейкстры) | Аннотация PDF (Rus) похожие документы |
| Евгений Викторович Бодин, Наталья Олеговна Гаранина, Николай Вячеславович Шилов | ||
| "... рассматривать как задачу из теории графов (дискретная математика), как комбинаторную геометрическую задачу ..." | ||
| Том 21, № 6 (2014) | Использование случайной выборки моделей для решения задачи интерполяции Крейга в рамках ограниченной проверки моделей | Аннотация PDF (Rus) похожие документы |
| Марат Халимович Ахин, Семен Леонидович Колтон, Владимир Михайлович Ицыксон | ||
| "... анализа из-за увеличения размера модели программы. Для решения этой проблемы можно использовать различные ..." | ||
| Том 17, № 4 (2010) | Адаптивная редукция симметричных моделей в задаче верификации моделей программ для логики линейного времени | Аннотация PDF (Rus) похожие документы |
| И. В. Коннов, В. А. Захаров | ||
| "... Показано, что метод адаптивной редукции симметричных моделей (ASR), предложенный в статье [9] для ..." | ||
| Том 22, № 6 (2015) | Особенности применения модельно-ориентированного подхода при разработке промышленных приложений | Аннотация PDF (Rus) похожие документы |
| П. Д. Дробинцев, В. П. Котляров, Н. В. Воинов, И. В. Никифоров | ||
| "... , одним из которых является различная степень детальности модели и реальной реализованной системы на языке ..." | ||
| Том 21, № 4 (2014) | Исследование примитивных схем программ с процедурами | Аннотация PDF (Rus) похожие документы |
| Римма Ивановна Подловченко | ||
| "... В статье рассматриваются алгебраические модели программ с процедурами, предназначенные для ..." | ||
| Том 23, № 2 (2016) | О группе Брауэра арифметической модели многообразия над глобальным полем положительной характеристики | Аннотация PDF (Rus) похожие документы |
| Т. В. Прохорова | ||
| Том 22, № 4 (2015) | О выразительности подхода к построению ПЛК-программ по LTL-спецификации | Аннотация PDF (Rus) похожие документы |
| Е. В. Кузьмин, Д. А. Рябухин, В. А. Соколов | ||
| "... Статья посвящена подходу к построению и верификации «дискретных» программ логических контроллеров ..." | ||
| 1 - 75 из 290 результатов | 1 2 3 4 > >> | |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
