• Proceedings of the Korean Information Science Society Conference
• /
• 1999.10a
• /
• pp.560-562
• /
• 1999

프로그램 슬라이싱은 프로그램의 특정 위치에서 변수들의 값에 영향을 주는 문장을 추출하는 방법이다. 프로그램 슬라이싱의 유용성은 디버깅, 최적화, 프로그램 유지보수, 테스팅, 재사용 부품 추출 그리고 프로그램 이해를 포함하는 다른 응용 분야에 널리 알려져 있다. 본 논문은 C언어에서의 함수 호출이 존재하는 모듈간 프로그램 슬라이싱에 관한 연구이다. 기존의 모듈간 슬라이싱 알고리즘들은 함수의 호출 문맥 설명에 실패하거나 문장 기반 그래프를 사용함으로써 정확한 슬라이스 생성에 실패한다. 본 논문에서는 기존 방법들의 문제점을 지적하고, 시스템 정보 흐름 그래프 (System Information Flow Graph)를 이용하여 정확하고 수행 가능한 모듈간 슬라이스 생성 방법을 제안한다.

• Annual Conference of KIPS
• /
• 2000.10b
• /
• pp.1369-1372
• /
• 2000

텔리포인팅은 지역 시스템의 공유윈도우에서 텔리포인터를 통해 발생하는 이벤트를 원격지 시스템의 공유왼도우에 동기적으로 표현하는 기법이다. 이러한 텔리포인팅은 다양한 CSCW 분야 및 응용프로그램들에서 응용되고 있다. 텔리포인팅 기능을 제공하기 위한 텔리포인팅 모듈은 응용프로그램의 종류에 상관없이 응용할 수 있도록 설계하고 구현해야 해야 한다. 텔리포인팅 모듈의 설계 시에 반드시 고려해야할 기능은 텔리포인팅 사용자 관리기능과 세션관리기능이다. 본 논문은 텔리포인팅 모듈을 위한 세션 및 사용자 관리모듈을 설계한다. 세션 관리모듈은 세션의 참여, 탈퇴, 생성, 그리고 제거 등의 세션관리기능을 제공하고 사용자 관리모듈은 사용자의 등록, 삭제, 그리고 사용자정보갱신 등의 사용자 관리기능을 제공하는 모듈로써 단일 및 다중 텔리포인팅 기능을 제공하기 위해 반드시 구현되어야 하는 모듈들이다.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2015.05a
• /
• pp.464-464
• /
• 2015

수문해석을 수행할 때 유역의 지형으로 부터의 얻어진 수문인자를 사용한다. 유역의 경사나 흐름방향과 같은 지형적인 수문인자는 DEM 자료를 이용하여 여러 수치계산과정을 통해 얻을 수 있다. 이는 특히 유역 수문해석에 있어 유역 특성치 및 수문 인자들의 공간적으로 분포시켜 접근하는 분포형 모형에서 지형적인 입력요소 로 중요하게 사용된다. 본 연구에서는 아래와 같은 지형 수문인자 추출 모듈을 개발하고 사용하고자 한다. * Pit Remove : DEM에서 갱격자 제거 * Flat Remove : DEM에서 평격자 제거 * Flow Direction : 흐름방향 결정 * Flow Accumulation : 흐름 누적계수 결정 * Stream Definition : 하천영역 결정 * Watershed Delineation : 유역 생성 위의 모듈은 Java 오픈소스 프로그램으로서 분포형 수문해석 모형의 한 부분으로서 사용 가능하며, GIS 프로그램에 의존하지 않고 사용할 수 있다. 이 모듈은 이후 분포형 수문해석 프로그램 개발에 사용할 계획이며 연구에 사용되는 컴퓨팅 도구와 환경에 독립적으로 사용이 가능하다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.10a
• /
• pp.520-522
• /
• 2001

