浙江師范大學(xué)數(shù)理與信息工程學(xué)院導(dǎo)師:莫毓昌

發(fā)布時(shí)間:2021-11-05 編輯:考研派小莉 推薦訪問(wèn):
浙江師范大學(xué)數(shù)理與信息工程學(xué)院導(dǎo)師:莫毓昌

浙江師范大學(xué)數(shù)理與信息工程學(xué)院導(dǎo)師:莫毓昌內(nèi)容如下,更多考研資訊請(qǐng)關(guān)注我們網(wǎng)站的更新!敬請(qǐng)收藏本站,或下載我們的考研派APP和考研派微信公眾號(hào)(里面有非常多的免費(fèi)考研資源可以領(lǐng)取,有各種考研問(wèn)題,也可直接加我們網(wǎng)站上的研究生學(xué)姐微信,全程免費(fèi)答疑,助各位考研一臂之力,爭(zhēng)取早日考上理想中的研究生院校。)

浙江師范大學(xué)數(shù)理與信息工程學(xué)院導(dǎo)師:莫毓昌 正文


  姓名:莫毓昌 
  職稱:副教授 
  所在學(xué)院:數(shù)理與信息工程學(xué)院 

  研究方向:復(fù)雜計(jì)算系統(tǒng)可靠性建模和評(píng)估
  主講課程:主講本科課程:計(jì)算機(jī)組成與結(jié)構(gòu)、微機(jī)原理和接口技術(shù)
  指導(dǎo)專業(yè):(0812) 計(jì)算機(jī)科學(xué)與技術(shù)(一級(jí))

  科研項(xiàng)目(課題)
  1.主持國(guó)家自然科學(xué)基金委員會(huì)青年科學(xué)基金項(xiàng)目:基于 BDD 的大規(guī)模靜態(tài)失效關(guān)聯(lián)系統(tǒng)故障樹(shù)分析(60903011)。
  2.主持高等學(xué)校博士學(xué)科點(diǎn)專項(xiàng)科研基金新教師項(xiàng)目:階段任務(wù)系統(tǒng)可靠性的模塊化混合分析方法研究(20090092120030)。
  3.主持江蘇省自然科學(xué)基金面上項(xiàng)目:基于決策圖的多狀態(tài)系統(tǒng)可靠性分析方法研究(BK2009267)。
  4.主持浙江省自然科學(xué)基金一般項(xiàng)目:大規(guī)模多狀態(tài)系統(tǒng)可靠性分析方法研究(Y1100689)。
  5.主持浙江省科技工業(yè)技術(shù)公益項(xiàng)目:汽車可靠性評(píng)估軟件平臺(tái)研究(2010C31122)
  6.主持計(jì)算機(jī)軟件新技術(shù)國(guó)家重點(diǎn)實(shí)驗(yàn)室課題基金開(kāi)放課題:大規(guī)模Statechart的正確性驗(yàn)證和測(cè)試用例生成研究(KFKT2009B05)。

  論文著作
  1.Mo Yuchang. New insights into the BDD-based reliability analysis of phased-mission systems. IEEE Transactions on Reliability, 2009, 58(4):667-678
  2.Mo Yuchang. Variable ordering to improve BDD analysis of phased-mission systems with multimode failures. IEEE Transactions on Reliability, 2009, 58(1):53-57
  3.Mo Yuchang, Yang Xinmin. A New Approach to Verify Statechart Specifications for Reactive Systems. International Journal of Software Engineering and Knowledge Engineering, 2008, 18(6):785-802
  4.  Mo Yuchang. FTCL:a Tool for Automatic Test Suite Generation from Statechart Specifications. International Journal of Advanced Computer Engineering, 2009,2(2):141-147
  5.莫毓昌; 楊全勝. Modular solution of dynamic multiple-phased systems Journal of Southeast University(E
nglish Edition), 2009, 25 (3) :316-319
  6.Mo Yuchang, D aniel P. Siewiorek and Yang Xiaozong. Mission reliability analysis of fault-tolerant multiple-phased systems. Elsevier Journal of Reliability Engineering and System Safety. 2008, 93(7):1036-1046.
  7.莫毓昌, 楊孝宗, 崔剛, 劉宏偉. 一般階段任務(wù)系統(tǒng)的任務(wù)可靠性分析. 軟件學(xué)報(bào). 2007, 18(4):1068-1076.

  指導(dǎo)研究生簡(jiǎn)況
  09級(jí)計(jì)算機(jī)軟件與理論專業(yè)研究生:賀寧凱;2. 11級(jí)計(jì)算機(jī)軟件與理論專業(yè)研究生:陳榮根

  *如果發(fā)現(xiàn)導(dǎo)師信息存在錯(cuò)誤或者偏差,歡迎隨時(shí)與我們聯(lián)系,以便進(jìn)行更新完善。

以上老師的信息來(lái)源于學(xué)校網(wǎng)站,如有更新或錯(cuò)誤,請(qǐng)聯(lián)系我們進(jìn)行更新或刪除,聯(lián)系方式

添加浙江師范大學(xué)學(xué)姐微信,或微信搜索公眾號(hào)“考研派小站”,關(guān)注[考研派小站]微信公眾號(hào),在考研派小站微信號(hào)輸入[浙江師范大學(xué)考研分?jǐn)?shù)線、浙江師范大學(xué)報(bào)錄比、浙江師范大學(xué)考研群、浙江師范大學(xué)學(xué)姐微信、浙江師范大學(xué)考研真題、浙江師范大學(xué)專業(yè)目錄、浙江師范大學(xué)排名、浙江師范大學(xué)保研、浙江師范大學(xué)公眾號(hào)、浙江師范大學(xué)研究生招生)]即可在手機(jī)上查看相對(duì)應(yīng)浙江師范大學(xué)考研信息或資源。

浙江師范大學(xué)考研公眾號(hào) 考研派小站公眾號(hào)
浙江師范大學(xué)

本文來(lái)源:http://m.zhongzhouzhikong.com/zhejiangshifandaxue/yanjiushengdaoshi_512363.html

推薦閱讀