Harvester open publications of NAS Ukraine
Harvester open publications of NAS UkraineNot a member yet
2350 research outputs found
Sort by
Method for calculating the parameters of phase transitions of discrete technological and information processes of strategic planning with parallelization of computations
No full textProblems in programming 2013; 4: 86-9
About the method of the nearest point as a method of management of strategies of pursuit/evasion of agents
No full textProblems in programming 2013; 4: 94-9
Static method of consistency and completeness checking in formal model of distributed software systems
No full textThe paper describes a new method for discovering of incompleteness, inconsistency and race conditions in formal models. The method implements the properties checking basing on model transitions description, and does not traverse model state space.Prombles in programming 2014; 2-3: 145-15
Automated translation from Ukrainian to sign language: algorithmic implementation
No full textThe article describes the algorithmic implementation of information technology for translation from Ukrainian into sign language. Infological model of Ukrainian and sign language dictionary, related generalized grammatical constructions for automatic translation were build. Analyzing the set of Ukrainian sentences and corresponding gesture sentences grammatical constructions for translation were built. Grammatical constructions contain parameters of word inflections for sentences. The experimental results to verify the effectiveness of the proposed information technology are given.Prombles in programming 2014; 2-3: 285-29
Verification of programs: status, problems and experimental results. II
No full textPrombles in programming 2014; 1: 76-8
Simulating of human physiological supersystems: integrative function of organs supporting cell life
Full text linkA quantitative model of fluids’ dynamics (MFD) in the human body is created. Initially, MFD was realized as an autonomous C# software module (SM) functioning under given dynamic input characteristics. Later, SM was incorporated into our special software-modeling tool (SMT) capable of simulating the main modes of the human physiological super-system (PSS) providing cells' life. MFD describes mechanisms regulating long-term blood, lymph, total cells’, and intercellular volumes. SMT simulates both intracellular and multicellular mechanisms providing cell energy balance despite casual dynamics of energy consumption rate. Multicellular mechanisms include complex systems controlling systemic and regional hemodynamics, interaction of the liver with the pancreas, blood filtration in kidneys, bladder function, and liquid expirations in lungs and skin in the background of a dynamic external environment. The latter is a gas atmosphere with altering pressure, illumination, temperature, humidity, and wind speed. Models have been tested using algorithms that design scenarios, including simulation of either short-time or long-time (hours or days) observations. Input data include different combinations of internal and external parameters including osmotic, and oncotic pressures. Output data include the main parameters characterizing organs and life support systems. Both student-medics and physiologists interested in providing theoretical research can be users of SM. Prombles in programming 2024; 4: 77-8
Hardware – software system for contactless mine detection based on ineligible neutron scattering and machine processing of characteristic γ-radiation spectra
No full textThis paper proposes а software-hardware system for remote mine detection using the neutron nondestructive analysis method. The method is based on the analysis of the interaction of fast neutrons with nitrogen, car bon, and oxygen nuclei in explosives and computer processing of the spectra of characteristic γ-radiation re sulting from inelastic scattering. The γ-spectra are simulated for typical mine components, the possibilities of implementing the method in field conditions are considered, and recommendations are given for the selec tion of neutron sources and methods for calculating spectra, taking into account distorting factors.Problems in programming 2025; 1: 118-12
Composition and properties of data specified in compositional schemes of algorithms
No full textThe data specified in composite schemes of algorithms are considered. Their composition, structure, properties and the possibility of controlling the correctness of their description are shown.Problems in programming 2013; 2: 3-1
Approach to interconnection support between Java and MS.NET programming environments
No full textIntroduced is the problem of interconnection between reusable components in the heterogeneous environments. The theoretical basis of interconnection support with distributed systems is considered, as well as its implementation in CORBA technology. This knowledge is then used in solving the practical problem – the interconnection support between Java and Microsoft .NET programming environments via CORBA.Prombles in programming 2011; 2: 34-4
Ontological design of subject domain with problems of e-Science
No full textThe problem of application of results of ontological design of subject domains is examined with problems of e-science for the construction of e-infrastructures of informative-technological support of conduct of research works. Considered the most determining aspects of the use of Protégé tool for thedecision of this problem. An example of application of Protégé for the decision of the indicated problems is presented.Prombles in programming 2011; 3: 30-3