• Proceedings of the KSRS Conference
• /
• 2002.10a
• /
• pp.400-406
• /
• 2002

Recently, the enormous increase in the volume of remotely sensed data is being acquired by an ever-growing number of earth observation satellites. The combining of diversely sourced imagery together is an important requirement in many applications such as data fusion, city modeling and object recognition. Aerial triangulation is a procedure to reconstruct object space from imagery. However, since the different kinds of imagery have their own sensor model, characteristics, and resolution, the previous approach in aerial triangulation (or georeferencing) is performed on a sensor model separately. This study evaluated the advantages of aerial triangulation of large number of images from multi-sensors simultaneously. The incorporated multi-sensors are frame, push broom, and whisky broom cameras. The limits and problems of push-broom or whisky broom sensor models can be compensated by combined triangulation with frame imagery and vise versa. The reconstructed object space from multi-sensor triangulation is more accurate than that from a single model. Experiments conducted in this study show the more accurately reconstructed object space from multi-sensor triangulation.

• The Journal of the Korea Contents Association
• /
• v.10 no.6
• /
• pp.156-165
• /
• 2010

ESM(Enterprise Security Management) is representing domestic security management, and there is requirement to enhance it. This paper will evaluate quality of ESM products, understand its quality level, and derive method to improvement so as to develop security evaluation model and test methodology which can support quality enhancement. In addition, it presented the performance test cases and evaluation method to measure product's security quality, and to perform research on the judgement method for the results based on appropriate criteria. Developed quality evaluation model is expected perform important role in evaluating and enhancing the quality of intrusion prevention system.

• Journal of the Korean Society of Systems Engineering
• /
• v.11 no.1
• /
• pp.1-7
• /
• 2015

The purpose of this paper is to present the results of reengineering of the YGN 3&4 (Yonggwang Nuclear Power Plant, Units 3&4) SDS (Safety Depressurization System) retrofit design and to make recommendations for the improvement in design and design procedure implementing the Systems Engineering (SE) process. YGN 3&4 is a basic model for OPR1000 (the Korean standard 1000 MWe plant). The basic model, herein, represents the reference plant for the OPR1000 development. In the middle of the YGN 3&4 construction, the Korean Nuclear Regulatory Body requested a retrofit of this plant with a means to rapidly depressurize the plant in conformance with a severe accident mitigation requirement. For the reengineering of the SDS in YGN 3&4, V-model and functional and physical architectures have been developed. A SE decision making method has been used for the selection of SDS valves. Finally, recommendations have been made to improve OPR1000 design for the improved operation and enhanced safety.

• Journal of Korea Multimedia Society
• /
• v.3 no.1
• /
• pp.77-90
• /
• 2000

Real-Time verification is a procedure that verifies the correctness of specification related to requirement in time as well as in logic. One serious problem encountered in the verification task is that the state space grows exponentially owing to the unboundedness of time, which is termed the state space explosion problem. In this paper, we propose a real-time verification technique checking the correctness of specification by showing that a system model described in timed automata is equivalent to the characteristic of system property specified in timed modal-mu calculus. For this, we propose a local model checking method based on the value of the formula in initial state with constructing product graph concerned to only the nodes needed for verification process. Since this method does not search for every state of system model, the state space is reduced drastically so that the proposed method can be applied effectively to real-time system verification.

• Transactions of the Korean Society for Noise and Vibration Engineering
• /
• v.14 no.11
• /
• pp.1129-1136
• /
• 2004

The structural modification to install a heavy sensor was made at the front extremities of the foreign-produced helicopter operated in the Korea Navy Mounting the sensor directly to the nose structure is unlikely to be practical because it lowers a dynamic mode of the airframe close to rotor blade passing frequencies, leading to increased helicopter vibration. Unfortunately we have no information on dynamic characteristics of the imported helicopter. So the experimental modal model derived from shake testing on the overall airframe of a working helicopter was used to solve the sensor Installation problems. The sensitivity analysis was done to evaluate what the best of modification woo)d be. Simple ID model and experimental modal data for mount system with sensor were Incorporated into overall dynamic model to assess the effects of the sensor installation on helicopter. Modal testing for the modified helicopter shows that the airframe modes are sufficiently displaced from rotor passing frequencies. The mount system has been proven fight to be sufficiently stable to meet vibration-level requirement for all required operational profiles.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.14 no.8
• /
• pp.3328-3349
• /
• 2020

