• Proceedings of the Korea Information Processing Society Conference
• /
• 2004.05a
• /
• pp.519-522
• /
• 2004

자바는 현재 가장 널리 사용되는 범용 프로그래밍 언어중 하나로 컴파일러에 의해 중간언어인 바이트코드로 변환되며 JVM(Java Virtual Machine)에 의해 실행되는 플랫폼 독립적인 언어이다. SIL(Standard Intermediate Language)은 Microsoft사의 .NET 언어와 SUN사의 Java 언어 등을 모두 수용할 수 있는 임베디드 시스템을 위한 중간언어로 가상기계인 EVM(Embedded Virtual Machine)에서 실행된다. 본 논문에서는 자바 프로그램을 컴파일하여 생성된 클래스 파일에서 Oolong 코드를 추출하고 추출된 Oolong 코드를 EVM의 SIL 코드로 변환하여 자바로 구현된 프로그램이 EVM에서 실행되도록 하는 Bytecode-to-SIL 번역기 시스템을 구현하였다. 그리고 본 번역기 시스템을 다른 플랫폼에 용이하게 설치하기 위한 재목적성(retargetability)을 위해 단일패스(one-pass)을 사용하는 기존의 번역기들과 달리 AST를 이용한 컴파일러 기법을 사용하여 AST가 가지고 있는 정보에 대해 최적화 작업을 수행하여 보다 효과적인 코드 변환을 할 수 있도록 설계하였다.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.37 no.3
• /
• pp.419-427
• /
• 2013

The catalytic converters for automobile exhaust systems are manufactured by inserting a mat-wrapped substrate into a stainless steel can. A residual pressure that is too high will initiate a fracture in the substrate. In contrast, a residual pressure that is too low will fail to hold the substrate in the acceleration or deceleration phase. Both the process capability and mat pressure on the substrate are predicted while considering the effect of the statistical variation in the dimensions of the parts. The validity of the solutions is then confirmed. A program using EXCEL combines a finite element analysis and process capability analysis in one program.

• The Journal of the Korea Contents Association
• /
• v.9 no.1
• /
• pp.81-88
• /
• 2009

In the previous work, we presented HDTS for locating logical errors in Java programs. The HDTS locates an erroneous method at an execution tree using an algorithmic program debugging technique and locates a statement with errors in the erroneous method using a step-wise program debugging. The technique can remove the unnecessary statements and nodes in debugging using a program slicing technique at the execution tree. So HDTS reduces the number of program debugging. In this paper, we design HDTS system for debugging java programs. We define small subset of Java language and design the translator that translates java source codes and the virtual machine that runs java programs. We design GUI(Graphical User Interface) for debugging.

• Journal of KIISE:Computing Practices and Letters
• /
• v.14 no.9
• /
• pp.897-900
• /
• 2008

EPCglobal TDT specifies standards on RFID tag representations and conversion rules among them. According to the rule, more than 200 combinations of code conversions are possible. In this paper, we propose a code generation scheme for developing TDT code conversion program, that imports TDT XML specification and generates conversion codes. The proposed scheme makes it easy to develop and to maintain the conversion codes.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 1992.10a
• /
• pp.187-191
• /
• 1992

본 연구에서 퍼지제어 시스템 설계를 위한 마이크로 컴퓨터 지원 설계 기법과 프로그램 FCS 를 개발하였다. 이 프로그램은 IBM-PC 호환기종 (80386,804860) 에 사용되는 Turbo-C 언어를 사용하였고, Borland C $^{++}$ 2.0 컴파일러를 사용하였다. 제어시스템의 각 요소를 모듈화 하여 동특성을 차분 방정식으로 표시하여 사용자가 쉽게 대치할 수 있도록 서브루틴화 하였다. 퍼지제어 규칙의 최적조건, 퍼지 입출력 변수의 최적조건, D/A 및 A/D 변환기의 최적 비트수, 최적 샘플링 시간을 결정 할 수 있다. 공기예열 시스템을 예로서 이 프로그램을 이용하여 설계하였다.

• Journal of the Korea Society for Simulation
• /
• v.2 no.1
• /
• pp.78-90
• /
• 1993

