• ETRI Journal
• /
• v.37 no.1
• /
• pp.186-196
• /
• 2015

In resource-constrained, low-cost, radio-frequency identification (RFID) sensor-based mobile ad hoc networks (MANETs), ensuring security without performance degradation is a major challenge. This paper introduces a novel combination of steps in lightweight protocol integration to provide a secure network for RFID sensor-based MANETs using error-correcting codes (ECCs). The proposed scheme chooses a quasi-cyclic ECC. Key pairs are generated using the ECC for establishing a secure message communication. Probability analysis shows that code-based identification; key generation; and authentication and trust management schemes protect the network from Sybil, eclipse, and de-synchronization attacks. A lightweight model for the proposed sequence of steps is designed and analyzed using an Alloy analyzer. Results show that selection processes with ten nodes and five subgroup controllers identify attacks in only a few milliseconds. Margrave policy analysis shows that there is no conflict among the roles of network members.

• Steel and Composite Structures
• /
• v.26 no.2
• /
• pp.151-161
• /
• 2018

The application of carbon fiber reinforced polymer (CFRP) composites for rehabilitation of steel structures has become vital in recent years. This paper presents an experimental program and a finite element (FE) modelling approach to study the effectiveness of CFRP patch for repair of notch damaged circular hollow sectional (CHS) steel beams. The proposed modeling approach is unique because it takes into account the orthotropic behavior and stacking sequence of composite materials. Parametric study was conducted to investigate the effect of initial damage (i.e., notch depth) on flexural performance of the notched beams and effectiveness of the repair system using the validated FE models. Results demonstrated the ability of CFRP patch to repair notched CHS steel beams, restoring them to their original flexural stiffness and strength. The effect of composite patch repair technique on post-elastic stiffness was more pronounced compared to the elastic stiffness. Composite patch repair becomes more effective when the level of initial damage of beam increases.

• Journal of The Korean Astronomical Society
• /
• v.38 no.2
• /
• pp.319-324
• /
• 2005

To date, more than 150 exo-solar planets have been observed by various methods such as spectroscopic, photometric, astrometric, gravitational lensing, pulsar timing methods. However, all these are indirect methods; they do not directly image the planets. Only free-floating planets or their 'ana-log' have been directly detected so far. Thus the next milestone is the direct imaging of any kinds of planetary mass objects orbiting around normal (young) stars, which might have been associated with protoplanetary disks, the sites of planet formation. I will describe some SUBARU efforts to detect self-luminous young giant planets as companions as well as direct imaging of the protoplanetary disks of ${\~}$100 AU size. The results of near-infrared coronagraphic imaging with adaptive optics are briefly presented on AB Aur, HD 142527, T Tau, and DH Tau. Our results demonstrate the importance of high-resolution (${\~}$0.1 arcsec) direct imaging over indirect observations such as modeling based on spectral energy distributions. The SUBARU observations are a prelude to ALMA from the morphological point of view.

• Journal of the Korean Society for Precision Engineering
• /
• v.23 no.11 s.188
• /
• pp.68-77
• /
• 2006

Nowadays, the increasing global competition forces automobile manufacturer to increase quality and to reduce the cost and time for manufacturing planning. To solve these problems, automobile manufacturers try to apply digital manufacturing technologies. In this paper, a concept of method for planning the digital assembly system is proposed. Based on the requirements of assembly tasks obtained through product analysis, the function and sequence modeling for assembly process is executed using the IDEF0 and UML model. For implementation of digital assembly system, the selected components are modeled by using 3D CAD tools. According to the system configuration strategy, lots of the alternative solutions for the assembly system are generated. Finally, the optimal assembly system is chosen by the evaluation of the alternative solutions with TOPSIS(Technique for Order Preference by Similarity to Ideal Solution) method. According to proposed procedure, digital laser welding system is implemented in DELMIA.

• Journal of the Korean Society of Manufacturing Technology Engineers
• /
• v.23 no.1
• /
• pp.38-47
• /
• 2014

This paper describes the application of discrete event systems theory to the design of an automated laboratory system. Current automated laboratory systems typically consist of several interacting processes that must be carefully sequenced to avoid any possible process conflicts. Discrete Event Systems (DES) theory and Supervisory Control Theory (SCT) can be applied together as effective methods of modeling the system dynamics and designing supervisory controllers to precisely sequence the many processes that such systems might involve. Classical approaches to supervisory controller design tend to result in complex controller structures that are difficult to implement, maintain, and upgrade. In this paper, a new approach to designing supervisory controllers for automated laboratory systems is introduced. This new approach uses a modular controller structure that is easier to implement, maintain, and upgrade, and deals with "state explosion" issues in a novel and efficient way.

