同济大学计算机学院东华大学,东华大学原校长蒋昌俊调任同济大学正局级副校长...

d7d25a1bbc3acff988cf9e96c135cdad.png

蒋昌俊 资料图

据同济大学新闻网消息:7月1日,教育部人事司司长张东刚专程来校,宣读教育部党组、教育部关于蒋昌俊同志任职的通知:经研究并与中共上海市委商得一致,任命蒋昌俊同志为中共同济大学委员会委员、常委,同济大学副校长(正局级)。

上述官方消息证实,刚刚卸任东华大学校长、党委副书记的蒋昌俊已经重回同济大学,担任党委常委、副校长(正局级)。

公开简历显示,蒋昌俊,男,1962年生于安徽安庆,1986年毕业于山东科技大学(原山东矿业学院)计算数学专业,1991年获山东科技大学计算机软件与理论硕士,1995年于中国科学院自动化研究所获控制理论与工程博士,1997年于中国科学院计算技术研究所计算机科学与技术学科完成博士后工作。

蒋昌俊早年在母校山东科技大学工作,1992年和1995年破格晋升副教授和教授,1998年任山东科技大学校长助理。1997年,蒋昌俊获聘为中国科学院自动化研究所客座研究员、博士生导师。

1999年,蒋昌俊任同济大学计算机系教授、博士生导师,2000年担任同济大学计算机系系主任,此后历任该校电子与信息工程学院副院长、院长、同济大学校长助理,2008年12月任同济大学副校长,分管科研和学科建设工作。

2015年3月,蒋昌俊接替徐明稚任东华大学校长。

今年7月1日,教育部党组在东华大学宣布了有关任免决定,刘承功任东华大学党委书记;因另有任用,朱民不再担任东华大学党委书记,蒋昌俊不再担任东华大学校长、党委副书记。教育部党组成员、副部长田学军出席宣布会议并讲话。教育部人事司、上海市教卫工作党委负责同志出席会议。

+1

自Petri 先生开创性的工作之后,网论得到了长足进展,至今已形成了相当规模的研究领域。在理论方面,Petri网模型和分析技术的研究取得了许多有价值的成果,Petri网作为一种全新的自动机被开发出来,研究者对此充满了希望,认为Petri网比下推自动机有用,因是它不存在图灵机所具有的那些可判定问题。在这期间,MIT出现了许多博士论文都是以Petri网为专题的。于是人们也象发现FSM自动机与普通语言之间的关系一样展开了对Petri网语言的研究,研制出了一些复杂的译码方法,并且定义了一些使其证明较易构造的Petri网子类。由于Petri网自己也存在一些可判定问题,许多研究者转而寻找其它形式的自动机,比如线性有界自动机、多栈下推自动机等等。然而Petri网的理论研究仍在许多大学和科研机构中进行着。许多系统设计者仍试图用Petri网或经过改进的Petri网以适合他们专用领域的需要。虽然,基本Petri网模型存在一些可判定问题,但是有界Petri网的性质却很好,对应用者来说并没有面临理论家们所碰到的难题。不过问题并没有那么简单。事实上,Petri网的可达集在网的规模上是以指数规律递增的,从而引起了麻烦,尽管模型可能有界,但是界限已超出了目前计算机的能力。继续从事于Petri网理论研究的专家们开始扩充这个模型,他们对Petri网所做的工作影响着其建模能力、模型的表达能力以及从模型中可获得的计量单位
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值