Harvester open publications of NAS Ukraine
Harvester open publications of NAS UkraineNot a member yet
2350 research outputs found
Sort by
Трансформационный поход к разработке интеллектуальных агентов на основе нечетких моделей
Full text linkРассматривается трансформационный подход, применяемый на различных стадиях разработки интеллектуальных агентов, в основе которого находятся модели нечетких правил. Описаны трансформации, по-зволяющие сгенерировать нечеткие платформно-независимые модели внутриагентного управления и связанные с ними ролевые модели. Рассмотрены способы создания в среде Eclipse средств поддержки проблемно-ориентированного графового языка для спецификации нечетких моделей, не зависящих от используемой платформы. Значительное внимание уделяется архитектурным особенностям нечетких агентов, порождаемых в результате трансформации для перспективных платформ. Problems in programming 2011; 2: 62-7
Constraint programming in insertion modeling system
Full text linkThe paper relates to practical aspects of insertion modeling. Insertion modeling system is an environment for the development of insertion machines, used to represent insertion models of distributed systems. The architecture of insertion machines and insertion modeling system IMS is presented. Insertion machine for constraint programming is specified as an example, and as a starting point of ‘verifiable programming’ project.Problems in programming 2011; 4: 14-2
Segmentation of geospatial rasters: analysis of the temporal characteristics of the AREAONAREAOVERLAYER algorithm
Full text linkThis paper investigates the performance of the AreaOnAreaOverlayer algorithm used for segmenting geospatial rasters based on elevation features within the FME environment. The main focus is on analyzing the algorithm’s temporal characteristics when processing large volumes of data, particularly in vegetation cover classification tasks. The study describes the experimental setup, typical input data, and the impact of polygon geometric parameters on execution time. The results provide insight into the algorithm’s application limits and reveal dependencies between the structure of input data and computational complexity.Prombles in programming 2025; 2: 87-9
Algebra-dynamic models for program parallelization
No full textWe propose algebra-dynamic models and a method for checking correctness of optimizing transformations for multithread programs and programs for graphical processing units. Proposed models are used together with rewriting rules technique to prove correctness of transformations and increase effectiveness of program parallelization.Problems in programming 2010; 1: 39-5
Національний ботанічний сад імені М.М. Гришка НАН України: провідний науково-освітній центр з інтродукції, збереження та раціонального використання фітогенетичних ресурсів для сталого розвитку та післявоєнного відновлення України
No full textThe paper highlights the role of the M. M. Gryshko National Botanical Garden of the National Academy of Sciences of Ukraine (NBG) as a leading scientific and educational center for plant introduction, conservation, and rational use of phytogenetic resources, a role of primary importance for Ukraine’s sustainable development and post-war recovery. The historical formation of the institution and its contribution to the advancement of botanical science are outlined, particularly in the fields of plant introduction and acclimatization, dendrology, breeding, genetics, biotechnology, phytoenergetics, allelopathy, bioindication, and biodiversity conservation.The main directions of the NBG’s scientific research are presented. Particular attention is paid to the activities of scientific schools established within the NBG that have made significant contributions to the development of introduction, breeding, allelopathy, and biodiversity conservation. Scientific objects of the NBG holding the status of National Heritage of Ukraine are characterized, including: collections of tropical and subtropical plants, collections of floral and ornamental plants, monocultural gardens, and the collection fund of energy and aromatic plants. Their significance as genetic resources for breeding, scientific research, and environmental education is emphasized.The results of fundamental and applied research, international projects, and programs of the National Academy of Sciences of Ukraine are provided. It is demonstrated that the NBG is one of the largest centers for the conservation of rare species of Ukrainian flora, where the scientific foundations for ex situ biodiversity conservation, modeling of introduction populations, and optimization of protection measures have been developed. Criteria for increasing plant adaptability to climate change and stress factors have been established, and new models for resistance research and approaches to increasing plant productivity have been developed.The strategic importance of the NBG as a center of science, education, and innovation is emphasized, ensuring the integration of fundamental research, applied development, and public outreach, thereby creating the conditions for ecological security, agricultural development, bioenergetics, and the strengthening of environmental consciousness within society
Parallel non-negative sparse extra-large matrix factorization
No full textThis paper proposes parallel methods of non-negative huge sparse matrix factorization. The implementation of proposed methods was tested and compared on huge matrix.Prombles in programming 2014; 2-3: 66-7
Metods of interaction and coordination in multi-agent system based on fussy logic of higher type
No full textDynamic architecture of intelligent multi-agent systems based on fuzzy logic of a higher type that allows more informative to present uncertainty of fuzzy rules when specifying the behavior of such systems and agents is developed. A method of fuzzy agents interactions based on the values of "speech acts", which allows to handle intent on cooperation associated with the proposal, followed by type 2 fuzzy value is proposed. Role-based coordination model of fuzzy agents behavior based on message exchange protocol that defines the functionality of agents within the multi-agent system is developed. Agent's behavior that corresponds to role entities is formalized by decision rules based on type 2 fuzzy logic.Prombles in programming 2014; 2-3: 242-25
Scheme of parallel computing of maximum contour SH-stresses on a system of non-circular elastic inclusions in an infinite elastic medium
No full textPrombles in programming 2014; 1: 99-107
A software simulator of an aerobic cell responses to energy disbalance
No full textPrombles in programming 2014; 1: 90-9
Development of a semantic and syntactic model of natural language by means of non-negative matrix and tensor factorization
No full textA method of developing a structural model of natural language syntax and semantics is proposed. Syntactic and semantic relations between parts of a sentence are presented in a form of a recursive structure called a control space. Numerical characteristics of these data are stored in multidimensional arrays. After factorization, the arrays serve as the basis for the development of procedures for natural language semantic and syntactic analyses. Prombles in programming 2014; 2-3: 263-27