Browsing Статті з наукових журналів та збірок by Title
Now showing items 12-31 of 825
-
Assessing software vulnerabilities and recovery time using open resources: elements of technique and results
(ХАІ, 2007)Modern vulnerability resources are considered, their content, security and recovery time of different software products are analyzed. To make the process smoother and more efficient three main stages are distinguished: source ... -
Assurance Case driven design for software and hardware description language based systems
(ХАІ, 2016)The Claim-Argument-Evidence (CAE) approach is one from the worldly recognized technique directed to find gaps in safety-related Instrumentation and Control systems design and implementation and after that to justify meeting ... -
Ata-based security assessment of smart building automation systems
(ХАІ, 2016)The information and control system of smart building is considered as a set of subsystems including building automation system (BAS). -
BPG-based compression analysis of Poisson-noisy medical images
(ХАІ, 2023)The subject matter is lossy compression using the BPG encoder for medical images with varying levels of visual complexity, which are corrupted by Poisson noise. The goal of this study is to determine the optimal parameters ... -
Comparison of algorithms for controlled pixel-by-pixel classification of noisy multichannel images
(ХАІ, 2019)The subject of this study is the pixel-by-pixel controlled classification of multichannel satellite images distorted by additive white Gaussian noise. The paper aim is to study the effectiveness of various methods of image ... -
Consistency issue and related trade-offs in distributed replicated systems and databases: a review
(ХАІ, 2023)This paper reviews trade-offs in distributed replicated databases and provides a survey of recent research papers studying distributed data storage. -
Continuous cuffless blood pressure measurement using feed-forward neural network
(ХАІ, 2023)The target of the study was to obtain systolic and diastolic blood pressure based on an FFNN, the input arguments of which are the parameters of the ECG and PPG signals. -
Cybersecurity of FPGA-based automation systems for smart building
(ХАІ, 2015)Technology advancements such as programmable logic (FPGA) and mobile decisions have made the implementation of embedded intelligent systems within home and office appliances. This increased their capabilities and features. ... -
Cybersecurity risk analysis of multifunctional UAV fleet systems: a conceptual model and IMECA-based technique
(ХАІ, 2023)The subject of this study is to ensure the cybersecurity of systems of multifunctional UAV fleets (SMF UAV). The purpose of this study is to identify and analyze the risks associated with the cybersecurity of multi-functional ... -
Design of the robust PID control for uncertain nonlinear model of the UAV using artificial gain and time-delay model
(ХАІ, 2017)Estimations of the flight vehicles aerodynamic coefficients through the theoretical, numerical, wind tunnel and flight-test methods have always errors and uncertainties. Nonlinear dynamics of the unmanned aerial vehicle ... -
Determination of distribution laws of delays contributing to web-services response time
(ХАІ, 2010)The paper reports results of finding distribution laws representing Web-Services response time and delays contributing. -
Distributed cloud system: security and keyword indexing issues with implementation strategy and business limitations
(ХАІ, 2016)The article focuses on several technical and business issues that are essential for the development of distributed cloud system related to security, keyword indexing and business implementation. -
Eddy current tomography for visualization of cracks in aircraft riveted joints
(ХАІ, 2021)The control of the subsurface areas of metal products is necessary in many technological processes. So, for example, in aerospace technology it is essential to determine the presence of defects in aircraft engines. The ... -
Event-B patterns for developing FPGA-BASED hardware
(ХАІ, 2010)The paper describes the first step of methodology for designing dependable hardware which is based on field programmable gate array technology. This step means the development of patterns using Event-B language useful ... -
Exploring timeout as a performance and availability factor of distributed replicated database systems
(ХАІ, 2020)In the paper, we consider the role of the application timeout which is the fundamental part of all distributed fault tolerance mechanisms working over the Internet and used as the main error detection mechanism here. The ... -
Fault-tolerant SoPC-based approaches with multi-version IIP
(ХАІ, 2007)In this paper different approaches of Infrastructure Intellectual Property (IIP) implementation for System-on- Programmable-Chip (SoPC) are discussed. Several diversity-oriented SoPC approaches and different techniques of ... -
Features of banking information systems dependability taxonomy
(ХАІ, 2007)Banking information systems (BIS) evolution history and general structure are considered. The main BIS requirements are analyzed. The dependability attributes with regard to BIS are determined. -
Four-antenna amplitude direction finder: statistical synthesis and experimental research of signal processing algorithm
(ХАІ, 2023)The subject of this study is the algorithms for measuring the angular positions of radio emission sources. The goal of this study is to develop an improved algorithm for signal processing in amplitude direction finders ... -
GAP- and HTT-based analysis of safety-critical systems
(ХАІ, 2012)The paper discusses importance of assessment of interference degree for various attributes of safety-critical systems, as well as proposes applicable metrics. Also, the paper presents an approach to analysis of ... -
Grid safety analysis based on linguistic bayesian belief network
(ХАІ, 2012)The state of power grid is determined by states of its systems, conditioned by their mutual influence of different nature. These influences cause the change of state of each system during grid life cycle. The proposed ...