基于可变阶变分模型的医用低剂量CT图像去噪

为了降低患者的辐射风险,低剂量CT（LDCT）广泛用于临床诊断,但辐射剂量的减少在重建的LDCT图像中引入了斑点噪声和条纹伪影。为了提高LDCT图像的质量,提出了一种基于可变阶变分模型的后处理技术。所提出的变分模型使用边缘指示器控制变分阶数,根据图像的特征在一阶全变分（TV）正则项和二阶有界Hessian（BH）正则项之间交替变换。采用基于快速傅里叶变换（FFT）的分裂Bregman算法求解所提出的变分模型。该模型在保留高剂量CT（HDCT）图像相应结构的同时,有效抑制了斑点噪声和条纹伪影。重建的图像和实验数据表明,所提出的变分模型比现有的先进模型具有更好的质量。      

纳米复合相变材料熔化过程数值模拟

相变储能技术在航空航天等领域具有广泛的应用前景,但是相变材料导热性能差制约了其工程化应用。高导热的纳米材料能够有效提高相变材料的导热性能。为了对其相变现象进行更精细的模拟分析,基于Maxwell-Garnett等效介质理论（EMT）建立3种具有代表性结构的纳米复合相变材料详细物性参数,将流体体积（VOF）模型与焓-多孔介质模型相耦合,在考虑相变材料体积膨胀的情况下,数值模拟了纯石蜡、添加不同体积组分金刚石纳米粒子（ND）、单壁碳纳米管（SWCNT）和石墨烯纳米片（GnP）的纳米复合相变材料在定温边界条件下的固液相变过程。结果表明:相变材料熔化过程中对流效应主要分布在临近固液相界面、临近加热壁面及临近气液两相交界面这3个区域;3种纳米粒子中GnP的导热强化效果最佳,相比纯石蜡,添加体积分数为3%的GnP纳米复合相变材料固相导热系数提高了486%,相变材料的熔化时间缩短了69%;升高壁面温度能够有效缩短复合相变材料的熔化时间。      

基于原始对偶内点法的EST图像重建

静电层析成像（EST）被动感应电荷的机理决定了其独立测量值数等于电极数目,远小于电容层析成像（ECT）等相对成熟的电学成像（ET）技术的测量值数,导致逆问题的欠定性更加严重。为此,对基于压缩感知理论的EST图像重建算法进行了研究。利用奇异值分解（SVD）处理灵敏度矩阵使其满足有限等距性质（RIP）,采用l₁范数正则化模型和原始对偶内点法（PDIPA）实现图像重建,并在迭代过程中针对荷电磨粒稀疏分布的特点,对图像向量中非零元素个数施加约束。仿真实验表明:该算法相对于基于"Circle of Appolonius"的反投影（BP）算法和Landweber迭代算法,明显改进了成像质量,对不同位置的单个电荷可准确重建;2个电荷距离不小于1 mm时可正确分辨电荷数目与位置;对10组随机分布的3个电荷模型进行测试,荷电磨粒数目监测的准确率约为80%。      

基于滚动时域控制的多路径进场航班排序优化

进场航班排序优化是提高进场航班着落效率、减少航班延误的有效方法。基于此，以最大化着落效率为目标，结合多跑道、多航路选择，考虑实际航路点限制，提出了多路径多跑道一体化进场航班排序优化混合整数规划模型。为解决大规模航班排序计算的实时性问题，提出了多航路点滚动时域控制算法。以广州白云国际机场终端区为实例进行验证，采用实际进场航班数据开展计算实验，在尾流安全间隔上，采用RECAT-CN运行标准，计算结果表明：小规模航班架次时（23架），所提模型最大降落时间比先到先服务方法提前55 s，比未优化时提前271 s；大规模航班架次时（104架），仅靠求解器在3 600 s内未找到可行解，所提算法在128.65 s找到解。所提模型和算法有效，可应用于实际航班排序优化。     

