计算机科学与技术学院硕士生导师.docVIP

计算机科学与技术学院硕士生导师 夏传良，1967年11月生，山东茌平县人，副教授。中科院博士、博士后。中国计算机学会高级会员，Petri网专业委员会委员。中国系统工程学会会员。 一、学习/工作经历 1987.9-1991.7 曲阜师范大学数学系（本科）应用数学专业 理学学士学位 1991.9-1994.7 曲阜师范大学自动化研究所 控制与计算机专业 理学硕士学位 2003.9-2006.7 中国科学院数学与系统科学研究院 计算机软件与理论专业 工学博士学位 2006.8-2008.8 中国科学院软件研究所计算机科学国家重点实验室 计算机软件与理论专业 博士后 于1994.7先后在山东建筑工程学院计算机中心、计算机系、山东建筑大学计算机学院工作至今。 二、科研方向 Petri网是一种系统的既有数学分析又有图形描述的工具，适合对具有并发、互斥、并行、冲突和不确定性等特性的离散事件系统进行设计。作为一种数学工具，它可以用来建立状态方程、代数方程和其他描述系统行为的数学模型，借助于数学开发的Petri网分析方法和技术既可用于静态的结构分析，又可以用于动态的行为分析；作为一种图形化工具，可以把Petri网看作与数据流图和网络相似的通信辅助方法，具有简洁、直观、潜在模拟能力强等优点，被广泛应用于离散事件系统的设计和分析中，如通讯协议的验证、计算机网络性能的分析、并行程序的设计、自动化系统的控制、知识推理及人工神经元网络等。 本人多年来一直从事Petri网理论与应用的研究工作。主要研究领域为 Petri网理论及其应用、并行计算、模型检测、并发实时系统的设计和验证。攻读博士期间，在库所/变迁Petri网精细化和合成操作动态性质和结构性质的保持性及其在柔性制造系统、业务过程处理系统中的应用方面做了大量的研究工作。在做博士后研究工作期间，对嵌入式系统Petri网化简操作关于时间和功能等性质的保持性进行了深入研究，并应用于军工企业中干扰发射机实时控制系统的设计；对时间Petri网和时间自动机的描述能力进行了比较，对二者之间的转化开展了研究，并用模型检测方法对模型性质进行验证。目前主要从事嵌入式系统Petri网精细化操作和共享复杂子网合成操作对原系统时间、功能等性质的保持性研究，并应用于并发实时系统、业务过程处理系统和智能建筑系统的设计和验证。 三、教学、科研成果： 教学方面：目前担任本科生 《C语言及其程序设计》、《离散数学》、《Petri网算法》等课程和硕士生的学位课《组合数学》的讲授工作。作为副主编出版教材两部。 科研方面：参加国家自然科学基金项目1项，主持中国科学院计算机科学国家重点实验室开放课题基金项目1项，主持山东建筑大学博士基金项目1项。参加山东省自然科学基金项目和山东省教育厅计划项目各1项。在《Journal of Computers》、《Journal of Networks》、《Mathematical Structures in Computer Science》、《Journal of Computational Information Systems》、《软件学报》、《系统仿真学报》、《系统工程理论与实践》、《计算机科学》、《计算机应用研究》、《计算机工程与设计》等国内外重要期刊和相关国际会议上发表论文60余篇，其中SCI、EI收录20余篇，ISTP收录6篇。《系统工程理论与实践》特约审稿人。 1、项目 1)将一种时间Petri网转化为时间自动机的方法研究（SYSKF0903） 2、论文 [1] Chuanliang Xia. Analysis of properties of Petri synthesis net. TAMC 2006: Theorey and Applications of Models of Computation, Lecture Notes in Computer Science, Vol.3959, Springer-Verlag Berlin Heidelberg, 2006, pp.576-587. (SCI：BEM07, EI: 20062910005612)Chuanliang Xia. Analysis and application of Petri subnet reduction. Journal of Computers, Vol.6, No.8, 2011, pp.1662-1669. (EI: 20113314243401). [3] Chuanliang Xia. A Petri net synthesis method. Journal of Networks, Vol. 5, No. 6, 2010,