Computer Science 2014 Issue 7 SIMPLE:A Novel Multi-paradigm Programming Language

SIMPLE:A Novel Multi-paradigm Programming Language
CHEN Lin;,WU Di;,XU Bao-wen;

..............page:1-8,44

Excursive Measurement and Analysis of Normal Cloud Concept
WANG Guo-yin;,XU Chang-Lin;

..............page:9-14,51

Comprehensive Cognition Emotional Theory——A New Mind Computing Model
PU Jiang;

..............page:15-24,61

Research of Software Fault-tolerance Based on Monitoring of CPU Utilization Ratio
CAO Dong;,WANG Xiao-Gang;

..............page:25-29

Design and Implementation of File Prefetching Module Oriented to Distributed File System
LIU Yi;,SHI Ming;,TANG Ge-shi;

..............page:30-35

Research of Lower Power Oriented Way-adaptive Partition Algorithm in Shared Cache of CMP
FANG Juan;,WANG Shuai;,YU Lu;

..............page:36-39,73

Review of Reliability Analysis Based on Petri Nets
FANG Huan;,FANG Xian-wen;,WANG Li-li;

..............page:40-44

Modeling and Performance Analysis of TTE Bus Based on DSPN
TAN Huo-bin;,WANG Wang;,YAO Shu-zhen;

..............page:45-48

Further Study of Relationship between Weak Fairness and Fairness of Petri Nets
CHEN Hong-zhong;,DING Zhi-jun;,SHI Zhou-qi;

..............page:49-51

Petri Nets Based Reliability Evaluation of Service
XU Jia-jun;,YAO Shu-zhen;

..............page:52-57

RoQ Defense Effect Evaluations Based on SPN Model
LIU Jian;,SHI Jiang-yong;,WANG Hui-mei;,XIAN Ming;

..............page:58-61

Diagnosability Analysis of Fuzzy Discrete Event System Based on Extended Fuzzy Petri Net
CHEN Qian;,SHE Wei;,YE Yang-dong;

..............page:62-67,101

Research on Cognitive Model Based on Attribute Granular Computing
FENG Jia-li;,ZHOU Ru-qi;

..............page:68-73

Method of Main and Branch Road Adaptive Coordinate Control on Timed Petri Net Modeling
CUI Xiang-ru;,SUN Li;,ZHANG Zhao-hui;

..............page:74-76,96

Method of Obligation Analysis of Change Region in Process Model Based on Petri Net Behavioral Pattern
FANG Xian-wen;,LIU Xiang-wei;,YANG Yan;

..............page:77-80,85

Study on Mechanism of Consistency Detection in BPEL Activities Authorization Coordination Based on CPN
LIU Qing-tang;,SHANG Chao-wang;,TONG Ming-wen;,ZHAO Gang;

..............page:81-85

Business Process Modeling and Analyzing Based on XAr/T-net
HUANG Zhen;,LI Ji-hui;,WANG Ying;

..............page:86-90

Method of Optimal Path Selection Based on Modal Petri Net Branching Effective Range
FANG Xian-wen;,LIU Xiang-wei;,TAO Xiao-yan;

..............page:91-96

Research and Development of Cyber Net System Modeling Tool
LU Ji-yuan;,WAN Jun;,ZHAO Buhui;

..............page:97-101

Study on Activity-oriented Dynamic Access Authorization Model for BPEL4WS
LIU Qing-tang;,SHANG Chao-wang;,TONG Ming-wen;,ZHAO Gang;

..............page:102-104,109

Petri Net-and Concurrent Scheduling Marking Graph-based Modeling and Analysis of Concurrent Tasks Scheduling
HAN Yao-jun;

..............page:105-109

Colored-Petri-Net-based Complaint Model for User-interactive Question Answering System
LI Yan-cheng;,LU Fa-ming;,XUE Jie;,ZENG Qing-tian;

..............page:110-113

Research on OpenFlow Modeling Based on Hierarchical CPN
DONG Lu-lu;,HE Nan;,LI Hua;,LV Liang-liang;

