Buchumschlag

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...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Datum:	2026
Hauptverfasser:	Godlevsky, A.B., Potienko, S.V.
Format:	Artikel
Sprache:	Russisch
Veröffentlicht:	PROBLEMS IN PROGRAMMING 2026
Schlagworte:	UDC 519.686.2
Online Zugang:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/923
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Problems in programming
Завантажити файл:

Institution

Problems in programming

Ähnliche Einträge

Test scenarios generation based on formal model
von: Letichevsky, A.A., et al.
Veröffentlicht: (2026)

Optimization of checking the feasibility of transitions when verifying formal models
von: Kolchin, A.V.
Veröffentlicht: (2015)

Automatic Dynamic Semiautomatic Parallelizing for Heterogeneous Multicomputer Systems
von: Levchenko, R.I., et al.
Veröffentlicht: (2026)

On transformation formulas for theta hypergeometric functions
von: Denis, R.Y., et al.
Veröffentlicht: (2012)

On transformation formulae for theta hypergeometric functions
von: Denis, R. Y., et al.
Veröffentlicht: (2012)

Inversion Formulas for the Spherical Radon-Dunkl Transform
von: Li, Zhongkai, et al.
Veröffentlicht: (2009)

Block algorithm for Householder transformations for hybrid architecture computers
von: Popov, O.V., et al.
Veröffentlicht: (2025)

The construction and transformation of operations and some algorithmic designs of algorithms’ algebra with the data
von: Doroshenko, A.Yu., et al.
Veröffentlicht: (2025)

Modeling the kinetics of reaction of CO oxidation at the solid surface of the catalyst
von: Ведь, Е. В.
Veröffentlicht: (2016)

Modeling the kinetics of reaction of CO oxidation at the solid surface of the catalyst
von: Ведь, Е. В.
Veröffentlicht: (2016)

The Ukrainian Formula for Innovation
von: O. F. Morozov
Veröffentlicht: (2014)

On Frobenius' Theta Formula
von: Fiorentino, Alessio, et al.
Veröffentlicht: (2020)

Generalization of the Cramer Formula
von: Syavavko, M. S., et al.
Veröffentlicht: (2001)

Satisfiability of bright formulas
von: Denisov, A. S., et al.
Veröffentlicht: (2007)

On the Cartesian product of the Menger algebras of terms and relational formulas
von: Kumduang, Thodsaporn
Veröffentlicht: (2025)

Solving contest problems via formal program verification
von: Shilov, N.V., et al.
Veröffentlicht: (2026)

The constructional knowledge of sets and their properties
von: Ilman, V.M., et al.
Veröffentlicht: (2025)

π-Formulae from dual series of the Dougall theorem
von: W. Chu
Veröffentlicht: (2022)

$\pi$-Formulae from dual series of the Dougall theorem
von: Chu, W., et al.
Veröffentlicht: (2023)

Stokes formula for Banach manifolds
von: Yu. V. Bohdanskyi
Veröffentlicht: (2020)

The radical formula for noncommutative rings
von: O. Цneş, et al.
Veröffentlicht: (2019)

Rank formulae for factorized groups
von: Amberg, B., et al.
Veröffentlicht: (1991)

Unitary colligations and parametrization formulas
von: Arocena, R.
Veröffentlicht: (1994)

On the Moore Formula of Compact Nilmanifolds
von: Hamrouni, H.
Veröffentlicht: (2009)

Stokes formula for Banach manifolds
von: Bogdanskii, Yu. V., et al.
Veröffentlicht: (2020)

The radical formula for noncommutative rings
von: Alkan, M., et al.
Veröffentlicht: (2019)

On optimization of weight quadrature formulas
von: Babenko, V. F., et al.
Veröffentlicht: (1995)

Unitary colligations and parametrization formulas
von: Arocena, R., et al.
Veröffentlicht: (1994)

On quadrature formulas with equal coefficients
von: Motornyi, V. P., et al.
Veröffentlicht: (1995)

Multi-threaded computer calculations in the considered nonlinear dynamic systems
von: Lazarenko, S.V., et al.
Veröffentlicht: (2025)

Asymptotic formulas for probabilities of large deviations of ladder heights
von: Nagaev, S.V.
Veröffentlicht: (2008)

On the accuracy of error propagation calculations by analytic formulas obtained for the inverse transformation
von: V. I. Romanenko, et al.
Veröffentlicht: (2019)

On the accuracy of error propagation calculations by analytic formulas obtained for the inverse transformation
von: V. I. Romanenko, et al.
Veröffentlicht: (2019)

THE DEVELOPMENT OF EMPIRIC-ANALYTICAL FORMULA FOR WATER EVAPORATION (CONDENSATION) FROM BRINE OF THE EASTERN REMEDIAL BASIN OF SAKY LAKE
von: Sitnikov, A.B.
Veröffentlicht: (2016)

Generalization of the formula of maximum losses time and estimation of the power consumption parameters dependence on formula's accuracy
von: Kaplin M.I., et al.
Veröffentlicht: (2001)

Vertex Models and Spin Chains in Formulas and Pictures
von: Nirov, K.S., et al.
Veröffentlicht: (2019)

Integral of an extension of the sine addition formula
von: M. Tial
Veröffentlicht: (2023)

Trotter – Daletskii formula for nonlinear disturbance
von: V. G. Bondarenko
Veröffentlicht: (2018)

Commercialization of technology: US success formula
von: M. V. Kovalova
Veröffentlicht: (2014)

Combinatorial Formulae for Nested Bethe Vectors
von: Tarasov, V., et al.
Veröffentlicht: (2013)