-
题名基于过程数据分析的彩色滤光片产线故障机台定位
被引量：3
- 1
-
-
作者
刘仁俊
孙兆辉
张莉
程光
明新国
-
机构
上海交通大学机械与动力工程学院
上海仪电显示材料有限公司
-
出处
《计算机集成制造系统》
EI
CSCD
北大核心
2020年第5期1151-1161,共11页
-
基金
国家自然科学基金重点资助项目(71632008)
航空发动机及燃气轮机重大专项基础研究资助项目(2017-I-0007-0008,2017-I-0011-0012)。
-
文摘
为了完成复杂工艺彩色滤光片产线的故障定位问题,提出一种将加工过程数据和机台警报融合分析的故障定位模型。在该模型中,基于缺陷类型和面积权重评分确定多缺陷共存时的滤光片主缺陷标签,通过Xgboost集成方法训练加工过程数据与缺陷的关联模型,以信息熵增益确定各个过程数据源的贡献度;基于K-means聚类机台警报划分各个故障问题子集,以警报来源反推机台故障概率,进而以D-S证据理论融合两者进行判断,确定综合问题机台概率。通过实例验证了该方法的有效性。
-
关键词
故障机台定位
过程数据分析
集成模型
信息融合
彩色滤光片
-
Keywords
failure machine locating
process data analysis
integrated model
information fusion
color filter
-
分类号
TP277
[自动化与计算机技术—检测技术与自动化装置]
-
-
题名数据流分析方法
被引量：13
- 2
-
-
作者
李慧贤
刘坚
-
机构
西安电子科技大学软件工程研究所
-
出处
《计算机工程与应用》
CSCD
北大核心
2003年第13期142-144,共3页
-
基金
电子预研基金资助(编号:51406070101DZ0151)
-
文摘
数据流分析是一项编译时使用的技术,它能从程序代码中收集程序的语义信息,并通过代数的方法在编译时确定变量的定义和使用。该文对数据流、数据流框架及数据流算法进行了阐述;并简要地介绍了所提出的需求过程间数据流分析的方法。
-
关键词
数据流分析
数据流框架
需求过程间数据流分析
-
Keywords
data flow analysis,data flow framework,demand interprocedural data flow analysis
-
分类号
TP314
[自动化与计算机技术—计算机软件与理论]
-
-
题名静态检测中断驱动程序的数据竞争
被引量：9
- 3
-
-
作者
霍玮
于洪涛
冯晓兵
张兆庆
-
机构
中国科学院计算技术研究所计算机体系结构国家重点实验室(筹)
-
出处
《计算机研究与发展》
EI
CSCD
北大核心
2011年第12期2290-2299,共10页
-
基金
国家"八六三"高技术研究发展计划基金项目(2008AA01Z115)
"核高基"国家重大科技专项基金项目(2009ZX01036-001-002)
+1 种基金
国家"九七三"重点基础研究发展计划基金项目(2011CB302504)
国家自然科学基金项目(60921002)
-
文摘
直接运行于微控制器上的中断驱动程序中可能存在一种重要的程序错误:数据竞争.然而当前主流的数据竞争静态检测技术因其服务于多线程模型程序而不适用.设计简明、易用的中断特征描述语言可以使得竞争检测具有平台无关性;同时,提出了一个流敏感的、上下文敏感的、考虑中断驱动程序原子性、易变性和部分随机性的数据竞争检测算法.该算法具有高效、精确的特点.实验表明,其检测时间与代码规模基本呈线性关系,分析17850行代码仅用时3.6s;同时,相比于基于锁集技术的典型数据竞争检测方法,其准确率平均是后者的2.13倍.
-
关键词
微控制器
中断驱动程序
数据竞争检测
过程间数据流分析
副作用分析
-
Keywords
microcontroller
interrupt-driven program
data race detection
interprocedural dataflow analysis
side-effect analysis
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
