夏雲霓

夏雲霓

夏雲霓,男,1980年4月出生,理學博士,重慶大學計算機學院教授、博士生導師。2003年7月畢業於重慶大學計算機系,獲工學學士學位

基本介紹

人物經歷,研究方向,學術任職,獲獎記錄,學術成果,期刊論文,會議論文,發明專利,科研項目,

人物經歷

2003年7月畢業於重慶大學計算機系,獲工學學士學位。2008年7月畢業於北京大學信息學院計算機軟體與理論專業,獲理學博士學位。2006-2007年在微軟亞洲研究院理論組從事分散式算法性能分析的研究,2013年在美國新澤西理工學院周孟初教授(IEEE FELLOW)處進行訪問研究。師從於北京大學袁崇義教授和王捍貧教授。在博士期間參與了北京大學梅宏院士主持的973項目“基於知識的網構軟體需求建模理論和方法研究”、863項目“基於正確性驗證的web服務可信性研究”,由於研究工作的開創性和重要性,於2008年獲得北京大學“學術精英”獎。
在微軟亞洲研究院理論研究組從事可信容錯網路協定和算法研究期間,相關工作作為微軟亞洲研究院核心技術報告(Wei Chen, Xuezheng Liu, Yunni Xia, and Lidong Zhou. Quorum-based perfect failure detection Service. Technical Report MSR-TR-2009-62, Microsoft Research, May 2009)收錄。同時,在可信軟體構架、Petri網驗證、雲計算、SOA計算構架領域已有多年的研究經驗,因在相關工作的出色成果於2012年被推選為中國計算機協會PETRI網專委會委員,是當年最年輕的委員之一。2015年被推選為國際電氣和電子工程師協會高級會員(IEEE SENIOR MEMBER)。2016年被國際服務科學學會推選為SSYSF(國際服務學會中國青年科學家論壇)副主席。最近兩年,在雲服務PETRI網可信性建模與驗證,尤其是在綠色雲計算和可信WEB服務研究上做出了具影響力和開創性的工作,部分成果得到國際同行的認可,並被許多國家的科研單位在實際科研工作中引用。

研究方向

服務計算、雲計算、邊緣計算、智慧型數據處理

學術任職

(1)國際電氣和電子工程師協會高級會員(IEEE SENIOR MEMBER);
(2)中國自動化學會網路服務專委會/中國計算機學會服務計算專委會/中國計算機學會分散式計算與系統專委會委員,中國計算機學會軟體工程專委會通信委員;
(3)IEEE會員,ACM會員,SSYSF(國際服務學會青年學者論壇)副主席(2016-2017);
(4)SCI期刊IJWSR編委;
(5)重慶市第三批學術技術帶頭人;
(6)多個知名和CCF推薦國際會議程式委員會成員。

獲獎記錄

(1)2019年獲得教育部科技進步二等獎“邊雲協同的油氣物聯網智慧型決策關鍵技術及套用”(排名第5);2018年獲得吳文俊人工智慧一等獎“智慧金融中的集成生物識別關鍵技術及套用”(排名第7);
(2)2017年獲得重慶市自然科學3等獎(排名第2)“高維數據挖掘算法及可信服務計算預測模型研究”
(3)2014年獲得ACM(美國計算機學會)學術新星獎;
(4)2014年獲得重慶市“創新青年科技人才”稱號;
(5)2015年獲得四川省科技進步1等獎(排名第8)“基於北斗系統的災害監控預警平台關鍵技術及套用系統研究”;
(6)2017年獲得重慶大學自然科學獎(排名第二);
(7)2011獲得黃尚廉院士創新獎教金;
(8)2008年6月獲得北京大學“學術精英”獎;
(9)2014年獲得重慶大學十佳青年教師稱號;
(10)2014年獲得重慶市教委“高等學校青年骨幹教師資助計畫”獎;
(11)2007年獲得北京大學信息科學技術學院“學術十傑”獎。

學術成果

期刊論文

