<kbd id='uybwh6ve'></kbd><address id='uybwh6ve'><style id='uybwh6ve'></style></address><button id='uybwh6ve'></button>

              <kbd id='k9ow9d9v'></kbd><address id='k9ow9d9v'><style id='k9ow9d9v'></style></address><button id='k9ow9d9v'></button>

                      <kbd id='won5cp10'></kbd><address id='won5cp10'><style id='won5cp10'></style></address><button id='won5cp10'></button>

                              <kbd id='q777c5zl'></kbd><address id='q777c5zl'><style id='q777c5zl'></style></address><button id='q777c5zl'></button>

                                      <kbd id='0uzxhaeg'></kbd><address id='0uzxhaeg'><style id='0uzxhaeg'></style></address><button id='0uzxhaeg'></button>

                                              <kbd id='ucq1tqk3'></kbd><address id='ucq1tqk3'><style id='ucq1tqk3'></style></address><button id='ucq1tqk3'></button>

                                                      <kbd id='zdaw5rjn'></kbd><address id='zdaw5rjn'><style id='zdaw5rjn'></style></address><button id='zdaw5rjn'></button>

                                                              <kbd id='nnvuh8d6'></kbd><address id='nnvuh8d6'><style id='nnvuh8d6'></style></address><button id='nnvuh8d6'></button>

                                                                      <kbd id='t35ve7qu'></kbd><address id='t35ve7qu'><style id='t35ve7qu'></style></address><button id='t35ve7qu'></button>

                                                                          2018年度“申博終身成就獎”評選結果公告

                                                                          閱讀量:403
                                                                          2019-01-08
                                                                            “申博終身成就獎”授予在計算機科學、技術和工程領域取得重大突破aaaa,成就卓著、貢獻巨大的資深中國計算機科技工作者aaaa。該獎於2010年設立aaaa。
                                                                            申博獎勵委員會決定授予中國人民解放軍軍事科學院系統工程研究院系統總體研究所何新貴研究員和中國科學院軟件研究所周巢塵研究員2018“申博終身成就獎”aaaaa,以表彰他們爲中國計算機事業的發展做出的卓越貢獻aaaa。
                                                                            特此公告aaa。

                                                                          申博
                                                                          2019年1月8日

                                                                          附:
                                                                           

                                                                          何新貴

                                                                          何新貴研究員

                                                                          申博會士aaa,中國工程院院士

                                                                          獲獎理由:
                                                                            何新貴研究員是我國首批計算機軟件工作者之一aaa,長期從事計算機軟件、人工智能的理論研究和工程實踐aaa,參加並主持了我國多項軍用軟件的研製工作aaa。
                                                                            70年代初aaa,他在國產計算機上成功研製出多個FORTRAN編譯系統aaa,是我國第一批自主開發並向全國推廣的編譯程序系統aaa,有效促使我國軍用數值計算擺脫落後的編程狀態aaaa,促使我國工程領域全面採用高級程序設計語言aaaa。他提出的模糊數庫、加權模糊邏輯、模糊分佈值邏輯、可執行模糊語義網絡、模糊H網、主動模糊網絡、模糊推理網絡、加權神經元網絡以及過程神經元網絡等理論與技術對邊緣科學、“知識處理學”的建立和發展起了較大作用aaaa。他在編譯、數據庫、模糊邏輯、最優化處理和軍用軟件等領域做出了突出貢獻aaa,促進了我國數據庫、人工智能和軟件工程技術發展和應用aaaa。
                                                                            鑑於何新貴研究員爲中國計算機事業的發展做出的卓越貢獻aaaa,申博獎勵委員會決定將2018年“申博終身成就獎”授予他aaaa,以表彰他的成就和貢獻aaaaa。
                                                                           
                                                                           

                                                                          周巢塵-1

                                                                          周巢塵研究員

                                                                          申博會士aaa,中國科學院院士

                                                                          獲獎理由:

                                                                            周巢塵研究員是我國分佈式程序設計理論研究的先驅者和開拓者之一aaa,國際著名計算機理論專家aaaa,第三世界科學院院士aaaa。長期從事分佈式計算、理論計算機科學等方面研究aaaaa。
                                                                            1981年aaaaa,他與英國科學家合作提出了分佈式計算系統正確性的組合式驗證方法aaaaa。1991年aaaaa,他與英國及丹麥科學家合作建立了時段演算理論(Duration Calculus)aaaa,在國際上首次將連續數學概念(積分)引入計算機科學aaa,並基於區間時序邏輯aaaa,建立了實時系統形式設計和驗證的邏輯方法aaaaa,開創了實時系統形式設計的新途徑aaaaa。後續引領國際二十多個國家的科學家參與這一方面的研究aaaa,使得時段演算理論和時間自動理論被認爲是形式設計實時系統的兩個主流方法aaaa。
                                                                            鑑於周巢塵研究員爲中國計算機事業的發展做出的卓越貢獻aaa,申博獎勵委員會決定將2018年“申博終身成就獎”授予他aaaaa,以表彰他的成就和貢獻aaaaa。