Harvester open publications of NAS Ukraine
Harvester open publications of NAS UkraineNot a member yet
2350 research outputs found
Sort by
Spectrum of sequential number pershopordinal compositional-nominative logics
No full textPrombles in programming 2013; 3: 22-3
Characteristics of information flows of software modules included in the software for automated support of ...
No full textPrombles in programming 2013; 3: 86-9
Interface-oriented approach to modelling tools for multi-agent systems
Full text linkHigh-level modeling systems for multi-agent systems can significantly accelerate the process of developing and implementing software for autonomous multi-agent missions. Since different tasks require attention to specific aspects of modeling, an interface-oriented approach can be an effective means of adapting different models of the environment to given behavioral interfaces. Modeling of multi-agent systems covers a wide range of processes– from the physical movement of agents to the formation of behavioral strategies and the organization of their interaction. The interface-oriented approach makes it possible to create flexible multi agent modeling systems that can perform a wide range of tasks, ensuring the rapid development of behavioral models in a multi-agent environment and SITL testing of low-level autopilot code. As part of the approach, the design of the system begins with the definition of interface interaction between its components, which makes it possible to reuse the code and create individual implementations of components for specific experimental tasks. Work is underway on a prototype of the Blefusku multi-agent modeling system, one of the features of which is an interface-oriented approach and support for high-level behavioral description models. The main modules of the system are a modeling environment that contains a model of the environment and generates sensor signals, and an agent container that is responsible for the behavior of objects and the content of the communication environment. The interface is described as a gRPC service that allows connecting different components written in different programming environments. The communication layer is based on the MAVLink protocol. Behavior is determined by an object that is programmed to respond to sensor data and messages and periodic activities. A fragment of a search and rescue mission scenario with drones is given as an example.Problems in programming 2025; 1: 110-11
Georgy Ovsievich Tseitlin (1940-2013)
No full textThe editorial board of the journal "Problems in Programming" is saddened to announce that after a long illness, a member of the editorial board, leading researcher at the Institute of Software Systems of the National Academy of Sciences of Ukraine, Doctor of Technical Sciences, Professor Georgy Ovsievich Tseitlin passed away at the age of 73
Software simulator of the pancreas
No full textAn autonomous software simulator (SS), based on the quantitative mathematical model (MM) of insulin-glucose relations in human organism, is proposed. The SS simulates the dynamics of the secretion of insulin from the pancreas and the regulation of glucose concentration in human blood. In the future, the MM and SS may be advanced in order to be integrated in special software-modeling tool aimed to provide simulation research concerning unclear aspects of physiological and pathological processes in the multi-scale mechanisms energy supplying human cells.Problems in programming 2013; 1: 100-10
Conception of industry scientific software to decision scientific tasks
No full textThe analysis state and using factories in industrial developing software are done. Basics of fabric scientific software and ground them to decision task are proposed. Industrial approach to computing of different scientific tasks e–science is elaborated. New disciplines for production program artifacts, reuses and training those students on specialties of informatics and Computer Sciences are development.Prombles in programming 2011; 1: 3-1
One model of optimal resource allocation in homogeneous multiprocessor system
No full textThis paper deals with the control model of optimal recourse allocation in homogeneous multiprocessor system. We proposed an approach to developing optimal control using fluid models theory domain. We obtain analytic solution for time depending of parallel execution parameters. Results are validated by experimentation for matrix multiplication example.Problems in programming 2011; 1: 29-3
The registration and accounting of the information about events in specialized informational-telecommunication systems
No full textThe analysis of detailed decomposition of process of registration, the account and processing in the specialized information-telecommunication systems of the information on supernumerary events in control to the environment of organizational structures. Such analysis allows to develop algorithm of the mentioned process and to define structure and functional loading of the necessary software for its realization.Problems in programming 2011; 1: 49-6
Neurocontrol Methods: A Survey
No full textWe consider methods of using neural networks to control dynamic objects. Schemes of neural networks training and connecting inside the control systems are presented in details. Analysis of benefits and disadvantages of described methods is presented.Problems in programming 2011; 2: 79-9
Special relations of logical consequence in logics of quasi-ary predicates
No full textWe introduce and study X–Y-valued relations of logical consequence for first-order composition-nominative logics of partial single-valued, total multiple-valued and partial multiple-valued predicates. A number of properties of the defined relations is obtained, particularly the properties of quantifier elimination. Such properties will be the basis for construction of corresponding sequent calculi.Prombles in programming 2011; 4: 36-4