梅佳
- 作品数：2 被引量：2H指数：1
- 供职机构：清华大学信息科学技术学院计算机科学与技术系更多>>
- 发文基金：广西教育厅科研项目国家自然科学基金国家社会科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 实时系统组合抽象精化验证研究
- 2014年
- 实时系统已经广泛应用于人们工作生活中的各个领域,通常要求具有很高的可靠性,采用形式化方法对实时系统建模并验证是构建可信实时系统的重要手段.现有的实时系统大多是由组件构成的,为缓解组合形式验证中常见的状态爆炸问题,可以对实时系统组合模型运用时钟区域等价方法进行状态划分及合并,用构件抽象的组合建立构件组合的抽象并确保一致性,在验证过程中基于改进的反例引导的抽象精化框架对抽象模型进行精化以消除模型抽象可能引入的附加行为(伪反例).最后,以铁轨交通灯控制系统为例,通过相关实验进行数据分析与比较来说明方法的有效性.
- 梅佳王生原伍华健
- 基于LED-89C52的无人机动态信号采集处理系统设计被引量：2
- 2015年
- 无人机动态信号采集与处理,是对无人机控制的关键;设计并实现了一种基于LED-89C52的无人机动态信号采集与处理系统,该系统以89C52单片机为核心,使用高质量的信号采集终端模块以及信号处理调理模块增强检测精度,提高无人机大气信号检测的动态性能,系统的硬件设计,主要包括89C52单片机、信号采集终端、信号处理板模块、信号调理模块以及传感器信号放大与A/D转换模块和显示译码驱动模块、LED数码管显示模块等,给出了系统实现动态信号采集与处理的流程图以及程序代码,实现无人机中动态信号有效采集与处理;实验结果表明,所提系统可准确获取无人机中动态信号,完成信号的有效处理,具有较高的准确率,应用前景广阔。
- 郑羽洁梅佳
- 关键词：无人机动态信号信号采集信号处理
