莫毓昌

associate professor   Supervisor of Master's Candidates

Gender : Male

Alma Mater : 哈尔滨工业大学

Education Level : Graduate student graduate

Degree : Doctorate

Status : 在岗

School/Department : 数理与信息工程学院

Date of Employment : 2009-06-26

Business Address : 浙江省金华市迎宾大道688号浙江师范大学数理信息学院

Email :


Paper achievements

MDD-based performability analysis of multi-state linear consecutive-k-out-of-n: F systems

Hits :

Affiliation of Author(s): 数理与信息工程学院

Date of Publication : 2017-01-01

Document Type : 期刊

Journal : Reliability Engineering & System Safety

Volume: Vol.166

Page Number : 124-131

ISSN : 0951-8320

Translation or Not : no

Key Words : Multi-state system;Linear consecutive-k-out-of-n;Performability analysis;Multi-valued decision diagram

Abstract : A multi-state linear consecutive- k -out-of- n : F system, MLC( k,n ) consists of n components ordered in a line, which fails if at least k consecutive components have failed. It abounds in real-world applications such as wireless sensor networks, microwa

Pre One : MDD-Based Method for Efficient Analysis on Phased-Mission Systems With Multimode Failures.

Next One : Performability Analysis of k-to-l-Out-of-n Computing Systems Using Binary Decision Diagrams

Recommend this Article

Personal Profile

莫毓昌  男、副教授

[1] 2008.8-2009.6,东南大学计算机科学与工程学院,讲师;

[2] 2004.9-2008.7,哈尔滨工业大学计算机系统结构专业,获博士学位;

[3]  2002.9-2004.7,哈尔滨工业大学计算机系统结构专业,获硕士学位;

[4]  1998.9-2002.7,哈尔滨工业大学计算机科学技术专业,获学士学位。


主讲课程

主讲本科课程:计算机组成与结构、微机原理和接口技术

主讲研究生课程:算法分析与设计

学术兴趣及主要研究方向

复杂计算系统可靠性建模和评估

科研项目

1. 主持国家自然科学基金委员会青年科学基金项目:基于 BDD 的大规模静态失效关联系统故障树分析(60903011)。

2. 主持高等学校博士学科点专项科研基金新教师项目:阶段任务系统可靠性的模块化混合分析方法研究(20090092120030)。

3. 主持江苏省自然科学基金面上项目:基于决策图的多状态系统可靠性分析方法研究(BK2009267)。

4. 主持浙江省自然科学基金一般项目:大规模多状态系统可靠性分析方法研究(Y1100689)。

5. 主持浙江省科技工业技术公益项目:汽车可靠性评估软件平台研究(2010C31122

6. 主持计算机软件新技术国家重点实验室课题基金开放课题:大规模Statechart的正确性验证和测试用例生成研究(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. 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(English Edition), 2009, 25 (3) : 316-319

6. Mo Yuchang, Daniel 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. 莫毓昌, 杨孝宗, 崔刚, 刘宏伟. 一般阶段任务系统的任务可靠性分析. 软件学报. 2007, 18(4):1068-1076.

指导研究生情况

109级计算机软件与理论专业研究生:贺宁凯