Browsing Наукові праці by Title
Now showing items 1-20 of 1003
-
Ab initio моделирование локальной решеточной неустойчивости сегнетоэлектриков Sn2P2S6
(ХАИ, 2009)В рамках неэмпирического метода MO LCAO Хартри – Фока – Рутаана выполнены кластерные расчеты формы локального адиабатического потенциала и локальных силовых постоянных для сегнетоактивного атома олова в решетке кристалла ... -
About static analysis of variables physical dimensions for critical-mission software
(ХАІ, 2010)Some strong method of static code analysis, namely, analysis of physical dimensions of program variables is researched in the paper. The formal model to analyze the dimensions of variables is built. -
Active-passive pulse noise radar of the 3mm range and the results of preliminary tests
(ХАІ, 2023)The subject of this manuscript is broadband noise signals and systems. The aim of this research is to show the results of a modern active-passive 3-mm waveband system consisting of a noise-pulsed radar and a radiometer. ... -
Adaptive two-step method for providing the desired visual quality for SPIHT
(ХАІ, 2022)is employed to evaluate the image quality. The research method is based on a validation ex periment that is conducted for an image set covering different image complexity and texture features. The comparison results ... -
Advanced file carving: ontology, models and methods
(ХАІ, 2023)File carving techniques are important in the field of digital forensics. At the same time, the rapid growth in the amount and types of data requires the development of file carving methods in terms of capabilities, accuracy, ... -
Aiuavs-devsecops methodology as support UAV-based mine clearance infrastructure
(ХАІ, 2024)Purpose. This study aims to review existing information technology methods and adaptations used in deploying unmanned intelligent systems for land demining, with a particular focus on information security. It covers ... -
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 ... -
Analysis of file systems and technological solutions for local data storage
(ХАІ, 2024)The purpose of this study is to analyse file systems and technological solutions for local data storage. To achieve this goal, it is necessary to solve the problem of analysing the most universal of the common file systems, ... -
Analysis of opportunities to improve image denoising efficiency for DCT-based filter
(ХАІ, 2018)The subject matter of the paper is the process of image filtering. The goal is to provide high efficiency of denoising according to metrics that are more adequate to human vision system than traditional criteria as mean ... -
Analysis of two-step approach for compressing texture images with desired quality
(ХАІ, 2020)A task of lossy compression of remote sensing and other types of images with providing the desired quality is considered. Quality is mainly characterized by the peak signal-to-noise ratio (PSNR) but visual quality metrics ... -
Analytical and numerical linearization of the flight vehicle nonlinear dynamic model in the presence of wind
(ХАИ, 2017)In this paper, nonlinear mathematical dynamic model for standard unmanned aerial vehicle, Aerosonde was developed at low velocities in the presence of wind and then its linearized model was derived using numerical and ... -
Analyzing algorithms for verifying primality of large numbers
(Бровін О. В., 2023)The purpose of this work is to analyze existing algorithms for minimizing testing of large numbers. -
Architecture and implementing service-oriented pharmacological system «medicine»
(ХАІ, 2007)Present work is devoted to service-oriented systems problems. Particularly, medical web-services are discussed. Information technologies classification in medicine and urgency of web-services using in medicine are ... -
Artificial intelligence as the cognitive value of heuristic models
(ХАІ, 2022)This article is devoted to heuristic modeling of the structure of interconnections in nano-, bio- and information technologies and in cyber-physical systems, graphic images of which allow studying the fine structure of ... -
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 ... -
Comparative analysis of factorization algorithms
(ХАІ, 2024)The purpose of this work is to analyze current factorization algorithms and study how the ratio between large prime numbers influences the difficulty of factorizing their product. -
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 ...