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的验证数据电路设计的基本原理，并在此基础上，给出了时序电路等价验证的方法。