Data Race Condition Analysis of Embedded Multi Thread Program Based on SMT SolverRONG Hui, PAN Youshun, WANG Yanling, ZHOU Zukun, WANG Xiaoliang424-428
Method for Calculating the Distance Between Process Models Based on the Correlation Matrix of Petri NetWU Yafeng, TAN Wenan429-436
Research on Selection of Shap Function in Flexible Multi-body System DynamicsZHAO Yang, WANG Deshi437-444,458
New Joint Algorithm for Parameter Estimation of Frequency-Hopping SignalsZHANG Zhibao, SUN Weitao, LUO Wenfeng, ZHANG Li445-448,453
Mining Model of Stock Market Based on Improved Apriori Algorithm and Genetic AlgorithmHE Yunfeng454-458
Research on the Allocation of Missile Combat Missions Based on AHP and Genetic AlgorithmYANG Xiao, WANG Yumei459-464,478
