Automated library migration reduces refactoring costs but challenges traditional evolutionary algorithms,which often suffer from premature convergence and poor recall in sparse,complex API mapping spaces.To address th...Automated library migration reduces refactoring costs but challenges traditional evolutionary algorithms,which often suffer from premature convergence and poor recall in sparse,complex API mapping spaces.To address this,we propose QIMIG,a multi-objective optimization framework integrating quantum-inspired encoding with quality-aware and greedy heuristic filtering.QIMIG utilizes a probabilistic Q-bit representation to maintain population diversity and avoid local optima.Simultaneously,its heuristic components leverage historical usage context to filter semantic noise and guide the search toward valid mappings.Evaluated on 9 real-world migration rules derived from 57,447 open-source projects,QIMIG statistically significantly outperforms state-of-the-art baselines such as UNSGA-III.The framework achieves a global mean F1-score of 0.92,exceeding the best-performing baseline by an absolute margin of 0.05,and demonstrates strong stability in resolving complex mapping structures.展开更多
Accurate malware identification and family categorization remain significant challenges in large-scale Android software analysis.Although deep learning has surpassed traditional machine learning in performance,its wid...Accurate malware identification and family categorization remain significant challenges in large-scale Android software analysis.Although deep learning has surpassed traditional machine learning in performance,its widespread adoption is hindered by the computational overhead stemming from feature redundancy and the lack of interpretability inherent in its black-box nature.To address these issues,this paper proposes DroidNTA,a DL-based detection model that fuses network traffic and API features.The model first constructs a simplified API Call Graph by extracting the intrinsic structural attributes of applications,and subsequently generates API feature vectors from invocation sequences using a Markov chain algorithm.These are then integrated with dynamic network traffic features to form a final representation vector of the Android instance.To enhance transparency,DroidNTA performs feature contribution analysis by adjusting fusion parameters and employs Shapley values to quantify global feature importance.Experimental results demonstrate that DroidNTA achieves superior performance in both binary and family classification tasks,yielding an accuracy of 99.74%and a gain of over 20%,respectively.We have released our code at http://gffzz188fe103f8f1460as9u5ov6pbuwx969np.ffgz.tsg.suse.edu.cn/joeyyk/DroidNTA.展开更多
A hybrid intelligent approach is proposed to help the decision maker to select the appropriate third-party reverse logistics provider. The following process is included: firstly,the evaluation team is established to d...A hybrid intelligent approach is proposed to help the decision maker to select the appropriate third-party reverse logistics provider. The following process is included: firstly,the evaluation team is established to determine the selection criteria and evaluate them by triangular fuzzy numbers; secondly,calculate the weight of criteria by the proposed hybrid algorithm integrating particle swarm optimization( PSO) and simulated annealing( SA); then, the performance evaluation for each supplier is predicted by the proposed self-feedback neural network( SFBNN) based on the historical data. A numerical example is also presented to interpret the methodology above.展开更多
As the basis of designing and implementing a cyber-physical system (CPS), architecture research is very important but still at preliminary stage. Since CPS includes physical components, time and space constraints seri...As the basis of designing and implementing a cyber-physical system (CPS), architecture research is very important but still at preliminary stage. Since CPS includes physical components, time and space constraints seriously challenge architecture study. In this paper, a service-oriented architecture of CPS was presented. Further, a two-way time synchronization algorithm for CPS service composition was put forward. And a formal method, for judging if actual CPS service meets space constraints, was suggested, which was based on space-π-calculus proposed. Finally, a case study was performed and CPS business process designed by the model and the proposed methods could run well. The application of research conclusion implies that it has rationality and feasibility.展开更多
To improve the accuracy of real-time public transport information release system, a collaborative prediction model was proposed based on cyber-physical systems architecture. In the model, the total bus travel time was...To improve the accuracy of real-time public transport information release system, a collaborative prediction model was proposed based on cyber-physical systems architecture. In the model, the total bus travel time was divided into three parts: running time, dwell time and intersection delay time, and the data were divided into three categories of historical data, static data and real-time data. The bus arrival time was obtained by fusion computing the real-time data in perception layer together with historical data and static data in collaborative layer. The validity of the collaborative model was verified by the data of a typical urban bus line in Shanghai, and 1538 sets of data were collected and analyzed from three different perspectives. By comparing the experimental results with the actual results, it is shown that the experimental results are with higher prediction accuracy, and the collaborative prediction model adopted is able to meet the demand for bus arrival prediction.展开更多
基金partially supported by the Shanghai Yangfan Special Project,24YF2719900Shanghai Soft Science Research Youth Program(25692112700)+1 种基金China Postdoctoral Science Foundation General Program(2024M761927)Shanghai Key Technology R&D Program“Technical Standards”Project(25DZ2201200).
摘要Automated library migration reduces refactoring costs but challenges traditional evolutionary algorithms,which often suffer from premature convergence and poor recall in sparse,complex API mapping spaces.To address this,we propose QIMIG,a multi-objective optimization framework integrating quantum-inspired encoding with quality-aware and greedy heuristic filtering.QIMIG utilizes a probabilistic Q-bit representation to maintain population diversity and avoid local optima.Simultaneously,its heuristic components leverage historical usage context to filter semantic noise and guide the search toward valid mappings.Evaluated on 9 real-world migration rules derived from 57,447 open-source projects,QIMIG statistically significantly outperforms state-of-the-art baselines such as UNSGA-III.The framework achieves a global mean F1-score of 0.92,exceeding the best-performing baseline by an absolute margin of 0.05,and demonstrates strong stability in resolving complex mapping structures.
基金supported by the Shanghai Sailing Program 24YF2720000.
摘要Accurate malware identification and family categorization remain significant challenges in large-scale Android software analysis.Although deep learning has surpassed traditional machine learning in performance,its widespread adoption is hindered by the computational overhead stemming from feature redundancy and the lack of interpretability inherent in its black-box nature.To address these issues,this paper proposes DroidNTA,a DL-based detection model that fuses network traffic and API features.The model first constructs a simplified API Call Graph by extracting the intrinsic structural attributes of applications,and subsequently generates API feature vectors from invocation sequences using a Markov chain algorithm.These are then integrated with dynamic network traffic features to form a final representation vector of the Android instance.To enhance transparency,DroidNTA performs feature contribution analysis by adjusting fusion parameters and employs Shapley values to quantify global feature importance.Experimental results demonstrate that DroidNTA achieves superior performance in both binary and family classification tasks,yielding an accuracy of 99.74%and a gain of over 20%,respectively.We have released our code at http://gffzz188fe103f8f1460as9u5ov6pbuwx969np.ffgz.tsg.suse.edu.cn/joeyyk/DroidNTA.
基金Project of the Shanghai Committee of Science and Technology,China(No.12DZ1510000)
摘要A hybrid intelligent approach is proposed to help the decision maker to select the appropriate third-party reverse logistics provider. The following process is included: firstly,the evaluation team is established to determine the selection criteria and evaluate them by triangular fuzzy numbers; secondly,calculate the weight of criteria by the proposed hybrid algorithm integrating particle swarm optimization( PSO) and simulated annealing( SA); then, the performance evaluation for each supplier is predicted by the proposed self-feedback neural network( SFBNN) based on the historical data. A numerical example is also presented to interpret the methodology above.
基金National High-Tech Research and Development Programs of China( 863 Program) ( No. 2011AA010101,No. 2012AA062203) National Natural Science Foundation of China ( No. 61103069 ) Key Research Project of Shanghai Science and Technology Committee,China( No. 10dz1122600)
摘要As the basis of designing and implementing a cyber-physical system (CPS), architecture research is very important but still at preliminary stage. Since CPS includes physical components, time and space constraints seriously challenge architecture study. In this paper, a service-oriented architecture of CPS was presented. Further, a two-way time synchronization algorithm for CPS service composition was put forward. And a formal method, for judging if actual CPS service meets space constraints, was suggested, which was based on space-π-calculus proposed. Finally, a case study was performed and CPS business process designed by the model and the proposed methods could run well. The application of research conclusion implies that it has rationality and feasibility.
基金Project(2011AA010101) supported by the National High Technology Research and Development Program of China
摘要To improve the accuracy of real-time public transport information release system, a collaborative prediction model was proposed based on cyber-physical systems architecture. In the model, the total bus travel time was divided into three parts: running time, dwell time and intersection delay time, and the data were divided into three categories of historical data, static data and real-time data. The bus arrival time was obtained by fusion computing the real-time data in perception layer together with historical data and static data in collaborative layer. The validity of the collaborative model was verified by the data of a typical urban bus line in Shanghai, and 1538 sets of data were collected and analyzed from three different perspectives. By comparing the experimental results with the actual results, it is shown that the experimental results are with higher prediction accuracy, and the collaborative prediction model adopted is able to meet the demand for bus arrival prediction.