您的位置： 专家智库 > >

国家自然科学基金(60473036)

作品数：10 被引量：26H指数：3
相关作者：毛宇光刘正涛曹子宁黄志球张君华更多>>
相关机构：南京航空航天大学南京大学成都医学院更多>>
发文基金：国家自然科学基金教育部科学技术研究重点项目湖南省自然科学基金更多>>
相关领域：自动化与计算机技术医药卫生电子电信农业科学更多>>

文献类型

  • 10篇期刊文章
  • 1篇会议论文

领域

  • 8篇自动化与计算...
  • 1篇电子电信
  • 1篇医药卫生
  • 1篇农业科学

主题

  • 2篇调度
  • 2篇调度策略
  • 2篇空闲
  • 2篇空闲时间
  • 2篇MAS
  • 2篇多AGENT...
  • 1篇调度算法
  • 1篇心脏
  • 1篇心脏病
  • 1篇信号
  • 1篇信号处理
  • 1篇英文
  • 1篇阵列
  • 1篇阵列信号
  • 1篇阵列信号处理
  • 1篇智能故障诊断
  • 1篇智能决策支持
  • 1篇智能决策支持...
  • 1篇人事管理系统
  • 1篇任务调度

机构

  • 7篇南京航空航天...
  • 2篇成都医学院
  • 2篇南京大学
  • 1篇东华大学
  • 1篇广东工业大学
  • 1篇湖南冶金职业...
  • 1篇清华大学
  • 1篇四川师范大学
  • 1篇三江学院

作者

  • 4篇曹子宁
  • 4篇毛宇光
  • 3篇刘正涛
  • 2篇张君华
  • 2篇黄志球
  • 2篇崔园
  • 1篇彭显刚
  • 1篇石纯一
  • 1篇冯焕婷
  • 1篇肖芳雄
  • 1篇刘洪婧
  • 1篇任凯
  • 1篇覃志东
  • 1篇刘艺
  • 1篇陈少华
  • 1篇张军鹏
  • 1篇黄慧
  • 1篇胡斌
  • 1篇张毅

传媒

  • 2篇计算机工程与...
  • 2篇微计算机信息
  • 1篇计算机研究与...
  • 1篇南京航空航天...
  • 1篇微电子学与计...
  • 1篇小型微型计算...
  • 1篇福建电脑
  • 1篇Transa...
  • 1篇2009年中...

年份

  • 2篇2009
  • 1篇2008
  • 2篇2007
  • 6篇2006
