• The Transactions of the Korea Information Processing Society
• /
• v.5 no.10
• /
• pp.2556-2566
• /
• 1998

Program slicing is a technique to extract the statements which influence the value of a variable at a particular point of the program. It has been proposed that this technique is useful in debugging, iptimization, program maintenance, testing, extraction reusable components and other applications including the understanding of the program behavior. This paper aims to address the problem of slicing programs with Jump goto, break, continue in C statements, It was found that previous slicing algorithms do not always generate semantically correct slices when applied to such programs. We, therefore, point out why the previous methods do not work in this more general setting, and describe our eficient solutions that compate more correctly executable slices for such programs.

• Journal of Internet Computing and Services
• /
• v.2 no.4
• /
• pp.69-81
• /
• 2001

This paper describes a parallel programming environment to help programmer to write parallel programs. Parallel program must be write according to the character of the various hardware or program. So it is difficult for the programs to write the parallel programmer. In this paper, we propose and implement a parallel programming environment using graph type intermediate representation form, and graph user interface is provided for programmer to get parallel programs easily, This parallel environment supports special functions using graph type intermediate representation form. The special functions involve program editing. data dependence analysis, loop transformation. CFG, PDG, HTG. This parallel environment helps users make parallelism and optimization easy through showing the intermediate code with graph.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2017.05a
• /
• pp.309-309
• /
• 2017

EPANET은 U.S. EPA(U.S. Environmental Protection Agency, 미 환경청)에서 개발한 상수관망 시스템의 수리해석 모의 프로그램으로서, 다양한 상수관망의 설계 및 운영을 모의하기 위해 세계적으로 활발히 활용되고 있다. EPANET 프로그램은 사용자 친화적인 GUI(Graphic User Interface) 환경으로 개발되었으며, 직관적인 네트워크 요소와 폭 넓은 모의 옵션을 제공한다는 장점이 있다. 특히, 상수관망의 실무 및 연구 분야에서는 공학용 분석프로그램과 프로그래밍 언어의 활용이 활발해짐에 따라, 이를 EPANET 프로그램과 연계시킬 수 있는 EPANET Toolkit이 개발되면서 그 활용도는 계속해서 확장될 전망이다. 그러나 지속적인 보완에도 불구하고, 기존의 EPANET Toolkit에서 제공하고 있는 기능은 EPANET 프로그램을 전부 반영하지 못하고 있어 실용성 있는 프로그램의 개발이 제한되고 있는 실정이다. 기존 연구에서는 EPANET Toolkit의 미비한 기능에 대해, "프로그램 수행 - 결과 확인 - EPANET 네트워크 수정"을 반복 수행하여 문제를 해결하였으며, 따라서 복잡하고 세밀한 상수관망 모의 연구에 많은 제약이 존재하였다. 본 연구에서는 EPANET Toolkit의 내부를 수정, 보완하여 기존에 고려하지 못하였던 다양한 기능을 추가하여 관련 연구에 활용할 수 있도록 하였다. 구체적으로는 Pump Curve를 변경 및 입력하여 Pump 교체를 위한 최적 펌프용량을 결정하거나, Energy Pattern을 입력하여 손쉽게 전력비용을 산정하는 등의 기능이 개선되었다. 그밖에도 EPANET Toolkit의 활용성을 향상시키기 위한 다양한 함수들을 추가적으로 구성하였으며, 이는 펌프 용량 및 효율 곡선과 배수지 설계 등 상수관망 구성요소의 설계에도 폭 넓게 활용할 수 있을 것으로 기대된다.

• Journal of Digital Convergence
• /
• v.18 no.12
• /
• pp.259-266
• /
• 2020

The purpose of this study is to develop a extracurricular programs for enhancing creative self-efficacy of college student based on design thinking process, and to examine the effectiveness of the developed program. Since this study is also interested in suggesting the procedure for extracurricular program development and optimizing programs by derivation of improvements, a design-based research method was applied. Results are as follow; first, the procedure for extracurricular program development proceeds in three stages, second, the programs was developed as a 30-hour in-depth program and was conducted twice during winter and summer vacation, and the last, the program was confirmed that it has a positive effect on improving creative self-efficacy. This study contributed to providing a general procedure that can be referred when developing a program that reflects the context of the university, and to present the specific program and the case that use the test tool to confirm the effectiveness.

