Preview

Моделирование и анализ информационных систем

Расширенный поиск

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 18, № 4 (2011) Формальная модель требований, используемая в процессе генерации кода приложения и кода тестов Аннотация  PDF (Rus)  похожие документы
Сергей Николаевич Баранов, Всеволод Павлович Котляров
"... successfully, the executable code of the application and the respective test code are generated from the model ..."
 
Том 22, № 6 (2015) Особенности применения модельно-ориентированного подхода при разработке промышленных приложений Аннотация  PDF (Rus)  похожие документы
П. Д. Дробинцев, В. П. Котляров, Н. В. Воинов, И. В. Никифоров
"... development phases. The approach allows to detail the model to the level of the system code, at the same time ..."
 
Том 24, № 2 (2017) Декодирование тензорного произведения MLD-кодов и приложения к кодовым криптосистемам Аннотация  PDF (Rus)  похожие документы
Владимир Михайлович Деундяк, Юрий Владимирович Косолапов, Евгений Андреевич Лелюк
"... For the practical application of code cryptosystems such as McEliece, it is necessary ..."
 
Том 20, № 6 (2013) Обнаружение дефектов в программном обеспечении путем объединения ограниченной проверки моделей и аппроксимации функций Аннотация  PDF (Rus)  похожие документы
Марат Халимович Ахин, Михаил Анатольевич Беляев, Владимир Михайлович Ицыксон
"... Bounded model checking (BMC) of C/C++ programs is a matter of scientific enquiry that attracts ..."
 
Том 25, № 6 (2018) Перевод моделей Event-B в Eiffel Аннотация  похожие документы
Софья Резникова, Виктор Ривера, Джу Йонг Ли, Мануэль Маццара
"... generates an actual Eiffel code of the Event-B model, but also translates model properties as contracts ..."
 
Том 25, № 2 (2018) Коды в диэдральной групповой алгебре Аннотация  PDF (Rus)  похожие документы
Кирилл Владимирович Веденёв, Владимир Михайлович Деундяк
"... codes in 1978 and no effective key attacks has been described yet. Variants of this cryptosystem ..."
 
Том 19, № 4 (2012) О стойкости кодового зашумления к статистическому анализу наблюдаемых данных многократного повторения Аннотация  PDF (Rus)  похожие документы
Владимир Михайлович Деундяк, Юрий Владимирович Косолапов
"... We investigate the firmness of code noising to the statistical analysis of the evesdropped ..."
 
Том 22, № 6 (2015) Эффективное исполнение программного кода в контролируемом окружении как способ улучшения результатов статического анализа и верификации программ Аннотация  PDF (Rus)  похожие документы
М. А. Беляев, В. М. Ицыксон
"... due to simplification assumptions these techniques make about the code model. We present a novel ..."
 
Том 25, № 3 (2018) Об алгоритме расщепления носителя для индуцированных кодов Аннотация  PDF (Rus)  похожие документы
Юрий Владимирович Косолапов, Алексей Николаевич Шигаев
"... In the paper, the analysis of the stability of the McEliece-type cryptosystem on induced codes ..."
 
Том 26, № 3 (2019) Об автоматическом анализе практической стойкости обфусцирующих преобразований Аннотация  PDF (Rus)  похожие документы
Петр Дмитриевич Борисов, Юрий Владимирович Косолапов
"... and compared in accordance with the chosen comparison model. The developed scheme, in particular, is suitable ..."
 
Том 26, № 2 (2019) Об обнаружении атак типа повторного использования исполнимого кода Аннотация  PDF (Rus)  похожие документы
Юрий Владимирович Косолапов
"... When exploiting software vulnerabilities such as buffer overflows, code reuse techniques are often ..."
 
Том 21, № 6 (2014) Использование метода ограниченной проверки моделей для генерации тестов Аннотация  PDF (Rus)  похожие документы
Максим Алексеевич Петров, Кирилл Алексеевич Гагарский, Михаил Анатольевич Беляев, Владимир Михайлович Ицыксон
"... code, asserting logic properties in it and process the returned model. This paper describes a prototype ..."
 
Том 27, № 1 (2020) Исследование свойств АГ-кодов как кодов для защиты от копирования Аннотация  PDF (Rus)  похожие документы
Владимир Михайлович Деундяк, Денис Владимирович Загуменнов
"... code for decrypting. The following attack is possible in these schemes: groups of c malicious users ..."
 
