Computer Science 2013 Issue z1 Survey of Model Checking

Survey of Model Checking
WANG Zhen-zhen;

..............page:1-14

Improved Differential Evolution Algorithm Based on Mutation Strategy of Tournament Selection for Function Optimization
FU Si-peng;,HAN Hong-gui;,QIAO Jun-fei;

..............page:15-18,36

QoS Aggregation for End-to-End QoS Requirement in Service Composition
HE Yi-hui;,LIU Zhi-zhong;,PENG Hui;,WANG Yong;

..............page:19-21,26

Hierarchical Agent in Military Analysis Simulation for On-line Decision Support System
YANG Mei;,YANG Shan-liang;,YANG Zheng-jun;,ZHAO Xin-ye;,ZHOU Yun;

..............page:22-26

Optimization of Weights of LVQ Clustering Algorithm Based on Immune Clonal Algorithm
HUANG Hai-yan;,ZHANG Xiao-dan;

..............page:27-28,53

Research on Representation Arithmetic of Radar Detection Range in Complicated Terrain Environment
BAI Yu-bing;,CHEN Shou-zhe;,CHEN Tie-jun;,YIN Ling;,YU Xiao-you;

..............page:29-32

Particle Swarm Optimized Particle Filter Based on Metropolis-Hastings Mutation
LU Wei;,ZHANG Bang-ning;

..............page:33-36

Research on Architecture of Intelligent Manufacturing Based on Cyber-physical System
CHENG Liang-lun;,WANG Xiang-dong;,ZHANG Cai-xia;

..............page:37-40

Application of PSOEM-LSSVM in Medium and Long Term Power Load Forecasting
DUAN Qi-chang;,ZENG Yong;,ZHANG Guang-feng;,ZHOU Hua-xin;

..............page:41-43

Study on Finer-Grained Privilege Model for MIS Based on Domain-driven
WANG Gao-cai;,YU Xin;,ZHANG Zhong-jie;

..............page:44-49,76

Partition Algorithm of Animal Foci Distribution Based on Spatial Clustering Analysis
CHAI Yi;,GUO Mao-yun;,JIANG Hong-qi;,PAN Li-juan;

..............page:50-53

Research on Optimal Test Selection Based on Fused Algorithm
DI Peng;,LI Fang;,LIU Gang;

..............page:54-57

Applications of Memristive Cellular Neural Network in Car License Plate Location
DUAN Shu-kai;,HU Xiao-fang;,WANG Li-dan;,ZHANG Feng-qing;

..............page:58-60,63

Novel Algorithm for Single Channel Blind Separation
WANG Wei;,ZHAO Wen-hong;

..............page:61-63

Novel Genetic Algorithm for Multi-objective Optimization Problem
HAN Li-xia;

..............page:64-66,95

Quantum Genetic Evolutionary Algorithm for Bin Packing Problem
CHEN Xian-fu;,GUO Jing;

..............page:67-69,102

Research on Applications of Modern Modal Logic in Computer Science
CHEN Zhi-yuan;,HAN Li-li;,HUANG Shao-bin;

..............page:70-76

Survey of State Explosion Problem in Model Checking
HOU Gang;,REN Long-tao;,WANG Xiao-long;,YONG Jia-wei;,ZHOU Kuan-jiu;

..............page:77-86,111

Improved Geese Swarm Optimization Algorithm Based on Gaussian Weighted Sum
DAI Sheng-kui;,ZHUANG Pei-xian;

..............page:87-89,124

Construction Principles and Algorithms of Concept Lattice Generated by Random Decision Formal Context
LI Yan;,LIU Bao-xiang;

..............page:90-92,119

New Algorithm for Sparse Signals Reconstruction
QI Ping;

..............page:93-95

High Order Matrix Multiplication by MapReduce Algorithm Based on Hadoop Platform
CHEN Yu-wen;,XIANG Lin-hong;,ZHANG Yu-lin;

..............page:96-98

Improved Bounded Model Checking on Verification of Valid ACTL Properties
XU Liang;,YU Jian-ping;

..............page:99-102

Application of Optimization Algorithm of Vague Sets in Transmission Scheme Optimum Seeking
WANG Hai-feng;,WANG Hong-xu;,ZHANG Kun;

..............page:103-104,119

Segmented Quantum-simplex Evolutionary Algorithm and Function Optimization
ZHANG Wei-feng;