基于的DTV图像去噪模型

针对纹理图像的去噪问题,通过分析全变分（TV）去噪模型与方向全变分（DTV）去噪模型,提出了一种具有鲁棒性的基于的DTV去噪模型。为了刻画图像中的不同结构特征,该模型中DTV正则项的指数p由图像的结构来确定在（0,2）中自适应地选取。由于该模型是含有可分性算子的非光滑优化问题,可用交替方向乘子法（ADMM）求解,并能保证算法的收敛性。数值实验结果表明:与其他经典模型相比,提出的模型取得了更高的峰值信噪比和结构相似度,在去除噪声的同时能有效保持图像的细节信息。      

高通量多波束通信卫星系统资源分配方法

资源分配是影响新一代高通量多波束通信卫星（HTMCS）系统效能发挥的关键问题。以往基于非柔性载荷以及用户容量需求均匀分布的静态、单维度资源分配方法已不能满足现实需求。围绕基于有效载荷资源提升系统效能这一核心目标，针对波束间干扰、柔性载荷以及用户需求非均匀分布特点，为高通量多波束通信卫星系统构建了功率和频带两维度联合优化资源分配模型，并实现了一种带有寻优控制策略的遗传算法求解模型。面向多类场景实例的仿真结果表明，本方法可以适应不同用户容量需求分布特点，为系统提供功率和频带资源联合优化解决方案。当用户需求总量分别为90Gbit/s、110Gbit/s及130Gbit/s时，相比平均、固定分配波束功率及频带资源，提出的方法可使系统未满足容量需求（UCD）分别减少71.09%、40.47%和16.31%，有效提升了系统效能。     

基于空间注意力机制的行人再识别方法

行人再识别是图像检索领域的一个重要部分，但是由于行人姿态各异、背景复杂等因素，导致提取到的行人特征鲁棒性和代表性不强，进而影响行人再识别的精度。在AlignedReID++算法基础上，提出了基于空间注意力机制的行人特征提取方法，应用在行人再识别中取得了很好的效果。首先，在特征提取部分，引入空间注意力机制来增强特征表达，同时抑制可能的噪声；其次，通过在卷积层中引入实例正则化层（IN）来辅助批正则化层（BN）对特征进行归一化处理，解决单一BN层对特征色调变化以及光照变化的不敏感性，提高特征提取对亮度、色调变化的鲁棒性；最后，在Market1501、DukeMTMC和CUHK03 3个行人再识别通用数据集上对所提改进模型进行测试评价。实验结果显示:改进后的模型在3个数据集上识别精度分别提升了2%、2.9%和5.1%，表明改进后的模型相较于改进前的模型，在精度以及鲁棒性上都有显著提高。      

航空发动机多变量变增益控制器设计及仿真

针对航空发动机全包线工作下的多变量变增益控制器设计问题,给出了一种改进的埃德蒙德算法（以下简称KQ算法）并进行了仿真应用。首先,阐明了多变量KQ算法的控制原理与优化算法,进而通过闭环期望函数选择、控制器结构选择以及控制器参数优化进行了KQ控制器设计,并针对所设计的KQ控制器,给出了稳定性证明和系统奇异值分析。分析表明所设计KQ控制器能够使系统闭环稳定,且具有满意的低频指令跟踪、干扰抑制能力、传感器噪声的抑制、高频未建模动态的鲁棒稳定性和低频发动机建模误差不敏感等性能,满足发动机控制要求。其次,通过调度变量选择、设计点KQ控制器设计以及采用插值方法的非设计点KQ控制器设计等过程实现某型涡扇发动机的多变量KQ变增益控制器设计研究,并进行仿真验证。仿真结果表明,设计点条件下,当涡轮后温度和增压比参考输入均为阶跃信号时,其被控参数响应速度很快,且上升时间均小于1 s,耦合影响小于6%,设计点KQ控制器满足控制要求;非设计点条件下,利用插值方法建立的KQ变增益控制器具有较好的性能,能够实现该型涡扇发动机全包线控制性能要求。      

