耿霞
- 作品数：32 被引量：72H指数：6
- 供职机构：山东农业大学信息科学与工程学院更多>>
- 发文基金：国家自然科学基金山东省优秀中青年科学家科研奖励基金国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术文化科学农业科学天文地球更多>>
- 项链T-图和完全T-图中活的和安全的标识类个数的证明
- 2007年
- 本文证明了:有k个结点(变迁)的项链型T-图Nk和有n个结点(变迁)的完全T-图Kn这两种特定结构的T-图中活的和安全的标识类的个数分别为:k-1和(n-1)!个。
- 耿霞吴哲辉
- 谓词/变迁系统对一阶谓词公式的建模被引量：3
- 2007年
- 研究了利用谓词/变迁系统对一阶谓词公式建模的方法。借助于软件工程中"由粗到细,逐层分解"的思想,定义了对各种逻辑联结词进行处理的基本模型。给出了一阶谓词公式的二叉树表示方法,进而利用二叉树的递归性质,提出了递归构造一阶谓词公式对应的谓词/变迁级的"事实变迁"表示的方法,克服了已有相关建模方法中存在的不足,为一阶谓词公式的自动化建模提出了新的思路。最后,探讨了一阶谓词公式的谓词/变迁系统模型在谓词逻辑推理领域的应用及其意义。
- 耿霞吴哲辉张继军
- 关键词：逻辑联结词二叉树
- 问题导向式教学法应用研究被引量：11
- 2018年
- 问题导向式教学法以问题为导向,以学生为中心,注重师生互动,力求培养学生解决问题的能力和提高教学质量。以C语言程序设计课程为例,通过分析传统教学过程中存在的弊端,阐述问题导向式教学应用在大学课堂中的必要性,重点探讨问题导向式教学法应用时的关键环节以及如何正确把握教师角色。
- 耿霞刘建华李文杰王媛媛
- 关键词：C语言程序设计教师角色
- 浅谈多媒体教学存在的问题及对策被引量：11
- 2007年
- 随着现代信息技术的发展,借助高科技实施多媒体教学不仅是一种教学趋势而且是一种新的教育理念。本文提出了目前多媒体教学中存在的主要问题,提出了相应的解决方法。
- 吴秋兰陈桂友耿霞
- 关键词：多媒体课堂教学
- Java程序设计中的键盘输入数据的方法分析
- 2018年
- 在Java语言程序设计中要使用键盘输入所需要的数据,可以通过几种不同的类和方法来实现。本文对这几种类和方法举例并对每种例题进行分析和说明,通过比较,分析出在什么情况下输入不同类型的数据用什么类和方法更适用。
- 李蔚妍高葵耿霞
- 关键词：SCANNER键盘
- 故障检测的Petri网模型与Petri网故障进程
- 为了实现故障的检测和故障定位,通过分析故障在Petri网模型中的表现特征,提出了故障检测的Petri网模型和故障进程,并给出了故障检测、定位方法.首先,对Petri网进行扩展,提出了带输入输出的增广Petri网和故障检测...
- 张继军董卫耿霞
- 关键词：PETRI网模拟系统故障检测
- 文献传递
- 一阶谓词公式关联矩阵的构造方法被引量：1
- 2014年
- 一阶谓词逻辑可以借助关联矩阵进行有效推理。为了提高关联矩阵的构造效率,从而提高一阶谓词逻辑推理的效率,提出一种由一阶谓词公式构造对应关联矩阵的递归方法。该方法利用二叉树的递归性质,对任意一个一阶谓词公式,在化去量词后直接构造关联矩阵。该方法为借助关联矩阵实现一阶谓词逻辑的自动化推理提供了可能。
- 耿霞张继军吴秋兰
- 关键词：关联矩阵逻辑推理二叉树
- Web GIS在水质信息系统中的应用研究被引量：9
- 2008年
- 目前雪野水库水质监测与评价采用现场采样,实验室分析的人工方法,针对该方法不能反映水质指标在空间和时间上的分布状况问题,本文提出了基于Web GIS的水质信息系统设计方案。水质数据采集设备将采集到的水质信息利用移动网的GPRS无线网络可以及时发送到数据处理和监控中心,系统充分发挥GIS在水质评价中的优势,自动完成评价过程。评价结果可以生成水质污染专题图,直观显示水库水质的时空分布状况。Web GIS强大的空间分析与统计功能为水质信息管理的标准化、网络化、空间化提供了有效的工具。
- 吴秋兰梁勇白娟耿霞张承明
- 关键词：网络地理信息系统水质
- 信息化时代高校教学的研究被引量：1
- 2018年
- 信息时代的高速发展,给高校教育提出了新的挑战,培养能适应信息时代的具有创新精神和实践能力的高校人才尤为重要。本文简要论述了信息化时代与高校教学的特点和信息化时代对人才培养的要求,从几个方面提出了高校教育中如何进行教与学的改革,以使培养出来的人才更能适应信息时代的变化和要求。
- 李蔚妍孙未耿霞李雨朱红梅高葵
- 关键词：信息时代高校教育
- 袋自动机被引量：6
- 2008年
- 提出了袋自动机模型和袋语言的概念,并给出了袋自动机的状态转换图;分析了袋语言重复序列在状态转换图中的反映,并划分为不变重复序列、增重复序列、减重复序列和传递重复序列,给出了袋语言的结构特性;研究了袋语言类同Chomsky文法体系中各型语言的关系,证明了正规语言类是袋语言类的真子集,袋语言类是上下文有关语言类的真子集,而袋语言类同上下文无关语言类是两个相交但互不包含的语言类,即存在不是上下文无关语言的袋语言,也存在无法用袋自动机产生的上下文无关语言.
- 张继军吴哲辉董卫耿霞
- 关键词：状态转换图