..............page:105-107

Design and Implementation of Buffered Crossbar Scheduling Algorithm with Round Robin Scheduling
LI Bing;,LIU Fei;,ZHANG Lei-lei;

..............page:108-111

Based on the Semantic Information of the Stored Energy Efficiency Research
LIN Yi;,LIU Sheng;,YOU Hong-tao;,ZHANG Yan-yuan;

..............page:112-114,148

Research on Conflict Detection of Business Architecture Requirements Based on Semantics
GUO Shu-hang;,ZHU Ling;

..............page:115-119

Dynamic Scheduling and Real-time Rendering Method for Large-Scale Terrain
CAO Wei;,LIU Hao;,NING Fang-xin;,PAN Li-liang;,ZHAO Wen-ji;

..............page:120-124

Evolutionary Gene Selection Based on Tolerance Rough Set Theory
JIAO Na;

..............page:125-128,140

Analysis of User's Interacting Behavior in BBS Forum Based on Subject Tree
HU Xue-jiao;,LI Hui;,MA Guo-dong;

..............page:129-132

Discretization Algorithm Based on Granular Computing and its Application
SHI Zhi-cai;,XIA Yong-xiang;,ZHOU Jin-zu;

..............page:133-135

Research on Propagation Model and Algorithm for Influence Maximization in Social Network Based on PageRank
GONG Xiu-wen;,ZHANG Pei-yun;

..............page:136-140

Automatic Web Structured Data Extraction Based on Tag Path
CHEN Cheng;,HAN Zi-yang;,LI Gui;,LI Zheng-yu;,SUN Huan-liang;,SUN Ping;

..............page:141-144,165

Discussion of the Characters of Social Network and the Application of Spam Filtering
CHENG Guang;,LI Yuan;,LIAO Wen-jian;,PENG Yan-bing;

..............page:145-148

Slice-based Method for Dynamic Inference Control in OLAP
CHEN Qi-mai;,ZHOU Cai-xia;

..............page:149-152

Operator Theory Frontier of Spectral Clustering
GUAN Tao;,WANG Jie;

..............page:153-156

Web Data Extraction and Integration in Domain
CHEN Shao-gang;,HAN Zi-yang;,LI Gui;,LI Zheng-yu;,SUN Huan-liang;,SUN Ping;

..............page:157-159,175

Research on Data Integration Based on ERP in Electric Power Enterprise
LUO Xue-li;,SHENG Jun;,TIAN Lei;,XU Shu-zhen;,ZHANG De-gang;

..............page:160-162,191

Improved Randomized Hough Method of Circle Detection
CHEN Hao;,CHEN Shuai;,LI Zhao-yue;,MA Yue;

..............page:163-165

SVM-based Method and System for Recognition of Human Movement
CHEN Zhi-peng;,LIU Ning;,LU Zhi-yong;,XIN Xiao-yue;,YU Lei;

..............page:166-168,172

Video Codec Based on Compressed Sensing
HE Bin;,YANG Xin-cheng;

..............page:169-172

Based on the Improved Mathematical Morphology OCT Image Quick Edge Detection Algorithm
SUN Yan-kui;,TIAN Xiao-lin;,ZHANG Bo-wen;

..............page:173-175

Effective Way of Improving the Recognition Rate of License Plate's First Character
LV Wen-qiang;,YANG Jian;

..............page:176-179

Color Image Segmentation Approach Based on LLE in Kernel Space
LIU Yue;,PENG Hong-jing;,QIAN Su-jing;

..............page:180-183,219

GUI Event Interaction Graph Generation Method Based on Model
FENG Kai;,GAO Jian-hua;

..............page:184-187,203

Improved Automatic Segmentation Method of sEMG Based on Signals' Energy Value
GU Shu-sheng;,LI Lin;,WANG Jian-hui;

..............page:188-191

Frame Recognition and Sort of Comic Pages Based on Split Line
HE Zhong-shi;,JIAO Li-min;,LI Jia;

..............page:192-195,216

Research on Visual Features Based on Image Retrieval
SUN Si;,WEI Cong-gang;,ZHAO Shan;

..............page:196-198

Research of Pedestrian Tracking Based on HOG Feature and Haar Feature
CHEN Zhi-rong;,LU Xing-jia;,YANG Fan;,YIN Tian-he;

..............page:199-203

