上海軟件中心簡(jiǎn)報2020年第1期

告別高質(zhì)量發(fā)展的2019,2020我們不斷突破

2020年1月16日，上海軟件中心隆重召開(kāi)了2019年度總結表彰大會(huì )。會(huì )議由中心副主任蔡立志主持，中心主任、黨總支副書(shū)記張紹華、黨總支委員梁麗華參加了此次會(huì )議。

張紹華主任代表領(lǐng)導班子成員向全體員工通報2019年度黨政工作總結及2020年工作要點(diǎn)。2019年，軟件中心充分利用“科改25條”政策紅利，推動(dòng)高質(zhì)量規?；聵I(yè)發(fā)展，在機制探索、軟件和安全服務(wù)、大數據/人工智能/區塊鏈梯次發(fā)展、服務(wù)長(cháng)三角一體化六個(gè)方面均取得成效。同時(shí)，軟件中心堅持以黨的政治建設為統領(lǐng)，在主題教育、智慧黨建、人才培養、四責協(xié)同等5個(gè)方面工作出“特色”品牌，出“特別”成效。

2019年中心碩果累累，蟬聯(lián)上海市文明單位、榮獲全國巾幗文明崗；第一黨支部被評為市科技系統先進(jìn)基層黨組織、第三黨支部被評為市“進(jìn)博先鋒行動(dòng)”先進(jìn)基層黨組織、四支部榮獲市科技系統“雙建雙創(chuàng )”黨建項目十佳特色案例；中心團總支榮獲市科技系統“五四紅旗團支部”等。2020年中心亦將不斷突破，緊緊圍繞上科院高質(zhì)量轉型發(fā)展“四力”工作重點(diǎn)，謀劃好中心 “十四五”，不斷推進(jìn)國內一流、千人規模軟件信息研發(fā)轉化和技術(shù)服務(wù)機構建設。努力實(shí)現：（雙突破0-1）：機構和領(lǐng)軍人才破例、科創(chuàng )中心項目和任務(wù)破題；（雙10計劃）；10項國家和行業(yè)影響力成果（標準、項目、產(chǎn)品、服務(wù)），10位行業(yè)優(yōu)秀人才培育；（雙100計劃）：打造100人部門(mén)團隊、中心總人數增長(cháng)100人；研發(fā)/服務(wù)業(yè)務(wù)收入規模1億、其中研發(fā)轉化到賬突破1000萬(wàn)；構建卓越績(jì)效和基層黨建體系，提升治理和管理能力，爭取市長(cháng)質(zhì)量獎。

回顧2019，軟件中心涌現了一批批先進(jìn)典型案例，他們是中心創(chuàng )新發(fā)展的先鋒，是忠于職守的典范，是全體員工的學(xué)習榜樣。

先進(jìn)代表發(fā)言：

2020年，軟件中心將高舉習近平新時(shí)代中國特色社會(huì )主義思想偉大旗幟，全面貫徹落實(shí)黨中央決策部署，全力建設“國內一流、千人規模軟件信息研發(fā)轉化和技術(shù)服務(wù)機構”，開(kāi)創(chuàng )軟件中心創(chuàng )新發(fā)展新局面，為上?？苿?chuàng )中心建設貢獻力量。

上海市公共數據標準化技術(shù)委員會(huì )成立大會(huì )暨第一次委員大會(huì )順利舉行----上海軟件中心任數據治理工作組組長(cháng)單位

2020年1月8日，上海市公共數據標準化技術(shù)委員會(huì )（簡(jiǎn)稱(chēng)：數標委）成立大會(huì )暨第一次委員大會(huì )順利舉行。市政府秘書(shū)長(cháng)陳靖、市市場(chǎng)監管局局長(cháng)陳學(xué)軍、市政府辦公廳副主任/市大數據中心主任朱宗堯、市經(jīng)信委副主任張英、市市場(chǎng)監管局副局長(cháng)朱明、市政府辦公廳二級巡視員盛強等領(lǐng)導出席。上海軟件中心主任張紹華、數據治理研究所副所長(cháng)楊琳受邀參加，受邀參加本次會(huì )議的還有市政府相關(guān)委辦局、區政府有關(guān)領(lǐng)導，數標委委員等。

會(huì )議由市政府辦公廳副主任、市大數據中心主任朱宗堯主持。市政府秘書(shū)長(cháng)陳靖、市市場(chǎng)監管局局長(cháng)陳學(xué)軍共同為數標委揭牌，并發(fā)表重要講話(huà)。

上海軟件中心擔任數據治理工作組組長(cháng)單位，張紹華主任代表數據治理工作組發(fā)言，他表示，上海軟件中心將攜手數據治理工作組各組員單位，明確數據治理標準研制需求，按照 “急用先行、成熟先上”原則開(kāi)展數據治理標準研制工作，并在全市大力推動(dòng)標準的應用落地。

數標委的成立，標志著(zhù)上海市公共數據治理進(jìn)入了標準化、專(zhuān)業(yè)化發(fā)展的新階段，將全力推進(jìn)全市公共數據治理、共享開(kāi)放及分析應用的規范化發(fā)展，夯實(shí)“一網(wǎng)通辦”“一網(wǎng)統管”建設，進(jìn)一步提高城市管理和服務(wù)水平，助推上?？苿?chuàng )中心和智慧城市建設。上海軟件中心將繼續在數據治理領(lǐng)域發(fā)力，充分發(fā)揮在數據治理理論研究和行業(yè)應用方面的優(yōu)勢，支撐數標委開(kāi)展地方數據治理標準研究和應用實(shí)踐，不斷提升上海市公共數據治理、數據應用水平。

