基于知识Petri网的确定性和不确定性联合推理

知识推理是人工智能的核心领域,旨在研究如何从已知(知识库和推理规则)推理出未知,以帮助智能体做出科学决策.而智能体所处的环境存在不可观性和不确定性,因此知识库通常不仅包含确定性知识,还包含不确定性知识,而且推理过程需要两类知识紧密协作.然而,目前的推理方法无法将两类知识统一表示,常常将两者对应的推理过程割裂进行.基于此,为了实现在统一的模型架构下完成确定性和不确定性联合推理,给出了一种知识Petri网推理方法.首先,定义了一种新的知识Petri网,使其不仅能够描述确定性的知识规范,也可以描述先验概率知识;其次,根据知识Petri网的网结构,给出了一种知识Petri网概率独立剪枝算法,能够指数级地降低不确定性推理的计算复杂性;最后,利用知识Petri网及其概率独立剪枝算法,给出了一种新型推理算法,实现了确定性和不确定性的联合推理,并利用Wumpus世界进行了演示和验证.     

针对运动目标的多无人机协同鸽群优化搜索方法

针对多无人机协同运动目标搜索问题,本文设计了改进鸽群优化算法的协同搜索决策.首先,基于运动目标的独立性,建立了服从正态分布的目标概率信息图模型;为了提高环境中目标存在的确定度,建立了搜索环境的确定度信息图.其次,通过建立的吸引和排斥数字信息素图,引导无人机向未搜索区域飞行,减少重复搜索概率,提高协同目标搜索效率,并基于传统的鸽群算法,通过加入速度更新修正机制和精英代机制对其进行改进.然后,结合环境中目标的存在概率信息以及无人机搜索目标的探测信息,使用改进鸽群优化算法,规划无人机的最优搜索飞行路径.并设计避碰机制,以有效防止无人机搜索过程中的碰撞.最后,通过比较仿真实验验证了改进鸽群优化算法对运动目标协同搜索的有效性.     

具有加性和乘性噪声的线性离散时间随机系统的无模型最优跟踪控制

本文研究一类同时受加性和乘性噪声影响的离散时间随机系统的最优跟踪控制问题.通过构造由原始系统和参考轨迹组成的增广系统,将随机线性二次跟踪控制(SLQT)的成本函数转化为与增广状态相关的二次型函数,由此推导出用于求解SLQT的贝尔曼方程和增广随机代数黎卡提方程(SARE),而后进一步针对系统和参考轨迹动力学信息完全未知的情形,提出一种Q-学习算法来在线求解增广SARE,证明了该算法的收敛性,并采用批处理最小二乘法(BLS)解决该在线无模型控制算法的实现问题.通过对单相电压源UPS逆变器的仿真,验证了所提出控制方案的有效性.     

面向异构DHT存储的数据与位置解耦算法

分布式哈希表(distributed hash table, DHT)由于其高效的数据寻址方式而被广泛应用于分布式存储.传统DHT必须将数据存放在指定节点中才能实现高效的数据分布式寻址,极大地限制了DHT技术的应用范围.例如,在异构存储网络中,节点的存储空间、带宽、稳定性等均有较大差异,结合数据特征和节点性能差异选择合适的数据存放节点可以很大程度上提高数据的访问效率,而传统DHT数据和存储位置紧耦合的特征导致其难以应用于异构的存储网络中.针对此问题,提出了vRoute算法以实现DHT中数据标识与其存储位置的解耦.通过构建基于Bloom Filter的分布式数据索引, vRoute算法可以在不降低数据寻址效率的基础上允许数据存储在网络中的任意节点.通过扩展Kademlia算法实现了vRoute,并从理论上证明了vRoute算法的有有效性.最后,模拟实验表明vRoute以较低的存储、网络开销实现了和传统的DHT算法接近的数据寻址效率.     

基于汉语特征的中文对抗样本生成方法

深度神经网络容易受到来自对抗样本的攻击,例如在文本分类任务中修改原始文本中的少量字、词、标点符号即可改变模型分类结果.目前NLP领域对中文对抗样本的研究较少且未充分结合汉语的语言特征.从中文情感分类场景入手,结合了汉语象形、表音等语言特征,提出一种字词级别的高质量的对抗样本生成方法 CWordCheater,涵盖字音、字形、标点符号等多个角度.针对形近字的替换方式,引入ConvAE网络完成汉字视觉向量的嵌入,进而生成形近字替换候选池.同时提出一种基于USE编码距离的语义约束方法避免对抗样本的语义偏移问题.构建一套多维度的对抗样本评估方法,从攻击效果和攻击代价两方面评估对抗样本的质量.实验结果表明, CWordAttacker在多个分类模型和多个数据集上能使分类准确率至少下降27.9%,同时拥有更小的基于视觉和语义的扰动代价.     

