• 한국해양학회지:바다
• /
• 제24권2호
• /
• pp.187-207
• /
• 2019

고성능 해양모델을 개발하기 위하여 적시 컴파일(Just-In-Time) 언어인 줄리아 언어를 사용하였고, 운동량 방정식의 해를 구하기 위해 연속완화법으로 푸아송 방정식을 푸는 코드를 작성하였다. 다음으로, 줄리아 계산 코드를 시험하기 위하여 두 가지의 모델을 구축하였다. 첫 번째로, 일정한 유량의 생성/소멸(source/sink) 조건을 시험하기 위해 단순한 수로 형태를 모델링하였고, 두 번째로, 조석 외력(tidal forcing) 및 전향력(Coriolis force), 난류확산계수로 인한 효과 등을 시험하기 위해 황해(Yellow Sea)를 단순화하여 모델링하였다. 모델은 두 가지 시나리오 안에서 총 8개의 실험안으로 테스트되었다. 테스트 결과, 시나리오 1에서 3가지 실험안의 수심 평균된 유속은 이론 값에 완벽하게 수렴하였고, 해저마찰로 인한 수직적 유속 구배를 잘 보여주었다. 또한 시나리오 2에서는 황해의 무조점과 우리나라 서해 중부와 남부 연안의 조석 특성을 잘 재현하였고, 전향력과 수직 난류확산계수에 따른 결과의 차이를 잘 보여주었다. 따라서, 줄리아 언어를 이용한 해양모델을 개발하는 데에 성공하였다고 판단되며, 이는 해양모델이 고전적인 컴파일 언어에서 적시 컴파일 언어로 성공적으로 넘어가는 단계에 오게 됐다는 것을 시사한다.

• 정보과학회지
• /
• 제4권2호
• /
• pp.65-73
• /
• 1986

Compiler 교육용 Compiler의 필요성은 강조할 필요가 있다. 이 교육용 Compiler가 가져야 할 성질은 다음과 같다. 첫째, Modular programming Technique사용하여 이해하기 쉬운 작은 program 형태로 만들어야 한다. 그렇게 함으로써 학생들이 상호결합(interface)변수와 형태를 알고 Compiler의 한 부분을 자신의 program으로 대치한 후 실험하여 볼 수 있다. 둘째; 내부에서 사용되는 Table은 간단한 형태로 구성한다. 세째; 다른 언어의 Compiler를 쓸때 사용하는 program(예를들면 parser generator)이 있어야 한다. 이것을 이용하여 학생들은 자신이 만든 언어의 Compiler를 학기중에 만들 수 있다. 넷째; REAL TIME clock을 이용하여 각 program module이 사용한 시간을 찍어낼 수 있어야 한다. 이렇게 함으로써 어떤 module이 가장 많은 시간을 소모하며, 이것을 개선하는 방 법을 찾아낼 수 있다. 다섯째; Compile된 결과를 Assembler 언어로도 출시시킬 수 있어야 한다. 위와 같은 교육용 Compiler의 제작 방법과 그 문제점에 대하여 서술하려고 한다.

• 컴퓨터교육학회논문지
• /
• 제7권4호
• /
• pp.1-6
• /
• 2004

온라인상에서 교육 내용의 전달은 많은 방법들이 개발되어 있지만 컴퓨터 언어 및 알고리즘의 e-learning과 실습은 웹상에서 프로그램 실습의 어려움으로 인하여 이론과 실습이 병행되지 못하여 왔다. 본 논문에서는 알고리즘을 검색하고 관리할 수 있는 뱅크를 구축하고 실행 인터페이스를 만들어, 학생들이 직접 웹상에서 각각의 프로그램들을 실행시킬 뿐 아니라 프로그램을 수정하여 실행할 수 있도록 하였다. 웹상에서 실습을 통한 알고리즘 뱅크 시스템은 실습 환경 구축과 적응에 대한 어려움을 없앰으로써 컴퓨터 알고리즘 학습에 대한 거리감을 없애는 효과가 있다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2000년도 추계학술발표논문집 (상)
• /
• pp.7-10
• /
• 2000

능동형 데이터베이스 시스템은 사용자가 정의한 rule의 집합이 해당 event 가 발생하는 순간 능동적으로 일련의 행위를 수행하도록 정의된 시스템이다. 그러나. 이처럼 서로 긴밀한 관계를 갖는 rule들이 능동적으로 수행되는 과정에 종료되지 않고 무한히 순환하여 수행하는 경우가 발생할 수 있다. 이처럼 무한히 순환하여 수행할 수 있는 가능성을 분석하는 것이 Termination Analysis 이다. 본 논문은 compile time 에 rule 의 termination 을 예측하는 방법에 대한 연구로, Java Language 를 rule definition language로 사용하며, composite event의 경우도 지원하도록 기존의 Termination analysis 방법을 확장하였다.

• ETRI Journal
• /
• 제37권5호
• /
• pp.1001-1011
• /
• 2015

Since just-in-time (JIT) has considerable overhead to detect hot spots and compile them at runtime, using sophisticated optimization techniques for embedded devices means that any resulting performance improvements will be limited. In this paper, we introduce a novel static Dalvik bytecode optimization framework, as a complementary compilation of the Dalvik virtual machine, to improve the performance of Android applications. Our system generates optimized Dalvik bytecodes by using Low Level Virtual Machine (LLVM). A major obstacle in using LLVM for optimizing Dalvik bytecodes is determining how to handle the high-level language features of the Dalvik bytecode in LLVM IR and how to optimize LLVM IR conforming to the language information of the Dalvik bytecode. To this end, we annotate the high-level language features of Dalvik bytecode to LLVM IR and successfully optimize Dalvik bytecodes through instruction selection processes. Our experimental results show that our system with JIT improves the performance of Android applications by up to 6.08 times, and surpasses JIT by up to 4.34 times.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제8권3호
• /
• pp.356-365
• /
• 2002

