Abstract
Currently, the basic paradigm of intelligent technology is a knowledge processing approach. A knowledge database that constitutes a core of intelligent systems must meet certain requirements such as availability, flexibility, consistency, and the others. These requirements can be satisfied with the aid of Knowledge Engineering. Due to the fact that the automation of the design process of complex technical systems is considered as one of the main approached increasing the efficiency of designer’s activity simultaneously improving the quality and reliability of the projects, the development of knowledge representation techniques in knowledge engineering appears to be a topical task.
The paper deals with the method of conceptual presentation of application tasks for knowledge presentation in a consistency with the development of complex engineering systems supported by the category theory apparatus. Such presentation can be used to integrate and coordinate the common knowledge within the computer-aided design cycle. We adduce here the results of universal theoretical categorical semantic mathematical models of this representation.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Korobeynikov, A.G., Fedosovsky, M.E., Maltseva, N.K., Baranova, O.V., Zharinov, I.O., Gurjanov, A.V., Zharinov, O.O.: Use of information technologies in design and production activities of instrument making plants. Indian J. Sci. Technol. 9(44), 1–8 (2016). http://www.indjst.org/index.php/indjst/article/view/104708/75206
Morin, B., Barais, O., Nain, G., Jézéquel, J.-M.: Taming dynamically adaptive systems using models and aspects. In: Proceedings of 31st International Conference on Software Engineering, ICSE 2009, Vancouver, pp. 122–132 (2009)
Korobeynikov, A.G.: Design and research of mathematical models in the environments MATLAB and MAPLE, 160 p. ITMO University, St. Petersburg, Russia (2012)
Korobeynikov, A.G., Grishentsev, A.Y.: Development and a research of multivariate mathematical models with use of systems of computer algebra, 100 p. ITMO University, St. Petersburg, Russia (2013)
Kiczales, G., Lamping, J., Mendhekar, A., Maeda, C., Lopes, C.V., Loingtier, J.-M., Irwin, J.: Aspect-oriented programming. In: Proceedings of 11th European Conference on Object-Oriented Programming, ECOOP 1997, Jyväskylä, Finland, 9–13 June 1997. Lecture Notes in Computer Science, vol. 1241, pp. 220–242. Springer, Heidelberg (1997)
Gatchin, Y.A., Zharinov, I.O., Korobeynikov, A.G., Zharinov, O.O.: Theoretical estimation of Grassmann’s transformation resolution in avionics color coding systems. Mod. Appl. Sci. 9(5), 197–210 (2015). ISSN 1913-1844
Korobeynikov, A.G., Aleksanin, S.A., Perezyabov, O.A.: Automated image processing using magnetic defectoscopy. ARPN J. Eng. Appl. Sci. 10(17), 7488–7493 (2015). ISSN 1819-6608
Aleksanin, S.A., Zharinov, I.O., Korobeynikov, A.G., Perezyabov, O.A., Zharinov, O.O.: Evaluation of chromaticity coordinate shifts for visually perceived image in terms of exposure to external illuminance. ARPN J. Eng. Appl. Sci. 10(17), 7494–7501 (2015). ISSN 1819-6608
Kolovos, D.S., Paige, R.F., Polack, F.A.C.: The grand challenge of scalability for model driven engineering. Lecture Notes in Computer Science, vol. 5421, pp. 48–53 (2009)
Diskin, Z., Maibaum, T.S.E.: Category theory and model-driven engineering: from formal semantics to design patterns and beyond. In: Proceedings of 7th Workshop ACCAT 2012, Electronic Proceedings in Theoretical Computer Science, vol. 93, pp. 1–21 (2012)
Korobeynikov, A.G., Grishentsev, A.Y., Velichko, E.N., Korikov, C.C., Aleksanin, S.A., Fedosovskii, M.E., Bondarenko, I.B.: Calculation of regularization parameter in the problem of blur removal in digital image. Opt. Memory Neural Netw. (Information Optics) 25(3), 184–191 (2016)
Sommerville, I.: Software Engineering, 9th edn., 790 pp. Pearson Education, Inc., Publishing as Addison-Wesley, Boston (2011)
https://www.homeworkmarket.com/sites/default/files/q5/19/07/cis_421_sommerville_9e_ch1-3.pdf
Cohn, P.: Universal Algebra, p. 412. Springer, Heidelberg (2012)
Mac Lane, S.: Categories for the Working Mathematician, 2nd edn., p. 314. Springer, New York (1998)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer International Publishing AG
About this paper
Cite this paper
Korobeynikov, A. et al. (2018). Method for Conceptual Presentation of Subject Tasks in Knowledge Engineering for Computer-Aided Design Systems. In: Abraham, A., Kovalev, S., Tarassov, V., Snasel, V., Vasileva, M., Sukhanov, A. (eds) Proceedings of the Second International Scientific Conference “Intelligent Information Technologies for Industry” (IITI’17). IITI 2017. Advances in Intelligent Systems and Computing, vol 680. Springer, Cham. https://doi.org/10.1007/978-3-319-68324-9_6
Download citation
DOI: https://doi.org/10.1007/978-3-319-68324-9_6
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-68323-2
Online ISBN: 978-3-319-68324-9
eBook Packages: EngineeringEngineering (R0)