• Journal of the Korea Computer Industry Society
• /
• v.2 no.10
• /
• pp.1261-1268
• /
• 2001

Despite of various useful features, functional languages do not provide an efficient way of representing states. To improve expressiveness of functional language, it is required a method representing explicit state without violating of functional semantic properties. In this paper, imperative functional language, $\lambda$st-calculus is designed to represent states without compromising the properties of pure functional languages. And we construct an algorithm to reduce proposed imperative functional language. $\lambda$st-calculus model which is an extension of the $\lambda$-calculus model with explicit state constructor without violating their semantic properties. it improves expressiveness of syntax through a concept of state composition and simplified reduction rules.

• Communications of Mathematical Education
• /
• v.16
• /
• pp.123-137
• /
• 2003

본 논문의 목적은 삼각함수의 학습에 테크놀로지가 기여할 수 있는 방법적인 측면과 인지적인 효과를 명시하는 것이다. 테크놀로지가 삼각함수의 학습에 기여할 수 있는 네 가지 방법론적인 면을 '수학과 학생들의 실제 경험의 연결', '수학적 대상과 수학적 관계의 구체화', '수학의 다양한 표현 체계의 연결', '사고력 중심의 수학교육 추구'의 관점에서 논한다. 이 네 가지 방법론적인 측면 중 '수학적 대상과 수학적관계의 구체화'와 '수학의 다양한 표현 체계의 연결'을 중심으로 삼각함수의 학습법을 예시하면서 이 두 가지 방법이 어떻게 인지적으로 기여하는지를 보여준다.

• 한국공간정보시스템학회:학술대회논문집
• /
• 2003.11a
• /
• pp.104-109
• /
• 2003

이동 통신과 무선 단말기의 보급이 보편화되면서 사용자의 위치정보를 이용한 위치 기반 서비스(Location Based Service)에 대한 관심이 높아지고 있다. 이러한 위치 기반 서비스를 제공하기 위해서는 이동객체 위치 정보의 효율적인 저장 및 관리가 필요하며 이를 위해 일정 시간 간격을 두고 위치 정보를 획득하여 저장, 관리하는 방법이 연구되어 왔다. 본 논문에서는 이동 객체의 이동경로에 대응되는 위상 정보(Topology)를 이용하여 이동 객체의 위치 정보를 관리하는 기법을 제안한다. 본 기법은 이동 객체가 위상 정보의 노드에 해당하는 위치에 도착할 예상 시점을 계산하고, 그 시점을 위치 획득 시점으로 결정하여 위치 정보를 갱신하며, 또한 명시적으로 저장되지 않은 불확실한 위치 정보의 요청에 대해 위상 정보 노드의 속성 정보와 선형 함수를 이용해 위치 정보를 추정하여 제공한다. 본 기법은 위상 정보의 노드에 대응되는 위치를 획득하여 저장하기 때문에 갱신 횟수와 데이터의 양을 감소시키고, 불확실한 위치 정보에 대한 위치를 추정할 경우, 명시적으로 저장된 위치 정보에서 유추된 이동 객체의 정보와 더불어 이동 객체의 이동 경로를 고려한 위상 정보 속성을 사용하므로, 선형 함수나 스플라인 함수만을 적용하는 것보다 적은 오차를 발생시켜 위치 정보의 정확성을 향상시킬 수 있다.

• The Transactions of the Korea Information Processing Society
• /
• v.5 no.6
• /
• pp.1479-1493
• /
• 1998

C++ 프로그램을 병렬 실행시키려면 재구성 컴파일러가 함수 호출로 발생하는 요약된 정보를 수집해야 한다. 객체의 참조 매개변수를 사용하는 경우와 객체의 참조를 반환하는 메소드에 대해서 메소드간의 요약된 정보를 발견하여 병렬성을 검출하는 것은 어렵다. 본 논문에서는 순차 C++ 프로그램을 병렬 프로그램으로 변환하기 위해 클래스 인터페이스 내에 메소드간의 관계를 명시하는 병렬 정보 GERINFPO절과 순서 정보 SEQ절을 삽입하므로서 명시적인 병렬성을 얻고 재구성 컴파일러는 명시된 정보를 이용하여 프로그램내에 내재한 묵시적 병렬성을 얻는 방법을 제안한다. 또한 본 논문에서 제시하는 종속 분석 방법을 이용하여 순차 C++ 프로그램을 병렬 코드로 변환하는 병렬코드 변환기를 구현하였다.

• Journal of the Korean Institute of Landscape Architecture
• /
• v.16 no.3
• /
• pp.1-6
• /
• 1989

The current linear programming model as for city park planning has the following intrinsic constraints. First of all, it cannot explicity consider choice behaviors of people. Secondly, the objective function of linear programming model cannot sufficiently intergrate satisfactions of people. In order to overcome these weak points of linear programming model, the following extensions have been made in this paper. First of all, bionominal and multinominal logit models based upon logit models, utility maximization of people have been constructed, Secondly, based upon logit models, social welfare function has been constructed in order to aggregate satisfactions of people. By doing this, intrinsic oonstraints of linear programming model have been successfully overcome. In the future research, empirical study of the model developed in this paper will be necessary. By doing this, the construction of optimal investment plan for city parks will be possible.

