上海软件中心简报2019年第6期

上海软件中心“不忘初心、牢记使命”主题教育动员大会顺利召开

软件中心根据上级的统一部署，于2019年6月14日顺利召开上海软件中心“不忘初心、牢记使命”主题教育动员大会。上科院“不忘初心、牢记使命”主题教育工作组董毅红等人参加了此次动员大会。

上海软件中心闵国全书记做动员讲话，2019年是中华人民共和国成立70周年，也是我们党在全国执政第70个年头，在这个时刻开展这次主题教育，正当其时。软件中心就开展“不忘初心、牢记使命”主题教育进行了认真部署和安排。软件中心开展本次主题教育，就是要坚持思想建党、理论强党，推动全体党员干部深入学习贯彻习近平新时代中国特色社会主义思想，推动习近平总书记关于科技创新重要指示精神在中心的贯彻落实，以党建引领中心高质量发展，充分发挥党员的先锋模范作用和党支部的战斗堡垒作用，扎实推进中心各项业务有序高效发展，为科创中心建设贡献力量。软件中心结合实际，重点在基层党建、干部人才队伍培养和“科创25条”落实等方面，创造性开展工作，坚持学思用贯通，筑牢信仰之基；坚持检视剖析，找准找实问题；抓好专项整治，落实整改措施；加强统筹推进和组织领导，确保落事落小落地，坚持因地制宜、务求取得实效，把主题教育同推进“两学一做”学习教育常态化制度化有机结合，同推进上科院及软件中心创新发展有机结合，为科创中心建设作出贡献。

上科院董毅红处长对于软件中心 “不忘初心、牢记使命”主题教育的部署予以了充分的肯定，同时，结合实际工作开展提出几点要求：1）聚焦根本任务抓好落实，学习教育要把深学细悟习近平新时代中国特色社会主义思想作为重中之重。调查研究要围绕总书记历年对上海工作的指示批示以及交给上海的三项新的重大任务、提出的五方面工作要求，拿出破解难题的硬招实招。检视问题要自觉对照习近平新时代中国特色社会主义思想、对照党章党规，对照初心使命，深刻检视剖析。整改落实要真改实改，攻坚克难。2）把握“十二字”总要求抓好落实，引导党员干部在学习教育、检视问题中悟初心、守初心，在整改落实、解决问题中勇作为，践使命。把主题教育与加快落实三项新的重大任务、加快建设“五个中心”、深入打响“四大品牌”结合起来，结合上海改革开放再出发的生动实践，围绕履行中央、市委赋予的职责任务找差距、抓落实，为做好当前改革发展稳定各项工作、完成本单位中心工作提供强大动力。3）紧扣“五句话”目标抓好落实，坚持解决思想问题和解决实际问题相结合，解决共性问题和解决个性问题相结合，着力解决领导班子和党员干部政治、思想、作风等方面的突出问题，抓好专项整治任务，不断增强职工群众的获得感、幸福感、安全感。4）坚持四个“贯穿始终”抓好落实，坚持问题导向，坚持务求实效，力戒形式主义，改进主题教育推进方式，减少繁文缛节，减轻基层负担，以好的作风确保主题教育取得好的效果。

上海软件中心将认真学习贯彻习近平总书记中央主题教育工作会议中的讲话和考察上海重要讲话精神，以理论学习有收获、思想政治受洗礼、干事创业敢担当、为民服务解难题、清正廉洁作表率为目标，以牢牢把握深入学习贯彻新时代中国特色社会主义思想、锤炼忠诚干净担当的政治品格、团结带领全国各族人民为实现伟大梦想共同奋斗为根本任务，全员扎实推进“不忘初心、牢记使命”主题教育工作，为科创中心建设积极主动作为，奋力创造新时代上海发展新传奇。

上海软件中心西宁分中心正式成立

2019年6月24日，上海计算机软件技术开发中心西宁分中心（以下简称：上海软件中心西宁分中心）在西宁市正式成立。西宁市副市长杨小民、上海科学院副院长鄢国强、上海软件中心闵国全书记、上海科学院科技发展处副处长高建军等出席了挂牌仪式。

