Аннотация: Предметом исследования является применение современных подходов для определения направленных на повышение надежности программного обеспечения мер безопасности и качества информационной системы. Объектом исследования являются модели определения надёжности программного обеспечения. Автор подробно рассматривает такие аспекты темы как: использование функционального подхода к изучению надежности программной составляющей, складывающейся из совокупного достижения надежности каждого функционального блока; использование системного подхода в части исследования надёжности программного обеспечения в структуре информационной системы. Особое внимание уделяется сопоставлению существующих моделей и способов определения надёжности. Предлагаемая методика оценки надежности программного обеспечения основывается на выделении функциональных блоков и позволяет гарантировать качество и надёжность конечного результата разработки программного обеспечения. Основные выводы проведённого исследования: использование системного подхода дает возможность выявить качества, следующие из взаимных связей между составляющими элементами программы, которые определяют современные способы повышения надежности программных продуктов. В работе предложено адаптировать главные системные принципы повышения надежности программного обеспечения, доказывается полезный эффект от их внедрения. Новизна исследования заключается в совместном использовании функционального и системного подходов с целью выявления способов роста качества и надежности, что позволяет учитывать особенности внутри структурных элементов программы и их взаимодействие.

Ключевые слова: автотестирование информационной системы, надежность программного обеспечения, надёжность систем управления, функциональный блок, оценка надежности, обеспечение надежности, повышение надежности, программное обеспечение, системный подход, функциональный подход

Abstract: The subject of research is the use of modern approaches to determine aimed at improving the reliability of software security and quality of the information system. The object of research is a model determining the reliability of the software. The author examines in detail aspects such topics as: the use of a functional approach to the study of the reliability of the software component is the sum of the aggregate reliability to achieve each function block; Use a systematic approach to the study of the reliability of the software in the information system structure. Particular attention is paid to the comparison of existing models and methods of determining the reliability. The proposed method of estimating software reliability based on the allocation of the function blocks and to guarantee quality and reliability of the final result of software development. Key findings of the study: the use of a systematic approach makes it possible to identify the quality of the following interconnections between the constituent elements of the program, which define modern ways to improve software reliability. The paper proposed to adapt the major principles of the system improve the reliability of software proved useful effect of their introduction. The novelty of the research lies in the joint use of the functional and systemic approach in order to identify ways to increase the quality and reliability that takes into account the characteristics within the structural elements of the program and their interaction.

Keywords: improving reliability, software reliability, reliability assessment, functional unit, the reliability of management systems, reliability of software, self-test information system, software, systems approach, functional approach

Аннотация: Предметом исследования является потенциальная уязвимость, в частности на переполнение буфера, в различном программном обеспечении, связанная с функцией стандартной библиотеки языка программирования С/С++ strcpy и подходы и методы поиска таковой уязвимости. Объектом исследования выступают данные машинного кода компиляторов при выполнении сборки программы в различных режимах. Целью исследования является провести анализ некоторых особенностей машинного кода, генерируемого различными компиляторами для Windows и Linux в режимах Debug и Release, в том числе, проведя на основе этого обзор уязвимости переполнения буфера. Методы исследования. В работе рассматриваются и развиваются методы построения алгоритмов поиска уязвимости переполнения буфера, исследуются характеристики данной уязвимости на уровне машинного кода. Для этого используются компиляторы Visual C++, Intel C++, g++, а также отладчики WinDBG, GDB. Ключевые выводы. Сборка программ в различных режимах приводит к формированию различий в исполняемом коде, который сделан из полностью одного и того же кода языка программирования высокого уровня; эти различия проявляются в отличиях в поведении программы. В ходе исследования программного обеспечения в поисках уязвимостей важно проводить анализ машинного кода с целью выявления скрытых закономерностей. Новизна исследования заключается в выявлении отличий в машинном коде, полученном после сборки одинакового высокоуровневого кода, определении «штампов» компиляторов при выполнении сборки программы в различных режимах. Особым вкладом автора в исследование темы является развитие методов построения алгоритмов поиска уязвимости переполнения буфера.

