- 项目:
- 1. 面向云边协同的混合弹性系统设计及其可靠性验证方法研究,省、市、自治区科技项目,2024年
- 2. 泛在计算驱动的云边融合服务建模方法研究,省、市、自治区科技项目,2024年
- 3. 协同服务建模及其验证方法研究,自选课题,2024年
- 4. 云雾协同环境下泛在系统的形式化建模与验证方法研究,省、市、自治区科技项目,2022年
- 论文:
- 1. Improving Local Search for Pseudo Boolean Optimization by Fragile Scoring Function and Deep Optimization,29th International Conference on Principles and Practice of Constraint Programming (CP 2023),2023年
- 2. An efficient local search algorithm for minimum positive influence dominating set problem,COMPUT OPER RES,2023年
暂停信息维护