Harvester open publications of NAS Ukraine
Harvester open publications of NAS UkraineNot a member yet
2350 research outputs found
Sort by
Application of small language models for semantic analysis of Web interface accessibility
Full text linkWeb accessibility remains a critical aspect of ensuring equal opportunities for internet resource usage, especially for people with disabilities. The Web Content Accessibility Guidelines 2.5.3 criterion “Label in Name” requires that the accessible name of an interface component include text that is visually presented. Existing automated verification methods for this criterion are predominantly based on primitive string comparison, which does not account for semantic context. Objective: investigate the possibilities of using small language models with up to 1 billion parameters for automated semantic analysis of compliance with Web Content Accessibility Guidelines 2.5.3, as an alternative to resource-intensive large language models and limited algorithmic methods. Methodol ogy: the research involved creating synthetic datasets (7,200 English-language and 5,615 Ukrainian-language samples) and using real-world datasets (Top500 – 380 samples, UaUniv – 319). Sentence Bidirectional Encoder Representations from Transformers models were tested for computing semantic similarity, and fine-tuning of the google/electra-base-discriminator model was performed for 3-class classification of semantic relationships (“similar”, “unrelated”, “opposite”). Results: the trained model of 437 MB demonstrated high accuracy on syn thetic data (0.96) and sufficient accuracy on real datasets (Top500: 0.77, UaUniv: 0.73). The model effectively identifies all three classes of semantic relationships with an accuracy of 95.1 % for “opposite”, 92.7 % for “un related”, and 97.4 % for “similar” texts in the validation sample. Conclusions: the research confirmed the feasi bility of using small language models for automated verification of semantic compliance according to Web Content Accessibility Guidelines 2.5.3. The proposed approach provides acceptable classification accuracy with significantly lower computational costs compared to large language models, allowing for the integration of se mantic analysis into standard development and testing processes. Despite certain limitations, the developed so lution can significantly improve web accessibility testing.Prombles in programming 2025; 2: 77-86
The program technological complex of decision making in industrial enterprise management on early stages of crises changes
No full textThe decision making system and the technologic of its using are proposed. This instruments allow to solve primary crises management tasks: an enterprise condition diagnose, an optimization a necessary management choice. Restrictions in facilities using and management purposes changing on a different stages of crises process are taken into account. Results of proposed program technological complex practical tests are presented. Problems in programming 2010; 1: 96-10
Error correcting code based on finite automaton and representation of numbers in the two-base numeration system
No full textA new error correcting code is introduced. It combines several approaches to constructing of error correcting codes: utilizing the arithmetic properties of numbers, represented by input bit sequences, encoding by finite automaton and by simple block code. Either encoding and decoding algorithms are presented.Prombles in programming 2014; 2-3: 205-21
System-ontological analysis the subject area of testing integrated information security system (IISS)
No full textPrombles in programming 2014; 1: 62-7
Problem of creation of groups of agents in prosecution/evasion tasks on a plane
No full textPrombles in programming 2014; 1: 108-11
Development of a module of sociopsychophysiological support for modern IT as a means of increasing the efficiency of individual and collective activities while preserving their biosocial health
Full text linkThe main idea of the work is the scientific organization of work and leisure of a modern person, family, school, teams, and the world community with a transitional (from average to individual-typological) moment on the way to the effectiveness of the organization of the tandem «Professional competence - human biosocial health». The purpose of the work is to develop a SPF support module for modern IT as a means of increasing the effectiveness of the activities of an individual and a team while preserving their biosocial health. SPF module is a fundamentally new technology that is approaching automation of management. The possibility of adapting the developed technology «Family medicine at home» in the structure of the SPF module as a reliable modern highly competent SPF support method (interdisciplinary) for preserving the biosocial health of the labor collective is being considered. In a broader scale, the technology «Family Medicine at Home» is considered as the beginning of a fundamentally new understanding of the project culture of today, regarding medicine and human health. In the aspect of digital transformation of the information flow, objective SPF indicators of the individual-typological and rhythmological portrait of the collective are presented: correlation and frequency constellations, resonant frequency and system speed, etc. SPF module - technology should end with a real computer interdisciplinary SPF complex to confirm the priorities in modern human sciences such as human individuality, biorhythmology and computerization, cybernetics, which will contribute to a significant increase in the economic and cultural potential of states.Prombles in programming 2024; 4: 51-7
Theoretical and applied aspects of relations and operations for sequences of time intervals
No full textPrombles in programming 2013; 3: 61-6
Description of parallelism in algorithms of information management systems using algebraic apparatus
No full textPrombles in programming 2013; 3: 13-2
Development and substantiation of algorithms based on semantic properties
No full textExamples of the development and validation of algorithms based on the use of the domain properties are shown. These properties are formulated in terms of semantic relationships that characterize the subject area of the developed algorithm.Prombles in programming 2014; 2-3: 151-15