RUS  ENG
Full version
JOURNALS // Informatics and Automation // Archive

Tr. SPIIRAN, 2014 Issue 33, Pages 99–116 (Mi trspy725)

About Use of Transformational Rules for Computer Implementation of Continuous Processes

V. M. Shpakov

St. Petersburg Institute for Informatics and Automation of RAS

Abstract: The possibility to use based on the transformational rules transitive approach for the specification and the computer implementation of continuous processes is considered. The examples show techniques of the processes initial specifications conversion in the specifications as sets of transformation rules. As starting specifications in the form of a physical model, the block diagram of dynamic links, in the form of ordinary differential equations are considered. These examples demonstrate the simplicity, clarity and versatility of this approach. Some problems of implementation of the processes specified by using rules are briefly discussed. The resulting model implementations of processes are evaluated using analytical methods and compared with the numerical solutions found using Matlab and MathCad.

Keywords: Knowledge Representation, Computer Simulation, Differential Equations, Automatic Control.

UDC: 004942



© Steklov Math. Inst. of RAS, 2024