上海软件中心西宁分中心由软件中心与西宁市大数据服务管理局（以下简称：西宁大数据局）共同成立。西宁大数据局于2019年1月正式揭牌。西宁大数据局围绕顶层设计、数据资源整合、电子政务、信息惠民和大数据产业和数字经济发展等方面，建成全省第一个城市级大数据基础平台、首家城市运营指挥中心，汇聚全市信息资源，全面统筹公共数据开放。软件中心长期致力于新一代信息技术的研究、应用和成果转化，本着“服务行业，发展产业”的核心理念，近年来持续推进上海大数据产业技术发展及成果应用转化，服务上海全球科创中心建设，并形成了辐射全国的行业影响力，此次上海软件中心西宁分中心的成立为软件中心支持西部发展奠定了基石，为软件中心推进大数据技术应用转化提供了更广的空间。

未来，软件中心将与西宁大数据局强强联手，整合资源推动各行业信息化系统功能提升和智慧应用建设，汇聚西宁市信息资源，全面统筹公共数据开放，共同推进西宁市智慧城市建设和大数据发展应用。

上海计算机软件技术开发中心组织参观 “城市荣光——庆祝上海解放70周年”主题展览

6月13日下午，上海计算机软件技术开发中心党总支组织全体党员前往上海展览中心参观“城市荣光——庆祝上海解放70周年”主题展览。软件中心党总支书记闵国全，各支部书记，支部委员及支部党员参加了此次活动。

2019年5月27日是上海解放70周年纪念日，“城市荣光”主题展分为“解放大上海”——全景展示波澜壮阔的“齐整保全”与“服从接管”方针下的上海解放战役，“建设新上海”——勤劳、勇敢、智慧、精细的上海人民用“工匠精神”创造了一项项全国乃至世界第一，“敢为天下先”——记录改革开放尤其是浦东开发和上海建设“四个中心”过程中不断赶超飞跃及带动全国经济发展的贡献，“逐梦新时代”——党的十八大以来上海走创新驱动、转型发展之路，着力提升城市能级和核心竞争力，奋力创造城市发展新传奇。四部分通过上千幅照片，多个创意展项展开上海解放70年的画卷，回顾了70年“上海传奇”，再现70年来上海的历史荣耀和时代风采，处处彰显着上海的城市精神和城市品格，闪耀着上海这座既有高度又有温度的城市的璀璨荣光。

通过这次参观学习，中心党员深刻地体会到新中国的成立、上海的今天是多么的来之不易。大家深受教育，纷纷表示在今后的工作中，要更加尽心尽责，做好本职工作，为上海更加美好的明天添砖加瓦。

2019创客节“长三角创业孵化合作发展论坛”成功举办

为加强长三角创业示范基地之间的交流，推动长三角创业服务一体化发展，2019年6月3日，上海软件中心作为市级创业孵化示范基地咨询评估单位合作主办了2019海纳百创创客节“长三角创业孵化合作发展论坛”主题活动。

此次圆桌论坛由上海市就业促进中心创业指导处综合科柳涅倞科长主持，邀请了来自上海、浙江、江苏、安徽四地的国家级创业孵化示范基地代表，围绕如何共同推进长三角创业服务一体化发展这一主题开展讨论，参与讨论的特邀嘉宾分别是张江孵化器常务副总经理卢佳，合肥高新创业园副总经理王玉青,苏州市大学生公共创业实训基地负责人夏艳洁，台州大学生创业园总经理车朝平以及上海聚能湾高新技术创新创业园总经理王健。

长三角创业孵化合作发展论坛主要从三个方面展开讨论，其一，国家级创业孵化示范基地的创业服务模式和服务特色分享，其二，国家级创业孵化示范基地在长三角地区开展创业服务过程中的一些经验和成果，其三，对于建设长三角创业孵化合作的一些建议和设想。

通过本次圆桌论坛交流，来自长三角地区国家级创业孵化示范基地的代表们达成共识，号召长三角地区创业孵化示范基地和创业服务机构一起协同发展，鼓励不同创业孵化基地之间的交流，共同培养专业的创业服务人员，鼓励在长三角区域已有一定服务成果的创业孵化示范基地，将已有创业服务资源辐射到长三角，推进技术成果转移，为企业提供更多试制研发机会，促进三省一市的产业对接和项目落地。国家级创业孵化示范基地将在日后联合开展创业大赛和项目路演等活动，加强长三角地区企业之间的技术和人才交流。同时，依托上海国际化市场、技术研发和人才优势，打造投融资交流平台，活动信息发布平台，达到创业服务数据共享，加速推动长三角地区企业发展，共同促进长三角创业孵化一体化发展。

论坛结束后，来自长三角国家级创业孵化示范基地代表共同拼起象征三省一市合作共赢的地图，上海软件中心也将在日后发挥自身的产业资源特长，携手长三角地区创业示范基地进一步推进技术、人才、资本、项目的广泛流动和资源对接，共建创新创业服务平台，打造长三角创新创业生态。

