Сортировать по:
Выпуск | Название | |
Том 17, № 1 (2010) | A mathematical model of an order management automated system within the process of production technological preparation in aviation enterprisers | Аннотация PDF (Rus) похожие документы |
П. Е. Ефимова | ||
"... of production technological preparation at the construction depart¬ment of the tool set design, its conceptual ..." | ||
Том 29, № 4 (2022) | Модель текста для автоматической оценки делового письма на заданную тему | Аннотация PDF (Rus) похожие документы |
Даниил Дмитриевич Зафиевский, Надежда Станиславовна Лагутина, Оксана Андреевна Мельникова, Анатолий Юрьевич Полетаев | ||
"... This study is aimed at building an automated model for business writing assessment, based on 14 ..." | ||
Том 28, № 1 (2021) | Автоматизированная обучающая система «Множества» (исследования организации 1-й части проекта) | Аннотация похожие документы |
Вадим Сергеевич Рублев, Максим Дмитриевич Кондаков | ||
"... The issues of building an automated learning system “Sets” which will allow students to master one ..." | ||
Том 30, № 1 (2023) | Задачи в области распознавания именованных сущностей: технологии и инструменты | Аннотация PDF (Rus) похожие документы |
Надежда Станиславовна Лагутина, Андрей Михайлович Васильев, Даниил Дмитриевич Зафиевский | ||
"... . In the field of named entity recognition, the authors of analytical articles primarily consider mathematical ..." | ||
Том 24, № 3 (2017) | Математическая модель эксперимента Николсона | Аннотация PDF (Rus) похожие документы |
Сергей Дмитриевич Глызин | ||
"... Considered is a mathematical model of insects population dynamics, and an attempt is made ..." | ||
Том 17, № 4 (2010) | Об исчислении позитивно-образованных формул для автоматического доказательства теорем | Аннотация PDF (Rus) похожие документы |
А. В. Давыдов, А. А. Ларионов, Е. А. Черкашин | ||
"... calculus JF and complete strategy for automated proof search based on a single unary rule of inference ..." | ||
Том 31, № 2 (2024) | Математические свойства агентной модели вымирания — реколонизации для популяционной генетики | Аннотация PDF (Rus) похожие документы |
Никита Владимирович Гаянов | ||
"... The individual-based model describes the dynamics of genetic diversity of a population scattered ..." | ||
Том 24, № 4 (2017) | Автоматизированная Обучающая Система для обучения курсу анализа сложности алгоритмов | Аннотация PDF (Rus) похожие документы |
Вадим Сергеевич Рублев, Мурад Теймурович Юсуфов | ||
"... This article describes problems of designing automated teaching system for “Computational ..." | ||
Том 21, № 5 (2014) | Применение метода квазинормальных форм к математической модели отдельного нейрона | Аннотация PDF (Rus) похожие документы |
Маргарита Михайловна Преображенская | ||
"... We consider a scalar nonlinear differential-difference equation with two delays, which models ..." | ||
Том 17, № 3 (2010) | Математические модели экономических систем с учетом необратимости протекающих в них процессов | Аннотация PDF (Rus) похожие документы |
А. М. Цирлин | ||
Том 28, № 4 (2021) | Математическая модель параллельных программ и основанный на ней подход к верификации MPI-программ | Аннотация PDF (Rus) похожие документы |
Андрей Михайлович Миронов | ||
"... The paper presents a new mathematical model of parallel programs, on the basis of which ..." | ||
Том 23, № 4 (2016) | Компьютерное моделирование "Интеллектуального здания" | Аннотация PDF (Rus) похожие документы |
О. Ю. Марьясин, А. С. Колодкина, А. А. Огарков | ||
"... definite situations happening in house and respond accordingly. Automated house management system is made ..." | ||
Том 21, № 6 (2014) | Использование метода ограниченной проверки моделей для генерации тестов | Аннотация PDF (Rus) похожие документы |
Максим Алексеевич Петров, Кирилл Алексеевич Гагарский, Михаил Анатольевич Беляев, Владимир Михайлович Ицыксон | ||
"... The automated test generation has received a lot of attention in the last decades as it is one ..." | ||
Том 21, № 1 (2014) | Уравнения движения твердого тела с двумя упругими стержнями | Аннотация PDF (Rus) похожие документы |
Дмитрий Андреевич Елисеев, Евгений Павлович Кубышкин | ||
"... In the paper we propose a mathematical model of a mechanical system consisting of a rigid body ..." | ||
Том 18, № 1 (2011) | Динамика слабого взаимодействия в системе близких видов | Аннотация PDF (Rus) похожие документы |
Е. В. Горчакова | ||
Том 27, № 3 (2020) | Автоматизированный поиск и анализ стилометрических характеристик, описывающих стиль прозы 19-21 веков | Аннотация PDF (Rus) похожие документы |
Ксения Владимировна Лагутина, Алла Михайловна Манахова | ||
"... and high-level based on rhythmic. These features model the style of a text and are the indicators ..." | ||
Том 28, № 2 (2021) | Оценка степени опасности дефектов при расшифровке вихретоковых дефектограмм | Аннотация PDF (Rus) похожие документы |
Егор Владимирович Кузьмин, Олег Евгеньевич Горбунов, Петр Олегович Плотников, Вадим Александрович Тюкин, Владимир Анатольевич Башкин | ||
"... distribution, which is assumed to be a model for a probability distribution of an appearance of certain ..." | ||
Том 22, № 4 (2015) | Метод генерации примеров моделей программ в терминах сетей Петри | Аннотация PDF (Rus) похожие документы |
Д. И. Харитонов, Е. А. Голенков, Г. В. Тарасов, Д. В. Леонтьев | ||
"... In the article a method of automated construction of Petri nets simulating the behaviour ..." | ||
Том 19, № 2 (2012) | О верификации LD-программ логических контроллеров | Аннотация PDF (Rus) похожие документы |
Егор Владимирович Кузьмин, Валерий Анатольевич Соколов | ||
"... of Programmable Logic Controller programs. We consider an example of modeling and automated verification of PLC ..." | ||
Том 22, № 6 (2015) | Особенности применения модельно-ориентированного подхода при разработке промышленных приложений | Аннотация PDF (Rus) похожие документы |
П. Д. Дробинцев, В. П. Котляров, Н. В. Воинов, И. В. Никифоров | ||
"... The article considers the specifics of a model oriented approach to software development based ..." | ||
Том 25, № 2 (2018) | Математическая модель подключения оптимального числа потенциальных потребителей тепла к тепловой сети | Аннотация PDF (Rus) похожие документы |
Сергей Михайлович Терехов, Владимир Алексеевич Немтинов, Кирилл Сергеевич Корнилов | ||
"... . In this article, ways to improve the efficiency of heat supply systems are considered. A mathematical model ..." | ||
Том 20, № 5 (2013) | Релаксационные колебания в моделях многовидовых сообществ | Аннотация PDF (Rus) похожие документы |
Сергей Александрович Кащенко | ||
"... Some families of mathematical models of biological populations are considered. Invariant ratios ..." | ||
Том 20, № 6 (2013) | Релаксационные циклы в обобщенной нейронной модели с двумя запаздываниями | Аннотация PDF (Rus) похожие документы |
Сергей Дмитриевич Глызин, Елена Александровна Марушкина | ||
"... type is a mathematical model of a neuron and a separate pulse containing one function without delay ..." | ||
Том 26, № 2 (2019) | Анализ возможностей практического использования моделей решеточных газов | Аннотация PDF (Rus) похожие документы |
Сергей Петрович Бобков, Анастасия Сергеевна Чернявская, Владимир Владимирович Шергин | ||
"... In recent years, discrete approaches have been widely used in mathematical modeling ..." | ||
Том 25, № 1 (2018) | Бифуркация Андронова–Хопфа в одной биофизической модели реакции Белоусова | Аннотация PDF (Rus) похожие документы |
Владимир Евгеньевич Горюнов | ||
"... is a mathematical model of this reaction. We carry out a local study of the neighborhood of the system non-trivial ..." | ||
Том 16, № 4 (2009) | Циклы и торы деловой активности в одной математической модели макроэкономики | Аннотация PDF (Rus) похожие документы |
Е. С. Кокуйкин, А. Н. Куликов | ||
"... This paper analyzes the well known multiplier-accelerator model from a mathematical point of view ..." | ||
Том 24, № 2 (2017) | Релаксационные циклы в модели синаптически взаимодействующих осцилляторов | Аннотация PDF (Rus) похожие документы |
Маргарита Михайловна Преображенская | ||
"... In this paper the mathematical model of a neural network with a ring synaptic interaction elements ..." | ||
Том 23, № 4 (2016) | Облачный сервис для интерактивного моделирования межтерриториальной торговли | Аннотация PDF (Rus) похожие документы |
А. С. Величко, В. В. Грибова, Л. А. Федорищев | ||
"... The paper describes a mathematical model of trade flows between the territories of a region ..." | ||
Том 21, № 6 (2014) | Поддержка эволюции визуальных языков в платформе QReal | Аннотация PDF (Rus) похожие документы |
Татьяна Юрьевна Агапова, Тимофей Александрович Брыксин | ||
"... to this problem exist - from entirely manual to mostly automated. This paper describes a hybrid approach to model ..." | ||
Том 25, № 6 (2018) | Онтология процессов, ориентированная на верификацию | Аннотация PDF (Rus) похожие документы |
Наталья Олеговна Гаранина, Игорь Сергеевич Ануреев, Олеся Игнатьевна Боровикова | ||
"... of communication actions for sending messages. In addition to the formal mathematical definition of classes ..." | ||
Том 19, № 3 (2012) | Синергетика — от прошлого к будущему | Аннотация PDF (Rus) похожие документы |
Георгий Геннадьевич Малинецкий | ||
"... in terms of mathematical models. So their construction, investigation and use are the main way ..." | ||
Том 16, № 4 (2009) | Математическое обоснование одного численного эксперимента | Аннотация PDF (Rus) похожие документы |
А. В. Дымов, П. Н. Нестеров | ||
"... We give the mathematical justification of one numerical experiment dealing with the propagation ..." | ||
Том 31, № 1 (2024) | Верификация моделей программ на процесс-ориентированном расширении языка Structured Text стандарта IEC 61131-3 | Аннотация PDF (Rus) похожие документы |
Наталья Олеговна Гаранина, Сергей Михайлович Старолетов, Владимир Евгеньевич Зюбин, Игорь Сергеевич Ануреев | ||
"... of the PLC source code with technological description of the process under control. This language combines ..." | ||
Том 23, № 5 (2016) | Эквивалентность обычной и модифицированной сети обобщенных нейронных элементов | Аннотация PDF (Rus) похожие документы |
Е. В. Коновалов | ||
"... and method of such elements interaction. The description of neural network mathematical model is simplified ..." | ||
Том 26, № 4 (2019) | Комплексный подход системы C-lightVer к автоматизированной локализации ошибок в C-программах | Аннотация PDF (Rus) похожие документы |
Дмитрий Александрович Кондратьев, Алексей Владимирович Промский | ||
Том 16, № 4 (2009) | Метод автоматического построения алгоритмов распознавания участков фазовых траекторий | Аннотация PDF (Rus) похожие документы |
Д. С. Коваленко | ||
"... The problem of automated construction of recognizers of anomalies in the behavior of complicated ..." | ||
Том 17, № 4 (2010) | Automated Correctness Proof of Algorithm Variants in Elliptic Curve Cryptography | Аннотация PDF (Rus) похожие документы |
, , , , | ||
"... investigates the possibilities of automated proofs on the correctness of different algorithmic variants. We ..." | ||
Том 25, № 4 (2018) | Русскоязычные тезаурусы: автоматизированное построение и применение в задачах обработки текстов на естественном языке | Аннотация PDF (Rus) похожие документы |
Надежда Станиславовна Лагутина, Ксения Владимировна Лагутина, Алексей Сергеевич Адрианов, Илья Вячеславович Парамонов | ||
Том 24, № 1 (2017) | Релаксационные автоколебания в системе из двух синаптически связанных импульсных нейронов | Аннотация PDF (Rus) похожие документы |
Сергей Дмитриевич Глызин, Андрей Юрьевич Колесов, Елена Александровна Марушкина | ||
"... We consider a mathematical model of synaptic interaction between two pulse neuron elements. Each ..." | ||
Том 27, № 4 (2020) | InnoChain: распределенный реестр для индустриального применения с формальной верификацией на всех уровнях реализации | Аннотация PDF (Rus) похожие документы |
Владимир Александрович Кухаренко, Кирилл Викторович Зиборов, Рафаэль Фаритович Садыков, Александр Владимирович Наумчев, Руслан Маратович Резин, Леонид Альбертович Меркин | ||
"... project that will result in a DLS verified at least at the four technological levels described above. We ..." | ||
Том 26, № 3 (2019) | Автоматизированный поиск средств ритмизации художественного текста для сравнительного анализа оригинала и перевода на материале английского и русского языков | Аннотация PDF (Rus) похожие документы |
Надежда Станиславовна Лагутина, Ксения Владимировна Лагутина, Елена Игоревна Бойчук, Инна Алексеевна Воронцова, Илья Вячеславович Парамонов | ||
"... reduce the amount of linguistsexperts work by automated detection of lexical and syntactic figures ..." | ||
Том 30, № 4 (2023) | Моделирование влияния внешних воздействий на процесс автоматизированной посадки БпЛА-квадрокоптера на подвижную платформу с использованием технического зрения | Аннотация PDF (Rus) похожие документы |
Артём Валерьевич Рябинов, Антон Игоревич Савельев, Дмитрий Андреевич Аникин | ||
Том 19, № 6 (2012) | Дедуктивная верификация протокола скользящего окна | Аннотация PDF (Rus) похожие документы |
Дмитрий Александрович Шкляев, Валерий Александрович Непомнящий | ||
Том 28, № 1 (2021) | Алгоритм корректировки уровней полезных сигналов при расшифровке вихретоковых дефектограмм | Аннотация PDF (Rus) похожие документы |
Егор Владимирович Кузьмин, Олег Евгеньевич Горбунов, Петр Олегович Плотников, Вадим Александрович Тюкин, Владимир Анатольевич Башкин | ||
Том 24, № 6 (2017) | Об определении уровня полезных сигналов при расшифровке магнитных и вихретоковых дефектограмм | Аннотация PDF (Rus) похожие документы |
Егор Владимирович Кузьмин, Олег Евгеньевич Горбунов, Петр Олегович Плотников, Вадим Александрович Тюкин | ||
Том 25, № 4 (2018) | Эффективный алгоритм определения уровня полезных сигналов при расшифровке магнитных и вихретоковых дефектограмм | Аннотация PDF (Rus) похожие документы |
Егор Владимирович Кузьмин, Олег Евгеньевич Горбунов, Петр Олегович Плотников, Вадим Александрович Тюкин | ||
Том 25, № 6 (2018) | Применение нейронных сетей для распознавания конструктивных элементов рельсов на магнитных и вихретоковых дефектограммах | Аннотация PDF (Rus) похожие документы |
Егор Владимирович Кузьмин, Олег Евгеньевич Горбунов, Петр Олегович Плотников, Вадим Александрович Тюкин, Владимир Анатольевич Башкин | ||
Том 27, № 3 (2020) | Применение свёрточных нейронных сетей для распознавания длинных конструктивных элементов рельсов на вихретоковых дефектограммах | Аннотация PDF (Rus) похожие документы |
Егор Владимирович Кузьмин, Олег Евгеньевич Горбунов, Петр Олегович Плотников, Вадим Александрович Тюкин, Владимир Анатольевич Башкин | ||
Том 31, № 1 (2024) | О применении исчисления позитивно-образованных формул для исследования управляемых дискретно-событийных систем | Аннотация PDF (Rus) похожие документы |
Артем Васильевич Давыдов, Александр Александрович Ларионов, Надежда Владимировна Нагул | ||
Том 25, № 6 (2018) | Платформенно-независимая спецификация и верификация стандартной математической функции квадратного корня | Аннотация PDF (Rus) похожие документы |
Николай Вячеславович Шилов, Дмитрий Александрович Кондратьев, Игорь Сергеевич Ануреев, Евгений Викторович Бодин, Алексей Владимирович Промский | ||
"... mathematical functions” is aimed onto the development of incremental combined approach to specification ..." | ||
Том 14, № 1 (2007) | Синхронная модель автоматной программы | Аннотация PDF (Rus) похожие документы |
С. В. Кубасов, В. А. Соколов | ||
"... This article presents a model of automaton program that satisfies synchronous model requirements ..." | ||
Том 14, № 3 (2007) | О вербальной модели диссертационной работы | Аннотация похожие документы |
Ю. Г. Гущин | ||
Том 17, № 3 (2010) | Составные редукции моделей Крипке и автоморфизмы | Аннотация PDF (Rus) похожие документы |
Ю. А. Белов | ||
"... Kripke factor-model concept is investigated. It is shown, that every factor-model is representexl ..." | ||
Том 24, № 6 (2017) | Семантически-ориентированная миграция Java-программ: опыт практического применения | Аннотация PDF (Rus) похожие документы |
Артем Олегович Алексюк, Владимир Михайлович Ицыксон | ||
"... of the migration task. Models and algorithms were implemented in the prototype of an automated code migration tool ..." | ||
Том 23, № 2 (2016) | Коллективные потоковые вычисления: реляционные модели и алгоритмы | Аннотация PDF (Rus) похожие документы |
Д. А. Усталов | ||
"... to the problem of reproducibility and formalization of the microtask crowdsourcing process. A computational model ..." | ||
Том 20, № 6 (2013) | Автоматизация создания верифицированных тестовых сценариев на основе гидов | Аннотация PDF (Rus) похожие документы |
Павел Дмитриевич Дробинцев, Всеволод Павлович Котляров, Александр Адольфович Летичевский | ||
"... This paper presents an overview of technology of the automated generation of test scenarios based ..." | ||
Том 20, № 3 (2013) | Самоорганизация, сети, будущее | Аннотация PDF (Rus) похожие документы |
Георгий Геннадьевич Малинецкий, Татьяна Сергеевна Ахромеева, Сергей Александрович Посашков, Светлана Аркадьевна Торопыгина | ||
Том 17, № 4 (2010) | Адаптивная редукция симметричных моделей в задаче верификации моделей программ для логики линейного времени | Аннотация PDF (Rus) похожие документы |
И. В. Коннов, В. А. Захаров | ||
"... by exploring an extended state space. In this paper we show that the technique is applicable to LTL model ..." | ||
Том 22, № 6 (2015) | Модель безопасности информационных потоков для программно-конфигурируемых сетей | Аннотация PDF (Rus) похожие документы |
Д. Ю. Чалый, Е. С. Никитин, Е. Ю. Антошина, В. А. Соколов | ||
"... and security. Abstract models for SDN can tackle these challenges. This paper addresses to confidentiality ..." | ||
Том 27, № 4 (2020) | Исправление к статье: В. А. Соколов, “О проблеме существования конечных базисов тождеств в алгебрах рекурсивных функций”, Моделирование и анализ информационных систем, Том. 27, № 3, с. 304-315, 2020. DOI: https://doi.org/10.18255/1818-1015-2020-3-304-315 | Аннотация PDF (Rus) похожие документы |
Валерий Анатольевич Соколов | ||
"... 'tsev, “Constructive algebras I”, Russian Mathematical Surveys, vol. 16, no. 3, pp. 77-129, 1961. [2] A. I. Mal ..." | ||
Том 19, № 5 (2012) | О теории алгебраических моделей программ с процедурами | Аннотация PDF (Rus) похожие документы |
Римма Ивановна Подловченко, Андрей Эрикович Молчанов | ||
"... Algebraic program models with procedures are designed to analyze program semantic properties ..." | ||
Том 18, № 4 (2011) | Оптимизационные процедуры в аффинной проверке моделей | Аннотация PDF (Rus) похожие документы |
Наталья Олеговна Гаранина | ||
"... Symbolic model checking is based on a compact representation of sets of states and transition ..." | ||
Том 14, № 4 (2007) | Формальная модель семантики художественного текста (на материале русских пословиц) | Аннотация PDF (Rus) похожие документы |
А. C. Малкова, В. И. Январев | ||
"... In the article the formal model of proverb semantics is suggested. The proverb statement ..." | ||
Том 17, № 2 (2010) | Мультистабильность в модели лазера с большим запаздыванием | Аннотация PDF (Rus) похожие документы |
Е. В. Григорьева, И. С. Кащенко, С. А. Кащенко | ||
"... A dynamical model of laser generation based on monomode balance equations with delay is studied ..." | ||
Том 20, № 2 (2013) | Единая модель для геоклассификации веб-сайтов | Аннотация PDF (Rus) похожие документы |
Алексей Николаевич Волков | ||
"... the traditional approaches, which generally involve training a separate classification model for each class ..." | ||
Том 28, № 4 (2021) | Подход к автонастройке параллельных программ методом проверки моделей | Аннотация PDF (Rus) похожие документы |
Наталья Олеговна Гаранина, Сергей Петрович Горлач | ||
"... of the model checking method to find the optimal tuning parameters by the method of counterexamples. In our ..." | ||
Том 25, № 6 (2018) | Применение генетического алгоритма для нахождения редакционного расстояния между моделями процессов | Аннотация PDF (Rus) похожие документы |
Анна Алексеевна Каленкова, Данил Александрович Колесников | ||
"... techniques, it became important to adapt and apply existing graph analysis methods to examine process models ..." | ||
Том 18, № 1 (2011) | Хаотические колебания одной распределенной динамическом системы с бесконечным запаздыванием | Аннотация PDF (Rus) похожие документы |
А. Ю. Коверга, Е. П. Кубышкин | ||
"... properties, one of its supports being under a periodical vibration. The mathematical model of the considered ..." | ||
Том 22, № 1 (2015) | О нулях некоторых характеристических квазиполиномов | Аннотация PDF (Rus) похожие документы |
Дмитрий Сергеевич Глызин, Евгений Павлович Кубышкин, Алёна Романовна Морякова | ||
"... -Kobayashi system that is a well-known mathematical model of a quantum generator. The D-partition figures ..." | ||
Том 24, № 5 (2017) | Варианты метода коллокации и наименьших невязок для решения задач математической физики в выпуклых четырехугольных областях | Аннотация PDF (Rus) похожие документы |
Василий Алексеевич Беляев, Василий Павлович Шапеев | ||
Том 18, № 4 (2011) | Формальная модель требований, используемая в процессе генерации кода приложения и кода тестов | Аннотация PDF (Rus) похожие документы |
Сергей Николаевич Баранов, Всеволод Павлович Котляров | ||
"... The considered model is used in manual development of application specifications and is based ..." | ||
Том 17, № 4 (2010) | Проектирование программных бортовых систем управления с поддержкой верификации | Аннотация PDF (Rus) похожие документы |
И. В. Шошмина | ||
"... We consider a problem of integrating a formal method of verification (model checking ..." | ||
Том 18, № 3 (2011) | Модульная модель мультимедийного документа и особенности ее программной реализации | Аннотация PDF (Rus) похожие документы |
Владислав Игоревич Январев | ||
"... System for the model proposed; the focus is to provide software portability and backward compatibility ..." | ||
Том 18, № 2 (2011) | Об одном представлении функции в модели императивной программы, заданной сетями Петри | Аннотация PDF (Rus) похожие документы |
Георгий Витальевич Тарасов, Дмитрий Иванович Харитонов, Евгений Александрович Голенков | ||
"... In the article an approach to constructing in terms of Petri nets a function model as a program ..." | ||
Том 19, № 4 (2012) | О построении и верификации программ логических контроллеров | Аннотация PDF (Rus) похожие документы |
Егор Владимирович Кузьмин, Валерий Анатольевич Соколов | ||
"... evaluate the usability of the model checking method for the analysis of program correctness with respect ..." | ||
1 - 75 из 300 результатов | 1 2 3 4 > >> |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)