Том 25, № 4 (2018) Оптимизация инварианта цикла в языке Пифагор Аннотация  PDF (Rus)  похожие документы
Владимир Сергеевич Васильев, Александр Иванович Легалов
"... , applied to the functional data-flow model implemented in the Pifagor programming language. Optimization ..."
 
Том 23, № 2 (2016) Криптосистема на индуцированных групповых кодах Аннотация  PDF (Rus)  похожие документы
В. М. Деундяк, Ю. В. Косолапов
"... The code C on a group G, induced by the code N on a subgroup H, has the property that for decoding ..."
 
Том 22, № 4 (2015) Алгоритмы для мажоритарного декодирования групповых кодов Аннотация  PDF (Rus)  похожие документы
В. М. Деундяк, Ю. В. Косолапов
"... for a practical implementation of the majority decoder for group codes specified as left ideals of group algebras ..."
 
Том 24, № 6 (2017) Семантически-ориентированная миграция Java-программ: опыт практического применения Аннотация  PDF (Rus)  похожие документы
Артем Олегович Алексюк, Владимир Михайлович Ицыксон
"... can be used to define models for particular libraries. The mentioned metamodel directly forms the code ..."
 
Том 27, № 2 (2020) Об обнаружении эксплуатации уязвимостей, приводящей к запуску вредоносного кода Аннотация  PDF (Rus)  похожие документы
Юрий Владимирович Косолапов
"... between function calls will reveal shell code execution using system and / or library function calls ..."
 
Том 22, № 6 (2015) Модель безопасности информационных потоков для программно-конфигурируемых сетей Аннотация  PDF (Rus)  похожие документы
Д. Ю. Чалый, Е. С. Никитин, Е. Ю. Антошина, В. А. Соколов
"... and security. Abstract models for SDN can tackle these challenges. This paper addresses to confidentiality ..."
 
Том 23, № 2 (2016) Коллективные потоковые вычисления: реляционные модели и алгоритмы Аннотация  PDF (Rus)  похожие документы
Д. А. Усталов
"... to the problem of reproducibility and formalization of the microtask crowdsourcing process. A computational model ..."
 
Том 20, № 2 (2013) Построение универсального линеаризованного графа потока управления для использования в статическом анализе кода алгоритмов Аннотация  PDF (Rus)  похожие документы
Вильгельм Александрович Битнер, Никита Владимирович Заборовский
"... of the fast and optimal search of the unique execution paths that is valuable in the methods of static code ..."
 
Том 19, № 4 (2012) О построении и верификации программ логических контроллеров Аннотация  PDF (Rus)  похожие документы
Егор Владимирович Кузьмин, Валерий Анатольевич Соколов
"... Controllers on the example of constructing PLC-programs for controling a code lock. For these approaches we ..."
 
Том 20, № 4 (2013) Проектирование и разработка имитационной модели мультиклиентского кластера баз данных Аннотация  PDF (Rus)  похожие документы
Евгений Александрович Бойцов
"... on the relational model and it proposes the concept of database cluster designed for applications with a multi ..."
 
Том 22, № 6 (2015) О преподавании формальных моделей и алгоритмов анализа параллельных систем Аннотация  PDF (Rus)  похожие документы
Н. В. Шилов
"... C and FORTRAN code for parallel speed-up of execution without races for resources. Nevertheless ..."
 
Том 18, № 4 (2011) Автоматическое обнаружение ошибок конкурентной модификации данных в моделях на языке SystemC Аннотация  PDF (Rus)  похожие документы
Алексей Владимирович Захаров, Михаил Юрьевич Моисеев
"... code static analysis. We have developed some static analysis algorithms that can extract information ..."
 
Том 14, № 1 (2007) Синхронная модель автоматной программы Аннотация  PDF (Rus)  похожие документы
С. В. Кубасов, В. А. Соколов
"... This article presents a model of automaton program that satisfies synchronous model requirements ..."
 
Том 21, № 6 (2014) Подход к автоматизации отладки поведенческих сценариев Аннотация  PDF (Rus)  похожие документы
Павел Дмитриевич Дробинцев, Всеволод Павлович Котляров, Игорь Валерьевич Никифоров, Александр Адольфович Летичевский, Владимир Сергеевич Песчаненко
"... The paper presents two approaches to debugging the application model behavior scenarios: semi ..."
 