重点实验室开展国际学术交流活动

当今分布式架构系统越来越多，多线程并发问题也越来越成为关注的焦点。由于软件系统本身的复杂性和并发性的非确定性，并发软件系统中的错误很难检测和回放。数据争用是并发错误的主要来源，如何检测并回放数据争用过程成为解决多线程并发错误的关键。  

为此，上海软件中心上海市计算机软件评测重点实验室（以下简称“重点实验室”）于2019年6月6日下午特邀美国西密西根大学计算机科学系Zijiang James Yang教授针对多线程并发的错误检测和回放问题做了题为“并发软件系统的错误检测和执行回放”的报告，本次报告由重点实验室主任刘振宇主持，并代表重点实验室全员对Yang教授的到访表示热烈欢迎。

本次报告中，Yang教授介绍了多线程并发死锁产生的原因、死锁检测以及回放原理。针对死锁检测，提出了在错误半径内选择优先级变化点的方法，该方法可以保证触发死锁的概率更大，实验结果表明由于错误半径的存在，可以将找到死锁错误的概率提高7000倍。此外，Yang教授还针对死锁回放提出了基于处理器的记录和回放解决方案，该解决方案不需要检测和记录共享内存依赖性，就能实现多处理器执行回放。在回放期间，使用基于SMT求解器的算法离线重构线程之间的共享内存依赖关系。

报告结束后，与会人员就Yang教授的报告内容进行提问，发表了自己的见解。Yang教授针对所提问的问题进行了详细解答，并展开了深入探讨。

实验室荣获2017-2018年度科技系统先进集体荣誉称号

为贯彻落实习近平新时代中国特色社会主义思想和党的十九大会议精神，进一步激励广大科技职工开拓奋进、创先争优，聚焦上海加快建成具有全球影响力的科技创新中心重点任务，为上海科技创新驱动、转型发展，全面实现“十三五”发展规划作出新的更大的贡献，4月23日，市科技工会在中科院（上海分院）举行了2017-2018年度先进集体候选对象成果发布会暨先进集体评选活动。

本次活动的候选集体共17个，其中来自上科院直属单位的集体有3家，其他均为中科院单位、央企在沪单位推荐的集体。他们围绕近两年在国家重点工程建设或完成重大科研项目、增强科技自主创新能力和产业核心竞争力等方面作出的突出贡献，集中展现了团队的创新能力和团结奋斗精神。

本次先进集体评选，邀请了全国劳模、院士、劳模协会科技分会副会长、中科院上海生化细胞所研究组长王恩多，市总工会宣教部部副部长李伟，市科技工会常务副主席赵福祥，市科技工会第五届常委会常委、中电集团公司第32研究所工会常务副主席张晓燕和中船工业集团公司第708研究所工会副主席许刚担任评委。

先进集体评选现场

上海市计算机软件评测重点实验室作为上海计算机软件技术开发中心推荐的候选集体，从实验室的发展历程、科研成果、人员培养、所获荣誉等方面做了简要介绍，重点介绍了进博会期间安全保障团队克服了测评任务重、合作单位多、技术要求高、工作时间长的多重困难，圆满完成任务，并获得进博会网络安全突出贡献奖的先进事迹。实验室整个团队为进博会安全保障团队提供了坚强的后盾，通过承担国家重点科研项目、开展多项国际国家相关软件工程领域的标准研制、探索云计算大数据网络空间安全的技术研究，为测评业务的发展和开拓提供坚实的保障，也为团队后续不断创新、继续深化成果转化奠定了良好的基础。

经过专家现场评选，中科院上海生命科学研究院“灵长类体细胞克隆猴”科研团队、上海计算机软件技术开发中心上海市计算机软件评测重点实验室等7个集体当选了科技系统2017-2018年度先进集体荣誉称号。

充满活力，勇于创先争优的实验室团队

在2019年5月6日《劳动报》51专题报道中，题为『敢为时代先行者 勇当科创追梦人』的整版页面展示了2019年科技系统先进个人和集体风采，其中“上海计算机软件技术开发中心上海市计算机软件评测重点实验室”作为2017-2018年度上海市科技系统先进集体亮相。

2019年5月24日以“科创先行者建功新时代”为主题的科技系统2017-2018年度表彰大会上，上海市计算机软件评测重点实验室被光荣授牌，这是对实验室2017-2018年度所做出的成绩的肯定，更是对实验室未来继续在科创中心建设过程中发挥作用，引领科技创新的鞭策。

