• 한국정보과학회논문지:소프트웨어및응용
• /
• 제36권3호
• /
• pp.244-251
• /
• 2009

다단계 프로그래밍이란 매크로 프로그래밍, 부분 계산(partial evaluation), 실행시간 코드 생성(runtime code generation)등을 포섭하는 일반적인 방법론으로, 계산을 여러 단계로 나누어 각 단계에 주어진 부분 입력을 통해 다음 단계를 전문화(specialize)함으로써 효율적인 계산을 수행하게 해 준다. 다단계 프로그램은 일반적인 계산 외에 코드(다음 단계의 프로그램)를 생성, 조림 및 실행시킬 수 있다. 본 논문은 코드에 자유변수를 허용하는 다단계 프로그램을 코드에 자유변수가 없는 다단계 프로그램으로 변환하는 방법을 제안한다. 코드에 존재하는 자유변수는 동적으로 바인딩(binding)되기 때문에 이를 구현하기 어려운 문제가 있다. 자유변수가 있는 코드는 환경을 입력으로 받는 함수의 코드로 변환하고, 필요한 환경은 코드를 조립하는 시점에 넘겨줌으로써 코드에서 자유변수를 제거할 수 있다. 이렇게 자유변수가 제거된 다단계 프로그램은 Davies와 Pfenning이 제안한 방법에 의해 단계가 없는 람다 계산(lambda-calculus)으로 변환된 후 람다 계산법에 의해 실행되어질 수 있다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2011년도 한국컴퓨터종합학술대회논문집 Vol.38 No.1(C)
• /
• pp.466-469
• /
• 2011

단계가 없는 고차원 프로그램(higher-order program)을 다단계 프로그램(multi-staged program)으로 타입의 도움을 받아 변환하는 방법을 제시한다. 이 방법은 최첨단의 다단계 프로그램 타입시스템에 기반했기에 직관적으로 이해가 쉽고, 열린 코드(open code)를 지원한다. 변환의 결과 나올 수 있는 열린 코드는 자유 변수(free variable)을 허용하여 나중에 사용자의 의도대로 자유롭게 묶이게 할 수 있다. 우리의 변환은 기존의 타입의 도움을 받아 특화시키는 Linger와 Sheard[2,3]의 방법에 비해 더 효율적이고, 더 많은 종류의 다단계 프로그램을 만들어 낼 수 있다.

• 대한기계학회논문집B
• /
• 제28권11호
• /
• pp.1339-1347
• /
• 2004

Development of the low NOx heating boiler was strongly asked due to severe air pollution and the large number of boilers in korea. Compactness of the commercial boiler was also important because of low manufacturing cost and easy installation. In this study. newly developed compact low NOx burner, using turbulent gas diffusion combustion with multi-staged air supplies and multiple fuel nozzles, was investigated. Comparison study of the new burner was performed between experimental results and computational analysis. Commercial computational fluid dynamic(CFD) program named CFX-5.6 was used for numerical analysis of the low NOx burner inside the test combustor. Comparisons of experiment data and numerical result were performed under various equivalence ratio and fuel flow rate.

• 한국공작기계학회논문집
• /
• 제16권4호
• /
• pp.36-44
• /
• 2007

This paper is focused on the optimum design for decreasing volume and increasing reliability of multi-stage gear drive. For the optimization on volume and reliability, multi-objective optimization is used. The genetic algorithm is introduced to multi-objective optimization method and it is used to develop the optimum design program using exterior penalty function method to solve the complicated subject conditions. A 5 staged gear drive(geared motor) is chosen to compare the result of developed optimum design method with the existing design. Each of the volume objective, reliability objective, and volume-reliability multi-objectives are performed and compared with existing design. As a result, optimum solutions are produced, which decrease volume and increase reliability. It is shown that the developed design method is good for multi-stage gear drive design.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2007년도 한국컴퓨터종합학술대회논문집 Vol.34 No.1 (C)
• /
• pp.516-520
• /
• 2007

이 논문에서는 다단계 프로그램의 실행흐름을 타입을 기반으로 분석하는 방법을 제시하고 있다. 다단계 프로그램이란 실행 중 코드를 만들고 실행할 수 있는 언어를 말한다. 본 논문에서는 기존의 고차 함수형 언어의 실행흐름을 분석하는 방법을 다단계 언어를 위해서 확장한 방법을 제시하고 있다. 이 분석은 한 수식이 평가될 때 호출될 수 있는 함수들의 집합을 정적으로 분석하여 다단계 프로그램의 실행흐름 정보를 제공한다.

• 한국지반공학회:학술대회논문집
• /
• 한국지반공학회 1991년도 추계학술발표회 논문집 지반공학에서의 컴퓨터 활용 COMPUTER UTILIZATION IN GEOTECHNICAL ENGINEERING
• /
• pp.271-288
• /
• 1991

SMAP-S2는 구조물/지반 상호작용에서 기하학적 및 매질의 비선형문제를 해결하기 위해 개발된 2차원 정적 유한요소 프로그램이다. 이 프로그램은 지반공학분야에서 다단계 굴착 또는 성토에 적용하기 편리하다. 이 논문에서는 이론적 경과 함께 탄소성 모형의 구성방법을 설명하고 해석결과를 실험성과와 비교하였다. 프로그램의 전처리 및 후처리 기능도 설명하였다.

• 국제물리치료학회지
• /
• 제8권1호
• /
• pp.1114-1121
• /
• 2017

The purpose of this study was to investigate the effects of hypobarichypoxic training program on competitive performance. This was done by observing their conditioning and measuring their blood constituents before and after a multi-staged intermittent training program, over 2 weeks. Three national handicapped cyclists were placed in a multi-leveled hypobaric-hypoxic (flat-4000 meter (m) high elevation) environment with consistent temperature and humidity ($23{\pm}2^{\circ}C$, $50{\pm}5%$) for 2 weeks. After the training, the blood constituents and average heart rate (HR) were measured and the following results were obtained. In all three athletes, there were no unique changes in red blood cell count, hemoglobin, and hematocrit, while there was a rise in the reticulocyte count. Observations of the difference in average HR during exercise at varying altitudes showed that athlete A had an average increase in the HR for the first 5 days at 2000 m. For athlete B, the comparison of the first and last training sessions at an altitude of 2000 m showed an HR increase of approximately 17%. For athlete C, there was a steady increase in the HR until day 7 of the training. As such, hypobaric-hypoxic training suggested that improvement of aerobic exercise performance in these athletes and it is recommended that there be a development for future training programs at high altitude, geared towards handicapped athletes of various disciplines.

• 농촌지도와개발
• /
• 제14권2호
• /
• pp.373-394
• /
• 2007

The purposes of this study were to explore decision-making patterns of rural couples and to clarify the differences between socio-demographic variables related to the patterns. The data were gathered from 1,870 rural households through interviews with structured questionnaire in the 187 rural communities sampled by multi-staged cluster stratified sampling method in November 2005. A total of 1,106 farm households including householder and spouse participated in the interview. The results of this study were as follows: First, in general, mainly householder made decision-making in the areas of dealing with real estate and selling farm products, while spouse decided in the areas of choosing television channel and deciding living expenses. Second, there were no significant differences of patterns by age, education and income level. Third, decision-making patterns were significantly different by sex and family type. According to the results of the study, in farm household, 'pattern of mainly householder or husband decision-making' was high yet as regarding agricultural decision making. Therefore, researchers suggested that educational program could be helpful for rural couples to participate in practicing gender equity decision- making.