Skip to main content

2018 | OriginalPaper | Buchkapitel

Algebraic Formalization of Sustainability in Smart University Ranking System

verfasst von : Natalia A. Serdyukova, Vladimir I. Serdyukov, Alexander V. Uskov, Vladimir A. Slepov, Colleen Heinemann

Erschienen in: Smart Education and e-Learning 2017

Verlag: Springer International Publishing

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

The validity, truthfulness, and reliability of obtained results are of great value when it comes to theory and, specifically, when it comes to risk-free implementations of theoretical research outcomes, deliverables, and findings in practice. The reliability is particularly significant for people who are dependable on outcomes of innovative approaches and developments for human society, such as pedagogy, general theory of education, e-learning, economics, finance, etc. This paper presents the up-to-date outcomes of an on-going research and development project on analysis, design, and engineering of smart educational systems in general and, in particular, theoretical justification of the introduced smart university concept based on the algebraic formalization of smart systems. The obtained theoretical outcomes and findings were successfully validated by their application to an evaluation of sustainability of various universities’ ranking systems.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Fußnoten
1
Recall that the element \( a \) is an atom of Boolean algebra if and only if it is the minimal non-zero element with respect to the induced partial order.
 
2
The group of extensions of an abelian group \( B_{1} \) by the abelian group \( B_{2} \) [20].
 
