摘要：精确干扰技术是当前新型电子战的热点研究方向之一。为解决准确调节干扰功率空频域分布特性的问题,提出了基于交替乘子法的精确干扰波形设计方法。首先给出了空频域特性联合优化目标下设计恒模精确干扰波形优化问题的数学模型,通过进一步引入变量,将原始目标函数中包含的非凸四次项转化为二次项,从而使优化问题可以通过交替乘子法求解。经理论推导得到交替乘子法每次迭代时的最优闭式解,进而降低了算法的计算复杂度。仿真实验表明,相较已有只优化空域干扰功率分布的精确干扰波形设计方法而言,该算法设计出的精确干扰波形在预设干扰区域内的合成信号具有更好的功率谱分布特性,这更符合实际干扰任务的需求;同时,相较于已有的空频域联合优化算法,提出的算法考虑了波形恒模约束,这更符合工程实现的需要且提出算法的计算复杂度更低,并可以通过并行计算进一步降低运算时间。

摘要：作为测试、模型检验等开发阶段所用技术的有效补充,运行时验证技术越来越受到广泛的关注。然而,当前的运行时验证技术主要用于应用软件,很少专门针对操作系统进行研究。对面向嵌入式操作系统的运行时验证框架和关键技术进行了研究,并结合一个开源嵌入式操作系统FreeRTOS进行了设计与实现。首先提出了一种面向嵌入式操作系统的运行时验证和反馈调整框架,然后针对框架中的关键技术部分,完成了规约语言的设计、三值语义监控器的生成、FreeRTOS嵌入式操作系统相关接口的实现等主要工作。

摘要：精确干扰是电子战领域的新概念,核心思想是通过集群无人机将干扰功率高效、精确地投送至目标设备,且不影响友邻设备的正常工作。然而,当前的窄带波形设计方法无法精确控制目标区域内的最低合成功率,在实际中难以实施有效干扰;而现有的宽带波形设计方法的计算效率较低。为了解决上述问题,分别针对窄带和宽带信号模型提出2种精确干扰波形设计方法。在窄带波形设计方法中,以最小化友邻区域的最大合成功率为目标,并将目标区域的最小合成功率高于给定阈值作为约束条件,以半定规划方法求解波形协方差矩阵;在宽带波形设计方法中,首先将波形的四次目标函数降为二次,然后以交替最小化方法进行求解。仿真实验表明,提出的窄带波形设计方法较现有算法具有更好的干扰有效性,宽带波形设计方法具有更高的计算效率。

摘要：生成式人工智能是基于现有数据生成新颖内容的人工智能,它的出现带来了“人工智能生成内容”这一全新模式,颠覆了原有人机交互体验的机械性与被动性。通过查阅文献,了解到当代大学生虽然主动利用网课资源进行学习,且学习范围不再局限于本专业,但仍旧存在网课学习完成率低、学习动力不足等现象。因此,基于大数据在线智能辅助学习系统的发展以及生成式人工智能迅速崛起的背景,本文通过设计单变量实验,探究生成式人工智能技术在大学生自主学习能力提升方面的作用,并对结果进行分析总结,探索大学生如何更好地利用生成式人工智能提升自身综合实力,以适应未来阶段的教育发展环境及社会竞争环境。

摘要：市面上同时流行HJT、TOPCon、PERC等类型光伏组件,目前已有试验室STC下不同工艺条件下光伏组件的发电情况数据,但在热带季风气候地区户外实际发电表现尚无实际验证,同时工信部对晶硅组件有着户外实际运行情况下的衰减率要求。本文设计了两组试验以验证不同工艺光伏组件的发电情况,进行对比和衰减率判定。结果显示,HJT组件要比N-TOPCon、P-TOPCon更优异,晶硅的衰减情况均满足工信部要求。