О некоторых резервах и направлениях развития высокопроизводительных вычислений

О некоторых резервах и направлениях развития высокопроизводительных вычислений

Автор: Бельтюков Анатолий Петрович, Маслов Сергей Геннадьевич

Журнал: Сетевое научное издание «Устойчивое инновационное развитие: проектирование и управление» @journal-rypravleni

Статья в выпуске: 4 (57) т.18, 2022 года.

Бесплатный доступ

В работе рассматриваются нетрадиционные точки зрения на высокопроизводительные вычисления. Формируется система понятий, которая расширяет классы задач для высокопроизводительных вычислений и подходы к их решению. При этом предлагается рассматривать физико-антропо-технические системы и сети как среду организации высокопроизводительного компьютинга. На верхнем уровне организации систем постановок задач предлагается рассматривать семантику декартово замкнутых категорий. Представленная точка зрения может служить основой для всестороннего критического обсуждения.

Компьютинг, высокопроизводительные вычисления, эргатические и физико-антропо-технические системы и сети, система знаний, онтология, дедуктивный синтез алгоритмов, теория категорий, декартова замкнутость, конструктивное доказательство, автоматический логический вывод

Еще

Короткий адрес: https://sciup.org/14128076

IDR: 14128076

Список литературы О некоторых резервах и направлениях развития высокопроизводительных вычислений

  • Сойфер В.А. Фотоника и ее применение в сенсорике, обработке информации и управлении. XII мультиконференция по проблемам управления (МКПУ-2019): материалы XII мультиконференции (Дивноморское, Геленджик, 23–28 сентября 2019 г.): в 4 т. Южный федеральный университет [ред.: И.А. Каляев, В.Г. Пешехонов и др.]. – Ростовна-Дону; Таганрог: Издательство Южного федерального университета, Т.2, 2019. С. 24–26.
  • Adamatzky A. Towards fungal computer. Interface Focus. 2018 Dec 6;8(6):20180029. doi: 10.1098/rsfs.2018.0029. Epub 2018 Oct 19. PMID: 30443330; PMCID: PMC6227805.
  • LINKs – Special Issue 1 Unconventional Computing, Andrew Adamatzky (ed.), 2021, 111 p. http://links-series.com/wp-content/revues/LINKs_series_Special_Issue_1-Unconventional_Computing-2021.pdf
  • Сахабутдинова А.Р., Михайленко К.И., Гарафутдинов Р.Р., Кирьянова О.Ю., Сагитова М.А., Сагитов А.М., Чемерис А.В. Небиологическое применение молекул ДНК // Биомика. 2019 Т.11(3). С. 344-377. DOI: 10.31301/2221-6197.bmcs.2019-28.
  • Паун Г., Розенберг Г., Саломаа А. ДНК-компьютер. Новая парадигма вычислений, М.: Мир, 2004. - 528 с.
  • Вольфенгаген В.Э., Исмаилова Л.Ю., Косиков С.В. Структура компьютинга и конструирование вычислений // Наука и образование: научное издание МГТУ им. Н.Э. Баумана. 2010. № 8. 9 с. https://cyberleninka.ru/article/n/struktura-kompyutinga-i-konstruirovanie-vychisleniya/viewer
  • Curry, H. B., Feys, R. Combinatory Logic Vol. I. —Amsterdam: North-Holland, 1958.
  • Howard, W. A. The formulae-as-types notion of construction // To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism. — Boston: Academic Press, 1980. – pp. 479–490.
  • Curien P.-L. Categorical combinatory logic. – LNCS, 194, 1985, pp.139-51.
  • Roy L. Crole, Categories for Types, CambridgeUniversity Press, 1994.
  • Friedman H. Equality between functionals. LogicColl. '73, pр. 22-37, LNM 453, 1975.
  • Barendregt H. Lambda Calculi with Types, Handbook of Logic in Computer Science, Volume II, Oxford University Press.
  • Cousineau G., Curien PL., Mauny M. (1985) The categorical abstract machine. In: Jouannaud JP. (eds) Functional Programming Languages and Computer Architecture. FPCA 1985. Lecture Notes in Computer Science, vol 201. Springer, Berlin, Heidelberg, pp. 50-64.
  • S.C. Kleene Introduction to Metamathematics North-Holland Pub. Co., 1950. 550 p.
  • Alonzo Church, Introduction to mathematical logic, Vol. 1 Princeton mathematical series, Annals of Mathematics Studies, (Vol. 17) Princeton University Press, 1956. 378 p.
  • Helena Rasiowa, Roman Sikorski, The Mathematics of Metamathematics. Panstwowe Wydawnictwo Naukowe, Warszava, January 1, 1963, 520 p.
  • Bartosz Milewski, Category Theory for Programmers. Scala Edition, Oct 21, 2018. 396 Pages.
  • G.G. Kulikov, V. V. Antonov, A.R . Fakhrullina, L.E. Rodionova. Method of structuring the self-organized intellectual system on the basis of requirements of the ISO/IEC 15288 standard in the form of the Cartesian closed category. (On the example of design of information and analytical system) // The 20th International Workshop on Computer Science and Information Technologies - 20th CSIT ‘2018. September 24-27, 2018, Bulgaria, Varna, pp. 135-139.
  • Alur, Rajeev; al., et. "Syntax-guided Synthesis". Proceedings of Formal Methods in Computer-Aided Design. 2013, IEEE. p.8.
  • Basin D., Deville Y., Flener P. Hamfelt, A., Nilsson J. F.: Synthesis of Programs in Computational Logic. In: Bruynooghe M., Lau K.-K. (Eds.) Program Development in CL, 2014, LNCS 3049: pp. 30–65.
  • Alpuente M., Cuenca-Ortega A., Escobar S., Meseguer J.: Partial Evaluation of Order-Sorted Equational Programs Modulo Axioms. In: Hermenegildo M., Lopez-Garcia P. (eds) LogicBased Program Synthesis and Transformation. LOPSTR 2016. Lecture Notes in Computer Science, vol 10184 (2017). Springer, Cham, pp. 3-20.
  • Albert E., Bezirgiannis N., de Boer F., Martin-Martin E.: A Formal, Resource Consumption-Preserving Translation of Actors to Haskell. In: Hermenegildo M., Lopez-Garcia P. (eds) Logic-Based Program Synthesis and Transformation. LOPSTR 2016. Lecture Notes in Computer Science, vol 10184 (2017). Springer, Cham, pp. 21-37.
  • De Angelis E., Fioravanti F., Meo M.C., Pettorossi A., Proietti M.: Verification of Time-Aware Business Processes Using Constrained Horn Clauses. In: Hermenegildo M., Lopez-Garcia P. (eds) Logic-Based Program Synthesis and Transformation. LOPSTR 2016. Lecture Notes in Computer Science, vol 10184 (2017). Springer, Cham, pp. 38-55.
  • Alpuente M., Pardo D., Villanueva A.: Symbolic Abstract Contract Synthesis in a Rewriting Framework. In: Hermenegildo M., Lopez-Garcia P. (eds) Logic-Based Program Synthesis and Transformation. LOPSTR 2016. Lecture Notes in Computer Science, vol 10184 (2017). Springer, Cham, pp. 187-202.
  • Tarau P.: A Hiking Trip Through the Orders of Magnitude: Deriving Efficient Generators for Closed Simply-Typed Lambda Terms and Normal Forms. In: Hermenegildo M., LopezGarcia P. (eds) Logic-Based Program Synthesis and Transformation. LOPSTR 2016. Lecture Notes in Computer Science, vol 10184 (2017). Springer, Cham, pp. 240-255.
Еще
Статья научная
QR-код для установки приложения SciUp Наведите камеру и скачайте бесплатное приложение SciUp