任彦芳

作品数：3被引量：3H指数：1
导出分析报告
供职机构：贵州大学计算机科学与信息学院更多>>
发文主题：CC1100ZIGBEE无线通信公理化方法可靠性更多>>
发文领域：自动化与计算机技术电子电信更多>>
发文期刊：《科技资讯》《计算机工程与设计》《科技风》更多>>
所获基金：国家自然科学基金贵州省科学技术基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于ZigBee技术的无线点菜器研究
《科技资讯》2010年第4期60-60,共1页黎静 任彦芳 余林 刘运强 
研究生创新项目(校研理工2009023)
介绍了一种用于餐饮中的智能自动无线点菜器的具体实现方案,主要由手持点菜终端、总台信息处理器、厨房应答终端构成。
关键词：无线点菜器 无线通信 ZIGBEE CC1100 MSP430F435 智能自动化管理 
ZigBee技术实现终端之间通讯的研究被引量：1
《科技风》2010年第2期209-,共1页黎静 任彦芳 刘运强 
研究生创新项目(校研理工2009023)
介绍了一种用于各种智能自动系统中终端之间通讯的实现方案,主要采用ZigBee技术实现,最终给出一个能为上层应用开发提供接口的通讯模块。
关键词：终端 无线通信 zigbce CC1100 
基于程序正确性的演算方法被引量：2
《计算机工程与设计》2009年第17期4020-4022,共3页任彦芳 杨静 索丙芮 
国家自然科学基金项目(90718009);贵州省科学技术基金项目(黔科合J字[2009]2123)
为了使开发出的程序更具有可靠性,研究了两种正确性验证的演算方法,Dijkstra的最弱前置谓词变换法和Hoare的公理化方法。针对于Hoare公理化方法证明中的前置条件难以寻找的问题,提出了将这两种演算方法结合使用的方法。对最弱前置谓词...
关键词：可靠性 正确性验证 最弱前置谓词 公理化方法 前置条件 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部