With rapid development of ubiquitous computing and location-based services (LBSs), human trajectory data and associated activities are increasingly easily recorded. Inappropriately publishing trajectory data may leak users' privacy. Therefore, we study publishing trajectory data while preserving privacy, denoted privacy-preserving activity trajectories publishing (PPATP). We propose S-PPATP to solve this problem. S-PPATP comprises three steps: modeling, algorithm design and algorithm adjustment. During modeling, two user models describe users' behaviors: one based on a Markov chain and the other based on the hidden Markov model. We assume a potential adversary who intends to infer users' privacy, defined as a set of sensitive information. An adversary model is then proposed to define the adversary's background knowledge and inference method. Additionally, privacy requirements and a data quality metric are defined for assessment. During algorithm design, we propose two publishing algorithms corresponding to the user models and prove that both algorithms satisfy the privacy requirement. Then, we perform a comparative analysis on utility, efficiency and speedup techniques. Finally, we evaluate our algorithms through experiments on several datasets. The experiment results verify that our proposed algorithms preserve users' privay. We also test utility and discuss the privacy-utility tradeoff that real-world data publishers may face.

• Journal of Digital Contents Society
• /
• v.17 no.4
• /
• pp.235-241
• /
• 2016

EPG (Electronic Program Guide), which was born with the development of digital broadcasting technology, is becoming a successful data service in the environment that a digital broadcasting station operates more than one hundred channels. In the circumstance, the request for the development or renewal of EPG frequently occurs and so the developers are looking for ways to improve the efficiency of the EPG development. This paper addresses the need of the developers by devising an EPG feature model based on FODA and the test-cases for each feature of the model. Utilizing the EPG feature model and the test-cases, the EPG development process, especially the phases of requirement analysing and test-case designing can be improved.

• Journal of Korean Society for Quality Management
• /
• v.40 no.3
• /
• pp.286-294
• /
• 2012

Purpose: In this study, we propose the ESS process model which, in order to improve reliability of electronic equipment, can be referenced in both development and production phases. Methods: ESS guidelines such as MIL handbooks or private sector ESS guidelines are used for devising the proposed ESS model. Especially, proposed model is customized by using those references in order to be optimized in the domestic development and production phases. Results: ESS-related-requirements which is specified in the Technical Data Package(TDP) for the area of guided missile systems are analyzed. Current status of the requirement and screening strength are analyzed for those systems to show what kind of weak points should be improved. Conclusion: A ESS guideline which is applicable to the domestic weapon acquisition environment is proposed. As such, the necessity and detail guidelines of the proposed model are explained.

• Journal of KSNVE
• /
• v.9 no.1
• /
• pp.163-173
• /
• 1999

Precise and reasonable modelling is necessary and indispensable to the analysis of dynamic characteristics of mechanical structures. Also. the effective prediction of the change of modal properties due to the variation of design parameters is required especially for the application of finite element method to the structural dynamics problems. To meet those necessity and requirement, three model updating algorithms are proposed for finite element methods. Those algorithms are based on sensitivity analysis of the modal data obtained from experimental modal analysis(EMA) and analytical modal analysis(AMA). The adapted sensitivity analysis methods of the algorithms are 1)eigensensitivity(EGNS) method. 2)frequency response function sensitivity(FRFS) method. 3)sensitivity based element-by-element method (SBEEM), Singular value decomposition(SVD) is used for performing eigenanalysis and parameter estimation in the updating process. Those algorithms are applied to finite element of a plate and the updating capability of each algorithm is compared in terms of accuracy. reliability and stability of the updating process. It is shown that the model updating method using frequency response function is superior to the other methods in view of various updating capabilities.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.29 no.9 s.240
• /
• pp.1243-1252
• /
• 2005

A current trend of design methodologies is to make engineers objectify or automate the decision-making process. Numerical optimization is an example of such technologies. However, in numerical optimization, the uncertainties are uncontrollable to efficiently objectify or automate the process. To better manage these uncertainties, the Taguchi method, reliability-based optimization and robust optimization are being used. To obtain the target performance with the maximum robustness is the main functional requirement of a mechanical system. In this research, a design procedure for global robust optimization is developed based on the kriging and global optimization approaches. The DACE modeling, known as the one of Kriging interpolation, is introduced to obtain the surrogate approximation model of the function. Robustness is determined by the DACE model to reduce real function calculations. The simulated annealing algorithm of global optimization methods is adopted to determine the global robust design of a surrogated model. As the postprocess, the first order second-moment approximation method is applied to refine the robust optimum. The mathematical problems and the MEMS design problem are investigated to show the validity of the proposed method.