1Persistence in High Performance Parallel SimulationWANG Xuehui, ZHANG Lei, CHEN Guoqiang, FANG Liang1749-1751,17572Residual Optimization Selection Algorithm of Ocean Data Quality Inspection PlanHUANG Dongmei, CHEN Kuo, WANG Zhenhuang, FENG Tao1752-1757,18443Security Analysis of the Kerberos * Protocol Based on the Modified GNY LogicMA Chenglin, XIAO Meihua, DENG Chunyan, ZHU Ke1758-1762,18824Interactive Evolutionary Algorithm Based on Improved Roulette Wheel Selection StrategyWEI Bo, YU Fei, XU Xing, XIE Chengwang1763-1767,18345Efficiently Verify Security Properties of Woo-Lam Protocol with Spin/PromelaXIAO Meihua, CHENG Daolei, HU Lei1768-1772,19286A Method of Emotion Dictionary Construction and Classification Based on Chinese Micro-blogZHOU Jianfeng, YANG Aimin, ZHOU Yongmei1773-1776,17817CPU and GPU Parallel Computation for Multi-image Homomorphic FilteringYU Yi, ZHONG Cheng, ZHENG Ming, YE Bo1777-1781,19478Multi-user Preferences Top-k Query Processing AlgorithmWU Yunlong, LIU Guohua1782-1786,18489A Primary Research on Overlapping Community Detections in the Social NetworksMA Yuzhe, HE Kun, QIN Leihua, WANG Yan1787-1791,193710Query Optimization for Virtual Attributes in Object Deputy DatabaseLIU Dongming, WANG Liang, WANG Liwei, PENG Zhiyong1792-1797,180711Terminal-pair Reliability Analysis of Path ConstraintSONG Feng, ZHONG Farong, MO Yuchang, PAN Zhusheng1798-1800,181212A Hybrid Information Security Risk Assessment Model Based on DEMATEL-ANP and D-S Evidential TheoryWU Tianshui, ZHAO Gang1801-1807,186213Design and Implementation of Measurement System of Embedded Trusted Computing PlatformZHOU Xiaomei, WANG Dan, QU Haipeng1808-1812,188414A Novel Method of Software Dependability EvaluationLIU Lifeng, YAN Yongquan1813-1816,185215Application of Positive-isolation Gap in Electricity SystemYU Huanan, WU Yunrui, HU Xuchao1817-1818,187416Airport Noise Prediction Method Based on Cube Singular Value DecompositionXU Tao, LU Bing, LV Zonglei, YANG Guoqing1819-1822,191117The Consumption Rules of Certain Weapon System Maintenance Materials Based on GA-SVR ModelCAO Hui, HUANG Shaoluo, KANG Xibing, YAO Yuan1823-182618Emergency Supplies Location of the Repository in Reclamation SystemGAO Hui, DONG Dianwei1827-183019An Attribute Reduction Algorithm for Rough Set Based on Improving Genetic AlgorithmLI Yulong, ZHANG Yaguang, BI Congcong1831-1834,193320Multi Elevator Intelligent Scheduling Algorithm Based on Fuzzy ControlLI Xueyan, LI Daming1835-1838 