Survey of Visual Tracking Algorithm
LI Lin-sheng;,WANG Can;,XU Xiao-feng;,YAN Qing-sen;

..............page:204-209

Low-power Design Techniques for GPU
GUO Liang;,LI Xiao-yu;,TIAN Ze;,XU Hong-jie;,ZHANG Jun;

..............page:210-216

Application of Blind Source Separation to AIS
WANG Wei;,ZHAO Wen-hong;

..............page:217-219

Based on Network on Chip of Multiprocessor QoS Mechanism Research and Design
HAN Jun-gang;,HENG Xia;,ZHI Ya-jun;

..............page:220-222

Research and Exploration of Olfactory Network Transmission-based Mobile Phone Platform
LI Lian-ning;

..............page:223-227

Research on Uplink Ranging Technique in IEEE 802.16e Network
LI Hai-tao;,LV Hai-kun;

..............page:228-231,254

Construction of Port Logistics Service Platform Based on Cloud Computing and Internet of Things
FENG Bin;,HAN Hai-wen;,QI De-yu;

..............page:232-235,261

Design and Research of Embedded Thin Web Server
CUI Li-qun;,ZHANG Ming-jie;

..............page:236-238,275

Carrier Synchronization Algorithm Research for High-order Modulated APSK Signal
GUO Dao-sheng;,HU Jing-ming;,WANG Hui;

..............page:239-242,250

Prediction of Periodic Weighting Based on Optimized Functional Networks
CUI Tie-jun;,MA Yun-dong;

..............page:243-246

Designation and Realization of Mobile Commerce Interaction Model Under Cloud Computing Platform
XIAO Lei;,YE Shui-sheng;

..............page:247-250

Research of Structure and Architecture for Underwater Sensor Networks
LI Yan-bin;,MA Jin-gang;,WANG Hong-tao;,YIN Lu;,ZHENG Jun-jie;

..............page:251-254

Survey on Remote Code Update for Wireless Sensor Networks
KUANG Xiao-hui;,LIU Li;,XU Fei;

..............page:255-261

Delay Evaluation and Simulation of TDMA Through M/M/1/K Queue Model in Low-energy Wireless Communication Environment
FENG Yong;,YAO Long-hai;,ZHANG Liang;

..............page:262-264,286

Some New Cartesian Product Interconnection Networks
SHI Hai-zhong;

..............page:265-270,306

Study of Methods for the Cloud to Migrate Application Systems
FAN Bing-bing;,ZHANG Liang;,ZHENG Wei-ping;

..............page:271-275

Performance Analysis of Detector for MFSK-signals Based on First-order Cyclic Moment in the Cycle Frequency
DING Hao-jie;,LI Xiao-qiang;,LI Ying;,SHEN Yue-hong;,WANG Li-feng;

..............page:276-279,295

Node Selection Strategy Based on Intuitionistic Fuzzy Sets in P2P Streaming Media System
LI Yan;,WANG Li-na;

..............page:280-282,319

Research on the QoS Control of the Real-time Data Transmission Based on the Tactical Data Link
DONG Chang-cheng;,LI Jun-lin;,WU Wei;,ZHAO Heng;

..............page:283-286

Analysis to Connectivity of Wireless Ad hoc Simulating Networks with Random Mobility Models
AN Jian-ping;,LIU Heng;,LIU Yan-tao;,WANG Bo;

..............page:287-290,314

Designing and Realizing Distance Support Terminal Systerm Bases Wiki
MA Li;,SUN Yu;,ZHENG Guo-ning;

..............page:291-295

Design and Development of Basic Functions of JTAPI-based Dispatching Server
BU Xian-de;,TIAN Wen-feng;

..............page:296-298

Improved Construction Algorithm for K-Reach Index
LIU Kai-yang;

..............page:299-301,310

Fault Location Technology Based on the Distributed Event Processing System
DU Cui-lan;,FAN Dong-jin;,LIU Ping;,TAN Jian-long;,WANG Xiao-yan;,ZHANG Yu;

..............page:302-306

Research on Cooperative Spectrum Sensing and SSDF Attacks
BAO Li-na;,CAO Long;,ZHAO Hang-sheng;,ZHAO Xiao-long;

..............page:307-310

Complex Number-based Privacy Data Aggregation
CAO Xiao-mei;,LIU Da-wei;

..............page:311-314

