摘要：针对智能航电系统在非线性耦合运行场景下产生的预期功能安全(safety of the intended functionality,SOTIF)问题,提出一种将系统理论过程分析(systematic theory process analysis,STPA)与决策试验与评价实验法(decision-making trial and evaluation laboratory,DEMATEL)相结合的致因分析框架。首先,在定义系统级危险的基础上构建安全控制结构,识别其不安全控制行为并提取与智能化缺陷相关的STPA致因要素。接下来,引入毕达哥拉斯模糊加权平均算子和闵可夫斯基距离对传统DEMATEL方法进行优化,专家根据控制反馈回路对致因要素进行评价并计算其中心度与原因度。最后,分析STPA致因要素与SOTIF致因属性之间的映射关系,给出关键致因要素的风险减缓措施。以单一飞行员驾驶(single-pilot operation,SPO)模式下的虚拟驾驶员助理系统为例说明了所提方法的可行性与有效性。研究结果表明,改进的STPA-DEMATEL方法可以有效识别关键致因要素,且能够克服专家评价的模糊性与不确定性,为智能航电系统的安全性设计提供了参考依据。

摘要：针对民机安全关键系统在正向研发过程中,系统级需求的正确性难以在设计早期全部完成确认的问题,提出一种基于有限谓词追踪的功能需求一致性检查体系。首先,引入一阶逻辑中的谓词追踪,建立系统内部功能需求与交互功能需求形式化规约方法。其次,针对单条、多条需求内容正确性以及需求关系一致性,构建需求一致性检查形式化规约,开展需求自冲突、集冲突与需求关系一致性检验,并生成可解释的检查反例进行需求迭代。最后,以机载平视显示(head-up display,HUD)系统飞行信息符号生成与显示功能为例,验证该方法的正确性与有效性。研究结果表明,基于有限谓词追踪的功能需求一致性检查方法能够提高需求一致性检查效率、降低研发成本,为民机系统级需求确认提供支持。

摘要：新一代信息技术的高速发展为制造业的转型与发展提供了机遇,同时也推动了制造质量管理方式的重大变革。本文结合制造业发展实际情况,概述了质量4.0的基本理论及关键技术,并进一步探讨了质量4.0的实施与落地应用。具体而言,将印制电路板(printed circuit board,PCB)缺陷检测作为研究案例,设计了基于质量4.0的PCB智能缺陷检测方案,并提出了缺陷检测的5个关键评价标准;提出的检测方案可有效帮助PCB制造企业过滤缺陷假点、控制产品良率、获取缺陷解决建议,并为员工掌握专业检测技能提供学习和培训平台。本文旨在研究质量4.0环境下的智能缺陷检测及其PCB中的应用,以推动制造业质量管理数字化和智能化转型。

摘要：为了实现航天器电源系统的灵活高效并网,最大化有限能量的利用,提出一种基于深度强化学习(deep reinforcement learning,DRL)的功率传输与信号传输复合网络拓扑优化模型,并使用知识蒸馏原理的多种可解释组件模型对优化过程进行剖析。首先,分析在轨运行阶段航天器母线电压调节控制域变换规律,并结合节点传播性参数,建立功率传输与信号通信的复合网络拓扑模型。然后,利用A3C(asynchronous advantage actor-critic)算法,对信号传输网络路由分布、拓扑结构等方面潜在的运行可靠性风险进行自适应性优化。最后,结合多种可解释组件对已训练的DRL模型进行知识蒸馏,形成一种可解释的量化分析方法。所提方法可以指导空间电源在随机阴影影响下选择最佳并网方案,并为更高任务要求和复杂环境下空间电源控制器设计提供理论支持。

摘要：锆合金的水侧腐蚀是核燃料棒包壳材料设计的关键问题之一.包壳材料的耐腐蚀性能与锆合金氧化膜中t-ZrO_(2)含量和t-m相变密切相关.目前,Zr-Sn-Nb系合金是新型锆合金发展的主流方向.合金元素Sn,Nb在氧化膜中可呈现多种价态,显著影响ZrO_(2)稳定性,然而Sn,Nb对t-ZrO_(2)含量和t-m相变的影响机制尚不明晰.本文基于第一性原理计算了不同价态Sn,Nb掺杂ZrO_(2)的晶体结构性质、形成焓和氧空位形成能,从原子尺度揭示了Sn,Nb对ZrO_(2)稳定性的影响机理.研究表明Sn^(2+),Nb^(3+)引起显著晶格膨胀;Sn^(4+)则造成轻微晶格膨胀,而Nb^(5+)引起晶格收缩,可见高氧化态下Nb比Sn更利于减小氧化膜的内应力.低价合金元素降低ZrO_(2)稳定性,且会增大t,m相形成能差距;高价的Nb^(5+),Sn^(4+)均可提高t-ZrO_(2)相对稳定性从而抑制t-m相变,其中Nb^(5+)效果显著,Sn^(4+)则作用微弱.0—3.5 GPa范围内,t-ZrO_(2)相对稳定性随压力增大而增强.合金元素的低价态比高价态更利于在t-ZrO_(2)中形成氧空位,因而在氧化膜/金属界面附近低氧化态区域,低价元素和压应力是稳定t-ZrO_(2)的主要因素.通过电子结构分析,发现氧空位形成能与合金元素离子和氧空位间的电荷转移幅度(或电子局域化程度)呈正相关.这些结果有助于针对锆合金耐腐蚀性的成分优化和结构设计.

