摘要：面向知识图谱的知识推理旨在通过已有的知识图谱事实,去推断新的事实,进而实现知识库的补全.近年来,尽管基于分布式表示学习的方法在推理任务上取得了巨大的成功,但是他们的黑盒属性使得模型无法为预测出的事实做出解释.所以,如何设计用户可理解、可信赖的推理模型成为了人们关注的问题.从可解释性的基本概念出发,系统梳理了面向知识图谱的可解释知识推理的相关工作,具体介绍了事前可解释推理模型和事后可解释推理模型的研究进展;根据可解释范围的大小,将事前可解释推理模型进一步细分为全局可解释的推理和局部可解释的推理;在事后解释模型中,回顾了推理模型的代表方法,并详细介绍提供事后解释的两类解释方法.此外,还总结了可解释知识推理在医疗、金融领域的应用.随后,对可解释知识推理的现状进行概述,最后展望了可解释知识推理的未来发展方向,以期进一步推动可解释推理的发展和应用.

摘要：为了实现无线电接收机对多个通信标准的兼容和对信号链路增益的自动调节,提出了一种适用于宽带(0.8~2.7GHz)接收机并具备自动增益控制(AGC)功能的正交解调器。该解调器的信号主路上采用一个宽带设计的射频可变增益放大器和一个中频可变增益放大器,频率变换则通过一个增益可调的吉尔伯特单元实现。在信号反馈环路上采用一个均方根功率检波器检测输出信号的幅度并转换成直流电压,然后通过检波器输出的直流电压控制主路上各个模块的增益,从而形成一个AGC闭环系统。该解调器仅采用模拟电路实现AGC功能,避免了传统数字辅助型AGC需要大量端口、算法实现复杂和精度受有限步长的限制等缺点。该解调器在0.18μm BiCMOS工艺平台下设计并流片验证,测试结果表明:在0.8~2.7GHz内,正交解调器的可调转换增益范围为-36~36dB,解调带宽为100MHz;最大增益下噪声系数为9dB,正交相位误差1.6°,幅度误差为0.9dB。

摘要：多输入多输出(Multiple Input and Multiple Output,MIMO)信道的空间相关性极大程度上影响着MIMO系统的性能.基于相关统计建模的空间相关性MIMO信道模型,通过合理的软硬件划分,设计了一种高资源利用率的MIMO信道实时模拟方案,实现了实时MIMO信道模拟器.针对3GPP标准MIMO信道模型进行模拟,硬件模拟结果统计分析表明本方案模拟的MIMO信道特征能够与理论特征很好地吻合,具有良好的模拟精度.可扩展的信道模拟方案能够直接扩展到支持更多天线数目的 MIMO信道的实时模拟.

摘要：为利用激波管实现空中爆炸冲击波的模拟,开展了管内压力脉冲演化特性的研究。结合激波管内压力脉冲特性的实验和数值模拟,分析高压气体驱动激波管内形成类似于空中爆炸冲击波激波的过程,总结得到激波管参数对激波特征的影响规律。研究结果表明:激波管内产生的激波是平面波;适当调整激波管高压段与低压段的长度比,可以使低压段内反射稀疏波追赶上右行激波波阵面,在追上位置处形成类似空中爆炸冲击波的激波,高压段压力和长度的减小,稀疏波更容易追赶上激波波阵面;结合量纲分析,建立了形成模拟空中爆炸冲击波所需最小低压段长度,以及所形成的激波峰值超压、正压持续时间等特征参量与激波管内压力、长度等参数之间的关系,为模拟空中爆炸冲击波激波管的设计提供基础理论和数据支撑。

摘要：为应对危害日益严重的恶意软件,提出在文件系统层对恶意软件进行分析和防御,并尽可能减少其影响的方法,设计实现了面向恶意软件分析和保护的文件系统(MAPFS).该系统通过文件版本化技术和钩子技术,可记录1个进程在其生命过程中对文件系统的一系列修改.这些行为记录可作为分析恶意软件的重要依据,也可用于对被破坏的重要文件进行恢复保护.实验结果表明,该方法可有效用于恶意软件的分析及保护,MAPFS在性能方面的影响低于10%.

摘要：气动辅助变轨技术在节省推进、延长航天器寿命等方面具有可观的应用价值,但工程实践却严重受制于气动效应不确定性,因此,设计了针对气动效应不确定性的SMC-H2/H∞鲁棒制导算法.算法基于高斯伪谱法获取的标称轨迹和控制序列,通过构建气动效应的不确定性模型,利用奇异摄动理论将气动辅助变轨飞行器动力学划分为位置和速度回路,设计滑模和鲁棒H2/H∞控制器分别实现制导控制.进一步,通过MatLab/xPC和飞行器机载计算模块组成的实时仿真系统验证,所设计鲁棒制导算法在计算复杂度满足工程约束前提下,能够在存在气动效应不确定性的场景下实现标称轨迹的跟踪,表明所设计的鲁棒制导算法能够有效地增强系统的鲁棒性,具有重要的工程应用价值.

摘要：为了验证在高频段进行宽带无线通信的可行性,介绍了针对室内走廊环境进行的14GHz宽带无线信道测量和所获取的信道特征。基于频域信道冲激响应测量方法,设计搭建了宽带无线信道测量平台,较好地克服了高频段电波传播能量实时测量采集的难度。基于实测数据提取信道参数化模型,获取了高频段电波传播特性参数统计分析结果,包括路径损耗与阴影衰落、时延扩展、角度扩展。测试与分析结果表明:高频段电波传播时延小、方向性强,适用于宽带互联通信。

摘要：全面介绍软件接口测试项目。通过实例给出一种面向测试自动化的网络中间件性能测试,网络状况模拟和网络设备批量测试的设计和实现方法。

摘要：对Si/Glass激光键合进行了有限元仿真,自主设计激光键合系统并进行了Si/Glass激光键合实验研究、测试与表征。以Si/Glass激光键合的二维传热解析模型为理论基础,应用有限元软件ANSYS仿真了激光功率20～48W时激光键合的三维温度场、键合熔融深度,并预测键合阈值功率为28 W。自主设计激光键合系统及实验方案,采用光斑直径150μm、功率30W的Nd:YAG连续激光实现了Si/Glass的良好激光键合。测试结果表明,激光键合强度最高为阳极键合的5.2倍,激光键合腔体气密性测试泄漏率平均值约9.29×10-9 Pa.m3/s,与阳极键合处于同一数量级。采用能谱分析(EDS)线扫描Si/Glass激光键合的界面材料成分,发现键合界面形成过渡层,激光功率30W时过渡层厚度9μm,与仿真结果吻合。

摘要：针对航天电子系统控制模块对集成电路的抗辐射需求,在130 nm部分耗尽绝缘体上硅(Silicon-On-Insulator,SOI)工艺平台上设计了一款基于比例、积分、微分控制算法的控制芯片,并分别从晶圆材料、制备工艺、版图设计的角度对芯片进行了总剂量辐射加固。流片测试结果表明,芯片的调节精度达到了5×10-12,与进口抗辐射现场可编程门阵列水平相当;在长时间频率稳定度方面,芯片优于国外抗辐射现场可编程门阵列。对芯片进行的模拟辐照试验表明,芯片在300 krad(Si)的总剂量辐照条件下依然可以正常工作。