1000-1220
2015 Issue 9
Evolution Analysis of Developer Collaboration Network in Open Source Software Community
LIU Xiao;LI Bing;HE Peng;State Key Laboratory of Software Engineering;School of Computer;Wuhan University;International School of Software;Wuhan University;Research Center of Complex Network;Wuhan University;
LIU Xiao;LI Bing;HE Peng;State Key Laboratory of Software Engineering;School of Computer;Wuhan University;International School of Software;Wuhan University;Research Center of Complex Network;Wuhan University;
..............page:1921-1926
Research and Implementation of the Mechanization Verification of a Coq-based Imperative Language Compiler
SHENG Feng;DOU Liang;YANG Zong-yuan;Department of Compute Science;East China Normal University;
SHENG Feng;DOU Liang;YANG Zong-yuan;Department of Compute Science;East China Normal University;
..............page:1927-1931
Collaborative Web Service QoS Prediction Based on Time Series Analysis
SHEN Li-min;CHEN Zhen;LI Feng;College of Information Science and Engineering;Yanshan University;Key Laboratory for Computer Virtual Technology and System Integration of Hebei Province;College of Computer and Communication Engineering;Northeastern University at Qinhuangdao;
SHEN Li-min;CHEN Zhen;LI Feng;College of Information Science and Engineering;Yanshan University;Key Laboratory for Computer Virtual Technology and System Integration of Hebei Province;College of Computer and Communication Engineering;Northeastern University at Qinhuangdao;
..............page:1932-1938
Method for Tracing the Source of Micro-blogging Topic Based on the Topic Influence
YANG Jing;DONG Yuan;ZHANG Jian-pei;College of Computer Science and Technology;Harbin Engineering University;
YANG Jing;DONG Yuan;ZHANG Jian-pei;College of Computer Science and Technology;Harbin Engineering University;
..............page:1939-1942
Enhancing Trust Networks Using Asymmetric Similarity for Recommendation
GUO Jing-feng;ZHANG Ji-long;ZHANG De-bin;LIU Yuan-ying;College of Information Science and Engineering;Yanshan University;Key Laboratory for Computer Virtual Technology and System Integration of Hebei Province;Hebei Education Examinations Authority;College of Information Technology;Hebei University of Economics and Business;
GUO Jing-feng;ZHANG Ji-long;ZHANG De-bin;LIU Yuan-ying;College of Information Science and Engineering;Yanshan University;Key Laboratory for Computer Virtual Technology and System Integration of Hebei Province;Hebei Education Examinations Authority;College of Information Technology;Hebei University of Economics and Business;
..............page:1943-1947
Load Balancing Task Scheduling Algorithm Based on Tabu Search in Cloud Computing
SUN Ling-yu;LENG Ming;ZHU Ping;LI Jin-zhong;Department of Computer Science;Jinggangshan University;Department of Electrical Engineering;University of California;
SUN Ling-yu;LENG Ming;ZHU Ping;LI Jin-zhong;Department of Computer Science;Jinggangshan University;Department of Electrical Engineering;University of California;
..............page:1948-1952
Research of Software Fault Location Based on Multi-layer Spectra
YE Jun-min;HE Yin-biao;CHEN Shu;DONG Wei;SHU Shao-xian;Department of Computer Science;School of Central China Normal University;Department of Computer Science;School of National University of Defense Technology;
YE Jun-min;HE Yin-biao;CHEN Shu;DONG Wei;SHU Shao-xian;Department of Computer Science;School of Central China Normal University;Department of Computer Science;School of National University of Defense Technology;
..............page:1953-1957
Integrating Occupancy into a Frequency-based Collaborative Filtering Algorithm
YUAN Fu-yong;GAO Hui-min;LI Hui-qing;LIANG Shun-pan;Information Science and Engineering College;Yanshan University;The Basic Computer Teaching Experiment Center;Information Science and Engineering College;Yanshan University;The Key Laboratory for Computer Virtual Technology and System Integration of Hebei Province;
YUAN Fu-yong;GAO Hui-min;LI Hui-qing;LIANG Shun-pan;Information Science and Engineering College;Yanshan University;The Basic Computer Teaching Experiment Center;Information Science and Engineering College;Yanshan University;The Key Laboratory for Computer Virtual Technology and System Integration of Hebei Province;
..............page:1958-1962
Improve Dialogue Short Text Clustering by Fusion Form and Semantic Similarity
CHEN Guo-liang;HE Liang;HU Qin-ming;YANG Jing;College of Information Science and Technology;East China Normal University;
CHEN Guo-liang;HE Liang;HU Qin-ming;YANG Jing;College of Information Science and Technology;East China Normal University;
..............page:1963-1967
Density-based Clustering with Extensible Radius for RNA Secondary Structure Prediction
WANG Chang-w u;WANG Xiu-qin;WEI Zhen-zhen;WANG Bao-wen;LIU Wen-yuan;LI Yong-qiang;School of Information Science and Engineering;Yanshan University;The Key Laboratory for Computer Virtual Technology and System Integration of Hebei Province;Department of Information;The First Hospital of Qinhuangdao;
WANG Chang-w u;WANG Xiu-qin;WEI Zhen-zhen;WANG Bao-wen;LIU Wen-yuan;LI Yong-qiang;School of Information Science and Engineering;Yanshan University;The Key Laboratory for Computer Virtual Technology and System Integration of Hebei Province;Department of Information;The First Hospital of Qinhuangdao;
..............page:1968-1972
Study of Redundancy Detection and Software Defects Based on NRefactory
SHOU Neng;ZHAO Feng-yu;School of Optical-Electrical and Computer Engineering;University of Shanghai for Science and Technology;
SHOU Neng;ZHAO Feng-yu;School of Optical-Electrical and Computer Engineering;University of Shanghai for Science and Technology;
..............page:1973-1976
Detecting Stable Communities in Dynamic Networks
CHEN Xiao-qiang;ZHOU Li-hua;CHENG Chao;LONG Ke-zhen;YANG De-pin;School of Information;Yunnan University;
CHEN Xiao-qiang;ZHOU Li-hua;CHENG Chao;LONG Ke-zhen;YANG De-pin;School of Information;Yunnan University;
..............page:1977-1981
Research on Constraint in Role-based Access Control
M A Xiao-pu;ZHAO Li;LI Rui-xuan;School of Computer and Information Technology;Nanyang Normal University;School of Computer Science and Technology;Huazhong University of Science and Technology;
M A Xiao-pu;ZHAO Li;LI Rui-xuan;School of Computer and Information Technology;Nanyang Normal University;School of Computer Science and Technology;Huazhong University of Science and Technology;
..............page:1982-1987
Method to Mine Satellite Abnormal Patterns
XU Yu-hang;PI De-chang;College of Computer Science and Technology;Nanjing University of Aeronautics and Astronautics;
XU Yu-hang;PI De-chang;College of Computer Science and Technology;Nanjing University of Aeronautics and Astronautics;
..............page:1988-1992
Research About Data Sparseness in Sponsored Search Advertising
YANG Yan;HUO Xiao-jun;HE Liang;Department of Computer Science and Technology;East China Normal University;
YANG Yan;HUO Xiao-jun;HE Liang;Department of Computer Science and Technology;East China Normal University;
..............page:1993-1997
Test Case Prioritization Method Based on Genetic Algorithm
ZHANG Wei-xiang;WEI Bo;DU Hui-sen;Beijing Institute of Tracking and Telecommunications Technology;
ZHANG Wei-xiang;WEI Bo;DU Hui-sen;Beijing Institute of Tracking and Telecommunications Technology;
..............page:1998-2002
Document Recommendation Based on Fusion of Time-awareness and User Interests Importance Degree
CHENG Shu-lin;LIU Yue-jun;School of Computer and Information;Anqing Normal University;School of Software Engineering;Anyang Normal University;
CHENG Shu-lin;LIU Yue-jun;School of Computer and Information;Anqing Normal University;School of Software Engineering;Anyang Normal University;
..............page:2003-2008
Research of Elements Name Similarity Metrics for Ontology Mapping
SUN Yu-fei;M A Liang-li;GUO Xiao-ming;SU Kai;Department of Computer Engineering;Naval University of Engineering;
SUN Yu-fei;M A Liang-li;GUO Xiao-ming;SU Kai;Department of Computer Engineering;Naval University of Engineering;
..............page:2009-2014
Automatic Software Test Data Generation Based on DPPSO
DONG Yue-hua;DAI Yu-qian;School of Information Engineering;Jiangxi University of Science and Technology;
DONG Yue-hua;DAI Yu-qian;School of Information Engineering;Jiangxi University of Science and Technology;
..............page:2015-2020
Research on the Evolutionary Trend of Flattened Internet Topology
LIU Xiao;ZHAO Hai;WANG Jin-fa;WANG Shuo;JIA Si-yuan;College of Information Science and Engineering;Northeastern University;
LIU Xiao;ZHAO Hai;WANG Jin-fa;WANG Shuo;JIA Si-yuan;College of Information Science and Engineering;Northeastern University;
..............page:2021-2025
Content-based Message Routing Algorithm in WInternet
YE Chen;ZHI Hai-bang;Department of Computer Science and Technology;Tongji University;Key Laboratory of Embedded System and Services Computing;Ministry of Education;Tongji University;
YE Chen;ZHI Hai-bang;Department of Computer Science and Technology;Tongji University;Key Laboratory of Embedded System and Services Computing;Ministry of Education;Tongji University;
..............page:2026-2030
Parking Guidance and Information System Based on Wireless Magnetic Node
WANG Xing-fu;JI Na;MAO Xu-fei;School of Computer Science and Technology;University of Science and Technology of China;School of Software;Tsinghua University;
WANG Xing-fu;JI Na;MAO Xu-fei;School of Computer Science and Technology;University of Science and Technology of China;School of Software;Tsinghua University;
..............page:2031-2036
An Adaptive Resource Allocation Method for Task QoS Improvement in Wireless Sensor Networks
ZHANG Shun-hua;LIU Zhang-hui;GUO Wen-zhong;College of Mathematics and Computer Science;Fuzhou University;Fujian Provincial Key Laboratory of Network Computing and Intelligent Information Processing;
ZHANG Shun-hua;LIU Zhang-hui;GUO Wen-zhong;College of Mathematics and Computer Science;Fuzhou University;Fujian Provincial Key Laboratory of Network Computing and Intelligent Information Processing;
..............page:2037-2041
HashESU: Efficient Algorithm for Identifying Motifs in Biological Networks
ZHAO Jing;ZHONG Cheng;School of Computer and Electronics and Information;Guangxi University;
ZHAO Jing;ZHONG Cheng;School of Computer and Electronics and Information;Guangxi University;
..............page:2042-2046
Real-time Complex Event Processing Engine in Internet of Things
LI Xiang;GAO Hong-ju;QIAO Ying;WANG Hong-an;College of Information and Electrical Engineering;China Agricultural University;Institute of Software;Chinese Academy of Sciences;
LI Xiang;GAO Hong-ju;QIAO Ying;WANG Hong-an;College of Information and Electrical Engineering;China Agricultural University;Institute of Software;Chinese Academy of Sciences;
..............page:2047-2053
Study on the t1/ k-diagnosability of the Exchanged Hypercube Networks
HUANG Ying;LIANG Jia-rong;YE Liang-cheng;School of Science;Electronics and Information Guangxi University;
HUANG Ying;LIANG Jia-rong;YE Liang-cheng;School of Science;Electronics and Information Guangxi University;
..............page:2054-2057
Method for the Design and Implementation of the Addressbook in Presence Mechanism
LIN Hu;LIU Dan-feng;YANG Hai-bo;Shenyang Institute of Computer Technology;Chinese Academy of Science;University of Chinese Academy of Sciences;
LIN Hu;LIU Dan-feng;YANG Hai-bo;Shenyang Institute of Computer Technology;Chinese Academy of Science;University of Chinese Academy of Sciences;
..............page:2058-2061
Software Protection Method Defending Dynamic Attack in White-box Environment
XU Guang-lian;FANG Ding-yi;WANG Huai-jun;LI Guang-hui;HE Lu;Department of Computer Science and Technology;Northwest University;NWU-Irdeto Net-Security Joint Laboratory;Department of Computer Science and Engineering;Xi’an University of Technology;
XU Guang-lian;FANG Ding-yi;WANG Huai-jun;LI Guang-hui;HE Lu;Department of Computer Science and Technology;Northwest University;NWU-Irdeto Net-Security Joint Laboratory;Department of Computer Science and Engineering;Xi’an University of Technology;
..............page:2062-2066
Research of Software Safety Analysis Based on Fault-extended SysML Activity Diagram
CAO De-jian;HUANG Zhi-qiu;KAN Shuang-long;HUANG Chuan-lin;College of Computer Science and Technology;Nanjing University of Aeronautics and Astronautics;
CAO De-jian;HUANG Zhi-qiu;KAN Shuang-long;HUANG Chuan-lin;College of Computer Science and Technology;Nanjing University of Aeronautics and Astronautics;
..............page:2067-2074
Real-time Simulation of Water Surface in the Wind
TANG Yong;HONG Qian;ZHANG Li-hui;LV Meng-ya;The College of Information Science and Engineering;Yanshan University;The Key Laboratory for Computer Virtual Technology and System Integration of Hebei Province;Environmental Management College of China;
TANG Yong;HONG Qian;ZHANG Li-hui;LV Meng-ya;The College of Information Science and Engineering;Yanshan University;The Key Laboratory for Computer Virtual Technology and System Integration of Hebei Province;Environmental Management College of China;
..............page:2075-2078
Facial Variation Dictionary Learning Based Single Sample Face Recognition
CAI Jun;CHEN Jing;LIANG Xing;Beijing Institute of Technology;
CAI Jun;CHEN Jing;LIANG Xing;Beijing Institute of Technology;
..............page:2079-2083
An Anti-occlusion Object Tracking Algorithm Based on Maximum Posterior Probability
CAO Jie;ZHU Xiao-qin;WANG Jin-hua;WU Di;College of Computer and Communication;Lanzhou University of Technology;Technology & Research Center of Gansu Manufacturing Information Engineering;College of Electrical and Information Engineering;Lanzhou University of Technology;
CAO Jie;ZHU Xiao-qin;WANG Jin-hua;WU Di;College of Computer and Communication;Lanzhou University of Technology;Technology & Research Center of Gansu Manufacturing Information Engineering;College of Electrical and Information Engineering;Lanzhou University of Technology;
..............page:2084-2089
Image Spatial Filtering Method Based on Interactive Differential Evolution Strategy
LIU Gang;PENG Jun-zhe;CHEN Jie;XIONG Cai-quan;Computer School;Hubei University of Technology;
LIU Gang;PENG Jun-zhe;CHEN Jie;XIONG Cai-quan;Computer School;Hubei University of Technology;
..............page:2090-2095
..............page:2095
Point Cloud Data Registration Based on Boundary Detection by the Center of Mass Distance Feature
WANG Yong;TANG Jing;RAO Qin-fei;YUAN Chao-yan;College of Computer Science and Engineering;Chongqing University of Technology;
WANG Yong;TANG Jing;RAO Qin-fei;YUAN Chao-yan;College of Computer Science and Engineering;Chongqing University of Technology;
..............page:2096-2101
Capture Data Transition by Combining HMM-based Hidden Primitives and Bayes Rule
PENG Shu-juan;HONG Xiao-jiao;LIU Xin;College of Computer Science and Technology;Huaqiao University;
PENG Shu-juan;HONG Xiao-jiao;LIU Xin;College of Computer Science and Technology;Huaqiao University;
..............page:2102-2107
Novel Method of Mean Quantization Digital Watermarking Based on Lifting Wavelet Transform
QU Da-peng;FAN Tie-sheng;LU Gui-qiang;DOU Chun-yi;XUE Jian-sheng;College of Information;Liaoning University;Information and Resource Construction Center;Liaoning Radio and Television University;
QU Da-peng;FAN Tie-sheng;LU Gui-qiang;DOU Chun-yi;XUE Jian-sheng;College of Information;Liaoning University;Information and Resource Construction Center;Liaoning Radio and Television University;
..............page:2108-2111
Foreground Detection Based on Feature Recognition in Time-domain
ZHAO Kun;CHEN Yu-feng;WU Wen-zhe;LIU Shi-kai;Beijing Institute of Technology Virtual Reality Laboratory;
ZHAO Kun;CHEN Yu-feng;WU Wen-zhe;LIU Shi-kai;Beijing Institute of Technology Virtual Reality Laboratory;
..............page:2112-2115
Combining Modified Dispersion Relationship and Stage Sampling for Real-time Ocean Shading
LV M eng-ya;GUO Pei-zan;TANG Yong;College of Information Science and Engineering;Yanshan University;The Key Laboratory for Computer Virtual Technology and System Integration of Hebei Province;
LV M eng-ya;GUO Pei-zan;TANG Yong;College of Information Science and Engineering;Yanshan University;The Key Laboratory for Computer Virtual Technology and System Integration of Hebei Province;
..............page:2116-2119
Region-guided Frame Interpolation Algorithm for Image Sequences
ZI Ling-ling;CONG Xin;School of Electronic and Information Engineering;Liaoning Technical University;
ZI Ling-ling;CONG Xin;School of Electronic and Information Engineering;Liaoning Technical University;
..............page:2120-2124
Formal Verification of Distributed Real-time Operating System Task Scheduling Based on PRISM
HUO Yan-yan;GUAN Yong;LI Xiao-juan;WANG Rui;ZHANG Jie;WEI Hong-xing;Beijing Key Laboratory of Electronic System Reliability Technology;Capital Normal University;College of Information Science & Technology;Beijing University of Chemical Technology;School of Mechanical Engineering and Automation;Beijing University of Aeronautics & Astronautics;
HUO Yan-yan;GUAN Yong;LI Xiao-juan;WANG Rui;ZHANG Jie;WEI Hong-xing;Beijing Key Laboratory of Electronic System Reliability Technology;Capital Normal University;College of Information Science & Technology;Beijing University of Chemical Technology;School of Mechanical Engineering and Automation;Beijing University of Aeronautics & Astronautics;
..............page:2125-2129
Research of Microprocessor Verification Technique Based on Multi-simulator Co-simulation
SONG Hui-jing;ZHAO Tian-lei;WU Hu-cheng;ZHANG M in-xuan;College of Computer;National Univerdity of Defense Technology;
SONG Hui-jing;ZHAO Tian-lei;WU Hu-cheng;ZHANG M in-xuan;College of Computer;National Univerdity of Defense Technology;
..............page:2130-2134
Design and Implementation of Display Control Unit with Dual Monitor Support for Graphic Process Unit
REN Xiang-long;TIAN Ze;ZHANG Jun;YAN Zhe;HAN Li-min;Aeronautical Computing Technique Research Institute;
REN Xiang-long;TIAN Ze;ZHANG Jun;YAN Zhe;HAN Li-min;Aeronautical Computing Technique Research Institute;
..............page:2135-2139
Research and Design on Data Allocation Controller of MCP
DAI Le-yu;XU Jin-fu;LI Wei;PLA Information Engineering University;State Key Laboratory of Fudan University Special Integrated Circuit and System;
DAI Le-yu;XU Jin-fu;LI Wei;PLA Information Engineering University;State Key Laboratory of Fudan University Special Integrated Circuit and System;
..............page:2140-2143
Research on Mixed-criticality Real-time Scheduling in Mine Safety Cyber Physical Systems
ZHANG Tian-yu;GUAN Nan;DENG Qing-xu;School of Information Science & Engineering;Northeastern University;
ZHANG Tian-yu;GUAN Nan;DENG Qing-xu;School of Information Science & Engineering;Northeastern University;
..............page:2144-2148
Fault Detection Method Based on Multiway Locally Linear Embedding
GUO Jin-yu;YUAN Tang-ming;LI Yuan;College of Information Engineering;Shenyang University of Chemical Technology;
GUO Jin-yu;YUAN Tang-ming;LI Yuan;College of Information Engineering;Shenyang University of Chemical Technology;
..............page:2149-2152
Dynamic Modeling and Analyzing About CPS in Bigraph
XU Dong;LI Jing;ZHU Gang;School of Computer Engineering and Science;Shanghai University;
XU Dong;LI Jing;ZHU Gang;School of Computer Engineering and Science;Shanghai University;
..............page:2153-2158
Optimization Algorithm for the School Bus Scheduling Problem with School Bell Time Adjustment
CHEN Xiao-pan;KONG Yun-feng;NIU Ning;HOU Yan-e;XIE Yi;Key Laboratory of Geospatial Technology for the Middle and Lower Yellow River Regions;Ministry of Education;College of Computer and Information Engineering;Henan University;
CHEN Xiao-pan;KONG Yun-feng;NIU Ning;HOU Yan-e;XIE Yi;Key Laboratory of Geospatial Technology for the Middle and Lower Yellow River Regions;Ministry of Education;College of Computer and Information Engineering;Henan University;
..............page:2159-2165
..............page:2165
Particle Swarm Optimization Using Adaptive Elite Opposition-based Learning
ZHAO Jia;LV Li;SUN Hui;School of Information Engineering;Nanchang Institute of Technology;
ZHAO Jia;LV Li;SUN Hui;School of Information Engineering;Nanchang Institute of Technology;
..............page:2166-2171
New Class of Kernel Functions Based on Askey-wilson Polynomial
GAO Lei-fu;TONG Pan;College of Science;Liaoning Technical University;
GAO Lei-fu;TONG Pan;College of Science;Liaoning Technical University;
..............page:2172-2176