Harvester open publications of NAS Ukraine
Harvester open publications of NAS UkraineNot a member yet
2350 research outputs found
Sort by
Construction of sequent calculi of composition-nominative multimodal logics
No full textIn this paper first-order composition-nominative multimodal logics of quantifier-equational level are studied. For these logics sequent calculi are constructed. Soundness and completeness theorems are proved for the defined calculi. Problems in programming 2013; 1: 3-1
Methods and ways for realization of the automated support testing of the integrated information security system
No full textDescribesthe steps for creatingof the integrated information security system and an approach to the development of the software for support of testing of the integrated information security system, defined a tasks which canbe implemented with using the method of automatedsupport. Also, it is suggested a possible methodology (algorithm) of automatedtesting and description of the functionalmodulesincluded inthe proposed algorithmof the software.In the article analyzes thebasic requirements forthe program,which should betaken into account inits development.Problems in programming 2013; 1: 85-9
Sequent calculi of composition nominative modal logics of functional-equational level
No full textComposition nominative modal and temporal logics of functional-equational level are studied in this paper. Basing on properties of relation of logical consequence for sets of formulas, sequent calculi are constructed for general and temporal logics of such level. The soundness and completeness theorems for these calculi are proved.Problems in programming 2011; 1: 17-2
Agent model of information retrieval on the basis of beehive metaphor
No full textA new approach to information retrieval that is based on a beehive metaphor is presented. A beehive model simulates several kinds of beehive typical behavior. It is a simple model that describes processes taking place in Web-search. The approach gives possibility of distributed PageRank calculation of Web pages.Prombles in programming 2011; 1: 70-7
Developing software model of neural network PID controller in LabVIEW
No full textIn this article the method of synthesis and modeling of neural network PID controller is presenred by means of LabVIEW to build an adaptive system of automatic control. As a control object was selected DC motor. Synthesis and simulation of neural network PID controller met the functional properties of classical PID regulator. Structure of neural network PID controller – perceptron with one hidden layer neurons, and neural network learning algorithm is back propagation.Problems in programming 2011; 1: 99-10
Approaches to configuring reusable assets
No full textProblems and goals of the reusable assets configuration methods where identified. Proposed to use Domain Specific Language (DSL) for developing configuration tool and offered software product which extend software product line (SPL) development environment.Prombles in programming 2011; 4: 63-7
Enhancing ball detection in football videos using attention mechanisms in FPN-based CNNS
Full text linkWhile deep learning models have significantly advanced player detection in sports analytics, accurately identi fying the football remains a persistent challenge due to its small size, rapid movement, frequent occlusions, and visual similarity to other elements such as player socks, logos, and field markings. This limitation significantly reduces the effectiveness of automated systems in comprehensively analyzing football matches, particularly in applications such as tactical event recognition, shot classification, and game state prediction. In this paper, we propose a method to improve ball detection accuracy in football videos by enhancing an existing architecture based on Feature Pyramid Networks (FPN). The original FPN-based model, although efficient for detecting large-scale players, shows limited performance in detecting small objects such as the ball. To address this, we integrate lightweight attention mechanisms to help the model focus on more relevant spatial and semantic fea tures. Specifically, we introduce Squeeze-and-Excitation (SE) layers into the backbone of the network to perform channel-wise feature recalibration and embed a Convolutional Block Attention Module (CBAM) into the ball detection head to refine both spatial and channel-level attention. These modifications are designed to enhance the network’s ability to distinguish the ball from cluttered backgrounds and visually similar objects. Our exper iments, conducted on the ISSIA-CNR and Soccer Player Detection datasets, demonstrate that the proposed at tention-augmented model achieves improved ball classification accuracy compared to the baseline, with no deg radation in player detection performance. These results validate the utility of lightweight attention mechanisms in the context of small object detection and provide a promising direction for more robust and real-time football video analysis systems.Prombles in programming 2025; 2: 54-6
Modernization of the economic and property complex management system of the National academy of sciences of Ukraine
Full text linkIn 2023 the Institute of Software Systems of the National Academy of Sciences of Ukraine created and imple mented a computer information and analytical system known as the Digital Real Estate Management System of the NASU. It was aimed at creating effective management of the NASU as a unified economic and property complex. The system is designed to manage the accounting, storage and use of reliable and up-to-date infor mation on real estate, as well as lease and use agreements. The system was developed using a modern software platform without using software from the aggressor country. The article describes a modernized version of the system, in which new subsystems were introduced and existing ones were improved. That allows more efficient management of the property complex of the National Academy of Sciences of Ukraine.Prombles in programming 2025; 2: 98-11
Cybernetics, Informatics and Software Engineering: Aspects of Development
No full textAn analysis of development for Computer Science’s basic disciplines such as cybernetics, informatics, system and software engineering and so on is presented. These disciplines’ definition, their essence and content are given. Each discipline development, their links and mutual influence are analyzed. An international program for teaching in these disciplines, recommended for usage in higher school, is explored. Its core is Software Engineering that enriches these disciplines with the new tools and improves itself being aimed at industrialization of various software application.Problems in programming 2010; 1: 3-1
Relations of logical consequence in composition nominative logics
No full textSemantic properties of composition nominative logics of partial single-valued, total and partial ambiguous predicates of propositional, renominative and quantifier levels are studied. Relations of logical consequence for pairs and sets of formulas, and relations of logical equivalence are investigated.Prombles in programming 2010; 1: 15-3