• Journal of Korea Multimedia Society
• /
• v.3 no.1
• /
• pp.92-100
• /
• 2000

For the operation of the practical software systems, the development of new software, extension and modification phases of current software are successively needed through the new requirements added and their errors debugging detected. We need to understand current program exactly during a working serial jobs. When we'd like to extract the statements which influence the variable of specific statement of program, we generally analyze the program behavior through execution trace of program for the input values. It is important to compute dynamic program slice related to all statements that actually affect the value of a variable occurrence for a given program input and to develop techniques of its implementation. But traditional dynamic slicing techniques are inconvenient to make program execution history at the beginning implementation. In this paper, we propose a new improved algorithm which can produce program slice by use of dynamic control information and program slicing techniques except execution history file. Also we can find that the proposed program slicing approach is more efficient than the traditional program slicing algorithm on the practical testing environment.

• Journal of Energy Engineering
• /
• v.11 no.3
• /
• pp.194-202
• /
• 2002

In this paper, we simulate the power system transient stability of Kwang Yang steel works using object-oriented programming (OOP). OOP is a more flexible method than procedural programming. There are several advantages in dynamic system simulation using OOP, The maintenance and repair of program are easy because it is sufficient to modify necessary parts which correspond to the change of system without overall change of program. We have implemented a graphical man-machine interface (MMI) that can be used draw one-line system diagram and analyze power flow and dynamic stability. The implemented MMI also provide a graphical viewer that display dynamic stability analysis results by mouse event handling. The proposed method have been applied to Kwang Yang steel works network for on-line dynamic stability analysis. The dynamic behaviour of 17 synchronous generators and 25 synchronous motors has been studied in the Kwang Yang network.

• 한국IT서비스학회:학술대회논문집
• /
• 2009.11a
• /
• pp.198-201
• /
• 2009

오늘날 운영체계와 미들웨어는 수많은 API를 제공하고 있다. 최종 사용자들이 사용하는 응용 프로그램들은 이러한 API를 활용하여 개발되어지고 있다. 기존의 문서와 같은 형태의 API에 대한 기술은 기계가 자동적으로 처리하기 힘들며 개발자 입장에서도 API를 이해하기 위해서 책을 직접 읽고 이해해야 한다는 단점이 있다. 이를 극복하기 위하여 docgen과 같은 도구들이 있으나 결국은 개발자 관점에서는 API를 직접 숙지하여야 하며 응용 프로그램 상에서 직접 운영체계에서 제공하는 API 호출 부분을 작성하여 개발하여야 한다는 부분은 동일하다. 또한 서로 다른 다양한 운영체계에서는 형식은 다르지만 유사한 기능을 제공을 하는 API들이 있으나 개발자는 특정 운영체계의 API에 맞추어서 각각의 운용체계에 맞는 응용 프로그램을 개발하여야 하는 문제점이 있다. 본 연구에서는 API에 대한 정보에 대한 규격을 정의하고 각각의 API의 기능 및 특성에 대하여 메타 기술언어를 사용하여 기술하여 저장소에 저장해두고 실행시에 이러한 API정보를 사용하여 응용 프로그램과 동적으로 바인딩시켜서 실행시키는 체계에 대해서 논의한다. 응용 프로그램에서 사용하려고 하는 API와 운영체계에서 제공하는 API를 동적으로 결합시키는 엔진에서는 운영체계별 API의 차이에 의한 부분을 상쇄시키는 역할을 담당한다. 이러한 체계를 활용하면 동적으로 재구성 가능한 응용을 개발하는데 있어서 하부 시스템으로 활용될 수 있다. 향후 표준 API를 기술하는데 있어서도 본 연구에서 제시하는 메타 방식의 API 기술표현을 활용하면 보다 정확한 표준 규약 준수 여부를 확인할 수 있는 방법을 제공할 수 있다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2008.06b
• /
• pp.342-345
• /
• 2008

시스템의 중단 없는 서비스를 요구하는 운영체제 커널과 응용 프로그램은 빈번한 기능 추가와 성능 향상 그리고 버그 수정이 필요하다. 현재 이러한 시스템은 업그레이드를 한다고 해도 프로그램을 종료한 후 수행하거나 시스템을 재시작하는 과정에서 시스템 중단 및 재부팅에 따른 비용이 발생한다. 특히 임베디드 시스템의 경우 운영체제 또는 응용프로그램의 재설치는 쉽지 않다. 이러한 임베디드 시스템에서의 동적 업그레이드는 일반 PC의 경우와는 달리 플랫폼에 종속적인 부분이 상당히 많다. 플랫폼 종속적인 부분들은 차후 동적 업그레이드 기술을 다른 플랫폼으로 이식할 때 상당히 많은 시간과 노력이 필요하다. 본 연구에서는 이러한 문제점을 해결하고자 임베디드 시스템을 위한 동적 업그레이드에 대한 프레임워크를 설계하였다.

• Proceedings of the KIEE Conference
• /
• 1999.11b
• /
• pp.264-266
• /
• 1999