Том 27, № 2 (2020) “VTMine for Visio”: инструмент графического моделирования в области Process Mining Аннотация  PDF (Rus)  похожие документы
Сергей Андреевич Шершаков
"... models. Such work will be more efficient with a convenient graphical modeling tool. The paper discusses ..."
 
Том 17, № 2 (2010) Метод оценки частоты выполнения фрагментов кода последовательной программы Аннотация  PDF (Rus)  похожие документы
А. В. Шалимов
"... Рассматривается задача о вычислении частоты выполнения фрагментов кода последовательной программы ..."
 
Том 24, № 6 (2017) Прототип статического тайп-чекера для языка программирования Jolie Аннотация  похожие документы
Даниэль де Карвальо, Мануэль Маццара, Богдан Мингела, Лариса Сафина, Александр Чичигин, Николай Трошков
"... Static verification of a program source code correctness is an important element of software ..."
 
Том 14, № 3 (2007) О вербальной модели диссертационной работы Аннотация  похожие документы
Ю. Г. Гущин
 
Том 24, № 3 (2017) Математическая модель эксперимента Николсона Аннотация  PDF (Rus)  похожие документы
Сергей Дмитриевич Глызин
"... Considered  is a mathematical model of insects  population dynamics,  and  an attempt is made ..."
 
Том 17, № 3 (2010) Составные редукции моделей Крипке и автоморфизмы Аннотация  PDF (Rus)  похожие документы
Ю. А. Белов
"... Kripke factor-model concept is investigated. It is shown, that every factor-model is representexl ..."
 
Том 19, № 6 (2012) Слайсинг над деревьями: метод обнаружения разорванных и переплетенных клонов в исходном коде программного обеспечения Аннотация  PDF (Rus)  похожие документы
Марат Халимович Ахин, Владимир Михайлович Ицыксон
"... Nowadays most of software contains code duplication that leads to serious problems in software ..."
 
Том 17, № 4 (2010) Адаптивная редукция симметричных моделей в задаче верификации моделей программ для логики линейного времени Аннотация  PDF (Rus)  похожие документы
И. В. Коннов, В. А. Захаров
"... by exploring an extended state space. In this paper we show that the technique is applicable to LTL model ..."
 
Том 18, № 4 (2011) Статический анализ с использованием систем типов и эффектов на основе LLVM Аннотация  PDF (Rus)  похожие документы
Михаил Анатольевич Беляев, Вадим Александрович Цесько
"... supported by LLVM compiler infrastructure. It uses its own parser of bitcode files and a program model ..."
 
Том 24, № 1 (2017) Перераспределение, производство и неравенство Аннотация  похожие документы
Алексей Владимирович Захаров, Владимир Евгеньевич Захаров
"... We use an infinite-dimensional Lotka–Volterra model to analyze production, accumulation ..."
 
Том 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 ..."
 
Том 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 ..."
 
Том 25, № 6 (2018) Онтология процессов, ориентированная на верификацию Аннотация  PDF (Rus)  похожие документы
Наталья Олеговна Гаранина, Игорь Сергеевич Ануреев, Олеся Игнатьевна Боровикова
"... to the local operational semantics of separate process instances in the interleaving model. We specialize ..."
 
Том 18, № 2 (2011) Об одном представлении функции в модели императивной программы, заданной сетями Петри Аннотация  PDF (Rus)  похожие документы
Георгий Витальевич Тарасов, Дмитрий Иванович Харитонов, Евгений Александрович Голенков
"... In the article an approach to constructing in terms of Petri nets a function model as a program ..."
 
Том 22, № 4 (2015) Метод генерации примеров моделей программ в терминах сетей Петри Аннотация  PDF (Rus)  похожие документы
Д. И. Харитонов, Е. А. Голенков, Г. В. Тарасов, Д. В. Леонтьев
"... необходимыми в процессе программирования новых алгоритмов анализа моделей программ, в частности, они могут ..."
 
Том 14, № 4 (2007) Формальная модель семантики художественного текста (на материале русских пословиц) Аннотация  PDF (Rus)  похожие документы
А. C. Малкова, В. И. Январев
"... In the article the formal model of proverb semantics is suggested. The proverb statement ..."
 
Том 21, № 4 (2014) Разрешимость эквивалентности в двухпараметрических перегородчатых моделях программ Аннотация  PDF (Rus)  похожие документы
Андрей Эрикович Молчанов
"... Algebraic program models with procedures are designed to analyze program semantic properties ..."
 
