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

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

含PM-映射的变分不等式

文章在自反Banach空间中，利用锐角原理讨论了含PM-映射的变分不等式解的存在性问题。     

具有可变时间的并行排序问题

设有p台处理机要加工n项任务，当每项任务t在时刻i和处理机j上被开始执行时，都有一个不可间断的加工时间l(t，i，j)∈{k1，k2}，我们的目标是要找一个可行方案σ，使得总的完工时间最短．该问题是NP-完备的，本文给出该问题的一个近似算法。     

求解多项式重零点的并行迭代方法

建立了一种至少4阶收敛的求解多项式重零点的并行迭代方法，分析并证明了相应的收敛性定理。     

高端计算软件平台的研发

高端计算软件平台是整机系统实现友善性、可用性和高效性的基本保障。随着计算处理规模愈来愈大，以及Peertopeer和Grid这类新型计算模式的出现，平台软件的设计面临新的挑战。首先，对高端计算软件平台发展状况以及面临的设计难题进行论述和分析；然后，介绍一个高端计算平台软件系统设计情况，并进行讨论。     

Banach空间中优化问题的最优性条件

首先在Contingent切锥意义下界定了Banach空间中非空集合的伪切锥和伪凸性的概念，并讨论了相应的性质，然后针对可微优化问题，在广义凸性假设下，建立了最优性条件。     

基于CPLD的PC／104总线接口实现

采用CPLD芯片实现了单片机与PC／104总线接口的并行通信，保证了响应的实时性。     

基于域分解法的大规模有限元数值计算

描述了在微机并行计算机群上用域分解法对大规模工程问题进行有限元并行分析的方法．为了节省内存和计算时间，开发的系统使用了动态载荷配平和等级分布式数据管理技术．本系统对120万自由度以上的切口拉伸模型顺利地应用并进行了有效的静态弹性应力分析．     

德摩根一致代数的度量化

我们给出了德摩根一致代数可伪度量化的一个充分必要条件。     

E-n-伪矩形性拟正则半群

本文是在[1]的基础上,将半群s的幂等元集E(S)由埋想推广为n-伪理想,然后来给出S的结构。本文未用到格林关系,因而证明有别于[1],而且[1]是我们的特例。