Computer Applications and Software 2015 Issue 12 A STATIC ANALYSIS APPROACH FOR Verilog BASED ON CONSTRAINT SOLVING

A STATIC ANALYSIS APPROACH FOR Verilog BASED ON CONSTRAINT SOLVING
Huang Saijie;,Chen Mingsong;,Jin Naiyong;

..............page:1-3,87

MODELLING MULTI-GRANULARITY INFORMATION INTERACTION NETWORK MODEL BASED ON INFORMATION VALUE CHAIN
Jiang Lifeng;,Zhang Fengming;,Yang Rennong;,Xu Kun;

..............page:4-7,67

A QUERY INDEXING FOR DYNAMIC CONTINUOUS QUERIES
Deng Ze;,Liu Wangyang;,Chen Dan;

..............page:8-11,15

FREQUENT ITEMSETS MINING ALGORITHM FOR UNCERTAIN DATA STREAM BASED ON SLIDING WINDOW
Liu Huiting;,Zhou Kaishen;,Zhao Peng;

..............page:12-15

HOT QUERY CONTENT EXTRACTION IN SEARCH ENGINE LOGS
Ren Yuwei;,Lü Xueqiang;,Li Zhuo;,Xu Liping;

..............page:16-21

A METHOD DETERMINING VEHICLE ATTITUDE IN DYNAMIC ENVIRONMENT
Ma Zhenghua;,Yao Hua;,Rong Hailong;

..............page:22-24,63

CURVE CONSTRAINED DELAUNAY TRIANGULATION ALGORITHM AND ITS APPLICATION IN TERRAIN CONSTRUCTION
Sun Jinguang;,Zhou Bo;

..............page:25-28,41

RESEARCH ON WELLBORE TRAJECTORY INCLINATION MEASUREMENT ALGORITHM BASED ON NON-EQUIVALENT CYLINDRICAL SPIRAL MODEL
Zhou Ping'an;,Han Xingli;,Zhang Jingzhou;,Wu Guowen;

..............page:29-33,37

RESEARCH ON DESIGN METHOD OF AVIATION LOGISTICS-ORIENTED DATA EXCHANGE PLATFORM
Wang Chenguang;,Wang Jing;,Zhang Chao;,Ding Jianli;

..............page:34-37

ANALYTICAL EXPLANATION OF FORECASTING ERRORS OF NONSTATIONARY TIME SERIES AFTER LOGARITHMIC TRANSFORM
Yang Zhengling;,Zhang Weitao;,Liu Yadi;,Chen Xi;,Zhang Jun;

..............page:38-41

RELATIONS CLASSIFICATION IN SIGNED SOCIAL NETWORKS BASED ON HETEROGENEOUS FEATURE
Wu Jiehua;,Zhu Anqing;

..............page:42-45,58

RESEARCH ON CROWD SIMULATION BASED ON FIVE-FACTOR PERSONALITY MODEL
Xue Zhuxin;,Fan Xiangtao;

..............page:46-50,174

AN ADAPTIVE RANDOM BACKOFF MECHANISM APPLICABLE FOR S-MAC PROTOCOL
Tao Zhiyong;,Yuan Yongcai;

..............page:51-54

OPTIMISING CHINESE WORD SEGMENTATION BASED ON WEB KNOWLEDGE
Yang Yang;,Wei Xiao;,Qin Chenglei;

..............page:55-58

APPROACH FOR ELECTRIC POWER ENTERPRISE DATA EXCHANGE BASED ON CIM AND XSD
Zhou Yuncheng;,Xu Tongyu;,Fu Lisi;,Piao Zailin;

..............page:59-63

RESEARCH ON NETWORK EMBEDDING PROBLEM IN LOCALLY TWISTED CUBE NETWORK
He Gaoxing;,Liang Jiarong;,Guo Chen;

..............page:64-67

AN IMPROVED WEIGHTED CENTROID LOCALISATION ALGORITHM BASED ON RSSI FOR WIRELESS SENSOR NETWORKS
Shi Wei;,Gao Jun;

..............page:68-70,104

ON AN ASYNCHRONOUS ADAPTIVE ASYMMETRIC SCHEDULING MECHANISM BASED ON QUORUM SYSTEM
Zhang Changsen;,Xing Juan;,Zhao Shangqing;

