梅佳

作品数：2被引量：2H指数：1
导出分析报告
供职机构：清华大学信息科学技术学院计算机科学与技术系更多>>
发文主题：LED信号处理信号采集动态信号无人机更多>>
发文领域：自动化与计算机技术更多>>
发文期刊：《小型微型计算机系统》《计算机测量与控制》更多>>
所获基金：广西教育厅科研项目国家自然科学基金国家社会科学基金广西壮族自治区自然科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于LED-89C52的无人机动态信号采集处理系统设计被引量：2
《计算机测量与控制》2015年第3期995-997,1001,共4页郑羽洁 梅佳 
广西壮族自治区教育厅科研项目(201106LX858)
无人机动态信号采集与处理,是对无人机控制的关键;设计并实现了一种基于LED-89C52的无人机动态信号采集与处理系统,该系统以89C52单片机为核心,使用高质量的信号采集终端模块以及信号处理调理模块增强检测精度,提高无人机大气信号检测...
关键词：无人机 动态信号 信号采集 信号处理 
实时系统组合抽象精化验证研究
《小型微型计算机系统》2014年第7期1550-1555,共6页梅佳 王生原 伍华健 
国家自然科学基金项目(61272086)资助;广西自然科学青年基金项目(2012jjBAG0074)资助;广西混杂计算与集成电路设计分析重点实验室2012年度开放课题项目(2012HCIC05)资助;广西教育厅科研项目(201106LX840)资助;国家社会科学基金青年项目(11CTQ008)资助
实时系统已经广泛应用于人们工作生活中的各个领域,通常要求具有很高的可靠性,采用形式化方法对实时系统建模并验证是构建可信实时系统的重要手段.现有的实时系统大多是由组件构成的,为缓解组合形式验证中常见的状态爆炸问题,可以对实...
关键词：时钟约束 组合模型 抽象精化验证 伪反例 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部