名师简介
姓 名 叶新铭 技术职称 教授 定职时间 1994 出生年月 1943-8-11 电话 Email xmy@imu.edu.cn 教育情况 1965年7月毕业于内蒙古大学数学系，大学本科 主要研究方向 计算机网络及其应用技术、分布式系统 主要研究成果 在国内外重要学术刊物上发表论文共 50 篇。 出版专著（译著等） 1 部。 获奖成果共 5 项；其中：国家级 0 项，省部级 5 项。 目前承担项目共 7 项；其中：国家项目 2 项，省部项目 5 项。 近三年（2000-2002年）支配科研经费共 621 万元，年均 207 万元。 企业网络信息管理系统,2002年度,内蒙古自治区科技进步二等奖 非确定性分布式系统的测试方法和工具的研究;2000年度,内蒙古自治区科技进步二等奖 On conformance testing of nonderterministic systems ； International Journal of computer mathematics, 2001 Vol.77 pp.55-72 Fault Diagnosis in Hypercube Multiprocessor Systems ； International Journal of computer mathematics, 2001 Vol.77 pp.355-372 A formal Description Technology Graphical E-LOTOS FORTE XII /PSTP XIX’99 在研项目 内蒙远程教育工程 内蒙古政府项目 2002-2004 下一代网络协议的形式验证和测试方法的研究 国家自然科学基金 2003-2005 网络系统的测试工具软件的研究 内蒙古科技攻关项目 2001-2003 教师编号 000001