基于变分迭代的航天器相对姿轨耦合动力学解算方法

针对航天器相对姿轨耦合一体化运动,在定义坐标系下利用对偶四元数和旋量表示航天器的一般运动,推导出航天器六自由度运动学和动力学模型,并分别采用Runge-Kutta四阶算法和变分迭代法的配点形式求解该非线性模型。变分迭代法的配点形式是变分迭代法与配点法的复合,本文先给出变分迭代法的迭代方程,再把迭代方程应用到局部时间区间上探讨了局部变分迭代法,然后把变分迭代法与配点法结合得到数值迭代方程。利用对偶四元数所建立的模型相对于其他模型较为简洁,便于分析姿轨耦合特性。仿真结果表明,相比Runge-Kutta四阶算法,变分迭代法的解算精度更高。     

月球最优软着陆两点边值问题的数值解法

借助庞特里亚金最大值原理(Pontryagin′s Maximal Principle,PMP),将月球燃耗最优软着陆问题转化为终端时间自由型两点边值问题(Two Point Boundary Value Problem,TPBVP)。采用一种基于初值猜测技术的线性摄动法求解TPBVP,得到最优软着陆轨迹。仿真结果表明,初值猜测技术得出的伴随变量初值均落在线性摄动法的收敛区间内,收敛速度快,优化精度高。最后研究了不同制动推力大小对软着陆性能的影响,结论为:增大制动发动机推力,既可缩短软着陆的时间,又能减少软着陆的燃料消耗。     

面向RT软件测试数据自动生成的输入变量分析

为了解决自动生成实时软件可靠性测试用例遇到的如何描述软件输入空间的问题,提出了约功能的概念,对输入变量按照实时特性和取值特性进行了分类,探讨了利用随机过程描述具有随机取值特性的一类输入变量取值统计规律的方法,建立了描述输入变量的模型,并给出一个实例,展示分析输入变量的方法.     

基于组合优化策略的月球软着陆最优轨道设计

基于Pontryagin极大值原理,把求解月球软着陆燃料最优化问题归结为终端自由型两点边值问题.采用粒子群算法和单纯形算法接力优化的组合优化策略,在初始猜测值的邻域内进行搜索,充分利用粒子群算法的全局搜索能力迅速缩小搜索范围,然后利用单纯形算法的局部搜索优势快速获得优化结果.该优化策略最大的优势是使粒子群算法的全局搜索能力和单纯形算法的局部搜索能力同时得到最大化的发挥.仿真证明该优化方法在考虑一些实际工程约束的情况下,能较快速而准确的获得月球软着陆优化轨迹,具有一定的优越性.     

基于相位匹配的大视场视觉检测系统

针对三维测量大量程和高精度测量问题,提出一种新型双目视觉检测系统.该系统通过向被测物投射间距可变的光栅条纹,将不同曲率的被测表面进行相位编码,由相位匹配得到被测物稠密的立体匹配点云;再由标定出的摄像机内外参数计算出被测物的精确三维坐标.为了解决传感器单元测量区域较小的问题,系统通过步进电机控制传感器移动,获取大型物体的全场三维数据点云;最后利用四元素法,实现大型物体的三维数据拼接.该系统长度测量标准差为36 μm,角度测量与坐标测量机(CMM)测量结果的相对误差0.2％.给出了某V型面三维实测的数据重建结果.对某大型特件(360 mm×300 mm)经过三维拼接正确复现了其三维形貌.该系统对于解决大型构件三维形貌的在线高精度检测问题具有较高工程应用价值.      

Measurement of middle atmospheric ozone density profile by rocket-borne radiometer onboard KSR-II

