浙师大数理与信息工程学院导师介绍:杨凡
-
浙师大数理与信息工程学院导师介绍:莫毓昌
姓名:莫毓昌职称:副教授所在学院:数理与信息工程学院研究方向:复杂计算系统可靠性建模和评估主讲课程:主讲本科课程:计算机组成与结构、微机原理和接口技术指导专业:(0812)计算机科学与技术(一级)科研项目(课题)1.主持国家自然科学基金委员会青年科学基金项目:基于BDD的大规模静态失效关联系统故障树分析(60903011)。2.主持高等学校博士学科点专项科研基金新教师项目:阶段任务系统可靠性的模块化混合分析方法研究(20090092120030)。3.主持江苏省自然科学基金面上项目:基于决策图的多状态系统可靠性分析方法研究(BK2009267)。4.主持浙江省自然科学基金一般项目:大规模多状态系统可靠性分析方法研究(Y1100689)。5.主持浙江省科技工业技术公益项目:汽车可靠性评估软件平台研究(2010C31122)6.主持计算机软件新技术国家重点实验室课题基金开放课题:大规模Statechart的正确性验证和测试用例生成研究(KFKT2009B05)。论文著作1.MoYuchang.NewinsightsintotheBDD-basedreliabilityanalysisofphased-missionsystems.IEEETransactionsonReliability,2009,58(4):667-6782.MoYuchang.VariableorderingtoimproveBDDanalysisofphased-missionsystemswithmultimodefailures.IEEETransactionsonReliability,2009,58(1):53-573.MoYuchang,YangXinmin.ANewApproachtoVerifyStatechartSpecificationsforReactiveSystems.InternationalJournalofSoftwareEngineeringandKnowledgeEngineering,2008,18(6):785-8024. MoYuchang.FTCL:aToolforAutomaticTestSuiteGenerationfromStatechartSpecifications.InternationalJournalofAdvancedComputerEngineering,2009,2(2):141-1475.莫毓昌;杨全胜.Molarsolutionofdynamicmultiple-phasedsystemsJournalofSoutheastUniversity(EnglishEdition),2009,25(3):316-3196.MoYuchang,DanielP.SiewiorekandYangXiaozong.Missionreliabilityanalysisoffault-tolerantmultiple-phasedsystems.ElsevierJournalofReliabilityEngineeringandSystemSafety.2008,93(7):1036-1046.7.莫毓昌,杨孝宗,崔刚,刘宏伟.一般阶段任务系统的任务可靠性分析.软件学报.2007,18(4):1068-1076.指导研究生简况09级计算机软件与理论专业研究生:贺宁凯;2.11级计算机软件与理论专业研究生:陈荣根*如果发现导师信息存在错误或者偏差,欢迎随时与我们联系,以便进行更新完善。联系方式
-
浙师大数理与信息工程学院导师介绍:贾泂
姓名:贾泂职称:教授所在学院:数理与信息工程学院研究方向:数据降维、模式分类、数据挖掘、软件工程等学术兼职:全国高等学校计算机教育研究会计算机网络教育分会理事。
-
浙师大数理与信息工程学院导师介绍:端木春江
姓名:端木春江职称:副教授所在学院:数理与信息工程学院研究方向:图像处理、模式识别、人工智能;视频信息处理、视频通信、第4代(4G)移动通信关键技术主讲课程:本科课
-
浙师大数理与信息工程学院导师介绍:陈中育
姓名:陈中育职称:教授所在学院:数理与信息工程学院研究方向:规范化软件开发技术、需求建模、形式化方法。主讲课程:主讲本科课程:软件工程、软件项目管理、CMM理论与实
-
浙师大数理与信息工程学院导师介绍:钟发荣
姓名:钟发荣职称:教授所在学院:数理与信息工程学院研究方向:移动进程演算;Web服务组合主讲课程:主讲本科课程:计算机图形学、数据结构、编译原理、人工智能指导
-
浙师大数理与信息工程学院导师介绍:赵相福
姓名:赵相福职称:教授所在学院:数理与信息工程学院研究方向:基于模型的故障诊断、人工智能主讲课程:主讲本科课程:离散数学、数据结构与算法、C语言程序设计等。
-
浙师大数理与信息工程学院导师介绍:张胜
姓名:张胜职称:教授所在学院:数理与信息工程学院学术兼职:中国物理学会会员;江苏生物医学学会会员;中国生物医学物理研究会理事、副秘书长。研究方向:电子系统设计与应用
-
浙师大数理与信息工程学院导师介绍:叶荣华
姓名:叶荣华职称:教授所在学院:数理与信息工程学院研究方向:语义Web服务,Agent技术,云计算主讲课程:主讲本科课程:面向对象分析与设计,面向对象程序设计
-
浙师大数理与信息工程学院导师介绍:王基一
姓名:王基一职称:教授所在学院:数理与信息工程学院研究方向:人工智能、数据挖掘、智能计算、粒计算等学术兼职:浙江省省级实验教学示范中心——浙