Компьютерные и информационные науки список научных статей
-
Алгоритм распознавания плагиатов кодов программ
В данной статье рассмотрен алгоритм распознавания плагиатов кодов программ. Предлагаемый алгоритм позволяет оценить схожесть программных текстов и построить соответствующие кластеры. Описан подход к разработке программного обеспечения, реализующего данный алгоритм, сформулированы задачи, решаемые...
2018 / Малышев Егор Вадимович, Смелов Владимир Владиславович -
Разработка программного обеспечения для вычисления показателей надежности полиграфического оборудования
В статье описана разработка клиент-серверного программного обеспечения для удобного использования в процессах производства. Информацией для серверной части в данном случае будут выступать журналы об отказах оборудования на полиграфических предприятиях. В разрабатываемом программном средстве для...
2018 / Голуб Надежда Сергеевна, Кальман Владислав Анатольевич -
Разработка мобильной версии интернет-ресурса "500-летие книгопечатания в Беларуси" на базе операционной системы Android
В статье решается задача разработки мобильного приложения на платформе Android для информационного ресурса Национальной библиотеки Беларуси, посвященного 500-летию белорусского книгопечатания. Выбор платформы обусловлен массовостью и широким распространением среди пользователей современных...
2018 / Грудо Сергей Казимирович, Молдованов Артем Андреевич -
Синтез и восстановление квантованных голограмм Фурье и Френеля для защиты цифровых изображений
Предложены модели формирования квантованных голограмм Фурье как метод защиты цифровых изображений, основанный на внедрении в голограмму секретных ключей в виде цифровых кодирующих масок, с помощью которых осуществляется дополнительная пространственная модуляция опорного или объектного пучков....
2017 / Борискевич Анатолий Антонович, Ероховец Валерий Константинович, Ткаченко Вадим Викторович -
Разработка алгоритма генерации временных кодов для идентификации подлинности продукта
Разработан алгоритм генерации временных кодов для маркировки упаковки продукции. Осуществлена его программная реализация. С учетом временного фактора, который выражается в том, что код имеет определенный срок действия, разработанный алгоритм является эффективным инструментом для подтверждения...
2017 / Шмаков Михаил Сергеевич, Кошевая Алеся Николаевна -
Медиатехнологии компьютеризированной обучающей системы при внедрении инфокоммуникативного пространства экспериментальных исследований
Обоснована необходимость и предложена методика интеграции прикладной платформы виртуальной лаборатории в информационное пространство обучающей системы при организации академического процесса. Показана нецелесообразность применения иностранных пакетов моделирования составляющих громоздких...
2017 / Нерода Татьяна Валентиновна -
Technical education assessment in both Belarus and Lebanon and its improvement using intelligent decision support system
Technical education is traditionally defined as the program of education that prepares technicians and is the option that has all the times been considered as "second-rate one" for a minority of small educational achievers. This educational sector has been established at all stages in both Lebanon...
2017 / Nureddin Sharif, Zin'Kina Diana Vasil'Evna -
Обнаружение ошибок, возникающих при использовании динамической памяти после её освобождения
Существенная часть программного обеспечения написана на языках программирования C/C++. Программы на этих языках часто содержат ошибки: использования памяти после освобождения (Use After Free, UAF), переполнения буфера (Buffer Overflow) и др. В статье предложен метод обнаружения ошибок UAF,...
2018 / Асрян С.А., Гайсарян С.С., Курмангалеев Ш.Ф., Агабалян А.М., Овсепян Н.Г., Саргсян С.С.ВАК -
Extracting architectural information from source code of arinc 653-compatible application software using CEGAR-based approach
It may be useful to analyze and reuse some components of legacy systems during development of new systems. By using a model-based approach it is possible to build an architecture model from the existing source code of the legacy system. The purpose of using architecture models is to analyze the...
2018 / Lesovoy S.L.ВАК -
Вопросы индустриального применения синхронизационных контрактов при динамическом поиске гонок в Java-программах
Состояния гонки (data race) возникает в многопоточной программе при одновременном обращении нескольких потоков к разделяемым данным. Существует два основных подхода к обнаружению гонок статический анализ программы (без её запуска) и динамическое обнаружение гонок в процессе работы программы. Ранее...
2018 / Трифанов В.Ю.ВАК -
Applying deep learning to C# call sequence synthesis
Many common programming tasks, like connecting to a database, drawing an image, or reading from a file, are long implemented in various frameworks and are available via corresponding Application Programming Interfaces (APIs). However, to use them, a software engineer must first learn of their...
2018 / Chebykin A.E., Kirilenko I.A.ВАК -
Stealth debugging of programs in Qemu emulator with WinDbg debugger
When programs are analyzed for the presence of vulnerabilities and malicious code, there is a need for a quality isolation of the analysis tools. There are two reasons for this. At first, the program can influence the tool environment. This problem is solved by using the emulator. At second, the...
2018 / Abakumov M.A., Dovgalyuk P.M.ВАК -
Configurable system call tracer in qemu emulator
Sometimes programmers face the task of analyzing the work of a compiled program. To do this, there are many different tools for debugging and tracing written programs. One of these tools is the analysis of the application through system calls. With a detailed study of the mechanism of system calls, ...
2018 / Ivanov A.V., Dovgaluk P.M., Makarov V.A.ВАК -
Анализ методов оценки надежности оборудования и систем. Практика применения методов
Проводится анализ моделей и методов оценки надежности технических и программных средств. Определяются основные понятия методов надежности и безопасности таких систем и ситуаций, приводящих к ошибкам, дефектам и отказам. Дано определение надежности и безопасности технических систем и программного...
2018 / Пакулин Н.В., Лаврищева Е.М., Рыжов А.Г., Зеленов С.В.ВАК -
In-kernel memory-mapped I/O device emulation
Device emulation is a common necessity that arises at various steps of the development cycle, hardware migration, or reverse-engineering. While implementing the algorithms behind the device may be a nontrivial task by itself, connecting the emulator to an existing environment, such as drivers...
2018 / Cheptsov V.Yu., Khoroshilov A.V.ВАК -
Building Modular real-time software from unified component model
Modern real-time operating systems are complex embedded product made by many vendors: OS vendor, board support package vendor, device driver developers, etc. These operating systems are designed to run on different hardware; the hardware often has limited memory. Embedded OS contains many features...
2018 / Mallachiev K.A., Khoroshilov A.V.ВАК -
Cryptographic stack machine notation one
A worthy cryptographic protocol specification has to be human-readable (declarative and concise), executable and formally verified in a sound model. Keeping in mind these requirements, we present a protocol message definition notation named CMN.1, which is based on an abstraction named...
2018 / Prokopev S.E.ВАК -
Construction of validation modules based on reference functional models in a standalone verification of communication subsystem
The paper proposes some approaches to functional verification of microprocessor communication controllers based on developing layered UVM (Universal Verification Methodology) test systems. In modern microprocessor systems there are a lots of controllers operating with their own data types....
2018 / Lebedev D.A., Stotland I.A.ВАК -
Verification of system on chip Integrated communication controllers
This article presents an approach used to verify communication controllers developed for Systems on Chip (SOC) at MCST. We provide a list of communication controllers developed in MCST and present their characteristics. We describe principles of communication controller’s operation on transaction,...
2018 / Petrochenkov M.V., Mushtakov R.E., Shpagilev D.I.ВАК -
Программные решения для динамического изменения пользовательского интерфейса на основе автоматически собранной информации о пользователе
В статье описываются функциональные возможности и структура программного модуля для автоматизированной адаптации интерфейсов веб-приложений. Особое внимание уделяется идентификации и различению псевдоанонимных пользователей веб-приложений для адаптации интерфейса под конкретного пользователя....
2018 / Зосимов В.В., Христодоров А.В., Булгакова А.С.ВАК