美赛E题:基于层次分析法的光污染风险评估模型;
基于stable-diffusion的文生图图生图系统;
基于形式化验证工具Cryptoline的密码验证工作;
某多媒体电子公司软件测试部门实习生;
香港理工大学交换;