Ключевые слова: Информационная безопасность, Уязвимости, Анализ кода, Дизассемблирование, Переполнение буфера, Штампы компиляторов, Режим Debug, Режим Release, Методы построения алгоритмов, отладчик WinDBG

Abstract: The subject of the study is a potential  buffer overflow vulnerability in various software related to the function of the standard C / C ++ strcpy programming language library and approaches and methods for finding such vulnerabilities. The object of the study is the data of the machine code of the compilers when the program is assembled in various modes. The purpose of the study is to analyze some features of the machine code generated by various compilers for Windows and Linux in the Debug and Release modes, including, on the basis of this, a review of the buffer overflow vulnerability. Research methods. The paper reviews and develops methods for constructing algorithms for searching for buffer overflow vulnerabilities, examines the characteristics of this vulnerability at the level of machine code. This is done using the Visual C ++ compilers, Intel C ++ compilers, g ++ compilers, as well as the WinDBG, GDB debuggers. Key findings. Building programs in different modes leads to the formation of differences in the executable code, which is made from the completely same high-level programming language code; these differences manifest themselves in differences in program behavior. In the course of researching software in search of vulnerabilities, it is important to analyze computer code in order to identify hidden patterns. The novelty of the study lies in identifying differences in the machine code obtained after assembling the same high-level code, identifying compiler stamps when executing the assembly of the program in different modes. A special contribution of the author to the study of the topic is the development of methods for constructing algorithms for searching for buffer overflow vulnerabilities.

Keywords: Debug mode, Compiler stamps, Buffer overflow, Disassembling, Code analysis, Vulnerabilities, Information security, Release mode, Algorithm construction methods, WinDBG debugger

Аннотация: Предметом исследования является определение связей между элементами проекта разработки программного обеспечения, реализуемое с помощью трассировки требований на основе данных из систем контроля версий исходного программного кода. Многие известные методы трассировки являются зависимыми от языка программирования, что ограничивает их использование в проектах, разрабатываемых с использованием нескольких языков программирования. Поэтому цель исследования заключалась в формировании набора алгоритмов, позволяющих выстраивать связи между сущностями процесса разработки программного обеспечения (артефактами) на основе исходного кода, и анализировать эти связи (при этом код должен быть независимым от языка программирования и простым в реализации). Методология исследования объединяет методы системного анализа, программной инженерии, разработки программного обеспечения, теории надежности, информатики и математической квалиметрии. Основными выводами проведенного исследования являются алгоритмы автоматизированного определения связей между элементами проекта разработки программного обеспечения, позволяющие решать поставленные задачи выполнения импакт-анализа. Высокую вычислительную сложность разработанных алгоритмов можно снизить путем постепенного формирования глобальной матрицы связности по мере развития проекта. Точность разработанных алгоритмов можно повысить, если в качестве элемента связи брать не файл, а функцию или метод класса.

Ключевые слова: программная инженерия, разработка программного обеспечения, требования к программам, трассировка требований, система контроля версий, программный код, версии программного кода, архитектура программного приложения, контроль целостности архитектуры, связи элементов проекта

Abstract: The subject of the study is to determine the links between elements of software development projects implemented with the help of tracing requirements on the basis of data from the monitoring systems of versions of the source code. Many well-known tracing techniques are dependent on the programming language, which limits their use in projects developed using multiple programming languages. Therefore, the research goal was to form a set of algorithms to build relationships between the entities the software development process (artifacts) on the basis of the source code and analyze these connections (the code should be independent of the programming language and easy to implement). The research methodology combines methods of system analysis, software engineering, software development, reliability theory, computer science and mathematical qualimetry. The main conclusions of the study are the algorithms for the automated determination of relations between the elements of a software development project, allowing to solve tasks perform impact analysis. High computational complexity of the algorithms developed can be reduced by the gradual formation of a global connectivity matrix as the project progresses. The accuracy of the developed algorithms can be improved, if the coupling element does not take the file, and the function or class method.

Keywords: software application architecture, version the program code, program code, version control system, tracing requirements, program requirements, software development, program engineering, integrity control architecture, communication project elements

