DC Field | Value | Language |
---|---|---|
dc.contributor.advisor | Martin, Ziegler | - |
dc.contributor.advisor | 마틴 지글러 | - |
dc.contributor.author | Hwang, Jiman | - |
dc.date.accessioned | 2022-04-27T19:31:56Z | - |
dc.date.available | 2022-04-27T19:31:56Z | - |
dc.date.issued | 2021 | - |
dc.identifier.uri | http://library.kaist.ac.kr/search/detail/view.do?bibCtrlNo=963373&flag=dissertation | en_US |
dc.identifier.uri | http://hdl.handle.net/10203/296110 | - |
dc.description | 학위논문(석사) - 한국과학기술원 : 전산학부, 2021.8,[iv, 36 p. :] | - |
dc.description.abstract | We address three subjects regarding real computation. Firstly, we introduce an abstract data type (ADT) for representing compact subsets in Euclidean space in Exact Real Computation. Given a point, it provides membership check up to the desired precision. Furthermore, the visualization is supported for 2D compact subsets. Secondly, we explain a method to accelerate multiplication of 100-bit precision floating-points via Floating-Point Unit (FPU). The experiment shows that it is at least 2-4 times faster than MPFR to multiply matrices and polynomials, respectively. Lastly, we run a simulation to design an outlet shape and installation height for an air purifier so that the clean air flows to the average human effectively. Our simulation has improved the efficiency of the original prototype so that it successfully forms an area of PM2.5 density less than 50μg/m³ around itself. | - |
dc.language | eng | - |
dc.publisher | 한국과학기술원 | - |
dc.subject | Real computation▼aCompact set▼aMultiplication▼aSimulation▼aFine dust | - |
dc.subject | 실수 연산▼a콤팩트 집합▼a곱셈▼a모의실험▼a미세먼지 | - |
dc.title | Real computation: from computability via efficiency to practice | - |
dc.title.alternative | 실수연산의 계산 가능성, 효율, 실제사례 | - |
dc.type | Thesis(Master) | - |
dc.identifier.CNRN | 325007 | - |
dc.description.department | 한국과학기술원 :전산학부, | - |
dc.contributor.alternativeauthor | 황지만 | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.