陈俊文
- 作品数:3 被引量:4H指数:1
- 供职机构:西北工业大学计算机学院更多>>
- 发文基金:国家自然科学基金国家高技术研究发展计划更多>>
- 相关领域:自动化与计算机技术更多>>
- 改进的局部ART测试算法研究被引量:1
- 2008年
- 局部ART算法虽然克服了测试样本点与样本生成区域已测试顶点有可能距离很近的问题,但它对生成区域周围的已测试样本点对样本选择的影响考虑不足。本文针对局部ART算法的缺陷,提出了改进的局部ART算法,将生成区域周围一定范围内的已测试顶点都加入到临近已测试样本集中,在保持时间复杂度的同时,使测试样本的分布更加均匀。实验结果表明,改进的局部ART算法的错误检测能力得到了提升。
- 孙林周兴社董云卫张凡陈俊文
- 关键词:RRT
- 一种改进的基于架构的软件可靠性模型被引量:3
- 2009年
- 基于架构的软件可靠性分析往往把构件的可靠性当作自身固有不变的属性,忽略了在不同的输入剖面下,因构件所处的交互环境不同造成的实际可靠性的变化。改进了一种基于架构的可靠性模型,引入转移目的构件剖面矩阵来建立系统操作剖面和构件可靠性的联系,并给出了改进后的可靠性合成算法。实例分析表明,该模型可以全面捕捉到在不同系统操作剖面下,因构件之间转移概率和构件可靠度这两个参数的变化对整体可靠性产生的影响,提高了系统设计阶段可靠性分析的精确性。
- 陈俊文谷建华张凡董云卫
- 关键词:操作剖面
- 个性化智能家庭供暖系统的设计与实现
- 2007年
- 分析了现有供暖系统的特点,结合智能家庭的发展趋势及个性化的应用需求提出了一种具有开放式、可扩展特点的新型智能型家庭供暖系统HeatingCare。进而重点研究了家庭暖气控制单元LHA中的供热控制模型及动态调节算法等核心技术。在分析、解决相关关键技术的基础上,最终在eBox与Windows CE构成的平台上成功实现了该嵌入式系统。
- 张凯龙罗碧波王凯博盛瑞卿陈俊文
- 关键词:嵌入式智能家庭个性化定制供暖