上海软件中心简报2020年第1期

告别高质量发展的2019,2020我们不断突破

2020年1月16日，上海软件中心隆重召开了2019年度总结表彰大会。会议由中心副主任蔡立志主持，中心主任、党总支副书记张绍华、党总支委员梁丽华参加了此次会议。

张绍华主任代表领导班子成员向全体员工通报2019年度党政工作总结及2020年工作要点。2019年，软件中心充分利用“科改25条”政策红利，推动高质量规模化事业发展，在机制探索、软件和安全服务、大数据/人工智能/区块链梯次发展、服务长三角一体化六个方面均取得成效。同时，软件中心坚持以党的政治建设为统领，在主题教育、智慧党建、人才培养、四责协同等5个方面工作出“特色”品牌，出“特别”成效。

2019年中心硕果累累，蝉联上海市文明单位、荣获全国巾帼文明岗；第一党支部被评为市科技系统先进基层党组织、第三党支部被评为市“进博先锋行动”先进基层党组织、四支部荣获市科技系统“双建双创”党建项目十佳特色案例；中心团总支荣获市科技系统“五四红旗团支部”等。2020年中心亦将不断突破，紧紧围绕上科院高质量转型发展“四力”工作重点，谋划好中心 “十四五”，不断推进国内一流、千人规模软件信息研发转化和技术服务机构建设。努力实现：（双突破0-1）：机构和领军人才破例、科创中心项目和任务破题；（双10计划）；10项国家和行业影响力成果（标准、项目、产品、服务），10位行业优秀人才培育；（双100计划）：打造100人部门团队、中心总人数增长100人；研发/服务业务收入规模1亿、其中研发转化到账突破1000万；构建卓越绩效和基层党建体系，提升治理和管理能力，争取市长质量奖。

回顾2019，软件中心涌现了一批批先进典型案例，他们是中心创新发展的先锋，是忠于职守的典范，是全体员工的学习榜样。

先进代表发言：

2020年，软件中心将高举习近平新时代中国特色社会主义思想伟大旗帜，全面贯彻落实党中央决策部署，全力建设“国内一流、千人规模软件信息研发转化和技术服务机构”，开创软件中心创新发展新局面，为上海科创中心建设贡献力量。

上海市公共数据标准化技术委员会成立大会暨第一次委员大会顺利举行----上海软件中心任数据治理工作组组长单位

2020年1月8日，上海市公共数据标准化技术委员会（简称：数标委）成立大会暨第一次委员大会顺利举行。市政府秘书长陈靖、市市场监管局局长陈学军、市政府办公厅副主任/市大数据中心主任朱宗尧、市经信委副主任张英、市市场监管局副局长朱明、市政府办公厅二级巡视员盛强等领导出席。上海软件中心主任张绍华、数据治理研究所副所长杨琳受邀参加，受邀参加本次会议的还有市政府相关委办局、区政府有关领导，数标委委员等。

会议由市政府办公厅副主任、市大数据中心主任朱宗尧主持。市政府秘书长陈靖、市市场监管局局长陈学军共同为数标委揭牌，并发表重要讲话。

上海软件中心担任数据治理工作组组长单位，张绍华主任代表数据治理工作组发言，他表示，上海软件中心将携手数据治理工作组各组员单位，明确数据治理标准研制需求，按照 “急用先行、成熟先上”原则开展数据治理标准研制工作，并在全市大力推动标准的应用落地。

数标委的成立，标志着上海市公共数据治理进入了标准化、专业化发展的新阶段，将全力推进全市公共数据治理、共享开放及分析应用的规范化发展，夯实“一网通办”“一网统管”建设，进一步提高城市管理和服务水平，助推上海科创中心和智慧城市建设。上海软件中心将继续在数据治理领域发力，充分发挥在数据治理理论研究和行业应用方面的优势，支撑数标委开展地方数据治理标准研究和应用实践，不断提升上海市公共数据治理、数据应用水平。

2019实验室开放课题验收会

2019年12月25日，2019年上海市计算机软件评测重点实验室开放课题验收会在中心举行，上海大学和华东理工大学的相关项目负责人出席了本次会议。

验收会上，各项目负责人分别就各自课题研究的主要内容及总结、突破性理论观点、研究中存在的问题与今后的研究设想、课题预期目标实现情况以及所取得的成果情况等内容进行了陈述。

上海大学的“移动计算嵌入式软件的测试用例优先排序技术”项目，重点研究嵌入式移动设备基于位置的测试用例优先排序、敏捷开发环境中的回归测试优化、生产线方法与形式化规约技术结合的产品家族建模等技术，将万有引力定律应用到移动计算嵌入式软件测试，设计了一种基于位置的移动设备软件TCP技术。给出了一种基于万有引力定律的TCP定位算法。课题在嵌入式移动设备基于位置的测试用例优先排序、敏捷开发环境中的回归测试优化技术、Web服务组合测试、生产线方法与形式化规约技术结合的产品家族建模以及服务推荐算法等方面进行了探索和研究。该项目发表学术论文6篇，SCI检索1篇，EI检索4篇。

上海大学“面向设计模型的服务系统定量验证技术”项目重点研究面向设计模型的服务系统定量验证技术，将概率模型检验技术应用到智能交通管理中的路径规划，根据用户的路径需求，得到点概率通过公式和多目标点概率通过公式。使用概率计算树逻辑(PCTL)描述交通网络中的验证性质,并使用概率模型检验器(PRISM)对其进行计算与验证。根据定量验证结果，从K短路径中确定最大概率路径。研究云边混合模式下基于QOS的移动服务组合动态重规划。该项目发表学术论文5篇，SCI检索1篇，EI检索4篇。

华东理工大学“云端融合环境下的资源调度与优化方法研究”项目针对云端环境下资源调度与优化问题，重点关注云端环境下资源调度方法与优化软件设计及可扩展性。预期将引入SDN，将网络中的可用剩余带宽作为任务调度的重要参数，在充分保证数据的本地性情况下，充分利用可用的网络带宽资源，实现作业完成时间的最小化及SLA违反率的降低。设计完成基于负载均衡的调度算法和eoDS资源分配方法，形成高可扩展的并行精确设计优化方法和关键技术，推动云端资源调度与优化方法的研究与应用，为大规模云端资源调度设计优化奠定基础。该项目发表学术论文8篇，SCI检索3篇，EI检索5篇，另有3篇发表于国内核心期刊。

华东理工大学“软件缺陷预测模型设计与分析方法” 是建立复杂软件缺陷预测模型设计与分析的关键技术，为软件缺陷的系统研究提供了新的视角和新的技术。设计一种渐进式缺陷数据采样方法，通过迭代的方式不断增加训练样本的数量，从而确定最优的训练样本数并有效减少训练样本数，以保证模型的预测性能。利用循环神经网络结合注意力机制，以及代码的抽象语法树信息，挖掘代码的句法结构与语义特征，从而更准确地预测软件缺陷。对于提高大规模复杂软件的可靠性和可用性、保障复杂应用的软件质量和声誉等具有重要的现实意义和明确的应用价值。该项目发表学术论文8篇，SCI检索3篇，EI检索4篇，另有4篇发表于中文核心。

本次验收了4个开放课题，成果统计（论文28篇），小项目出大成果，自实验室开展开放课题以来，优秀成果不断涌现，设置开放课题是重点实验室开放机制的重要体现，也是实验室与高校合作与交流的主要载体。