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

Backward transformation of formulas in symbolic modeling: from the result to the source formula

Logical formulas over attributes set are analog of system states in symbolic modeling of transition systems. Transition rules of source system are the base for building of modeling rules which operate on formula state and define transition from source state to the next or previous state. Predicate t...

Повний опис

Збережено в:

Бібліографічні деталі
Дата:	2026
Автори:	Godlevsky, A.B., Potienko, S.V.
Формат:	Стаття
Мова:	Російська
Опубліковано:	PROBLEMS IN PROGRAMMING 2026
Теми:	UDC 519.686.2
Онлайн доступ:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/923
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Problems in programming
Завантажити файл:

Репозитарії

Problems in programming

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

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

Optimization of checking the feasibility of transitions when verifying formal models
за авторством: Kolchin, A.V.
Опубліковано: (2015)

Automatic Dynamic Semiautomatic Parallelizing for Heterogeneous Multicomputer Systems
за авторством: Levchenko, R.I., та інші
Опубліковано: (2026)

On transformation formulas for theta hypergeometric functions
за авторством: Denis, R.Y., та інші
Опубліковано: (2012)

On transformation formulae for theta hypergeometric functions
за авторством: Denis, R. Y., та інші
Опубліковано: (2012)

Inversion Formulas for the Spherical Radon-Dunkl Transform
за авторством: Li, Zhongkai, та інші
Опубліковано: (2009)

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

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

Modeling the kinetics of reaction of CO oxidation at the solid surface of the catalyst
за авторством: Ведь, Е. В.
Опубліковано: (2016)

Modeling the kinetics of reaction of CO oxidation at the solid surface of the catalyst
за авторством: Ведь, Е. В.
Опубліковано: (2016)

The Ukrainian Formula for Innovation
за авторством: O. F. Morozov
Опубліковано: (2014)

On Frobenius' Theta Formula
за авторством: Fiorentino, Alessio, та інші
Опубліковано: (2020)

Generalization of the Cramer Formula
за авторством: Syavavko, M. S., та інші
Опубліковано: (2001)

Satisfiability of bright formulas
за авторством: Denisov, A. S., та інші
Опубліковано: (2007)

On the Cartesian product of the Menger algebras of terms and relational formulas
за авторством: Kumduang, Thodsaporn
Опубліковано: (2025)

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

The constructional knowledge of sets and their properties
за авторством: Ilman, V.M., та інші
Опубліковано: (2025)

π-Formulae from dual series of the Dougall theorem
за авторством: W. Chu
Опубліковано: (2022)

$\pi$-Formulae from dual series of the Dougall theorem
за авторством: Chu, W., та інші
Опубліковано: (2023)

Stokes formula for Banach manifolds
за авторством: Yu. V. Bohdanskyi
Опубліковано: (2020)

The radical formula for noncommutative rings
за авторством: O. Цneş, та інші
Опубліковано: (2019)

Rank formulae for factorized groups
за авторством: Amberg, B., та інші
Опубліковано: (1991)

Unitary colligations and parametrization formulas
за авторством: Arocena, R.
Опубліковано: (1994)

On the Moore Formula of Compact Nilmanifolds
за авторством: Hamrouni, H.
Опубліковано: (2009)

Stokes formula for Banach manifolds
за авторством: Bogdanskii, Yu. V., та інші
Опубліковано: (2020)

The radical formula for noncommutative rings
за авторством: Alkan, M., та інші
Опубліковано: (2019)

On optimization of weight quadrature formulas
за авторством: Babenko, V. F., та інші
Опубліковано: (1995)

Unitary colligations and parametrization formulas
за авторством: Arocena, R., та інші
Опубліковано: (1994)

On quadrature formulas with equal coefficients
за авторством: Motornyi, V. P., та інші
Опубліковано: (1995)

Multi-threaded computer calculations in the considered nonlinear dynamic systems
за авторством: Lazarenko, S.V., та інші
Опубліковано: (2025)

Asymptotic formulas for probabilities of large deviations of ladder heights
за авторством: Nagaev, S.V.
Опубліковано: (2008)

On the accuracy of error propagation calculations by analytic formulas obtained for the inverse transformation
за авторством: V. I. Romanenko, та інші
Опубліковано: (2019)

On the accuracy of error propagation calculations by analytic formulas obtained for the inverse transformation
за авторством: V. I. Romanenko, та інші
Опубліковано: (2019)

THE DEVELOPMENT OF EMPIRIC-ANALYTICAL FORMULA FOR WATER EVAPORATION (CONDENSATION) FROM BRINE OF THE EASTERN REMEDIAL BASIN OF SAKY LAKE
за авторством: Sitnikov, A.B.
Опубліковано: (2016)

Generalization of the formula of maximum losses time and estimation of the power consumption parameters dependence on formula's accuracy
за авторством: Kaplin M.I., та інші
Опубліковано: (2001)

Vertex Models and Spin Chains in Formulas and Pictures
за авторством: Nirov, K.S., та інші
Опубліковано: (2019)

The operating model of communicative informations systems
за авторством: Zubenko, V.V.
Опубліковано: (2025)

Integral of an extension of the sine addition formula
за авторством: M. Tial
Опубліковано: (2023)

Trotter – Daletskii formula for nonlinear disturbance
за авторством: V. G. Bondarenko
Опубліковано: (2018)

Commercialization of technology: US success formula
за авторством: M. V. Kovalova
Опубліковано: (2014)