SAR图像并行拼接方法研究与实现* 〖HT4K〗——基于改进完全二叉树模型

随着SAR成像技术的快速发展，SAR图像覆盖的地域范围与成像精度也在迅速增长，这对SAR图像拼接工作的实时性提出了挑战;文章对SAR图像序列特征进行深入分析，提出了采用基于分割的完全二叉树模型进行SAR图像的并行拼接，并使用MPI点对点通信方式对之进行了不同数量机群规模下的实现；对比实验证明，基于该方法的并行拼接工作比传统并行拼接方法在降低拼接时耗上更加有效，且并行拼接后的完整图像效果良好.     

金属间化合物(Mg,Zn)_(12)Ce与(Mg,Zn)_(11)Ce的研究

对300℃时Mg-Zn-Ce系富镁侧化合物的成分特征、结构和相平衡关系进行了研究.结果表明,Mg-Zn-Ce富镁角存在一个Mg12Ce的二元置换固溶体(Mg,Zn)12Ce,还存在一个三元线性化合物(Mg,Zn)11Ce(τ相).(Mg,Zn)12Ce中Zn的范围为0~7.3%(原子分数),其晶体结构为体心四方晶格.三元线性化合物τ相含Zn为8.5%~43.5%(原子分数),其晶体结构为C底心正交晶格.(Mg,Zn)12Ce和τ相均与α(Mg)存在稳定的两相平衡,且在Mg-Zn-Ce系富镁角还存在三相平衡Mg+(Mg,Zn)12Ce+τ.     

复合氧化物晶体晶格能的近似计算

本文以 Born-Harb 循环为依据,推导了复合晶体晶格能和与其相应的各二元化合物晶体晶格能之间的关系,并由此给出了复合氧化物晶体晶格能近似计算的新公式。对20种复合氧化物晶体晶格能计算结果的分析表明:用本文所给公式对复合氧化物晶体晶格能进行近似计算是可行的。     

一个快速的二进制多重精度gcd算法

求两个整数的最大公因子（gcd)的经典的Euclid算法时间复杂度为O（ln^3n)，不适宜于多重精度运算。论文证明了gcd的相关性质，提出了一个基于二进制的、适用于多重精度运算的改进算法，其时间复杂度为O（ln^2n)。     

论国家对农民工群体的政策缺失

伴随着国家城市化和工业化进程的加快，农民工成为一个越来越受人们关注的群体。在我国以户籍制为基础的城乡二元结构下，农民工有着非常复杂的身份，他们生活、工作并居住在城市，但是他们的户籍在农村。在我国，社会福利保障制度是以户籍制为基础划分的，这样特殊的背景导致了农民工群体在很多方面被排除在社会福利保障制度之外。目前，我国正在积极构建社会主义和谐社会，在这个大背景的感召下，农民工群体作为和谐社会的一个特殊群体，对他们的社会政策有待进一步完善。本文分析了农民工群体在医疗保险、用工制度、子女教育等方面的政策缺失，并提出了相应的政策建议。     

建筑物室外环视中加速绘制算法

提出一种用于建筑物环视系统混合绘制的加速方法,场景划分为主体模型和层次环境的带有深度的图像缓存(sprite with depth),采用BSP树存储场景的具有深度的图像缓存,用模型对存储场景的BSP树应用三维裁剪算法来减少不必要的绘制,并在环视过程中采用生成替代图像缓存方法,加速环视场景的生成.     

基于OBDD时序电路设计的验证

依据有序二叉判定图（OBDD）和计算树逻辑（或称分支时态逻辑）CTL（Computational Tree Logic)的基本原理，分析了基于OBDD和CTL的验证数据电路设计的基本原理，并在此基础上，给出了时序电路等价验证的方法。     

飞机主动式余度作动舵面铰链力矩飞行测量方法

现代飞机舵面大多采用主动式余度作动系统。这种系统固有的力纷争现象,导致传统的基于原位载荷校准试验的飞机结构载荷测量方法,不再适用于现代飞机操纵舵面铰链力矩飞行测量。提出了一种基于离位载荷校准试验和原位载荷验证试验的飞机舵面铰链力矩测量方法,建立了相应的载荷测量模型,分析确定了铰链力矩测量精准度的影响因素,给出了可能引起的系统误差的验证和修正方法,形成了主动式余度作动舵面铰链力矩飞行测量流程。通过多型飞机舵面铰链力矩测量试飞,验证了该方法的可行性和有效性;提高了飞机舵面铰链力矩测量的精准度,为飞机舵面设计载荷验证与优化提供了可靠的实测载荷;得到了飞机舵面各作动机构的载荷分配,实现了飞机舵面作动系统力纷争的飞行监测,确保了飞行安全。     

潜在表示学习框架下的低冗余多视图聚类算法

基于潜在空间学习的多视图聚类研究得到了较大发展,但其通常忽略了原始数据中冗余信息的存在可能会带来不理想的聚类结果。为解决这个问题,提出一种潜在表示学习框架下的低冗余多视图聚类算法。基于k-means的方法,直接从各视图数据学习其低维表示,由于该低维表示的各个特征相互正交,学习到的低维表示通常含有较少的冗余信息。基于潜在空间的假设,各视图的低维表示可由同一个潜在表示投影得到。将两者结合,就能得到一个具有低冗余信息的统一的潜在表示。设计了一个优化算法来求解目标问题,在多个公开数据集上的实验表明了该算法的有效性。