歡迎訪問中國嘉科吉地實業集團

聯系電話:0371-55055555

簡體中文       丨       English

Email:chinajkjd@163.com

河南嘉科吉地科技實業有限公司

嘉科吉地鄭州分公司地址:鄭州市鄭東新區商務內環路14號2夾層

Email: chinajkjd@163.com

業務咨詢熱線:0371-55055555   

頁面版權所有 ? 河南嘉科吉地科技實業有限公司

豫ICP備18045604號

網站建設:中企動力 鄭州

新聞資訊

新聞資訊

總經理陳國平帶隊赴上海進行學習考察

分類:
公司新聞
作者:
來源:
發布時間:
2020/05/21
瀏覽量

  5月18日,我司總經理陳國平一行應邀到上海工業控制安全創新科技有限公司,就人工智能及工業控制系統安全創新等內容進行了交流和學習。

  上海工業控制安全創新科技有限公司是上海工業控制系統安全創新功能型平臺的實體運行單位 ,該平臺為上海市首批建設的18個研發與轉化功能型平臺之一,是支撐上??萍紕撔轮行慕ㄔO“四梁八柱”的重要力量, 也是國內率先提出建設的工控安全研發轉化功能型平臺。

  此次學習考察受到該企業首席科學家中國工程院何積豐院士、臨港智能制造研究院劉長波院長等領導的熱情接待。 期間組織了研討會,何積豐院士親自針對人工智能及工業控制系統安全領域,從產、學、研等方面進行了深入的講解, 隨后在劉長波院長的帶領下對上??匕策M行了現地參觀交流。

  上海工業控制系統安全創新功能型平臺

  交流探討

  現地參觀

  合影留念

  備注:何積豐,中國科學院院士、中科院信息學部常務主任委員,著名計算機軟件科學家,國家軟件標準委員會主任,國家可信嵌入式軟件系統工程研究中心主任,上海人工智能安全專家委員會主任,上海人工智能專家委員會主任委員,上海開放數據專家委員會主任,華東師范大學軟件工程學院首任院長、上海市人工智能安全治理專委會主任、上海市高可信計算重點實驗室主任,中電科集團首席科學家,航天科工集團首席科學家。不久即將出任“國家可信人工智能研究院”的首任院長。

  何積豐院士長期從事計算機軟件理論及應用研究,針對軟件的復雜性、正確性和可靠性等問題開展了系統性的研究。他是程序統一理論創立者、數據精化完備理論奠基者、可信軟件設計理論與技術開拓者。主要科學貢獻:(1)系統性地研究了各類程序語言語義理論,與圖靈獎獲得者Hoare教授共同開創了程序統一理論學派,奠定了軟件語義元理論基礎,被國際上公認為研究各類程序語言的一種標準方法;(2)首次提出了數據精化的“程序分解算子”與“上下仿真映照對”方法,創建了數據精化完備理論,國際計算機科學界譽其為"面向模型軟件開發的一個里程碑";(3)開拓了基于模型的可信軟件設計理論與技術,相關成果已被軌道交通、汽車電子、航天控制等安全攸關領域所采用,該成果被應用在上海普華的汽車電子操作系統驗證過程,驗證后的操作系統成為國內首個通過歐洲OSEK標準認證的操作系統,并首次出口歐洲; (4)在國內首倡可信人工智能理論,推進人工智能軟件和系統的可信度量、構造與分析驗證技術的發展,在上海人工智能功能區創建華科智科產業技術硏究院公司從亊人工智能通用技術的工程化和產業化推廣。

  何積豐院士擔任國家自然科學基金委重大研究計劃、科技部973計劃、863計劃主題項目首席科學家,領銜國家自然科學基金委創新研究群體。出版英文專著2部,在國際期刊和會議上發表論文160余篇,他引4000余次。以唯一完成人榮獲國家科技進步一等獎、國家自然科學獎二等獎和上海市科技進步獎一等獎各1項,以第一完成人獲省部級科技進步獎與科技成果獎一等獎4項,兩次榮獲英國女王先進技術獎。曾獲上海市教書育人楷模、上海高校教學名師、上海市五一勞動獎章、上海市優秀共產黨員、上海市勞動模范等稱號。2013年以來又榮獲全國五一勞動獎章、全國優秀科技工作者、浙江省自然科學一等獎、上海市教育功臣、何梁何利基金科學與技術進步獎和上海市科技功臣等稱號。2016年榮獲全國優秀共產黨員,是中宣部、央視《榜樣的力量》唯一院士。

P2020国产精品久久精品,国产成人久久一区二区不卡,国产精品久久国产三级,久久精品五月天群交免费视频