• Journal of KIISE
• /
• v.41 no.11
• /
• pp.967-973
• /
• 2014

A continuous object is large phenomenon diffusing continuously. Therefore, a large number of sources is a major problem in researches for continuous object. Existing studies for continuous object detecting focus on reducing communication cost generated by the sources. But, they only deal with the static sink located in fixed position. In this paper, we propose the location update scheme for mobile sinks in continuous object detecting. Generally, to receive data, a mobile sink should notice its current location to sources. Previous studies for location update of mobile sinks consider individual object. So they need a lot of energy for location update when a mobile sink notices its current location toward many sources of a continuous object independently. Proposed scheme exploits regional locality of the sources involved one continuous object. The regional locality makes the location update of mobile sinks efficient. Our simulation results show that the proposed scheme superior to existing schemes in terms of energy efficiency.

• Journal of Korea Multimedia Society
• /
• v.13 no.2
• /
• pp.161-170
• /
• 2010

ELF, an abbreviation for Executable and Linkable Format, is the basic file format for shared libraries and executable files used in the Linux system, whereas 'Linker' copies the symbol information of static shared libraries into the symbol table in the target file generated by way of static linking. At this time, the symbol table keeps various pieces of debugging-related information including function names provided by the shared libraries, and it can be deleted to avoid debugging for security reasons by utilizing the fact that it does not directly affect the program execution. This paper proposes a method for restoring the symbol information of static shared libraries from the ELF object file in which the symbol table is deleted, and confirms that the symbol information is restored by conducting practical experiments.

• ETRI Journal
• /
• v.11 no.2
• /
• pp.120-136
• /
• 1989

최근의 데이터 베이스 응용분야에 있어서 시간에 따른 정보의 변화를 유지관리할 필요성이 대두되고 대용량의 기억장치 가격의 급속한 감소와 함께 이의 이용 기술이 향상되면서 시간주기에 따라 실세계의 상태에 대한 변경과정을 표현하는 시간 즉, 데이터의 변경이력을 지원하는 데이터베이스(Terporal Database)에 관심이 집중되고 있으며, 이러한 요구를 만족시키기 위한 여러 방법들이 연구되고 있다. 일반적으로 시간 지원 데이터베이스 모델은 지원되는 시간의 형태에 따라 Static, Static Rollback, Historical, Temporal, Revision 데이터베이스 모델로 나뉘어진다. 본 논문에서는 시간 및 변경이력을 지원하기 위한 데이터베이스 모델과 이를 위한 데이터베이스 시스템의 주요 설계 Issue들에 관하여 조사분석한 다음, Static Rollback 데이터베이스 모델을 기본으로 하는 "$SR^2DBS$: 시간 지원 데이터베이스 시스팀"의 설계 및 구현에 관하여 기술하였다. $SR^2DBS$은 기존의 관계형 데이터 베이스 시스팀"의 모델을 시간 애트리뷰트를 추가시킴으로서 데이터 베이스의 변경이력관리를 가능케 한 Direct Manipulation Database Processing System으로 데이터베이스의 현상태 뿐만 아니라 시간에 따른 변경이력에 대해서 Screenoriented Relation Browsing & Editing 기능을 제공하며, 다음과 같은 특징을 갖는다. - Screen oriented Processing - Directi-Manipulation of Objects - Object & Revision History of Interest Visibility - Rapid Reversible Actions - Transaction Time & Revision Number Supporting - Roll-back Query Supporting - Han-gul Data Supporting - Two level Storage Structure(Current Version & History Versions)

• Journal of Ocean Engineering and Technology
• /
• v.28 no.5
• /
• pp.440-451
• /
• 2014

A multi-static SONAR system consists of the transmitters and receivers separately in space. The active target echoes are received along the transmitter-target-receiver path and depend on the shape and aspect angle of the submerged objects at each receiver. Thus, the target echo algorithm used with a mono-static system, in which the transmitter and receiver are located at the same position, has limits in simulating the target echoes for a multi-static SONAR system. In this paper, a target echo modeling procedure for a 3D submerged object in space is described based on the Kirchhoff approximation, and the SONAR system is extended to a multi-static SONAR system. The scattered field from external structures is calculated on the visible surfaces, which is determined based on the locations of the transmitter and receiver. A series of experiments in an acoustic water tank was conducted to measure the target echoes from scaled targets with a single transmitter and 16 receivers. Finally, the numerical results were compared with experimental results and shown to be useful for simulating the target echoes/target strength in a multi-static SONAR system.

• Journal of Auto-vehicle Safety Association
• /
• v.14 no.2
• /
• pp.39-44
• /
• 2022

