• Korean Journal of Remote Sensing
• /
• v.15 no.4
• /
• pp.339-348
• /
• 1999

To extract value-added products which are important in scientific area and practical life, e.g. digital elevation models, ortho-rectified images and geometric corrected images, Satellite Technology Research Center at Korea Advanced Institute of Science and Technology has developed a satellite image processing software called "Valadd-Pro". In this paper, "Valadd-Pro" software is briefly introduced and its main components such as precise geometric correction, ortho-rectification and digital elevation model extraction component are described. The performance of "Valadd-Pro" software was assessed on 10m resolution 6000 $\times$ 6000 SPOT panchromatic images (60km $\times$ 60km) using ground control points from GPS measurements. The height accuracy was measured by comparing our results with 100m resolution $DTEDs^{1)}$ produced by USGS and 60m resolution DEMs generated from digitized contours produced by National Geography Institute. Also, to show the superior performance of "Valadd-Pro" software, we compared the performance with that of commonly used PCI$\circledR$ commercial software. Based on the results, the geometric correction of "Valadd-Pro" software needs fewer ground control points than that of PCI$\circledR$ software and the ortho-rectification of "Valadd-Pro" software shows similar performance to that of PCI$\circledR$ software. In the digital elevation model extraction, "Valadd-Pro" software is two times more accurate and four times faster than PCI$\circledR$ software.ccurate and four times faster than PCI$\circledR$ software.

• The Transactions of the Korean Institute of Electrical Engineers P
• /
• v.62 no.1
• /
• pp.12-17
• /
• 2013

Fault currents are expressed as a combination of harmonic components and exponentially decaying DC offset components, during the occurrence of fault in power system. The DC offset components are included, when the voltage phase angle of fault inception is closer to $0^{\circ}$ or $180^{\circ}$. The digital protection relay should be detected quickly and accurately during the faults, despite of the distortions of relaying signal by these components. It is very important to implement the robust protection algorithm, that is not affected by DC offset and harmonic components, because most relaying algorithms extract the fundamental frequency component from distorted relaying signal. So, In order to high performance in relaying, advanced DC offset removal filter is required. In this paper, a new DC offset removal filter, which is no need to preset a time constant of power system and accurately estimate the DC offset components with one cycle of data, is proposed, and compared with the other filter. In order to verify performance of the filter, we used collecting the current signals after synchronous machine modeling by ATPDraw5.7p4 software. The results of simulation, the proposed DC offset removal filter do not need any prior information, the phase delay and gain error were not occurred.

• Journal of the Korean Society for Precision Engineering
• /
• v.30 no.7
• /
• pp.687-693
• /
• 2013

The service conditions of railway cars have become more difficult in recent years due to increased speed. Faulty components in the railcars may result in service interruption, or in extreme cases, derailment. Thus, it is important to diagnose and monitor the main components of railcars. Temperature monitoring is one of the basic methods used to diagnose abnormal conditions in the main components of railway cars, such as in bearings, reduction gears, and traction motors. In this study, we developed a monitoring system for the main components, using an infrared thermography technique. This technique has the advantage of infrared thermal camera imaging of temperature contours in the components. Various hardware and software components of the monitoring system are used to acquire the sensor data, to identify potential problems in railcar operation.

• The KIPS Transactions:PartD
• /
• v.9D no.1
• /
• pp.65-74
• /
• 2002

This paper focuses components interactions which is important factor in designing software components. We classified several types of interaction between components and suggested appropriate graphical notation to extend UML and design process with extended method. Suggested notation and process was verified by practical experiment which is performed in travel agent component application. Representing interaction between components is not same to representing association between classes. UML in current version needs to be extended for representing this kind of components interaction. This research covers UML extension for components interaction and experiment for showing effectiveness.

• Journal of the Korea Institute of Military Science and Technology
• /
• v.10 no.1
• /
• pp.55-69
• /
• 2007

The paper provides the approach to apply formal methods to the development and certification criteria of defense safety/security-critical software. RTCA/DO-178B is recognized as a do facto international standard for airworthiness certification but lack of concrete activities and vagueness of verification/certification criteria have been criticized. In the case of MoD Def Stan 00-55, the guidelines based on formal methods are concrete enough and structured for the defense safety-related software. Also Common Criteria Evaluation Assurance Level includes the strict requirements of formal methods for the certification of high-level security software. By analyzing the problems of DO-178B and comparing it with MoD Def Stan 00-55 and Common Criteria, we identity the important issues In safety and security space. And considering the identified issues, we carry out merging of DO-178B and CC EAL7 on the basis of formal methods. Also the actual case studies for formal methods applications are shown with respect to the verification and reuse of software components.

• Journal of Korea Society of Digital Industry and Information Management
• /
• v.7 no.3
• /
• pp.37-42
• /
• 2011

