Information Computing and Applications: International Conference, ICICA 2010, Tangshan, China, October 15-18, 2010. Proceedings, Part I

Cover......Page 1
Communications in Computer and Information Science 105......Page 2
Information Computing and Applications, Part I......Page 3
ISBN-13 9783642163357......Page 4
Preface......Page 6
Organization......Page 8
Table of Contents – Part I......Page 12
Table of Contents – Part II......Page 18
SyncML Protocol and Architecture......Page 25
Encryption System......Page 26
Encryption Protocol......Page 27
Hierarchical Encryption Protocol......Page 28
An Example of Encryption Protocol......Page 29
References......Page 31
Introduction......Page 33
Bilinear Pairings......Page 34
The Proposed Scheme......Page 35
Security Proof of the Proposed Scheme......Page 37
References......Page 39
Background......Page 41
Approach......Page 42
Public Interaction Framework......Page 43
Innovations and Related Works......Page 46
References......Page 47
Background......Page 49
Methodology and Data Resource......Page 50
Analysis on Farmers’ Willingness to Participant in STOW......Page 51
Variable Selection......Page 52
Result Analyses and Discussion......Page 53
References......Page 55
Background......Page 56
Probabilistic Rough Set Model with Variable Precision......Page 57
Minimum Risk Bayesian Decision......Page 58
Probabilistic Rough Set Model with Variable Precision to Bayesian Decision......Page 59
Example......Page 62
References......Page 63
Symbolic Account......Page 64
Modeling and Solving of Hospital Beds Arrangement......Page 65
Modeling and Solving of Admission Waiting Time......Page 67
Modeling and Solving of Hospital Beds’ Distribution Ratio......Page 68
References......Page 70
Related to the Definition......Page 72
The Prepared Theorems and Nature......Page 73
Solving Question A......Page 74
Inversing and Reasoning......Page 75
The Main Results......Page 76
References......Page 77
Introduction......Page 78
The Model......Page 79
System of Integro-Differential Equations......Page 80
Explicit Results for Exponential Claims......Page 81
Concluding Remarks......Page 84
References......Page 85
Introduction......Page 86
Bernoulli\'s Numbers and Beroulli\'s Polynomial......Page 87
Euler-Maclaurin Method......Page 88
Numerical Stability......Page 89
 Numerical Experiments......Page 91