摘要：提出一种利用锁相双频激光泵浦正常色散碳化硅微环谐振腔产生光频率梳的方案.对绝缘体上碳化硅微环谐振腔光波导进行色散调控,实现1550 nm波段平坦正常色散优化设计.利用Lugiato-Lefever方程对锁相双频激光泵浦正常色散碳化硅微环谐振腔的光频率梳产生进行仿真,研究了泵浦失谐量改变时光频率梳产生的时域和频域演化过程.同时探究了泵浦功率、微腔波导损耗、微腔色散、双频激光功率占比、双频激光频率间隔等各项参数对光频率梳产生的影响,仿真产生的光频率梳带宽可覆盖1500—1600 nm.仿真结果有助于推动基于正常色散碳化硅微环谐振腔的1550 nm波段高重复频率宽带光频率梳的研究和应用.

摘要：空芯光纤气体激光器已逐渐发展为一种重要的中红外激光光源,在实验上取得了良好进展,但现有的基于传统速率方程模型的理论设计方法仍不完善.本文提出了一种溴化氢(HBr)空芯光纤的振动热池建模方法,该模型可充分考虑空芯光纤气体激光器内振转弛豫对腔内增益特性的影响,计算显示激光斜效率、阈值和瓶颈效应与实验吻合良好.此外,基于该模型,本文探讨了脉冲泵浦的光子泄漏现象,通过引入泄漏因子,得到了与实验结果接近的脉冲波形的弛豫振荡和激光斜率效率,有效解决了脉冲泵浦模型中的泵浦溢出问题.本研究提出的振动热池理论模型可适用于各类气体填充的空芯光纤气体激光器.

摘要：随着体系维度的降低,材料内部的量子限制效应和电子关联作用会相应地增强,往往可以衍生一些新奇的物理特性.在钙钛矿材料中,姜泰勒扭曲和轨道序通常会引起丰富的电子关联行为.本文通过第一性原理计算、对称性分析和蒙特卡罗模拟等方法,对比研究了钙钛矿氟化物KCuF_(3)及其单层结构,揭示了钙钛矿二维化引起的晶格动力学、结构、电子及磁性质等方面的变化.结果表明,KCuF_(3)块体中出现的协作姜泰勒扭曲和面内交错轨道序可以维持到单层极限,导致单层为二维铁磁绝缘体.与块体相不同的是,在单层中姜泰勒扭曲模式作为原型相的软模出现,且单层的绝缘性不依赖于姜泰勒扭曲的出现,而是与电子关联效应的增强有关.本文为研究二维钙钛矿材料以及设计基于钙钛矿的二维铁磁体提供了指导和借鉴.

摘要：为了度量底事件发生概率不确定性对顶事件的影响程度,在建立故障树概率组成函数的基础上,基于矩独立重要性测度提出了考虑底事件发生概率不确定性情况的故障树重要度分析方法。以某飞机结冰探测系统为例,利用所提出的重要度方法分析了底事件发生概率不确定性对该系统故障的影响程度,设计者可根据重要度结果更有针对性地开展分析与设计,同时也验证了所提方法的合理性。

摘要：为厘清戏曲服装设计要素与审美情绪、审美评价间的关系,以越剧小生褶子为研究对象,以Leder审美认知加工模型和情绪PAD(愉悦度、激活度、优势度)模型为理论基础,采用纯涤纶和纯丝绸面料2种材质、15种颜色(上五色、下五色、中间五色)、4种纹样(无纹样、边花、折枝、团花)进行组合设计,利用CLO3D软件制作出120款越剧小生褶子,以三维穿着图片作为刺激材料,在35名被试者情绪测量和5组语义评价的基础上,分析了不同设计元素对语义评价和PAD情绪的影响及其相互关系。研究结果表明:小生褶子设计要素能够引起不同的审美情绪和语义评价,根据情绪影响可将小生褶子颜色划分为3类:高愉悦、低唤醒、高支配颜色,高愉悦、高唤醒、低支配颜色和低愉悦、低唤醒、低支配颜色,在此基础上探明了情绪维度在褶子设计要素与语义评价间的中介作用。