韩道军
- 作品数：112 被引量：272H指数：9
- 供职机构：河南大学更多>>
- 发文基金：国家自然科学基金河南省科技攻关计划博士后科研启动基金更多>>
- 相关领域：自动化与计算机技术文化科学电子电信天文地球更多>>
- 一种海量遥感元数据模糊XML的关键字查询方法
- 本发明公开了一种海量遥感元数据模糊XML的关键字查询方法，包括以下步骤：A：读取模糊XML文档，并将路径解析为模糊XML文档树的树状存储结构，然后将所得到的树状存储结构以Map类型的集合进行储存；B：将关键字与树状存储结...
- 张磊陈万相洪振张雪凯葛强肖琦李秋月韩道军
- 一种基于概念格的错题知识点强化训练试题推荐方法
- 本发明公开了一种基于概念格的错题知识点强化训练试题推荐方法，依次包括以下步骤：A：构建该学生对象的基于错题的知识点信息集合的原始形式背景；B：利用步骤A中构建出的基于错题的知识点信息集合的原始形式背景，构造该学生对象的试...
- 张磊李星辰沈夏炯韩道军贾培艳史先进丁文珂
- 文献传递
- 场景驱动法在《Web系统与技术》课程教学中的应用被引量：3
- 2014年
- 《Web系统与技术》课程涉及知识点多、技术新颖、应用性强。由于学生实践经验欠缺,传统的通过独立案例讲授各知识点的方法往往导致学生对知识点理解不深刻。提出基于场景驱动的教学方法,以主题引入和应用为例,通过设计系列教学场景,可加深学生对所学知识点的理解,,培养学生的应用能力和创新能力。
- 贾培艳韩道军
- 关键词：教学法教学场景
- 基于目标的信息物理融合系统事件模型的分析被引量：1
- 2017年
- 软件系统的事件模型能够有效地刻画软件系统的行为。但是,由于信息物理融合系统的异构性与分布式特征,建立信息物理融合系统的事件模型不仅需要了解系统的具体组成结构,还需要考虑事件的时空信息,这为信息物理融合系统事件模型的建立带来了新的困难。从需求分析的角度出发,提出一种基于目标的方法来分析并建立信息物理融合系统的事件模型。该方法认为用户建立系统的目标可以表达为事件之间的因果关系,即当一个事件发生时系统要能够感知并触发另外一个事件发生。基于此,该方法从用户对信息物理融合系统的需求出发,以目标的与/或分解为手段来分析满足用户需求的事件模型。以一个自适应巡航控制系统为案例来说明该方法。
- 刘春黄冉冉韩道军
- 关键词：信息物理融合系统
- 基于逻辑合一的访问控制规则描述
- 2011年
- 现有的访问控制规则描述方式不易表达一类主体、客体间具有包含关系的访问控制规则。针对此问题,提出一种基于逻辑中合一思想的算法。算法首先将访问控制请求转换为逻辑提问,同时根据逻辑回答给出相应的访问控制请求应答;然后使用事实描述访问控制规则中的各个要素,并通过在系统运行过程中对非ground事实的变量的动态例化实现灵活的访问控制。最后,通过一个实例及分析说明了算法的有效性。
- 韩道军黄泽龙翟浩良李磊
- 关键词：访问控制
- 基于目标的信息物理融合系统软件需求分析方法
- 本发明提供一种基于目标的信息物理融合系统软件需求分析方法，其包括以下步骤：明确用户需求：分析用户需求所引用的可观测现象以及期望实现的可控现象，建立现象间的因果关系式来表达用户的需求；推理软件需求：从用户的需求出发，以目标...
- 刘春田军锋左宪禹韩道军李征
- 文献传递
- 基于强化学习的业务流程中的柔性约束研究被引量：2
- 2011年
- 软件业务流程需要较高的灵活性和适应性。目前,众多的方法集中在流程建模阶段,通过一些方法提高流程的灵活性,却忽略了流程的运行阶段。由于外界环境的变化具有动态性,在建模阶段不易对其描述。由于外界环境的变化能够在运行阶段体现出来,分析流程的运行阶段是必要的。以流程中的约束为研究内容,通过对流程运行阶段的数据进行分析,提出一种基于强化学习的柔性约束模型,以提高流程的适应性。同时,将该算法应用于一类以用户为中心的复杂信息系统,实例分析表明算法是实用和有效的。
- 韩道军夏兰亭卓汉逵李磊
- 关键词：柔性约束
- 基于压缩感知的视觉安全和数据安全的图像加密、解密方法
- 本发明涉及一种基于压缩感知的视觉安全和数据安全的图像加密、解密方法，首先利用SHA 256哈希函数得到明文图像的256位哈希值作为图像秘钥，并计算一维skew tent混沌映射和zigzag置乱的初始数值；对明文图像进行...
- 甘志华韩道军朱长江柴秀丽路杨符翔龙郑晓宇
- 文献传递
- 一种面向区块链平台的基于字节码的诈骗合约检测方法
- 本发明公开了一种面向区块链平台的基于字节码的诈骗合约检测方法,依次包括以下步骤：A：获取区块链平台中智能合约的字节码，将获取到的字节码转化为标准化后的特征矩阵并消除特征矩阵中的噪声；B：获取诈骗合约的数据集并划分为训练集...
- 沈夏炯姜帅民张磊韩道军陈会平李星辰马夏青欧阳文蕾
- 文献传递
- 基于面向对象的几何定理自动证明系统设计与实现
- 2012年
- 针对几何定理自动证明的前推法实现方式,结合面向对象编程工具的特点,实现了一个原型系统。该系统结构简单、清晰,可扩展性强,并能产生可读证明过程。实例分析说明了该原型的有效性。
- 白景华韩道军
- 关键词：面向对象