共 10 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
一种抽象缺省推理框架的表示性质(英文)
2006年
提出了抽象缺省推理框架和D-后承关系的概念。从而进一步给出D-后承关系的表示性质,并由此证明了任意无联结词形式的累积非单调后承关系,可以用抽象缺省推理框架来表示。
曹子宁毛宇光石纯一
关键词：非单调推理
模型检测基于概率时间自动机的反例产生研究被引量：7
2008年
模型检测基于概率系统的反例产生问题,在最近引起人们的关注.已有的工作主要围绕模型检测Markov链的反例产生而开展.基于概率时间自动机(PTA)是Markov链的不确定性和系统时钟的扩展.关注的是模型检测PTA的反例产生问题.首先通过在PTA上寻找概率之和恰好大于λ的k条最大概率的路径,并根据这些路径和原PTA构造原PTA的一个子图,从而快速找到违背性质的具有较少证据的反例.然后精化此结果——通过逐条加入上述各条最大概率的路径来精确地计算已加入路径所构成的PTA子图的最大概率.由于考虑到符号状态交集对概率系统的影响,可以得到证据更少的反例.
张君华黄志球曹子宁
关键词：反例不确定性
一种扩展了价格信息的进程代数被引量：2
2009年
针对目前进程代数缺乏成本建模和分析能力的现状,提出一种扩展了价格信息的进程代数(Price processalgebra,PPA)。在传值通信系统演算(Calculus of communication systems,CCS)基础上为进程动作和状态扩展价格函数,使用价格迁移系统给出PPA的语义,证明PPA的进程状态扩展累计成本的合理性和完备性,给出构造状态空间的算法并证明该算法的有效性,实例分析说明PPA用于成本建模和分析的可行性。
肖芳雄黄志球曹子宁张君华覃志东
关键词：进程代数
基于MAS的资源管理智能决策支持系统研究被引量：1
2006年
提出了基于多智能体的人事管理系统设计思想,以实现人事管理任务的分布式协作求解,以更好地实现人事管理的信息化。分析了现代Agent代理技术,利用Agent智能代理的自治性、反应性、协作性、进化性、通信性和移动性等特点,构建了基于Agent的人事管理决策支持系统的体系构架模型,描述了任务智能体、人事管理系统的结构、具体的功能 Agent模块设计及其工作过程和通信方式,使系统能够在目标的驱动下采取社交、学习等行为,对环境的变化作出主动的反应并完成特定的人力资源管理任务。显著提高了人事管理工作的效率,为人力资源管理信息系统的开发提供了一种新的模式。
胡斌刘洪婧
关键词：人事管理系统智能决策支持系统AGENT技术多AGENT系统
一种支持次协调数据库的UcQL语言被引量：6
2006年
次协调数据库的数据模型用来处理数据库中两类不确定信息,即不完全信息和不一致信息(又称矛盾信息)。论文基于这样的数据模型,提出了次协调数据库的UcQL语言,作为用户与次协调数据库管理系统之间进行语义交换的桥梁,很大程度上体现了次协调数据库处理不确定信息的特点。此外,论文基于四值逻辑新定义了谓词EXISTS及UN-KNOWN,并给出带有此类谓词的查询算法,从而以丰富灵活的语法支持了各种相关技术。
黄慧毛宇光刘正涛
关键词：四值逻辑
有指导的数据挖掘在心脏病风险评价中的应用被引量：2
2006年
本文讲述了什么是数据挖掘,以及数据挖掘的两种策略:有指导和无指导学习。作者用心脏病数据集范例来解释有指导学习的过程。实验表明患心脏病病人的某些属性特征和患心脏病风险的大小有较大关系。数据挖掘的结果对于医生临床诊断有很重要的意义。
崔园冯焕婷张毅
关键词：数据挖掘心脏病
模糊数据流实时任务调度算法被引量：1
2007年
针对数据流系统中实时查询任务的特点,提出了基于模糊综合评判的动态优先级调度算法。用语言模糊集描述任务的不确定性因素和不同的优先等级,利用最大隶属度原理确定任务的优先等级。算法充分考虑了任务的持续周期性、任务之间存在依赖关系与共享滑动窗口的特点对任务优先级的影响。从累积实现价值率、差分截止期保证率和CPU切换频率3个方面测试了算法的性能,实验表明所提出算法相对于HVF算法、LSF算法、模糊动态抢占调度算法都有很大的改进。
刘正涛毛宇光任凯
关键词：数据流模糊综合评判调度策略空闲时间
基于优先级的数据流数据库实时事务调度算法与实现被引量：3
2006年
数据流数据库系统中的持续查询事务存在着依赖及算子共享的复杂关系.提出了基于综合事务空闲时间与价值的优先级调度算法.在算法中充分考虑了有依赖关系与共享算子的实时事务对事务优先级的影响.利用有关联的双链表给出了算法的实现,包括事务的接收策略与事务完成/夭折算法的实现.最后在GStream系统中,从累积实现价值率和差分截止期2个方面实验了算法的性能,实验表明LSV算法相对于RR算法、LSF算法、HVF算法都有很大的改进.
刘正涛毛宇光
关键词：实时事务调度策略空闲时间
一种新的相干源波达方向估计算法被引量：2
2007年
本文介绍了一种相干源波达方向估计的新方法。由于相干源的对消而造成的数据协方差矩阵的秩缺损,经典的MUSIC不能分类相干源,只能生成等效源.我们的方法是首先用数据减去等效源,然后再递归使用该方法,依次找到相干源。模拟实验表明,相比方法,这种方法具有更优的定位性能。
崔园张军鹏
关键词：阵列信号处理MUSIC相干源
复杂系统的MAS分布式协作求解研究被引量：2
2006年
在传统故障诊断基础上,将多Agent技术应用于动态、分布、实时和不确定的复杂系统故障诊断领域,是求解复杂过程故障诊断问题的一种新尝试。讨论了基于MAS的分布式智能故障诊断方法和过程。基于一种分布式Agent诊断系统结构原型系统,重点研究了诊断问题的多Agent间的交互、协作以及诊断决策问题,提出了分布式信息交换和分布式诊断的BDI结构的推理机模型,并用CBR技术对其实现了协作求解。应用表明,该系统能快速、准确地进行故障成因分析,取得了与专家相似的诊断结果。
彭显刚刘艺陈少华
关键词：智能故障诊断协作控制
全选 清除 导出
共2页<12>
聚类工具0