Control and Automation, and Energy System Engineering: International Conferences, CA and CES3 2011, Held as Part of the Future Generation Information ... in Computer and Information Science, 256)

This book comprises selected papers of the International Conferences, CA and CES3 2011, held as Part of the Future Generation Information Technology Conference, FGIT 2011, in Conjunction with GDC 2011, Jeju Island, Korea, in December 2011. The papers presented were carefully reviewed and selected from numerous submissions and focuse on the various aspects of control and automation, and circuits, control, communication, electricity, electronics, energy, system, signal and simulation. Title Foreword Preface Organization Table of Contents Fuzzy Logic System Based Obstacle Avoidance for a Mobile Robot Introduction Architecture of Mobile Robot System Fuzzy Controller Design Determination of Input Variables and Output Variables Fuzzification Development of Fuzzy Rules Defuzzification Simulation and Experiment Conclusion References Solving the Generalized Steiner Problem in Edge-Survivable Networks Introduction Problem Formalization The GRASP Metaheuristic Construction Phase Algorithm Local Search Phase Algorithms GRASP Algorithm Description Performance Tests Conclusion References A Note on Practically Output Tracking Control of Nonlinear Systems That May Not Be Linearizable at the Origin Introduction Main Result Proof of the Main Result Conclusions References Analysis of Non-linear Adaptive Friction and Pitch Angle Control of Small-Scaled Wind Turbine System Introduction Introduction to Small-Scaled Wind Turbine System Adaptive Control of Axis Friction Simulation and Analysis Results and Discussion Conclusion References A High Accuracy Method for Rapid Measurement of Resulted Code Pattern Radial Runout of Rotary Optical Encoder Disc Introduction Error Sources of Code Pattern Radial Runout and Method to Reduce It Design of Purposed Instrument Measurement of Phase Jitter Accuracy of Determination Analysis Conclusion References Design of Genetic Algorithm-Based Parking System for an Autonomous Vehicle Introduction Autonomous Vehicle and Moving Trajectories Design of GA-Based Parking System Simulation Results Conclusions References A Model of Hierarchically Consistent Control of Nonlinear Dynamical Systems Introduction A Framework for Hierarchical Control Design and Synthesis of Hierarchical Control System Conclusions References Characteristics Analysis of the Motor Block Lattice Resistor of a High Speed Train by Structure Improvement Introduction Motor Block Lattice Resistor Structure of the Propulsion System of a High Speed Train Structure and Role of the Motor Block Lattice Resistor Suggested Lattice Resistor Simulation Results and Analysis Calculation of the Increase in the Temperature of a Lattice Resistor Thermal Energy Distribution in a Lattice Resistor Experiment Results and Analysis Results of the Temperature Increase Experiment Field Test Results Conclusion References Structure Vibration Analysis and Active Noise Control of a Power Transformer by Mobility Measurement Introduction Power Transformer Structure Vibration Analysis and ANC Algorithm FEM on ANSYS Filtered-X LMS Algorithm ANC System Configuration and Transformer Noise Analysis ANC System Configuration Simulation Test Measurement and Analysis Field Experiment Measurement and Analysis Conclusion References Estimation of Deterioration Degree in Overhead Transmission Lines by Tension Load Analysis Introduction Structure and Experiment Method of an ACSR Structure and Corrosion of ACSR Experiment Method Experiment Method for the Specimens Affected by Forest Fire Experiment Results and Analysis Temperature Test Results Analysis Mechanical Characteristics and Analysis Tension Load Analysis and Deterioration Estimation for the Specimen Affected by Forest Fire Conclusion References Structural and Electrical Properties of High Temperature Polycrystalline Silicon Films on Molybdenum Substrate Introduction Experiments Results and Discussion Conclusion References An Improved Method for High-Precision Measurement Using Recursive WLS Introduction Nonlinearity Error Modeling in Heterodyne Laser Interferometer Nonlinearity Compensation Based on Recursive Weighted Least Squares Simulation results Conclusion References Formal Verification of DEV&DESS Formalism Using Symbolic Model Checker HyTech Introduction Background DEV&DESS Formalism HyTech and Linear Hybrid Automata Hybrid System Modeling Verification Using HyTech Further Considerations on the Translation from DEV&DESS into Linear Hybrid Automata Conclusion References DVML: DEVS-Based Visual Modeling Language for Hybrid Systems Introduction DEVS-Based Visual Modeling Language (DVML) Basic Model Diagram (BMD) BMD Example Coupled Model Diagram (CMD) CMD Example DVML-Based Modeling Environment Conclusions and Future Work References Fast Discovery Scheme Using DHT-Like Overlay Network for a Large-Scale DDS Introduction Related Works Fast Discovery Scheme Network Model and Message Delivery Discovery Process Message Formats Failure Recovery Performance Evaluations Simulation Result Conclusion References Approach to Generating Monitoring Code toward Advanced Self-healing Introduction Related Work Layered Software Architecture for Self-healing Component Autonomic Failure Detection Algorithm Approach Architecture for Generating Resource Monitor Problem Detection Algorithm Self-healing Components Including Resource Monitor Implementation and Evaluation Normal Case and Abnormal Case Objective of Evaluation and Results Conclusion References Layer-3 Emulator Design for Efficient Protocol Debugging and Validation Introduction Emulator Design Experiments Conclusion and Future Work References A Schema Digest Based Metadata Encapsulation Architecture with Shared String Tables Introduction EXI Encoding Method The Proposed Metadata Encapsulation Scheme Experimental Results Conclusion References Trusted CPS Server Discovery Mechanism in the Insecure Cloud Networks Introduction Group Based Trusted Server Management Cloud Based CPS Scenario Group Management and Trusted CPS Server Discovery Key Distribution and Group Join/Leave Protocols Code Encryption with Group Key Implementation Conclusion References Hybrid Middleware Architecture Supporting an Active Service Provisioning Introduction Hybrid Middleware Architecture Active Service Provisioning Terminal Provisioning Service Provisioning Conclusions References Performance Evaluation of Reliable Real-Time Data Distribution for UAV-aided Tactical Networks Introduction Resource-Aware CPS Networking A Trace-Driven Simulation Environment for Performance Evaluation Evaluation Results Conclusion References Multi-level Access Control for GeoContents Introduction Multi-level Access Control Multi-level Access Control Implementation Experimental Results Conclusions References Self-Managed System Development Method for Cyber-Physical Systems Introduction Self-Managed System Development Method Conclusion References DSUENHANCER: A Dynamic Update System for Resource-Constrained Software Introduction DSUEnhancer Patch Generation Patch Injection Related Work Conclusions and Future Work References Evaluation of Real-Time Characteristics for Mission Critical Systems Using Hierarchically Profiled Petri Net Introduction Hierarchically Profiled Petri Net Syntax Semantics Remarks Analysis Case Study Scenario Model Validation Conclusion References Communication Entities Discovery in Complex CPS System Introduction Background Design of Discovery Procedure PDP Message Scheduling in Bootstrapping Phase Conclusion References Key Distribution Method for Enhancing Secure Performances in Dynamic Filtering-Based Wireless Sensor Network Introduction Background Filtering Scheme Dynamic En-route Filtering Scheme (DEF) Motivation Key Distribution Method for Enhancing Secure Performances Assumptions Overview Input Factors of the Fuzzy System Simulation Evaluation Simulation Results The Conclusion and Future Work References The Application of the 0-1 Knapsack Problem to the Load-Shedding Problem in Microgrid Operation Introduction The Load-Shedding Problem and the 0-1 Knapsack Problem The Branch-and-Bound Algorithm for the 0-1 Knapsack Problem The Optimal Load-Shedding Model Represented by the 0-1 Knapsack Problem How to Estimate the Value The Case Study The Competitive Environment The Cooperative Environment Discussion Conclusion References A Load-Shedding Scheme Using Optimization for Proportional Fairness in the Islanded Microgrid Introduction Problem Definition System Efficiency Optimization Problem Proportional Fairness Optimization Conclusions References Modeling and Analysis of Jeju Power System with HVDC Using PSCAD/EMTDC Introduction Modeling Jeju Power System Using PSCAD/EMTDC Simulation Case 1 Case 2 Conclusion References Controller-Hardware-In-The Loop Simulation Based Analysis of Photovoltaic Power Generation System under Variable Conditions of Utility Introduction PV Power Generation System Voltage Source Inverter (VSI) Controller-Hardware-In-The Loop Simulation Test System Digital Signal Processor Simulation and the Results Conclusions References Dynamic Battery Modeling for Microgrid Operation Introduction Dynamic Model of Battery Parameters of Battery Identification Simulation Result Conclusion References Simulation Analysis of Microgrid Using Real Time Digital Simulator Introduction Microgrid Modeling Wind Turbine Power Generation System Modeling Photovoltaic Power Generation System Modeling ESS with an EDLC Modeling Li-ion BESS Modeling Diesel Power Generation System Modeling Simulation Results Grid-Connected Operation Mode Islanded Operation Mode Conclusion References PMSG Type Wind Power Generation System Connected with EDLC in DC-Link Introduction Modeling of the Proposed System Wind Turbine Model Electric Double Layer Capacitor Model Control Design of Power Converter Simulation Results Conclusion References Development of Operation Strategy in Jeju Smart Grid Test-Bed Electricity Market Introduction Principles of Market Design Market Participation by Demand Side Resources Categorization of Demand Side Bidding by Consortium Bidding Rules by Demand Side Resources Scaling Up Demand Side Resources to National Level Price Determination Process Settlement for Demand Side Resources Conclusion References The Design of CC2420-Based Laboratory Apparatus Monitoring System Introduction Related Work The Design of Monitoring System The Architecture of System Monitoring System Conclusion References A Case Study: Online Game Testing Using Massive Virtual Player Introduction Related Work Game Development Process Blackbox Based Online Game Testing Case Study EasyQA Case Study: WORLD FISHING (Moonlight, ) Test Results Conclusion References Characteristics Analysis of the Motor Block Lattice Resistor of a High Speed Train by Structure Improvement Introduction Motor Block Lattice Resistor Structure of the Propulsion System of a High Speed Train Structure and Role of the Motor Block Lattice Resistor Suggested Lattice Resistor Simulation Results and Analysis Calculation of the Increase in the Temperature of a Lattice Resistor Thermal Energy Distribution in a Lattice Resistor Experiment Results and Analysis Results of the Temperature Increase Experiment Field Test Results Conclusion References Estimation of Deterioration Degree in Overhead Transmission Lines by Tension Load Analysis Introduction Structure and Experiment Method of an ACSR Structure and Corrosion of ACSR Experiment Method Experiment Method for the Specimens Affected by Forest Fire Experiment Results and Analysis Temperature Test Results Analysis Mechanical Characteristics and Analysis Tension Load Analysis and Deterioration Estimation for the Specimen Affected by Forest Fire Conclusion References Structure Vibration Analysis and Active Noise Control of a Power Transformer by Mobility Measurement Introduction Power Transformer Structure Vibration Analysis and ANC Algorithm FEM on ANSYS Filtered-X LMS Algorithm ANC System Configuration and Transformer Noise Analysis ANC System Configuration Simulation Test Measurement and Analysis Field Experiment Measurement and Analysis Conclusion References Complexity Adaptive Branch Predictor for Thermal-Aware 3D Multi-core Processors Introduction Related Work Dynamic Thermal Management 3D Stacking Technique Thermal-Aware Branch Predictor Experimental Methodology Experimental Results Temperature Analysis Power Consumption Analysis Performance Analysis Conclusions References Convenient Way for Detecting Check Bits in Hamming Code Introduction Types of Errors Error Detection Redundancy Vertical Redundancy Check Longitudinal Redundancy Check Block Parity Checksum Cyclic Redundancy Check Hamming Code Conclusion References Motion Vector Refinement Algorithm for the High Definition Video Coding Rate-Distortion Optimisation Model Proposed Method Experiment Results Conclusion References Novel Low-Voltage Small-Area I/O Buffer for Mixed-Voltage Application Introduction Proposed Mixed-Voltage I/O Buffer Comparison Results Conclusion References Study for the Improvement of the Energy Storage System Efficiency Using Auto Level-Tuning Algorithm Introduction Catenary Voltage Change of DC Substation Power Supply System of DC Subway Analysis of Catenary Voltage Change of DC Substation Construction of Energy Storage System Construction of Bi-direction DC-DC Converter Construction of System Controller Early Charge Controller Power Mode Controller Charge-Discharge Auto Level Tuning Algorithm Test Test Conditions Test Waveform Conclusion References Development of Strain Sensor Using Aligned Carbon Nanotubes Introduction Experiment and Discussion Conclusion References Design of a High Voltage Acceleration Power Supply for a Neutral Beam Injection System Introduction Design of the Power Supply Conclusions References Retraction Note to: Control and Automation,and Energy System Engineering1 Author Index