KSR-II, a two-stage sounding rocket of KARI was launched successfully at the Korean Peninsula on June 11, 1998. The apogee of the rocket was 137 km. For the ozone measurement, 8-channel UV and visible radiometers were onboard the rocket. The rocket measured an in situ stratospheric and mesospheric ozone density profile over Korea during its ascending phase using the radiometer and transmitted the data to ground station in real time. The maximum ozone density occurs near 25 km. Retrieved profile has a random error (1σ) of approximately 15% for altitude below 20km, 7% between 20-50 km and 10% greater than 50 km. The retrieved data were compared with Dobson spectrophotometer, ozonesonde, and HALOE onboard the UARS. Our results are in reasonable agreements with others.     

构架天线四面体桁架单元精度分析与多目标优化设计

为了减小加工装配误差对天线桁架精度的影响,解决含随机变量的优化问题,综合考虑了杆件加工装配误差正态分布特性对精度的影响,通过最小势能原理求解得到了含杆件误差的构架天线桁架单元的平衡状态,采用蒙特卡洛方法对杆件误差变化对型面精度的影响开展了分析,得到杆件随机误差下的平均精度。为提高计算效率,建立了以杆件长度公差为设计变量、以桁架型面精度和加工成本为目标函数的代理模型,通过多目标遗传优化算法进行了公差优化设计,得到了代理模型误差小于8%的多组公差设计方案。其中平均精度最小达到了0.013mm,并且分析结果显示腹杆影响显著大于底杆。     

一种求解函数全局优化问题的正交方向法

提出了一种求解函数全局优化问题的正交方向法.该方法通过前三轮大范围的正交设计寻找全局最优解的大体位置,然后通过若干轮小范围的正交设计进行最优解的精确逼近.每一轮正交设计中,探索设计空间的试验点依据正交表围绕一个中心点产生,设计变量的取值范围逐渐减小.而在每一轮正交设计后,采用一维搜索提高搜索精度.一维搜索的方向由每轮正交设计的中心点和最好(或最坏)点决定. 该算法计算量较小且易于编程.采用两个数学优化问题和一个火箭动力、水平发射的单级入轨飞行器的弹道优化问题对算法进行了测试.这些算例表明,当目标函数的极值数少于正交表提供的试验方案数时,正交方向法常常能以较小的计算量获得全局最优解.     

适用于Ad hoc网络的EIGamal型门限数字签名方案

现有ElGamal型门限数字签名方案在签名前签名各方需要协商生成一个随机数,该过程计算量与通信量比较大,不能满足Ad hoc网络的需求.将组合公钥的思想引入到ElGamal型门限数字签名的随机数生成中,为Ad hoc网络提出一种门限数字签名的改进方案.方案由密钥初始化和门限签名两部分组成.密钥初始化时,签名各方使用分布式密钥生成协议协商出系统公/私钥对和一个随机数矩阵,每个节点掌握部分私钥和部分随机数矩阵;门限签名时,每个签名方使用相同的算法在掌握的部分随机数矩阵中选择随机数进行部分签名;最后将部分签名合成整体签名.对提出的方案在随机预言(RO, Random Oracle)模型中进行了安全性证明.实用性分析表明:方案计算复杂度低,交互次数少,通信量小,有很好的执行效率与签名成功率.     

高超声速飞行器滑行航迹优化

针对高超声速飞行器滑行的密度模型、动力学模型、空气动力模型和作为输入的攻角,将弹道问题转化为最优控制问题,采用极大值原理求得航程最大的一阶必要条件,采用多次变区间的遗传算法、非线性单纯形法和邻近极值法的组合优化策略来求解此两点边值问题,首先用多次变区间的遗传算法和单纯形方法求得全局航程最大,然后用邻近极值法得到合适的初值满足所有终端约束,通过对一高超声速飞行器的算例进行了优化计算,得到了最优弹道和优化算法的收敛曲线,并与升阻比最大飞行方案进行比较可知,最优控制方案求得的航程大于升阻比最大飞行方案的航程.