본 논문은 기존의 객체지향 방식으로 작성된 프로그램에서 독립(isolated) 컴포넌트를 추출하기 위한 방법을 제안한다. 독립 컴포넌트는 별도의 컴포넌트가 필요 없이 독자적으로 이용 가능한 컴포넌트를 말한다. 기존 프로그램에서 추출되는 독립 컴포넌트는 다른 응용프로그램 개발에 쉽게 사용될 수 있다. 본 논문에서 제시하는 추출 방법은 기존의 객체지향 프로그램을 분석하여 클래스 정보를 추출하고, 클래스 간의 의존 관계를 검사하여 상호의존성이 낮고 범용성이 높은 글래스 모듈을 선택하는 것이다. 대상 모듈의 범용성은 프로그램내에서 얼마나 많이 사공되는 가로 정의된다. 본 논문에서 제시하는 방법을 사용하여 컴포넌트를 자동으로 추출하는 시스템을 구축하고자 한다.

• Journal of the korean Society of Automotive Engineers
• /
• v.18 no.4
• /
• pp.67-87
• /
• 1996

본 연구에서는 차체의 충돌해석 및 모델링을 위하여 판/쉘 요소의 자동생성 모듈을 개발하고 재료의 변형특성 모델링 모듈 및 접촉처리 모듈을 개발하였다. 충돌해석용 전처리기능으로는 평면, 실린더 곡면, B-스플라인 곡면 및 블렌딩 (blending) 곡면상에서의 사각형 요소망 자동생성 기법과 프로그램을 개발하였다. 또한 차체를 구성하고 있는 여러가지 재료들의 변형거동을 모델링하여 개발중인 충돌해석전용프로그램인 Autocrash의 모듈로서 완성하였다. 이들은 변형률속도의 영향이 고려된 탄소성 재료, 강체 재료, 포옴 재료 및 이방성 재료등으로 정면충돌 해석 및 측면충돌 해석에 필요하다. 한편 접촉처리 모듈에서 접촉탐색법으로는 주종탐색법과 HITA 알고리즘을 병행하여 사용할 수 있도록 프로그래밍하였으며, 불침투 조건의 처리는 벌칙함 수법을 이용하였다.

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2010.07a
• /
• pp.265-268
• /
• 2010

본 논문에서는 지하철 정보를 제공하는 모바일 응용 프로그램을 제안하였다. 윈도우 모바일 6.0을 기반으로 한 이 응용프로그램은 지하철 역정보와 관련된 사용자의 편의성을 증대시키기 위하여 설계 및 구현되었다. 이 프로그램에서 지하철 노선도와 부가기능이 성공적으로 실행될 수 있도록 UI 인터페이스, 맵 모듈, 최단거리 모듈, 메모 모듈, 다익스트라 알고리즘 등을 설계하였다. 특히 다익스트라 알고리즘은 프로그램 내의 알람 기능과 역 정보에 적용되었고, 또한 역 정보와 같은 방대한 정보와 데이터를 인접 행렬을 이용하여 구축하였다. 이 응용프로그램은 보다 쉽게 조작하기 위해 6개의 메뉴들로 구성되어있다. 지하철의 종합 관제 센터로부터 신호를 받아 이 프로그램에 적용된다면, 많은 유저들이 보다 정확한 정보를 제공 받을 수 있다고 사료한다.

• Computational Structural Engineering
• /
• v.12 no.1
• /
• pp.27-34
• /
• 1999

독자적인 자동차 충돌해석용 프로그램 개발 및 응용기술을 목표로 Explicit 수식화, 셀 요소의 정식화, 교체요소의 정식화, 비선형스프링 요소의 개발, 초탄성 고무재료의 개발, Hourglass 제어, 접촉알고리즘 정식화 등의 프로그램의 기본 모듈을 구성하였고, 그래프 출력용 포스트 프로그램을 개발하였다. 비선형스프링, 에어백 모듈, 안전벨트 모듈 등이 개발되었으며, 자체구조물들의 정면·측면 충돌해석을 수행하고 상용충돌해석프로그램들과 그 결과를 비교하여 개발된 프로그램의 신뢰성을 확인하였다. 또한, 측면충돌 모델을 사용하여 설계초기단계에서 빠른 해석을 수행할 수 있도록 하는 Hybrid 모델링 기법을 개발하여 기존의 쉘모델의 결과와 비교·검토하였다. Hybrid 모델링시 조인트 부의 특성을 측면해석 모델에 적용하여 그 타당성을 검증하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2006.06a
• /
• pp.166-168
• /
• 2006

