山东省自然科学基金(ZR2012FL11)
- 作品数:3 被引量:7H指数:2
- 相关作者:刘晓建朱智林杜慧秋张立云刘南艳更多>>
- 相关机构:西安科技大学山东工商学院更多>>
- 发文基金:山东省自然科学基金陕西省教育厅科研计划项目博士后科研启动基金更多>>
- 相关领域:自动化与计算机技术更多>>
- 多阈值S-F的光照不均图像分割被引量:5
- 2014年
- 针对钢管识别统计系统开发中,图像分割环节易受光照不均匀影响的问题,以及对图像增强处理后再分割导致目标错分的不足,本文提出一种多阈值S-F(分割-融合)的图像分割方法。该方法根据改进的Otsu多阈值法,采用形态学操作与图像融合技术,实现堆垛钢管目标的提取。实验结果表明,在光照不均匀情况下,该方法对钢管图像的分割效果明显优于传统方法,具有不受光照优劣程度影响、适应性强的特点,可应用于机器视觉领域的目标识别。
- 张立云刘南艳侯媛彬刘晓建
- 关键词:多阈值图像分割改进OTSU法图像融合
- 程序错误的形式化定义和程序容错能力的分级
- 2016年
- 针对程序失效相关概念的形式化定义和程序容错能力的分级,分析了程序缺陷、状态偏差以及程序失效等基本概念之间的差异,并在基于状态的程序行为理论的框架下,形式化定义了这些概念.从程序安全和活性的可满足性方面,给出了一个程序容错能力的分级方案,有助于相关概念的准确理解以及系统的对现有方法容错能力的区分.
- 刘晓建朱智林杜慧秋
- 关键词:程序语义容错形式化方法
- 一种基于时间自动机的测试用例生成和构造方法被引量:2
- 2015年
- 为了解决嵌入式控制器功能测试的一致性、完备性和自动化等问题,提出了一种基于需求模型的嵌入式控制器测试方法.首先给出了一种形式化描述嵌入式控制器功能结构和行为的方法,然后在行为模型的基础上提出了一种测试用例的生成方法,并给出了缩减测试用例个数和构造典型测试用例的若干条规则,证明了这样产生的测试用例集对于任意被测功能的完整覆盖性.最后通过一个测试案例说明了测试系统的实现方法以及实际效果.
- 刘晓建杜慧秋朱智林
- 关键词:软件测试测试用例生成时间自动机嵌入式控制器