Computer Science and Information Technologies, Computer Science and Information Technologies 2010

Font Size: 
Generation and Verifying of Fuel-Energy Complex Mathematical Models
O. V. Kurganskaya

Last modified: 2021-03-29


The report is devoted to solving problems of generation and verifying mathematical models offuel-energy complex. The basis of the proposed solution is the use of logic models to the original data, highlighted in a special structure called a model's prototype. Logic models describe the structure of the prototype and mathematical models and contain the rules for the generation and verifying of text files with mathematical models in accordance with this instance of the prototype.The proposed solutions can be implemented on thebasis of XML language, The ways of concept implementation is considered in the article.


Generation and Verifying of Fuel-Energy; Complex; Mathematical Models


1. Bushuev V. V_, Voropai N. I. "Russia's energysafety". Nauka, Novosibirsk, 1998.

2. Rudenko Yu. N. "Reliability of Power Systems".Energoatomizdat, Moscow, 1994.

3. Ershov Yu. L, Palutin E. A. "Reliability Mathematicallogic". Nauka, Moscow, 1979.

4. Holzner S. "Real world XML", New RidersPublishing, 2003.

5. Massel L. V., Arshinsky V. L., Fartyshev D. A."Intellectual information technologies in energysecurity problem research". In: Proc. of 11thInternational Workshop on Computer Science andInformation Technologies (CSIT'2009), Vol. 1.USATU, Ufa, Russia, 2003, pp. 25-28.

Full Text: PDF