• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.10 no.7
• /
• pp.2892-2913
• /
• 2016

Network virtualization promises to play a dominant role in shaping the future Internet by overcoming the Internet ossification problem. However, due to the injecting of additional virtualization layers into the network architecture, several new security risks are introduced by the network virtualization. Although traditional protection mechanisms can help in virtualized environment, they are not guaranteed to be successful and may incur high security overheads. By performing the virtual network (VN) embedding in a security-aware way, the risks exposed to both the virtual and substrate networks can be minimized, and the additional techniques adopted to enhance the security of the networks can be reduced. Unfortunately, existing embedding algorithms largely ignore the widespread security risks, making their applicability in a realistic environment rather doubtful. In this paper, we attempt to address the security risks by integrating the security factors into the VN embedding. We first abstract the security requirements and the protection mechanisms as numerical concept of security demands and security levels, and the corresponding security constraints are introduced into the VN embedding. Based on the abstraction, we develop three security-risky modes to model various levels of risky conditions in the virtualized environment, aiming at enabling a more flexible VN embedding. Then, we present a mixed integer linear programming formulation for the VN embedding problem in different security-risky modes. Moreover, we design three heuristic embedding algorithms to solve this problem, which are all based on the same proposed node-ranking approach to quantify the embedding potential of each substrate node and adopt the k-shortest path algorithm to map virtual links. Simulation results demonstrate the effectiveness and efficiency of our algorithms.

• International Journal of Precision Engineering and Manufacturing
• /
• v.8 no.2
• /
• pp.26-31
• /
• 2007

A novel scanning probe measurement system was developed to enable precise profile measurements of microaspheric surfaces. An air-bearing stylus with a microprobe was used to perform the surface profile scanning. The new system worked in a contact mode and had the capability of measuring micro-aspheric surfaces with large tilt angles and complex profiles. Due to limitations resulting from the contact mode, such as possible damage caused by the contact force and lateral resolution restrictions from the curvature of the probe tip, several system improvements were implemented. An air bearing was used to suspend the shaft of the probe to reduce the contact force, enabling fine adjustments of the contact force by changing the air pressure. The movement of the shaft was measured by a linear encoder with a scale attached to the actual shaft to avoid Abbe errors. A $50-{\mu}m-diameter$ glass sphere was bonded to the tip of the probe to improve the lateral resolution of the system. The maximum contact force of the probe was 10 mN. The shaft was capable of holding the probe continuously if the contact force was less than 40 mN, and the resolution of the probe could be as high as 10 nm, The performance of the new scanning probe measurement system was verified by experimental data.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.41 no.8
• /
• pp.729-736
• /
• 2017

In this study, the physics-based model and machine learning technique were used to conduct model-assisted probability of detection (MAPOD) experiments. The possibility of using in-service cracked parts was also investigated. Bolt hole shaped specimens with fatigue crack on the hole surface were inspected using eddy current inspection. Owing to MAPOD, the number of experimental factors decreased significantly. The uncertainty in the crack length measurement for in-service cracked parts was considered by the application of Monte Carlo simulation.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.11 no.8
• /
• pp.3862-3888
• /
• 2017

In high diversity node situation, single-channel MAC protocols suffer from many collisions. To solve this problem, the research of multichannel MAC protocol has become a hotspot. And the cyclic quorum-based multichannel (CQM) MAC protocol outperformed others owing to its high frequency utilization. In addition, it can avoid the bottleneck that others suffered from and can be easily realized with only one transceiver. To obtain the accurate performance of CQM MAC protocol, a Markov chain model, which combines the channel hopping strategy of CQM protocol and IEEE 802.11 distributed coordination function (DCF), is proposed. The metrics (throughput and average packet transmission delay) are calculated in performance analysis, with respect to node number, packet rate, channel slot length and channel number. The results of numerical analysis show that the optimal performance of CQM protocol can be obtained in saturation bound situation. And then we obtain the saturation bound of CQM system by bird swarm algorithm (BSA). Finally, the Markov chain model and saturation bound are verified by Qualnet platform. And the simulation results show that the analytic and simulation results match very well.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.44 no.3
• /
• pp.39-49
• /
• 2021

