摘要：在未知干扰条件下,针对欠驱动、非线性的四旋翼无人机群编队控制问题,提出了一种抗干扰的固定时间编队控制方法。首先,设计分布式固定时间滑模估计器,在仅有部分无人机获取到期望轨迹的条件下,每架无人机都能快速估计出自己的期望位置信息。其次,引入固定时间干扰观测器用于估计未知的复合干扰,使无人机能够生成干扰估计值以抵消复合干扰对其带来的影响。然后,在无人机的位置层与控制层设计固定时间滑模控制器,实现对期望轨迹的跟踪,所给出的方法能够满足姿态稳定收敛。最后,数值仿真验证了所提出方法的有效性。

摘要：导光条的重要特征是导光齿,针对导光齿呈空间扭曲状态分布的长条形导光条模具的开模方向设计难点,提出了基于特征面的法向集合选择模具Z向的方法。先分析零件特征,进行特征面归类,整理归类好的特征面的法向集合,寻找法向的分布规律,根据分布规律确定模具的开模方向范围,再借助零件上其他特征缩小开模方向范围,直至选定合适的开模方向和模具坐标系。在模具结构设计过程中,充分考虑模具受力平衡,设计了瓣合分型+空间大角度抽芯的多层组合式分型机构,最终成功设计了一套一模两件带组合抽芯机构的热流道模具。模具受力平衡,产品质量好。

摘要：软件验证一直是确保软件正确性和安全性的热点研究问题.然而,由于程序语言复杂的语法语义特性,应用形式化方法验证程序的正确性存在准确度低和效率差的问题.其中,由指针操作带来的地址空间的状态变化使得现有模型检测方法的检测准确度难以得到保证.为此,通过结合模型检测与稀疏值流分析方法,设计了一种空间流模型,实现了对C程序在符号变量层面和地址空间层面的状态行为的有效描述,并提出了一种反例引导的抽象细化和稀疏值流强更新算法(CEGAS),实现了C程序指向信息敏感的形式化验证.建立了包含多种指针操作的C代码基准库,并基于该基准库进行了对比实验.实验结果表明:所提出的模型检测算法CEGAS在分析含有多种C代码特性的任务中,与现有模型检测工具相比均能取得突出的结果,其检测准确度为92.9%,每行代码的平均检测时间为2.58 ms,优于现有检测工具.

摘要：分析了带倒扣铰链和螺纹特征的瓶盖的结构工艺,验算了注塑成型强制脱模的可行性。针对强制脱模成型工艺,设计了组合式型芯,选择了多种动力源的推出方式,规划了4步有序联合推出的方案,最终完成了带倒扣铰链特征、内凸特征、完整螺牙等特征的瓶盖的模具设计。模具结构合理,产品质量好。

摘要：设计了一副电机腔盖组件的注塑模具,模具的动模两次推出、定模一次顶出。模具布局为一模一腔,使用热流道点浇口注塑。设计了三个斜导柱抽芯机构和一个斜导柱和瓣合滑块复合抽芯。模具结构平衡,布置合理,模具各机构动作可靠。

摘要：航空发动机燃烧室温度分布对燃烧室结构设计、燃烧过程检测均具有重要意义。燃烧室结构封闭且复杂、存在大面积的辐射遮挡,这给计算其内部由热辐射引起的温度变化分析带来了一定困难。本文提出采用角度-空间间断谱元法求解遮蔽条件下封闭腔内热辐射问题。在求解过程中,通过黎曼迎风方案对空间单元边界上的辐射信息进行分割,实现单元间信息的有效传递。通过与文献结果进行对比发现:角度上采用间断谱元法可有效抑制辐射遮蔽带来的数值振荡,相同角度离散单元数下,可以获得比离散坐标法更光滑的计算结果。通过分析网格数和基函数阶数对数值结果的影响,发现该方法具有hp收敛特性。此外,控制角度计算节点相同,在与离散坐标法相当的计算精度下,消耗更少的计算时间。

摘要：针对多无人机动态目标协同搜索问题,提出一种组合差分进化无人机协同搜索航迹规划方法.建立动态目标协同搜索环境信息图模型及无人机运动模型.基于改进差分蝙蝠算法和自适应差分进化算法,设计基于种群数量自适应分配的组合框架,将差分进化算法中的变异、交叉和选择机制引入蝙蝠算法,构建组合差分进化算法的协同搜索算法,并对无人机动态目标协同搜索的航迹进行优化.针对待搜索目标轨迹随机多变且具有规避侦察特性的现实场景,建立可回访数字信息图和自适应目标搜索增益函数,从而提高无人机对动态目标的捕获能力.最后,通过仿真结果验证所提出的无人机动态目标协同搜索算法的有效性.

摘要：以仿鸟扑翼飞行器自主起降技术为主要研究对象,首先通过文献调研重点分析了自然界鸟类起降方式。然后分析了国内外仿鸟扑翼飞行器自主起降技术的研究现状,并对垂直起降技术、弹跳起降技术、滑跑起降技术和滑翔起降技术进行了阐述,对相关的关键科学问题进行了梳理。最后对仿鸟扑翼飞行器自主起降技术未来的发展趋势和研究内容进行了展望。

摘要：介绍了大功率高效率功率放大器(功放)在实际设计时面临的晶体管寄生效应问题,并通过引入晶体管封装寄生模型对本征端阻抗进行等效迁移,进而提高了输出匹配网络设计的便捷性。提出一种基于紧凑型微带谐振单元的电路设计方法及其传输线拓扑结构,其中,紧凑型微带谐振单元的作用是提供功放在三次谐波所需的开路点,从而通过调谐传输线满足相应阻抗条件。其优点还包括:基波频率下插入损耗低、效率高;实际物理尺寸小,可满足小型化需求。为了更好地验证上述理论,基于10 W GaN HEMT CGH40010F晶体管和大功率高效率E/F开关类功放在2.2 GHz的工作频率下进行了具体的电路设计。仿真结果表明,该款功放的最大功率附加效率可达78.4%,最大输出功率可达40.1 dBm,功率增益为12.1 dB。

摘要：为满足辐射探测器前端读出电路对模拟电路稳压器片上集成和快速瞬态时间响应的需求,设计了一种基于0.18μm CMOS工艺的全片上集成LDO。采用大摆幅高增益放大器驱动输出功率管,增大了功率管栅极调节电压摆幅,减小了功率管尺寸和LDO压差电压。该放大器同时增大了LDO的环路增益和对功率管栅极的充放电电流,从而改善了瞬态响应性能。为了不牺牲环路增益带宽和芯片面积,并且保证LDO在整个负载电流区间内保持稳定,提出了一种负载电流分区频率补偿方法。仿真结果表明,在负载电容为200 nF,负载电流范围为0~200 mA时,设计的LDO相位裕度均大于53°。在相同功率管尺寸情况下,采用大摆幅高增益放大器可以将LDO最大输出电流能力提高到两倍以上。当负载电流从10 mA跳变到200 mA时,LDO输出电压恢复时间小于6.5μs。设计的LDO电路面积为120μm×264μm,满载时电源效率为97.76%,最小压差电压为50 mV。