• Proceedings of the Korean Information Science Society Conference
• /
• 2000.04a
• /
• pp.573-575
• /
• 2000

COncurrent Design Approach for Real-Time System(CODARTS) 방법론은 Gomaa에 의해 제안된 실시간 소프트웨어 설계 방법론으로서 분석 단계에서 CORBA 방법을 사용하여 시스템의 객체와 함수들을 식별하고 행동 모델을 개발한다. 그리고 설계 단계에서는 병렬 태스크 구조화 지침 및 정보 은닉 모듈 구조화 지침을 적용하여 해동 모델의 객체와 함수들을 병렬 태스크와 정보 은닉 모듈들로 구조화한다. 마지막으로 병렬 태스크와 저오 은닉 모듈을 결합하여 소프트웨어 구조를 개발하고 구현 단계를 수행한다. 소프트웨어 구조를 개발하고 구현 단계를 수행하기 위해서는 병렬 태스크의 행동 특성이나 태스크간의 인터페이스가 정확히 명시되어야 한다. 이는 분석 단계에서 식별된 객체와 함수들에서 태스크에 대한 정보를 추출함으로써 이루어질수 있다. 본 논문에서는 행동 모델의 객체와 함수들로부터 병렬 태스크에 대한 행동 특성 정보 추출방법을 제안하고 태스크 사이의 인터페이스를 결정하는 방법을 보인다.

• Transactions of the Korean Society of Mechanical Engineers
• /
• v.18 no.2
• /
• pp.313-322
• /
• 1994

Structural optimization has been developed by two methods. One is the direct method which applies the Nonlinear Programming (NLP) algorithm directly to the structural optimization problem. This method is known to be very excellent mathematically. However, it is very expensive for large-scale problems due to the one-dimensional line search. The other method is the approximation method which utilizes the engineering senses very well. The original problem is approximated to a simple problem and an NLP algorithm is adopted for solving the approximated problems. Practical solutions are obtained with low cost by this method. The two methods are compared through standard structural optimization problems. The Finite element method with truss and beam elements is used for the structural and sensitivity analyses. The results are analyzed based on the convergence performances, the number is function calculations, the quality of the cost functions, and etc. The applications of both methods are also discussed.

• Journal of the Korean School Mathematics Society
• /
• v.19 no.1
• /
• pp.1-19
• /
• 2016

This study investigated the mathematical notation used today in terms of skip ping the parenthesis. At first we have studied the elementary and secondary curriculum content related to omitted rules. As a result, it is difficult to find explicit evidence to answer that question 'What is the calculation of the $48{\div}2(9+3)$?'. In order to inquire the notation fundamentally, we checked the characteristics on prefix, infix and postfix, and looked into the advantages and disadvantages on infix. At the same time we illuminated the development of mathematical notation from the point of view of skipping the parenthesis. From this investigation, we could check that this interpretation was smooth in the point of view that skipping the parentheses are the image of the function. Through this we proposed some teaching methods including 'teaching mathematical notation based on historic genetic principle', 'reproduction of efforts to overcome the disadvantages of infix and understand the context to choose infix', 'finding the omitted parentheses to identify the fundamental formula' and 'specifying the viewpoint that skipping the multiplication notation can be considered as an image of the function'.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 1995.04a
• /
• pp.646-655
• /
• 1995

본 연구에서는 기저역행렬의 계산방법에 따른 효율적인 자료구조를 실험적으로 검토하고, 입력자료방식과 효율화 방법을 제안하여 구현하였다. 기저역행렬의 계산방법에 따른 효율적인 자료구조는 명시형에서는 연결리스트 방식이 유리하였으며, 상하분해형에서는 연결 리스트 방법과 Gustavson 방법이 비슷한 효율을 보였다. 새로운 비영요소의 도입이 많은 경우일수록 연결 리스트가 효율적인 자료구조인 것으로 분석된다. 그리고 MPS자료의 입력방식과 효율화 방안에서는 각 열별로 행 정렬을 실시하고 해싱(hashing)함수를 도입하여 효율화를 기하였다.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 1997.10a
• /
• pp.127-130
• /
• 1997

신경망은 입출력 관계가 명시적으로 표현되기 어려운 경우에 수집된 데이터를 이용하여 원래의 함수를 근사할 수 있느 특성이 있다. 최근에는 신경망의 모델링 성능을 향상시키기 위하여 여러개의 모듈을 기반으로 신경망을 구성하는 모듈형 신경망이 활발히 연구되고 있다. 본 논문에서는 린덴마이어 시스템(L-시스템)의 문법적 적용을 통하여 이러한 모듈형 신경망의 구조를 결정하는 방법을 제시하고자 한다. L-시스템은 본래 식물의 성장과정을 기술하기 위하여 제안된 방법인데, 본 논문에서는 신경망의 모듈형 구조가 L-시스템의 문법을 통하여 적절히 결정됨을 보인다.