• 한국정보시스템학회:학술대회논문집
• /
• 한국정보시스템학회 1997년도 추계학술대회논문집 기업경쟁력 향상을 위한 정보통신 기술의 활용
• /
• pp.413-425
• /
• 1997

실시간 시스템(realtime system)은 외부환경에서 보내진 요구사항(requirement)에 정해진 시간 내에 반응(action)해야만 한다. 시스템의 외부환경은 실세계(real world)의 물리 적인 요소(physical element)가 되며 이러한 물리적인 요소는 객체지향 설계 (object-oriented design) 개념에서 객체(object)이다. 또한 시스템을 설계하는 경우는 객체 지향 방법론을 적용함으로서 보다 명확한 표현이 가능하게 되며 실세계의 물리적인 각 요소 가 부품단위(component units)로 동작하는 형태를 소프트웨어로 설계하는 것이 용이하게 된다. 따라서 본 논문에서는 실시간 시스템설계에서 객체지향 방법을 사용하고, 원시 (source) 소프트웨어의 분석(analysis)과 검증(verification) 및 흐름(flow)를 슬라이스 기법을 사용하여 표현함으로써 시스템의 전체적인 구성을 명확하게 표현하며 클래스(class) 단위로 슬라이스 된 각 부분으로 상속(inheritance)과 메시지 전달(message sending)의 흐름을 파 악할 수가 있다. 그리고, 보다 효율적인 시스템의 외부환경의 오동작 처리 및 시스템 흐름 을 감시 추적(monitoring and tracing)할 수 있도록 슬라이싱 맵을 데이터베이스로 구축하 여 활용하는 방법을 제시한다. 또한 슬라이싱 맵 표현 방벙에 있어서 기존의 표현을 보다 구체적이고 실제적인 표현기호를 제시한다.

• 한국항만경제학회지
• /
• 제20권2호
• /
• pp.217-234
• /
• 2004

Information technology has been transforming the relationship between shippers and carriers, but an unresolved question remains: what is the relative importance to shippers of service versus cost benefits of e-logistics solutions? This research develops and empirically tests a model to determine how Internet-based logistical operations in international shipping impact on the relative importance of cost versus service benefits to shippers. Contrary to expectations, results show that shippers perceived cost benefits from well-designed web sites, undoubtedly a consequence of perceptions that multi-function portals with ease of access contributed to savings in time and money. Another result was the confirmation of the positive effects of cargo tracing and bill of lading issuance on service-related factors. Finally, this study draws attention to the need for improvements in on-line booking capabilities and development of a comprehensive common portal; issues that must be addressed for shipping lines to succeed in an increasingly competitive e-logistics market.

• 한국통신학회논문지
• /
• 제23권9A호
• /
• pp.2258-2270
• /
• 1998

Recently, the distributed processing environments provide various open multimedia serivces through telecommunication network and have been developing into information networking structure based on object oriented concepts and distributed systems which can apply new services with a few changes the existing networks. This paper proposes the object group model which is the collection of objects and can functionally and efficiently manage the individual object. this paper presents the analysis of the requirement and the function specifications to propose the object group model, and depicts the functional structure in details using its analysis. The goal of this paper is to decrease the complexity of the object's management and to voercome the limitations of among the components of object group for management and service functions based on our proposed the object group model and show interaction procedures to eTD (event tracing diagram)s and finally we design the object group model by TINA-ODL.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제16권2호
• /
• pp.177-185
• /
• 2010

