• Journal of Applied Reliability
• /
• v.13 no.4
• /
• pp.229-239
• /
• 2013

This paper reports a manner to use a Bayesian approach to derive the optimal replacement policy. In order to produce a system with minimal repair warranty, a replacement model with the extended warranty is considered. Within the warranty period, the failed system is minimally repaired by the manufacturer at no cost to the end-user. The failure time is assumed to follow a Weibull distribution with unknown parameters. The expected cost rate per unit time, from the end-user's viewpoints, is induced by the Bayesian approach, and the optimal replacement policy to minimize the cost rate is proposed. Finally, a numerical example illustrating to derive the optimal replacement policy based on the Bayesian approach is described.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.10d
• /
• pp.19-21
• /
• 2002

Writing requirements in formal notation for a safety-critical system can improve software quality and reduce the errors that may arise later on in the software development life cycle. In this paper, we propose a formal specification approach used to describe the nuclear control system. The approach is based on the existing AECL approach that was the only formal specification technique applied to nuclear control systems in the past. Although the approach is AECL-based, the complex descriptions of certain requirements have been reduced by using different specification techniques. We discuss the differences and how the proposed approach provides not only specification but also verification environment.

• Journal of the Korean Society for Precision Engineering
• /
• v.16 no.9
• /
• pp.82-88
• /
• 1999

In order to execute the major role as the high density large capacity data storage device, which is one of the major characteristics of DVD(Digital Versatile Disk), there must be a method to effectively absorb the external impact or internal vibration. The DVD which has been developed until now tries to control two different types of vibrations, using only one absorber. But this goes against the independence Axiom of Axiomatic Approach which makes the design to be coupled. And in fat most of the malfunctions occurring during DVD data input/output is due to impact or vibration. Therefore in this paper, the vibration absorption system and operation reliability of DVD will be evaluated with the Axiomatic Approach and plans and feasibility to design an improved vibration absorption system will be provided also based on the Axiomatic Approach.

• ETRI Journal
• /
• v.44 no.2
• /
• pp.346-354
• /
• 2022

The SYN flooding attack is widely used in cyber attacks because it paralyzes the network by causing the system and bandwidth resources to be exhausted. This paper proposed a self-information approach for detecting the SYN flooding attack and provided a detection algorithm with a hierarchical policy on a detection time domain. Compared with other detection methods of entropy measurement, the proposed approach is more efficient in detecting the SYN flooding attack, providing low misjudgment, hierarchical detection policy, and low time complexity. Furthermore, we proposed a detection algorithm with limiting system resources. Thus, the time complexity of our approach is only (log n) with lower time complexity and misjudgment rate than other approaches. Therefore, the approach can detect the denial-of-service/distributed denial-of-service attacks and prevent SYN flooding attacks.

• Journal of Information Technology Services
• /
• v.17 no.1
• /
• pp.155-170
• /
• 2018

This study examines a data-driven approach for software test automation at an online shopping site. Online shopping sites typically change prices dynamically, offer various discounts or coupons, and provide diverse delivery and payment options such as electronic fund transfer, credit cards, mobile payments (KakaoPay, NaverPay, SyrupPay, ApplePay, SamsungPay, etc.) and so on. As a result, they have to test numerous combinations of possible customer choices continuously and repetitively. The total number of test cases is almost 584 billion. This requires somehow automation of tests in settling payments. However, the record playback approach has difficulties in maintaining automation scripts due to frequent changes and complicated component identification. In contrast, the data-driven approach minimizes changes in scripts and component identification. This study shows that the data-driven approach to test automation is more effective than the traditional record playback method. In 2014 before the test automation, the monthly average defects were 5.6 during the test and 12.5 during operation. In 2015 after the test automation, the monthly average defects were 9.4 during the test and 2.8 during operation. The comparison of live defects and detected errors during the test shows statistically significant differences before and after introducing the test automation using the data-driven approach.

• Journal of the Korean Society of Manufacturing Technology Engineers
• /
• v.24 no.5
• /
• pp.535-540
• /
• 2015

We propose an enhanced Green's function approach to predict thermal stresses by considering temperature-dependent material properties. We introduce three correction factors for the maximum stress, the time taken to reach maximum stress, and the time required to attain steady state based on the Green's function results for each temperature. The proposed approach considers temperature-dependent material properties using correction factors, which are defined as polynomial expressions with respect to temperatures based on Green's functions, that we obtain from finite-element (FE) analyses at each temperature. We verify the proposed approach by performing detailed FE analyses on thermal transients. The Green's functions predicted by the proposed approach are in good agreement with those obtained from FE analyses for all temperatures. Moreover, the thermal stresses predicted using the proposed approach are also in good agreement with the FE results, and the proposed approach provides better predictions than the conventional Green's function approach using constant, time-independent material properties.