..............page:71-73,96

DESIGN AND IMPLEMENTATION OF A CENTRALISED ARCHITECTURE NETWORK
Pan Xiaoheng;,Yuan Huaqiang;

..............page:74-79

FORECAST-BASED NODES COLLABORATIVE SCHEDULING ALGORITHM FOR MOVING TARGET TRACKING
Lu Xu;,Yue Lijun;

..............page:80-82,169

POWER ALLOCATION ALGORITHM BASED ON GUARANTEEING COMMUNICATION QUALITY OF CELLULAR USERS IN D2D COMMUNICATION
Han Chunyan;

..............page:83-87

MOBILE NETWORK TRAFFIC PREDICTION AND EARLY WARNING BASED ON IMPROVED LSSVM
Chen Zhu;,Xie Yongping;,Shan Yingrui;

..............page:88-91

DATA AGGREGATION ALGORITHM FOR WIRELESS SENSOR NETWORK BASED ON GAME THEORY
Wang Yong;

..............page:92-96

LOW COST MULTI-POINT RELAY SELECTION ALGORITHM FOR OLSR
Cai Changxu;

..............page:97-100,127

tou gao xu zhi

..............page:封2

A FAST INTRA PREDICTION ALGORITHM OF HEVC BASED ON LOCAL BOUNDARY CHARACTERISTIC
Zhang Jun;,Xiang Xinguang;

..............page:101-104

AVS INTER MODE DECISION ALGORITHM BASED ON GSIM
Bai Wei;

..............page:105-107,113

MULTI-POSE FACE RECOGNITION IN SMALL SAMPLE ENVIRONMENT BASED ON RANDOM FOREST CLASSIFIER AND HAAR FEATURE
Zhou Zhifu;,Wu Huaiyu;,Zhang Zhifen;,Chen Yang;

..............page:108-113

A WEIGHTED LINEAR LOSS SUPPORT VECTOR MACHINE
Liu Jiefang;,Zhao Bin;,Zhou Ning;

..............page:114-117

VIDEO FACE RECOGNITION BASED ON SRNNC AND ADAPTIVE DISTANCE METRIC LEARNING
Zeng Xianhao;,Li Xiangwei;

..............page:118-122,149

FACE DETECTION WITH CORRELATION BASED ON DEEP LEARNING AND PART MODEL
Tan Ping;,Xing Yujuan;,Yu Chengyang;

..............page:123-127

FINGER-KNUCKLE-PRINT RECOGNITION USING BINARY GABOR PATTERN
Dai Lili;,Yang Jian;,Gao Guangwei;

..............page:128-132,144

BODY FEATURE EXTRACTION ALGORITHM BASED ON DOUBLE-LEVEL DIVERSITY
Han Junhao;,Zhao Huaixun;,Cheng Peng;,Luo Chaoyu;

..............page:133-135,139

FOOTSTEP RECOGNITION BASED ON LOCAL SPECTROGRAM CHARACTERISTICS AND BAYESIAN DECISION
Yu Yao;,Guo Jianmin;,Wang Xuan;

..............page:136-139

ON FACE RECOGNITION BASED ON MULTI-FEATURE FUSION
Cai Song;,Lu Shuai;

..............page:140-144

DETECTING MICROBLOGGING ZOMBIE FANS BASED ON KRILL HERD IMMUNE NEURAL NETWORK
Yue Hong;,Zhang Zhi;,Yang Ke;

..............page:145-149

FACE RECOGNITION BASED ON FUSING DISCRETE COSINE TRANSFORM AND SUPPORT VECTOR MACHINE
Yang Yongqiang;

..............page:150-153,164

AN IMPROVED CONDENSATION FACIAL FEATURE POINT TRACKING ALGORITHM
Xu Yanbai;

..............page:154-159,213

A COMBINED SOLUTION FOR DAE AND PDE OF CYLINDER-PISTON SYSTEM
Zhang Mingxi;,Zuo Bingquan;,Huang Zhengdong;,Xiong Tifan;

..............page:160-164

DETECTING JPEG IMAGES PROCESSING HISTORY BASED ON BLOCKING ARTIFACTS ANALYSIS
Cai Hao;,Qian Jiansheng;,Li Leida;

