ilikeafrica.com

Innovative Summaries and Translations of Scientific Papers

An Algebraic Programming Style for Numerical Software and its Optimization (수치 소프트웨어 및 최적화를위한 대수 프로그래밍 스타일)

|

본 게시물은 AI를 활용하여 논문 “An Algebraic Programming Style for Numerical Software and its Optimization”에 대한 주요 내용을 요약하고 분석한 결과입니다. 심층적인 정보는 원문 PDF를 직접 참고해 주시기 바랍니다.


📄 원문 PDF 다운로드 / 전체 화면 보기

영문 요약 (English Summary)

The Sophus programming style aims to bridge the gap between theory and practice in PDE solvers by incorporating abstract datatypes corresponding to mathematical structures used in the theoretical domain. This style emphasizes object-oriented languages or other languages supporting abstract datatype, resulting in high-level transformations suitable for optimization opportunities using CodeBoost source-to-source tool. Sophus approach focuses on coordinate-free programming of tensors and scalar fields while relying heavily on arithmetic operations like addition (+) and multiplication (*).

한글 요약 (Korean Summary)

Sophus 프로그래밍 스타일은 이론 영역에 사용되는 수학적 구조에 해당하는 추상 데이터 유형을 통합하여 PDE 솔버의 이론과 실습 사이의 격차를 해소하는 것을 목표로합니다. 이 스타일은 객체 지향 언어 또는 추상 데이터 유형을 지원하는 기타 언어를 강조하여 Codeboost 소스-소스 도구를 사용하여 최적화 기회에 적합한 고급 변환을 만듭니다. Sophus Approach는 추가 (+) 및 곱셈 (*)과 같은 산술 작업에 크게 의존하면서 텐서 및 스칼라 필드의 좌표가없는 프로그래밍에 중점을 둡니다.

주요 기술 용어 설명 (Key Technical Terms)

이 논문의 핵심 개념을 이해하는 데 도움이 될 수 있는 주요 기술 용어와 그 설명을 제공합니다. 각 용어 옆의 링크를 통해 관련 외부 자료를 검색해 보실 수 있습니다.

  • Manifolds [Wikipedia (Ko)] [Wikipedia (En)] [나무위키] [Google Scholar] [Nature] [ScienceDirect] [PubMed]
    설명: PDE 문제가 발생하는 생리 학적 공간, RN의 서브 세트로 표시됩니다. 이 개념을 통해 텐서 구조는 좌표가없는 방식으로 공식화 될 수 있습니다.
    (Original: Physiological space where PDE problems take place, represented by subsets of Rn. This concept allows tensor structures to be formulated in coordinate-free ways.)
  • Scalar Fields [Wikipedia (Ko)] [Wikipedia (En)] [나무위키] [Google Scholar] [Nature] [ScienceDirect] [PubMed]
    설명: 스칼라 곱셈을 통해 벡터 또는 텐서를 나타내는 수학적 엔티티. 이 분야에 중점을두면 행렬 및 어레이와 같은 구체적인 표현에 의지하지 않고 대수 표기법을 달성 할 수 있습니다.
    (Original: Mathematical entities that represent vectors or tensors through scalar multiplication. Focusing on this field enables algebraic notation to be achieved without resorting to concrete representations like matrices and arrays.)
  • Tensor Based Library [Wikipedia (Ko)] [Wikipedia (En)] [나무위키] [Google Scholar] [Nature] [ScienceDirect] [PubMed]
    설명: Sophus Library Class 추상화, 메쉬 요소를 하나 이상의 치수로 이동하는 것과 같은 작업을 허용합니다. 이 라이브러리는 텐서 구조를 기반으로 템플릿 클래스를 사용하여 아키텍처 간의 휴대 성을 가능하게합니다.
    (Original: Sophus library class abstractions, allowing for operations such as shifting of mesh elements in one or more dimensions. These libraries enable portability between architectures using template classes based on tensor structures.)
원문 발췌 및 번역 보기 (Excerpt & Translation)

원문 발췌 (English Original)

