This book constitutes the refereed post-proceedings of the Second International Conference on Theoretical and Mathematical Foundations of Computer Science, ICTMF 2011, held in Singapore in May 2011. The conference was held together with the Second International Conference on High Performance Networking, Computing, and Communication systems, ICHCC 2011, which proceedings are published in CCIS 163.
The 84 revised selected papers presented were carefully reviewed and selected for inclusion in the book. The topics covered range from computational science, engineering and technology to digital signal processing, and computational biology to game theory, and other related topics.
Author(s): Yun-Hao Zhang, Eriqitai, Xiao-Xing Li (auth.), Qihai Zhou (eds.)
Series: Communications in Computer and Information Science 164
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2011
Language: English
Pages: 615
Tags: Mathematics of Computing; Data Structures, Cryptology and Information Theory; Information Systems and Communication Service; Computer Communication Networks; Computer Imaging, Vision, Pattern Recognition and Graphics
Front Matter....Pages -
Numerical Study for the Effects of Injection Parameters on Flow Fields of the Blockerless Thrust Reverser....Pages 1-8
Nonconforming H 1 -Galerkin Mixed Finite Element Method for Dispersive-Dissipative Wave Equation....Pages 9-14
One Dynamic Hierarchical Data Acquisition Model for Pre-geohazards Information Acquisition....Pages 15-22
Network Content Security Evaluation Method Analysis....Pages 23-32
Images Denoising by Improved Non-Local Means Algorithm....Pages 33-39
A Controllable Quantum Sequential Multi-signature Scheme....Pages 40-45
Improving Detection Rate in Intrusion Detection Systems Using FCM Clustering to Select Meaningful Landmarks in Incremental Landmark Isomap Algorithm....Pages 46-53
An Efficient and Provably Secure Certificate-Based Encryption Scheme....Pages 54-61
Efficient Forward-Secure Identity-Based Encryption Scheme in the Standard Model....Pages 62-69
Kolmogorov and Linear Widths on Generalized Besov Classes in the Monte Carlo Setting....Pages 70-76
Initial Boundary Value Problem for a Generalized Zakharov Equations....Pages 77-83
Application and Research of Virtual Reality Technique on the Safety of Transportation of Dangerous Goods....Pages 84-91
A GPU-RSVM Based Intrusion Detection Classifier....Pages 92-100
Low Complexity Decoding Algorithm for Nonbinary LDPC Codes....Pages 101-108
Efficient Query Protocol for Database’s Privacy....Pages 109-115
A Novel Model of Large-Scale Distributed and Hybrid Search and Location....Pages 116-122
The Exploration of Mainstream VPN Technologies in Campus Network....Pages 123-127
A Novel ZigBee Keyboards with Mobile Ad Hoc Network....Pages 128-135
An Open Platform for Earthquake Engineering Simulation in China....Pages 136-141
Synchronization Algorithm with APA Pilot Pulse Sequence for UWB Communication System....Pages 142-146
The Key Management of Monitoring System for the Availability of Devastated Road....Pages 147-153
Design and Implementation of Logistics Experiment Platform Based on OMT....Pages 154-160
A Data Fusion Strategy of Wireless Sensor Network Based on Specific Application....Pages 161-166
Computational Technique of Learning Progress Motivation: Diagnosis of Learning and Innovation Status....Pages 167-174
Study on the Processing Method of Cycle Slips under Kinematic Mode....Pages 175-183
The Research of Building VPN Based on IPsec and MPLS Technology....Pages 184-189
Embedded Smart Tracker Based on Multi-object Tracking....Pages 190-197
A Survey on Indoor Positioning Technologies....Pages 198-206
A New Channel Calibration Method of Eddy Current Array Technology....Pages 207-212
Fault Diagnosis of Automotive Engines Using Fuzzy Relevance Vector Machine....Pages 213-220
Stability and Oscillation Analysis in a System of Three Coupled Oscillators with Delays....Pages 221-226
The Recursive Transformation Algorithms between Forest and Binary Tree....Pages 227-230
Design of Software System of Mobile Robot with Mixed Programming Based on Eclipse + pydev....Pages 231-238
Optimal Algorithms for Computing Policy-Conforming Paths in the Internet....Pages 239-245
Design and Implementation of the LBS Interface for Personnel Positioning....Pages 246-253
Finding Critical Multiple Paths for Demands to Avoid Network Congestion....Pages 254-261
A Short-Wave Communication System Based on Fountain Codes....Pages 262-267
Logistic Regression Parameter Estimation Based on Parallel Matrix Computation....Pages 268-275
Web Service Response Time Monitoring: Architecture and Validation....Pages 276-282
A Simulating Model of NGN Based on CPN Tools....Pages 283-289
Simulation Analysis for Information Resource Allocation of Express Company Based on Fractal....Pages 290-296
Optimal Replica Selection Algorithm in Data Grid....Pages 297-304
On the Operational Semantics of a Higher Order Safe Ambients Calculus....Pages 305-312
NPGPU: Network Processing on Graphics Processing Units....Pages 313-321
A Hybrid Routing Mechanism for ZigBee Wireless Sensor Networks....Pages 322-328
Research on the Establishment of Distributed Storage Virtual Geographic Environment Based on Lustre File System....Pages 329-336
Asymmetric Multiparty-Controlled Teleportation of Arbitrary n-qudit States Using Different Quantum Channels....Pages 337-344
Parallel Computing of Multi-resolution Combined Fuzzy Networks....Pages 345-353
An Implementation on Extracting H.264/AVC Compressed Data from Flash Video....Pages 354-360
Analysis of Construction Schemes with Varied Data Re-modulation Formats for Centralized Lightwave WDM-PON Employing Super-Continuum Light Source....Pages 361-366
Design of Optical Raindrop Spectrometer Based on Embedded Microcontroller....Pages 367-371
Integrated Fault Diagnosis Method of Mobile Robot....Pages 372-379
Delay Performance of Voice Call Continuity (VCC) for Circuit-Switched to Packet-Switched Domain Transfer....Pages 380-387
Speed Up the Image Registration with PDE Model and Parallel AOS Scheme....Pages 388-396
High-Integrity MapReduce Computation in Cloud with Speculative Execution....Pages 397-404
Cognitive Radio Access Based on Multiparameter Matching Ability Estimation....Pages 405-412
Superconvergence Analysis for Nonlinear Viscoelastic Wave Equation....Pages 413-418
Design of Acid Rain Observing Instrument Based on LPC2368....Pages 419-424
A Elastic Plastic Damage Model for Concrete Considering Strain Rate Effect and Stiffness Damping....Pages 425-429
Some Properties of the Continuous Single-Valley Expansion Solution to the Feigenbaum’s Functional Equation....Pages 430-440
Pythagorean Element on UFD and PH Curve....Pages 441-448
The Bisector of a Point and a Plane Algebraic Curve....Pages 449-455
Biarc Approximation of Planar Algebraic Curve....Pages 456-463
On Self-complementary of Circulant Graphs....Pages 464-471
Transmissivity Simulation of Carbon Dioxide Using Narrow-Band K-Distribution with Different K-Discrete Schemes....Pages 472-477
The Research of Temperature Fields during Hot Rolling for the Strip....Pages 478-485
Using Bees Algorithm to Solve the Resource Constrained Project Scheduling Problem in PSPLIB....Pages 486-494
The Industry Cluster Manufacturing Service of Cooperative Payment System on Lace....Pages 495-500
Floatation Froth Image Segmentation Algorithm Based on Mathematical Morphology and Wavelet....Pages 501-507
Image Enhancement Using the Multi-scale Filter: Application of the Bilateral Filtering Scheme and PSO Algorithm....Pages 508-514
The Impact of LUCC on Ecosystem Service Values in HaDaQi Industrial Corridor....Pages 515-520
SecuRights....Pages 521-525
Nonlinear Frequencies for Transverse Oscillations of Axially Moving Beams: Comparison of Two Models....Pages 526-533
Convergence of Upper and Lower Bounds on the Bayes Error....Pages 534-537
Research on Evaluation of Scheduling Algorithms for TS Multiplexers Based on GSPN....Pages 538-546
Dynamic Analysis of Fractional Order Systems....Pages 547-554
The Control Plane Models Based on Virtualization Router....Pages 555-562
The Design of Generalized Synchronous Observer Based on Fractional Order Linear Hyper Chaos System....Pages 563-570
The Analysis of Fractional Chen Chaotic System Composite Structure....Pages 571-578
The Design and Implementation of MP4 Coding System Based on S3C2410....Pages 579-583
The Applied Research of Simple Pendulum Experiment Based on the Photoelectric Timing Circuit Technology....Pages 584-589
The Design of Recording System Based on LM386....Pages 590-597
A Research on QoS Model for IP Networks....Pages 598-604
An VoIP Application Design with Dynamic QoS Control....Pages 605-612
Back Matter....Pages -