테스트 시스템은 다양한 종류의 반도체 제품을 검사하고 분류한다. 따라서 테스트 시스템은 여러 가지 특수기능의 하드웨어 모듈과 각 제품을 테스트할 수 있는 프로그램이 필요하다. 프로그램은 엔지니어에 의해 수정되고 컴파일되어 실행될 수 있어야 한다. 따라서 테스트 시스템은 쉽고 편리하게 프로그래밍할 수 있는 프로그래밍 언어와 테스트 프로그램을 컴파일하고 실행할 수 있는 컴파일러가 필요하다. 본 논문에서는 기존의 국내 테스트 시스템에서 사용하고 있는 테스트 프로그래밍 언어와 컴파일러의 환경을 서술한다. 그리고 산업현장에서 엔지니어가 좀 더 쉽고 편리하게 사용할 수 있고 향상된 성능을 가지는 프로그래밍 언어와 컴파일러를 설계 구현하였다. 본 논문에서 설계한 프로그래밍 언어와 컴파일러를 사용하여 테스트 시스템에 적용해 본 결과 기존 시스템보다 제품을 검사하는 실행 속도 면에서 성능이 향상되었다.

• 한국공작기계학회:학술대회논문집
• /
• 한국공작기계학회 2001년도 추계학술대회(한국공작기계학회)
• /
• pp.330-335
• /
• 2001

Characteristics of the present world market include demanding and sophisticated customers, requirement of high quality and innovative products, greater product diversity, increasing labour and products costs, availability of diverse alternatives to the customers and smaller batch sizes to satisfy a variety of customer profiles. To fulfil these characteristics, manufacturing companies need to be flexible adaptable, proactive and able to produce variety of products in short time at low cost. The aim of the study is to develop a computer-aided design system for water-gate on AutoCAD R2000 system. The developed system has been written in AutoCAD and VisualLISP with a personal computer, and is composed four modules which are the gate-lifter input module, guide-frame input module, and upgrade module. Based on knowledge-based rules, the system is designed by considering several factors, such as width and height of a water-gate, material, object of product and maximum depth of water.

• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 2001년도 춘계학술대회 논문집
• /
• pp.535-539
• /
• 2001

The aim of this paper presents to develop a computer-aided design system for water gate on AutoCAD R2000system. The developed system has been written in AutoCAD and Visua ILISP with a personal computer, and is composed four modules which are the gate-lifter input module, guide-frame input module, template input module and upgrade module. Based on knowledge-based rules, the system is designed by considering several factors, such as width and height of a water gate, material, object of product and maximum depth of water. Employing the developed system enable the designer and manufactures of water gate to be more efficient in this field, and its potential capability for enhancement included FEM(Finite Element Method) and quotation system.

• 한국시뮬레이션학회논문지
• /
• 제12권2호
• /
• pp.45-53
• /
• 2003

This paper presents a retargetable compiled assembly simulation technique for fast ASIP(application specific instruction processor) simulation. Development of ASIP which satisfies design requirements in various fields of applications such as telecommunication, wireless network, etc. needs formal design methodology and high-performance relevant software environments such as compiler and simulator In this paper, we employ the architecture description language(ADL) named ${HiXR}^2$ to automatically synthesize an instruction-level compiled assembly simulator. A compiled simulation has benefit of time efficiency to interpretive one because it performs instruction fetching and decoding at compile time. Especially, in case of assembly simulation, instruction decoding is usually a time-consuming job(string operation), so the compiled simulation of assembly simulation is more efficient than that of binary simulation. Performance improvement of the compiled assembly simulation based on ${HiXR}^2$ is exemplified with an ARM9 architecture and a CalmRISC32 architecture. As a result, the compiled simulation is about 150 times faster than interpretive one.

• 정보처리학회논문지A
• /
• 제10A권6호
• /
• pp.605-614
• /
• 2003

본 논문에서는 멀티패러다임 프로그래밍의 결합 방식(compositional approach)[20]을 프로그래밍 언어에 적용한 새로운 형태의 멀티패러다임 언어인 Argos를 소개한다. Argo는 자바 언어의 수퍼셋이고, Argos 언어의 메소드를 정의하는 문법은 다른 언어의 문법을 사용할 수 있는 확장점을 가지고 있다. 따라서 Argos 클래스의 각 메소드는 자바, C, Prolog, Python 등의 여러 프로그래밍 언어들 중에서 하나를 선택해서 구현할수 있도록 허용함으로써 객체지향과 멀티패러다임 프로그래밍을 동시에 지원한다. Argos의 메소드는 기존의 프로그래밍 언어로 작성할 수 있기 때문에 다른 멀티패러다임 언어에 비해 상대적으로 배우기 쉽고, 라이브러리 재사용성도 높은 장점을 가지고 있다. Argos 컴파일러는 입력 프로그램 을 사용된 언어에 따라 분할하고, 분할된 메소드 코드를 해당 언어의 처리기에 전달해서 컴파일하는 DCO(delegating compiler object) 모델[28,29]에 따라 구현된다.