센서 네트워크 운영체제는 다양한 실험과 작업을 위해 다양한 기능을 수행해야한다. 이를 위해 센서 운영체제는 필요에 따라 응용프로그램을 설치하여 사용하고 이를 필요에 따라 수정하는 것을 지원한다. 이에 따라 센서 운영체제는 다양한 응용프로그램을 사용할 수 있도록 범용화 되고 고정된다. 또한 운영 체제 와 응용프로그램의 분리에 따라 오버헤드가 발생하게 된다. 따라서 센서 운영체제가 설치된 운영체제에 따라 커널의 구조를 최적화하고 응용프로그램수행에 따른 오버헤드를 최적화하는 작업이 필요하다. 본 논문에서는 커널을 모듈화하고 필요에 따라 선택적으로 커널을 재구성 할 수 있는 프레임워크를 제안한다. 제안하는 시스템은 모듈화 된 커널 자원을 효율적으로 관리하며, 수행하는 응용 프로그램의 요구 기능에 따라 커널의 구성을 바꿀 수 있어 최적화된 커널을 유지할 수 있다.

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

Agricultural Policy/Environmental eXtender Model(APEX)는 전 농장 또는 소규모 유역 관리에 활용하고자 개발된 모형이다. APEX는 사용자들을 고려하고 다양한 형태로 개발하였다. 사용자들이 사용하기 쉽도록 윈도우 인터페이스 형태의 WinAPEX 모듈을 개발하기도 하였으며, ArcGIS 프로그램과 연계하여 다양한 지리정보시스템을 사용할 수 있는 ArcAPEX 모듈을 개발하기도 하였다. 그러나 WinAPEX 모듈은 유역에 대한 정보를 시각적으로 확인할 수 없다는 단점을 가지고 있으며, ArcGIS 프로그램은 유료의 라이센스라는 단점을 보유하고 있다. 본 연구에서는 이러한 단점을 극복하기 위하여 APEX 모형을 GNU General Public License 기반의 Open Source Geographic Information System(GIS)인 Quantum GIS(QGIS)와 연계하여 QAPEX 모듈을 개발하고자 하였다. QAPEX 모듈은 오픈소스 기반의 QGIS 프로그램과 APEX 모형을 이용하여 무료로 사용할 수 있으며, 사용자의 편의를 위해 유역에 대한 정보를 시각적으로 확인할 수 있다. 뿐만아니라 QGIS는 사용자간의 정보 및 자료 공유에 용이한 장점을 보유하고 있어 QAPEX를 이용하는 사용자들 간의 정보 공유로 인해 원활하고 지속적인 개선이 이루어 질 것으로 기대된다.

• Annual Conference of KIPS
• /
• 2004.11a
• /
• pp.709-712
• /
• 2004

응용프로그램이 복잡해지고 사용 환경이 다양해짐에 따라 신뢰성 높은 소프트웨어 생산을 위한 테스트가 중요시 되고 있다. 소프트웨어를 테스트하기 위해서는 각 기능에 따라 동작하는 모듈이 합당한 동작에 대해서 분석해야한다. 모듈은 다수의 실행경로로 이루어져 있으며 각 실행 경로에 따라 다른 결과를 출력하도록 설계되어 있다. 본 논문은 실행 경로에 따른 모듈의 인자를 자동으로 생성할 수 있는 방법을 제안한다. 프로그램은 블록간의 제어문 결합으로 이루어져 있고 다른 실행 경로를 생성하는 요인은 프로그램내의 제어문을 통해 결정된다. 그러므로 블록간의 결합을 제어의 종류에 따라 연산으로 표현하고 연산의 특성을 분석한다. 그리고 블록의 속성은 조건식을 가지고 있어 블록이 실행되는 조건을 표현한다. 각 연산의 특성에 맞게 조건식을 연산하여 블록이 동작하는 조건을 확인하고 최종적으로 실행 경로에 따른 모듈의 인자를 구하는 방법을 제안한다. 이 방법은 조건식에 영향을 주는 명령만을 추출하는 방법으로 인자를 구하기 위한 계산의 로드를 줄이는 장점이 있다.