2019實(shí)驗室開(kāi)放課題驗收會(huì )

2019年12月25日，2019年上海市計算機軟件評測重點(diǎn)實(shí)驗室開(kāi)放課題驗收會(huì )在中心舉行，上海大學(xué)和華東理工大學(xué)的相關(guān)項目負責人出席了本次會(huì )議。

驗收會(huì )上，各項目負責人分別就各自課題研究的主要內容及總結、突破性理論觀(guān)點(diǎn)、研究中存在的問(wèn)題與今后的研究設想、課題預期目標實(shí)現情況以及所取得的成果情況等內容進(jìn)行了陳述。

上海大學(xué)的“移動(dòng)計算嵌入式軟件的測試用例優(yōu)先排序技術(shù)”項目，重點(diǎn)研究嵌入式移動(dòng)設備基于位置的測試用例優(yōu)先排序、敏捷開(kāi)發(fā)環(huán)境中的回歸測試優(yōu)化、生產(chǎn)線(xiàn)方法與形式化規約技術(shù)結合的產(chǎn)品家族建模等技術(shù)，將萬(wàn)有引力定律應用到移動(dòng)計算嵌入式軟件測試，設計了一種基于位置的移動(dòng)設備軟件TCP技術(shù)。給出了一種基于萬(wàn)有引力定律的TCP定位算法。課題在嵌入式移動(dòng)設備基于位置的測試用例優(yōu)先排序、敏捷開(kāi)發(fā)環(huán)境中的回歸測試優(yōu)化技術(shù)、Web服務(wù)組合測試、生產(chǎn)線(xiàn)方法與形式化規約技術(shù)結合的產(chǎn)品家族建模以及服務(wù)推薦算法等方面進(jìn)行了探索和研究。該項目發(fā)表學(xué)術(shù)論文6篇，SCI檢索1篇，EI檢索4篇。

上海大學(xué)“面向設計模型的服務(wù)系統定量驗證技術(shù)”項目重點(diǎn)研究面向設計模型的服務(wù)系統定量驗證技術(shù)，將概率模型檢驗技術(shù)應用到智能交通管理中的路徑規劃，根據用戶(hù)的路徑需求，得到點(diǎn)概率通過(guò)公式和多目標點(diǎn)概率通過(guò)公式。使用概率計算樹(shù)邏輯(PCTL)描述交通網(wǎng)絡(luò )中的驗證性質(zhì),并使用概率模型檢驗器(PRISM)對其進(jìn)行計算與驗證。根據定量驗證結果，從K短路徑中確定最大概率路徑。研究云邊混合模式下基于QOS的移動(dòng)服務(wù)組合動(dòng)態(tài)重規劃。該項目發(fā)表學(xué)術(shù)論文5篇，SCI檢索1篇，EI檢索4篇。

華東理工大學(xué)“云端融合環(huán)境下的資源調度與優(yōu)化方法研究”項目針對云端環(huán)境下資源調度與優(yōu)化問(wèn)題，重點(diǎn)關(guān)注云端環(huán)境下資源調度方法與優(yōu)化軟件設計及可擴展性。預期將引入SDN，將網(wǎng)絡(luò )中的可用剩余帶寬作為任務(wù)調度的重要參數，在充分保證數據的本地性情況下，充分利用可用的網(wǎng)絡(luò )帶寬資源，實(shí)現作業(yè)完成時(shí)間的最小化及SLA違反率的降低。設計完成基于負載均衡的調度算法和eoDS資源分配方法，形成高可擴展的并行精確設計優(yōu)化方法和關(guān)鍵技術(shù)，推動(dòng)云端資源調度與優(yōu)化方法的研究與應用，為大規模云端資源調度設計優(yōu)化奠定基礎。該項目發(fā)表學(xué)術(shù)論文8篇，SCI檢索3篇，EI檢索5篇，另有3篇發(fā)表于國內核心期刊。

華東理工大學(xué)“軟件缺陷預測模型設計與分析方法” 是建立復雜軟件缺陷預測模型設計與分析的關(guān)鍵技術(shù)，為軟件缺陷的系統研究提供了新的視角和新的技術(shù)。設計一種漸進(jìn)式缺陷數據采樣方法，通過(guò)迭代的方式不斷增加訓練樣本的數量，從而確定最優(yōu)的訓練樣本數并有效減少訓練樣本數，以保證模型的預測性能。利用循環(huán)神經(jīng)網(wǎng)絡(luò )結合注意力機制，以及代碼的抽象語(yǔ)法樹(shù)信息，挖掘代碼的句法結構與語(yǔ)義特征，從而更準確地預測軟件缺陷。對于提高大規模復雜軟件的可靠性和可用性、保障復雜應用的軟件質(zhì)量和聲譽(yù)等具有重要的現實(shí)意義和明確的應用價(jià)值。該項目發(fā)表學(xué)術(shù)論文8篇，SCI檢索3篇，EI檢索4篇，另有4篇發(fā)表于中文核心。

本次驗收了4個(gè)開(kāi)放課題，成果統計（論文28篇），小項目出大成果，自實(shí)驗室開(kāi)展開(kāi)放課題以來(lái)，優(yōu)秀成果不斷涌現，設置開(kāi)放課題是重點(diǎn)實(shí)驗室開(kāi)放機制的重要體現，也是實(shí)驗室與高校合作與交流的主要載體。