The Korean Air-Force aircraft maintenance depot paints the exterior of various aircraft, including high-tech fighters. Aircraft exterior painting is a maintenance process for long-term life management by preventing damage to the aircraft surface due to corrosion. The de-painting process is essential to ensure the quality of aircraft exterior paints. However, because the Korean Air-Force's de-painting process is currently done with sanding or Plastic Media Blasting (PMB) method, it is exposed to harmful dust and harmful compounds and consumes a lot of manpower. This study compares the de-painting process currently applied by the ROK Air-Force and the more improved process of the US Air Force, and performs economic analysis for the introduction of advanced equipment. It aims to provide information that can determine the optimal time to introduce new facilities through Cost-Volume-Profit (CVP) analysis. As a result of the analysis, it was confirmed that the sanding method had the most economical efficiency up to 2 units per year, the PMB method from 3 to 21 units, and the laser method from 22 units or more. In addition, in a situation where the amount of de-painting work is expected to increase significantly due to the increase in fighters in future, BEP analysis was conducted on the expansion of the existing PMB method and the introduction of a new laser method. As a result of the analysis, it was confirmed that it is more economical to introduce the laser method when the amount of work exceeds the PMB work capacity(18 units per year). The paper would helpful to improve the productivity and quality of the Korean Air Force Aircraft maintenance depot through timely changes of facilities in the workplace in preparation for expansion.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.43 no.4
• /
• pp.116-122
• /
• 2020

Human and material resource planning is one representative example of Operations Research. Resource planning is important not only in civilian settings but also in military ones. In the Air Force, flight scheduling is one of the primary issues that must be addressed by the personnel who are connected to flight missions. However, although the topic is of great importance, relatively few studies have attempted to resolve the problem on a scientific basis. Each flight squadron has its own scheduling officers who manually draw up the flight schedules each day. While mistakes may not occur while drafting schedules, officers may experience difficulties in systematically adjusting to them. To increase efficiency in this context, this study proposes a mathematical model based on a binary variable. This model automatically drafts flight schedules considering pilot's mission efficiency. Furthermore, it also recommends that schedules be drawn up monthly and updated weekly, rather than being drafted from scratch each day. This will enable easier control when taking the various relevant factors into account. The model incorporates several parameters, such as matching of the main pilots and co-pilots, turn around time, availability of pilots and aircraft, monthly requirements of each flight mission, and maximum/minimum number of sorties that would be flown per week. The optimal solution to this model demonstrated an average improvement of nearly 47% compared with other feasible solutions.

• The Transactions of the Korean Institute of Electrical Engineers B
• /
• v.50 no.1
• /
• pp.1-9
• /
• 2001

In this paper, the general research on the analysis of the vibration due to magnetic exciting force in the small brushless DC(BLDC) motor, which is used in the Digital Versatile Disk(DVD) ROM driving system, is performed. The first part of the study is the analysis of the magnetic exciting force in the air gap region. As a verification of the exciting force by numerical analysis, the magnetic exciting force distribution in the air gap region is computed by using Reluctance Network Method(RNM). In addition, the effect of the eccentricity on the magnetic exciting force is discussed. The other part of the research is the structural analysis of the rotor structure of the BLDC motor. The matural mode analysis of the rotor structure is performed, and the vibration response due to magnetic exciting force is found. As a result of the procedures, the basic estimation of the effect of the magnetic exciting force on the vibration of BLDC motor is suggested.

• Journal of the Korean Solar Energy Society
• /
• v.24 no.2
• /
• pp.33-38
• /
• 2004

Outside wall systems we lost much energy from the dew of thermal bridge and unsuitable adiabatic construction. The air vent wall system can make reduce cooling loads from the outside wall in summer. The basic concept is connected with buoyant force by the difference of density. An external surface of a wall absorbs solar radiation, and transfers it to the air in the cavity. The warmed air gets buoyant force. So the warmed air is released through the top opening and cooler outside air replaces the space in the cavity. So because of the cavity and the openings, the cooling load reduction by natural ventilation is believed to be considerable. The purpose of this study is finding optimal length of air cavity by numerical analyses.

• Proceedings of the Korean Society of Tribologists and Lubrication Engineers Conference
• /
• 2002.10b
• /
• pp.57-58
• /
• 2002

Asperity arrays and Independent asperities were fabricated on a silicon plate. Then pull-off and friction forces were measured on each asperity pattern by using AFM (atomic force microscope) in humid air and high vacuum of $2{\times}10^{-5}$ Pa. The probe of AFM cantilever has a flat square of about $1\;{\mu}m^2$ on its tip. The results showed that the pull-off force was proportional to the curvature radius of asperity peak in each ambient condition. The friction force was proportional to the pull-off force and was slightly higher in the humid air than in the high vacuum.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 2003.06a
• /
• pp.459-462
• /
• 2003

This paper presents a force model of the clean tube system, which was developed as a means for transferring the air-floated wafers inside the closed tube filled with the super clean air. The recovering force from the holes for floating wafers is modeled as a linear spring and thus the wafer motion is modeled as a mass-spring-damper system. The propelling forces are modeled as linear along with the wafer location. The paper also proposes the control method to emit and stop a wafer at the center of a control unit. It shows the minimum value of the propelling force to leave from the control unit. In order to stop the wafer, it utilizes the exact time when a wafer arrives at the position to activate the propelling force. Experiments with the clean tube system built for 12 inch wafer shows the validity of the proposed model and the algorithm.