Nowadays software developers are moving from conventional software process technologies to the object-oriented paradigm. To develope the object-oriented softwares efficiently, various software metrics have been suggested. Coupling refers to the degree of independence between components of the system. It has long been well known that good software practice calls for minimizing coupling interaction. Many researches have been studied coupling metrics of the object- oriented systems. We review Chidamber and Kemerer's work & Li's work. In this paper, we study the coupling of the overall structures of object-oriented systems by analyzing the class diagram of UML. We propose four coupling metrics for object-oriented softwares. First, we use an established coupling metric for object- oriented systems as a basic coupling metric. Then we modify the basic coupling metric by including indirect coupling between classes, We also suggest two relative coupling metrics to measure coupling between subsystems. We investigate the theoretical soundness of the proposed metrics by the axioms of Briand et al. Finally, we apply the presented metrics to a practical case study. This coupling metric will be helpful to the software developers for their designing tasks by evaluating the coupling metric of the structures of object-oriented system and redesigning tasks of the system.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.22 no.1
• /
• pp.87-93
• /
• 2021

As the portion of modern weapons systems equipped with electronic components increases, the presence of embedded software has also increased, subsequently drawing interest in quality management and development methods. Unlike mechanical systems, software is logically intangible, hard to troubleshoot, and hard to reuse, making it hard to utilize limited resources when exposed to failures. The United States had successful results in establishing the Capability Maturity Model (CMM) by studying and applying separate processes for development and quality management of defense software. South Korea has also established, and utilizes, a standard of development and quality management for defense software based on international standards. However, some say those standards still remain at a basic level, and should be modified along with the progress in software. If the standard stays at a basic level, compared to software progression, the cost to reuse and restore resources will increase exponentially. This paper discusses improvement in the test processes for defense software through the Test Maturity Model-integration (TMMi)-derived from the CMM-and presents a blueprint for defense software quality management.

• Journal of KIISE:Software and Applications
• /
• v.31 no.8
• /
• pp.1027-1042
• /
• 2004

A Software Component is a module that is reused among a lot of projects, systems, and companies rather than a single application. Components can be reused in various systems if they provide not only the common functionalities required in many applications but also the diverse aspects to be customized for being suitable for customers' demands. From the development phase, components should be designed and developed considering the variable aspects they have for convenient customization. Easily customized components can be frequently reused in lots of applications. In the literature, there are some modeling and customizing techniques. But they suggested only conceptual or basic methods based on Object-Oriented. And the practical instructions for reusing component were not provided sufficiently. Moreover, there are few techniques that consider the proper variability types components have. Thus, those techniques are not appropriate for applying to black box component completely developed and released. In this paper, we classify variabilities that components have in functional aspect into two categories. The one is logic variability, and the other is workflow variability. For each classified variability, we propose the three kind of modeling techniques, which are selection, plug in and externalization. Also detailed instructions for practical design and application are provided.

• Architectural research
• /
• v.13 no.3
• /
• pp.11-18
• /
• 2011

With the rapid development of computer technology and ongoing destruction of traditional buildings, more and more attention is paid to digital methods for the design and preservation of traditional buildings. Unlike 2D methods, Building Information Modeling (BIM) provides an object-oriented and parametric digital representation way for traditional building components. However, one of the main limitations currently is that parametric information cannot be exchanged between BIM software packages. Therefore each kind of software must have their own parametric library which causes extensive works. In this research, the authors developed an open BIM-based library using an XML parametric approach to solve the above problems, represented traditional components according to an XML schema, and parametrically implemented these XML files in a browser which can be accessed by users for their easy component edit and selection. And then based on the XML file of one component, implemented an Add-on in ArchiCAD for users to parametrically edit and directly utilize. Thus based on these XML files, a browser for users' view and selection purpose and an add-on for users' application purpose were developed. Future research will focus on implementing these XML files in other BIM tools like Revit and Digital Project. If the whole library was to be completed based on this XML approach, an open BIM-based library would be established that all kinds of BIM software users could apply this parametric library for easy modeling of traditional houses.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.34 no.3A
• /
• pp.185-196
• /
• 2009

SCA is proposed in order to operate various wireless systems in the single terminal platforms and uses the CORBA middleware to guarantee the platform-independence for software components. As the reconstruction demand is expanded in the software component to the logic level to many reasons, CORBA has to guarantee the independence of hardware on board. Accordingly. the characteristics depending on hardware board is ed. And the IDL-based interworking interface about the component has to be provided. In this paper, we described about local transport for guaranteeing the independency on the hardware board and the HAO Core for providing a coupling by the CORBA IDL identically with the other component. HAO produced at 2,900 logic cell size in average and provided the performance of the tens times than the software component. Through the use of HAO in the SCA-based development environment, it was naturally expanded to not only the software area but also the FPGA logic.