基于石墨烯超表面天线的太赫兹动态相位调控及波束扫描

太赫兹波频段介于毫米波和红外光之间,具有诸多优异特性,太赫兹天线更是太赫兹通信、雷达和成像等应用系统中的核心元器件。然而,目前报道的太赫兹天线均无法满足较大动态范围的相位扫描、高效率辐射和大偏转角度的需求。该文设计了 3 种石墨烯太赫兹天线,最小尺寸为 5 μm,并对其辐射效率和相位调控特性进行研究,进而提出具有双共振模式的石墨烯-金属太赫兹超表面天线,缓解了传统的基于单共振模式的相位动态调控范围和辐射效率之间的矛盾,实现了 0～360°的动态相位调控,且辐射效率高于 20%。该研究采用微加工工艺进行样品加工,通过改变栅极电压,在实验上获得了 1.03 THz 的太赫兹动态相位调控,反射率高于 23%,与仿真结果基本吻合。在此基础上,该文基于连续相位编码设计了石墨烯超表面相控阵天线,理论上实现了太赫兹波束在－25°～25°范围内的实时波束偏转。该文为解决超表面相控阵天线的相位动态调控范围小、辐射效率低等难题提供了新的研究思路。     

聚集诱导发光分子在双光束超分辨光存储中的潜在应用

聚集诱导发光分子因其高效的发光性质而被广泛应用于生物成像、光波导和电致发光等领域,但在光信息存储领域还鲜有研究。与其他光存储材料相比,聚集诱导发光分子的局域密度变化会引发荧光强度的变化,这在光存储领域是一个显著优点。该文针对聚集诱导发光分子的特性,讨论了该类分子在超分辨光存储领域的可能应用方式,以及需要解决的关键问题。     

基于傅里叶级数解析热扩散角的功率模块热阻抗物理模型

绝缘栅双极型晶体管功率模块失效主要由温度因素诱发。为提高功率模块可靠性,RC热阻抗模型被提出用于实时预测芯片结温。随着功率密度的提高,模块横向扩散愈发明显,多芯片热耦合效应愈加突出,导致传统RC模型会引入较大误差。文中针对RC模型精准度不足进行改进,揭示热扩散角取决于热流密度的物理内涵,结合多层封装结构下的傅里叶级数解析热流模型,建立一维RC热网络与三维热流物理场的本质联系,构造计及多芯片热路耦合的扩散角热网络,较为准确地描述多芯片结温动态特性,揭示热扩散与热耦合效应对芯片温度场形成的规律。与其他传统热扩散角模型相比,所提出方法的结温计算结果准确度最高。最后以型号SEMi X603GB12E4p模块为例,针对提出的物理模型进行验证,仿真与实验结果均表明,该模型能够表征不同工况条件下功率模块的热过程,验证了所提建模方法的有效性与准确性,误差小于4%,且验证了所提模型较不计及热耦合模型精度提高了16.72%。     

电力系统密集型频率信号的测量与分析

针对非同步采样条件下密集频率信号无法准确测量的问题,提出一种密集型频率信号检测方法。基于离散傅里叶变换建立密集型频率信号模型,然后对单通道观测信号做周期延拓,形成多路信号。使用可变主成分分析法进行去相关性处理。再基于极大似然盲源分离法求解密集型频率信号模型。最后根据比例系数校正各频率成分参数。仿真和实验结果表明,所提方法具有较高的精度和一定的抗噪声能力。     

跨区域省间富余可再生能源电力现货交易的实践和思考

可再生能源装机占比快速增加,消纳任务艰巨,跨省跨区市场化交易在促进可再生能源大范围消纳中发挥了重要作用。针对国家电网有限公司组织开展的跨区域省间富余可再生能源电力现货交易,总结了现货交易的基本框架,概述了其组织流程、市场衔接等交易机制。根据4年以来的实际运行情况,从电量和电价的角度对年度、月度、日成交情况进行全面总结,并建立了评估指标体系,分析其在促进可再生能源消纳和形成分时电价方面的积极作用。结合新型电力系统建设目标和电力市场发展要求,分析了跨区域省间富余可再生能源电力现货在交易范围、交易机制、参与主体等方面的局限性,并提出了未来省间电力现货市场建设的相关建议。