Artificial Intelligence and Computational Intelligence: Third International Conference, AICI 2011, Taiyuan, China, September 24-25, 2011, Proceedings, Part I

Front Matter....Pages -
QP Based Framework for Development and Formal Verification of Flight Control Software of UAV....Pages 1-8
A Matching Method between Music Scores and Performance Data in a Realtime Person-Computer Ensemble System....Pages 9-17
Ship Water Fire-Fighting System Survivability Simulation Based on Intelligent Reconfiguration Arithmetic....Pages 18-26
Maximum Likelihood Estimation of Double Alternative Step-Stress Accelerated Life Test for Electronics....Pages 27-34
Prediction of Grain Yield Using SIGA-BP Neural Network....Pages 35-42
Identification of Friction Parameters Based on Genetic Algorithm in Servo Control System....Pages 43-50
Modeling of Water Dynamics on Soil in Water Storage Pit Irrigation....Pages 51-58
Maneuvering Target Tracking Based on Swarm Intelligent Unscented Particle Filtering....Pages 59-65
The Bounded Rationality Model-Based Game Intelligent Decision-Making Method....Pages 66-73
Fault Diagnosis of Turbine Unit Equipment Based on Data Fusion and RBF Neural Network....Pages 74-81
Design of Taxi Vehicle Monitoring System Based on GPS/GPRS....Pages 82-88
Initial-Boundary Value Existing Problem in Nonlinear Elastic Beam Equations....Pages 89-94
Modeling for Heat-Exchangers of Heat-Setting Machine....Pages 95-100
Models and Algorithm of Maximum Flow Problem in Uncertain Network....Pages 101-109
A Tracking Method of Formation Satellites Cluster for Single-Beam and Multi-target TT&C Equipments....Pages 110-118
Synchronization of the Fractional Order Finance Systems with Activation Feedback Control....Pages 119-127
Differential Evolution Algorithm with Fine Evaluation Strategy for Multi-dimensional Function Optimization Problems....Pages 128-136
Test Case Automatic Generation Research Based on AADL Behavior Annex....Pages 137-145
Distributed Train-Group Modeling and Simulation Based on Cellular Automaton and Multi-agent....Pages 146-154
Analyzing of Mean-Shift Algorithm in Gray Target Tracking Technology....Pages 155-162
Emergency Logistics Routing Optimization Algorithm Based on FSACO....Pages 163-170
Efficient Solutions for a Problem in Currency Systems....Pages 171-178
Improved Gaussian Mixture Model for Moving Object Detection....Pages 179-186
A Clustering Algorithm of Wireless Sensor Networks Based on PSO....Pages 187-194
Simulation Analysis of Heat Transfer of Power Battery....Pages 195-203
Adaptive Combination of Subband Adaptive Filters with Selective Partial Updates....Pages 204-211
Application of Shortest Path Search Algorithm in Disaster Decision Support System....Pages 212-218
Opposition-Based Learning Estimation of Distribution Algorithm with Gaussian Copulas and Its Application to Placement of RFID Readers....Pages 219-227
Memristive Multilevel Memory with Applications in Audio Signal Storage....Pages 228-235
A Heuristic Test Data Generation Approach for Program Fault Localization....Pages 236-243
Weak Economic Emergency Medical Devices Routing Optimization Based on Uniform Mutation Ant Colony Algorithm....Pages 244-250
Statistical Debugging Using a Hierarchical Model of Correlated Predicates....Pages 251-256
Analysis of Permanent-Magnet Synchronous Motor Chaos System....Pages 257-263
A Pulse Design Method Based on Cognitive UWB....Pages 264-269
SysML Aided Safety Analysis for Safety-Critical Systems....Pages 270-275
Research on Low Delay 11.2kbps Speech Coding Algorithm....Pages 276-281
Further Remarks on ( αλ , λ ′ )-Continuity in Generalized Topological Spaces....Pages 282-287
The Selection of the Step-Size Factor in the Variable Step-Size CMA....Pages 288-291
Towards Autonomic Computing: A New Self-Management Method....Pages 292-299
Automatic Image Tagging Based on Regions of Interest....Pages 300-307
A Multigroup Parallel Genetic Algorithm for Multiple Sequence Alignment....Pages 308-316
Research on the Protein Secondary Prediction Using a Symmetric Binding Form of Organization , ....Pages 317-324
Exploring Brain Activation Patterns during Heuristic Problem Solving Using Clustering Approach....Pages 325-331
Auditory Feature Binding and Its Hierarchical Computational Model....Pages 332-338
Hierarchical K-Means Clustering Algorithm Based on Silhouette and Entropy....Pages 339-347
Simultaneous Multicomponent Spectrophotometric Kinetic Determination by a Hybrid Intelligent Computing Method....Pages 348-355
A Classification Rule Acquisition Algorithm Based on Constrained Concept Lattice....Pages 356-363
An Efficient Continuous Attributes Handling Method for Mining Concept-Drifting Data Streams Based on Skip List....Pages 364-371
The Decision Tree Application in Agricultural Development....Pages 372-379
A Survey of Outlier Detection Methodologies and Their Applications....Pages 380-387
Discovering Association Rules Change from Large Databases....Pages 388-395
Discovery of Direct and Indirect Sequential Patterns with Multiple Minimum Supports in Large Transaction Databases....Pages 396-403
Application of Data Mining in Relationship between Water Quantity and Water Quality....Pages 404-412
Multi-relational Data Semi-supervised K-Means Clustering Algorithm....Pages 413-420
A Clustering-Ensemble Approach Based on Voting....Pages 421-427
Spatio-temporal Outlier Detection Based on Context: A Summary of Results....Pages 428-436
Mining Interesting Infrequent and Frequent Itemsets Based on Minimum Correlation Strength....Pages 437-443
An Improved Sequential Clustering Algorithm....Pages 444-449
An Effective Feature Selection Method Using Dynamic Information Criterion....Pages 450-455
Service Cooperation-Based Trusted and Autonomic Virtual Organizations....Pages 456-466
TD-Trust: A Time Domain Based P2P Trust Model....Pages 467-474
Research on Pressure Loss for the Reverse-Flow Extended-Tube Muffler*....Pages 475-483
Lateral Jet Interaction Model Identification Based on Genetic Programming....Pages 484-491
Three-Dimensional Localization Algorithm Based on LIE....Pages 492-499
The Least Deviation Priority Method for Intuitionistic Fuzzy Complementary Judgment Matrix and Its Application....Pages 500-507
Multicriteria Group Decision Making in a Linguistic Environment....Pages 508-516
Expert System Applied to High-Speed Railway Track Circuit Coding and Its Simulation....Pages 517-524
Joint Advertising and Ordering Strategies for Perishable Product under General Demand....Pages 525-532
Fuzzy Set with Three Kinds of Negations and Its Applications in Fuzzy Decision Making....Pages 533-542
Fuzzy Degree and Similarity Measure of Fuzzy Set with Three Kinds of Negations....Pages 543-550
No Reference Image Quality Assessment Using Fuzzy Relational Classifier....Pages 551-558
Solving the Minimal Solutions of Max-Product Relation Equation by Graph Method and Branch Method....Pages 559-565
On the Notion of IF-Shadows....Pages 566-570
Evaluation on System Risk of Capsule Object Piped Hydraulic Transportation Based on Fuzzy Analytic Hierarchy Process....Pages 571-579
Design and Implementation of a Modified 1.5v High Speed Fuzzy Controller in Switched-Cap Technique....Pages 580-590
Multi-objective Particle Swarm Optimization Algorithm Based on the Disturbance Operation....Pages 591-600
The Predicate Formal System Based on 1-Level Universal AND Operator....Pages 601-608
Some Extensions of the Logic psUL....Pages 609-617
Fuzzy Soft Matrices and their Applications....Pages 618-627
Global Solution for the Nonlinear Beam Equation....Pages 628-633
A Multi-population Parallel Estimation of Distribution Algorithms Based on Clayton and Gumbel Copulas....Pages 634-643
Improving Search Ability of Genetic Learning Process for High-Dimensional Fuzzy Classification Problems....Pages 644-654
Studies on Source Rebuild Method with a Genetic Algorithm....Pages 655-662
An Interactive Genetic Algorithm Based on Improved Sharing Mechanism for Automobile Modeling Design....Pages 663-670
CA Model of Optimization Allocation for Land Use Spatial Structure Based on Genetic Algorithm....Pages 671-678
Back Matter....Pages -