张继军 - 山东农业大学 - 信息科学与工程学院

个人简介

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

研究领域

1、Petri网理论与应用2、形式语言与自动机理论与应用3、软件形式化方法与测试4、农业信息化技术与应用

近期论文

查看导师最新文章（温馨提示：请注意重名现象，建议点开原文通过作者单位确认）

1张继军.故障检测的Petri网模型与Petri网故障进程[J],小型微型计算机系统,2014,35(9). 2耿霞,张继军.一阶谓词逻辑的图形推理法[J].计算机科学,2014,41(7).3耿霞，张继军.一阶谓词公式关联矩阵的构造方法[J],计算机工程与应用,2014,50(3).4JijunZhang.PropertypreservationofPetrirefinementnetbasedrepresentationforembeddedsystems.(ICMII2013).5JijunZHANG.ThreeStepsTeachingMethodsofComputerProgrammingCourse.2011TeachingSeminarsonHigherEducationScienceandEngineeringCourses.6JijunZhang.TestPatternGenerationofSequentialCircuitsBasedonPetriNet[J].3rdInternationalconferenceonE-BusinessandInformationsystemSecurity.7JijunZhang.PropertiesAnalysisofPetriNetBasedonPetriNetStateTransitionGraph[J].The3rdInternationalConferenceonNetworksSecurity,WirelessCommunicationsandTrustedComputing.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). 28张继军.同步和异步时序逻辑电路统一分析方法.山东科大学报（自然版）,2005,24(1).29张继军,吴哲辉.Petri网的分层递归模型,系统仿真学报,2003,15(s):89-9230张继军.《操作系统》中基于Petri网的P、V操作的设计与实现.计算机应用研究,2003,31张继军.同步和异步时序逻辑电路统一设计的新方法,计算机工程与应用,200339(17).32zhangJijun.TheResearchandDesignofDynamicSimulationforAlgorithmofdataStructures.InternationalJournalofEngineeringEducationTheoryandPractice200333张继军,吴哲辉.时序逻辑电路设计的Petri网方法,计算机科学,2002,29(12.34张继军,Petri网进程文法和进程语言.计算机科学,2002,29(12).35张继军,吴哲辉.Petri网同步距离的计算,计算机科学,2001,28(7.s). 教材专著1主编《Java程序设计》水利水电出版社，2019年2主编《JavaEE框架开发技术与案例教程》机械工业出版社,2016年.3主编《JavaWeb应用开发技术与案例教程》机械工业出版社,2014年4主编《VisualBasic.NET程序设计》中国农业出版社,2014年5主编《VisualBasic程序设计》（第2版）中国农业出版社,2010年6主编《VisualBasic程序设计实验》（第2版）中国农业出版社,2010年7主编《VB程序设计》中国农业出版社，2006年8主编《VB程序设计实验》中国农业出版社，2006年