기존의 모의 실험언어를 이용해서 연속 체계를 모의 실험하는 것을 사용자가 언어에서 요구하는 형태로 모델을 형성해야 하는 어려움이 따른다. 따라서 본 연구에서는 사용자에게 최대한 편의성을 제공하는 연속체계 모의 실험언어인 PCSL (Postech Continuous -system Simulation Language)를 개발하였다. PCSL은 주어진 대상을 모델링한 미분방정식과 그것을 푸는데 필요한 여러 가지 제약 사항으로 이루어진 간단한 프로그램을 입력으로 받아 자동으로 모의 실험을 수행함으로서 사용자의 노력이 최소화하게 된다. PCSL 처리 시스템의 구성은 주어진 모델을 C 프로그램으로 변형하는 변환기, 모의 실험 알고리즘을 구현한 C 프로그램을 생성하는 생성기, 모의 실험을 수행하는 실행기, 사용자 인터페이스 등으로 되어있다. 구현 예로는 먼저 선형 상미분방정식의 예로 mass-damper-spring system, 비선형 상미분방정식의 예로 van der Pol 방정식, 연립 상미분방정식의 예로는 mixing tank problem 등을 보였다.

• The Transactions of the Korea Information Processing Society
• /
• v.7 no.12
• /
• pp.3840-3847
• /
• 2000

Electronic Industries Association has set a standard format called CDIF(CASE Data Interchange Format) for exchanging information between CASE tools from 1991. If data used on a CASE tool is represented in CDIF format, then any other CASE tools can use the data by translating CDlF format into their own format. In order to do so, each CASE vendor must provide a translator program from CDIF to its own data format or from its own data to CDIF format. In this thesis, we have implemented a source code generator for translating CASE data format into CDIF format only if they provide how data is stored. This automatic program generator generates CDIF statements using data format used in CASE tools, meta information about stored data and CDIF meta information. In the thesis, the automatic program generator has been implemented with Java and Oracle DBMS with JOBC interface in Sun O/S environment.

• Proceedings of the KIEE Conference
• /
• 2008.10b
• /
• pp.314-315
• /
• 2008

본 논문에서는 임베디드 리눅스와 uCOS-2 간 소스코드 변환에 대한 연구를 위해 API 정변환/역변환기(API 변환기)를 이용하여 두 RTOS 간 소스코드 변환을 실험한다. API 변환기는 임베디드 소프트웨어의 개발을 돕기 위해 개발된 프로그램으로서, 정변환과 역변환 기능을 이용하여 이종 RTOS 간 소스코드를 자동으로 상호 변환한다. 정변환이란 중간형태의 C-코드인 CIC 파일에서 특정 RTOS를 위한 C-코드로 변환하는 것을 의미한다. 반대로 역변환은 특정 RTOS를 위한 C-코드로부터 CIC 파일로 변환하는 것을 가리킨다. 본 논문의 실험에서는 임베디드 리눅스와 uCOS-2의 동기화 소스코드 예제를 API 변환기를 이용하여 상호 변환해본다. 그리고 변환된 소스코드의 정상동작 여부를 확인하기 위해 각각의 타깃보드 위에 소스코드를 포팅한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2011.06b
• /
• pp.79-82
• /
• 2011

무인기용 비행제어 소프트웨어는 인터럽트 핸들러에서 비결정적인 수행결과를 조래하는 경합이 발생될 수 있다. 이러한 유형의 경합을 탐지하기 위한 기존 방법은 원시 프로그램의 인터럽트 핸들러를 스레드로 변환하여 정적 경합탐지 도구를 사용하므로 프로그램 수행 시 실제 발생하지 않는 부정확한 경합(false positives)를 보고한다. 본 연구는 부정확한 경합 보고를 줄이기 위해서 원시 프로그램을 POSIX 실시간 스레브 프로그램으로 변환하고 Lockset기반 탐지기법 의해서 탐지된 공유변수를 대상으로 Happens-before 관계 분석기법을 이용하여 경합을 탐지하는 동적 경합탐지 도구를 사용한다. 제시된 방법의 실험을 위해서 Knob Assembly에 탑재되는 비행제어 소프트웨어를 대상으로 정적 경합탐지 도구와 동적 경합탐지 도구의 경합탐지 결과를 비교 분석한다.

• The KIPS Transactions:PartB
• /
• v.12B no.6 s.102
• /
• pp.647-654
• /
• 2005

In this paper, we implemented a terrestrial/cable PSIP converting system, so-called a PSIP converter, which is converting a terrestrial PSIP into a cable PSIP for a data broadcasting service in the interoperable network of terrestrial and cable, and define an interface between the PSIP converter and the OOB SI generator by using PMCP messages compliant to ATSC T3/Sl. The exiting PSIP converter just converts a terrestrial PSIP into a cable PSIP compliant to ATSC and OCAP standard and transmits by a MPEG-2 TS format. That is to say, it is not for the digital data broadcasting but for the digital broadcasting. In addition, the PSIP converter can support various types of PSIP information to the OOB SI generator by using PMCP messages defined by a hierarchical structure as per each channel, audio/video event, data event and so on.