Harvester open publications of NAS Ukraine
Harvester open publications of NAS UkraineNot a member yet
2350 research outputs found
Sort by
Semantics and pragmatics of programming language ASAMPL
Get PDFThis paper presents semantics and practical implementation of the domain-specific programming language ASAMPL. This programming language has been developed to support the efficient processing of multimodal data processing, in particular, the processing of multimedia content which components are evidently defined in terms of time. The data processing concept employed in ASAMPL is based on the data structures, operations, and relations defined in the algebraic system of aggregates. The paper explains the compilation approach used for this programming language as well as it presents the test results and their discussion.Problems in programming 2020; 1: 74-8
Sequent calculi of first-order logics of partial predicates with extended renominations and composition of predicate complement
No full textWe study new classes of program-oriented logical formalisms – pure first-order logics of quasiary predicates with extended renominations and a composition of predicate complement. For these logics, various logical consequence relations are specified and corresponding calculi of sequent type are constructed. We define basic sequent forms for the specified calculi and closeness conditions. The soundness, completeness, and counter-model existence theorems are proved for the introduced calculi.Problems in programming 2020; 2-3: 182-19
WEB-system for the level of regional development evaluation
No full textThis article focuses on the automation tools development for evaluating the socio-economic development of Ukraine regions. In this work we present a method for automated determination of integral indicators based on factor analysis and expert estimation methods is presented. The method application improved the calculation results reliability and the opportunity provided to analyze the relationships between indicators in terms of their impact on the general regional socio-economic situation. The information-analytical Web-based system for evaluating the socio-economic development of Ukraine regions has been developed and implemented. The Web-based system has a three-level architecture of technical tools and intended for processes automation of socio-economic level development evaluating of Ukraine regions based on expert-statistical method. The Web-based application is designed to work with three user groups and provides access to control elements depending on the access level of user.Problems in programming 2020; 2-3: 22-3
Decentralized systems in logistics: usage overview and security issues
No full textThe directions of the application and use of decentralized (distributed) systems are analyzed using the example of blockchain technology in the international logistics. The prospects and key aspects of the further development of decentralized systems and large databases are considered. The basics of the functioning of smart contracts based on Etherium and Solidity language are considered. The main security problems in the integrated supply chain are analyzed, and directions for improving the monitoring of the continuity of product quality control during movement in a multimodal supply chain are identified. Methods are proposed for strengthening security control in decentralized systems in logistics. The methodology of formal algebraic methods is considered in order to analyze and study the properties of transportations in the interaction of agents of a certain logistic environment.Problems in programming 2020; 1: 55-7
Scientific substantiation and practical testing of the use of information and communication technologies in the development of economic competence of heads of secondary education institutions
No full textThe research is devoted to the scientific substantiation and practical approbation of the use of information and communication technologies in the development of economic competence of the heads of secondary education institutions. This study is due to the new economic conditions that are emerging in Ukraine, where special importance is given to knowledge of the principles and patterns of economic development of society, economic education. One of the priorities of the State Program of Economic and Social Development of Ukraine for 2020 is to provide state support for the training of specialists in areas that stimulate the development of priority basic sectors of the economy in the format of "science-education-technology". It is possible to improve the economic competence of heads of secondary education institutions in the system of open postgraduate education in full-time and distance form of advanced training with the use of information and communication technologies, which should play a leading role in distance learning. In our study, distance learning is characterized by the presence of information learning environment or means by which there is indirect communication between teachers and students, and the information learning environment of distance learning we mean a set of systematically organized, distributed data transmission, information resources, interaction protocols, hardware-programmed and organizational-methodical support, focused on meeting the educational needs of users. The scientific novelty and theoretical significance of the research results lie in the fact that for the first time the technology of development of economic competence of heads of secondary education institutions (MES) by means of information and communication technologies in the system of advanced training is theoretically substantiated and developed; the content of the concept of "professional competence" and its structural components are specified; the content of economic competence of the head of ZSO is selected and structured, the model of development of economic competence of the head of ZSO is improved; the organizational and pedagogical conditions for the development of economic competence of the head of ZSO in the system of advanced training are determined; Theoretical views on the process of development of professional competence of the leaders of ZSO and the use of information and communication technologies, their means in the system of open postgraduate education have been further developed. Scientific substantiation and practical testing of the use of information and communication technologies in open postgraduate education institutions allowed to distinguish a modern system of distance learning for heads of secondary education institutions, which contains the following components: system environment of distance learning; electronic database of educational materials; virtual laboratories, objects and subjects of distance learning systems, which are postgraduate education institutions.Problems in programming 2020; 2-3: 94-10
Static analysis of .NET programs using rewriting rules
No full textA software tool that finds problems of resource consumption in case of work with files using rewriting rules was implemented. To reach the goal, the TermWare system, which could be embedded into those systems running on JVM, was used. In order to work with C#-programs, the special plugin for TermWare, which helps to generate appropriate terms from source code, was developed. The plugin uses the Roslyn compiler, which allows users to find syntax errors in programs and focus on the primary task of generating terms from source code. Also, a practical application based on TermWare system – a static analyzer that finds problems with open-close files, was described in the article.Problems in programming 2020; 2-3: 157-16
Efficient increasing of the mutation score during model-based test suite generation
Get PDFThe purpose of the method is to increase the sensitivity of an automatically generated test suite to mutations of a model. Unlike existing methods for generating test scenarios that use the mutational approach to assess the resulting test set, the proposed method analyzes the possibility of detecting mutations on the fly, in the process of analyzing the model’s behavior space, by adding of special coverage goals. Two types of mutants manifestation are considered: deviations in the behavior of paths for (weak case) and in the observed output (strong case). A new algorithm is proposed for efficient search of a path with observable effect of a mutation.Problems in programming 2020; 2-3: 331-34
Hybrid algorithm Newton method for solving systems of nonlinear equations with block Jacobi matrix
No full textSystems of nonlinear equations often arise when modeling processes of different nature. These can be both independent problems describing physical processes and also problems arising at the intermediate stage of solving more complex mathematical problems. Usually, these are high-order tasks with the big count of un-knows, that better take into account the local features of the process or the things that are modeled. In addition, more accurate discrete models allow for more accurate solutions. Usually, the matrices of such problems have a sparse structure. Often the structure of sparse matrices is one of next: band, profile, block-diagonal with bordering, etc. In many cases, the matrices of the discrete problems are symmetric and positively defined or half-defined. The solution of systems of nonlinear equations is performed mainly by iterative methods based on the Newton method, which has a high convergence rate (quadratic) near the solution, provided that the initial approximation lies in the area of gravity of the solution. In this case, the method requires, at each iteration, to calculates the Jacobi matrix and to further solving systems of linear algebraic equations. As a consequence, the complexity of one iteration is. Using the parallel computations in the step of the solving of systems of linear algebraic equations greatly accelerates the process of finding the solution of systems of nonlinear equations. In the paper, a new method for solving systems of nonlinear high-order equations with the Jacobi block matrix is proposed. The basis of the new method is to combine the classical algorithm of the Newton method with an efficient small-tile algorithm for solving systems of linear equations with sparse matrices. The times of solving the systems of nonlinear equations of different orders on the nodes of the SKIT supercomputer are given.Problems in programming 2020; 2-3: 208-217
The practical aspect of using the artificial intellectual technology for building a multidimentional function CFAR for smart-handled LPI radar
Get PDFThe problem of the development of modern mobile smart-handled LPI radars using artificial intelligence technologies, the main difference of which is the construction of the CFAR function, which takes into account the influence of external and internal factors and requirements for the purpose, also distinguishes the developed radar among others in its class. The analysis of the publications was showed a great interest in modern radar systems and the lack of a unified approach to solving this problem. The purpose of the article is to reduce this gap, from collecting information from radar sensors and internal sensors to construct a generic multidimensional CFAR function and for organize its effect on the receiving and transmitting part of the radar. The application of artificial intelligence technologies in the construction of a modeling complex of LPI radars with CFAR function and their debugging in real time is covered.Problems in programming 2020; 2-3: 304-312
Поширення видів роду Stipa в Україні за матеріалами фітосоціологічних баз даних
No full textThe paper presents the current distribution of species of the genus Stipa in Ukraine based on the data from phytosociological databases. The main objectives were to produce maps of distribution and to determine the affinity of Stipa species to EUNIS habitat classification units.We succeeded in selecting the relevés with the participation of 16 out of 27 species of the genus Stipa recognized as a species in the “Nomenclature checklist of higher vascular plants of Ukraine”. A total of 4888 relevés with the presence of Stipa were found. Stipa capillata has the most significant presence in the data set among other species of the genus. It was found in 38.1 % of relevés. This species occupies second place in the analyzed data set by the Percentage Frequency and third place by Average Non-Zero Cover. According to the analysis of the distribution maps, it was established that S. capillata is a widespread species in the Forest-Steppe and the Steppe zones of Ukraine. Stipa lessingiana also has a significant distribution but is limited mainly to the Steppe zone. Both S. borysthenica and S. tirsa are significantly less present in the databases than reported in the literature, particularly in the Red Book of Ukraine and Green Book of Ukraine. Other species of the genus have limited distribution. Analysis of the habitat affinity of Stipa species showed that they occur in ten types of grassland habitats of the third level of the hierarchy according to the new version of the EUNIS classification. The vast majority of species have an ecological optimum in R1B – Continental dry grassland (true steppe). Stipa capillata has the widest amplitude in different habitat types. Also, a wide range of habitat types is characteristic for S. pulcherrima, S. lessingiana, S. pennata, and S. ucrainica. Species that are poorly represented in the dataset (S. zalesskii, S. transcarpatica, S. adoxa, S. asperella, and S. dasyphylla) occur in a few or only one habitat type.Hence, our study shows that the vast majority of Stipa species in Ukraine are rare and need protection at the national level. However, the presence of S. capillata in the sample was very high. It was found in almost all types of dry grassland habitats, as well as in petrophytic, shrub, and even anthropogenic habitats. This is evidence of the high adaptability of the species and its wide ecological and coenotic amplitude. Our study results confirm the idea that S. capillata does not meet the criteria for inclusion to the national protection lists. It also suggests excluding this species from the Red Book of Ukraine, in case if the national legislation will regulate the protection of biodiversity at the superorganism level