对基于模型的诊断过程的形式化

本文对基于模型诊断的过程进行了形式化,论证了它与本原蕴涵/蕴涵式的直接关系,从而将该理论结果与实现联系起来.进一步指出该结果具有一般性,不仅能够计算已知部件的部分故障行为方式时的基于模型的诊断,还能够计算已知每个部件的各种故障行为方式下的基于模型的诊断.以往对基于一致性的中心诊断过程、中心溯因诊断过程的形式化仅仅是文中所给出的形式化的特殊情形.     

结合格局检测与局部搜索的故障数据缩减方法

针对集成电路故障诊断中故障数据缩减方法N-cover存在冗余故障数据的问题,提出了结合格局检测与局部搜索的故障数据缩减方法.通过分析故障数据与端口覆盖次数的逻辑关系,提出了故障频率和故障覆盖度的概念以指导局部搜索.同时,结合格局检测策略以避免重复搜索,进而通过减少冗余迭代来增加搜索广度.在标准测试用例上的实验结果表明,...     

基于伪故障度生成枚举树的极小诊断求解方法

基于模型诊断(model-based diagnosis, MBD)是人工智能领域一个极富有挑战性的问题.近年来,SAT求解器发展十分迅速,且已被应用于求解基于模型诊断问题并取得了显著成果.在对基于模型诊断问题求解方法LLBRS-Tree深入研究的基础上,根据电路组件的拓扑结构信息、系统的观测行为和预期行为之间的差异以及集合枚举树的特点,首次提出了组件静态伪故障度和动态伪故障度的概念.计算所有组件的静态伪故障度,并根据静态伪故障度从大到小对组件重新排序,生成新的枚举树;并且在遍历到新的极小诊断解时,更新相关组件的动态伪故障度,动态建立新的枚举树,从而能较快地搜索到极小诊断解,删除大量冗余解,较大程度地减少SAT求解器的调用次数.实验结果表明:随着诊断系统中组件个数的增多以及极小诊断解长度的增加,提出的方法较LLBRS-Tree方法效率提升明显.     

基于双模型的MUS求解方法

求解不可满足问题的极小不可满足子集(minimal unsatisfiable subset, MUS)是人工智能领域的重要研究方向.MARCO-M方法是目前采用单一极大化模型求解MUS效率最高的方法,但此方法未对求解空间进行进一步有效剪枝.针对MARCO-M方法的不足,结合可满足问题求解复杂度低于不可满足问题的特征,提出基于双模型即极大-中间化模型的MARCO-MAM方法求解MUS.此方法对中间模型求解若得到极大可满足子集(maximal satisfiable subset, MSS),则利用可满足问题对应求解空间对不可满足问题的求解空间进行剪枝,即利用MSS对应的空间来对MUS搜索空间进行剪枝,进而通过缩减未探索空间来提高MUS求解效率;如果中间模型进行求解得到MUS时,则减少了MARCO-M方法中MUS的不可满足迭代求解次数.此方法避免了MARCO-M方法单一极大化模型求解MUS时未有效利用其他优化技术对求解空间进行剪枝的问题.实验结果表明:与MARCO-M方法相比MARCO-MAM方法效率较高,尤其在大规模问题或较大搜索空间时效率提高更为明显.     

典型多金属型铁锰矿高温矿相重构与铁酸锰材料制备研究

在典型金属矿产资源铁锰矿综合利用的过程中,锰、铁等成分易生成强磁性复合铁酸盐,导致其综合利用过程中有价组元分步分离难度大。本研究改变传统铁锰矿资源锰、铁需预先分离后分别利用的认识,提出铁锰矿高温矿相重构同步回收锰铁有价组元并制备铁酸盐材料的技术思路。本文对铁锰矿冶金材料化加工过程中的矿相重构原理、新生相颗粒尺寸表征、矿相重构-磨选机理、分选磁性样品的性能进行了综述与分析。本次课题为"资源-冶金-材料一体化"研究的典型案例,可为金属矿资源的短流程材料化高值利用提供新的途径,也可以为其它类型低品质资源的综合利用提供技术借鉴。     

基于多层双向长短时记忆网络的水声多载波通信索引检测方法

索引调制滤波器组多载波(FBMC-IM)水声通信系统在进行信号检测时,需要先根据均衡后子载波上承载的恢复数据判断出活跃子载波的位置。针对传统检测方法估计索引信息时计算复杂度高且准确度较低的问题,该文结合双向长短时记忆网络(BLSTM)对时序信号进行特征提取的优势,将深度学习理论引入水声信号处理的概念,提出一种基于多层BLSTM的水声通信信号索引检测方法。该方法将传统索引检测问题转化为数据驱动的多元分类问题,在提高估计性能的同时降低了计算复杂度。基于湖试测得的水声信道数据仿真验证了该方法的优越性和鲁棒性,可以作为索引调制机制下的一种通用检测手段。     

我国建筑陶瓷标准与相关国际标准的比较

本文介绍了我国建筑陶瓷标准和相关国际标准的情况,对我国建筑陶瓷标准与相关国际标准的差异进行了分析。     

应用机器视觉的坡口切割轨迹校正北大核心

针对批量工件坡口切割过程中,重复定位误差导致过切割或欠切割现象,提出一种视觉校正方法。通过固定视点手眼标定(Eye-To-Hand),得到相机图像坐标与机器人工具坐标的位姿转换关系;通过模板匹配方法计算待切割工件与模板工件间的旋转与位移偏差,并转换成机器人工件坐标偏差后发送到机器人校正切割轨迹。实验结果表明,该方法校正后的切割轨迹误差在1.5 mm以内,切割准备时长降至1.3 s以内,能够解决实际切割过程中工件位姿偏差造成的过切割与欠切割问题,有效实现坡口切割轨迹的校正。     

准垂直肖特基二极管电极间距对耐压的影响

研究了不同电极间距对准垂直肖特基势垒二极管（SBD）正反向I-V特性，尤其是击穿电压和漏电的影响。通过制备不同电极间距的准垂直GaN SBD，测量不同电极间距器件的击穿电压和反向漏电变化。测量发现当电极间距小于器件台面刻蚀深度时，器件的击穿电压随着电极间距的增大而增大；当电极间距大于台面刻蚀深度时，器件的击穿电压随着电极间距的增大而几乎不发生变化。利用Silvaco软件进行了一系列的仿真研究，发现SBD的峰值电场强度不仅取决于电极间距，同时还受限于台面高度。研究表明在准垂直SBD研制中，为得到高击穿电压，电极间距应匹配器件台面的高度。     

原位培养高强细菌纤维素/阿拉伯胶复合薄膜

高强薄膜已被广泛应用于电子器件中，为了缓解日益严重的环境压力，开发绿色可降解的薄膜材料至关重要。本文通过在细菌纤维素(BC)培养液中原位添加阿拉伯胶(ArG),经过木醋杆菌发酵制备BC/ArG复合膜，采用扫描电子显微镜(SEM)、红外光谱仪(FTIR)、热重分析仪(TGA)等对结构及性能进行了表征。结果表明，与BC薄膜(断裂强度228 MPa,断裂伸长率2.82%)相比，BC/ArG复合薄膜的抗拉强度和断裂伸长率均有显著提高(断裂强度602 MPa,断裂伸长率7.30%)。该复合膜在200℃、12 h的条件下仍然具有很好的热稳定性。这种具有优异力学性能及热稳定性的全生物基复合膜有望在可穿戴电子器件基底材料、能源转换及过滤膜材料等领域发挥应用。