..............page:114-118

Analysis for Network Security by Stochastic Petri-net
CHEN Xin;,JIAO Jian;

..............page:119-121,134

Verification and Analysis of SIP Protocol Based on Timed Colored Petri Nets
LIU Jing;,MA Yuan-fei;,YE Xin-ming;

..............page:122-129

Research on Malware Propagation Model for Wireless Ad hoc Network
GAO Wei-min;,LIANG Jun-bin;,ZHU Ling-zhi;

..............page:130-134

Verification Method on CP-nets Concurrent Model
SUN Tao;,YE Xin-ming;

..............page:135-139,161

Simulation and Optimization of Operational Supportability of Equipment Based on Petri Net Model
LI Yue;,LUO Ming-lei;,XU Yong-cheng;

..............page:140-142

Research of Translating UML Activity Diagram to Petri Net
XING Guan-nan;,ZHAO Jun-feng;,ZHOU Jian-tao;

..............page:143-147

Graphical Reasoning Method to First-order Predicate Logic
GENG Xia;,LI Wei-yan;,ZHANG Jijun;

..............page:148-152,156

Method for Modeling On-delay Timers in Ladder Diagrams Based on Ordinary Petri Nets
CHEN Xue-kun;,LUO Ji-liang;,NI Hui-juan;,WEN Shi-gang;

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

GPU Based Image Feature Extraction and Detection
XU Jing;,XU Wei;,ZENG Miao-xiang;

..............page:157-161

Multidimensional Node Reputation Management Scheme for Clustered Wireless Sensor Networks
FANG Fang;,LI Jie;,LI Jing-feng;

..............page:162-166

Multi-zones and Multi-objectives Channel Allocation Protocol Based on TOA Real-time Geolocation System
HE Jie;,LIU Fei;,LV Mo-wei;,WANG Qin;,XU Cheng;

..............page:167-170

Heuristic QoS Routing Protocol for Wireless Sensor Networks
BAI Guang-wei;,CAO Lei;,SHEN Hang;,YU Miao;,ZHANG Peng;

..............page:171-175,193

Performance Analysis for Fragmentation and Assembly Algorithm of 6LoWPAN Adaptation Layer
LIU Qiao-shou;,WANG Ru-yan;,WU Da-peng;,ZHANG-Wei;

..............page:176-180,215

Network Connectivity Optimization Strategy Based on Wireless Techniques
FAN Yu-shun;,GUO Xiao-hui;,SUN Chen;

..............page:181-183,205

Cognitive Radio Spectrum Access Energy Efficiency Algorithm
CHEN Ming;

..............page:184-186,221

Research on 3D Wireless Sensor Networks Energy Saving Routing Algorithm ISC-ODR
LI Zhan-guo;,WANG Yin-chuan;,ZHANG Rui-zhe;

..............page:187-189,199

Wireless Sensor Networks QoS Routing Algorithm Based on Improved Quantum-behaved Particle Swarm Optimization
PAN Guo;,XU Yu-ming;

..............page:190-193

Risk Assessment Methods of Complex Network Based on GTST-MLD
LIU Bao-xu;,LIU Jun-rong;,LU Zhi-gang;

..............page:194-199

Proxy-based Security-feedback Trust Model in MP2P Network
CAO Xiao-mei;,CHEN Gui-hai;,SHEN He-yang;,ZHU Hai-tao;

..............page:200-205

Game Analysis on Statistical Characteristics Preserving Steganography
GAO Zhan-zhan;,TANG Guang-ming;,ZHANG Wei-wei;

..............page:206-209,235

Capabilities-based DDoS Defense Architecture for Future Internet
HUANG Wei;,WANG Jin-song;,ZHANG Hong-hao;,ZHAO Xiang-lin;

..............page:210-215

Location Prediction of Moving Objects in Obstructed Space
LI Shi-ji;,QIN Xiao-lin;,SHI Jun-yan;

..............page:216-221