Аннотация: Традиционно, в импульсной ЯМР-спектроскопии сигналы регистрируются путем вычитания из них опорной частоты, близкой к ларморовой частоте ядра, оцифровки и дальнейшей числовой обработки. В современной ЯМР-аппаратуре тракт приемника состоит из преселектора, квадратурного детектора, нормирующего усилителя, фильтра низких частот и аналого-цифрового преобразователя. Недостатком такого приемника является длина аналогового тракта, поскольку при прохождении сигнала через каждый модуль, на него накладываются дополнительные шумы. Тепловой шум возникает при флуктуациях электронов в проводниках, имеющих определенную температуру. Такие флуктуации имеют спектральные составляющие, находящиеся в той же полосе частот, что и полезные сигналы, тем самым затрудняя их обработку. Спектр такого шума однороден на всех частотах. В данной статье проводится анализ природы шума приемного тракта релаксометра ядерного магнитного резонанса и оцениваются его характеристики, предлагается замена аналоговой части приемного тракта на цифровой квадратурный детектор и теоретически рассчитывается выгода от исключения нескольких источников шума.

Ключевые слова: ядерный магнитный резонанс, релаксометр, квадратурный детектор, сигнал, шум, цифровой приемник, детектор огибающей, коэффициент шума, помехи, приемный тракт

Abstract: Traditionally, in pulsed NMR spectroscopy signals are registered by subtracting from it the reference frequency which is near to the Larmor frequency of the nucleus, followed by digitization and further processing. In modern NMR apparatus the receiving channel consists of preselector, quadrature detector, normalizing amplifier, low pass filter and analog-to-digital converter. The disadvantage of such a receiver is the length of the analog section, since each module adds additional noises. Thermal noise occurs on fluctuations of electrons in conductors having a particular temperature. Such fluctuations have spectral components that are in the same frequency band with useful signals.  This article analyzes the nature of the noise of the receiving channel of nuclear magnetic resonance relaxometer and evaluates its characteristics. Authors suggest replacement of the analog part of receiving channel with the digital quadrature detector and theoretically calculate the benefit from the exclusion of several noise sources.

Keywords: nuclear magnetic resonance, relaxometer, quadrature detector, signal, noise, digital receiver, envelope detector, noise factor, interference, receiving channel

Аннотация: В статье описаны основные этапы методики компонентного проектирования нейронных сетей для обработки баз знаний, представленных семантическими сетями. Методика основана на использовании унифицированной модели нейронной сети и компонентном подходе к работе с нейронными сетями. Важным элементом методики компонентного проектирования нейронных сетей является библиотека совместимых НС-компонент. Одним из возможных путей решения данных проблем может быть разработка методики проектирования и использования нейронных сетей на основе унифицированной модели нейронных сетей и компонентного подхода. Методика компонентного проектирования НС базируется на использовании библиотеки совместимых НС-компонент. Делается вывод, что использование предлагаемой методики компонентного проектирования НС позволит облегчить трудозатраты при проектировании и разработке НС, снизить требования к квалификации разработчика (конечного пользователя), а также решить задачу интеграции НС с другими методами представления и обработки информации при разработке интеллектуальных систем.

Ключевые слова: проектирование, нейронные сети, базы знаний, обработка данных, НС-компоненты, интеграция, нейросетевые методы, нейроинформатика, гибридные системы, нейросетевые библиотеки

Abstract: The article describes the main steps of the methodology component design of neural networks to process knowledge bases represented by semantic networks. The technique is based on the use of a unified neural network model and component-based approach to work with neural networks. An important element of the component design of neural networks is a library of neural network compatible components . One of the possible solutions to these problems may be the development of a technique of designing and using neural networks based on the unified model of neural networks and the component approach. Component Design technique is based on the use of the library of the neural networks compatible components. It is concluded that the use of the proposed methodology of component design approach will ease the design and development of the neural networks, lower qualification requirements for the developer (the end user), as well as solve the problem of neural network integration with other methods of representation and processing of information in the development of intelligent systems.

Keywords: neuroinformatics, neural network techniques, integration, HC components, data processing, knowledge base, neural networks, design, hybrid systems, neural network library