Beltiukov Anatoly Petrovich, Doctor of Physical and Mathematical Sciences, professor, head of Department of theoretical informatics basis of the Udmurt State University Department
Maslov Sergey Gennadyevich, PhD in Technical Sciences, associate professor of Department of theoretical informatics basis of the Udmurt State University
Abstract
The paper considers non-traditional points of view on high-performance computing. A system of concepts is being formed that expands the classes of problems for high-performance computing and approaches to their solution. At the same time, it is proposed to consider physical-anthropical-technical systems and networks as an environment for organizing high-performance computing. At the upper level of the organization of task setting systems, it is proposed to consider the semantics of Cartesian closed categories. The presented point of view can serve as the basis for a comprehensive critical discussion.
KEYWORDS: computing, high-performance computing, ergatic and physical-anthropical-technical systems and networks, knowledge system, ontology, deductive synthesis of algorithms, category theory, Cartesian closure, constructive proof, automatic logical inference.
Download article ON SOME RESERVES AND DIRECTIONS OF DEVELOPMENT OF HIGH-PERFORMANCE COMPUTING