文凡
- 作品数：3 被引量：9H指数：1
- 供职机构：桂林电子科技大学电子工程与自动化学院更多>>
- 相关领域：自动化与计算机技术电气工程电子电信更多>>
- 无线传感器网络路由协议的形式化方法研究被引量：8
- 2009年
- 本文提出了将形式化方法引入无线传感器网络通信协议设计的观点,简要介绍了形式化设计方法,针对无线传感器网络的特点设计了简化路由协议,同时利用SDL语言工具对其进行设计与实现,协议的具体实现证明上述方法的应用对确保协议的逻辑正确性,缩短开发周期都起到了重要的作用。
- 文凡李思敏唐志灵
- 关键词：形式化方法SDL无线传感器网络路由协议
- 无线传感器网络路由协议设计和形式化方法实现的研究
- 集成了传感器、嵌入式计算、网络和无线通信四大技术而形成的无线传感器网络是一种全新的信息获取和处理技术,它是一种新型的无基础设施的无线网络,能够协作地实时监测、感知和采集各种环境或监测对象的信息,并对其进行处理,传送到需要...
- 文凡
- 关键词：无线传感器网络路由协议簇头节点形式化设计
- 文献传递
- 基于MCU+DSP嵌入式平台的变压器监控器设计被引量：1
- 2009年
- 针对电力系统监控的需要,设计了具有无功补偿和电能质量分析功能的变压器监控装置。该装置基于微控制器+数字信号处理器(MCU+DSP)双处理器嵌入式平台,平台采用MCF5272微处理器为系统主处理器,DSP采用ADSP-BF527处理器。变压器监控器硬件包括嵌入式平台核心单元、变压器监控器功能扩展板和人机接口模块3个部分。MCU软件采用μCLinux嵌入式多任务操作系统,完成系统关联、通信和人机接口等低速功能。DSP完成实时数据采集、数字信号处理和变压器监控任务。双处理器的分工处理机制可满足快速傅里叶变换、小波分析和自适应人工神经网络等复杂算法的要求。变压器监控器验证系统的测试结果表明,所设计的装置性能良好。
- 李智王超杨建平文凡
- 关键词：嵌入式平台微控制器数字信号处理器数据采集
