MPI环境下的几何定理并行自动推理

将几何定理机器证明和并行计算结合起来考虑,尝试用并行计算方法来提高传统定理证明算法效率,探讨了前推法、数值并行法的并行算法,分析了两种定理证明算法在消息传递编程模型下的任务划分、通信组织、任务调度等问题,并用MPICH2实现了这两种并行算法,对算法的并行性能指标进行了测试,测试数据表明,两种并行算法在基于MPI-2的并行计算环境下,能很好地发挥并行计算的优势,有效缩短构造性几何命题机器证明的时间。     

椭圆型偏微分方程第一边值问题的一个异步并行算法

本文基于ＭＩＭＤ（多数据流多指令流）计算机上的异步并行数值方法，对具有第一边值条件的二阶椭圆型偏微分方程建立了一个异步并行算法，并给出了该算法收敛的一个充分条件．     

一种合成孔径雷达成像处理的并行算法

提出了一种实现合成孔径雷达（ＳＡＲ）成像处理的并行算法。该并行算法能有效地实现ＳＡＲ成像处理的方位压缩和距离压缩的并行处理,因而使ＳＡＲ的成像处理速度得到较大的提高。理论分析和计算机网络的测试结果表明,该并行算法的并行度和效率都较高。     

数据集读写问题的同步与互斥

本文讨论了计算机并发系统中若干个读写进程对一个数据集并行地进行读写操作时的同步与互斥问题,并以P、V操作为工具给出了解决第一类和第二类读写问题的并行算法。     

基于TMS320C40的FFT算法改进及应用

讨论了充分利用C4 0的硬件并行结构进行实数FFT的并行算法 ,并在地震勘探信号处理中得以应用     

网络通信延迟对并行效率的影响

介绍了并行计算模型LogP,定量分析了LogP模型在轻载条件下,处理网络延迟、接口开销、本地TCP协议和传输消息所需的时间。结果表明比处理机数据传输花费的CPU时间大,网络通信延迟对并行效率的影响比处理机大;提出了在网络并行环境中,在考虑减少通信延迟,提高并行效率方面,选择高速率的网络通信设备比选择高速率的处理机更好。     

并行算法及其在电子系统中的应用

并行算法中所设计的DSP并行算法正确，性能优越，并行效率达到30%以上，最高达到85%。 在并行算法的应用中，成功地解决了在电磁散射中单机无法完成的大型计算问题，为电子尺寸目标电磁、特性的精确求解提供了一条应用并行计算技术解决方案。具有很大的工程实用意义。并对阵列、信号参数联合估计的并列求解作了试探性的工作，取得了较好的效果。 在算法设计过程中，创造性地提出了有关动、静结合的两阶段负载平衡策略，动、静结合的调波算法等，成功地使多种算法得到实现和应用。 该课题在DSP并行化方面进行了较系统的研究，同时在应用中…     

基于消息传递的并行计算环境

1 .引言由于高速信息网络的低通信延迟与高带宽性能 ,用网络并行环境实现超级计算是近年来的一个重要研究方向。网络并行 ,就是通过高速信息网络 ,充分利用网上的计算机资源 ,实现大型问题的并行计算。目前通用的网络并行计算环境可以分为两种 :一种为基于消息传递的计算环境 ,一种为基于共享内存的计算环境。基于消息传递的并行计算环境主要有 :Express,Linda ,P4 ,PVM ,Zipcode以及MPI等几种。它们之间的信息交换主要通过数据包的发送和接收。当并行任务中的一个成员进程要告诉另一个进程某些信息时 ,它便将这些信息打包发送给对方 ,…     

项目驱动、赛练结合理念下“计算机网络与通信技术”课程的教学改革

介绍了"计算机网络与通信技术"课程的特点,分析了该课程传统教学过程中存在的一些问题,阐述了在项目驱动、赛练结合理念指导下"计算机网络与通信技术"课程的教学改革整体设计思路,对课程教学内容、教学方法和教学手段方面进行了改革尝试,并把这些改革成果应用于教学实践。     

二维到达角和极化参数的并行化设计

针对无线电波的信号频率、二维到达角和极化参数联合估计算法的运算量大、计算时间长,且不能满足实时性要求的问题,提出了对该算法进行并行化设计的解决方法。通过对联合估计算法的数学模型和串行算法的分析,设计并实现了通用并行算法。经在4台同构处理器上进行测试,表明该并行算法能有效减少计算时间,使加速比达到2倍以上。     

