• Journal of the Korea Society of Computer and Information
• /
• v.12 no.1 s.45
• /
• pp.25-32
• /
• 2007

In this paper, the abstract layer for motion capture system is designed and implemented to meet the various hardware and different capturing method. The abstract layer can offer the unified programming by providing device independent API(Application Programming Interface). The device drivers of the optical system and mechanical system are emulated to verify the designed abstract layer. The optical system employs the AOA Ole while the mechanical system uses BVH file. An application program is written to call the abstract layer functions to drive both optical and mechanical drivers and receive the frame data, simulated motion data, that are displayed sequentially on the computer screen by utilizing Direct3D.

• Journal of Intelligence and Information Systems
• /
• v.10 no.2
• /
• pp.165-187
• /
• 2004

Constraint Programming in AS and Optimization in OR started and have grown in different backgrounds to solve common decision-making problems in real world. This paper tries to integrate results from those different fields by suggesting a hybrid solver as an integration framework. Starting with an integrating modeling language, a way to implement a hybrid solver will be discussed using Warren's abstract machine and an finite domain constraint programming solver structures. This paper will also propose some issues rising when implementing the hybrid solver and provide their solutions.

• Korean Institute of Interior Design Journal
• /
• v.15 no.3 s.56
• /
• pp.201-210
• /
• 2006

Among the architects who use diagrams as a digital design process, especially through Peter Eisenman and Ben van Berkel's works, we have specifically got the meaning of their diagrams. Their diagrams act as 'the block of becoming' and we can regard the diagrams not only as a tool of devenir including architect's root thoughts beyond a tool of schematic presentation, but also as architect's intention including devenir thought. And in the case of diagrams which the architects use, we can recognize that architects' intentions are to think that Deleuze's 'machine abstraite' evolve the diagram into various and transformed form. That is to say, Peter Eisenman interprets the machine abstraite as a root thought of devenir by using diagram as medium to reveal the virtual. And Ben van Berkel transforms the diagram by including all external conditions into selected diagram which shows the abstract relations to the elements. We can get the meaning of the machine abstraite from these cases well. This study will play an important role in giving good usage of the diagram in making a form of contemporary digital architecture and showing the direction of form creation field.

• Journal of KIISE:Software and Applications
• /
• v.29 no.5
• /
• pp.326-335
• /
• 2002

Recently there have been a number of researches to provide code mobility to lazy functional language (LFL) programs by translating LFL programs to Java programs. These approaches are basically baled on architectural similarities between abstract machines of LFLs and Java. The abstract machines of LFLs and Java programming language, Spineless Tagless G-Machine(STGM) and Java Virtual Machine(JVM) respectively, share important common features such as built- in garbage collector and stack machine architecture. Thus, we can provide code mobility to LFLs by translating LFLs to Java utilizing these common features. In this paper, we propose a new translation scheme which fully utilizes architectural common features between STGM and JVM. By redefining STGM as an eval-apply evaluation model, we have defined a new translation scheme which utilizes Java Virtual Machine Stack for function evaluation and totally eliminates stack simulation which causes array manipulation overhead in Java. Benchmark program translated to Java programs by our translation scheme run faster on JDK 1.3 than those translated by the previous schemes.

• Journal of KIISE:Software and Applications
• /
• v.28 no.12
• /
• pp.955-965
• /
• 2001

We propose a systematic method of compiling Haskell based on the spineless Tagless G-machine (STGM) for the Java, Virtual Machine (JVM) We introduce an intermediate language called L-code to identify each micro-operation of the machine by its instruction, Each macro operation of the machine is identified by a binding Each instruction of the L-code can be easily translated into Java statements. After our determination on representation and L-code program from a STG program is translated into Java program according to out compilation rules. Our experiment shows that the execution times of translated benchmarks are competitive compared with those in Haskell interpreter Hugs, particularly when Glasgow Haskell compiler's STG -level optimizations are applied.

• Proceedings of the Korean Information Science Society Conference
• /
• 2000.10a
• /
• pp.326-328
• /
• 2000

본 논문에서는 지연계산기반 함수형 언어 프로그램을 받아 Java 프로그램을 목적 코드로 생성하는 컴파일러를 설계하고 구현한다. 이 컴파일러는 제한된 형태의 함수형 언어 Shared Term Graph(STG)를 입력언어로 하는 추상기계 Spineless Tagiess G-Machine (STGM)을 수행 모델로 한다. 본 논문에서는 명령형 언어 L-code를 제안하고 이를 입력언어로 하는 새로운 형태의 STGM인 L-Machine을 제안한다. STG 언어를 L-code로 변환하는 컴파일러와 L-code를 Java로 변환하는 컴파일러를 설계하고 구현함으로써 원하는 컴파일러를 구성한다. 그리고 Glasgow Haskell 컴파일러를 전단부로 하여 지연계산 기반 함수형 언어 Haskell로 작성된 프로그램들을 컴파일하여 STG 프로그램으로 변환한 다음 본 논문에서 구현한 컴파일러로 이를 Java 프로그램으로 변환한다. 변환된 Java 프로그램을 Sun JIT 컴파일러로 컴파일하여 수행한 성능 평가 결과를 제시한다.