• Journal of the Korean Society of Propulsion Engineers
• /
• v.17 no.4
• /
• pp.56-62
• /
• 2013

The system analysis and design program of the liquid rocket engine has been developed for preliminary conceptual design process. The program analyzes the engine system and obtains optimal design variables by optimization methods such as genetic algorithm for the higher specific impulse and thrust to weight ratio using given input parameters and requirements. For the users' convenience, the GUI has been offered. The 3-dimensional model for the visualization of results has been interconnected with the CATIA program. The results are expected to be applied to the design process of the space launch vehicle for the analysis and selection of the propulsion system.

• Journal of KIISE:Software and Applications
• /
• v.30 no.1_2
• /
• pp.73-80
• /
• 2003

The Java programming language is designed for developing effective applications in a heterogeneous network environment. Major problem in Java is its performance. many attractive features of Java make the development of software easy, but also make it expensive to support ; applications written in Java are often much slower than their counterparts written in C or C++. To use Java`s attractive features without the performance penalty, sophisticated optimizations and runtime systems are required. Optimising Java bytecode has several advantages. First, the bytecode is independent of any compiler that is used to generate it. Second, the bytecode optimization can be performed as a pre=pass to Just-In-Time(JIT) compilation. Many attractive features of Java make the development of software easy, but also make it expensive to support. The goal of this work is to develop automatic construction of code optimizer for Java bytecode. We`ve designed and implemented a Bytecode Optimizer that performs the peephole optimization, bytecode-specific optimization, and method-inlining techniques. Using the Classfile optimizer, we see up to 9% improvement in speed and about 20% size reduction in Java class files, when compared to average code using the interpreter alone.

• The KIPS Transactions:PartA
• /
• v.14A no.1 s.105
• /
• pp.31-38
• /
• 2007

Code Optimization is converting to a code that is equivalent to given program but more efficient, and this process is processed in Code Optimizer. This paper designed and processed Code Optimizer Generator that automatically generates Code Optimizer. In other words Code Optimizer is automatically generated for DFA Pattern Matching which finds the optimal code for the incoming pattern description. DFA Pattern Matching removes redundancy comparisons that occur when patterns are sought for through normalization process and improves simplification and structure of pattern shapes for low cost. Automatic generation of Code Optimization for DFA Pattern Matching eliminates extra effort to generate Code Optimizer every time the code undergoes various transformations, and enables formalism of Code Optimization. Also, the advantage of making DFA for optimization is that it is faster and saves cost of Code Optimizer Generator.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.48 no.12
• /
• pp.953-960
• /
• 2020

This paper presents an optimization of gear web design used in a main gear train of an engine reduction gearbox for a rotorcraft. The optimization involves the minimization of a total weight, transmission error, misalignment, and face load distribution factor. In particular, three design variables such as a gear web thickness, location of rim-web connection, and location of shaft-web connection were set as design parameters. In the optimization process, web, rim and shaft of gears were converted from the 3D CAD geometry model to the finite element model, and then provided as input to the gear simulation program, MASTA. Lastly, NSGA-II optimization method was used to find the best combination of design parameters. As a result of the optimization, the total weight, transmission error, misalignment, face load distribution factor were all reduced, and the maximum stress was also shown to be a safe level, confirming that the overall gear performance was improved.

• Proceeding of EDISON Challenge
• /
• 2017.03a
• /
• pp.608-614
• /
• 2017

얀센메커니즘을 활용한 보행로봇의 단점인 저속을 개선 하기위한 연구이다. 그 예시로 라인트레이싱 속도를 높이기 위한 다리의 최적설계를 수행하였다. 이를 위해 EDISON에서 제공하는 프로그램을 사용하여 Ground angle coefficient와 Ground length를 더한 목적함수를 최대값으로 설계하였고 보행능력이 증가하였다.

• Proceedings of the Korean Institute of Surface Engineering Conference
• /
• 2008.11a
• /
• pp.88-89
• /
• 2008

TiN ICP-CVD 공정에서의 펄스 직류인가는 동일한 전력공급 하에 보다 효과적이고 우수한성능의 증착능을 나타낸다. 이에 따른 공적 최적화를 위해 전산모사 프로그램을 이용하여 전자의 에너지 분포 모사가 공정에 미치는 영향을 조사하였다.