..............page:165-169

A PET/CT-BASED PREDICTION MODEL FOR MALIGNANCY PROBABILITY OF SOLITARY PULMONARY NODULES
Pei Bo;,Qiang Yan;,Zhao Juanjuan;

..............page:170-174

A FAST BLIND DETECTION ALGORITHM FOR HORIZONTAL STRIPES DISTURBANCE IN SURVEILLANCE VIDEO
Liu Jiaxiang;,Chen Li;,Zhou Kaihong;

..............page:175-178,230

THRESHOLD SEGMENTATION METHOD FOR C-V MODEL BASED ON PARAMETRIC TOTAL BREGMAN DIVERGENCE
Wang Jice;,Wu Chengmao;

..............page:179-183

A TRANSLATIONAL MOTION ESTIMATION ALGORITHM FOR TARGET IN VIDEO IMAGE
Li Shiyang;,Chu Ze'nan;

..............page:184-187,200

BILATERAL TOTAL VARIATION REGULARISED MAP SUPER-RESOLUTION RECONSTRUCTION ALGORITHM WITH COUPLING PHOTOMETRIC REGISTRATION
Chen Lin;,Yin Weixia;,Lu Rongsheng;

..............page:188-192

IMAGE DENOISING APPROACH BASED ON UNDECIMATED WAVELET DICTIONARY AND SPARSE REPRESENTATION
Ding Fuhuai;,Chang Jinyi;

..............page:193-196,205

MOVING OBJECTS DETECTION BASED ON ADAPTIVE CLASSIFICATION SAMPLE UPDATE
Luo Youzhi;,Xu Weihong;

..............page:197-200

MEDICAL IMAGE REGISTRATION ALGORITHM BASED ON OPTIMISING MUTUAL INFORMATION AND CNN WITH PARTICLE SWARM
Lan Hong;,Jin Shaobin;

..............page:201-205

ON FRACTIONAL DIFFERENTIAL OPERATORS FOR IMAGE EDGE DETECTION
Li Juncheng;

..............page:206-209,221

IMAGE RETRIEVAL USING COMBINED DESCRIPTORS OF ZERNIKE INVARIANT MOMENT AND IMPROVED HOUGH TRANSFORM
Zeng Shuo;,Wang Ling;,Li Kunming;

..............page:210-213

RESEARCH ON QR CODE LOCATING METHOD BASED ON SUB-PIXEL
Ren Hailin;,Cheng Xinyu;,Li Hongjie;

..............page:214-217,260

RESEARCH ON AUTOMATIC RECONSTRUCTION OF RIPPED-UP DOCUMENTS BASED ON CLUSTERING OPTIMISATION MODEL
Zhang Liang;

..............page:218-221

A QUALITY ESTIMATION METHOD FOR SUBJECTIVE CROWDSOURCING IMAGE ANNOTATIONS
Qi Jinquan;

..............page:222-225,301

OPTIMISING SMARTPHONE INERTIAL SENSOR-BASED AIR MOUSE AND ITS IMPLEMENTATION
Duan Jianlei;,Han Peng;,Fan Aijun;,Wang Shaoqing;

..............page:226-230

RESEARCH AND DESIGN OF UNIVERSAL DATABASE COMPONENT TECHNOLOGY IN QT ENVIRONMENT
Min Xiaozhong;,Zhu Linli;

..............page:231-234

EMERGENCY RESOURCES SCHEDULING BASED ON IMPROVED BACKTRACKING SEARCH OPTIMISATION ALGORITHM
Chen Xi;,Liu Sanyang;,Wang Yan;

..............page:235-238

BACTERIA FORAGING OPTIMISATION ALGORITHM BASED ON DIFFERENTIAL EVOLUTION
Wang Yuting;,Li Jun;,Liao Zhouyu;

..............page:239-244,248

HIDDEN-MEMBERSHIP FUZZY C-MEANS CLUSTERING ALGORITHM
Wen Chuanjun;,Wang Qingmiao;,Zhan Yongzhao;

..............page:245-248

SELF-ADAPTIVE DIFFERENTIAL EVOLUTION ALGORITHM FOR MULTI-OBJECTIVE OPTIMISATION
Liu Hongping;,Li Fuhai;