An Algebraic Programming Style for Numerical Software and its Optimization T.B. Dinesh Magne Haveraaen1999 Academic Systems Corporation University of Bergen 444 Castro Street, Mountain View, CA 94041, USA Høyteknologisenteret, N-5020 Bergen, NorwayMar T Dinesh@academic.com Magne.Haveraaen@ii.uib.no 1 Jan Heering CWI P.O. Box 94079, 1090 GB Amsterdam, The Netherlands Jan.Heering@cwi.nl[cs.SE] ABSTRACT The abstract mathematical theory of partial differential equations (PDEs) is formulated in terms of man- ifolds, scalar fields, tensors, and the like, but these algebraic structures are hardly recognizable in actual PDE solvers. The general aim of the Sophus programming style is to bridge the gap between theory and practice in the domain of PDE solvers. Its main ingredients are a library of abstract datatypes correspond- ing to the algebraic structures used in the mathematical theory and an algebraic expression style similar to the expression style used in the mathematical theory. Because of its emphasis on abstract datatypes, Sophus is most naturally combined with object-oriented languages or other languages supporting abstract datatypes. The resulting source code patterns are beyond the scope of current compiler optimizations, but are sufficiently specific for a dedicated source-to-source optimizer. The limited, domain-specific, character of Sophus is the key to success here. This kind of optimization has been tested on computationally intensive Sophus style code with promising results. The general approach may be useful for other styles and in other application domains as well. 1991 Computing Reviews Classification System: D.1.5, D.2.2, J.2arXiv:cs/9903002v1 Keywords and Phrases: coordinate-free numerics, object-oriented numerics, algebraic programming style, domain-specific programming style, optimization of numerical code Note: Submitted to Scientific Programming, special issue on Coordinate-Free Numerics. This research was supported in part by the European Union under ESPRIT Project 21871 (SAGA—Scientific Computing and Algebraic Abstractions), the Netherlands Organisation for Scientific Research (NWO) under the Generic Tools for Program Analysis and Optimization project, and by…

발췌문 번역 (Korean Translation)

수치 소프트웨어 및 최적화 T.B의 대수 프로그래밍 스타일 Dinesh Magne Haveraaen1999 Bergen의 Academic Systems Corporation University of Bergen 444 Castro Street, Mountain View, CA 94041, USA høyteknologisenteret, N-5020 Bergen, Norwaymar t dinesh@academic.com magne.haveraaen@ii.uib.no 1 Jan Heering Cwi P.O. Box 94079, 1090 GB Amsterdam, 네덜란드 Jan.heering@cwi.nl [cs.se] 초록 부분 차이 방정식 (PDE)의 추상적 수학적 이론은 인간이 폴드, 스칼라 필드, 텐서 및 랑스어의 관점에서 공식화되었지만 이러한 대도시 구조는 실제로 인식되어야합니다. Sophus 프로그래밍 스타일의 일반적인 목표는 PDE Solvers의 영역에서 이론과 실천 사이의 격차를 해소하는 것입니다. 주요 성분은 수학 이론에 사용되는 대수 구조와 수학 이론에 사용 된 표현 스타일과 유사한 대수 표현 스타일에 해당하는 추상 데이터 유형의 라이브러리입니다. 추상 데이터 유형에 대한 강조로 인해 Sophus는 가장 자연스럽게 객체 지향 언어 또는 추상 데이터 유형을 지원하는 다른 언어와 결합됩니다. 결과 소스 코드 패턴은 현재 컴파일러 최적화 범위를 벗어나지 만 전용 소스 간 소스 최적화기를위한 충분한 지정입니다. Sophus의 제한적이고 도메인 별 특성이 여기서 성공의 열쇠입니다. 이러한 종류의 최적화는 유망한 결과로 계산 집약적 인 Sophus 스타일 코드에서 테스트되었습니다. 일반적인 접근법은 다른 스타일과 다른 응용 프로그램 도메인에도 유용 할 수 있습니다. 1991 Computing Reviews 분류 시스템 : D.1.5, D.2.2, J.2Arxiv : CS/9903002V1 키워드 및 문구 : 좌표가없는 숫자, 객체 지향적 수치, 대수 프로그래밍 스타일, 과학적 수량에 대한 도메인 수량 프로그램의 최적화, 특수 코드에 대한 도메인 별 수량 노트의 최적화. 이 연구는 프로그램 분석 및 최적화 프로젝트를위한 일반적인 도구에 따라 네덜란드 과학 연구 (NWO)의 네덜란드 과학 연구기구 (NWO)의 Esprit Project 21871 (SAGA – 과학적 컴퓨팅 및 대수적 추상화)에 의해 부분적으로 지원되었습니다.


출처(Source): arXiv.org (또는 해당 논문의 원 출처)

답글 남기기

이메일 주소는 공개되지 않습니다. 필수 필드는 *로 표시됩니다