科研人员
姓名叶新铭
性别男
职称研究员
个人主页
个人介绍
简历:
　　1943年8月出生，现任内蒙古大学计算机系教授，系主任。中科院计算技术研究所客座研究员，博士生导师，中国计算机学会理事，内蒙古计算机学会理事长。主要研究方向：计算机网络与分布式系统主要成果：

1. 关于非确定性分布式系统的测试方法和工具的研究，2000年获得内蒙古自治区科技进步二等奖；
2. 路由协议测试。课题组分别使用LOTOS语言、Petri网和FSM完成了三个协议（OSPFV2、BGP4、RIP）的形式化描述工作，并研究了几种自动产生测试例的算法，先产生抽象测试例，进上步产生TTCN测试例。
3. 平面足迹计算机自动检验技术的研究，1997年获国家公安部科技进步二等奖。
4. 数字系统的形式描述技术和验证方法的研究
5. 网络环境下数据库非环性分布式算法的研究。

研究方向:
形式描述技术、协议验证和测试技术、网络环境下分布式数据库
社会任职:


获奖及荣誉:

代表论著:


承担科研项目情况:

学科类别:


所属部门:
网络技术研究中心
专家类别:


杰青入选时间:

百人入选时间:



其他备注:
博导计算机系统结构
其他备注2:

其他备注3: