Компьютерные и информационные науки список научных статей
-
Модифицированные коды с суммированием взвешенных переходов в системах функционального контроля комбинационных схем
Предложен способ построения модифицированных кодов с суммированием взвешенных переходов между разрядами в информационных векторах, занимающими соседние позиции в информационных векторах. Новые коды с суммированием имеют такое же количество контрольных разрядов, как и классические коды Бергера,...
2017 / Сапожников В.В., Сапожников Вл.В., Ефанов Д.В.ВАК -
A flat chart technique for embedded os testing
Modern automatic devices are more and more equipped with microcontroller units. The logic of work of the automatic equipment is supported by a number of various embedded software applications, which run under an embedded real-time operating system (OS). The OS reliability is extremely important for ...
2017 / Nikiforov V.V., Baranov S.N.ВАК -
Designing variability models for software, operating systems and their families
The complexity of existing Legacy systems and the difficulty of amending it led to the development of the new concept of variability of systems specified by a model of the characteristics of FM (Feature Model). In the paper, we discuss the approaches to formal definition of FM and creating on its...
2017 / Lavrischeva E.M., Mutilin V.S., Ryzhov A.G.ВАК -
Подход к определению достижимости программных дефектов, обнаруженных методом статического анализа, при помощи динамического символьного исполнения
Среди методов анализа программ на наличие дефектов выделяют методы статического и динамического анализа. В данной статье мы предлагаем комбинированный подход, заключающийся в применении динамического символьного исполнения для определения достижимости дефектов, найденных при помощи статического...
2017 / Герасимов А.Ю., Круглов Л.В., Ермаков М.К., Вартанов С.П.ВАК -
Логика первого порядка для задания требований к безопасному программному коду
В настоящее время вопросу защиты информации при проектировании и эксплуатации объектов критической информационной инфраструктуры уделяется особое внимание. Одним из распространенных подходов к обеспечению безопасности информации, обрабатываемой на объектах, при этом является создание изолированной...
2017 / Козачок А.В.ВАК -
Обещающая компиляция в ARMv8. 3
Поведение многопоточных программ не может быть промоделировано попеременным последовательным исполнением различных потоков на одном вычислительном узле. На данный момент полное и корректное описание поведения многопоточных программ является открытой теоретической проблемой. Одним из перспективных...
2017 / Подкопаев А.В., Лахав О., Вафеядис В.ВАК -
Инструментальная поддержка создания и трансформации функционально-потоковых параллельных программ
В работе рассмотрен нетрадиционный подход к созданию параллельных программ, их анализу и трансформации с использованием языка функционально-потокового параллельного программирования, обеспечивающего написание программ без учёта ресурсных ограничений, что позволяет изначально ориентироваться на...
2017 / Легалов А.И., Васильев В.С., Матковский И.В., Ушакова М.С.ВАК -
Объектно-ориентированная среда для разработки приложений планирования движения
Обсуждаются принципы организации и функционирования инструментальной среды для программной реализации моделей, методов и приложений теории планирования движения. Среда предоставляет развитый набор готовых к использованию программных компонентов для автоматического построения бесконфликтных...
2017 / Казаков К.А., Семенов В.А.ВАК -
Эволюционная разработка системы визуального планирования проектов на основе объектно-ориентированного каркаса
В статье описывается практический опыт разработки перспективной системы визуального планирования проектов на основе объектно-ориентированного каркаса. Используемый каркас представляет собой систему классов и интерфейсов, предназначенных для программной реализации моделей, методов и приложений...
2017 / Аничкин А.С., Морозов С.В., Семенов В.А., Тарлапан О.А.ВАК -
Моделирование программно-аппаратных систем и анализ их безопасности
В данной статье демонстрируется целесообразность применения языка моделирования программно-аппаратных систем AADL и его расширения Error Model Annex для описания требований безопасности проектируемой системы. Наиболее важным аспектом здесь является возможность описания требований безопасности в...
2017 / Зеленов С.В., Зеленова С.А.ВАК -
Разработка комплекса программ для анализа технического состояния грузоподъемных механизмов
В статье приводится описание комплекса программ для анализа технического состояния грузоподъемных механизмов. Описывается методика анализа грузоподъемных механизмов. В работе представлено описание логической модели базы данных для обработки и хранения результатов анализа и представлена модель...
2017 / Мокшин В.В., Кирпичников А.П., Шарнин Л.М.ВАК -
Обеспечение информационной безопасности функционирования комплексов беспилотной разведки
Беспилотные летательные аппараты разведки являются одним из эффективных и перспективных средств сбора данных о противнике, находящихся практически в его боевых порядках. Подобного рода системы относятся к сложных, территориально распределённым системам, в которых может существовать большое...
2017 / Тутубалин П.И., Кирпичников А.П.ВАК -
Выделение границ на изображениях на основе модели энергетических признаков вейвлет-преобразования
Рассмотрены модели представления изображений на основе признаков цвета, текстуры, формы и структуры. Описана модель энергетических признаков изображений. Показано применение модели энергетических признаков на основе вейвлет-преобразования для выделения границ на изображениях
2017 / Шлеймович М.П., Кирпичников А.П., Ляшева С.А., Медведев М.В.ВАК -
Имитационное моделирование в системе Simul8
Приводится краткое описание системы Simul8. Приведены структурные модели четырёх однофазных систем массового обслуживания: М/М/1, М/М/5, М/М/5/2, М/М/5/0 и результаты имитационного и аналитического моделирования этих СМО и их сравнения между собой. Отмечены достоинства и недостатки системы Simul8.
2017 / Якимов И.М., Кирпичников А.П., Валова К.Д., Анишкина В.Н.ВАК -
Интерпретатор языка с для электронного обучения программированию
Описывается учебный интерпретатор языка С для системы электронного обучения программированию. Рассматривается его использование для оценки программ учащихся.
2017 / Хохлов Д.Г., Кирпичников А.П., Халид Г.Х.ВАК -
Имитационное моделирование в системе ProcessSimulator
Приводится описание системы структурного и имитационного моделирования ProcessSimulator. Приведены модели четырех однофазных систем массового обслуживания: М/М/1, М/М/5, М/М/5/2, М/М/5/0, результаты их имитационного и аналитического моделирования, и сравнения результатов моделирования между собой....
2017 / Якимов И.М., Кирпичников А.П., Суханкина С.А., Гасимов Д.З.ВАК -
Автоматизация маркетингового анкетирования
В работе предложено программное обеспечение, которое позволяет автоматизировать процессы анкетирования клиентов и анализа данных опроса. Сценарий анкетирования. реализованный в программе, позволяет изучать потребности клиентов, степень их удовлетворенности качеством обслуживания, а также повышать...
2017 / Будникова И.К., Приймак Е.В., Сокова А.О.ВАК -
Подход к сокрытию данных в распределённой системе
В статье приводится краткая характеристика методов и средств используемых для обеспечения защиты информации в некоторой организации, то есть сокрытие конфиденциальных данных. Предложена саморегулирующаяся схема работы средств системы защиты информации и стохастический метод, обеспечивающий...
2017 / Тутубалин П.И., Кирпичников А.П.ВАК -
Сравнение систем структурного и имитационного моделирования по модели м/м/5
В статье приводится описание13 систем структурного и имитационного моделирования (ССИМ): AnyLogic, Arena, Bizagi Мodeler, Business Studio, Enterprise Dynamics, ExtendSim, Flexsim, GPSS W, Plant Simulation, Proccess Simulator, Rand Model Designer, Simio и Simul8. В структурных моделях, построенных в ...
2017 / Якимов И.М., Кирпичников А.П., Мокшин В.В., Яхина З.Т.ВАК -
Методы ранговой фильтрации в системах видеонаблюдения
Рассмотрены методы ранговой фильтрации изображений в системах видеонаблюдения. Приведены результаты анализа медианного фильтра, фильтра минимума, фильтра максимума, фильтра срединной точки. Показана эффективность метода медианной фильтрации.
2017 / Гут Р.В., Кирпичников А.П., Ляшева С.А., Шлеймович М.П.ВАК