Recognition of Indirect Jump Targets Based on Trace Constraint
JING Jing;,LI Dan;,WANG Guo-hao;,WANG Zhen-yu;

..............page:315-319

Research on Secure Access Control Mechanism Based on Secure Domain Separation for Embedded Systems
LI Ya-hui;,NIU Wen-sheng;,ZHANG Ya-di;

..............page:320-322,326

Design and Implementation of High-definition Video Conference System in Complex and Confidential Network
LI Feng-bao;,LU Hai;,MA Shao-liang;

..............page:323-326

Research on Fault Diagnosis of Wireless Sensor Nodes
QIAN Huan-yan;,SHANG Xing-hong;,SHANG Xi-yue;,ZHANG Jing;

..............page:327-329,343

System Calls Based Intrusion Detection Method with Frequency Feature Vector
LEI Da-jiang;,ZENG Xian-hua;,ZHANG Li-ping;

..............page:330-333,339

Privacy Preserving Reputation Protocol for P2P Environment
DING Xue-feng;,SI Cheng-xiang;,SUN Bo;,ZHANG Wei;

..............page:334-336,371

Trojans Control Behavior Detection Approach Based on Timing Analysis
CHEN Li;,HU Wei-hua;,YAO Yi-zhan;,ZHANG Li;

..............page:337-339

Analysis and Design of ICS Information Security Audit System
CHEN Zhuang;,HUANG Yong;,ZOU Hang;

..............page:340-343

Use Combination of Detection Systems to Reduce Errors of Judgment on Malicious Request
LIN Jie;

..............page:344-348,380

Personalized Privacy Preserving Method Based on Lossy Join
LIU Ying-hua;

..............page:349-353,383

Research on Best Fraction of Decimal
LI Shun-dong;,XUE Dan;,YANG Chen;

..............page:354-355,360

Fair MAC Protocol Based RTS Injection Attack and Defense
NIE Dong-ju;,WANG Zheng-fei;,YE Jin;,ZHANG Xiang-li;

..............page:356-360

Software Safety Test Analysis for Fire Control System of Remote Multi-barrel Rocket
GAO Xiao-ya;,LI Zhi-bo;,PANG Hong-biao;

..............page:361-364

Encryption Algorithm of Color Video Image Based on Lorenz Chaos
HE Ye;,WANG Lei;,XIA Hui;,ZHANG Xue-feng;

..............page:365-367

Gas Turbine Power Prediction Based on Support Vector Regression
CHEN Ji-yuan;,MIAO Duo-qian;,WANG Wen-chao;

..............page:368-371

Cloud Resources Management Method in Medical Institutions Deployment
CHEN Chao;,SUN Wei-cheng;,WEI Zhen-gang;,YANG Jie;

..............page:372-373,391

Embedded Reliability Modeling of Assembly-line Production Oriented MANET
TIAN Li-xin;,ZHAO Xi-bin;,ZHAO Zhi-feng;,ZHONG Cheng;

..............page:374-376,386

Application of Virtual Reality Technique in Tunnel Excavation Engineering
DENG Fei;,HUANG Di-long;,TANG Yun;

..............page:377-380

Discussion on Application of Technology of Network Isolation in Mobile Office Based on 3G Network
LIU Dao-qun;,SUN Qing-he;

..............page:381-383

Management System of Web Map Based on NewMap API for Recognising Traffic Congestion
Fu Bao-chuan;,MIAO De-wen;,QIU Man;,XI Xue-feng;,XU Zhong-qi;

..............page:384-386

Study of Parallel Network File System
KAN Yun-he;,YU Guan-long;,ZHANG Yuan;

..............page:387-391

Study on Reuse of TT&C Application Software System
CHEN Xiao;,LIU Zhi-fang;,SUN Jun;

..............page:392-394

Research of Cloud Computing Resource Pricing Based on Stackelberg Leadership Model
FENG Yun;,LI Hao;

..............page:395-397,402

Spring of Smart Home is Coming
DUAN Xin-mei;,JI Xiang-he;,LI Cheng-dong;,LU Man;,PENG Wei;,WANG Ming;,ZHANG Gui-qing;

..............page:398-402

Exam System Modelling Research Based on MVC
SI Biao;

..............page:403-406

Study of Semantic Sharing Scheme for Household Electrical Appliance Design Knowledge
CHANG Wan-jun;,GUO Zu-hua;,YANG Ya-nan;

..............page:407-408,封3