张继军
- 作品数：47 被引量：65H指数：5
- 供职机构：山东农业大学信息科学与工程学院更多>>
- 发文基金：国家自然科学基金山东省优秀中青年科学家科研奖励基金更多>>
- 相关领域：自动化与计算机技术电子电信经济管理文化科学更多>>
- 同步和异步时序逻辑电路统一设计的新方法被引量：5
- 2003年
- 介绍了一种新的时序电路的设计理论与方法,实现了同步、异步电路的设计过程的统一。该方法的特点是直接从时序电路的状态转换图(STD)获得触发器的激励条件和时钟脉冲;设计原理简单,易于理解,使设计更直观清楚,比传统方法简便、快捷,避免了对状态方程、驱动方程的复杂计算;该设计方法过程可以采用程序实现,实现了时序电路设计的程序化、自动化。
- 张继军
- 关键词：时序电路触发器
- Petri网与二元文法的语言等价性
- 2011年
- 为了用一种类似Chomsky文法体系中的文法描述Petri网语言,研究了二元文法与Petri网语言之间的关系,给出了将二元文法等价转化为Petri网的方法和将Petri网等价转化为二元文法的方法,从而,证明了二元文法产生的语言等价于Petri网语言.
- 张继军董卫范昊
- 关键词：PETRI网
- 袋自动机与Petri网模型之间的等价转化
- 研究了袋自动机和Petri网两种计算模型之间的关系,证明了两者在串行语义下,其动态行为(语言)是等价的,并分别给出了将袋自动机等价转化为Petri网的算法和将Petri网等价转化为袋自动机的算法。
- 巩君华张继军范昊
- 关键词：PETRI网等价转化
- 文献传递
- 谓词/变迁系统对一阶谓词公式的建模被引量：3
- 2007年
- 研究了利用谓词/变迁系统对一阶谓词公式建模的方法。借助于软件工程中"由粗到细,逐层分解"的思想,定义了对各种逻辑联结词进行处理的基本模型。给出了一阶谓词公式的二叉树表示方法,进而利用二叉树的递归性质,提出了递归构造一阶谓词公式对应的谓词/变迁级的"事实变迁"表示的方法,克服了已有相关建模方法中存在的不足,为一阶谓词公式的自动化建模提出了新的思路。最后,探讨了一阶谓词公式的谓词/变迁系统模型在谓词逻辑推理领域的应用及其意义。
- 耿霞吴哲辉张继军
- 关键词：逻辑联结词二叉树
- 灌溉系统辅助开发平台的设计与实现
- 2021年
- 针对灌溉系统项目受限于硬件环境导致开发效率低的问题,基于Aardio语言和SQLite数据库,采用MVC设计模式及多线程技术,面向客户端/服务器架构灌溉系统,设计了可提供虚拟测试环境的辅助开发平台。首先分析了客户端/服务器架构灌溉系统的组网特点以及平台功能的实现原理,然后依据上述分析设计了虚拟硬件模型、虚拟硬件数据库及硬件环境模拟器,最后完成平台构建并将其应用于某灌溉系统项目的开发。经测试,平台可实现对传感控制设备输入输出特性的模拟,减少开发人员对真实硬件环境的依赖,提高开发效率与灵活性。
- 任崇浩张继军
- 关键词：灌溉系统软件设计
- 基于语言等价的Petri网化简被引量：1
- 2007年
- 定义了α闭包表达式和同步交错正规表达式,证明了同步交错正规表达式与Petri网语言的等价性,给出了Petri网语言的结构特征:任意一个Petri网语言都是一个正规语言表达式与α闭包表达式的同步,借助于这一特性,给出了Petri网的化简过程及其算法。
- 张继军董卫
- 关键词：PETRI网化简
- 基于Petri网的构件组装运算及其性质
- 文章提出了构件的Petri网模型-构件网,并给出了构件组装的运算;定义了构件组装表达式,给出了构件组装的形式化描述,讨论了构件组装运算的性质和特点,从而提供了对组装构件进行自动分析和验证的方法.
- 张继军董卫
- 关键词：PETRI网
- 文献传递
- 程序设计类课程教学内容与教学方法的研究与探讨被引量：1
- 2011年
- 针对计算机程序设计类课程的特点，分别从课程教学目标、教学内容、教学方法等方面进行了分析和研究，并给出了相关的解决方案，方案的实施，有利于提高教学效果，增强学生的软件开发能力。
- 张继军王志军
- 关键词：程序设计教学目标教学内容教学方法
- 袋自动机与Petri网模型之间的等价转化
- 2008年
- 研究了袋自动机和Petri网两种计算模型之间的关系,证明了两者在串行语义下,其动态行为(语言)是等价的,并分别给出了将袋自动机等价转化为Petri网的算法和将Petri网等价转化为袋自动机的算法。
- 巩君华张继军范昊
- 关键词：PETRI网PETRI网语言等价性
- 有界Petri网的最小化化简被引量：2
- 2007年
- 给出了Petri网的语言等价性概念和有界Petri网的最小化概念;证明了有限状态自动机、有界Petri网、正规文法的等价性,给出了它们之间等价转换的算法;分析了有界Petri网的化简过程,并给出了有界Petri网最小化化简的算法,为有界Petri网的自动化化简提供了方法。
- 张继军吴哲辉
- 关键词：PETRI网最小化化简
