高性能SAR成像程序的并行粒度选择技术

高性能并行仿真程序必须采用针对性的并行优化技术以获得高效的性能加速。而根据程序特性,确定适合的并行粒度是设计并行优化技术的基础。因此,以典型合成孔径雷达(SAR)成像程序--距离-多普勒(RD)程序为代表,研究了高性能SAR成像程序的并行粒度选择技术,重点针对并行粒度的基本准则和RD算法的并行粒度选择方法进行了研究。实验结果证明,经过并行粒度优化选择的SAR成像程序能够获得显著的性能提升,并且具有良好的可扩展性。     

三聚氰胺装置中液位计的选用

通过对V-3131助滤剂槽上使用的吹气式液位计LT-36113的测量原理及使用情况分析,证明吹气式液位计在使用中的缺陷,从而说明使用雷达液位计的必要性,并表明雷达液位计将被广泛应用。     

A Generalization of a Lower Bound Technique due to Fredman and Saks

{In a seminal paper of 1989, Fredman and Saks proved lower bounds for some important data-structure problems in the cell probe model. In particular, lower bounds were established on worst-case and amortized operation cost for the union-find problem and the prefix sum problem. The goal of this paper is to turn their proof technique into a general tool that can be applied to different problems and computational models. To this end we define two quantities: Output Variability depends only on the model of computation. It indicates how much variation can be found in the results of a program with certain resource bounds. This measures in some sense the power of a model. Problem Variability characterizes in a similar sense the difficulty of the problem. } Our Main Theorem shows that by comparing a model's output variability to a problem's problem variability, lower bounds on the complexity of solving the problem on the given model may be inferred. The theorem thus shows how to separate the analysis of the model of computation from that of the problem when proving lower bounds. We show how the results of Fredman and Saks fit our framework by computing the output variability of the cell probe model and the problem variability for problems considered in their paper. This allows us to reprove their lower bound results, and slightly extend them. The main purpose of this paper though is to present the generalized technique. Received January 25, 1999; revised July 30, 1999.     

Overcoming challenges in the study of nitrided microalloyed steels using atom probe

Nitrided steels are widely used in the engineering field due to their superior hardness and other attractive properties. Atom probe tomography (APT) was employed to study two Nb-microalloyed CASTRIP steels with different N contents. A major challenge of using APT to study this group of materials is the presence of tails after Fe peaks in the mass spectra, which overestimates the composition for alloying elements such as Nb and Cu in the steels. One important factor that contributes to the tails is believed to be delayed field evaporation from Fe²⁺. This artefact of the mass spectrum was observed to be the most severe when voltage pulsing was used. The application of laser pulses with energy ranging from 0.2 to 1.2 nJ successfully reduced the tails and lead to better compositional measurement accuracy. Spatial resolution in the z-direction (along the tip direction) was observed to be less affected by changing laser energy but deteriorates in x-y direction with increasing laser energy. This investigation suggests that pulsed-laser atom probe with ∼0.4 nJ laser energy can be used to study this group of materials with improved mass resolution while still maintaining high spatial resolution.     

地质雷达在水电站坝基工程中的应用研究

岩溶地区水电站工程建设中对坝基岩体完整程度要求较高,为了探明坝基岩体中是否存在溶洞、溶隙和破碎带等不良地质体,应用地质雷达较准确地判断出了坝基下不良地质体的走向和规模,取得了良好的效果,为处理岩溶地质问题和工程安全施工提供了依据.     

禹门口东扩输水主管线2号检修阀与木赞灌区分水口段PCCP管道静水压试验方案探讨

静水压试验是管道工程检验的一道重要关口,为了检查禹门口东扩工程输水主管线预应力钢筒混凝土管道的工程质量,拟定了其管道静水压试验方案。该工程的预应力钢筒混凝土管道直径为2 000 mm,试验管段长度为958.397 m,试验管段位于2号检修阀至木赞灌区分水口间。文中详细论述了试验的原则,试验的技术要求,试验段选择的技术依据,试验的准备工作和具体操作步骤。     

探地雷达在水利工程安全检测中的应用

以陕西神木采兔沟水库工程为实例,对探地雷达的工作原理及实际应用进行了介绍。结合采兔沟泄洪洞洞身的质量检测对具体的测线布置、探测方法及参数选择进行了阐述,在探测中,针对泄洪洞具体形状,在不同部位共布置了17条测线,经对检测结果分析,发现导流泄洪洞底板下方虽存在疏松区域,但不存在空洞,其他部位亦无大的缺陷,不影响安全运行。     

个案工作在社区矫正中的介入

社区矫正是有别于监狱矫正的非监禁性刑罚执行活动,其需要借助专业的方法和技巧来实现服务的最终目标。个案社会工作是社区矫正工作中最常用和最有效的方法。对个案工作介入社区矫正的工作程序、原则运用和实施技巧进行探讨,以期充分发挥其作用和效能。     

对陕南水电开发补偿机制的探讨

在分析陕南水电的发展条件、资源和技术以及现有补偿机制弊端的基础上,从移民管理体制、移民补偿标准和安置方式、环境补偿等方面,对陕南水电开发的新型移民补偿机制和环境补偿机制进行探讨。     

非接触式物料水分传感器

为实现固体物料水分含量的在线监测,设计了基于频域反射原理的非接触式物料水分传感器。该传感器基于固体状物料含水量与介电常数的关系,利用电容式探头对介电常数的测量能力,通过水分变化关系实验建立了容积含水量与介电常数的数学模型,并完成了传感器的结构设计和电路设计。实验结果表明:该传感器实现了对固体颗粒状物料水分的准确测量,满足物料水分测量的实际需求。