References......Page 92
Introduction......Page 94
Algorithm......Page 96
References......Page 100
Tsukamoto Solution of Fuzzy Relation Equations......Page 102
Optimization of the Weight Lattice Close Degree......Page 104
Case Studies......Page 105
References......Page 108
Introduction......Page 109
Fifteen Three-Term Relations for $_2φ_1-Series......Page 110
References......Page 115
Introduction......Page 117
The Basic Idea of Boussinesq-Based Constructive Method......Page 118
Application to the (2+1) Dimensional KP Equation......Page 120
Conclusion and Discussion......Page 123
References......Page 124
Introduction......Page 125
Preliminaries......Page 126
Ideals in A*H......Page 128
Semisimplicity of A*H......Page 130
References......Page 132
Introduction......Page 133
New Arithmetic of FVM......Page 134
Discretization Analysis of Inside Nodes......Page 135
Discretization Analysis of Boundary Nodes......Page 136
Comparing the New Arithmetic of FVM with the FEM......Page 137
Conclusions......Page 139
References......Page 140
Orthonormal Frame Field and Riemannian Curvature......Page 141
Schouten Tensor and Operator ϒ......Page 142
Some Equalities Related to the Schouten Tensor and operator......Page 143
Some Results Related to the Schouten Tensor and operatorϒ......Page 144
References......Page 146
Introduction......Page 147
Area of a Special Spherical Triangle......Page 148
Conclusion and Remarks......Page 151
References......Page 152
Introduction......Page 153
Basic Theory of ESPC......Page 155
A Modified ESPC for Covex Programming......Page 156
ESPC of Constraint Partitioning......Page 157
A Basic Algorithm Based on ESPC......Page 158
A Parallel Algorithm Based on ESPC......Page 159
References......Page 160
Introduction......Page 161
Petri net Model of the Parallel Program......Page 162
Model Description......Page 163
The Application of CPN Tools in the Verification......Page 164
Result......Page 165
References......Page 167
Introduction......Page 168
The Transformation in Education Ideology......Page 169
Mechanism and Scale of Interactive and Cooperative Development among School, Family and Community Education......Page 170
Environment and Facility System of the Platform......Page 171
Significance......Page 172
Laws and Regulations on Management......Page 173
References......Page 174
Introduction......Page 176
Model......Page 177
Establish Model......Page 178
Model Solution......Page 181
Computational Example......Page 182
References......Page 183
Introduction......Page 185
Wind Power Technology......Page 186
Solar PV Generation......Page 187
Energy Storage Element......Page 188
Microgrid Control......Page 189
References......Page 191
Introduction......Page 193
Work Theory of LVS......Page 194
Load Balance Arithmetic of LVS......Page 195
Load Dispatch Arithmetic of LVS......Page 197
References......Page 199
Introduction......Page 201
The Extended Euclidean Sequence......Page 202
The STEES Algorithm......Page 204
Pivotal Algorithms......Page 207
References......Page 208
Introduction......Page 209
Camera Model......Page 210
Camera Calibration......Page 211
Calibration Results......Page 214
References......Page 215
Introduction......Page 217
Proposed Adaptive Cost Aggregation......Page 219
Experimental Results......Page 221
Conclusions......Page 223
References......Page 224
Introduction......Page 225
Model......Page 226
Node Degree and Network Scale......Page 227
Betweenness......Page 228
Backbone Network......Page 229
Conclusions......Page 231
References......Page 232
Introduction......Page 233
Related Work......Page 234
Hardware and Software Platform......Page 235
Proposed CLA......Page 236
Simulation......Page 237
References......Page 239
Introduction......Page 241
Algorithm Vector Model......Page 242
DCT Transform Algorithm......Page 243
Experimental Results......Page 245
Realization of Mixed-Language Programming......Page 246
Engineering Applications......Page 247
References......Page 248
Introduction......Page 250
Grouping......Page 251
Division of Region......Page 252
Design of Paths......Page 253
Evaluation of the Scheme......Page 255
References......Page 256
Introduction......Page 258
Evaluation Systems......Page 259
Experimental Scheme Design System......Page 260
Activity Network......Page 261
The Dynamic Analysis Process of Experimental Scheme......Page 262
Conflict Analysis......Page 263
References......Page 264
Slow Frequency Hopping Wireless Communication Link Design......Page 266
Hopping Modulator Subsystem......Page 267
Channel Encoding and Decoding Subsystem......Page 268
Establishment of the Noise Module......Page 269
Anti-performance of Partial-Band Interference......Page 271
Conclusion......Page 272
References......Page 273
Introduction......Page 274
Technical Issues......Page 276
Operational and Organizational Issues......Page 277
Security and Reliability Issues......Page 278
Switch over to New Technologies......Page 279
References......Page 280
Introduction......Page 282
Users......Page 283
Permissions......Page 284
Rules......Page 285
Implementation......Page 287
Related Work......Page 288
References......Page 289
Segmenting Method Based Quadtree of E-chart......Page 291
Algorithm Analyzing......Page 292
Setting Index......Page 293
Algorithm Implementing......Page 295
References......Page 297
Introduction......Page 298
Vector Representation and Computing......Page 299
The Fourier Expand of Periodic Function......Page 301
The Application on Reciprocal Lattice Vector Computing......Page 303
Conclusions......Page 304
References......Page 305
Network......Page 306
Parallel Shortest Path Algorithm......Page 307
Recursive Spectral Bisection......Page 308
Test and Conclusion......Page 310
References......Page 311
Introduction......Page 313
Methodology......Page 314
Hardware and Software Configuration......Page 315
Dogfooding Our Framework......Page 317
References......Page 318
Introduction......Page 320
Biot\'s Consolidation Theory......Page 321
Calculation Model......Page 322
Computation Parameters......Page 323
The Results and Analysis......Page 324
References......Page 326
Questions and the Conditions of Assumptions......Page 328
System Analysis and Modeling......Page 329
System Stability......Page 330
Study the Impact of Interference Signals on the System......Page 332
References......Page 334
Introduction......Page 335
Acylation of Quercetin......Page 336
Diagnostic Checking of the Fitted Model......Page 337
Response Surface Plotting......Page 338
Optimization Based on Yield......Page 340
References......Page 341
 Introduction......Page 342