• International Journal of Aeronautical and Space Sciences
• /
• v.12 no.1
• /
• pp.43-56
• /
• 2011

An integrated system composed of guidance, navigation and control (GNC) system for autonomous proximity operations and the docking of two spacecraft was developed. The position maneuvers were determined through the integration of the state-dependent Riccati equation formulated from nonlinear relative motion dynamics and relative navigation using rendezvous laser vision (Lidar) and a vision sensor system. In the vision sensor system, a switch between sensors was made along the approach phase in order to provide continuously effective navigation. As an extension of the rendezvous laser vision system, an automated terminal guidance scheme based on the Clohessy-Wiltshire state transition matrix was used to formulate a "V-bar hopping approach" reference trajectory. A proximity operations strategy was then adapted from the approach strategy used with the automated transfer vehicle. The attitude maneuvers, determined from a linear quadratic Gaussian-type control including quaternion based attitude estimation using star trackers or a vision sensor system, provided precise attitude control and robustness under uncertainties in the moments of inertia and external disturbances. These functions were then integrated into an autonomous GNC system that can perform proximity operations and meet all conditions for successful docking. A six-degree of freedom simulation was used to demonstrate the effectiveness of the integrated system.

• Journal of Power System Engineering
• /
• v.12 no.6
• /
• pp.50-55
• /
• 2008

In general, the swing motion of the crane is controlled and suppressed by activating the trolley motion. In many papers reported by us, we suggested a new type of anti-sway control system of the crane. In the proposed control system, a small auxiliary mass(moving-mass) is installed on the spreader and the swing motion is controlled by moving the auxiliary mass. The actuator reaction against the auxiliary mass applies inertial control forces to the container in order to reduce the swing motion in the desired manner. Futhermore the measuring systems based on image sensor have been proposed also. To obtain the robustness for our control system, $H_{\infty}$ based control techniques and other approach have been applied to suppress swing motion. As well known, the robust control technologies based on $H_{\infty}$ control need complicated and difficult process. In the result, the obtained closed-loop system becomes to high order system which may give us many difficulties to apply it to the real plants. Therefore, we introduce an easy approach which is based on LQ control theory. In this approach, we introduce the frequency dependent weighting matrices which give the system filters to shape frequency characteristics of the controlled system and guarantee the control performance.

• The Transactions of The Korean Institute of Electrical Engineers
• /
• v.60 no.4
• /
• pp.717-725
• /
• 2011

In the power system with an electric storage system that can increase utilization rate of the source of such new renewable energy, this paper introduces the approach on the daily unit commitment scheduling that determines simultaneously optimum operational condition and output of thermal generators and electric storage device. The unit commitment is one of the most important issues in economic operation and security of short-term operational plan of the power system. It is to determine on/off status of generator to minimize operational cost during the given period. The committed generator should satisfy various operational limitation such as estimated demand by system, spinning reserve condition within minimum operational cost. In order to determine on/off or charge/discharge/idle condition and output level of units and electric storage system, the MILP(Mixed Integer Linear Programming) is suggested. The proposed approach is the mixed method between LP(Linear Programming) and IP(integer programming) which seeks the value of real number and integer that maximize or minimize function objective within given condition. The daily unit commitment problem with the electric storage system is applied to MILP algorithm through linearization and formulation process. The proposed approach is applied to the test system.

• Journal of the Korean Society of Surveying, Geodesy, Photogrammetry and Cartography
• /
• v.32 no.3
• /
• pp.191-204
• /
• 2014

In recent years, multi-camera systems have been recognized as an affordable alternative for the collection of 3D spatial data from physical surfaces. The collected data can be applied for different mapping(e.g., mobile mapping and mapping inaccessible locations)or metrology applications (e.g., industrial, biomedical, and architectural). In order to fully exploit the potential accuracy of these systems and ensure successful manipulation of the involved cameras, a careful system calibration should be performed prior to the data collection procedure. The calibration of a multi-camera system is accomplished when the individual cameras are calibrated and the geometric relationships among the different system components are defined. In this paper, a new single-step approach is introduced for the calibration of a multi-camera system (i.e., individual camera calibration and estimation of the lever-arm and boresight angles among the system components). In this approach, one of the cameras is set as the reference camera and the system mounting parameters are defined relative to that reference camera. The proposed approach is easy to implement and computationally efficient. The major advantage of this method, when compared to available multi-camera system calibration approaches, is the flexibility of being applied for either directly or indirectly geo-referenced multi-camera systems. The feasibility of the proposed approach is verified through experimental results using real data collected by a newly-developed indirectly geo-referenced multi-camera system.