陕西省教育厅科研计划项目(2013JK1188)
- 作品数:5 被引量:16H指数:2
- 相关作者:刘南艳刘晓建刘菁付秋实朱智林更多>>
- 相关机构:西安科技大学山东工商学院更多>>
- 发文基金:陕西省教育厅科研计划项目山东省自然科学基金博士后科研启动基金更多>>
- 相关领域:自动化与计算机技术电子电信机械工程更多>>
- 程序错误的形式化定义和程序容错能力的分级
- 2016年
- 针对程序失效相关概念的形式化定义和程序容错能力的分级,分析了程序缺陷、状态偏差以及程序失效等基本概念之间的差异,并在基于状态的程序行为理论的框架下,形式化定义了这些概念.从程序安全和活性的可满足性方面,给出了一个程序容错能力的分级方案,有助于相关概念的准确理解以及系统的对现有方法容错能力的区分.
- 刘晓建朱智林杜慧秋
- 关键词:程序语义容错形式化方法
- 开关柜智能温度监测系统设计被引量:1
- 2016年
- 针对目前开关柜在线温度监测系统不能对未来温度进行准确预测的问题,在传统开关柜温度监测系统的基础上,引入BP神经网络算法,设计出一种智能开关柜温度监测系统。系统采用高精度数字温度传感器进行数据采集,并将这些数据存储到SQLite数据库中;利用神经网络算法对温度值进行预测和报警;分别基于Qt和HTML编写人机交互界面,使监测人员可以方便地获取温度数据。实验表明,该系统可准确地对开关柜温度进行监测和短期预测,能够满足实际需要。
- 刘南艳付秋实刘菁
- 关键词:开关柜智能电网人机交互界面DS18B20ARM
- 多阈值S-F的光照不均图像分割被引量:5
- 2014年
- 针对钢管识别统计系统开发中,图像分割环节易受光照不均匀影响的问题,以及对图像增强处理后再分割导致目标错分的不足,本文提出一种多阈值S-F(分割-融合)的图像分割方法。该方法根据改进的Otsu多阈值法,采用形态学操作与图像融合技术,实现堆垛钢管目标的提取。实验结果表明,在光照不均匀情况下,该方法对钢管图像的分割效果明显优于传统方法,具有不受光照优劣程度影响、适应性强的特点,可应用于机器视觉领域的目标识别。
- 张立云刘南艳侯媛彬刘晓建
- 关键词:多阈值图像分割改进OTSU法图像融合
- 光照不均条件下的钢管图像分割算法研究被引量:8
- 2016年
- 针对传统的全局阈值分割算法在复杂背景下分割不足的缺点以及传统局部动态阈值分割灰度不连续的缺点,在传统局部动态阈值算法的基础上进行了改进。该算法先求取每一局部子图像的阈值,再利用子图像的阈值求取局部动态阈值,最后用求得的局部动态阈值来求取所有图像像素的阈值。用此方法来分割大量无序堆放的钢管图像,实验表明,这种改进算法和几种传统算法比较,能够更精确地分割受光不均及多阴影的复杂背景图像,为后续统计钢管数量的工作奠定了基础。使得图像中钢管的识别率有了明显的提高,接近96%。
- 刘南艳刘菁厍向阳付秋实
- 关键词:阈值动态阈值光照不均图像分割插值
- 一种基于时间自动机的测试用例生成和构造方法被引量:2
- 2015年
- 为了解决嵌入式控制器功能测试的一致性、完备性和自动化等问题,提出了一种基于需求模型的嵌入式控制器测试方法.首先给出了一种形式化描述嵌入式控制器功能结构和行为的方法,然后在行为模型的基础上提出了一种测试用例的生成方法,并给出了缩减测试用例个数和构造典型测试用例的若干条规则,证明了这样产生的测试用例集对于任意被测功能的完整覆盖性.最后通过一个测试案例说明了测试系统的实现方法以及实际效果.
- 刘晓建杜慧秋朱智林
- 关键词:软件测试测试用例生成时间自动机嵌入式控制器