自由电子激光电磁驻波Wiggler场的研究

对回旋管泵电磁驻波Ｗｉｇｇｌｅｒ场作了描述，运用短波长的电磁波作为Ｗｉｇｇｌｅｒ场可大大地减少对电子束能量的需求。同时，采用ＰＩＣ模拟方法对回旋管泵电磁驻波Ｗｉｇｇｌｅｒ场进行了模拟计算。回旋管运行在短波作用区域，工作在ＴＥ＿１３模式，其工作频率为１３０．３４ＧＨｚ、Ｑ值是５７８５６，并获得了周期和幅值均匀的Ｗｉｇｇｌｅｒ场分布。     

对称连杆曲线的FFT应用研究

本文对机构学中对称连杆曲线的ＦＦＴ分析和综合方法进行了研究。通过合理地选择坐标轴，使对称连杆曲线的离散数据满足共轭对称性，推导出共轭地称序列的快速付里叶变换ＦＦＴ具有相位为零的特性，建立了单纯由幅度谱值构成的对称连杆曲线的特征参数，对给定需实现的对称运动轨迹，运用最小二乘法进行曲线特征参数的比较，实现连杆曲线及相应机构的综合，提高了效率和精度。     

增量调制DFT的硬件实现

作者在文献[1,2]中提出过一种基于 DM(LDM 和 ADM)序列的 DFT 实现方法,与常规的 PCM 处理方法相比较,它不需要使用模数变换器和乘法器,从而简化了硬件设备量,降低了成本,而其信噪比与 PCM 处理结果相一致。本文在笔者以前研究的模拟分析基础上用硬件实现基于 DM的 DFT 实时处理。文中采用 ROM 来存贮各个系数值。本法具有速度快、硬件结构简单的特点,但由于ROM 存取速度的限制,目前还只能用于对语音、地震等信号的处理。     

涂覆型圆柱的散射矩阵及极化分析

利用物理光学法及平面板块元法，对涂覆型圆柱的顶面和侧面的散射矩阵进行了推导和计算；利用一致性几何绕射理论分析了曲棱的一阶绕射场的散射矩阵；指出文献中的错误，然后通过散射矩阵分析目标散射场的极化特性参数和最优极化，给出了具体算例。     

三阶色散效应对色散控制孤子传输的影响

采用分步快速傅里叶数值计算方法研究三阶色散对高速色散控制孤子传输特性的影响,通过对比不同系统条件下数值模拟的传输演化图,表明色散控制孤子系统比普通孤子系统的传输性能更优越,且对色散控制孤子系统设计具有参考价值。     

频率捷变PD雷达高度计实时信号处理系统

频率捷变ＰＤ雷达高度计比调频雷达高度计和常规脉冲雷达高度计有更好的性能，因而在航空方面具有广泛的应用前景。提出了这种雷达高度计的一种实时信号处理系统。该系统具有较高的处理速度、测高精度和速度分辨率。用软件和硬件实现了该系统。实验结果表明，该系统方案设计合理，满足了ＰＤ雷达高度计对信号处理的高性能要求。     

实正弦信号的快速相位差分频率估计方法

基于最小均方误差相位差分频率估计原理,提出了能够直接处理实正弦信号的相位差分频率估计算法。新的修改算法利用零交越或FFT变换,能快速有效地在时域或频域上得到实正弦信号的相位信息,改善了频率估计的SNR阈值,且便于工程实现。     

复变函数与积分变换课程教学内容改革探索

主要介绍了《复变函数与积分变换》课程教学改革,讨论内容有:转变思想观念,进行课程教学改革;抓好课堂教学,调整好教材内容,培养学生的兴趣;重理论也重应用.提高学生学习的主动性.     

快速傅立叶变换在数字信号处理器上的实现研究

结合数字信号处理器的性能特点,对基2、基4、分裂基和Bruun FFT等快速傅立叶变换算法及其在TMS320C30上的实现进行了研究,开发出高效的FFT算法和程序。     

区域分解法结合FFT分析TEM传输线

将区域分解法（ＤＤＭ）应用于电磁场问题分析，计算了准ＴＥＭ传输线的特性阻抗，并通过数值试验研究了区域分解法的收敛性及计算效率。利用区域分解法的优越性，在划分的几个规则子区域上引入ＦＦＴ快速算法，分析了矩形同轴线的特性阻抗。数值结果表明，区域分解法降低了计算复杂性、减小了计算规模，且提高了计算效率。