Suche
Anzeige der Dokumente 61-70 von 130
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 ...
Discrete atomic compression of digital images: almost lossless compression
(ХАІ, 2019)
In this paper, we consider the problem of digital image compression with high requirements to the quality of the result.
Algorithm for estimation of electrophysical parameters of the surface by its own microwave radiation
(ХАІ, 2019)
The performance characteristics obtained at the level of digital statistical modeling of the developed test confirmed, firstly, the conclusions of theoretical studies. Secondly, they give specialists in the field of ...
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 ...
Mask generator for orthogonal regular mesh
(ХАІ, 2020)
A SolidWorks applica-tion has been developed that allows for volumetric visualization. In the decisive program, the information about the presence of the volume mask is used as follows: the volume mask is excluded from the ...
Radar imaging complex with SAR and ASR for aerospace vechicle
(ХАІ, 2021)
The subject of study in the article is the algorithms for radio monitoring of the Earth in a wide field of view from aerospace transport. The goal is to design a structural diagram of a radio complex that can operate ...
Comparative study of linear regression and sir models of covid-19 propagation in Ukraine before vaccination
(ХАІ, 2021)
The study aims to develop machine learning and compartment models of COVID-19 epidemic process and to investigate experimental results of simulation. The object of research is COVID-19 epidemic process and its dynamics in ...
Formalization of tasks generation for complex of interactive web-tests on math
(ХАІ, 2021)
The approach to the formalization of the generation of problem situations applicable to the development of tutoring programs consisting of many tasks is considered. The main errors arising during the software-based generation ...
Diagnostic support of an intelligent tutor system for teaching skills to solve algebraic equations
(ХАІ, 2021)
The subject of research in this article is the process of analyzing the steps for solving algebraic equations using the Lobachevsky-Graeffe-Dandelen method. The goal is to model the process of solving algebraic equations ...
Modeling the impact of threats and vulnerabilities in transport logistics of a developing enterprise
(ХАІ, 2021)
A scientific and applied problem of modeling the impact of threats and vulnerabilities in the logistics of transportation of goods of a distributed production system was posed and solved.