• Journal of the Korean Operations Research and Management Science Society
• /
• v.13 no.2
• /
• pp.163-163
• /
• 1988

This research shows that fuzzy set theory can be useful in modeling and solving flow shop scheduling problems with uncertain processing times and illustrates a method for solving job sequencing problem which the opinions of experts disagree in each processing time. In this study, FCDS (Fuzzified Campbell-Dudek-Smith) algorithm and FNEH (Fuzzified Nawaz-Enscope-Ham) algorithm are proposed to improve the fuzzified Branch & Bound algorithm that requires long run-time and computational complexities to find the optimal sequence. These proposed algorithms are also designed to treat opinions of experts. In this paper, Fuzzy processing times are expressed as triangular fuzzy numbers and comparison method use Lee-Li method and ranking method based on the dominance property. On the basis of the proposed method, an example is presented.

• Journal of the Korean Society of Safety
• /
• v.17 no.1
• /
• pp.39-44
• /
• 2002

This paper shows error in the polarization direction on ultrasonic transducers how sensitive the shear ultrasonic waves are to a little misoriented plies according to the angle variation of shear ultrasonic waves $0{\circ},\;45{\circ}$ and $90{\circ}$. Also, it is shown that shear waves, particularly the transmission mode with the transmitter and receiver perpendicular to cach other, have high sensitivity for detecting anomalies in fiber orientation and ply layup sequence that may occur in the manufacturing of composite laminates. Experimental results are agreed with a modeling solutions which was based on decomposition of shear wave polarization vector as it propagates through the composite laminates. This wave appeared considerably to be sensitive to CFRP composites to thickness direction along in-plane fibers.

• Korean Management Science Review
• /
• v.34 no.1
• /
• pp.47-56
• /
• 2017

We focus on the Real time Fire Scheduling Problem (RFSP), the problem of determining the sequence of targets to be fired at, for the objective of minimizing threatening probability to achieve tactical goals. In this paper, we assume that there are m available weapons to fire at n targets (> m) and the weapons are already allocated to targets. One weapon or multiple weapons can fire at one target and these fire operations should start simultaneously while the finish time of them may be different. We suggest mathematical modeling for RFSP and several heuristic algorithms. Computational experiments are performed on randomly generated test problems and results show that the suggested algorithms outperform the firing method which is generally adopted in the field artillery.

• BMB Reports
• /
• v.37 no.1
• /
• pp.28-34
• /
• 2004

The discovery of biochemical and cellular functions of unannotated gene products begins with a database search of proteins with structure/sequence homologues based on known genes. Very recently, a number of frontier groups in structural biology proposed a new paradigm to predict biological functions of an unknown protein on the basis of its three-dimensional structure on a genomic scale. Structural proteomics (genomics), a research area for structure-based functional discovery, aims to complete the protein-folding universe of all gene products in a cell. It would lead us to a complete understanding of a living organism from protein structure. Two major complementary experimental techniques, X-ray crystallography and NMR spectroscopy, combined with recently developed high throughput methods have played a central role in structural proteomics research; however, an integration of these methodologies together with comparative modeling and electron microscopy would speed up the goal for completing a full dictionary of protein folding space in the near future.

• Industrial Engineering and Management Systems
• /
• v.3 no.2
• /
• pp.123-128
• /
• 2004

A tree structure model has been proposed for representing the unequal-area facility layout. Each facility has a different rectangular shape specified by its area and aspect ratio. In this layout problem, based on the assumption that the shop floor has enough space for laying out the facilities, no constraint is considered for a shop floor. Objectives are minimizing total part movement between facilities and total rectangular layout area where all facilities and dead spaces are enclosed. Using the genetic code corresponding to two kinds of information, facility sequence and branching positions in the tree structure model, a genetic algorithm has been applied for finding non-dominated solutions in the two-objective layout problem. We use three kinds of crossover (PMX, OX, CX) for the former part of the chromosome and one-point crossover for the latter part. Two kinds of layout problems have been tested by the proposed method. The results demonstrate that the presented algorithm is able to find good solutions in enough short time.