• Journal of the Korean Society of Surveying, Geodesy, Photogrammetry and Cartography
• /
• v.28 no.5
• /
• pp.539-546
• /
• 2010

A program which can produce military standard raster maps was developed. This includes the functions that classify the types of geospatial data, publish automatically based on paper map schema, and convert products with military standard raster formats. Especially, this paper presents the automatic map-publishing technique with mathematical modeling and controling the line width, color, shape that ever not used.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2013.05a
• /
• pp.399-402
• /
• 2013

PMIPv6(Proxy Mobile IPv6)는 네트워크 주도형 IP 기반 이동성 관리 프로토콜로서 액세스 시스템의 종류나 단말의 능력에 의존하지 않고, 단말 이동성 제어가 가능하다. 이러한 PMIPv6에 SIP 이동성을 접목하면 더 효율적인 경로를 사용해 터미널 이동성 및 세션 이동성을 확립할 수 있다. 이러한 이동성 관리를 위해 현재 PMIPv6-SIP에 대한 활발한 연구가 진행되고 있지만, 효과적인 성능평가 및 수학적 모델링이 표준화되지 못하고 있다. 이에 새로운 PMIPv6-SIP 아키텍쳐를 제안하고 핸드오버 시에 발생되는 지연과 패킷손실을 Pure-SIP과 비교하여 수학적인 모델링을 통한 효과적인 성능평가를 제안한다.

• Clean Technology
• /
• v.7 no.2
• /
• pp.151-159
• /
• 2001

Mathematical modeling and numerical simulation studies have been conducted for a falling film type absorber of the ammonia absorption heat pump. A rigorous absorber model has been developed by considering temperature effects on physical properties and its predictability proved far superior to that of existing models, which has been confirmed by the experimental data. Using the developed model, effects of cooling water condition - temperature and flow rate - on the efficiency of absorber has been examined. As the result of simulation, the efficiency of absorber has increased as the cooling water temperature has decreased and flow rate has increased.

• Journal for History of Mathematics
• /
• v.21 no.4
• /
• pp.105-126
• /
• 2008

This article summarizes the historical changes of the secondary school geometry to give insights into the new direction of geometry education for the 21th century. Geometry has been considered as an essential subject in high school since mid-nineteen century in accordance with the social changes. Since the development of computer softwares such as CAD effects on the role of geometry in work and professional societies, the knowledge and skills the contemporary world require to school geometry have being changed. More focus on applications and modeling aspects, expansion of reasoning and problem solving, emphasis on design-related elements are features of the school geometry for the new century.

• Proceedings of the Korean Information Science Society Conference
• /
• 2007.06b
• /
• pp.261-266
• /
• 2007

내장형 시스템에 보다 강력한 성능이 요구됨에 따라 내장형 마이크로 프로세서는 보다 깊은 파이프라인을 채택하고 있다. 따라서, 내장형 마이크로 프로세서는 보다 정확한 분기 예측기를 필요로 하고 있다. 이러한 상황에서 분기 예특기의 구조, 성능 및 전력 소모와 전체 시스템의 전력 소모 사이의 trade-off를 분석하는 것은 매우 중요하다. 내장형 환경에서 시스템의 전력 소모는 설계 시 매우 중요하게 고려되어야 한다. 특히 내장형 시스템의 요구사항은 동작할 응용 프로그램에 의하여 규정되고, 전력 소모도 응용프로그램의 구조와 강하게 연관되어 있다. 본 논문의 목표는 내장형 환경에서 성능-전력 공간에서 분기 예측기를 분석하는 기법을 제시하는 것에 있다. 이를 통하여, 분기 예측기 테이블의 성능-전력을 고려한 최적화된 크기를 찾을 수 있다. 이러한 목표는 수학적 모델링을 통한 정량적 예측의 수행 및 시뮬레이션 결과와의 비교를 통한 수학적 모델링의 검증의 과정을 통하여 이루어진다. 결과는 우리의 수학적 모델이 성능-전력 공간에서 분기 예측기 테이블의 최적화된 크기 결정의 해법을 제공하고 있음을 보여주고 있다.

• Proceedings of the KWS Conference
• /
• 2000.04a
• /
• pp.113-116
• /
• 2000

• Proceedings of the KIEE Conference
• /
• 2003.07e
• /
• pp.100-102
• /
• 2003

이 study는 수치 계산 및 수치 해석 프로그램으로 폭넓게 사용되는 Mathcad를 이용하여 전기/전자/전력 회로를 수학적인 모델링으로 구현하여 다양한 분석법으로 해를 구하는 내용을 보여준다.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 2008.06a
• /
• pp.71-72
• /
• 2008

• KOREAN JOURNAL OF PACKAGING SCIENCE & TECHNOLOGY
• /
• v.8 no.2
• /
• pp.60-72
• /
• 2002

포장된 복합비타민의 보관수명을 예측하기 위한 수학모델을 수치해석의 방법 중 finite difference method을 이용한 컴퓨터 프로그램을 개발하였다. 이 컴퓨터 프로그램에는 포장재료의 수분확산계수와 용해도를 비롯한 식품의 수분확산계수 등 다양한 인자들을 포함하고 있다. 포장재료를 통과하는 수분의 물질전달은 G.A.B water sorption isotherm을 기본으로 했다. 본 연구에서는 비정상상태에서의 물질전달로 기본 수학모델링을 구하였다. 본 수학모델과 프로그램의 결과는 실험치와 비교하지 않았고 대신 특정한 경우를 가상하여 이에 존재하는 analytical solutions를 실제로 구하여 본 수학모델과 컴퓨터 프로그램의 신뢰도 측정을 하였다.

• Communications of Mathematical Education
• /
• v.28 no.3
• /
• pp.353-366
• /
• 2014

Recently, the widespread usage of 3D-Printing has grown rapidly in popularity and development of a high level technology for 3D-Printing has become more necessary. Given these circumstances, effectively using mathematical knowledge is required. So, we have developed free web tools for 3D-Printing with Sage, for mathematical 3D modeling and have utilized them in college education, and everybody may access and utilize online anywhere at any time. In this paper, we introduce the development of our innovative 3D-Printing environment based on Calculus, Linear Algebra, which form the basis for mathematical modeling, and various 3D objects representing mathematical concept. By this process, our tools show the potential of solving real world problems using what students learn in university mathematics courses.