Theoretical and Mathematical Foundations of Computer Science: Second International Conference, ICTMF 2011, Singapore, May 5-6, 2011. Selected Papers

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 -