본 논문에서는 한전의 전력 계통 시뮬레이터(KEPS)에서 수행되어질 2010년 한전 계획 계통의 축약 계통을 자동으로 구성하는 프로그램의 개발에 대한 연구를 기술하였다. 먼저 한전 계통의 계통 데이터의 효율적인 관리를 위하여 데이터베이스를 구축하였고, 이를 이용하여 원계통의 데이터를 입력받아서 축약 계통의 데이터를 생성해내는 동적 축약 프로그램을 개발하였다. 동적 축약 프로그램은 각 발전기들의 특성을 분석하여 그룹화하는 식별부분과 이러한 식별과정을 거쳐서 구성된 발전기 그룹을 합쳐서 등가발전기로 구성하는 통합부분으로 이루어져 있으며 식별과정의 결과를 파일로 출력해내고 이를 수정할 수 있도록 하였다. 생성된 축약 계통과 원계통에 대해 조류 계산 및 동적 모의를 시행하여 그 응답특성을 비교하였다.

• Journal of Venture Innovation
• /
• v.6 no.1
• /
• pp.95-114
• /
• 2023

As the Fourth Industrial Revolution progresses, the importance of startups is becoming more prominent. Additionally, the role of accelerators in ensuring the sustainability of startups is also being emphasized. Therefore, in this study, among the services provided by accelerators to startups, the mentoring service, education service, funding service, and networking service tried to empirically analyze the structural relationship that affects startup performance through the dynamic capabilities of start-ups. To achieve this, we conducted a survey in February 2023 targeting startup CEOs and executives who had experience with accelerator program services. A total of 238 valid responses were analyzed using structural equation modeling with Amos 24. The results of the empirical analysis were as follows. The accelerator program services, including mentoring, education, funding, and networking services, had a significant positive effect on startup dynamic capabilities. Among the accelerator program sub-factors, networking services had the highest impact on startup dynamic capabilities, followed by mentoring, funding, and education services. Furthermore, startup dynamic capabilities were found to have a significant positive effect on startup performance. On the other hand, startup dynamic capabilities were found to mediate the relationship between mentoring, education, funding, networking services, and startup performance. Dynamic capabilities are a critical factor for startups, and the finding that accelerator programs can have a significant impact on startup performance by mediating these dynamic capabilities is significant both academically and practically.

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

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

• Proceedings of the Korean Information Science Society Conference
• /
• 2010.06c
• /
• pp.566-570
• /
• 2010

최근에는 스마트 폰의 저변이 확대되면서, 보안 취약성에 대한 많은 문제점이 새롭게 등장하고 있다. 스마트 폰 프로그램은 PC 환경에서 실행되는 프로그램과는 달리, 배포가 이루어진 이후에 소프트웨어 업데이트 등의 방법으로 보안 취약성을 제거하는 것이 매우 어려운 특징이 있다. 기존의 테스트 방법론은 스마트 폰의 특성에 대한 고려가 없기 때문에 스마트 폰을 위한 테스트 방법론과 함께 이를 위한 동적 테스트 도구에 대한 연구가 필요하다. 본 논문에서는 이벤트 구동 방식으로 동작하는 스마트 폰 프로그램의 특징을 고려한 동적 테스트 도구를 설계한다. 테스트 도구는 컴파일러 이론을 적용하여 체계적으로 설계 한다. 제안한 도구는 테스트 케이스 생성기와 테스팅 시스템으로 구성되며, 이벤트 구동 방식으로 동작하는 소프트웨어의 취약성 검출 자동화 도구로 활용할 수 있다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2013.11a
• /
• pp.505-508
• /
• 2013

스마트폰 응용 프로그램의 메모리 관리는 응용 프로그램의 속도와 안정성 측면에서 중요하게 다루어진다. 응용 프로그램에서 다루는 요소 중 이미지는 메모리 사용량의 많은 부분을 차지하며, 메모리의 여유 공간 내에서 이미지가 사용될 수 있도록 관리되어야 한다. 그러나 이미지의 해상도가 커지거나 다루게 되는 이미지의 개수가 늘어날 수록 이미지 객체의 관리의 어려움도 늘어나게 된다. 이미지 객체가 메모리 공간이 부족한 시점에서 메모리에 적재될 경우 응용 프로그램은 성능이 저하되거나 강제 종료될 수 있어 응용 프로그램의 사용성과 안정성이 낮아지게 된다. 본 논문에서는 안드로이드의 응용 프로그램에서 사용되는 이미지가 메모리의 많은 공간을 차지할 때, 안정적인 응용 프로그램 구동 환경을 제공해주는 동적 메모리 관리 기법을 적용하여 OOM(Out of Memory) 오류가 발생하는 문제를 해결하고자 한다.

• Journal of Internet Computing and Services
• /
• v.5 no.6
• /
• pp.111-120
• /
• 2004

In order to increase the productivity of software, the research to reduce the total cost in software development environments is working, Considerable time is wasted waiting for a changed program in program development, however smell the change, to be edited and compiled and executed. In case of partial change, we need incremental interpreter for reexecuting the changed parts and its affected parts, In this paper, we implement the incremental interpreter by using analyzing dynamic semantics at execution time, We define a new IMPLO(IMPerative Language with Object) language using EBNF(Extended Backus Naur Form) notation and then, design and implement the incremental interpreter of this language by using action equations to describe the dynamic semantics.