• Annual Conference of KIPS
• /
• 2005.05a
• /
• pp.549-552
• /
• 2005

기존의 ANSI C 프로그램은 각각의 플랫폼에 따른 컴파일러를 통해서 목적기계의 코드로 변환되고, 실행되어 플랫폼에 의존적인 단점이 있다. 이러한 단점을 보완하는 방법으로는 스택기반의 가상기계와 가상기계의 입력형태인 중간코드를 이용하는 기법이 있다. EVM(Embedded Virtual Machine)은 ANSI C 언어와 SUN사의 Java 언어 등을 모두 수용할 수 있는 임베디드 시스템을 위한 가상기계이며, SIL(Standard Intermediate Language)은 EVM에서 실행되는 중간언어로 다양한 프로그래밍 언어를 수용하기 위해서 객체지향 언어와 순차적인 언어를 모두 수용하기 위한 연산 코드 집합을 갖고 있다. 본 논문에서는 SIL 코드가 올바른 수행을 하는 것인지를 검증하고 원시코드의 분석을 용이하게 하기 위해서 생성된 SIL 코드를 어셈블리 형태와 유사한 재 표현된 ANSI C 언어로 바꾸는 역컴파일러 시스템을 설계하고 구현하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2012.06b
• /
• pp.258-260
• /
• 2012

본 논문은 오픈소스 자바 어플리케이션인 JTopas를 대상으로 단위 메소드 테스트를 수행하고, 기존의 IDE 중심의 JUnit 테스트 환경이 아닌 텍스트 UI 테스트 러너 기반으로 테스트를 수행함으로써 얻는 효과를 기술한다. 또한 리눅스 환경을 활용하여 쉘 프로그램으로 테스트 실행 프로그램을 작성하였으며, 이를 통하여 테스트 실행 결과 분석을 용이하게 할 수 있다. 동시에 테스트 코드와 테스트 대상 소스 코드를 관리하는 패키지 구성 방법을 보임으로써, TDD등에서 요구하는 테스트 코드 작성과 소스 코드 작성을 동시에 수행하는 환경을 지원하는 효과가 있다.

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

웹 애플리케이션의 사용이 늘어남에 따라 자바스크립트 프로그램의 성능을 높이는 것이 중요한 문제가 되었다. 자바스크립 프로그램에 대해 별칭 분석을 수행하면 더 많은 최적화가 가능해지지만, 자비스크립트가 가지는 동적인 특성으로 인해 분석 방법을 고안하는 데 어려움이 있었다. 본 논문에서는 자바스크립트의 주요한 동적 특성을 온전하게 다루는 별칭 분석 알고리즘을 최초로 제안한다. 제안한 방법은 별칭 그래프를 생성하여 프로그램 내의 별칭 관계를 완전하게 찾아내며, 또한 실행시킬 코드가 동적으로 추가될 때마다 이전에 이루어졌던 최적화가 유효한지 검사한다. 별칭 분석 결과를 이용하여 V8 자바스크립트 엔진에서 추가적으로 최적화를 수행한 결과, 유의미한 수행 시간 감소를 확인할 수 있었다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2005.11b
• /
• pp.325-327
• /
• 2005

모델 체킹은 시스템이 올바르게 동작하는 지를 자동으로 검증해주는 기법이다. 지금까지 모델 체킹은 방법의 특성상 상태폭발문제 때문에 작은 규모의 상태공간을 갖는 하드웨어나 프로토콜 검증에 주로 사용되어져 왔다. 그러나 최근에는 상태폭발문제를 다루기 위한 연구와 술어추상화 등과 같은 추상화기술의 발달로, 다를 수 있는 상태공간의 크기가 증가하고 정리증명기의 성능이 향상됨에 따라 소프트웨어 자체의 논리적 오류를 검증하려는 움직임이 활발하다. 일반적으로 소프트웨어 검증을 위해 추상화-모델 체킹-추상화 개선의 3단계 프로세스를 사용하는데 주로 C프로그램에 대해서만 이루어져 왔다. 우리는 이 프로세스를 자바프로그램에 적용하고 자동으로 자바프로그램을 이진프로그램으로 변환하는 술어추상화 모듈을 개발하였다. 이 모듈은 우리가 개발한 자바 모델 체커의 front-end부분이다. 본 논문에서는 자바프로그램에 대한 주요 추상화 알고리즘을 보이고 특정 자바프로그램의 안전성과 궁극성을 검증한다.

• Korean Journal of Construction Engineering and Management
• /
• v.6 no.1 s.23
• /
• pp.73-79
• /
• 2005