(僅列SCI檢索期刊論文)
[*]Yunni Xia, MengChu Zhou, XinLuo, Shanchen Pang, Qingsheng Zhu: Stochastic Modeling and Performance Analysisof Migration-Enabled and Error-prone Clouds. IEEE Trans. Industrial Informatics11(2): 495-504 (2015) IF4.708,ESI1區
[*] Yunni Xia, Xin Luo, Jia Li, QingshengZhu: A Petri-Net-Based Approach to Reliability Determination of Ontology-BasedService Compositions. IEEE T. SMC:Systems 43(5): 1240-1247 (2013) IF2.183,ESI二區
[*] Yunni Xia, Yi Liu, Ji Liu, QingshengZhu: Modeling and Performance Evaluation of BPEL Processes: AStochastic-Petri-Net-Based Approach. IEEET. SMC, Part A 42(2): 503-510 (2012) IF2.183,ESI二區
[*] Yunni Xia, MengChu Zhou,Xin Luo, Shanchen Pang, Qingsheng Zhu: A Stochastic Approach to Analysis ofEnergy-Aware DVS-Enabled Cloud Datacenters. IEEE Trans. Systems, Man, andCybernetics: Systems 45(1): 73-83 (2015) IF2.183,ESI二區
[*] Yunni Xia, Mengchu Zhou, XinLuo, Jia Li, Yu Huang: A stochastic Modeling Approach to QoSEvaluation ofInfrastructure-as-a-Service Clouds. IEEET. ASE. 10(5):1-9 IF1.674,CCF-B類
[*] Yunni Xia, Qingsheng Zhu,Yu Huang, Zizhen Wang: A novel reduction approach to analyzing QoS of workflowprocesses. Concu. and Comp.: Prac. and Exp. 21(2): 205-223 (2009) SCI檢索,IF0.942,CCF-C類
[*] Yunni Xia, Gang Dai, JiaLi, Tianhao Sun, Qingsheng Zhu: A model-driven approach to predictingdependability of WS-CDL based service composition. Conc. Comp.: Prac. and Exp.23(10): 1127-1145 (2011) IF0.942,CCF-C類
[*] Yunni Xia, Hanpin Wang,Wangsen Feng, Yu Huang: QoS modeling and analysis of component-based softwaresystems: a stochastic approach. Concu. and Comp.: Prac. and Exp. 20(12):1359-1385 (2008) SCI檢索,IF0.942,CCF-C類
[*] Yunni Xia, Hanpin Wang, Yu Huang, L.Yuan: A stochastic model for workflow QoS evaluation. Scientific Prog. 14(3-4):251-265 (2006) IF1.036
[*] Yunni Xia, Neng Wan, GangDai, Xin Luo, Tianhao Sun: A non-Markovian stochastic Petri net-based approachto performance evaluation of ontology-based service composition. Concu. Comp.:Prac. and Exp. 24(18): 2255-2267 (2012) IF0.942,CCF-C類
[*] Yunni Xia, Yang Zhang, XinLuo, Qingsheng Zhu: Modelling of Ontology-based Service Compositions usingPetri Net. ELECTRONICS ELECTRICAL ENG. 19(2): 132-138 (2013) IF0.411
[*] Wanbo Zheng, Lei Wu, YunniXia(通信作者), Xin Luo, YanqingZheng: Percentile performance estimation of unreliable IaaS clouds and theircost-optimal capacity decision. IEEE Acess 4.錄用IF1.270
[*] Jia Li, Yunni Xia(通信作者), Xin Luo: Reliability prediction of ontology-based servicecompositions using Petri net and time series models. The Scientific WorldJournal. Volume 2014 (2014), Article ID 760202 IF1.73
[*] Jia Li, Xin Luo,Yunni Xia(通信作者), Qingsheng Zhu: Atime series and reduction-based model for modeling and QoS prediction ofservice compositions. Concurrency and Computation: Practice and Experience27(1): 146-163 (2015) IF0.942,CCF-C類
[*] Quanwang Wu, Qingsheng Zhu, YunniXia: Energy and migration cost-aware dynamic virtual machine consolidationin heterogeneous cloud datacenters. IEEE Trans. Service Computing錄用IF2.365,CCF-B類
[*] Kunyin Guo, Yuandou Wang, YunniXia(通信作者), Dan Yang, QingshengZhu: Performance Estimation of Fault-prone Infrastructure-as-a-Service CloudComputing Systems and Their Cost-aware Optimal Performance Determination. MOBILENETWORKS & APPLICATIONS錄用IF1.045,CCF-C類
[*] Xin Luo, Mengchu Zhou, Mingsheng Shang, Shuai Li, Yunni Xia: A Novel Approach toExtracting Non-Negative Latent Factors From Non-Negative Big Sparse Matrices.IEEE Access 4: 2649-2655 (2016) IF1.270
[*] Xin Luo, MengChu Zhou, Hareton Leung, Yunni Xia, Qingsheng Zhu, Zhu-Hong You, Shuai Li: An Incremental-and-Static-CombinedScheme for Matrix-Factorization-Based Collaborative Filtering. IEEE Trans.Automation Science and Engineering 13(1): 333-343 (2016) IF1.674,CCF-B類
[*] Xin Luo, MengChu Zhou, YunniXia, Qingsheng Zhu, Ahmed Chiheb Ammari, Ahmed Alabdulwahab: GeneratingHighly Accurate Predictions for Missing QoS Data via Aggregating NonnegativeLatent Factor Models. IEEE Trans. Neural Netw. Learning Syst. 27(3): 524-537(2016) IF4.854,CCF-B類
[*] Xin Luo, MengChu Zhou, Shuai Li, Zhu-Hong You, Yunni Xia, Qingsheng Zhu: A Nonnegative Latent Factor Model forLarge-Scale Sparse Matrices in Recommender Systems via Alternating DirectionMethod. IEEE Trans. Neural Netw. Learning Syst. 27(3): 579-592 (2016) IF4.854,CCF-B類
[*] Peng Chen, Yunni Xia, ShanchenPang, Jia Li: A probabilistic model for performance analysis of cloudinfrastructures. Concurrency and Computation: Practice and Experience 27(17):4784-4796 (2015) IF0.942,CCF-C類
[*]Xin Luo, Zhong Ming, Zhuhong You, Shuai Li, Yunni Xia, Hareton Leung:Improving network topology-based protein interactome mapping via collaborativefiltering. Knowl.-Based Syst. 90: 23-32 (2015) IF4.104,CCF-C類
[*]Kunyi Guo, Ke Yu, Shanchen Pang, Dan Yang, Jun Huang, Yunni Xia, Xin Luo, Jia Li: On theperformance and power consumption analysis of elastic clouds. Concurrency andComputation: Practice and Experience 28(17): 4367-4384 (2016) IF0.942,CCF-C類
[*] Xin Luo, Mengchu Zhou, Shuai Li, YunniXia, Zhuhong You, Qingsheng Zhu, Hareton Leung: An Efficient Second-OrderApproach to Factorize Sparse Matrices in Recommender Systems. IEEE Trans.Industrial Informatics 11(4): 946-956 (2015) IF4.708,ESI1區
[*]Xin Luo, Mengchu Zhou, YunniXia, Qingsheng Zhu: An Efficient Non-Negative Matrix-Factorization-Based Approachto Collaborative Filtering for Recommender Systems. IEEE Trans. IndustrialInformatics 10(2): 1273-1284 (2014) IF4.708,ESI1區
[*] Xin Luo, Yunni Xia,Qingsheng Zhu: Applying the learning rate adaptation to the matrixfactorization based collaborative filtering. Knowl.-Based Syst. 37: 154-164(2013) IF4.104,CCF-C類
[*] Xin Luo, Yunni Xia,Qingsheng Zhu, Yi Li: Boosting the K-Nearest-Neighborhood based incrementalcollaborative filtering. Knowl.-Based Syst. 53: 90-99 (2013)IF4.104,CCF-C類
[*] Xin Luo, Huijun Liu, Gaopeng Gou, Yunni Xia, Qingsheng Zhu: A parallel matrix factorization basedrecommender by alternating stochastic gradient decent. Eng. Appl. of AI 25(7):1403-1412 (2012) IF1.625,CCF-C類
[*] Xin Luo, Yunni Xia,Qingsheng Zhu: Incremental Collaborative Filtering recommender based onRegularized Matrix Factorization. Knowl.-Based Syst. 27: 271-280 (2012) IF4.104,CCF-C類
[*] Jian Xing;ZhuQingsheng; Xia Yunni. An interval-based fuzzy ranking approach forQoSuncertainty- aware service composition. OPTIK.2016, 127(4): 2102-2110 IF0.742
[*] Quanwang Wu, Qingsheng Zhu, Yunni Xia(通信作者): VCG AUCTION-based dynamic pricing for multi-granularity service composition. IEEE TRANS. ASE錄用,CCF-B類
[*] Wanbo Zheng, Yuandou Wang, Yunni Xia(通信作者), Quanwang Wu, Lei Wu, Kunyin Guo, Weiling Li, Xin Luo, Qingsheng Zhu : On dynamic Performance estimation of fault-prone Infrastructure-as-a-Service. IJDSN錄用IF1.2
[*] Weiling Li,Yongbo Wang,Yuandou Wang,Yunni Xia(通信作者), Quanwang Wu, Xin Luo: An Energy-Aware and Under-SLA-Constraints VM Consolidation Strategy Based on the Optimal Matching Method. IJWSR錄用IF0.67
[*] Weiling Li, Yunni Xia, Mengchu Zhou, Xiaoning Sun, Qingsheng Zhu: Fluctuation-Aware and Predictive Workflow Scheduling in Cost-Effective Infrastructure-as-a-Service Clouds. IEEE Access 6: 61488-61502 (2018)
[*]Yuandou Wang, Hang Liu, Wanbo Zheng, Yunni Xia, Yawen Li, Peng Chen, Kunyin Guo, Hong Xie: Multi-Objective Workflow Scheduling With Deep-Q-Network-Based Multi-Agent Reinforcement Learning. IEEE Access 7: 39974-39982 (2019)
[*]Qinglan Peng, Mengchu Zhou, Qiang He, Yunni Xia, Chunrong Wu, Shuiguang Deng: Multi-Objective Optimization for Location Prediction of Mobile Devices in Sensor-Based Applications. IEEE Access 6: 77123-77132 (2018)
[*]Chunrong Wu, Jia Lee, Teijiro Isokawa, Jun Yao, Yunni Xia: Efficient Clustering Method Based on Density Peaks With Symmetric Neighborhood Relationship. IEEE Access 7: 60684-60696 (2019)
[*]Xuan Xiao, Wanbo Zheng, Yunni Xia, Xiaoning Sun, Qinglan Peng, Yu Guo: A Workload-Aware VM Consolidation Method Based on Coalitional Game for Energy-Saving in Cloud. IEEE Access 7: 80421-80430 (2019)
[*]Xin Luo, MengChu Zhou, Zidong Wang, Yunni Xia, Qingsheng Zhu: An Effective Scheme for QoS Estimation via Alternating Direction Method-Based Matrix Factorization. IEEE Trans. Services Computing 12(4): 503-518 (2019)