Mathematical Model......Page 343
Model Conversion......Page 346
References......Page 348
Introduction......Page 350
Selection of Research Hypotheses and Models......Page 351
Data source and Research Variable Selection......Page 353
Empirical Analysis and Results Discussion......Page 354
Analysis of the Estimated Results......Page 355
Strategic Suggestions......Page 356
References......Page 357
Introduction......Page 358
μC/OS-II Transplantation......Page 359
Based on LM3S8962’s μC/OS-II Transplantation......Page 360
References......Page 363
Introduction......Page 364
Establishing the Model of Residual Slope of Shirengou Iron Mine......Page 365
The Self-weight Stress Field Analysis before Residual Slope Mining......Page 366
Residual Slope Stress Field Analysis after the Hanging Wall Ore Mining......Page 367
Conclusion......Page 369
References......Page 370
Introduction......Page 371
Mathematical Model......Page 372
Mesh Generation......Page 373
Analysis of Results......Page 374
Comparison Simulation with Experimental Result......Page 375
Conclusions......Page 376
References......Page 377
Related Work......Page 378
Advantages of CAD Computer-Aided Mapping......Page 381
CAD Mapping with Modern Digital Technology......Page 382
Conclusion and Outlook......Page 383
References......Page 384
Introduction......Page 385
The Lower and Upper Approximations......Page 386
OR Transposed Table......Page 387
OR Value......Page 388
Example......Page 389
References......Page 391
Introduction......Page 392
Sustainability Coefficient of Banking Sustainable Development ( i = 1,$\\ldots$,m )......Page 393
Comprehensive Evaluation......Page 394
Results......Page 395
Conclusion......Page 397
References......Page 398
Appendix......Page 399
Introduction......Page 400
Model Establish and Solution......Page 401
Bridgehead to Determine the Candidate Point......Page 403
Tunnel Position......Page 404
Residential Treatment......Page 405
Model Evaluation......Page 406
References......Page 407
Introduction......Page 408
Blasting Vibration Monitoring System......Page 409
Calculation Principle of Blasting Vibration Velocity Response Spectrum......Page 410
Blasting Vibration Response Spectrum......Page 411
Response Spectrum Characteristics of Blasting Vibration......Page 412
References......Page 413
Introduction......Page 414
Theoretical Background and New Algorithm......Page 416
Convergence Analysis......Page 417
Numerical Results......Page 419
References......Page 421
Instruction......Page 423
Problem Description and Formulation......Page 424
MOCSA for SP......Page 426
Hybrid Algorithm on Distributed Systems......Page 427
Comparison of CEIA and LIBP......Page 428
Conclusions......Page 429
References......Page 430
Introduction......Page 431
Problem Definition......Page 432
UMDA......Page 433
Cooperative Coevolution Genetic Algorithm......Page 434
Individual Representation......Page 435
Experimental Results......Page 436
References......Page 437
Introduction......Page 439
Design of the Coprocessor’s Hardware of FPGA......Page 440
The Arithmetic of RBF Neural Networks......Page 441
Implementation of the Arithmetic of RBF Neural Networks on FPGA......Page 442
Conclusion......Page 445
References......Page 446
Introduction......Page 447
Mathematical Model of BP Neural Networks......Page 448
Standardized Individual Indexes......Page 449
Network Training......Page 450
Network Test and Prediction......Page 451
Conclusions......Page 452
References......Page 453
Introduction......Page 454
VPRSPD Mathematics Formulation......Page 455
Particle Swarm Optimization Algorithm for VPRSPD......Page 456
Results and Discussion......Page 458
Conclusions......Page 459
References......Page 460
Problem Description......Page 461
Principle......Page 462
The Process of Standard PSO......Page 463
Process of PSO......Page 464
Operating Result Analysis......Page 465
References......Page 466
BP Neural Network Theory......Page 468
Introduction Sensitivity......Page 469
Application......Page 470
References......Page 472
Description of the Data Distribution......Page 474
Updating Search to Initialize Colony According to the Data Fragments......Page 475
Encoding the Set of Parameters......Page 476
Mutation......Page 477
Experimental Results......Page 478
Conclusion......Page 480
References......Page 481
Introduction......Page 482
Limitation of BP Algorithm......Page 483
Model......Page 484
Model Solving......Page 485
Conclusion......Page 487
References......Page 488
Introduction......Page 489
Problem Formulation......Page 490
Passive Control......Page 491
Observer-Based Passive Control......Page 494
References......Page 496
Introduction......Page 497
Variance Analysis......Page 498
Test on the Interaction......Page 499
Analysis of Variance without Interaction......Page 500
References......Page 503
Introduction......Page 504
Main Results......Page 505
References......Page 511
Notes on Cubic NURBS Curve......Page 512
 Cubic NURBS Interpolation Curve......Page 513
Convexity of Cubic NURBS Interpolation Curve......Page 517
References......Page 518
Introduction......Page 520
The Bellman’s Equation and the Optimal Strategy......Page 522
The Characterization of the Optimal Strategies......Page 525
Numerical Calculation for Optimal Dividend Strategy of Compound Binomial Model......Page 526
References......Page 527
Introduction......Page 528
Basic Concepts......Page 529
Logical Operators......Page 531
Basic Properties......Page 533
Conclusion......Page 534
References......Page 535
Introduction and Statement of Result......Page 536
Lemma 3 [7]......Page 538
Proof of Theorem......Page 539
References......Page 542
Introduction......Page 543
Properties of Triangulation......Page 544
References......Page 549
Author Index......Page 551