莫毓昌

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

阶段一致型阶段任务系统最优变量排序研究

Hits :

First Author : 杨新民

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

Date of Publication : 2015-01-01

Document Type : 期刊

Journal : 南京理工大学学报

Issue : 第3期

Page Number : 312-316

ISSN : 1005-9830

Translation or Not : no

Key Words : 阶段任务系统;变量排序;二进制决策图;故障树;与组合;或组合

Abstract : 为缩小二进制决策图(BDD)模型的尺度,提高阶段一致型阶段任务系统(PMS)可靠性分析的准确性,对阶段一致型PMS的最优变量排序问题进行了研究。利用已有的阶段依赖排序(PDO)方法,基于不同的阶段组合关系,研究PMS故障树最优变量排序和PDO之间的关系。结果表明:阶段一致型PMS具有前向PDO适用于阶段与组合PMS,后向PDO适用于阶段或组合PMS的特性;将PMS故障树排序问题规约为一般故障树变量排序问题。

Next One : 面向高速公路环境的VANETs中V2V链路时延的动态预测

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级计算机软件与理论专业研究生:贺宁凯