Том 21, № 2 (2014) Разрешимость эквивалентности в перегородчатых моделях программ Аннотация  PDF (Rus)  похожие документы
Римма Ивановна Подловченко, Андрей Эрикович Молчанов
"... Algebraic program models with procedures are designed to analyze program semantic properties ..."
 
Том 20, № 5 (2013) Релаксационные колебания в моделях многовидовых сообществ Аннотация  PDF (Rus)  похожие документы
Сергей Александрович Кащенко
"... Some families of mathematical models of biological populations are considered. Invariant ratios ..."
 
Том 14, № 4 (2007) Исследование модифицированной модели сальтаторного проведения возбуждения Аннотация  PDF (Rus)  похожие документы
В. В. Майоров, С. Е. Ануфриенко
"... In the article it is considered the Nerve Impulse Saltatore Conduction model in which the Impulse ..."
 
Том 26, № 2 (2019) Анализ возможностей практического использования моделей решеточных газов Аннотация  PDF (Rus)  похожие документы
Сергей Петрович Бобков, Анастасия Сергеевна Чернявская, Владимир Владимирович Шергин
"... . In particular, this is important when using models in the form of partial differential equations systems ..."
 
Том 17, № 3 (2010) Язык объектных запросов динамической информационной модели DIM Аннотация  PDF (Rus)  похожие документы
В. С. Рублев
"... should allow us to describe a simple data query of this model. ..."
 
Том 18, № 1 (2011) Динамические свойства одной модели пассивного захвата мод Аннотация  PDF (Rus)  похожие документы
И. С. Кащенко
"... We study the local dynamics of a model for the passive mode locking in semiconductor lasers ..."
 
Том 24, № 2 (2017) Релаксационные циклы в модели синаптически взаимодействующих осцилляторов Аннотация  PDF (Rus)  похожие документы
Маргарита Михайловна Преображенская
"... In this paper the mathematical model of a neural network with a ring synaptic interaction elements ..."
 
Том 18, № 3 (2011) Модульная модель мультимедийного документа и особенности ее программной реализации Аннотация  PDF (Rus)  похожие документы
Владислав Игоревич Январев
"... System for the model proposed; the focus is to provide software portability and backward compatibility ..."
 
Том 17, № 4 (2010) Проверка моделей распределенных систем с помощью аффинного представления данных Аннотация  PDF (Rus)  похожие документы
Н. О. Гаранина
"... A new data structure is suggested for symbolic model checking of distributed systems defined ..."
 
Том 25, № 6 (2018) Применение генетического алгоритма для нахождения редакционного расстояния между моделями процессов Аннотация  PDF (Rus)  похожие документы
Анна Алексеевна Каленкова, Данил Александрович Колесников
"... techniques, it became important to adapt and apply existing graph analysis methods to examine process models ..."
 
Том 17, № 4 (2010) Проектирование программных бортовых систем управления с поддержкой верификации Аннотация  PDF (Rus)  похожие документы
И. В. Шошмина
"... We consider a problem of integrating a formal method of verification (model checking ..."
 
Том 21, № 4 (2014) Исследование примитивных схем программ с процедурами Аннотация  PDF (Rus)  похожие документы
Римма Ивановна Подловченко
"... The paper considers algebraic program models with procedures designed to analyze program semantic ..."
 
Том 23, № 2 (2016) О группе Брауэра арифметической модели многообразия над глобальным полем положительной характеристики Аннотация  PDF (Rus)  похожие документы
Т. В. Прохорова
"... is isomorphic to a variety V (we call π : X → C an arithmetic model of a variety V ). M. Artin conjectured ..."
 
Том 20, № 6 (2013) Формальная модель и задачи верификации программно-конфигурируемых сетей Аннотация  PDF (Rus)  похожие документы
Владимир Анатольевич Захаров, Руслан Леонидович Смелянский, Евгений Викторович Чемерицкий
"... in the form of a protocol known as OpenFlow. In this paper we describe an abstract formal model of SDN ..."
 
Том 24, № 4 (2017) Использование журналов событий для локальной корректировки моделей процессов Аннотация  PDF (Rus)  похожие документы
Алексей Александрович Мицюк, Ирина Александровна Ломазова, Вил М.П. ван дер Аалст
"... to the original system model. However, to the IS support it is very important to have the latest model ..."
 