中国银联柴洪峰院士一行来访上海软件中心

2019年6月14日，中国工程院院士、中国银联董事柴洪峰院士及中国银联电子支付研究院副院长孙权院长来访上海软件中心，就区块链技术研究与合作进行了分享和交流，上海软件中心主任张绍华、软件平台服务部常务副主任戴炳荣热情接待和洽谈交流。

戴炳荣博士就中心及区块链工作内容作了简单介绍，软件中心积极参与上海市科委区块链工作，在技术研究、行业应用、产业推进等方面取得了一定成果。希望能与中国银联开展合作，共同推动上海区块链发展，助力产业生态的完善。

双方还开展了区块链及人工智能技术研讨、产业打造以及合作模式等方面的交流。柴洪峰院士在听取介绍后，对上海软件中心的发展战略表达了进一步的赞许和肯定，并结合中国银联的发展探索经验与张绍华主任进行了深入的沟通交流。最后，双方共同探讨了未来合作的可能性和必要性。柴院士认为上海计算机软件技术开发中心是优秀、敬业、开放且愿意交流的，未来愿意在支持上海软件中心工作的同时，借助软件中心的力量支撑金融行业的发展，并期待后续可以和软件中心一同寻找并攻关国家科研的薄弱点，同时组织更多的行业资源。

本次会议的成功举行，深化了上海软件中心与中国银联在区块链技术与应用方面的合作，夯实了双方沟通协作的基础，为联合推动上海区块链产业发展起到了积极作用。

上海软件中心代表参加ISO/IEC JTC 1/SC 40第六次全会及工作组会议

2019年6月3日至2019年6月6日，上海计算机软件技术开发中心（以下简称“上海软件中心”）参加了国际标准化组织ISO/IEC JTC 1/SC 40（IT服务管理与IT治理分技术委员会，以下简称SC 40）第六次全会及工作组会议。此次会议在法国圣丹尼召开，SC40主席、秘书，以及来自中国、美国、英国、澳大利亚、加拿大、法国、印度、日本、韩国等国家成员体和ISACA等联络组织的50余名代表参加了本次会议。中国代表团共13人参加，其中上海软件中心代表团由宋俊典博士、戴炳荣博士参加，参与了ISO/IEC JTC 1/SC 40四个工作组以及与SC42的JWG1联合工作组的工作。

上海软件中心代表宋俊典博士、戴炳荣博士参加了ISO/IEC JTC 1/SC40/WG1工作组会议以及JWG1联合工作组会议，重点讨论了SC40/WG1与TC307、TC309工作组的标准协同关系以及数字化转型标准化的需求，对ISO/IEC CD 38503 《信息技术 IT治理 IT治理评估》、ISO/IEC 38506《信息技术 IT治理 IT赋能的投资治理》、ISO/IEC 38507《信息技术 IT治理 人工智能应用的治理》三项标准内容修订提出了建议，并与各方专家针对IT治理与ISO/TC307工作组的区块链标准、以及与SC42人工智能标准的关系进行了充分讨论。

经会议讨论， 1、ISO/IEC 38503 IT治理评价”CD版本修订，确定了将于下半年工作组会议后进入CD2投票阶段，2020年6月14日前提交DIS版。2、“ISO/IEC 38506 应用ISO/IEC 38500于IT投资治理”DIS版本修订，会上同意了DIS 38506进入下一阶段，项目编辑对标准进行修订完善，秘书处收到编辑文稿后将发起FDIS投票。3、ISO/IEC 38507 组织使用人工智能的治理影响”WD2版本修订，明确了人工智能应用的治理标准定位，侧重于人工智能生态系统的治理，而不关注在人工智能技术本身。

通过本次会议， 中国代表与各国专家代表开展了卓有成效的交流，体现了上海软件中心在数据标准领域的专业水准和研究能力。后续上海软件中心将继续积极推进数据治理标准研究，争取更多实质性成果，不断提升我国数据治理标准制定的国际标准化地位。

上海软件中心代表参加2019年ISO/IEC JTC1 SC7工作组年度大会

2019年5月19日至5月24日，上海计算机软件技术开发中心（以下简称“上海软件中心”）代表参加了2019年ISO/IEC JTC1 SC7工作组年度大会，此次大会在芬兰艾斯堡召开，澳大利亚、加拿大、中国、英国、美国、法国、印度、韩国、日本、马来西亚、意大利等国家的120余名代表参加本次会议。中国代表团一共8人参加本次会议。其中，上海软件中心代表团由重点实验室胡芸等人员参加，参与了WG6和WG26工作组的讨论，讨论了软件质量度量、性能测试等软件工程相关国际标准。