會議論文

(僅列CCF推薦學術會議論文)
1.Yunni Xia, Gang Dai, Fangfang Tang, Qingsheng Zhu: A Stochastic-Petri-Net-Based Model for Ontology-Based Service Compositions. TASE(CCF-C類) 2011: 187-190
2.Yunni Xia, Hanpin Wang, Yu Huang, Wanling Qu: Queuing analysis and performance evaluation of workflow through WFQN. TASE(CCF-C類) 2007: 178-187
3.Yunni Xia, Hongchao Xue, Xiuwu Wang: Performance Prediction of WS-CDL Based Service Composition. QSIC(CCF-C類) 2010: 294-299
4.Yunni Xia, Hanpin Wang, Yu Huang, Chunxiang Xu: Stochastic modeling and quality evaluation of component-based software systems. QSIC(CCF-C類) 2006: 377-384
5. Weiling Li, Lei Wu, Yunni Xia(通信作者), Yuandou Wang, Kunyin Guo, Xin Luo, Mingwei Lin: On stochastic performance and cost-aware optimal capacity planning of unreliable Infrastructure-as-a-service cloud. ICA3PP(CCF-C類) 2016: 644-657
6.Yunni Xia, Jun Chen, Mingqiang Zhou, Yu Huang: A Petri Net Based Approach to QoS Estimation of Web Service Choreographies. APWeb/WAIM(CCF-C類) 2009: 113-124
7.Yuandou Wang, Jiajia Jiang, Yunni Xia, Quanwang Wu, Xin Luo, Qingsheng Zhu: A Multi-stage Dynamic Game-Theoretic Approach for Multi-Workflow Scheduling on Heterogeneous Virtual Machines from Multiple Infrastructure-as-a-Service Clouds. SCC (CCF-C類,ConferenceRank-A類)2018: 137-152
8.Xiaoning Sun, Jiangchuan Chen, Yunni Xia, Qiang He, Yuandou Wang, Xin Luo, Rongqing Zhang, Wuhong Han, Quanwang Wu: A Fluctuation-Aware Approach for Predictive Web Service Composition年度最佳學生論文. SCC (CCF-C類,ConferenceRank-A類) 2018: 121-128
9.Qinglan Peng, Qiang He, Yunni Xia, Chunrong Wu, Shu Wang: Collaborative Workflow Scheduling over MANET, a User Position Prediction-Based Approach年度最佳學生論文. CollaborateCom (CCF-C類) 2018: 33-52
10.Weiling Li, Yunni Xia, Wanbo Zheng, Peng Chen, Jia Lee, Yawen Li: Optimal Device Management Service Selection in Internet-of-Things. CollaborateCom 2019(CCF-C類): 45-57
11.Xuan Xiao, Yunni Xia, Feng Zeng, Wanbo Zheng, Xiaoning Sun, Qinglan Peng, Yu Guo, Xin Luo: A Novel Coalitional Game-Theoretic Approach for Energy-Aware Dynamic VM Consolidation in Heterogeneous Cloud Datacenters. ICWS 2019(CCF-B類): 95-109
12.Qinglan Peng, Yunni Xia, Feng Zeng, Jia Lee, Chunrong Wu, Xin Luo, Wanbo Zheng, Hui Liu, Yidan Qin, Peng Chen: Mobility-Aware and Migration-Enabled Online Edge User Allocation in Mobile Edge Computing. ICWS 2019(CCF-B類): 91-98

