Зображення обкладинки

Some aspects of formalization of the data and decomposition of D-operators of algebra of algorithms

Within the framework of the expanded algebra of algorithms the approach to formalization of the data is offered. Properties of the formalized data and some aspects of decomposition of D-operators are considered.Problems in programming 2009; 4: 3-10

Збережено в:

Бібліографічні деталі
Опубліковано в:	PROBLEMS IN PROGRAMMING
Дата:	2026
Випуск:	4
Сторінки:	3-10
ISSN:	1727-4907
Автори та афіліації:	V.G. Akulovskiy — Academy of Customs Service of Ukraine
Автор:	Akulovskiy, V.G.
Формат:	Стаття
Мова:	Російська
Опубліковано:	PROBLEMS IN PROGRAMMING 2026
Теми:	UDC 519.683
Онлайн доступ:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/976
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Problems in programming
Завантажити файл:

Репозитарії

Problems in programming

Схожі ресурси

Some aspects of formalization of an architectural development cycle of algorithms
за авторством: Akulovskiy, V.G.
Опубліковано: (2026)

Semantic web and Wiki-systems
за авторством: Glibovets, A.M., та інші
Опубліковано: (2025)

Construction concepts of the integrated environment architecture of generative programming
за авторством: Morentsov, Y.I.
Опубліковано: (2026)

The construction and transformation of operations and some algorithmic designs of algorithms’ algebra with the data
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2025)

Algebra of algorithms with the data and forecasting of computing process
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2025)

Fundamentals of data-based algorithm algebra
за авторством: Akulovsky, V.G.
Опубліковано: (2026)

The completeness of the algorithm algebra with data
за авторством: Akulovskiy, V.G., та інші
Опубліковано: (2018)

Description of parallelism in algorithms of information management systems using algebraic apparatus
за авторством: Akulovsky, V.G., та інші
Опубліковано: (2025)

Сoordinated description of algorithms within the framework of algebraic vehicle
за авторством: Akulovskiy, V.G., та інші
Опубліковано: (2025)

Multi-Comparand Associative Machine and its Application to Relational Algebra Operations
за авторством: Nepomniaschaya, A.S.
Опубліковано: (2026)

Formal semantics of aggregate operations of multiset table algebra
за авторством: Glushko, I.M.
Опубліковано: (2025)

Test scenarios generation based on formal model
за авторством: Letichevsky, A.A., та інші
Опубліковано: (2026)

Block algorithm for Householder transformations for hybrid architecture computers
за авторством: Popov, O.V., та інші
Опубліковано: (2025)

A method for guided search and test scenarios generation in verification of formal models of asynchronous systems
за авторством: Kolchin, A.V.
Опубліковано: (2026)

Environmental aspects of reprezantation knowlend in algebra of algorithmic
за авторством: Zeitlin, G.E., та інші
Опубліковано: (2026)

Solving contest problems via formal program verification
за авторством: Shilov, N.V., та інші
Опубліковано: (2026)

The completeness of the algorithm algebra with data
за авторством: V. G. Akulovskij, та інші
Опубліковано: (2016)

Formal description of the types and - data structures mixed programmes
за авторством: Stenyashin, A.Yu.
Опубліковано: (2025)

A parallel search algorithm for formal grammar data types
за авторством: A. Prodan
Опубліковано: (2018)

Formal semantics and analysis of tokenomics properties
за авторством: Letychevskyi, O.O., та інші
Опубліковано: (2023)

Algorithmic algebra tools on the Web 2.0 platform
за авторством: Iovchev, V.A., та інші
Опубліковано: (2026)

A GPU-based singular value decomposition algorithm
за авторством: Sukharskyi, S.S.
Опубліковано: (2023)

Application of decomposition algorithms to speed up processing of large data sets in GIS
за авторством: I. Kotuliak, та інші
Опубліковано: (2022)

Program identification of zeroes and features of functions on the basis of sorting with the application to the digital filtration
за авторством: Romm, Ya. E., та інші
Опубліковано: (2026)

Method for parallelizing nonlinear tasks
за авторством: Paulin, O.N., та інші
Опубліковано: (2026)

An optimization problem of packing identical circles into a multiply connected region. Part 2. A solution method and its realisation
за авторством: Stoyan, Yu. G., та інші
Опубліковано: (2016)

An optimization problem of packing identical circles into a multiply connected region. Part 1. A mathematical model and its characteristics
за авторством: Stoyan, Yu. G., та інші
Опубліковано: (2016)

An optimization problem of packing identical circles into a multiply connected region. Part 1. A mathematical model and its characteristics
за авторством: Stoyan, Yu. G., та інші
Опубліковано: (2016)

An optimization problem of packing identical circles into a multiply connected region. Part 2. A solution method and its realisation
за авторством: Stoyan, Yu. G., та інші
Опубліковано: (2016)

Error correcting code based on finite automaton and representation of numbers in the two-base numeration system
за авторством: Zavadskyi, I.O.
Опубліковано: (2025)

Optimization problems solution for queuing systems with failure under uncertainty
за авторством: Kopytchuk, M.B., та інші
Опубліковано: (2025)

Facilities for automation of development of parallel programs on the basis of ontologies and algebra of algorithms
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2026)

On application of machine-learning for designing adaptive sorting programs in algebra of algorithms
за авторством: Yatsenko, O.A.
Опубліковано: (2025)

Some aspects of Leibniz algebra theory
за авторством: Kirichenko, V.V., та інші
Опубліковано: (2017)

Decomposition Algorithm for Optimization Placement Problems
за авторством: A. Pankratov, та інші
Опубліковано: (2019)

Decomposition Algorithm for Optimization Placement Problems
за авторством: Pankratov, A., та інші
Опубліковано: (2019)

A block-recursive approach to unitary matrix decomposition
за авторством: Malaschonok, G.I., та інші
Опубліковано: (2026)

Integration of algorithm algebra and term rewriting tools for developing efficient parallel programmes
за авторством: Yatsenko, O.A.
Опубліковано: (2025)

Formal specifications and decomposition of logic systems for purposes of analysis, synthesis and diagnostics
за авторством: Bača, J., та інші
Опубліковано: (2004)

analysis of parallel algorithm for constructing 2D Voronoi diagram
за авторством: Berezovskiy, K.A.
Опубліковано: (2026)