收敛无穷计算及其应用

经典计算不能很好地刻画无穷计算的行为.基于形式系统序列及其极限,讨论一类称为收敛无穷计算的问题,旨在建立刻画无穷计算在变化的环境中如何交互与演化以及演化的极限状态的逻辑理论基础.提出了收敛无穷计算的一个逻辑和推理系统,其表达能力超过一阶逻辑.还基于经典计算模型图灵(Turing)机和形式系统序列及其极限,提出了收敛无穷计算的模型,称为过程模式.在极限计算的意义下,其计算能力超过了Turing机和实数机器.讨论了上述研究在数据挖掘中的应用,用收敛无穷计算研究了数据挖掘的极限行为.     

Water surface temperature estimation from Landsat 7 ETM+ thermal infrared data using the generalized single-channel method: Case study of Embalse del Río Tercero (Córdoba,Argentina)

Monitoring of warm distribution in water is fundamental to understand the performance and functioning of reservoirs and lakes. Surface water temperature is a key parameter in the physics of aquatic systems processes since it is closely related to the energy fluxes through the water–atmosphere interface. Remote sensing applied to water quality studies in inland waterbodies is a powerful tool that can provide additional information difficult to achieve by other means. The combination of good real-time coverage, spatial resolution and free availability of data makes Landsat system a proper alternative. Many papers have developed algorithms to retrieve surface temperature (principally, land surface temperature) from at-sensor and surface emissivity data. The aim of this study is to apply the single-channel generalized method (SCGM) developed by Jiménez-Muñoz and Sobrino (2003) for the estimation of water surface temperature from Landsat 7 ETM+ thermal bands. We consider a constant water emissivity value (0.9885) and we compare the results with radiative transfer classic method (RTM).     

改进的极化SAR图像三分量分解方法

针对原始三分量分解方法中,偶次散射和表面散射类地物的体散射分量可能会过估计的问题,提出了一种基于H/α珔参数和一般散射机理模型的改进的三分量分解方法。首先在进行极化分解之前利用H/α珔参数判定目标的主导散射类型。对于主导散射类型明确的像素点,利用一般散射机理模型优先计算主导散射成分的相关扩展系数,然后再从剩余成分中提取非主导散射分量。对于主导散射类型不明确的像素点,采用传统的去取向三分量分解方法进行分解。对实测极化SAR图像进行实验表明,新方法不仅继承了传统三分量分解方法的优点,而且能在分解结果中更加有效地突出雷达目标的主导散射特征。     

电站典型大滞后过程自适应预估控制器设计及应用

电站典型大滞后过程难于控制的原因在于其大滞后本身导致系统不稳定及锅炉负荷频繁变化导致的参数时变特性。本文设计了一种模型参考自适应预估控制算法,引入二阶惯性与时间滞后两个补偿器,其主要参数如增益、时间常数和滞后时间均可在线自适应调整,致使过程与参考模型时刻匹配。该算法已应用于电站200 MW锅炉机组再热汽温过程控制,控制精度达到2℃以内。     

超长航时太阳能无人机关键技术综述

超长航时太阳能无人机（UAV）以其高效节能、原理上可实现无限巡航的特点受到广泛关注，而其独特的设计指标与任务特性也对各项关键技术提出了较高要求。多设计要素的高度耦合意味着不同于常规飞行器的总体设计方法，低密度、低速度的飞行条件使其具有明显的低雷诺数气动特性，柔性超大展弦比机翼带来了复杂的气动弹性问题，低翼载荷特性与较大的风场扰动增加了控制难度，极端的飞行环境与苛刻的任务指标对能源、动力系统带来了新挑战，飞行性能对能源系统的高度依赖开辟了飞行轨迹优化的研究方向。本文梳理了超长航时太阳能无人机关键技术的研究现状，在此基础上对各项技术中的难点问题进行了阐释，并对超长航时太阳能无人机未来发展趋势进行了展望。     

基于功率复用的椭圆球面波函数非正交调制方法

围绕如何降低基于椭圆球面波函数的非正交调制（PSWF-NPSM）系统误码率，降低信号检测复杂度，引入调制信号功率复用思想，提出基于功率复用的椭圆球面波函数非正交调制（PD-PSWF-NPSM）方法。该方法对载波信号按子波带进行功率分配，增加了调制信号最小欧式距离，降低了系统误码率；在接收端，提出基于检测统计量的串行干扰相消信号检测方法，依据不同支路信号间功率差异，对信号进行分离、检测。理论与仿真分析表明，该方法在不降低系统频带利用率、调制信号功率谱、峰均功率比特性前提下，能够有效提高系统误码性能，降低调制信号检测复杂度；与原非正交调制方法相比，当误比特率（BER）为10^-5时，所提方法系统误码性能提升约1.7 dB。     

基于集成芯片的同步整流开关电源模块

介绍了DPA—Switch芯片的外部引脚、内部电路及功能模块；讲解了同步整流电路的基本工作原理。根据DPA—Switch的特性给出了同步整流开关电源的设计方法和具体的设计电路，并对外围电路的设计进行了分析，最后给出了测试结果及设计注意事项。     

二维欧拉方程高分辨正性保持差分格式

针对二维欧拉方程研究了一类高分辨正性保持波尔兹曼型差分格式,首先分析了波尔兹曼方程和欧拉方程之间的关系;然后,利用一种特殊的插值技术构造了一类高分辨波尔兹曼型差分格式.最后通过数值实验验证了格式的实用性和有效性.     

用输入数据符号加权减小MSK信号的带外功率

由于最小频移键控信号具有较为理想的功率谱特性，近年来已得到广泛关注，但在某些场拾它的带外能量泄漏不能满足实际需要。在此情况下可以对输入数据符号进行加权处理，从而得到一类ＭＳＫ信号这类ＭＳＫ信号仍为等幅波，相位仍保持连续。本文给出了这类信号功率谱的计算公式以及加权函数和功率谱的关系，并给出实例。     

高功率热电池用二硫化钴制备及性能测试

对高温硫化法制备的CoS2的组成、形貌和热稳定性进行了表征，并对其作为正极材料在高功率热电池中的应用进行了测试与研究。热稳定性测试结果表明：CoS2有较高的热稳定性，在温度700℃下保持1h仅分解15．6％；高功率热电池应用研究中发现，电池的稳态比功率可达1690W／kg，脉冲比功率高于4700W／kg。