• Journal of KIISE:Software and Applications
• /
• v.36 no.3
• /
• pp.244-251
• /
• 2009

We present a transformation which converts open-code multi-staged programs into closed ones. Staged computation, which explicitly divides a computation into separate stages, is a unifying framework for existing program generation systems. Because a multi-staged program generates another program, which can also generate a third program and on, the implementation of a multi-staged language is not straightforward. Dynamic binding of (lexically free) variables in code also makes the implementation of a multi-staged language hard. By converting each code into code of function which takes environment for free variables as its argument and giving an actual environment at the code-composition site, we can transform a open-code program into a closed-code one. Combining with Davies and Pfenning's method, our closed-code-conversion enables the implementation of the unstaged language to be useful for executing multi-staged programs. We also prove the correctness of our conversion: the converted program is equivalent to the original program, and the converted program does not have open code.

• Proceedings of the Korean Information Science Society Conference
• /
• 2011.06c
• /
• pp.466-469
• /
• 2011

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

• Transactions of the Korean Society of Mechanical Engineers B
• /
• v.28 no.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.

• Transactions of the Korean Society of Machine Tool Engineers
• /
• v.16 no.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.

• Proceedings of the Korean Information Science Society Conference
• /
• 2007.06c
• /
• pp.516-520
• /
• 2007

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

• Proceedings of the Korean Geotechical Society Conference
• /
• 1991.10a
• /
• pp.271-288
• /
• 1991

SMAP-S2 is an advanced too-dimensional , static finite element computer program developed for the geometric and material nonlinear structure-medium interaction analysis. The program has specific applications for modeling geomechanical problems associated with multi-staged excavation or embankment. Theoretical formulations and computational algorithms are presented along with the description of elasto-plastic material models. Nonlinear features of the code are verified by comparing with known solutions or experimental test results. Capabilities of per- and post-processing programs are discussed.

• Journal of International Academy of Physical Therapy Research
• /
• v.8 no.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.

• Journal of Agricultural Extension & Community Development
• /
• v.14 no.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.