This paper presents LiDAR static obstacle map based vehicle position correction algorithm for urban autonomous driving. Real Time Kinematic (RTK) GPS is commonly used in highway automated vehicle systems. For urban automated vehicle systems, RTK GPS have some trouble in shaded area. Therefore, this paper represents a method to estimate the position of the host vehicle using AVM camera, front camera, LiDAR and low-cost GPS based on Extended Kalman Filter (EKF). Static obstacle map (STOM) is constructed only with static object based on Bayesian rule. To run the algorithm, HD map and Static obstacle reference map (STORM) must be prepared in advance. STORM is constructed by accumulating and voxelizing the static obstacle map (STOM). The algorithm consists of three main process. The first process is to acquire sensor data from low-cost GPS, AVM camera, front camera, and LiDAR. Second, low-cost GPS data is used to define initial point. Third, AVM camera, front camera, LiDAR point cloud matching to HD map and STORM is conducted using Normal Distribution Transformation (NDT) method. Third, position of the host vehicle position is corrected based on the Extended Kalman Filter (EKF).The proposed algorithm is implemented in the Linux Robot Operating System (ROS) environment and showed better performance than only lane-detection algorithm. It is expected to be more robust and accurate than raw lidar point cloud matching algorithm in autonomous driving.

• Journal of Korea Multimedia Society
• /
• v.10 no.8
• /
• pp.967-980
• /
• 2007

Video objects of interest play an important role in representing the video content and are useful for improving the performance of video retrieval and compression. The objects of interest may be a main object in describing contents of a video shot or a core object that a video producer wants to represent in the video shot. We know that any object attracting one's eye much in the video shot may not be an object of interest and a non-moving object may be an object of interest as well as a moving one. However it is not easy to define an object of interest clearly, because procedural description of human interest is difficult. In this paper, a set of four filtering conditions for extracting moving objects of interest is suggested, which is defined by considering variation of location, size, and moving pattern of moving objects in a video shot. Non-moving objects of interest are also defined as another set of four extracting conditions that are related to saliency of color/texture, location, size, and occurrence frequency of static objects in a video shot. On a test with 50 video shots, the segmentation method based on the two sets of conditions could extract the moving and non-moving objects of interest chosen manually on accuracy of 84%.

• Journal of the Korea Society for Simulation
• /
• v.21 no.1
• /
• pp.27-34
• /
• 2012

Proposed in the paper is an agent based and object-oriented methodology to create a virtual logistics support system model. The proposed virtual logistics support system model consists of three types of objects: the logistics force agent model(static model), the military supplies transport manager model(function model), the military supplies state manager model(dynamic model). A logistic force agent model consists of two agent: main function agent and function agent. To improve the reusability and composability of a logistics force agent model, the function agent is designed to adapt to different logistics force agent configuration. A military supplies transport manager is agent that get information about supply route, make decisions based on decision variables, which are maintained by the military supplies state manager, and transport military supplies. A military supplies state manager is requested military supplies from logistics force agent, provide decision variables such as the capacity, order of priority. For the implementation of the proposed virtual logistics force agent model, this paper employs Discrete Event Systems Specification(DEVS) formalism.

• Journal of Aerospace System Engineering
• /
• v.16 no.2
• /
• pp.13-24
• /
• 2022

As the scale of airborne system software increases, the use of OOT (Object-Oriented Technology) is increasing for functional expansion, efficient development, and code reuse, but the verification method for airborne object-oriented software is conducted from the perspective of the existing procedure-oriented program. The purpose of this paper was to analyze the characteristics of OOT and the vulnerabilities derived from the functional characteristics of OOT, and present a verification method applicable to each software development process (Design, Coding and Testing) to ensure the functional safety integrity of aviation software to which OOT is applied. Additionally, we analyzed the meaning of the static analysis results among the step-by-step verification measures proposed by applying LDRA, a static analysis automation tool, to PX4, an open source used to implement flight control software.

• Journal of Korea Society of Industrial Information Systems
• /
• v.16 no.5
• /
• pp.83-92
• /
• 2011

IDEF is a widely used methodology for traditional structured software development. As object-oriented softwares are widely used, an object-oriented version of IDEF, IDEF4, is developed. UML is de facto standard for object-oriented software development methods. Whereas IDEF is widely used for CALS/EC, UML is used for general object-oriented software development. Most software developers are not familiar with IDEF4 but familiar with UML. Moreover, UML has many CASE tools. So we can develop software efficiently if we convert IDEF4 model to UML model. In this paper, we transform IDEF4 models to UML models. We explain the rules and methods to convert IDEF4 model to UML model and applied the transform methods and rules to a case study.

• The Journal of the Institute of Internet, Broadcasting and Communication
• /
• v.18 no.3
• /
• pp.35-41
• /
• 2018

In this paper, we define a haptic rendering algorithm for a situation that has collision between static object and single object. We classified video scenes into four categories which can be easily seen in video sequence. The proposed algorithm can detect which frame is suitable for haptic rendering by detecting the change of direction using motion estimation and change of shape using object tracking. As a result, a total of 13 frames are extracted from the sample video and playing time of these frames were calculated. We confirmed that the haptic effect appears in expected playing time by adding the appropriate haptic generating waveform thtough the haptic editing program.