Harvester open publications of NAS Ukraine
Harvester open publications of NAS UkraineNot a member yet
2350 research outputs found
Sort by
Heuristic algorithm of morpholexical analysys of unknown words
Full text linkThe article deals with improvement of heuristic algorithm for morpholexical analysis of unknown words in Slavic languages. Lexicon is used sa main source of niformtion to construct hypotheses. Set of n-grams is used for filtering.Prombles in programming 2014; 2-3: 279-28
User-centric technology stack for weather and air pollution forecasting
Full text linkThis paper proposes the multi-stage process of delivering the forecast data to end-user mobile device. The initial task here is to collect the historical weather and air pollution data. After that, the following steps should allow to build the forecasting infrastructure: the input-output model should be defined for regression task, the machine learning algorithm should be trained and its hyperparameters should be optimized, this forecasting model should be serialized to file and it should be used to create the publicly available web-service, the mobile device should have the application installed that would be querying the forecast data from the service and would be displaying the multi-parameter chart on the screen.The proposed concept of user-centric distributed application covers the following three pillars of this architecture: machine learning model, containerized web-service and user interface application on mobile device. The Python-based libraries Numpy and Pandas were used to prepare the dataset, the Scikit-learn library and Histogram gradient boosting algorithm were leveraged to build the machine learning model. Here are the technologies employed to build the web-service: Docker, Kubernetes, FastAPI and BentoML. The Google Flutter platform was used to build the application for mobile devices.Prombles in programming 2024; 4: 34-4
The operating model of communicative informations systems
No full textPrombles in programming 2014; 1: 55-6
Cluster solution the problem of the diffraction elastic waves by a system of rigid cylindrical inclusions of arbitrary cross section
No full textInvestigated parallel algorithm for solving the problem of high-precision diffraction of elastic waves by a system of rigid inclusions non-circular shape. The problem is reduced to solving a system of singular integral equations which is solved numerically. Parallel algorithm allowed us to investigate the situation with a lot of hard inclusions. Shows the dependence of the stress on the boundary irregularities on the dynamic and geometric characteristics. New results are obtained.Prombles in programming 2014; 2-3: 88-9
Mixed topic-entity ontology for enhanced topic vector-spaced model
No full textThe paper considers to modelling ontologies in enhanced topic-based vector-space model of information retrieval. Proposed approach is oriented on ontology extraction automation. Methods of modelling topical structure of collections of documents with probabilistic topical models and named entity recognition, as well as possible interpretation are reviewed.Prombles in programming 2014; 2-3: 182-18
“G_Sim” software providing simulations of human physiological responses to +/- Gz accelerations
Full text linkSpecialized software “G_Sim”, providing simulations of human physiological responses to dynamic Gz ac celerations, is created and tested. “G_Sim” is based on a previously developed and published quantitative mathematical model (QMM) that describes human hemodynamics under given Gz profiles without or with special protective tools and algorithms. “G_Sim” is a modern information technology realized as an auto nomic executive module in the Delphi Pascal environment. By default, the biological parameters of QMM are tuned for the mean man, who is 175 cm in height and has a 70 kg mass. “G_Sim” has an intuitive user in terface (UI) that provides the user with procedures necessary to actualize characteristics of QMM, realize a computer experiment (simulation), visualize its results in graph forms for analysis, and save the chosen data for further analysis. The actualization concerns biological data associated with human sex, anthropometrics, age, and non-biological characteristics including acceleration profiles, characteristics of the anti-G suit, breathing techniques, and muscle stressing mode. UI's special windows provide additional tunings of the basic QMM. “G_Sim” upgrades the traditional training techniques on centrifuges and test flights. The novel beneficial effect of “G_Sim” provides the future fighter pilot with realistic-like visual knowledge concerning the dynamics of physiological and protective events. Therefore, simulations will clearly show ways to opti mize the combination of artificial protections to prevent negative effects (loss of vision or consciousness). Such knowledge will shorten training and minimize the anthropogenic risk of serious injuries or catastro phes during the training. Test simulations presented in the paper mainly illustrate the potential of “G_Sim” as an assistant informational technology. Prombles in programming 2025; 1: 13-2
Neurosymbolic models for ensuring cybersecurity in critical cyberphysical systems
Full text linkThe article presents the results of a comprehensive study on the application of the neuro-symbolic approach for detecting and preventing cyber threats in railway systems, a critical component of cyber-physical infrastructure. The increasing complexity and integration of physical systems with digital technologies have made such infrastructure vulnerable to cyberattacks, where disruptions can lead to severe consequences, including system failures, financial losses, and threats to public safety and the environment.Prombles in programming 2025; 1: 63-7
Role functionality of subjects of examination of the software of information-telekommunikatsion the systems
No full textVariants of role functionality of subjects of scientific and scientific and technical examination of the software of information-telecommunication systems during pro-conducting expert tests by various structure of subjects are considered. Ways of a choice of the most comprehensible variants of structure of subjects from the point of view of their practical realisation and the decision of the put tasks depending on a kind of expert tests and the purpose of their carrying out are offered.Problems in programming 2013; 1: 23-4
Model program, systems and operational environments
No full textModels of Interconnection program, which build in environment, systems which integrate from running program and environment, which givining assembling programs from repositories Eclipse are descused. Specification of realized models interconection program jn their interface in environment Visual Studio.Net and CORBA are done. Some of konflects interconnection of systems and environment by WCF, which nnnn differend realized interfaces are definited. Teoretical and applicatial in future project are supposed.Prombles in programming 2011; 3: 11-22
About one Approach for the Verification of Algebraic Computations
No full textThe approach to verification of interpreters of multi-sorted algebraic operations by their specifications, based on constructive clarification of expansion concept of multi-sorted algebraic system and provingthe axioms of algebraic system is considered. This approach is illustrated by the examples of verification of interpreters of operations of rational numbers field, polynomials of one variable and propositional algebra. This approach has been used for development of the computer mathematics systems of the educational purpose.Problems in programming 2011; 4: 23-3