..............page:249-252,269

ON MULTI-INTELLIGENT ROBOT COOPERATIVE LOGISTICS DISTRIBUTION SYSTEM BASED ON GENETIC ALGORITHM
Dai Jiyang;,Yin Linfei;,Yang Baojian;,Wang Cunsong;

..............page:253-256,277

XML INTERVAL ENCODING SCHEME BASED ON MAP-REDUCE
Zhang Huanxiang;,Zhang Xiaolin;,Liu Lixin;,Li Hairong;

..............page:257-260

SOLVING PFSP WITH POSITION AND CONNECTION PROBABILITY-BASED EDA
Zhang Xiaoxia;,Ma Yunyong;

..............page:261-264,273

SOLVING LARGE-SCALE TSP WITH ADAPTIVE HYBRID PSO
Zhang Jiangwei;

..............page:265-269

AUTOMATIC FOCUSING ALGORITHM BASED ON DIFFERENCE EQUATION PREDICTION MODEL
Xie Qi;,Zhang Guang;

..............page:270-273

CLOUD COMPUTING RESOURCE SCHEDULING BASED ON IMPROVED FROG LEAPING ALGORITHM
Li Tingshun;,Li Tieyu;

..............page:274-277

AN ABNORMAL ACTIVITY RECOGNITION METHOD IN SMART HOME BASED ON ONTOLOGY MATCHING
Xu Shoukun;,Kong Ying;

..............page:278-282,325

A STATISTICS-BASED REPUTATION MECHANISM APPLICABLE FOR WSN BEING CAPABLE OF HIBERNATION
Wang Fang;,Wei Zhe;

..............page:283-285,329

LIGHTWEIGHT CA-BASED MOBILE ONLINE PAYMENT PROTOCOL
Wang Jing;,Yang Baohua;,Li Qiao;

..............page:286-289,297

RESEARCH ON CORRELATION POWER ATTACK ON SBOX-INPUT OF SM4 ALGORITHM
Zhang Qi;,Wu Zhen;,Wang Min;,Du Zhibo;,Rao Jintao;

..............page:290-293,333

A KIND OF CLOUD COMPUTING SERVICE AUTHORISATION MECHANISM BASED ON TOKEN-KEY
Li Xun;,Ding Jianhua;,Yang Tao;

..............page:294-297

ON RFID TRIPARTITE MUTUAL AUTHENTICATION PROTOCOL BASED ON PUBLIC KEY CRYPTOSYSTEM
Deng Qiang;,Yang Shiping;

..............page:298-301

IDENTITY-BASED ENCRYPTION ALGORITHM IN WIRELESS SENSOR NETWORKS
Chen Yuan;,Ye Qing;,Li Moci;

..............page:302-304,309

A NEW COLOUR IMAGE ENCRYPTION SCHEME BASED ON COMPOSITE CHAOS
Xie Guobo;,Luo Lutian;

..............page:305-309

GEOSPATIAL DATA ENCRYPTION BASED ON LOGISTIC MAP
Zhu Yingfang;,Zhang Gui;

..............page:310-312

NETWORKS INTRUSION DETECTION BASED ON INTEGRATING K-MEAN CLUSTERING ANALYSIS AND MULTILAYER CORE-SET AGGLOMERATIVE ALGORITHM
Wang Xingzhu;,Yan Junbiao;,Zeng Qinghuai;

..............page:313-315,320

DESIGN AND IMPLEMENTATION OF SECURE FILE SCHEME BASED ON SM1 CRYPTOGRAPHIC ALGORITHM
Liu Dingli;,Zhang Dafang;,Ning Zuoting;,Li Youpeng;

..............page:316-320

DESIGN OF NETWORK TERMINAL AUTHENTICATION MODEL BASED ON TNC
Jin Lei;,Xu Kaiyong;,Li Jianfei;,Yang Tianchi;

..............page:321-325

HAND-SHAPE FEATURE EXTRACTION ALGORITHM BASED ON HOG
Jiang Meiyun;,Guo Lei;,Xu Mengzhu;

..............page:326-329

TRUSTED GROUP RECOMMENDATION BASED ON USERS' SOCIAL RELATIONSHIP
Xing Liyun;

..............page:330-333