광선-다각형 교차 계산은 광선 추적법 계산의 상당 부분을 차지하는 중요한 구성요소로서, 보편적으로 정적인 장면에 대해서는 kd-트리와 같은 공간 자료구조를 사용하여 교차 계산을 가속하여왔다. 최근 CPU에 비해 상대적으로 제한된 계산구조를 가지는 GPU에 적합하도록 변형된 kd-트리 탐색 기법이 몇 가지 제시되어 왔는데, 본 논문에서는 이러한 기존 방법을 보완할 수 있는 두 가지 구현 기법을 제안한다. 첫째, 트리 탐색을 위한 스택을 전역 메모리에 할당할 경우 전역 메모리 접근으로 인한 비용을 줄이고자 하는 캐쉬 적용 스택 방법과 둘째, 기존의 로프 방법의 문제점인 상당한 메모리 요구량을 줄이고자 하는 적은 깊이의 스택(short stack)을 사용한 로프 방법을 제시한다. 제안된 방법의 효용성을 보이기 위하여 기존의 GPU용 탐색 방법과의 성능 비교 분석을 수행한다. 이러한 실험 결과는 향후 GPU용 광선추적법 소프트웨어 개발자들이 상황에 맞는 적절한 kd-트리 탐색 방법을 선택할 수 있도록 해주는 중요한 정보를 제공하게 될 것이다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제36권7호
• /
• pp.531-538
• /
• 2009

국내 소프트웨어 시장은 소프트웨어 제품의 품질 불만과 수익성 악화라는 악순환의 고리에서 헤어나지 못하고 있다. 산업계 및 학계에서는 문제의 주된 원인이 소프트웨어 사업 초기의 불명확한 요구사항에 있음을 인식하고, 사업 초기부터 개발 범위 및 내용, 품질 목표 등을 명확히 설정하고 이를 요구사항 명세서에 충실히 반영할 것을 강조하고 있다. 본 연구에서는 보다 명확한 요구사항의 명세와 요구사항의 효과적인 관리를 위해 국내외의 다양한 형태의 요구사항 명세서를 분석하고, 이를 바탕으로 개발 범위의 명확화, 품질의 정량화, 요구사항들간의 연결/추적관리, 명세의 편이성이 제고된 요구사항명세 표준지침을 개발하였다. 제안하는 표준 병세서는 분할 발주 또는 일괄 발주 등 다양한 소프트웨어 사업 프로세스에 적용할 수 있는 장점이 있다.

• Journal of Astronomy and Space Sciences
• /
• 제31권3호
• /
• pp.265-276
• /
• 2014

The application of software engineering is not common in the development of astronomical observation system. While there were component-wise developments in the past, large-scale comprehensive system developments are more common in these days. In this study, current methodologies of development are reviewed to select a proper one for the development of astronomical observation system and the result of the application is presented. As the subject of this study, a project of operation software development for an astronomical observation system which runs on the ground is selected. And the output management technique based on Component Based Development which is one of the relatively recent methodologies has been applied. Since the nature of the system requires lots of arithmetic algorithms and it has great impact on the overall performance of the entire system, a prototype model is developed to verify major functions and performance. Consequently, it was possible to verify the compliance with the product requirements through the requirement tracing table and also it was possible to keep to the schedule. Besides, it was suggested that a few improvements could be possible based on the experience of the application of conventional output management technique. This study is the first application of the software development methodology in the domestic astronomical observation system area. The process and results of this study would contribute to the investigation for a more appropriate methodology in the area of similar system development.

• 한국시뮬레이션학회논문지
• /
• 제18권3호
• /
• pp.113-122
• /
• 2009

사용자가 요구하는 기능과 특성에 대한 다양한 요구사항은 소프트웨어를 점점 더 복잡하게 만들고 이를 검증하고 검사하는 것은 어려운 문제이다. 게다가 개발된 소프트웨어 코드를 검증하고 검사를 수행하는 과정에서 트레이싱 혹은 로깅 코드를 삽입하는 과정과 검사가 완료되어 삭제하는 과정에서 사용자의 부주의로 버그가 삽일될 수 있는 문제점도 발생한다. 본 논문은 소프트웨어 개발 과정 중에서 검증 및 검사 과정을 지원할 수 있는 Aspect DEVS 검증 틀을 제시한다. Aspect DEVS 검증틀은 관점 지향 프로그래밍 기법을 사용하여 이미 구현되어 있는 소프트웨어와 사용자는 요구사항을 만족하는 지를 확인하는 동시에 소스 코드에 테스팅 코드를 삽입할 때 발생하는 문제들을 해결한다. Aspect DEVS 검증틀을 사용한 검증의 첫 번째 단계는 관찰 대상을 관점 지향 프로그래밍 기법을 사용하여 명세한 하고, 사용자의 요구사항을 DEVS 다이어그램을 명세한 후 이를 DEVSIM++로 구현한다. 마지막으로 프로그램의 수행 과정 중에서 발생하는 이벤트들을 대상으로 구현한 DEVS 모델의 이벤트 입력으로 넣어 소프트웨어가 사용자의 요구사항을 만족하는 지를 검사함으로써 검증 과정 중에 대상 소프트웨어의 수정 없이 검증 및 검사를 수행할 수 있다.