This paper, introduces a Stochastic Project Scheduling Simulation system (SPSS III) developed by the author to predict a project completion probability in a certain time. The system integrates deterministic CPM, probabilistic PERT, and stochastic Discrete Event Simulation (DES) scheduling methods into one system. It implements automated statistical analysis methods for computing the minimum number of simulation runs, the significance of the difference between independent simulations, and the confidence interval for the mean project duration as well as sensitivity analysis method in What-if analyzer component. The SPSS 111 gives the several benefits to researchers in that it (1) complements PERT and Monte Carlo simulation by using stochastic activity durations via a web based JAVA simulation over the Internet, (2) provides a way to model a project network having different probability distribution functions, (3) implements statistical analyses method which enable to produce a reliable prediction of the probability of completing a project in a specified time, and (4) allows researchers to compare the outcome of CPM, PERT and DES under different variability or skewness in the activity duration data.

• Korean Journal of Computational Design and Engineering
• /
• v.10 no.5
• /
• pp.349-355
• /
• 2005

This paper concerns about how and why design frameworks for optimization should consider various software development environments such as MATLAB, VB, VBscript, Python, Tcl, PHP, Perl, and JAVA. The frameworks can be utilized by many engineers who have a basic concept about the optimization theory and/or basic knowledge about the computer programming languages. The framework will integrate a number of remote CAE tools, automatically execute them for design optimization, and have the capabilities of post-processing of data such as objective functions, state variables and design variables using a third-party spreadsheet program like Excel. The prototype framework developed in this study will be applied to various examples of optimization problems and show the validity of the proposed method of a framework implemenation.

• Annual Conference of KIPS
• /
• 2003.05c
• /
• pp.1937-1940
• /
• 2003

정보보호 평가는 크게 시스템 평가인 CC(Common Criteria)평가와 암호모듈 평가인 CMVP(Cryptographic Module Validation Program)평가로 나눌 수 있다. 본 논문은 국내 표준 암호 알고리즘 SEED를 북미의 CMVP의 3가지 블록 알고리즘 시험방법인 KAT(Known Answer Test), MCT(Monte C미개 Test), MMT(Multi-block Message Test)를 JAVA환경에 적용하여 시범 구현하였다. 테스트 방법으로 CMVP의 MOVS, TMOVS, AESAVS를 선정하여 FIPS 표준을 적용하였다. 구현 환경으로는 JCE기반의 Cryptix를 채택하여 CMVP의 블록 암호 알고리즘 테스트 시스템 중 일부를 구현하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.10a
• /
• pp.238-240
• /
• 2003

자바 프로그램은 자바 바이트코드로 컴파일되어 배포된다. 자바 바이트코드는 심볼릭 정보를 그대로 유지하고 있기 때문에 역컴파일(decompile) 도구에 의해서 쉽게 소스 파일이 노출될 수 있다는 취약성이 있다. 따라서 자바 역컴파일에 대한 위험을 방지 혹은 최소화 할 수 있는 방법에 대한 연구가 필요하다. 본 논문에서는 이러한 보안 취약성 및 문제점을 인식하고 거기에 대처할 수 있는 대응 기법에 대한 연구로서 메소드 분산을 이용한 프로그램 난독화 기법을 제시하려고 한다. 본 논문에 제안된 난독화 기법을 사용하면 역컴파일에 성공했다 하더라도 역컴파일된 소스 프로그램을 쉽게 이해하거나 재활용하기 어렵게 만들 수 있으며 다른 난독화 기법을 적용할 수 있는 범위를 넓혀 줄 수 있다.

• Journal of Biosystems Engineering
• /
• v.27 no.2
• /
• pp.161-172
• /
• 2002

Database as a supporting system for decision-making is one of essential parts for realizing precision farming. Application models on constructing a database for precision farming, including collection of spatial and attribute data, were suggested using a GPS, DXF files, AutoCAD, a Java application program and PostgreSQL DBMS in this study. The constructed spatial database based on the schema design of spatial and attribute data table was evaluated as a supporting system for decision-making by a simulation of a virtual variable-rate chemical applicator. The applicator could extract the values of soil property at its consecutive location in the tested field in communication with the constructed database, and prescribe the corresponding variable-rate of chemicals. The results of the study suggested the possibility that the constructed database can function a supporting system for decision-making for precision farming.

• Journal of Information Technology Services
• /
• v.5 no.3
• /
• pp.165-172
• /
• 2006

In this paper, we designed a new type of X-internet framework by using Flash component and server service API and analyzed its performance. Proposed X-internet framework uses Flash MX Professional 2004, Java, and software which opened middleware and database. Since proposed framework use the server service API that we developed in this paper and Flash player, this framework does not need server module. Proposed framework enables to obtain design with dynamic user interface compare to Web application and enables to reduce development time. In analytical results, it has been shown that proposed x-internet framework have efficient characteristics such as network traffic, low development cost and dynamic user interface implementation. Since proposed X-internet framework can operate in environment of current developer friendly, it is useful for development of various new application programs and we confirm it through Flash web mail implementation by using proposed x-internet framework.