Literatur
2.
Zurück zum Zitat Serdyukova, N.A.: Optimization of tax system of Russia, Parts I and II, Budget and Treasury Academy, Rostov State Economic University (2002). in Russian Serdyukova, N.A.: Optimization of tax system of Russia, Parts I and II, Budget and Treasury Academy, Rostov State Economic University (2002). in Russian
3.
Zurück zum Zitat Serdyukova, N.A., Serdyukov, V.I.: The new scheme of a formalization of an expert system in teaching. In: Proceedings of ICEE/ICIT 2014 Conference, Paper 032, Riga (2014) Serdyukova, N.A., Serdyukov, V.I.: The new scheme of a formalization of an expert system in teaching. In: Proceedings of ICEE/ICIT 2014 Conference, Paper 032, Riga (2014)
4.
Zurück zum Zitat Serdyukova, N.A., Serdyukov, V.I., Slepov, V.A.: Formalization of knowledge systems on the basis of system approach. In: Smart Education and Smart e – Learning, Smart Innovation, Systems and Technologies, SEEL 2015, vol. 41, pp. 371–380. Springer (2015) Serdyukova, N.A., Serdyukov, V.I., Slepov, V.A.: Formalization of knowledge systems on the basis of system approach. In: Smart Education and Smart e – Learning, Smart Innovation, Systems and Technologies, SEEL 2015, vol. 41, pp. 371–380. Springer (2015)
5.
Zurück zum Zitat Serdyukova, N.A., Serdyukov, V.I.: Modeling, simulations and optimization based on algebraic formalization of the system. In: 19th International Conference on Engineering Education, 20–24 July 2015, Zagreb, Zadar (Croatia), Proceedings of ICEE2015 New Technologies and Innovation in Education for Global Business, pp. 576–582 (2015) Serdyukova, N.A., Serdyukov, V.I.: Modeling, simulations and optimization based on algebraic formalization of the system. In: 19th International Conference on Engineering Education, 20–24 July 2015, Zagreb, Zadar (Croatia), Proceedings of ICEE2015 New Technologies and Innovation in Education for Global Business, pp. 576–582 (2015)
6.
Zurück zum Zitat Uskov, A.V., Serdyukova, N.A., Serdyukov, V.I., Byerly, A., Heinemann, C.: Optimal design of IPSEC-based mobile virtual private networks for secure transfer of multimedia data. In: Pietro, G., Gallo, L., Howlett, R.J., Jain, L.C. (eds.) Intelligent Interactive Multimedia Systems and Services 2016. SIST, vol. 55, pp. 51–62. Springer, Cham (2016)CrossRef Uskov, A.V., Serdyukova, N.A., Serdyukov, V.I., Byerly, A., Heinemann, C.: Optimal design of IPSEC-based mobile virtual private networks for secure transfer of multimedia data. In: Pietro, G., Gallo, L., Howlett, R.J., Jain, L.C. (eds.) Intelligent Interactive Multimedia Systems and Services 2016. SIST, vol. 55, pp. 51–62. Springer, Cham (2016)CrossRef
7.
Zurück zum Zitat Serdyukova, N.A., Serdyukov, V.I., Uskov, V.L., Ilyin, V.V., Slepov, V.A.: A formal algebraic approach to modeling smart university as an efficient and innovative system. In: Uskov, V.L., Howlett, R.J., Jain, L.C. (eds.) Smart Education and e-Learning 2016. SIST, vol. 59, pp. 83–96. Springer, Cham (2016). doi:10.1007/978-3-319-39690-3_8 CrossRef Serdyukova, N.A., Serdyukov, V.I., Uskov, V.L., Ilyin, V.V., Slepov, V.A.: A formal algebraic approach to modeling smart university as an efficient and innovative system. In: Uskov, V.L., Howlett, R.J., Jain, L.C. (eds.) Smart Education and e-Learning 2016. SIST, vol. 59, pp. 83–96. Springer, Cham (2016). doi:10.​1007/​978-3-319-39690-3_​8 CrossRef
8.
Zurück zum Zitat Demidovich, B.P.: Lectures on Mathematical Theory of Sustainability, p. 472. Nauka, Moscow (1967). in Russian Demidovich, B.P.: Lectures on Mathematical Theory of Sustainability, p. 472. Nauka, Moscow (1967). in Russian
9.
Zurück zum Zitat Bratus, A.S., Novojilov, A.S., Rodina, E.V.: Discrete dynamical systems and models in ecology, p. 135, Moscow State University of Railway Engineering, Moscow (2005). in Russian Bratus, A.S., Novojilov, A.S., Rodina, E.V.: Discrete dynamical systems and models in ecology, p. 135, Moscow State University of Railway Engineering, Moscow (2005). in Russian
10.
Zurück zum Zitat Maltcev, A.I.: Algebraic Systems, p. 392. Nauka, Moscow (1970). in Russian Maltcev, A.I.: Algebraic Systems, p. 392. Nauka, Moscow (1970). in Russian
11.
Zurück zum Zitat Rasiowa, H., Sikorski, R.: The Mathematics of Metamathematics. Polska Akademia Nauk, Monografie Matematyczne 41, 593 (1963)MathSciNetMATH Rasiowa, H., Sikorski, R.: The Mathematics of Metamathematics. Polska Akademia Nauk, Monografie Matematyczne 41, 593 (1963)MathSciNetMATH
13.
Zurück zum Zitat Vasyukov, V.L.: Categorical Logic, ANO Institute of Logics, p. 208 (2005). in Russian Vasyukov, V.L.: Categorical Logic, ANO Institute of Logics, p. 208 (2005). in Russian
14.
Zurück zum Zitat Kulikov, L.Y.: Algebra and Number Theory, p. 559. Vysshaya Shkola, Moscow (1979) Kulikov, L.Y.: Algebra and Number Theory, p. 559. Vysshaya Shkola, Moscow (1979)
15.
Zurück zum Zitat Mesarovich, M., Takahara, Y.: General System Theory: Mathematical Foundations. Mathematics in Science and Engineering, vol. 113. Academic Press, New York (1975) Mesarovich, M., Takahara, Y.: General System Theory: Mathematical Foundations. Mathematics in Science and Engineering, vol. 113. Academic Press, New York (1975)
20.
Zurück zum Zitat Fucks, L.: Infinite Abelian Groups, vol. 1, p. 335. Academic Press, New York and London (1970). And vol. 2, p. 416. Academic Press, New York and London (1973) Fucks, L.: Infinite Abelian Groups, vol. 1, p. 335. Academic Press, New York and London (1970). And vol. 2, p. 416. Academic Press, New York and London (1973)
21.
Zurück zum Zitat Kurosh, A.G.: Theory of Groups, p. 648. Nauka, Moscow (1967). in Russian Kurosh, A.G.: Theory of Groups, p. 648. Nauka, Moscow (1967). in Russian
22.
Zurück zum Zitat Hilbert, D., Bernays, P.: Foundations of Mathematics, Logical Calculus and Formalization of Arithmetic, p. 551. Nauka, Moscow (1979). in RussianMATH Hilbert, D., Bernays, P.: Foundations of Mathematics, Logical Calculus and Formalization of Arithmetic, p. 551. Nauka, Moscow (1979). in RussianMATH
23.
Zurück zum Zitat Nikitchenko, N.S., Timofeev, V.G.: On the application of composition – nominative logics in insertion modelling. Int. J. Control Syst. Mach. 6(242), 57–63 (2012) Nikitchenko, N.S., Timofeev, V.G.: On the application of composition – nominative logics in insertion modelling. Int. J. Control Syst. Mach. 6(242), 57–63 (2012)
24.
Zurück zum Zitat Kulikov, L.Y., Fomin, A.A.: Ninth all-union symposium on group theory. Uspekhi Mat. Nauk 40(6(246)), 167–171 (1985)MathSciNet Kulikov, L.Y., Fomin, A.A.: Ninth all-union symposium on group theory. Uspekhi Mat. Nauk 40(6(246)), 167–171 (1985)MathSciNet
Metadaten
Titel
Algebraic Formalization of Sustainability in Smart University Ranking System
verfasst von
Natalia A. Serdyukova
Vladimir I. Serdyukov
Alexander V. Uskov
Vladimir A. Slepov
Colleen Heinemann
Copyright-Jahr
2018
DOI
https://doi.org/10.1007/978-3-319-59451-4_46

Premium Partner