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

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

价值敏感设计方法探析

价值敏感设计是一种基于人类价值原则与行为方式的技术设计方法。就其实践场域而言,价值敏感设计从计算机系统设计扩展至信息技术及其衍生领域,最终将应用于"会聚技术"的设计研发中。作为一种设计方法,价值敏感设计拥有前摄、互动、迭代和关涉利益相关者等显著特质。鉴于价值敏感设计以新兴技术为践行对象,其理论体系的建构是在技术设计案例中完成的。     

基于多文种科技期刊业务集成平台建设的刍议

通过采用跨媒体信息传播和处理技术,解决新疆在多文种采编系统、排版软件中存在信息化不对称的问题,开发多文种采编系统和排版软件、信息资源库等,形成多文种科技期刊业务集成平台。实现多文种信息资源共享和期刊生产的规范化、网络化、无纸化,达到规范工作流程,提高工作效率,节约成本、提升生产管理水平的目标。     

带有缓冲库的串联CIMS渐近稳定性分析

讨论了一个可靠机器,一个不可靠机器和一个缓冲库构成的计算机集成系统(CIMS),利用由该系统所决定的算子A+E生成的Banach空间中的正压缩C0半群,证明了此系统的非负稳定解恰是算子A+E的0本征值所对应的规范化后的本征向量;同时通过对算子A+E的谱点分布的分析,证明了算子A+E的谱点均位于左半平面且在虚轴上除0点外无谱,作为线性算子半群稳定性的一个直接结果,得出了该系统解的渐近稳定性.     

论测试与评价在CMM和CMMI中的作用

测试与评价在CMM和CMMI中有着不同的作用，这两种作用反映了两种不同模型对测试与评价技术在软件管理工程中作用的不同认识，体现了CMMI对测试与评价支持优于CMM，论证了CMMI是一个更适应于时代发展的模型。     

人-机结合的智能科学和智能工程

20世纪80年代以来，与人工智能(AI)密切相关的有两件大事，即日本的第五代计算机计划和中国的(“八六三”-306)智能计算机计划。两个计划实施后，使人们对智能自动化问题的认识有很大转变与提高。钱学森先生对此指出了人机结合的重要性，并认为应该研究人机结合的智能系统。笔者于1994年提出“智能科学和智能工程”这一学科领域的设想，到今天，有关人-机结合的智能系统研究已经有了相当的进展。     

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

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

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

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

并行工程产品开发过程的建模方法学

在并行工程中，为了实现产品开发过程的集成、并行和最优化，首先要建立能够充分反映产品开发过程各方面信息的产品开发过程模型。通过对模型的仿真分析和优化，指导产品开发过程的实施。本文首先提出了并行工程产品开发过程模型是集成多视图模型，随后提出了采用集成多视图建模理论的并行工程产品开发过程建模、分析和管理的方法学框架     

高端计算软件平台的研发

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