Download 17th IEEE/ACIS International Conference on Software Engineering

17th IEEE/ACIS International Conference on Software Engineering, Artificial
Intelligence, Networking and Parallel/Distributed Computing (SNPD 2016)
May 30 - June 1, 2016
Pine City Hotel
Shanghai
China
Technical Program
Monday, May 30, 2016
8:20 – 9:20
9:20 – 9:40
Registration
Opening Remarks
Session Chair: Roger Lee, CEO of ACIS, U.S.A.
Foyer
Jinsong Hall
Prof. Huaikou Miao, Conference Chair
Prof. Gongzhu Hu, President of ACIS
Dr. Yihai Chen, Program Chair
9:40 – 10:00
Coffee Break
Foyer
10:00 – 10:50
First Keynote Address
Jinsong Hall
Session Chair: Roger Lee, Central Michigan University, U.S.A.
“Data Computations for Applied Informatics”
Professor Naohiro Ishii
Aichi Institute of Technology
Yakusacho, Toyota, Japan
10:50– 11:40
Second Keynote Address
Jinsong Hall
Session Chair: Prof. Huaikou Miao, Shanghai University, China
“Social Service Innovations with Information Technologies”
Professor Tokuro Matsuo
Advanced Institute of Industrial Technology, Japan
11:40 – 13:00
Luncheon Banquet
Peony Hall
13:00 – 15:00 Session A1
Algorithms
XiangShan Hall
Session Chair: Prof. Tokuro Matsuo, Advanced Institute of Industrial Technology, Japan
A Self-Organizing Algorithm for Community Structure Analysis in Complex Networks
Hanlin Sun, Wei Jie, Christian Sauer, Sugang Ma, Gang Han, Wei Xing
Automatic Verification of Non-recursive Algorithm of Hanoi Tower by Using Isabelle Theorem Prover
Huazhen Xu , Zhen You, Jinyun Xue
An Efficient Uniform Integrated Advection Algorithm for Finite Time Lyapunov Exponent Field Computation
On GPU and MIC
Wang Fang, Deng Liang, Zhao Dan, Li Sikun
An Improved Model for PM2.5 Inference Based on Support Vector Machine
Yuhan Dong, Hui Wang, Lin Zhang, Kai Zhang
Projection Search For Approximate Nearest Neighbor
Cheng Feng, Bo Yang
Inferring Gene Regulatory Networks Based on Spline Regression and Bayesian Group Lasso
Yue Fan, Qinke Peng
13:00 – 15:00 Session B1
Huashan Hall
7TH INTERNATIONAL WORKSHOP ON INTELLIGENT COMPUTATIONAL SCIENCE (ICS-2016)
Session Chair: Prof. Shaochun Xu, Algoma University, Canada
An Improved Image Matching Method Based on ORB
Letian Li, Lin Wu, Yongcu Gao
Visual Abstraction Improvement of Interactive Dot Map
Di Zhang, Ligu Zhu, Zida Xiao, Lei Zhang
Design, Modeling and Tuning of Modified PID Controller for Autopilot in MAVs
Xu-hui Chen, Ejaz Ul Haq, Jiawei Lin
The Research of The Brain Default Network Using Cascading Algorithm
Ming Ke, Zhao Cao, Zhijing Li, Xiaoping Yang
Adaptive Fuzzy PID Speed Control of DC Belt Conveyor System
Xu-hui Chen, Md Lutfar Rahman, Yin Zhang
Genetic Algorithm Optimization Research Based On Simulated Annealing
Shunan Lan, Weiguo Lin
15:00 – 15:20
Coffee Break
15:20 – 17:20 Session A2
Image Processing Methods and Applications
Foyer
Xiangshan Hall
Session Chair: Prof. Weiwei Du, Kyoto Institute of Technology, Japan
Steganalysis of JPEG Image-Based steganography with Support Vector Machine
Satoshi Watanabe, Kazuki Murakami, Tomoya Furukawa, Qiangfu Zhao
High Resolution Feature Extraction from Optical Coherence Tomography Acquired Internal Fingerprint
Rethabile Khutlang, Nontokozo P Khanyile, Sisanda Makinana, Fulufhelo V Nelwamondo
A Novel and Fast Connected Component Count Algorithm Based on Graph Theory
Sihai Yang, Duansheng Chen, Xian-Hua Han, Yen-Wei Chen
Motion Estimation Method Based on Efficient Memory Bandwidth for HEVC Real-Time EAlgorithm Based on
Graph Theoryncoding
Kodai Miyajima, Gen Fujita
An Improved Unsharp Masking Model for Intensive Care Unit Chest Radiograph Enhancement
Sikai Zhong, Sheng Chen
Features Extraction of Prostate with Graph Spectral Method for Prostate Cancer Detection
Weiwei Du, Yi-peng Liu, Shiyang Wang, Yahui Peng, Aytekin Oto
15:20 – 17:20 Session B2
Huashan Hall
7TH INTERNATIONAL WORKSHOP ON INTELLIGENT COMPUTATIONAL SCIENCE (ICS-2016)
Session Chair: Prof. Xuhui Chen, Xiamen University of Technology, China
Development of Puzzle Game about Children’s Etiquette Based On Unity3D
Jiyuan Li, Wenfeng Hu
Research and Implementation of Media Asset Management Mode
Wang Bo, Zhang Xin
A Novel Multidimensional professionalism evaluation model
Zhengzhong Li, Wenqian Shang, Yuqi Wang
SLACM: Heterogeneous Multilevel Service Aggregation Access Control Model based Situation Logic
Min Wang, Yongbin Wang
Network Security Risk Assessment Method Based on HMM and Attack Graph Model
Si-chao Liu, Yuan Liu
Development of Electrostatic Decay Time Intelligent Test Instrument and Software Design
Hui Li, XiaoHua Shi, KeJun Lin, HongYu Yu
A Comparative Study on Black-Box Testing with Open Source Applications
Shaochun Xu, Lichao Chen, Chunning Wang, Oleksandr Rud
18:00 – 19:30
Dinner Banquet
Peony Hall
Tuesday, May 31, 2016
8:20 – 11:20
8:20 – 10:00
Registration
Session A3 Artificial Intelligence
Foyer
Xiangshan Hall
Session Chair: Prof. Naohiro Ishii, Aichi Institute of Technology, Japan
Ultra High Frequency Polynomial and Cosine Artificial Higher Order Neural Networks
Ming Zhang, Cherui Hu
Hierarchical Latent Semantic Mapping for Automated Topic Generation
Guorui Zhou, Guang Chen
Document Representation Based on Semantic Smooth Topic Model
Ying Liu, Wei Song, Lizhen Liu, Hanshi Wang
A Novel Fuzzy Omni-directional Gait Planning Algorithm for Biped Robot
Xuesi Li, Haobin Shi, Weihao Liang, Ming’ai Dang, Huahui Chen, Shixiong Wang
The Optimization of Beer Recipe Based on nn Improved Ant Colony Optimization
Song Zheng, Xiaoqing Zheng, Chunlin Wang
8:20 – 10:00
Session B3 Cryptography and network Security
Session Chair: Prof. Roger Lee, CEO of ACIS, U.S.A.
Huashan Hall
Network Intrusion Detection System Model Based on Data Mining
Yanjie Zhao
Request Distribution with Pre-Learning for Distributed SSL Reverse Proxies
Haitao Dong, Yiqiang Sheng, Jun Yang
Self-Adaptive Access Control & Delegation in Cloud Computing
Ali Ahmad Malik, Hirra Anwar, Muhammad Awais Shibli
An Efficient Page Replacement Algorithm for PCM-based Mobile Embedded Systems
Seunghoon Yoo, HyokyunBahn
Scheduling Overload for Real-Time Systems using SMT Solver
Zhuo Cheng, Haitao Zhang, Yasuo Tan, Yuto Lim
10:00 – 10:20
Coffee Break
Foyer
10:20 – 12:20 Session A4
Artificial Intelligence
Xiangshan Hall
Session Chair: Prof. Gongzhu Hu, Central Michigan University, U.S.A.
Characteristics of Analysis Methods for the Impression Evaluation Method by Space
Shunsuke Akai, Teruhisa Hochin, Hiroki Nomiya
Team Negotiation Based on Solidarity Behavior: A Concession Strategy in the Team
Jian Wang, Jingqiu Gong
A Hybrid Method for Bilingual Text Sentiment Classification Based On Deep Learning
Guolong Liu, Xiaofei Xu, Bailong Deng, Siding Chen, Li Li
Functional Classification Study for Mathematical Formulas Retrieval
Sai Hong, Wei Su, He Lin, Xianchao Lv
Single-Trial ERP Detecting for Emotion Recognition
Jingfang Jiang, Ying Zeng, Li Tong, Chi Zhang, Bin Yan
A Hybrid Model for Arabic Document Indexing
Souheila Ben Guirat, Ibrahim Bounhasi, Yahia Slimani
10:20 – 12:20 Session B4
Software Specification & Architecture
Session Chair: Dr. Wang Xi, Shanghai University, China
Huashan Hall
Design Patterns Applied for Game Design Patterns
Junfeng Qu, Yinglei Song, Yong Wei
Exploring Topic Models in Software Engineering Data Analysis: A Survey
Xiaobing Sun, Xiangyue Liu, Bin Li, Yucong Duan, Hui Yang, Jiajun Hu
Automatic Support for Formal Specification Construction Using Pattern Knowledge
Xi Wang, Weikai Miao
Verifying RTuinOS using VCC: from Approach to Practice
Hongliang Liang, Daijie Zhang, Xiaodong Jia, Xiaoxiao Jia, Xiaoxiao Pei, Guangyuan Li
A Correct by Construction approach for modeling and formalizing self-adaptive systems
Marwa Hachicha, Emna Dammak, Riadh Ben Halima, Ahmed Hadj Kacem
Optimal Placement of Charging Stations for Electric Taxis in Urban Area with Profit Maximization
Yuhan Dong, Siyuan Qian, Jinxing Liu, Lin Zhang, Kai Zhang
12:20 – 13:20
Luncheon Banquet
13:20 – 15:20 Session A5
Peony Hall
Xiangshan Hall
SOFTWARE QUALITY AND TESTING
Session Chair: Prof. Lizhi Cai, Shanghai Key Laboratory of Computer Software Testing &
Evaluating, China
Complexity Analysis and Comparison of Test Paths Based on DSE
Jiawen Lu, Lizhi Cai, Yang Zhang, Keyi Hong
Evaluating Accuracy and Performance of GPU-Accelerated Random Walk Computation on Heterogeneous
Networks
Jiayu Gong, Yuxin Shen, Lizhi Cai
Evaluating Quality-in-Use of FLOSS through Analyzing User Reviews
Zhenzheng Qian, Chengcheng Wan, Yuting Chen
Research and Practice on the whole Life Cycle Test Process Model
Jiwen Ding, Xiushuang Yi, Jun Guo
Software Test Cases Recommendation System Research based on Collaborative Filtering
Jianxin Ge, Jiaomin Liu
Research on Non-Authorized Privilege Escalation Detection of Android Applications
Yaping Yang, Lizhi Cai, Yanguo Zhang
13:20 – 15:20 Session B5
Huashan Hall
SOFTWARE ENGINEERING FOR CLOUD COMPUTING
Session Chair: Dr. Gui-Sheng Fan, East China University of Science and Technology,China
STNoSQL: Creating NoSQL Database on the SensibleThings Platform
Suna Yin, Dehua Chen, Jiajin Le
On Higher-order Communication of Erlang
Nannan Liu, Xian Xu
A Novel Approach for Efficient Accessing of Small Files in HDFS: TLB-MapFile
Bing Meng, Wei-bin Guo, Gui-sheng Fan, Neng-wu Qian
Ensuring Replication-based Data Integrity and Availability in Multicloud Storage
Xin Pei, Jiuchuan Lin, Bo Jin, Yongjian Wang
Attack-Defense Trees based Cyber Security Analysis for CPSs
Xiang Ji, Hui-Qun Yu, Gui-Sheng Fan, Wen-Hao Fu
An Empirical Study on Recovering Requirement-to-Code Links
Yuchen Zhang, Chengcheng Wan, Bo Jin
15:20 – 15:40
Coffee Break
15:40 – 17:40 Session A6
SECURE AND SCALABLE COMPUTING IN CLOUDS
Foyer
XiangShan Hall
Session Chair : Prof. Quan Qian, Shanghai University, China
Fuzzy Set based Data Publishing For Privacy Preservation
Meng-bo Xie, Quan Qian
P-CP-ABE: Parallelizing Ciphertext-Policy Attribute-Based Encryption for Clouds
Lifeng Li, Xiaowan Chen, Hai Jiang, Zhongwen Li, Kuan-Ching Li
Parallel Image Dehaze Algorithm Based on GPU Using Fuzzy System and Hybrid Evolution Algorithm
Che-Lun Hung, Ren-You Yan, Hsiao-His Wang
A Fuzzy-logic System for the User Interface Usability Measurement
Marwa Hentati, Lasaad Benammar, Abdelwaheb Trabelsi, Adel Mahfouhdi
Enhancing Spatial Data warehouse Exploitation: A SOLAP Recommendation Approach
Saida Aissi, Mohamed Salah Gouider, Tarek Sboui, Lamjed Ben Said
A Deep Learning Approach for VM Workload Prediction in the Cloud
Feng Qiu, Bin Zhang, Jun Guo
An Approach to Improving the Performance of CUDA in Virtual Environments
Zhou Lei, Shenquan Han, Wenfeng Shen, Shenbo Chen, Huiran Zhang, Tao Zhang, Baoyu Xu
15:40 – 17:40 Session B6
COMPUTER ARCHITECTURE
Session Chair: Prof. Huaikou Miao, Shanghai University, China
Huashan Hall
Mechanistic Relationship between Instruction Fetch Width and Basic Block Size to Architectural Vulnerability
Factor
Liu Tang, Zhangqin Huang
A Method for Issue Queue Soft Error Vulnerability Mitigation
Liu Tang, Zhangqin Huang
Composite-based Conflict Resolution in Merging Versions of UML Models
Hao Chong, Renwei Zhang, Zheng Qin
A Layered Tone-Mapping Operator Based on Contrast Enhanced Adaptive Histogram Equalization
Shaojun Zhang, Sheng Zhang, Jianhua Pang, Hailong Chen
A Comparative Evaluation of Open-Source Graph Processing Platforms
Xiaohui Pan
Formal Model for Safety Evaluation of Platooning System
Mohamed Garoui
A Hybrid VNS Based Framework for Biomass Transportation
Hiba Yahyaoui, Abdelkader Dekdouk, Saoussen Krichen
Position Orientating PathReverse Ray Tracing Algorithm Based on Cluster Analysis
Fanzeng Kong, Nae Zheng, Guangyi Liu, Xiukun Ren
Wednesday, June 1, 2016
8:20 – 10:00
Session A7
Software Testing
Xiangshan Hall
Session Chair: Prof. Roger Lee, CEO of ACIS, U.S.A.
Detecting Integer Overflow in Windows Binary Executables based on Symbolic Execution
Bin Zhang, Chao Feng, Chaojing Tang, Bo Wu
A Framework for Test Data Generation of Object-oriented Programs Based on Complete Testing Chain
Gang Li, Lei Yu, Huihui Sun
A Method of Metamorphic Relations Constructing for Object-oriented Software Testing
Xinglong Zhang, Lei Yu, Xuemei Hou
MLSA: A Static Bugs Analysis Tool based on LLVM IR
Hongliang Liang, Lei Wang, Dongyang Wu
Understanding and Detecting Performance and Security Bugs in IOT Oses
Hongliang Liang, Qian Zhao, Yuying Wang, Haifeng Liu
Test Case Prioritization base on Requirement Correlations
Tingting Ma, Hongwei Zeng, Xiaolin Wang
An Empirical Study on Recovering Requirement-to-Code Links
Yuchen Zhang, Chengcheng Wan, Bo Jin
8:20 – 10:00
Session B7 Mobile/Wireless/AD-HOC Networks
Session Chair: Dr. Guobing Zou, Shanghai University, China
Huashan Hall
Joint Multi-channel Assignment and Routing in Wireless Mesh Network
Changsheng Yin, Ruopeng Yang, Dongdong Wu, Wei Zhu
Percolation Thresholds on Tree-Based Communities of Wireless Sensor Networks
Qiao Li, Baihai Zhang, Zhendong Niu, Lingguo Cui, Bin Wu
Study on Improvement of Fingerprint Matching Algorithm in Wireless LAN Based Indoor Positioning System
Hongyu Wang, Zhanhao Zhao, Jialiang Hu, Zhenxin Qu, Hao Feng
A Novel Compact Antenna Design for Secure eHealth Wireless Applications
M. Aziz ul Haq, M. Arif Khan, Md Rafiqul Islam
Facial Expression Classification using Support Vector Machine Based on Bidirectional Local Binary Pattern
Histogram Feature Descriptor
Kiran Talele , Kushal Tuckley
Optimal Many-to-Many Personalized Concurrent Communication in RapidIO-based Fat-trees
Lin Shu, Jie Hao, Yafang Song, Chengcheng Li, Donglin Wang
10:00 – 10:20
Coffee Break
Foyer
10:20 – 12:20 Session A8
Xiangshan Hall
USER MODELING AND PERSONALIZED SERVICE RECOMMENDATION IN SOCIAL NETWORK
Session Chair : Prof. Bofeng Zhang, Shanghai University, China
Computing Uncertain Skyline of Web Services via Interval Number
Guobing Zou, Mei Zhao, Sen Niu, Yanglan Gan, Bofeng Zhang
An Accelerating Approach for Simulating Texture Sharp Transition Mechanism of Pyrocarbon on HexagonalMesh Surface
Mengqi Guo, Qin Li, Wenfeng Shen, Guangren Qian, Huiran Zhang
The Modularity-based Hierarchical Tree Algorithm for Multi-class Classification
Chengwei Gu, Bofeng Zhang, Xinyue Wan, Mingqing Huang, Guobing Zou
Operational Pattern Based Code Generation For Management Information System: An Industrial Case Study
Fagui Mao, Xuyang Cai, Beijun Shen, Yong Xia, Bo Jin
Service Matchmaking with Closed World Reasoning
Wenli Qi, Fangfang Liu
Visual Hand Gesture Recognition with Convolution Neural Network
Mengmeng Han, Jiajun Chen, Ling Li, Yuchun Chang
10:20 – 12:20 Session B8
Huashan Hall
SOFTWARE MAINTENANCE AND EVOLUTION
Session Chair: Prof. Tokuro Matsuo, Advanced Institute of Industrial Technology, Japan
Profiling and Analysis of Object Lazy Allocation in Java Programs
Jianjun Shi, Weixing Ji, Lulu Zhang, Yujin Gao, Han Zhang, Duzheng Qing
Similarity Model Based on CBR and FCA
Chongyang Shi, Linjing Lai, Yu Bai, Jing Fan
Study on the Evolution Process of Nuclear Accident Consequence Assessment
Qian Chen, Qiming Zhang, Yunliang Tao
A Location Based Data Product
Xianming Liu, Li Pan, Hong Zheng, Jingzhao Yuan
Ranking Web Service for High Quality by Applying Improved Entropy-TOPSIS Method
Ruonan Sun, Bin Zhang, Tingting Liu
Intelligent Mailbox With Centralized Parallel
Nabeel Ur Rehman, Adeel Muhammad
12:20 – 13:20
Luncheon Banquet
13:20 – 15:20 Session A9
IMAGE, SPEECH, AND SIGNAL PROCESSING
Peony Hall
Xiangshan Hall
Session Chair：Prof. Naohiro Ishi Aichi Institute of Technology, Japan
Study of Occlusion Problem in Stereo Matching
Jianguo Liu, Xuesong Li, Qin Qin, Hao Zhang
Traffic Sign Detection Based on Cascaded Convolutional Neural Networks
Di Zang, Maomao Bao, Junqi Zhang, Jiujun Cheng, Dongdong Zhang, Keshuang Tang
Sample Reconstruction and Secondary Feature Selection in Noisy Speech Emotion Recognition
Xiaoqing Jiang
Image Segmentation Based on Local Chan-Vese Model Optimized by Max-flow Algorithm
Li Zhongguo, Zeng Lei, Wang Ti, Chen Jian, Yan Bin
Improved Accuracy of Speaker Verification System in Noisy Environment
Nirmala Salam, Rekha Nair
A Fingertips Detection Method Based on the Combination of Centroid and Harris Corner Algorithm
Jiajun Chen, Mengmeng Han, Shu Yang, Yuchun Chang
Bilateral Histogram Equalization with Pre-processing for Contrast Enhancement
Feroz Mahmud, Md. Mostafijur Rahman, Shanto Rahman, Emon Kumar Dey, Mohammad Shoyaib
13:20 – 15:20 Session B9
Huashan Hall
PARALLEL AND DISTRIBUTED COMPUTING
Session Chair： Prof. Gongzhu Hu, Central Michigan University, U.S.A.
RaceTracker: Effective and Efficient Detection of Data Races
Zhen Yang, Zhen Yu, Xiaohong Su, Peijun Ma
A Distributed-memory Parallel Approach for The Generation of Multibillion Element Tetrahedral Meshes
Xiaoqing Wang, Xianlong Jin
Accelerated Diffusion-Based Recommendation on Tripartite Graphs Algorithm with GPU Clusters
Jingpeng Wang, Mi Li, Jie Huang
Paralleled Fast Search and Find of Density Peaks Clustering Algorithm on GPUs with CUDA
Mi Li, Jingpeng Wang, Jie Huang
On Optimal Electric Vehicles Penetration in a Novel Archipelago Microgrids
Qingyu Yang, Zhengan Tan, Dou An, Wei Yu, Xinyu Yang
A Novel Microgrid based Resilient Demand Response Scheme in Smart Grid
Xinyu Yang, Xiaofei He, Jie Lin, Wei Yu, Qingyu Yang
15:40 – 17:30 Session A10
Session Chair： Prof. Naohiro Ishi Aichi Institute of Technology, Japan
Toward Flow-Based Ontology
Sabah Al-Fedaghi
Testing and Code Review Based Effort-Aware Bug Prediction Model
Xiangshan Hall
NETILALITA BHANU
Optimization of Low Characteristic Signal Solid Propellant Formulations Based on Improved GA
Jiuling Zhao and Wenhai Zhang
Improving the Efficiency of Schedulability Tests for Fixed Priority Preemptive Systems
Guangliang Yu, Mengfei Yang and Hejie Sun
MIMO Antenna Design for Future 5G Wireless Communication Systems
M. Aziz Ul Haq, M. Arif Khan and Rafiqul Islam
A GPU accelerated finite element method of the bioheat transfer equation for ultrasound thermal ablation
Georgios Kalantzis, Warner Miller, Wolfgang Tichy and Suzanne Leblang
15:40 – 17:30 Session B10
Session Chair： Prof. Gongzhu Hu, Central Michigan University, U.S.A.
Huashan Hall
Covariance estimation for Vertically partitioned data in a Distributed environment
Aruna Govada and Sanjay K.Sahay
Justifying the Transition from Trustworthiness to Resiliency via Generation of Safety Cases
Chung-Ling Lin, Wuwei Shen and Steven Drager
Design of Decentralized Inter-Cell Interference Coordination Scheme in LTE Downlink System
Yen-Wen Chen and KangHao Loi
Select and Test (ST) Algorithm for Medical Diagnostic Reasoning
Irosh Fernando and Frans Henskens
Detection of Dengue Epidemic in Dhaka
Mohammad Rashedur Rahman
A Design of Context-Aware Framework for Conditional Preferences of Group of Users
Reza Khoshkangini
17:30 – 17:40
Closing Remarks
Thanks for Your Participation!
See You All at SNPD 2017 in Japan Next Year!