(1)单缺陷
2017-04-10 05:31:04 0 举报
单缺陷是指一个材料中只存在一个缺陷的情况。这个缺陷可能是一个原子、分子或团簇的缺失,也可能是一个额外的原子、分子或团簇的插入。在固体物理学和材料科学中,单缺陷的研究对于理解材料的电学、光学、热学等性质具有重要意义。例如,空位缺陷会影响晶体的导电性,而掺杂缺陷则可以调控半导体的载流子浓度和导电类型。此外,单缺陷还与材料的相变、扩散和腐蚀等过程密切相关。因此,通过研究单缺陷的性质和行为,可以为设计和制备具有特定功能的新型材料提供重要指导。
作者其他创作
大纲/内容
测试用例是否全部通过
全体单缺陷:CC-SD+策略
结束
2个项
生成约束矩阵
策略选择
LRF
待诊断表达式无缺陷
生成对偶矩阵
收缩点
LNF
筛选变体
DORF
全体单缺陷:CC-S策略全体双缺陷:CC-SD+策略
根据缺陷类型、缺陷发生的项的个数、发生缺陷的可以确定缺陷层次结构入口
LOF
缺陷变体生成算法
输入:原表达式S + 待诊断表达式S'
根据缺陷类型、缺陷发生的项生成唯一的变体
LIF
Glpk求解约束方程得到测试用例
得到:1. 待诊断表达式S’对应的变体 2. 缺陷类型 3. 缺陷发的项
结果验证
根据缺陷类型、缺陷发生的项生成可能的变体集合
对偶过滤算法——曹宇实现
1个项
开始
缺陷类型、缺陷发生的项的个数(1)确定双缺陷子层次结构图,(2)确定入口
再次筛选
缺陷层次结构筛选算法
约束矩阵生成算法
=2个项
确定缺陷层次的入口:LIF、LRF、LOF
TNF
得到:1. 待诊断表达式S’对应的布尔表达式2. 缺陷类型3. 缺陷发的项
No
收缩点 + 扩张点
进入缺陷层次的入口
扩张点
TOF
ENF
全体单缺陷:CC-S策略
Yes
CORF
对偶过滤算法
缺陷发生的项的个数缺陷格变化的特点
0 条评论
下一页