师资力量
当前位置:首页 >> 学院概况 >> 师资力量

夏传良

信息来源:本站原创 作者: 审核人: 发布日期:2019-12-11 浏览次数:

夏传良,1967年生,教授,博士,硕士生导师。


学习工作经历:

1987.9-1991.7 曲阜师范大学数学系(本科)应用数学专业 理学学士学位

1991.9-1994.7 曲阜师范大学自动化研究所 控制与计算机专业 理学硕士学位

2003.9-2006.7 中国科学院数学与系统科学研究院 计算机软件与理论专业 工学博士学位  

2006.8-2008.8 中国科学院软件研究所计算机科学国家重点实验室计算机软件与理论专业 博士后

1994.7至今,山东建筑大学计算机科学与技术学院 助教、讲师、副教授、教授。


主要社会兼职:

科技部国家重点研发计划“物联网与智慧城市”重点专项核心库专家。

中国计算机学会高级会员Petri网专业委员会委员。

中国自动化学会网络信息服务专业委员会委员。

中国系统工程学会高级会员。

IEEE/CAA JAS 、自动化学报、系统工程理论与实践等期刊审稿专家。

主要研究领域为:Petri网理论与应用,嵌入式系统PRES网理论与应用,并发实时系统的设计和验证,物联网与智慧城市,网络信息服务,智能计算等。


主讲课程:

本科生课程:《离散数学》、《C语言及其程序设计》、《大学计算机》

研究生学位课程:《形式语言与自动机》


主要主持及参与项目:

1.PRES+网细化和综合研究及在智能建筑协调控制建模中的应用(ZR2016FM19),山东省自然科学基金面上项目,2016.11-2019.6,主持

2.将一种时间Petri网转化为时间自动机的方法研究(SYSKF0903),中国科学院计算机科学国家重点实验室开放课题基金项目, 2009.1-2009.12, 主持

3. 时间Petri网模型化简及其模型检测, 山东建筑大学博士基金项目,2008.9-2011.9,主持

4.Petri网系统合成与性质保持研究(60473007),国家自然科学基金项目,2005.1-2007.12,主要参加人。

5.机非混行的动态交通分配研究及在交通诱导系统中的应用(2015GGX101047),山东省重点研发计划项目,2016.1-2017.12,主要参加人。

6.基于本体的建筑文献数据检索挖掘算法的设计与实现(J12LN31),山东省高校科技计划项目,2012-2014,主要参加人。


其他科研及教研成果:

软件著作权 :PRES网模拟分析系统V1.0; 夏传良, 张玮, 王兆诚, 申斌, 郝凡昌, 李成龙; 2019SR0673699, 2019.07。


发表论文:

在《IEEE/CAA Journal of Automatica Sinica》、《Cluster Computing》、《Journal of Computers》、《Journal of Networks》、《Mathematical Structures in Computer Science》、《IEEE Access》、《Journal of Computational Information Systems》、《Computer Systems and Engineering》、《Intelligent Automation and Soft Computing》、《软件学报》、《系统仿真学报》、《系统工程理论与实践》、《计算机科学》、《计算机应用研究》、《计算机工程与设计》等国内外重要期刊和IEEE、LNCS等国际会议上发表论文80余篇,其中SCI、EI收录30余篇,ISTP收录10余篇。

[1] Chuanliang Xia, and Chengdong Li. Property preservation of Petri synthesis net based representation for embedded systems. IEEE/CAA Journal of Automatica Sinica, vol. 6, no. 6, pp. 1-12, 2019.

[2] Chuanliang Xia, Wei Zhang and Zhaocheng Wang. Reduction rules for Petri net with inhibitor arcs based representation for embedded systems. 2019 International Conference on Computer Science, Communications and Big Data (CSCBD 2019), DEStech Transactions on Computer Science and Engineering, pp. 408-413 (EI)

[3] Chuanliang Xia, Bin Shen, Hailin Zhang and Yigui Wang. Liveness and boundedness preservations of sharing synthesis of Petri net based representation for embedded systems. International Journal of Computer Systems Science & Engineering, 2018,Vol. 33, No.5, pp.345-350 (SCI (WOS:000455691500007))

[4] Chuanliang Xia. Property preservation of refinement for Petri net based representation for embedded systems. Cluster Computing, 2016,Vol.19, No.3,pp:1373–1384 (SCI (WOS:00038263540024)、EI: 20163002638373)

[5] Chuanliang Xia. Liveness and boundedness analysis of Petri net synthesis. Mathematical Structures in Computer Science,2014,Vol.24,iss.5,pp.1-19 (SCI(WOS:000343644100014), EI: 20144700230635)



上一篇:尤宝山