Reliability Prediction Approach for Web Service Based on SOA
WANG Shu-qin;,XIE Chun-li;,YU Xi-meng;

..............page:222-226,231

Distributed Optimized Query Algorithm Based on SPARQL
FANG Zhi-li;,WANG Jing-bin;,ZHANG Yan-qin;

..............page:227-231

Research on Processing Continuous Spatial Keyword Range Queries in Road Networks
HUANG Qun;,JIANG Hong;,LI Guo-hui;,LI Yan-hong;

..............page:232-235

Conditional Information Entropy Representation of Algebraic Reduction and its Efficient Algorithm
HUANG Guo-shun;,WEN Han;,ZENG Fan-zhi;

..............page:236-241,274

Finding Optimal Long Paths over Multi-cost Road Networks Using Bidirectional Searches
LI Jian-guo;,LIANG Rui-shi;,MA Hui;

..............page:242-245,289

Novel Particle Swarm Optimization Algorithm Based on Fractional Calculus and Alpha-stable Distribution
LI Zhuo;,LV Tai-zhi;

..............page:246-249,289

Knowledge Acquisition in Incomplete Information System Based on Formal Concept Analysis
KANG Xiang-ping;,LI De-yu;,LI Xiang;,WANG Su-ge;,ZHAI Yan-hui;

..............page:250-253,260

Intenal-Outer Fusion of Attributes and Intelligent Digging-Seperation of Information
SHI Kai-quan;,XU Feng-sheng;,YU Xiu-qing;

..............page:254-260

Approach for Development of Ant Colony Optimization Based on MapReduce
LI Tian-rui;,WANG Zhao-yuan;,YI Xiu-wen;

..............page:261-265

Adaptive CRBF Nonlinear Filter and its Improved Learning Algorithm
JIN Wei-dong;,LI Tian-rui;,ZENG Xiang-ping;,ZHAO Hai-quan;

..............page:266-269

Expectation-based top-N Recommendation Approach for Improving Recommendations Diversity
LIU Hui-ting;,YUE Ke-cheng;

..............page:270-274

Bayesian Network-based Context-aware Recommendation Algorithm
HAI Ben-zhai;,XIE Rui-yun;

..............page:275-278

New Self-adaptive Cuckoo Search Algorithm
HOU Hui-chao;,JIANG Shou-yong;,QIAN Wei-yi;

..............page:279-282

New Ensemble Learning Approach
FAN Ming;,GUO Hua-ping;,Wu Chang-an;,YUAN Jun-hong;,ZHANG Fan;

..............page:283-289

Quasi-diagonal Matrix Hybrid Compression Algorithm and Implementation for SpMV on GPU
LI Ken-li;,SHI Lin;,YANG Wang-dong;

..............page:290-296

Outlier Detection Method Based on Constructive Neural Networks
WANG Lun-wen;,ZHANG Xian-ji;

..............page:297-300

Face Detection Based on SURF and Hough Forests
HOU Jian-hua;,LUO Yan;,XIANG Jun;,YAN Ming-jun;

..............page:301-305,封3

Harris Corner Detection Algorithm on OpenCL Architecture
MA Ge;,XIAO Han;,ZHOU Qing-lei;

..............page:306-309,321

Algorithm and Simulation of Image Stabilization for High Speed Moving Target Images Based on Adjacent Frames Compensation
JI Li-xia;,LI Xue-xiang;

..............page:310-312,317

Research on Algorithm for Real-time Recognition of Traffic Light Based on HOG Features
LIU Hong-zhe;,YANG Rui;,YUAN Jia-zheng;,ZHOU Xuan-ru;

..............page:313-317

Moving Target Detection Method Based on Gaussian Mixture Model
CHENG Quan;,MA Jun-yong;

..............page:318-321

Brain Image Segmentation Method Based on FCM and Random Walk
GUO Peng-fei;,LIN Lin;,LIU Wan-jun;,MIN Liang;,ZHAO Yong-gang;

..............page:322-324,封3