国家自然科学基金(61003079)
- 作品数：8 被引量：16H指数：2
- 相关作者：张海宾周清雷朱维军陶敏丁求启更多>>
- 相关机构：西安电子科技大学郑州大学中国卫星海上测控部更多>>
- 发文基金：国家自然科学基金国家教育部博士点基金中央高校基本科研业务费专项资金更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 一个轻量的多核实时调度算法
- 2012年
- 为了解决现有多核实时调度算法要么利用率界限低、要么开销大的问题,在k分组的半局部最早时限优先算法的基础上提出了一个轻量的多核实时调度算法PsEKG.该算法引入一种周期敏感的机制,在任务分配之前先将周期成倍数关系的任务组织在一起,然后将短周期任务和长周期任务分别组织,最后将这些组织好的任务分配到处理器上.实验结果表明:本文提出的方法极大地减少了算法的调度次数、任务的切换次数和任务的迁移次数,实现了降低调度开销的目的.
- 聂鹏程
- 关键词：多核调度
- 基于ARM的卷烟32位码防伪识别系统的设计与实现被引量：5
- 2013年
- 为有效打击假冒、走私、串货卷烟等违法行为,采用信息技术,设计并开发一套卷烟防伪识别系统。以卷烟32位代码作为识别对象,利用ARM单片机实现便携式手持设备的硬件构造,采用图像识别技术获取卷烟上的32位条码,通过短信模块完成与后台打码数据的比对,进而辨别卷烟的真伪。实验表明,该系统具有识别率高、可靠性强等优点,具有一定的应用推广价值。
- 门鹏
- 关键词：ARM单片机图像识别数据库系统
- 工作流网合成规则及其在流程设计中的应用被引量：1
- 2012年
- 针对工作流网建模过程中节点精化方法只能扩展单节点的局限性,提出一种基于Petri网合成规则的工作流网精化方法.在活的和有界的自由选择网合成规则上添加限制,使其适用于自由选择工作流网的精化,定义可分离工作流网及其保持可分离性的合成规则,证明在自由选择或可分离工作流网上应用合成规则所生成工作流网的合理性.使这两类工作流网的精化能够一次涉及多个节点,为其建模提供维度不同且粒度更细的参考原则.
- 张曼段振华
- 关键词：工作流PETRI网
- 移动环境中的位置依赖连续轮廓查询被引量：2
- 2012年
- 针对移动环境中查询点快速移动时连续、高效输出给定搜索区域数据轮廓的问题,提出一种位置依赖连续轮廓查询算法(LDCS).该算法结合数据流技术,首先使用R树快速更新查询数据,然后利用两次连续计算时搜索区域的重叠性构造被动数据流,并对新增和失效数据分别进行处理,从而连续输出轮廓.由于充分利用了已有结果,LDCS的计算量较传统算法有大幅下降.实验结果表明,LDCS特别适合计算频度要求较高的场合,与基于网格索引的算法相比,时间效率随着数据集规模的增大显著提升.
- 黄伯虎张海宾王小兵刘旭东
- 关键词：数据流查询处理移动计算
- 模糊＋PID控制在伺服压力机位置控制系统中的应用被引量：6
- 2013年
- 伺服压力机是一个复杂的机电系统,难以建立精确的数学模型,传统的PID控制方法难以实现精确控制。针对这种情况,提出了在原有的PID控制的基础上加入模糊控制的方案。详细推导了模糊控制变量的确定、模糊规则的建立、模糊控制量的精确以及模糊控制和PID控制的切换,并进行了仿真和实验。结果表明该方案具有稳定、超调小、响应快、调节时间短、结构简单、容易实现的优点,实现了对伺服压力机位置控制系统的精确控制。
- 丁求启陶敏
- 关键词：伺服压力机
- 基于PPTL的着色Petri网的模型检测方法
- 2013年
- 为了提高着色Petri网的描述及验证能力,提出了一种基于投影命题时序逻辑的着色Petri网的模型检测方法。通过构建投影命题时序逻辑公式的否定形式等价的Buchi自动机,将它与着色Petri网的可达图相积,通过检测检测乘积图的可接受语言是否为空,从而判断用时序逻辑公式描述的系统性质是否满足。利用投影命题时序逻辑公式具有更强的表达力,可以有效地提高着色Petri网系统的描述及验证能力。
- 门鹏
- 关键词：着色PETRI网
- 求解爱因斯坦谜题的一种形式系统及推理方法被引量：1
- 2012年
- 针对求解爱因斯坦谜题的现有人工智能方法的不足,构建了一个基于一阶逻辑的形式系统Γ。首先,通过定义Γ公理集和Γ推理规则集给出了谜题的形式化描述;然后,通过有穷次交替选择使用Γ公理和Γ规则推导出一系列Γ定理,从而得到谜题的解。与现有方法相比,新方法给出了分析、推理的过程,并且不存在状态空间爆炸问题。
- 朱维军周清雷
- 扩展命题区间时序逻辑公式可满足性判定算法被引量：1
- 2011年
- 针对扩展命题区间时序逻辑由于缺少验证算法因而不能用于模型检测问题,提出该逻辑的可满足性判定算法。首先,正则形子算法把带星算子或不带星算子的扩展命题区间时序逻辑公式翻译为其正则形公式;然后,正则图子算法根据正则形公式构造公式的正则图模型;最后,判定子算法在正则图上判定公式的可满足性。如果在正则图上直接加上接受条件,即可得到公式的自动机模型。新算法的提出为带有星算子的扩展命题区间时序逻辑的模型检测解决了核心方法问题。仿真结果表明,与相关方法相比,基于扩展命题区间时序逻辑的新方法在描述与验证循环结构性质方面具有比较优势。
- 朱维军邓淼磊周清雷张海宾
- 关键词：正则图可满足性判定