Том 21, № 4 (2014) Синтез моделей процессов по журналам событий с шумом Аннотация  PDF (Rus)  похожие документы
Алексей Александрович Мицюк, Иван Сергеевич Шугуров
"... Process mining is a new emerging discipline related to process management, formal process models ..."
 
Том 21, № 3 (2014) Об устойчивости состояния равновесия одной модели нейронной сети Аннотация  PDF (Rus)  похожие документы
Юрий Викторович Богомолов
"... In the paper, a neural network model based on three McCulloch–Pitts adder neurons is considered ..."
 
Том 20, № 6 (2013) Релаксационные циклы в обобщенной нейронной модели с двумя запаздываниями Аннотация  PDF (Rus)  похожие документы
Сергей Дмитриевич Глызин, Елена Александровна Марушкина
"... type is a mathematical model of a neuron and a separate pulse containing one function without delay ..."
 
Том 14, № 2 (2007) Устойчивость одной модели нейрона на основе уравнения с запаздыванием Аннотация  PDF (Rus)  похожие документы
Ю. В. Богомолов
 
Том 20, № 2 (2013) Построение модели для извлечения оценочной лексики в различных предметных областях Аннотация  PDF (Rus)  похожие документы
Наталья Валентиновна Лукашевич, Илья Игоревич Четвёркин
"... words in a particular domain. The extraction model was trained in the movie domain and then applied ..."
 
Том 23, № 4 (2016) Сетевая модель для задачи целочисленного сбалансирования четырехмерной матрицы Аннотация  PDF (Rus)  похожие документы
А. В. Смирнов
 
Том 23, № 5 (2016) Взаимодействие двух волн в модели Ферми – Паста – Улама Аннотация  PDF (Rus)  похожие документы
С. Д. Глызин, С. А. Кащенко, А. О. Толбей
 
Том 24, № 4 (2017) Исследование одной марковской модели угроз безопасности компьютерных систем Аннотация  PDF (Rus)  похожие документы
Алексей Анатольевич Магазев, Валерия Федоровна Цырульник
"... In this work, a model for computer system security threats formulated in terms of Markov processes ..."
 
Том 25, № 1 (2018) Бифуркация Андронова–Хопфа в одной биофизической модели реакции Белоусова Аннотация  PDF (Rus)  похожие документы
Владимир Евгеньевич Горюнов
"... in such a reaction can be interpreted by a “predator – prey” model phenomenologically similar to it. Thereby, we ..."
 
Том 26, № 3 (2019) Динамическая модель развития пиринговой файлообменной сети Аннотация  PDF (Rus)  похожие документы
Александра Игоревна Кононова, Лариса Геннадьевна Гагарина
"... In this work, the model of development of the P2P file exchange network organized by a torrent ..."
 
Том 15, № 1 (2008) Пространственнонеоднородные инвариантные торы в модели мультипликаторакселератор Аннотация  PDF (Rus)  похожие документы
Е. В. Коршунова, А. Н. Куликов
"... model proposed by Paul Samuelson which is an extension of the works of John Keynes. The suggested ..."
 
Том 24, № 2 (2017) Построение высокоуровневой модели процесса по журналу событий Аннотация  похожие документы
Антонина Константиновна Бегичева, Ирина Александровна Ломазова
"... process model from a low-level event log, i.e. automatic synthesis of process models based ..."
 
Том 22, № 2 (2015) Эффективность доступа к данным в СУБД DIM Аннотация  PDF (Rus)  похожие документы
Дмитрий Владимирович Антонов, В. С. Рублев
"... of subject domain is entered by means of an object and dynamic data model (OD-model), and DIM DBMS ..."
 
Том 21, № 6 (2014) Использование случайной выборки моделей для решения задачи интерполяции Крейга в рамках ограниченной проверки моделей Аннотация  PDF (Rus)  похожие документы
Марат Халимович Ахин, Семен Леонидович Колтон, Владимир Михайлович Ицыксон
"... in recent years in the context of bounded model checking to do function summarization which allows one ..."
 
1 - 75 из 280 результатов 1 2 3 4 > >> 

Советы по поиску:

  • Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
  • Служебные слова (предлоги, союзы и т.п.) игнорируются
  • По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
  • Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
  • Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
  • Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
  • Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
  • Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)