Geodesic
Logic-algebraic equations method in system dynamics
Algebra i analiz, Tome 24 (2012) no. 4, pp. 156-181.

Voir la notice de l'article provenant de la source Math-Net.Ru

@article{AA_2012_24_4_a6,
     author = {N. V. Nagul},
     title = {Logic-algebraic equations method in system dynamics},
     journal = {Algebra i analiz},
     pages = {156--181},
     publisher = {mathdoc},
     volume = {24},
     number = {4},
     year = {2012},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/AA_2012_24_4_a6/}
}
TY  - JOUR
AU  - N. V. Nagul
TI  - Logic-algebraic equations method in system dynamics
JO  - Algebra i analiz
PY  - 2012
SP  - 156
EP  - 181
VL  - 24
IS  - 4
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/AA_2012_24_4_a6/
LA  - ru
ID  - AA_2012_24_4_a6
ER  - 
%0 Journal Article
%A N. V. Nagul
%T Logic-algebraic equations method in system dynamics
%J Algebra i analiz
%D 2012
%P 156-181
%V 24
%N 4
%I mathdoc
%U http://geodesic.mathdoc.fr/item/AA_2012_24_4_a6/
%G ru
%F AA_2012_24_4_a6
N. V. Nagul. Logic-algebraic equations method in system dynamics. Algebra i analiz, Tome 24 (2012) no. 4, pp. 156-181. http://geodesic.mathdoc.fr/item/AA_2012_24_4_a6/

[1] Burbaki N., Teoriya mnozhestv, Mir, M., 1965

[2] Vasilev S. N., “Metod predstavimosti v logiko-algebraicheskom podkhode k kachestvennomu analizu dinamicheskikh sistem”, Optimizatsiya, upravlenie, intellekt, 2005, no. 3(11), 248–254

[3] Vasilev S. N., “Metod reduktsii i kachestvennyi analiz dinamicheskikh sistem. I”, Izv. RAN. TiSU, 2006, no. 1, 21–29

[4] Vasilev S. N., “Metod sravneniya v analize sistem. I”, Differents. uravneniya, 17:9 (1981), 1562–1573 ; “II”, Дифференц. уравнения, 17:11 (1981), 1945–1954 ; “III”, Дифференц. уравнения, 18:2 (1982), 197–205 ; “IV”, Дифференц. уравнения, 18:6 (1982), 938–947 | MR | MR | MR | MR

[5] Vasilev S. N., Sintez teorem s VFL v matematicheskoi teorii sistem, Dis. dok. fiz.-mat. nauk, Irkutsk, 1988

[6] Zhuravlev V. F., Osnovy teoreticheskoi mekhaniki, Fizmatlit, M., 2001 | MR

[7] Kavinov A. V., Krischenko A. P., “Ustoichivost reshenii v raznykh peremennykh”, Differents. uravneniya, 43:11 (2007), 1470–1473 | MR | Zbl

[8] Maltsev A. I., Algebraicheskie sistemy, Nauka, M., 1970 | MR

[9] Maltsev A. I., “Modelnye sootvetstviya”, Izv. AN SSSR. Ser. mat., 23:3 (1959), 313–336 | MR | Zbl

[10] Matrosov V. M., “Metod sravneniya v dinamike sistem. I”, Differents. uravneniya, 10:9 (1974), 1547–1559 ; “II”, Дифференц. уравнения, 11:3 (1975), 403–417 | MR | Zbl | Zbl

[11] Nagul N. V., “K voprosu sokhraneniya svoistv mnogoosnovnykh algebraicheskikh sistem”, Vestn. Samar. gos. un-ta. Estestvennonauchnaya seriya, 2007, no. 6(56), 223–241 | MR | Zbl

[12] Nagul N. V., “Sokhranenie svoistv raspisaniya dvizheniya v odnoi modeli seti obschestvennogo transporta”, Sovrem. tekhnologii, sistem. anal., modelirovanie, 2010, no. 4(28), 150–159

[13] Feferman S., “Harmonious logic: Craig's interpolation theorem and its descendants”, Synthese, 164 (2008), 341–357 | DOI | MR | Zbl

[14] Higgins P. J., “Algebras with a scheme of operators”, Math. Nachr., 27 (1963), 115–132 | DOI | MR | Zbl

[15] Michel A. N., Wang K., Hu Bo, Qualitative theory of dynamical systems, Monogr. Textbooks Pure Appl. Math., 239, Marcel Dekker, Inc., New York, 2001 | MR | Zbl

[16] Vassilyev S. N., “Machine synthesis of mathematical theorems”, J. Logic Programming, 9:2–3 (1990), 235–266 | DOI | MR | Zbl