1000-1220
2015 Issue 3
Formal Verification of Mandatory Access Control for Database Management Systems
ZHU Yi;ZHU Hong;XIE Mei-yi;FENG Yu-cai;School of Computer Science and Technology;Huazhong University of Science and Technology;
ZHU Yi;ZHU Hong;XIE Mei-yi;FENG Yu-cai;School of Computer Science and Technology;Huazhong University of Science and Technology;
..............page:401-407
Research on Safety Verification of Extended SysML Activity Diagram for Embedded System Design
HUANG Chuan-lin;HUANG Zhi-qiu;HU Jun;XU Bing-feng;QU Chang-liang;College of Computer Science and Technology;Nanjing University of Aeronautics and Astronautics;State Key Laboratory for Novel Software Technology;Nanjing University;
HUANG Chuan-lin;HUANG Zhi-qiu;HU Jun;XU Bing-feng;QU Chang-liang;College of Computer Science and Technology;Nanjing University of Aeronautics and Astronautics;State Key Laboratory for Novel Software Technology;Nanjing University;
..............page:408-417
Flexible Collective Entity Resolution Framework in Dataspaces
YANG Dan;SHEN De-rong;NIE Tie-zheng;YU Ge;KOU Yue;Software College;University of Science and Technology Liaoning;School of Information Science and Engineering;Northeastern University;
YANG Dan;SHEN De-rong;NIE Tie-zheng;YU Ge;KOU Yue;Software College;University of Science and Technology Liaoning;School of Information Science and Engineering;Northeastern University;
..............page:418-423
Method Research on Tag Recommendation Based on Ontology Learning
LV Gang;WANG Xiao-feng;HU Chun-ling;Key of Intelligent Computing & Signal Processing;Ministry of Education;Anhui University;Key Laboratory of Network and Intelligent Information Processing;Hefei University;
LV Gang;WANG Xiao-feng;HU Chun-ling;Key of Intelligent Computing & Signal Processing;Ministry of Education;Anhui University;Key Laboratory of Network and Intelligent Information Processing;Hefei University;
..............page:424-426
Research of Version Control Technology Using Incremental Storage in Cloud Synchronization System
ZHANG Lian;LI Jing;LIU Wei-qing;School of Computer Science and Technology;University of Science and Technology of China;
ZHANG Lian;LI Jing;LIU Wei-qing;School of Computer Science and Technology;University of Science and Technology of China;
..............page:427-432
A Novel Method for Short-term Attitude Prediction of Satellite Dealing with Telemetry Data
ZHONG Zu-hua;PI De-chang;College of Computer Science and Technology;Nanjing University of Aeronautics and Astronautics;
ZHONG Zu-hua;PI De-chang;College of Computer Science and Technology;Nanjing University of Aeronautics and Astronautics;
..............page:433-438
WDRR: A Weighted Multi-dimensional Case-based Reasoning Algorithm
WANG Jing-bin;HU Xuan;ZENG Yi-qun;ZHANG Yan-qin;College of Mathematics and Computer Science;Fuzhou University;
WANG Jing-bin;HU Xuan;ZENG Yi-qun;ZHANG Yan-qin;College of Mathematics and Computer Science;Fuzhou University;
..............page:439-444
Load Balance Based Dynamic Delay Scheduling Mechanism
TAO Yong-cai;LI Wen-jie;SHI Lei;LIU Lei;WEI Lin;CAO Yang-jie;School of Information Engineering;Zhengzhou University;Nanyang Cigarette Factory;Henan Tobacco Industry Co.;Ltd.;School of Software;Zhengzhou University;
TAO Yong-cai;LI Wen-jie;SHI Lei;LIU Lei;WEI Lin;CAO Yang-jie;School of Information Engineering;Zhengzhou University;Nanyang Cigarette Factory;Henan Tobacco Industry Co.;Ltd.;School of Software;Zhengzhou University;
..............page:445-449
Degree of Item Correlation Based STI for New Community Cold Start Recommendation
WANG Lei;ZHAO Qing-jian;LUO Xing-feng;Department of Management Science and Engineering;Nanjing Forestry University;School of Computer Science and Engineering;Southeast University;Hangzhou Shuyun Co.;Ltd;
WANG Lei;ZHAO Qing-jian;LUO Xing-feng;Department of Management Science and Engineering;Nanjing Forestry University;School of Computer Science and Engineering;Southeast University;Hangzhou Shuyun Co.;Ltd;
..............page:450-453
Research on Interval Sets Reconstruction and Approximation Measurement of the Temporal with Semantics Uncertainty
CHEN Lei;ZUO Ya-yao;FENG Chao-yong;Faculty of Computer;Guangdong University of Technology;DNSLAB;China Internet Network Information Center;
CHEN Lei;ZUO Ya-yao;FENG Chao-yong;Faculty of Computer;Guangdong University of Technology;DNSLAB;China Internet Network Information Center;
..............page:454-459
Local Outlier Detection in Related Subspaces
LI Yong-hong;ZHANG Ji-fu;XUN Ya-ling;School of Science and Technology;Taiyuan University of Science and Technology;
LI Yong-hong;ZHANG Ji-fu;XUN Ya-ling;School of Science and Technology;Taiyuan University of Science and Technology;
..............page:460-465
Research on Adaptive Threshold Mechanism in Live Migration of Virtual Machine
CUI Yong;LIN Yu-song;LI Run-zhi;WANG Zong-min;Institute of Information Engineering;Zhengzhou University;Henan Provincial Key Lab on Information Networking;Zhengzhou University;
CUI Yong;LIN Yu-song;LI Run-zhi;WANG Zong-min;Institute of Information Engineering;Zhengzhou University;Henan Provincial Key Lab on Information Networking;Zhengzhou University;
..............page:466-470
New Dynamic Evaluation Protocol of Multipath QoS Based on Relay in Overlay Network
CHEN Xiao;LEI Wei-min;ZHANG Wei;GUAN Yun-chong;College of Information Science and Engineering;Northeastern University;College of Software;Shenyang Normal University;
CHEN Xiao;LEI Wei-min;ZHANG Wei;GUAN Yun-chong;College of Information Science and Engineering;Northeastern University;College of Software;Shenyang Normal University;
..............page:471-477
A Robust Segmented Multicast Routing Algorithm in Wireless Sensor Network
CHEN Xi;HONG Pei-lin;LU Hao;The Information Network Lab of EEIS Department;University of Science and Technology of China;
CHEN Xi;HONG Pei-lin;LU Hao;The Information Network Lab of EEIS Department;University of Science and Technology of China;
..............page:478-482
Traceback Mechanism Based on Neighbor Information in Wireless Sensor Networks
ZHANG Shu-guang;ZHOU Xue-hai;YANG Feng;XU Jun;School of Computer Science and Technology;University of Science and Technology of China;School of Electronics and Information Engineering;Anhui Jian Zhu University;
ZHANG Shu-guang;ZHOU Xue-hai;YANG Feng;XU Jun;School of Computer Science and Technology;University of Science and Technology of China;School of Electronics and Information Engineering;Anhui Jian Zhu University;
..............page:483-487
Study of Incentive Mechanism with Punish-reward Under Evolutionary Game Framework
LU Kun;WANG Shi-yu;XIE Ling;LI Ming-chu;School of Software;Dalian University of Technology;
LU Kun;WANG Shi-yu;XIE Ling;LI Ming-chu;School of Software;Dalian University of Technology;
..............page:488-492
Routing Algorithm for Ad Hoc Networks Based on Location Prediction
SHA Yi;LI Na;ZHANG Li-li;ZHU Li-chun;ZHANG Zhi-wei;College of Information Science & Engineering;Northeastern University;National Astronomical Observatories;Chinese Academy of Sciences;
SHA Yi;LI Na;ZHANG Li-li;ZHU Li-chun;ZHANG Zhi-wei;College of Information Science & Engineering;Northeastern University;National Astronomical Observatories;Chinese Academy of Sciences;
..............page:493-496
Survey on the Fuzzing Technology in Industrial Network Protocols
XIONG Qi;PENG Yong;YI Sheng-wei;DAI Zhong-hua;WANG Ting;China Information Technology Security Evaluation Center;
XIONG Qi;PENG Yong;YI Sheng-wei;DAI Zhong-hua;WANG Ting;China Information Technology Security Evaluation Center;
..............page:497-502
Heterogeneous Wireless Sensor Networks for Continuously Tracking Mobile Targets
WANG Tian;PENG Zhen;CHEN Yong-hong;TIAN Hui;CAI Yi-qiao;College of Computer Science & Technology;Huaqiao University;Department of Computing;Hong Kong Polytechnic University;
WANG Tian;PENG Zhen;CHEN Yong-hong;TIAN Hui;CAI Yi-qiao;College of Computer Science & Technology;Huaqiao University;Department of Computing;Hong Kong Polytechnic University;
..............page:503-507
Clustering Algorithm and Adaptive Routing Algorithm for Three-dimensional Ad Hoc Network
TONG Ning;HUN Jie-xu;LI Han;School of Software Technology;Dalian Jiaotong University;School of Foreign Languages;Dalian Jiaotong University;Department of Computer Science and Engineering;Dalian University of Technology;
TONG Ning;HUN Jie-xu;LI Han;School of Software Technology;Dalian Jiaotong University;School of Foreign Languages;Dalian Jiaotong University;Department of Computer Science and Engineering;Dalian University of Technology;
..............page:508-513
..............page:513
Invertible Proactive Secret Image Sharing
FENG Bin;YUAN Qiong-qiong;GUO Cheng;ZHANG Huan;LI Ming-chu;Software School;Dalian University of Technology;
FENG Bin;YUAN Qiong-qiong;GUO Cheng;ZHANG Huan;LI Ming-chu;Software School;Dalian University of Technology;
..............page:514-519
..............page:519
Fair Quantum Bind Signature Scheme Based on Greenberger-Horne-Zeilinger States
WANG Ning;GUO Gong-de;LIN Song;School of Mathematics and Computer Science;Fujian Normal University;Key Lab of Network Security and Cryptography;Fujian Normal University;
WANG Ning;GUO Gong-de;LIN Song;School of Mathematics and Computer Science;Fujian Normal University;Key Lab of Network Security and Cryptography;Fujian Normal University;
..............page:520-523
A Biometric-based Agreement Key Protocol Using Extended Chaotic Maps
SHU Jian;Department of Electronic Commercial;University of Jiangxi Financial Economics;
SHU Jian;Department of Electronic Commercial;University of Jiangxi Financial Economics;
..............page:524-528
..............page:528
Research and Implementation of GPU Parallel AES Algorithm Based on CTR Model
FEI Xiong-wei;LI Ken-li;YANG Wang-dong;Department of Information Science and Engineering;Hunan City University;College of Computer Science and Engineering;Hunan University;
FEI Xiong-wei;LI Ken-li;YANG Wang-dong;Department of Information Science and Engineering;Hunan City University;College of Computer Science and Engineering;Hunan University;
..............page:529-533
Security Research of the Trusted Computing Enhance the P2P Technology in the Cloud Environment
ZHU Bian;REN Guo-heng;ZHU Hai;WANG Hong-feng;School of Computer Science and Technology;Zhoukou Normal University;The Key Lab of the Ministry of Education for Process Control and Efficiency Engineering;Xi’an Jiaotong University;
ZHU Bian;REN Guo-heng;ZHU Hai;WANG Hong-feng;School of Computer Science and Technology;Zhoukou Normal University;The Key Lab of the Ministry of Education for Process Control and Efficiency Engineering;Xi’an Jiaotong University;
..............page:534-538
Construction of One-way Hash Function Based on Spatiotemporal Chaotic System with Double-pertubation
LI Hui-jia;LONG Min;School of Computer and Communication Engineering;Changsha University of Science and Technology;
LI Hui-jia;LONG Min;School of Computer and Communication Engineering;Changsha University of Science and Technology;
..............page:539-543
An Algorithm of Backward Cloud without Certainty Degree
CHEN Hao;LI Bing;LIU Chang-yu;School of Computer Science and Information Engineering;Hubei University;International School of Software;Wuhan University;College of Science;PLA University of Science and Technology;
CHEN Hao;LI Bing;LIU Chang-yu;School of Computer Science and Information Engineering;Hubei University;International School of Software;Wuhan University;College of Science;PLA University of Science and Technology;
..............page:544-549
Study of Checking Temporal and Measure Property for Probabilistic ZIA
NI Shui-mei;CAO Zi-ning;College of Computer Science and Technology;Nanjing University of Aeronautics and Astronautics;National Key Laboratory of Civil Aircraft Flight Simulation;
NI Shui-mei;CAO Zi-ning;College of Computer Science and Technology;Nanjing University of Aeronautics and Astronautics;National Key Laboratory of Civil Aircraft Flight Simulation;
..............page:550-555
Optimizing Ontology Alignment Through Hybrid Multi-object Evolutionary Algorithm
XUE Xing-si;School of Information Science and Engineering;Fujian University of Technology;
XUE Xing-si;School of Information Science and Engineering;Fujian University of Technology;
..............page:556-560
Discovery Algorithm of Opinion Leaders Based on User Influence
WU Yu;MA Lu-lu;LIN Mao;LIU Hong-tao;Institute of Web Intelligence;Chongqing University of Posts and Telecommunications;
WU Yu;MA Lu-lu;LIN Mao;LIU Hong-tao;Institute of Web Intelligence;Chongqing University of Posts and Telecommunications;
..............page:561-565
Fast Multi-scale Community Detection Algorithm Based on Stability Optimization
LI Hui-jia;School of Management Science and Engineering;Central University of Finance and Economics;
LI Hui-jia;School of Management Science and Engineering;Central University of Finance and Economics;
..............page:566-571
Improved Steganalysis for MP3Stego Using Side Information Feature
LI You-yong;PAN Feng;SHEN Jun-wei;Key Laboratory of Network and Information Security Under the Chinese Armed Police Force;Electronic Department;Engineering College of Armed Police Force;
LI You-yong;PAN Feng;SHEN Jun-wei;Key Laboratory of Network and Information Security Under the Chinese Armed Police Force;Electronic Department;Engineering College of Armed Police Force;
..............page:572-575
Particle Swarm Optimization Algorithm Combination with the Distribution of Superior Quality Particles
ZHU Rong;JIN Yan-xia;FAN Wei-hua;School of Computer & Control Engineering;North University of China;
ZHU Rong;JIN Yan-xia;FAN Wei-hua;School of Computer & Control Engineering;North University of China;
..............page:576-580
Fast Mode Decision Algorithm in Multi-view Video Coding
YUAN Mei-leng;YANG Zhang;LEI Hai-jun;Shenzhen Polytechnic;College of Information Engineering;Shenzhen University;College of Computer Science & Software Engineering;Shenzhen University;Guangdong Key Laboratory of Popular High Performance Computer;Shenzhen Key Laboratory of Service Computing and Application in Shenzhen;
YUAN Mei-leng;YANG Zhang;LEI Hai-jun;Shenzhen Polytechnic;College of Information Engineering;Shenzhen University;College of Computer Science & Software Engineering;Shenzhen University;Guangdong Key Laboratory of Popular High Performance Computer;Shenzhen Key Laboratory of Service Computing and Application in Shenzhen;
..............page:581-585
Attribute Reduction Algorithm Based on Information Entropy and Ant Colony Optimization
CHEN Ying-yue;CHEN Yu-ming;Center of Economics and Management;Xiamen University of Technology;Department of Computer Science and Technology;Xiamen University of Technology;
CHEN Ying-yue;CHEN Yu-ming;Center of Economics and Management;Xiamen University of Technology;Department of Computer Science and Technology;Xiamen University of Technology;
..............page:586-590
New Remote Sensing Image Sub-pixel Registration of Spatial and Frequency Domain
LI Han-lun;ZHANG Ai-wu;HU Shao-xing;HUANG Hui-juan;CANG Xue-zhi;SUN Wei-dong;Key Laboratory of 3D Information Acquisition and Application of Ministry;Capital Normal University;School of Mechanical Engineering & Automation;Beihang University;Department of Electronic Engineering;Tsinghua University;
LI Han-lun;ZHANG Ai-wu;HU Shao-xing;HUANG Hui-juan;CANG Xue-zhi;SUN Wei-dong;Key Laboratory of 3D Information Acquisition and Application of Ministry;Capital Normal University;School of Mechanical Engineering & Automation;Beihang University;Department of Electronic Engineering;Tsinghua University;
..............page:591-596
An Efficient Feature Matching Algorithm Based on Space Division Under Multi-resolution
YE Ping;HUANG Yuan-yuan;HU Zuo-jin;DAI Qun;Institute of Computer Sci. & Tech.;Nanjing University of Aeronautics & Astronautics;College of Arts and Science;Nanjing Technical College of Special Education;
YE Ping;HUANG Yuan-yuan;HU Zuo-jin;DAI Qun;Institute of Computer Sci. & Tech.;Nanjing University of Aeronautics & Astronautics;College of Arts and Science;Nanjing Technical College of Special Education;
..............page:597-600
Study on Enhancement Algorithm of License Plate Under Non-uniform Illumination
ZHU Ren-huan;WEI Hai-feng;LU Yi-xiang;SUN Dong;College of Electrical Engineering and Automation;Anhui University;
ZHU Ren-huan;WEI Hai-feng;LU Yi-xiang;SUN Dong;College of Electrical Engineering and Automation;Anhui University;
..............page:601-604
Fast Face Detection in High Resolution Smart Camera
ZHOU Wei-na;CHEN Shu-rong;College of Information and Engineering;Shanghai Maritime University;
ZHOU Wei-na;CHEN Shu-rong;College of Information and Engineering;Shanghai Maritime University;
..............page:605-609
Hand Gesture Detection and Recognition Using Visual Attention and Multi-feature Fusion
YANG Wen-ji;KONG Ling-fu;School of Information Science and Engineering;Yanshan University;School of Software;Jiangxi Agricultural University;
YANG Wen-ji;KONG Ling-fu;School of Information Science and Engineering;Yanshan University;School of Software;Jiangxi Agricultural University;
..............page:610-615
Research on SpaceWire Application Simulation Model Oriented Onboard Data Management System
ZHU Xiao-yan;TAO Li-min;ZHANG Wei-gong;DI Su-ran;Beijing Engineering Research Center of High Reliable Embedded System;Capital Normal University;College of Information Engineering;Capital Normal University;Institute of Spacecraft System Engineering;China Academy of Space Technology;
ZHU Xiao-yan;TAO Li-min;ZHANG Wei-gong;DI Su-ran;Beijing Engineering Research Center of High Reliable Embedded System;Capital Normal University;College of Information Engineering;Capital Normal University;Institute of Spacecraft System Engineering;China Academy of Space Technology;
..............page:616-620
Research of the Open CNC Controller Network Interface Technology
LU Lin;YU Dong;HU Yi;PENG Peng;LU Xiao-hu;LIU Yun;Graduate School of Chinese Academy of Sciences;National Engineering Research Center For High-End CNC;Shenyang Institute of Computing Technology;Chinese Academy of Sciences;Shenyang Golding NC Tech. Co.;Ltd.;
LU Lin;YU Dong;HU Yi;PENG Peng;LU Xiao-hu;LIU Yun;Graduate School of Chinese Academy of Sciences;National Engineering Research Center For High-End CNC;Shenyang Institute of Computing Technology;Chinese Academy of Sciences;Shenyang Golding NC Tech. Co.;Ltd.;
..............page:621-626
High-speed Bit Permutation Implementation Technology
CHANG Zhong-xiang;DAI Zi-bin;LI Wei;MA Chao;PLA Information Engineering University;
CHANG Zhong-xiang;DAI Zi-bin;LI Wei;MA Chao;PLA Information Engineering University;
..............page:627-630
Detection and Tracking of Rolling Caption in Video
LI Qin-rui;LV Xue-qiang;LI Zhuo;LIU Kun;Beijing Key Laboratory of Internet Culture and Digital Dissemination Research;Beijing Information Science and Technology University;Beijing TRS Information Technology Co.;Ltd;
LI Qin-rui;LV Xue-qiang;LI Zhuo;LIU Kun;Beijing Key Laboratory of Internet Culture and Digital Dissemination Research;Beijing Information Science and Technology University;Beijing TRS Information Technology Co.;Ltd;
..............page:631-636
New Combination Method of GMM-SVM Based on PCA for Speaker Verification
ZHUO Zhu;LI Hui;Department of Electronic Science and Technology;University of Science and Technology of China;
ZHUO Zhu;LI Hui;Department of Electronic Science and Technology;University of Science and Technology of China;
..............page:637-640