一种基于DAG图的异构可重构任务划分方法

为了实现高性能低功耗的计算,以任务划分为研究对象,提出了异构可重构计算的基本概念和形式化描述方法,给出了基于异构计算任务和异构可重构体系结构相结合的异构可重构两种任务划分方法:节点内部可重组及网络可重建的任务划分及算法,最后验证了其任务划分方法的有效性.     

纵横向荷载作用下PHC管桩的有限元分析

为研究纵横向荷载作用下PHC管桩的承载性能,通过经试验验证的有限元模型,考虑了地应力和桩土接触的影响,通过变换土体的参数、桩头自由长度、桩端土特性等影响管桩承载力的因素,对竖向和水平荷载共同作用下管桩的受力特性进行了分析.竖向荷载的作用能提高管桩的水平承载能力.同时,还分析了水平荷载对管桩竖向沉降的影响.在竖向荷载较小...     

分形导体粗糙表面的后向增强效应分析

针对粗糙表面散射实验中的后向散射增强现象,采用锥形波束入射的矩量法定量计算了分形粗糙表面的后向散射增强效应,研究了波形参数和表面尺寸的匹配问题,分析了不同入射角下散射增强的角宽度,比较了不同分维数和表面模型下散射增强的幅值。数值计算结果证明了该算法的有效性。     

北太平洋副热带环流的经向输送与Sverdrup输送关系研究

基于再分析资料, 比较了应用流速资料直接计算的和基于Sverdrup关系应用风应力资料估算的北太平洋副热带环流的经向体积输送的差异. 结果表明在海洋内区气候平均状态下, Sverdrup输运与实际的北太平洋副热带环流的经向体积输送相差甚小. 对于北太平洋副热带环流的经向体积输送的10 年际变化特征, 由于海洋环流对风应力变化的响应只有当第一模态斜压Rossby波到达西边界后才能完成, 所以当应用该延迟时间修正了Sverdrup输运函数后, 修正后的Sverdrup输运与实际的经向输送的十年际变化趋势就有了很好的相关性, 特别是在西边界附近. 结果表明Sverdrup平衡不仅在气候平均意义下是副热带内区环流很好的近似, 而且当考虑了第一斜压模态Rossby波的传播时间后, Sverdrup平衡也可以很好地估计海洋环流随时间变化的特征.     

南半球对流层上层纬向风与东亚夏季风环流

研究了南半球对流层上层纬向风和东亚夏季风在年际变化尺度上的关系, 用150百帕60°S和30°S之间的纬向平均的纬向风差值(ISH)可以很好地代表南半球纬向风的年际变化. 结果发现: ISH和东亚夏季风环流在年际变化尺度上有非常显著的负相关关系. 研究揭示: 从南半球到热带区域的纬向风的径向遥相关型(主体在东半球)可能是这种关系的主要内在原因. 通过这种遥相关型使得风场和气压场发生改变从而影响东亚夏季风环流; 另外, 与ISH相关连的欧亚大陆区的异常遥相关波列也是一个重要的机制. 而且ISH和东亚夏季风环流的关系有同时性, 也有非同时性. 因此这种关系的存在一定意义上也具有预测价值.     

构造相应于有限维非退化李代数的顶点算子代数

在相应于非退化李代数g的顶点代数的结构基础上构造顶点算子代数.为此,首先给出了非退化李代数g的Casimir算子Ω的定义,和在伴随表示下Ω作用在g上及相关性质;应用Ω定义出g的顶点代数V■(l,0)中元素,证明了V■(l,0)关于w构成一个顶点算子代数.     

全数字突发模式8PSK系统的时钟和载波同步

突发模式传送系统中前导字作为系统开销降低了数据传送效率,提出一种全数字无前导字突发模式8PSK接收机方案,接收机的时钟和载波恢复均采用前向同步技术,并对载波频偏恢复算法进行了详细推导,并通过仿真验证了算法的可行性和有效性。     

轨迹聚类分析法研究青藏高原上空的大气输送

青藏高原海拔高、地形复杂,生态脆弱且对气候变化等敏感.由于远离工业化地区,大气环境十分清洁,但其恶劣的环境限制了科学研究的深入进行.本文利用HYSPLIT4轨迹模式及NCEP全球同化气象数据计算2001全年青藏高原6个不同地点上空的气团后向轨迹,结合聚类统计技术对轨迹特征进行分析.通过与高原气候特征及其季节变化特点进行...     

基于小波域中SOT结构的SAR相干斑抑制

论述了在小波域中通过空间向树结构对合成孔径雷达(SAR)图像相干斑噪声的抑制。首先从SAR图像相干斑噪声产生的机理出发,论述了采用传统滤波方法去除SAR图像中相干斑噪声的局限性以及在小波变换域中如何通过空间向树结构对相干斑噪声进行有效的滤波;实验结果表明,此方法对SAR图像相干斑噪声有良好的抑制作用,同时还尽可能多保留目标的纹理细节。     

基于事前分析方法的工作流过程模型的验证

工作流执行过程中经常会出现非正常终止的情况,对此,将事前分析方法应用于工作流过程模型的验证中,即在工作流过程实例化前进行模型的有效性分析和结构正确性验证。该方法对传统的有向网络图进行扩展并以此来描述工作流过程,确定模型的有效性;进一步将扩展有向网络图转换成工作流网模型,应用Petri网技术分析该模型的冲突结构,以确保工作流过程的逻辑合理性。