• Journal of KIISE:Software and Applications
• /
• v.27 no.9
• /
• pp.973-985
• /
• 2000

함수형 프로그래밍 언어는 전통적인 프로시저형 언어에 비하여 많은 장점이 있다. 그러나 함수 언어 프로그래머를 위한 실용적인 디버깅 환경은 상대적으로 빈약하다. 그동안 유용한 디버거 구현을 위해서 많은 시도가 있었고, 그 결과로 하향식 기법으로 이용한 알고리즈믹 디버거와 상향식 기법을 이용한 레덱스 트레일 디버거가 연구되었다. 두가지 기법은 모두 실제 프로그래밍에 적용하기에는 유지해야 하는 디버깅 정보의 양이 많다는 단점이 있다. 이 논문에서는 선택적 레덱스 트레일 디버깅 방법을 제안한다. 이 방법을 이용하면 디버거 사용자는 프로그램에서 오류가 예상되는 부분에 포커스를 설정할 수 있고 단지 선택된 부분에 한하여 트레일을 생성하게 된다. 이 방법은 프로그램의 오류에 대한 디버거 사용자의 예측을 반영하고 디버깅에 필요한 정보의 양을 줄이는 장점이 있다. 구현된 디버깅 시스템은 선택적 레덱스 트레일을 생성하는 추상기계와 실제 디버깅이 이루어지는 레덱스 트레일 탐색기로 구성된다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2002.11c
• /
• pp.2329-2332
• /
• 2002

G-machine은 지연 함수형 언어를 효율적으로 구현하기 위한 추상기계이다. G-machine은 축약 과정에서 생성되는 그래프를 저장하기 위해서 많은 기억장소를 필요로 한다. 본 논문은 힙에 할당되는 그래프 노드 중 AP 노드를 재사용하는 방법을 제시한다. 일반적으로 AP 노드를 루트로 하는 그래프가 한 단계 축약된 후 다시 AP 노드를 루트로 하는 그래프로 구성되어지는 경우 루트 노드를 재사용할 수 있다. 이를 위해서는 기존 G-machine을 약간 확장 시켜야 하는데, 본 논문에서는 AP 노드의 일부를 변경하기 위한 명령어 UPDL과 UPDR을 제시하고, 이들 명령어의 상태변환 규칙과 이들 명령어 생성을 위해 수정된 R-변환 규칙을 제시한다. 본 논문에서 제시하는 방식으로 기 생성된 AP 노드를 재사용함으로써 힙 기억공간의 사용량을 줄일 수 있고, 이 과정에서 힙 기억장소 할당과 쓰기 연산의 수를 줄일 수 있다.

• Communications of Mathematical Education
• /
• v.14
• /
• pp.163-176
• /
• 2001

대부분의 수학 수업이 알고리즘을 숙달시키고, 기계적으로 익힌 절차에 의해 정답을 맞추는 것에 중점을 두어 왔기 때문에, 학생들은 수학은 딱딱하고 어렵고 재미없는 과목이라는 인식을 많이 하고 있다. 그러나, 수학 수업에서 수학 교구의 조작 활동을 한다면 수학적인 흥미를 유발할 수 있을 뿐만 아니라 추상과 형식적인 수학으로의 발달을 돕고 학생들이 활동적으로 수업에 참여할 수 있게 된다. 이러한 맥락에서 제 7차 교육과정의 '도형'영역에서는 조작 활동을 통한 자기 학습능력 개발에 중점을 두고 주위의 실제 생활에서 볼 수 있는 사물을 관찰하여 그 성질을 추상해 낼 수 있도록 구체적인 교구를 이용하는 조작 활동을 강조하고 있다. 본 연구에서는 이러한 관점에서 정규 수학 수업이 아닌 일선학교의 클럽 활동 시간을 이용하여 학생들이 수학 교구를 충분히 조작하고 활용할 시간을 제공하며, 학생들이 수학 교구의 조작 활동을 통한 클럽활동이 학생들의 수학적 성향 및 능력 수준에 따른 도형 학습능력에 어떠한 변화를 미치는 지를 사례를 중심으로 논의하고자 한다.

• Journal of KIISE:Software and Applications
• /
• v.28 no.8
• /
• pp.593-602
• /
• 2001

G-Machine은 주어진 표현식을 그래프 축약을 통해석 계산한다. 이러한 축약 과정은 표현식을 그래프로 표현하기 위해 많은 그래프 공간을 필요로 한다. 본 논문에서는 그래프 공간을 효율적으로 사용할 수 있는 방법을 제안한다. 본 논문에서는 우회 노드 장소에 자료를 중복 사용하는 방법을 제안하여 G-Machine에서 필요로 하는 그래프 공간을 절약하며, 이를 위한 새로운 추상기계인 poGM(Pointer Overlapped GM)을 제안한다. poGM에서는 필요한 곳에만 상대 주소를 사용하여, 그래프 내부 노드와 단말 노드 모두에서 그래프 공간을 절약할 수 있다. 기억 장소 재활용 체계를 포함하는 시뮬레이션의 결과벤치마크 프로그램에서 GM보다 총합 사용량은 평균32%, 최소합은 평균 47.6% 적게 사용하였으며, 수행 시간은 평균 30% 빠르게 수행되었다.