上海软件中心是国际标准ISO/IEC 25020 Systems and software engineering – Systems and software Quality Requirements and Evaluation (SQuaRE) – Quality measurement framework 《系统和软件工程——系统和软件质量需求和评价（SQuaRE）——质量度量框架》制修订的牵头单位。该标准是软件工程质量领域由中国专家主导的第一个国际标准，其顺利通过2019年3-5月进行的FDIS阶段的投票表决。本次会议主要针对投票后收到的5个国家共计62条专家评审意见展开了热烈而有效的讨论，经过多次与SC7技术部门的沟通，会议前收到的所有意见均已评审并解决，因此跳过FDIS第二阶段的投票，直接进入发布流程。

同时，上海软件中心代表还参与了性能测试国际标准的讨论，对负责的“性能测试的组织级测试过程”章节进行梳理和细化，并得到各国专家的一致认可。工作组讨论并一致通过性能测试国际标准的进一步研制计划，由我国代表对性能测试模型进一步完善，并在此基础上制定附录C性能测试领域应用和附录D性能测试工具部分。

通过本次会议，中国测试领域代表与各国专家代表开展了卓有成效的交流，体现了上海软件中心在软件测试领域的专业水准和研究能力。后续上海软件中心将继续积极推进现有任务，争取更多实质性成果，不断提升我国在软件与系统工程领域的国际标准化地位。

上海软件中心第六届“春蕾杯”专业知识竞赛成功举办

2019年5月24日下午，上海软件中心第六届“春蕾杯”专业技术知识竞赛成功落下帷幕。此次活动由上海软件中心团总支组织,得到上海科学院团委支持，受到中心领导的高度重视，软件中心主任张绍华、软件中心党总支书记闵国全、办公室主任梁丽华、实验室主任刘振宇出席了本次活动。

上海软件中心主任张绍华

活动开始，张绍华主任做了开幕式讲话，他表示中心非常重视专业技术人才队伍的建设和培养，注重将业务发展和员工个人发展需求紧密结合，“春蕾杯”专业知识竞赛是中心“十年三阶段梯次人才培养计划”的重要组成部分，通过专业知识竞赛的形式，营造广大青年学技术、练技能的良好氛围，实现个人发展与中心发展，与上海软件行业创新发展协同并进。

本次竞赛紧紧围绕中心发展目标，以区块链技术应用为主题。来自中心各部门的7组代表队，在基础题挑战、主题赛挑战、头脑风暴三个环节都准备充分、应变灵活，展现了青年员工丰富的专业技术知识和良好的团结协作的精神。

上海软件中心党总支书记闵国全

最后，闵国全书记对本次活动进行总结并畅谈了自己的心得体会，他希望通过此次竞赛进一步激发员工对新知识学习和探索的热情，时刻保持学习的积极态度与浓厚兴趣，充分发挥自身专业技能的特点，为促进上海全球科创中心的建设做出贡献。

上海软件中心助力中国人工智能开源发展联盟年度会议召开

2019年6月29日上午，中国人工智能开源软件发展联盟（简称：AIOSS联盟）第二届理事会第一次工作会议在北京召开。本次会议由中国电子技术标准化研究院主办，上海计算机软件技术开发中心、北京百度网讯科技有限公司、深圳前海微众银行股份有限公司、浙江蚂蚁小微金融服务集团股份有限公司、上海申康医院发展中心等24家单位的32位代表参加了本次会议。会议审议通过了第二届联盟理事会提名方案等相关事项，上海软件中心连任副理事长单位。 

一年来，上海软件中心作为联盟发起单位之一，承担了联盟副理事长单位和标准组组长依托单位的角色，和联盟同仁一道，组织开展人工智能的标准、技术和产业研究等工作，共举办了联盟理事会以及成员工作会议十余次，开展了标准技术研制、人工智能与领域深度结合等交流研讨，组织开展了人工智能走进联盟单位、走进一带一路、走进软博会等重大活动四次，集聚了产业服务力量，推动了人工智能开源技术的应用与发展。

 在联盟成员的共同努力下，完成了《人工智能开源软件应用案例集》编写，完成了《信息技术服务人工智能 开源软件选型指南》、《信息技术服务 联邦学习 参考架构》、《信息技术服务 人工智能 医学影像数据标注规范》、《信息技术服务 人工智能 医学影像智能处理要求与任务评价》4项标准的研制。