任彦芳
- 作品数：4 被引量：4H指数：1
- 供职机构：贵州大学计算机科学与信息学院更多>>
- 发文基金：国家自然科学基金贵州省科学技术基金更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 基于rCOS的设计模式的形式化研究和应用
- 随着软件行业的飞速发展，设计模式已经成为软件工程领域研究的一大热点。设计模式可以用来解决软件设计过程中重复出现的问题，使用设计模式可以有效提供软件的可复用性，可靠性和可维护性。设计模式是面向对象软件设计中的一些经验的抽象...
- 任彦芳
- 关键词：设计模式形式化描述软件工程
- 文献传递
- 基于ZigBee技术的无线点菜器研究
- 2010年
- 介绍了一种用于餐饮中的智能自动无线点菜器的具体实现方案,主要由手持点菜终端、总台信息处理器、厨房应答终端构成。
- 黎静任彦芳余林刘运强
- 关键词：无线通信ZIGBEECC1100
- 基于程序正确性的演算方法被引量：3
- 2009年
- 为了使开发出的程序更具有可靠性,研究了两种正确性验证的演算方法,Dijkstra的最弱前置谓词变换法和Hoare的公理化方法。针对于Hoare公理化方法证明中的前置条件难以寻找的问题,提出了将这两种演算方法结合使用的方法。对最弱前置谓词变换法的过程进行分析,确定了最弱前置谓词算法的准确性。将最弱前置谓词应用到公理化方法中,即把最弱前置谓词变换法求出的前置谓词作为公理化方法的前置条件。通过一个具体实例,详细说明了其验证过程,并证明了该方法的有效性。
- 任彦芳杨静索丙芮
- 关键词：可靠性公理化方法
- ZigBee技术实现终端之间通讯的研究被引量：1
- 2010年
- 介绍了一种用于各种智能自动系统中终端之间通讯的实现方案,主要采用ZigBee技术实现,最终给出一个能为上层应用开发提供接口的通讯模块。
- 黎静任彦芳刘运强
- 关键词：终端无线通信CC1100
