<kbd id="qfaznbgo"></kbd><address id="qfaznbgo"><style id="qfaznbgo"></style></address><button id="qfaznbgo"></button>

              <kbd id="1c10jluy"></kbd><address id="1c10jluy"><style id="1c10jluy"></style></address><button id="1c10jluy"></button>

                  mg游戏

                   首頁 > 科學研究 > 學科方向

                  學科方向

                          mg游戏的學科發展以國家重大戰略需求和國際科技前沿爲導向 ,以計算機科學與技術、信息安全、系統科學、計算數學和應用數學等爲依託 ,注重跨一級學科的交叉與聯合 。從軟件系統的可信性度量和演化的基本規律出發 ,研究現代軟件面臨的複雜性、開放性、演化性等挑戰性問題 ,同時立足軟件工程應用和產業發展需求,研究提高軟件開發效率和質量的方法、技術和工具。注重向下拓展軟件工程理論基礎研究 ,向上拓展軟件服務應用研究。下設四個二級學科:軟件工程理論、軟件工程技術與管理、信息系統工程、軟件服務工程。

                          軟件工程理論方向強調系統性 ,強調軟件與其環境的動態交互 ,以適應當前軟件規模更大、交互更多、結構更復雜、動態開放等新型軟件特徵;強調軟件工程的理論探索 ,以軟件系統建模和驗證爲核心 ,基於形式化方法指導軟件全生命週期各階段的實踐,提高軟件系統的可信性 。該方向將依託軟件系統建模驗證聯合實驗室 ,堅持將理論研究與工業界的現實需求相結合,形成理論研究、工具開發與實際應用三結合的科研模式 ,構建既可“頂天”、也可“立地”的教學與科研融合的創新平臺,走出“以需求牽引學術創新、以研究推動應用創新”的學科建設與發展的新路 。

                          軟件工程技術與管理方向以現代軟件的生態環境爲背景,重點研究新形態的軟件體系結構及形式化表示、動態自適應的需求工程方法、基於複雜網絡的軟件缺陷預測分析、開放網絡環境下軟件測試理論與方法以及集成化支撐系統平臺等關鍵技術。

                          信息系統工程方向主要研究以複雜海量數據爲核心的信息系統開發方法 ,包括複雜海量數據管理理論和麪向領域的複雜軟件系統開發方法與支撐平臺。該方向將以研製新一代“大數據”管理平臺爲載體,研究面向雲計算環境的海量數據管理與過程管理技術,重點突破大規模並行過程的建模與行爲分析、非結構化數據管理與挖掘、移動端內容版權保護及系統性能工程等新型理論、模型、技術與方法,基於該“大數據”管理平臺,開發面向新型網絡增值服務和企業信息化應用的支撐軟件 。

                          軟件服務工程方向以用戶需求爲導向 ,基於網絡和雲架構 ,依託軟件服務管理平臺 ,對原子服務進行動態組合和協同,研究用戶需求的獲取 ,軟件服務的模型和形式化方法,服務組合和協同理論 ,以及服務提供機制和管理平臺 。該方向將研究重點放在移動服務和媒體服務方面 。移動服務研究涵蓋無線網絡通訊協議設計、無線網絡定位、網絡故障診斷、無線網絡安全。無線傳感網研究成果將繼續深入應用於煤礦、海洋、林業等物聯網系統中 。媒體服務以自主知識產權的三維數字核心系統爲載體 ,重點研究幾何建模、渲染、可視化、圖像和音視頻處理等 ,並在建築、機械、醫學與防災減災等領域繼續應用,形成產學研一體化的創新平臺。