Intersection of finitely generated congruences over term algebra

We show that it is decidable for any given ground term rewrite systems R and S if there is a ground term rewrite system U such that ↔_U^*=↔_R^*∩↔_S^*. If the answer is yes, then we can effectively construct such a ground term rewrite system U. In other words, for any given finitely generated congruences ρ and τ over the term algebra, it is decidable if ρ∩τ is a finitely generated congruence. If the answer is yes, then we can effectively construct a ground term rewrite system U such that ↔_U^*=ρ∩τ.     

雷达图像像素矩阵的提取与应用仿真

该文提出采用图像像素矩阵提取的方法，对雷达图像进行特定的处理，该处理方式精确、直接，对原图像影响较小。具有良好的实验效果。同时提出了根据雷达像素矩阵进，行目标识别的思想。     

考虑多层土壤时架空线的瞬态分析

基于麦克斯韦方程组，推导出土壤水平分层时电磁波在土壤中透射深度的计算公式，按照复深度法可进一步得到土壤阻抗的领域形式。为了便于时域卷积，采用矢量匹配法并结合拉普拉斯反变换将该土壤阻抗的时域形式展开为有限项指数函数之和，并验证了方法的正确性。最后，采用时域有限差分法(FDID)对架空线的瞬态波过程进行仿真计算，结果表明：土壤阻抗对自阻抗影响较小，对互阻抗影响较大。通过与电磁暂态计算软件(EMTP)的计算结果比较，验证了所提出的FDTD算法的有效性，同时也表明了计入土壤损耗及考虑分层土壤的必要性。     

我国90年代陆基遥感定位测试研究的初步分析

从光学遥感、微波遥感、大气遥感等方面对我国90年代陆基遥感测试研究工作进行回顾。研究工作表明,陆基遥感测试研究对空基遥感信息的分析和应用是不可缺少的基础性工作,对提高遥感信息应用的定量化水平有着重要作用。分析中也得出陆基遥感测试研究存在的问题,主要表现在陆基遥感测试的频度和稳定程度较低,需要在时间和空间维上加强陆基遥感测试工作,为空基遥感信息的定量分析提供有效的地面数据支持。     

特高压环境下OPGW耐雷性能分析

我国目前正在开展的特高压电网,由于线路参数发生变化,对OPGW的耐雷性能将提出更高的要求,在实践工程中应重点考虑。文章首先简要介绍了特高压电网的基本概念,分析了在特高压环境下OPGW在雷击性能方面与超高压环境的主要区别,并通过一些计算比较得出在特高压环境下由于引雷概率增大,则相应地提高OPGW耐雷能力的结论。     

OPGW允许的最高温度

当电力系统发生短路故障时,流过OPGW的短路电流会使OPGW发热升温。当温度超过200℃时,不但会影响OPGW的性能(光纤的着色层变硬、退色,能量损耗增大),而且易造成OPGW发生鸟笼现象、断股现象。短路电流容量是衡量OPGW温度特征的尺码,文章介绍了有关标准,对各种典型结构的OPGW进行了短路电流容量和温升关系的分析,从而说明设计和选用OPGW时,遵循OPGW标准规定的重要意义。     

Multitemporal SAR images for monitoring cultivation systems using case-based reasoning

This paper demonstrates that multitemporal satellite SAR images are most suitable for monitoring the rapid changes of cultivation systems in a subtropical region. A new method is proposed by applying case-based reasoning (CBR) techniques to the classification of SAR images. Stratified sampling is carried out to collect the cases so that the variations of backscatters within a class can be appropriately captured. The use of discrete cases can conveniently represent the internal changes of a class under complicated situations, such as spatial changes in soil conditions and terrain features. These spatial variations are difficult to represent by using rules or mathematical equations. The proposed method has better classification performance than supervised classification methods in the study area. The case library is reusable for time-independent classification when the SAR images are acquired at the same time of the crop growth cycles for different years. The proposed method has been tested in the Pearl River Delta in South China.     

OPGW的热稳定性分析

OPGW(Composite Fiber Optic Overhead Ground Wire)又称为光纤架空复合地线，它是利用高压输电线路的一根地线(避雷线)复合组成OPGW来传输光信息。文中阐述了短路电流引起OPGW温升的机理，讨论了OPGW在发生接地故障时的温升和短路电流计算方法，建立了一种完整的计算方法。对OPGW的热稳定性进行了探讨，提出了降低OPGW中的短路电流与热容量的几种措施。     

Describing Near Surface, Transient Flow Processes in Unconfined Aquifers below Irrigated Lands: Model Application in the Western San Joaquin Valley, California

In order to rigorously examine near surface, field to field interactions between irrigation management regimes and a shallow fluctuating water table, an enhanced deforming finite element (DFE) model was recently developed. The enhanced DFE model, through a process of iteration within each time step, avoids making common assumptions regarding the changing geometry of an aquifer free surface. This paper demonstrates the usefulness and effectiveness of the model by employing it to an irrigated region in the western San Joaquin Valley, Calif., where shallow subsurface tile drains have been installed to control shallow water tables. By virtue of the problems created by the need to dispose off the drainage water, this region has been the focus of several important regional scale modeling exercises, which have evaluated the utility of management strategies, such as source control, groundwater pumping, and land retirement. By refining the focus of the analysis, the enhanced DFE model is found to be able to show that both sources control and managed pumping could be more effective drainage control strategies than predicted based on the results of regional models.     

Experimental Study of Seismic Behaviors of As-Built and Carbon Fiber Reinforced Plastics Repaired Reinforced Concrete Bridge Columns

In order to reliably obtain seismic responses of as-built and repaired reinforced concrete bridge columns under near-fault ground motions, pseudodynamic testing of two bridge columns with a reduced scale of 2/5 was performed. Pseudodynamic test results reveal that a ductile member may have no chance to entirely develop its ductile behavior to dissipate seismic energy, because it may suddenly be destroyed by a significant pulse-like wave. The seismic performance of the two damaged bridge columns can be recovered after repair with carbon fiber reinforced plastics composite sheets. It is also experimentally confirmed that the flexural failure moment obtained from the pseudodynamic test is in good agreement with the plastic moment predicted by the ACI 318 code. As pseudodynamic test results are believed to be more accurate than numerical solutions, they can be considered as reference solutions in developing a finite-element model. An identical specimen was tested under cyclic loading to estimate basic properties of these columns, such as shear strength, flexural strength, and ductility, so that the seismic responses obtained from pseudodynamic tests can be thoroughly discussed. Furthermore, its hysteretic response may also be used to match a mathematical model to simulate the very complicated load-displacement relation for analysis.