發明專利

(*)Web服務吞吐率預測方法,夏雲霓,陳鵬,戴剛,羅辛,吳磊,zl.201110444847.5
(*)一種協同過濾推薦模型中調整學習速率的方法,羅辛,陳鵬,夏雲霓,吳磊,楊瑞龍,zl.201210168756.8
(*)一種web服務連線成功率的預測方法,夏雲霓,陳鵬,羅辛,劉傑,朱慶生,吳磊,zl.201210245592.4
(*)一種基於時間序列的Web服務回響時間預測方法,夏雲霓,陳鵬,羅辛,吳磊,朱慶生,zl.201210168757.2
(*)一種協同過濾推薦模型的最佳化訓練方法,羅辛,夏雲霓,zl.201210389800.8
(*)DAML-S組合服務可靠性分析方法,夏雲霓,陳鵬,楊瑞龍,朱慶生,吳磊,何振,zl.201110351649.4
(*)一種SOA服務平均故障間隔時間預測方法,夏雲霓,羅辛,zl.201210389811.6
(*)人體行為特徵提取方法,系統及異常行為檢測方法和系統,劉傑,陳鵬,吳磊,伍德安,馮江遠,夏雲霓,zl.201210341733.2
(*)IaaS雲可變規模資源池管理方法、裝置和伺服器,李洪揚,夏雲霓,譚剛,傅宏,zl.201410188323.8
(*)一種用戶商品點擊率自適應預測裝置和預測方法,羅辛,葛亮,夏雲霓,朱慶生,周明強,zl.201310162681.7
(*)一種煙檢測方法、裝置及火災檢測裝置,吳磊,武德安,陳鵬,劉傑,馮江遠,夏雲霓,zl.201210567733.4
(*)一種基於回響時間趨勢分析的WEB服務系統訪問量控制方法和裝置,夏雲霓,羅辛,朱慶生,張蛘,zl.201310415743.0
(*)人體行為特徵提取方法、系統及異常行為檢測方法和系統,伍德安,吳磊,陳鵬,劉傑,馮江遠,夏雲霓,zl.201210341733.2
(*)一種特徵抽取方法和裝置,羅辛,夏雲霓,zl.201410013846.9
(*)面向高可信性的雲系統虛擬機任務備份裝置系統及方法,李佳,夏雲霓,江濤,zl.201410359403.5
(*)雲數據中心新增任務動態控制裝置系統及方法,郭坤銀,林溪橋,夏雲霓,王元斗,朱慶生,zl.201410315765.4
(*)一種雲數據中心主機延遲開機的方法裝置和系統,李蔚凌,夏雲霓,吳全旺,朱慶生,zl.201510147721.X
(*)一種基於可靠性預測的WEB服務推送方法、裝置及伺服器,譚顯波,夏雲霓,董宇翔,李鶇,王琨,劉建勝,zl.201310293624.2
(*)基於可變斜率的缺失服務回響時間補足方法和裝置 ,羅辛,夏雲霓,zl.201510087290.2
(*)基於非負聚合的缺失服務吞吐率補足方法和裝置,羅辛,夏雲霓,zl.201510087331.8
(*)一種基於非負交替方向變換的用戶特徵抽取方法及抽取裝置,許明,羅辛,張能鋒,袁野,吳迪,夏雲霓,zl.201510087359.1
(*) 一種缺失蛋白質相互作用關係補足方法和裝置,羅辛,夏雲霓,zl.201510087543.6
(*)一種基於權重支持率的高通量篩選數據噪聲抑制方法和裝置,羅辛,盛紅凌,李超華,夏雲霓,zl.201510087545.5
(*)一種雲數據中心任務備份的方法、裝置和系統,夏雲霓,周剛,俞可,朱慶生,zl.201510147743
(*)一種雲數據中心任務分配方法、裝置和系統,孫曉寧,張榮慶,王元斗,夏雲霓,吳全旺,朱慶生,zl.201510603222.7
(*)一種雲數據中心主機檢查點設定的方法、裝置和系統,李蔚凌,夏雲霓,郭坤銀,張余,任灝,王璐玥,zl.201510602543.5
(*)一種面向性能的雲數據中心輪休方法、裝置和系統,夏雲霓,郭坤銀,羅辛,俞可,朱慶生,zl.201510603193.4
(*)考慮雲平台主機性能衰減的任務分配方法、裝置和系統,夏雲霓,郭坤銀,羅辛,李蔚凌,王元斗,吳全旺,楊瑞龍,zl.201610512166.0
(*)雲動態管理方法及裝置,朱俊,夏雲霓,劉建勝,王世君,楊梅,zl.201410069284.X.

