张继军，教授，硕士研究生导师，中国计算机学会高级会员，中国 自动 化学会高级会员，网络信息服务专委会委员。主要研究方向：Petri 网理论与应用,软件形式化方法与测试、形式语言与自动机理论与应用、农业信息化 等。 在国内外核心期刊和国际学术会议发表学术论文近 50 篇，主持、参加各 类科研项目 8 项，主、参编规划教材 10 部。曾获校学生心目中的十大优 秀教师，优秀教学成果、优秀班主任、优秀教学质量奖等荣誉称号。

教师简介

教学工作

学术论文

【2】耿霞,张继军.一阶谓词逻辑的图形推理法[J].计算机科学,2014,41(7).

【3】耿霞，张继军. 一阶谓词公式关联矩阵的构造方法[J],计算机工程与应用,2014,50(3).

【4】Jijun Zhang.Property preservation of Petri refinementnet based representation for embeddedsystems. (ICMII 2013).

【5】Jijun ZHANG. Three StepsTeaching Methods of Computer Programming Course. 2011 Teaching Seminars onHigher Education Science and Engineering Courses .

【6】Jijun Zhang. Test PatternGeneration of Sequential Circuits Based on Petri Net[J]. 3rd Internationalconference on E-Business and Information system Security .

【7】Jijun Zhang. Properties Analysis of PetriNet Based on Petri Net State Transition Graph[J]. The 3rd InternationalConference on Networks Security, Wireless Communi cations and TrustedComputing.

【8】张继军.语言表达式到Petri 网模型的转换及其算法[J].小型微型计算机系统，2011,32(4).

【9】张继军，董卫.Petri 网与二元文法的语言等价性[J].微电子学与计算机，2011,28(4)

【10】张继军,范昊.上下文无关语言的可重复序列及其性质.小型微型计算机系统,2010:31(6)

【11】张继军，范昊，耿霞.Petri网语言表达式及其求解算法.计算机科学,2009,36(11).

【12】巩君华，张继军.袋自动机与 Petri 网模型之间的等价转化.系统仿真学报.2009,20(s1).

【13】张继军,费玉奎,董卫. 二元文法.计算机工程与科学,2008,30(11).

【14】张继军,费玉奎,耿霞.有界Petri 网等价性的判定算法. 微电子学与计算机,2008,25(12).

【15】张继军,董卫.Petri 网的状态转换图. 小型微型计算机系统,. 2008，29(9).

【16】张继军.上下文无关Petri 网语言的Pumping 引理.小型微型计算机系统,2008,29(4).

【17】 张继军,吴哲辉. 推导可交换上下文无关语言.小型微型计算机系统,2008,29(2).

【18】张继军,吴哲辉,董卫.袋自动机. 计算机研究与发展,2008,45(Supp1).

【19】张继军,吴哲辉.有界Petri 网的最小化化简. 计算机科学.2007,34(11).

【20】张继军.递归Petri 网.计算机应用研究.2007,24(s).

【21】张继军,吴哲辉.可交换上下文无关文法. 计算机科学.2007,34(7).

【22】张继军,董卫.基于语言等价的Petri 网化简. 系统仿真学报.2007,19(s1).

【23】耿霞,张继军. 谓词/变迁系统对一阶谓词公式的建模. 系统仿真学报.2007,19(s1).

【24】张继军,董卫.基于Petri 网的构件组装运算及其性质,微电子学与计算机,2006,23(s).

【25】张继军.下推自动机的状态转换图与下推自动机的化简. 计算机科学.2006,33(5)

【26】张继军,吴哲辉. 广义有界上下文无关语言与Petri 网语言.系统仿真学报.2005,17(s).

【27】张继军.Petri 网控制结构的合成运算.计算机工程与应用.2005,41(20).