山东省自然科学基金(ZR2012FL11)

作品数：3被引量：7H指数：2
导出分析报告
相关作者：刘晓建朱智林杜慧秋张立云刘南艳更多>>
相关机构：西安科技大学山东工商学院更多>>
相关期刊：《兰州大学学报（自然科学版）》《微电子学与计算机》《光电工程》更多>>
相关主题：改进OTSU法多阈值光照不均图像融合图像分割更多>>
相关领域：自动化与计算机技术更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
程序错误的形式化定义和程序容错能力的分级
《兰州大学学报（自然科学版）》2016年第4期557-563,共7页刘晓建 朱智林 杜慧秋 
陕西省教育厅科研计划项目(2013JK1188);山东省自然科学基金项目(ZR2012FL11);西安科技大学博士后启动基金项目(2013QDJ023);国家自然科学基金煤炭联合基金项目(U1261114)
针对程序失效相关概念的形式化定义和程序容错能力的分级,分析了程序缺陷、状态偏差以及程序失效等基本概念之间的差异,并在基于状态的程序行为理论的框架下,形式化定义了这些概念.从程序安全和活性的可满足性方面,给出了一个程序容错...
关键词：程序失效 程序语义 容错 形式化方法 软件安全性 
一种基于时间自动机的测试用例生成和构造方法被引量：2
《微电子学与计算机》2015年第9期169-176,共8页刘晓建 杜慧秋 朱智林 
陕西省教育厅科研计划项目(2013JK1188);山东省自然科学基金(ZR2012FL11);西安科技大学博士后启动基金(2013QDJ023)
为了解决嵌入式控制器功能测试的一致性、完备性和自动化等问题,提出了一种基于需求模型的嵌入式控制器测试方法.首先给出了一种形式化描述嵌入式控制器功能结构和行为的方法,然后在行为模型的基础上提出了一种测试用例的生成方法,并给...
关键词：软件测试 测试用例生成 时间自动机 嵌入式控制器 
多阈值S-F的光照不均图像分割被引量：5
《光电工程》2014年第7期81-87,共7页张立云 刘南艳 侯媛彬 刘晓建 
陕西省教育厅科学研究计划项目资助(2013JK1188);西安科技大学博士启动基金"软件构件安全性扩展机制的研究";山东省自然科学基金(ZR2012FL11)
针对钢管识别统计系统开发中,图像分割环节易受光照不均匀影响的问题,以及对图像增强处理后再分割导致目标错分的不足,本文提出一种多阈值S-F(分割-融合)的图像分割方法。该方法根据改进的Otsu多阈值法,采用形态学操作与图像融合技术,...
关键词：多阈值 图像分割 改进OTSU法 图像融合 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部