科研項目

(1)主持:2014年,國家自然科學基金面上項目:“基於Peitr網與協同過濾的雲上web服務可信性分析與預測的研究”,84萬,NSF61472051
(2)主持:2011年,國家自然科學基金青年項目:“領域本體服務組合的PETRI網建模和非功能特性分析”,22萬,NSF61103036
(3)主持:2015年,國家博士後基金一等資助金項目:“基於Petri網與協同過濾的雲系統能耗分析與預測的研究”,2015M570770,8萬;重慶市博士後特別資助基金:“異構雲計算系統可信性與能耗最佳化”,XM2015078,5萬;
(4)主持:2019年三個重慶市產業類重點研發項目子課題,“智慧型製造成本質量管控雲平台研發及套用”、“面向液晶顯示面板生產的大數據分析平台技術研究與套用”、“電力巡檢人員智慧型體徵檢測與雲端融合的協同感測關鍵技術研發”,累計經費約45萬;2017年,重慶市重點研發計畫項目,“雲端融合的高可信基礎軟體及中間件的研究與套用”,100萬;2009年,重慶市自然科學基金:“WEB服務組合模型與形式化驗證方法的研究”,2009jj0835,3萬;2017年,重慶市自然科學基金:“模型驅動的雲服務QoS分析和預測的研究”,5萬
(5)主持:2010年,博士點新教師基金:“模型驅動的服務合成可信性方法的研究”,20100191120026,3.6萬;
(6)主持:2010年,中央高校科研基金面上項目,8萬;2014年,重慶大學信息學部中央高校重點基金,20萬;2016年,重慶大學中央高校基金學院創新項目,8萬;
(7)主持:2010年,重慶移動聯合科技攻關項目:“基於信令的移動客戶群欠費風險預測和提前干預系統的設計與開發”,9萬;
(8)主持:2013年,重慶科委創新青年科技人才項目:“雲環境下海量數據集成理論與方法的研究”,ctsc2013kjrc-qnrc0079,8萬;2017年,第二主持教委“高校優秀科技成果轉化”項目,“面向深度學習與大數據處理的高可信雲計算平台和關鍵技術的套用與推廣”,KJZH17104,30萬;
(9)主持:國家電網重慶客戶服務中心科技開發項目:“多元化服務渠道的線上分析及智慧型互動套用研究”,10萬;
(10)主研項目:國家973項目“基於知識的網構軟體需求建模理論和方法研究”、國家863項目“基於正確性驗證的web服務可信性研究”、微軟研究院/北京大學信息科學技術學院理論實驗室聯合項目“分散式錯誤檢測算法的設計和分析”、國家自然科學基金項目“混成系統的描述與驗證理論研究”。
(11)主研項目:國家科技部支撐計畫“統籌城鄉第四方就業服務體系研究與套用示”,承擔經費10萬

相關詞條

熱門詞條

聯絡我們