您的位置： 专家智库 > >

国家高技术研究发展计划(2004AA412040)

作品数：5 被引量：15H指数：2
相关作者：王宏安金宏王晖张艳辉古勇更多>>
相关机构：中国科学院软件研究所浙江大学北京特种机电技术研究所更多>>
发文基金：国家高技术研究发展计划国家自然科学基金国家重点基础研究发展计划更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 5篇中文期刊文章

领域

  • 5篇自动化与计算...

主题

  • 2篇调度
  • 1篇调度设计
  • 1篇对二甲苯
  • 1篇信息发布
  • 1篇形式化
  • 1篇形式化验证
  • 1篇映射
  • 1篇预测控制
  • 1篇支持向量
  • 1篇支持向量机
  • 1篇时段演算
  • 1篇实时操作系统
  • 1篇实时调度
  • 1篇实时数据
  • 1篇实时数据库
  • 1篇数据库
  • 1篇数据挖掘
  • 1篇数据挖掘算法
  • 1篇自组织
  • 1篇自组织映射

机构

  • 3篇中国科学院软...
  • 2篇浙江大学
  • 1篇中国科学院研...
  • 1篇北京特种机电...

作者

  • 2篇王宏安
  • 1篇古勇
  • 1篇褚健
  • 1篇任佳
  • 1篇苏宏业
  • 1篇张艳辉
  • 1篇王堃
  • 1篇董振华
  • 1篇王晖
  • 1篇金宏
  • 1篇张博颖
  • 1篇韩慧明
  • 1篇刘新刚

传媒

  • 1篇计算机学报
  • 1篇化工自动化及...
  • 1篇信息与控制
  • 1篇计算机仿真
  • 1篇计算机工程与...

年份

  • 2篇2007
  • 2篇2006
  • 1篇2005
共 5 条 记 录，以下是 1-5
全选 清除 导出
排序方式：
优先级顶协议的形式化验证
2007年
优先级顶协议是一种优先级驱动的抢占式调度协议,它具有无死锁和单阻塞的性质。Dang Van Hung和Philip Chan在文献[6]中形式地规范和验证了这两个性质。但他们没有对状态函数HiPripcp明确定义,这使得验证的细节较难理解。为了解决这个问题,提出了一种新的方法来验证优先级顶协议单阻塞的性质。通过时段演算的方法,对优先级顶协议进行了规范,并给出了状态函数HiPripcp的明确定义。根据优先级顶协议的规范,形式地验证了该协议的单阻塞性质。采用的验证方法更少地依赖于HiPripcp,这使得验证的细节更易于理解。此外,提出的验证方法可被应用于实时数据库系统中类似协议的形式化验证。
张博颖
关键词：时段演算调度实时操作系统
基于最小二乘支持向量机的非线性补偿器被引量：4
2005年
针对工业过程中普遍存在的非线性被控对象,通过最小二乘支持向量机对系统的模型偏差建模,并在此基础上构造非线性补偿器。首先,采用具有RBF核函数的LS-SVM离线建立系统偏差模型,并在系统运行时不断对偏差模型进行在线修正;然后基于此模型在DMC预测控制的基础之上构建补偿器;最后成功应用于智能工厂实验室的多变量液位控制实验装置。
张艳辉古勇
关键词：最小二乘支持向量机预测控制
计算机控制中的模糊调度设计被引量：10
2006年
研究了具有模糊截止期的多控制任务的实时调度问题,提出了奉献度的概念和最大奉献优先(LDF)的调度策略.为了减小因任务间频繁切换造成的系统开销,提出了基于抢占阈值的最大奉献优先(TLDF)调度策略.最后,通过仿真比较了LDF和TLDF两种调度策略,实现了具有模糊截止期的控制任务调度,在减少并均衡控制性能损失的同时提高系统计算资源的使用率.
金宏王宏安唐雪梅王晖
关键词：计算机控制系统实时调度协同设计
基于自组织映射模型的数据挖掘算法在对二甲苯吸附分离过程中的应用被引量：1
2006年
以PX吸附分离过程为研究对象,运用基于SOM模型的数据挖掘算法对其进行分析研究.SOM模型在整个挖掘过程中起了关键性的作用.一方面,SOM模型作为探索性数据分析的有效工具,为进一步的挖掘提供了依据.另一方面,SOM模型为聚类算法提供参数指导和数据支持.最终,通过数据挖掘实现了两个目标,得到了在不同负荷情况下操作参数的稳态优化区域;建立了可用于指导操作员改进操作的可视化实时评估模型.
任佳苏宏业褚健
关键词：数据挖掘
基于ECA的信息发布/订阅机制研究
2007年
分布式的监控环境中,基于发布/订阅的push模式能及时地反映用户关注的最新信息,很好地满足松散通信的需要。但当订阅条件关联多条数据信息时,传统的订阅描述方法和匹配算法难以满足要求。提出了基于ECA(event-condition-action)的信息发布/订阅机制,利用ECA规则描述复杂的订阅条件,并初步研究了匹配方法。介绍了在卫星测试中该机制的设计实现及应用。
刘新刚董振华韩慧明王堃王宏安
关键词：实时数据库卫星测试
全选 清除 导出
共1页<1>
聚类工具0