Harvester open publications of NAS Ukraine
Harvester open publications of NAS UkraineNot a member yet
2350 research outputs found
Sort by
Analysis of storage and display frameworks based on aspect-oriented technologies
No full textA set of recommendations for the use of dependency injection and aspect-oriented programming in software development is proposed. The influence of their use on the process of design, development, testing, further support and architecture of a software product is analysed.Prombles in programming 2013; 2: 41-5
Deductive verification of requirements for event-driven architecture
Full text linkThe current paper presents the technology of processing of requirements for systems with event-driven architecture. The technology consists of the stages of formalization, formal verification and conversion to design specifications. The formalization is the formal description of events as formal specifications called basic protocols. The consistency and completeness of basic protocols, safety properties and user-defined properties are verified. The deductive tools for dynamic and static checking are used for detection of properties violation. The method of enlargement allows reducing the complexity of proving and solving. Formal presentation of requirements allows converting them to SDL\UML specifications and generating the test suite. The technology is realized in IMS system and applied in more than 50 projects of telecommunication, networking, microprocessing and automotive systems.Problems in programming 2013; 2: 54-6
An intellectual information technology for organizational decisions expert-analytical support
No full textАn intellectual information technology is described for decision-making expert-analytical support. The functional model for this technology is presented. It is based on computer agents using with the roles of Analyst and Viewpoint Consultant. They operate by the problem area knowledge structures that possess an a priori character to expertise for decision making process natural agents’ consulting. The functions for inter-agents communications using the knowledge structures proposed are considered. The framework proposed may be useful for strategic management processes efficiency to increase in complex organizational structures.Problems in programming 2013; 1: 68-7
Approaches to realization Yen’s algorithm for systems with the shared memory
No full textConstruct a regular scheme of algorithm Yen using the apparatus of systems algorithmic algebras, proposed approaches to parallel implementation of the algorithm Yen for SMP- architecture. Executed formalization the method of forming patterns by parallel schemes using the mathematical apparatus of modified systems algorithmic algebras. The parallel Yen’s algorithm is realized, experimental data are resulted.Prombles in programming 2011; 2: 12-2
Infrastructure FOR XML-models transformation
No full textThis paper offers an approach to building lightweight infrastructure for model-oriented development of complex software systems. It supposes usage of domain-dependent XML-format for primary models. The model has compact representation, admits using advanced tools for changing and extending, allows defining transformations for converting from domain-dependent XML to any other models (for sample, UML) in simplified manner. The use of XSL for describing transformations provides ability to organize both vertical and horizontal transformations (with any number of abstraction layers); enables optimum conditions for collaborative work.Prombles in programming 2011; 3: 52-5
Integration of large language models with semantic processing tools as an instrument for knowledge digitization
Full text linkThe paper addresses the task of automating the analysis, generation, and management of complex natural language documents based on the integration of generative artificial intelligence with semantic technologies, in particular Semantic MediaWiki. It analyzes how the use of ontological models of subject domains and semantic markup makes it possible to prevent such critical shortcomings of large language models as the tendency to “hallucinations” (generation of false statements) and the lack of transparency in decision explanations. This integration is explored using the example of the instrumental system “LINZA,” which is being developed for automated intelligent processing of content from heterogeneous documents with complex and weakly formalized structure, with the aim of generating natural language reports according to specified requirements in various domains, such as public administration, jurisprudence, certification, and standardization. The system is based on the combination of the flexibility and adaptability of large language models with formalized ontological knowledge and support for semantic queries about pertinent facts in the Semantic MediaWiki environment or external sources (Retrieval-Augmented Generation). The proposed approach will significantly reduce the risks of typical errors in generative models and ensure factual accuracy and transparency in the decision-making process. Special attention is paid to mechanisms of transparency, reliability, and the possibility of human control to increase trust in the generated data, which is especially important in areas with high information security requirements, and ensures greater confidence in automatically created documents. The multi-level architecture of the system defines the tasks of agents and services that perform specialized functions of data collection, analysis, transformation, and verification, and ensures flexibility, scalability, and adaptability of the system to changes in input data and requirements.Problems in programming 2025; 2: 63-7
Development of applications in service-oriented architecture of Semantic Web
No full textSemantic service-oriented architecture is based on principles of service orientation, semantic modeling and intellectual and automated integration, defines basis for new technology which provides new tools of service integration, great adaptability to changes of business requirements and execution environments. The architecture is defined, beginning from abstract business model of the semantic service application, finalizing with the services, processes and technologies and accordingly to the ontology modeling of Web services (WSMO).Prombles in programming 2010; 1: 66-7
Approach to the building intelligent decision support systems on the basis of ontology
No full textProblems in programming 2013; 4: 43-5
Medical-physiological simulators: the necessity and problems
No full textThis paper analyzes basic conceptual and technological problems encountered in creation of special software simulators (SSS) known under terms of «virtual physiological human» and «virtual patient». SSS can have two applications: 1) educational – for better studying of human physiology; 2) clinical – for improving the accuracy of diagnosis and for optimizing of a treatment of non-trivial diseases. It is argued that the SSS should be based on quantitative mathematical models of physiological systems and processes. SSS must provide both execution of computer imitational experiments (CIE) and their results’ analysis. Each CIE should be in accordance with the scenario generated by the user interface (UI). It is desirable that the SSS based on two modules: hard and flexible. The hard module implements the model with the boundary conditions of their adequacy. The flexible module governs both models’ constants available for modification through UI and parameters specifying scenarios of CIE. It is assumed that most promising class of SSS should combine computer animations with standard and optional programs visualizing CIE’s results. Problems arising in development of SSS for modeling of physiological responses of human energy mega system to factors that create an energy deficit in a group of cells are analyzed. Main problems accompanying a versioning of SSS capable to simulate scenarios for the correction of specific pathologies are also discussed.Prombles in programming 2014; 2-3: 197-20
On the problem of object recognition on devices with limited resources
Full text linkThe problem of implementing object recognition on microcontrollers with limited resources, particularly the challenges related to their computational power, memory capacity, and energy consumption is addressesed. The use of the compact MobileNet neural network architecture is proposed, which is based on an algorithm with reduced computational load and ensures sufficient performance in resource-constrained environments. This approach enables image classification tasks to be performed on low-cost microcontrollers. Although the technologies discussed are well-known individually, their comprehensive application for specific classification tasks on microcontrollers, such as object recognition, remains underexplored. The article provides a detailed description of all development stages, including data preparation, model parameter tuning, and the use of specialized image scaling methods to reduce computational load. The practical part of the article is devoted to developing a strawberry recognition system to determine their ripeness level using the ESP32 microcontroller. The research results demonstrate the effectiveness of the approach for different applied tasks and confirm the feasibility of integrating computer vision technologies into resource-limited devices. Overall, the work proves that modern machine learning technologies are becoming accessible even to the least powerful hardware platforms, expanding their capabilities and areas of application..Problems in programming 2024; 4: 14-2