• 스마트미디어저널
• /
• 제4권2호
• /
• pp.68-76
• /
• 2015

최근 다양한 스마트 기기가 보급화 됨에 따라 스마트 기기를 이용한 실내 위치추적 기술 연구 또한 활발히 진행되고 있다. 하지만 실내 위치추적 기술은 GPS 센서 없이 실내의 위치를 추적해야 한다는 제약 사항이 있다. 본 논문에서는 별도의 인프라 구축이 필요 없고 오차범위가 작은 실내위치추적 기법을 제안한다. 제안 기법은 기존 실내 측위를 위한 기법 중 걸음검출, Wi-Fi 핑거프린팅 기법들의 장단점이 서로 상호보완적 이라는 점에서 착안하였다. 제안하는 기법은 걸음검출을 통해 사용자의 변위를 측정하며 이를 보정하기 위해 Wi-Fi 핑거프린팅 기법을 혼합 형태로 사용한다. 본 논문에서는 실험을 통해 제안하는 기법의 유효성을 입증하고 실용화 가능성을 보인다.

• 한국우주과학회:학술대회논문집(한국우주과학회보)
• /
• 한국우주과학회 2011년도 한국우주과학회보 제20권1호
• /
• pp.30.2-30.2
• /
• 2011

In this report, we present in-orbit radiometric performance prediction for the Amon-Ra (Albedo Monitor and Radiometer) energy channel instrument. The Integrated Ray Tracing (IRT) computational technique uses the ray sets arriving at the Amon-Ra instrument aperture orbiting around the L1 halo orbit. Using this, the variation of flux arriving at the energy channel detector was obtained when the Amon-Ra instrument including the energy channel design observes the Sun and Earth alternately. The flux detectability was verified at the energy channel detector (LME-500-A, InfraTecTM). The detector time response and RMS signal voltage were then derived from the simulated flux variation results. The computation results demonstrate that the designed energy channel optical system satisfies the in-orbit detectability requirement. The technical details of energy channel instrument design, IRT model construction, radiative transfer simulation and output signal computation results are presented together with future development plan.

• 한국우주과학회:학술대회논문집(한국우주과학회보)
• /
• 한국우주과학회 2011년도 한국우주과학회보 제20권1호
• /
• pp.30.1-30.1
• /
• 2011

We present construction of 3D Earth optical Model for in-orbit performance prediction of L1 halo orbiting earth remote sensing instrument; the Albedo Monitor and Radiometer (Amon-Ra) using Integrated Ray Tracing (IRT) computational technique. The 3 components are defined in IRT; 1) Sun model, 2) Earth system model (Atmosphere, Land and Ocean), 3)Amon-Ra Instrument model. In this report, constructed sun model has Lambertian scattering hemisphere structure. The atmosphere is composed of 16 distributed structures and each optical model includes scatter model with both reflecting and transmitting direction respond to 5 deg. intervals of azimuth and zenith angles. Land structure model uses coastline and 5 kinds of vegetation distribution data structure, and its non-Lambertian scattering is defined with the semi-empirical "parametric kernel method" used for MODIS (NASA) missions. The ocean model includes sea ice cap with the sea ice area data from NOAA, and sea water optical model which is considering non-Lambertian sun-glint scattering. The IRT computation demonstrate that the designed Amon-Ra optical system satisfies the imaging and radiometric performance requirement. The technical details of the 3D Earth Model, IRT model construction and its computation results are presented together with future-works.