Satellite SAR Remote Sensing of Great Lakes Ice Cover,Part 2. Ice Classification and Mapping

During the 1997 winter season, shipborne polarimetric backscatter measurements of Great Lakes (freshwater) ice types using the Jet Propulsion Laboratory C-band scatterometer, together with surface-based ice physical characterization measurements and environmental parameters, were acquired concurrently with Earth Resource Satellite 2 (ERS-2) and RADARSAT Synthetic Aperture Radar (SAR) data. This polarimetric data set, composed of over 20 variations of different ice types measured at incident angles from 0° to 60° for all polarizations, was processed to radar cross-section to establish a library of signatures (look-up table) for different ice types. The library is used in the computer classification of calibrated satellite SAR data. Computer analysis of ERS-2 and RADARSAT ScanSAR images of Great Lakes ice cover using a supervised classification technique indicates that different ice types in the ice cover can be identified and mapped, and that wind speed and direction can have an influence on the classification of water as ice based on single frequency, single polarization data. Once satellite SAR data are classified into ice types, the ice map provides important and necessary input for environmental protection and management, ice control and ice breaking operations, and ice forecasting and modeling efforts.     

新闻直播系统中字幕机备份及应急处理实例

简单介绍新闻直播系统中字幕机的接入方法、备份机制、数据共享以及应急处理方案。     

计算机自动绘制光学零件图的软件系统的研制

介绍了计算机光学零件图自动绘制软件系统的功能，给出了用该软件完成的光学零件图图样，对程序设计过程中的难点及处理方法也进行了详细阐述。     

数字测图,数字制图及勘测设计一体化

简述引用瑞得软件建立数字化成图系统，以进一步实现测量与工程设计一体化，使得繁琐的作业过程变为简单，缩短作业时间，不断提高生产作业效率。     

低碳钢热变形过程中铁素体的织构形成规律

利用背散射电子衍射取向成像技术定量分析了热模拟单向压缩条件下Q235碳素钢热变形时铁素体的织构形成规律。结果表明,在710℃纯铁素体热压缩过程中,形成〈100〉和〈111〉方向的线织构。〈111〉方向织构增强的速度较快,到应变为1.0时达最大值,然后随应变的加大而减弱;〈100〉方向织构在形变量较小时增强的速度较慢,在大应变时增强的速度很快。大应变时虽导致一定程度的动态再结晶,使铁素体晶粒细化,但组织不均匀,织构过强,造成强烈的各向异性。在奥氏体与铁素体两相区变形时,先共析铁素体因形变同样产生强烈的织构。随着形变温度的提高和先共析铁素体的减少,织构减弱。     

Banach空间Fuzzy多值隐拟变分包含

在Banach空间中并在不具紧性的条件下，引入和研究了一类fuzzy多值隐拟变分包含及相应的fuzzy隐预解算子方程，借助预解算子技巧，建立了Banach空间中fuzzy多值隐拟变分包含与预解算子方程的等价性，得到了该类fuzzy多值隐拟变分包含的迭代算法与某些解的存在性定理及解的迭代逼近。     

Efficient return algorithms for associated plasticity with multiple yield planes

A new return method for implicit integration of linear isotropic yield criteria is presented. The basic idea is to perform all the manipulations in the principal stress space and thereby achieve very simple formulae for calculating the plastic corrector stresses, based on the constant gradient of such criteria. The return formulae are in closed form and no iteration is required. The method accounts for three types of stress return: return to a single yield plane, to a discontinuity line at the intersection of two yield planes and to a discontinuity point at the intersection between three or more yield planes. The infinitesimal and the consistent elastoplastic constitutive matrix are calculated for each type of stress return, as are the conditions to ascertain which type of return is required. The method is exemplified with the Mohr–Coulomb yield criterion. Copyright © 2005 John Wiley & Sons, Ltd.     

Existence, uniqueness and stability of the equilibrium points of a SHARON bioreactor model

This paper addresses the dynamics of a SHARON reactor, a promising technology for ammonium removal from concentrated wastewater streams. The contraction mapping theorem is used to determine which operating conditions of a SHARON reactor with pH-control result in a unique equilibrium state. However, this approach only identifies the case of very large dilution rates, in practice corresponding with complete biomass wash-out, i.e. with complete loss of biological activity. Practical operation of a SHARON reactor aims at reaching ammonium conversion to nitrite. To identify such interesting operating points, the equilibrium points are subsequently calculated directly in terms of input variables for a simplified SHARON reactor model. The stability of the obtained equilibrium points is assessed and the corresponding phase portraits are analyzed. The influence of slightly varying parameter and input values is investigated as well.     

Fixed point theorems on fuzzy normed linear spaces

In this paper, definitions of strongly fuzzy convergent sequence, l-fuzzy weakly convergent sequence and l-fuzzy weakly compact set are given in a fuzzy normed linear space. The concepts of fuzzy normal structure, fuzzy non-expansive mapping, uniformly convex fuzzy normed linear space are introduced and fixed point theorems for fuzzy non-expansive mappings are proved.     

An efficient return algorithm for non-associated plasticity with linear yield criteria in principal stress space

An efficient return algorithm for stress update in numerical plasticity computations is presented. The yield criterion must be linear in principal stress space and can be composed of any number of yield planes. Each of these yield planes may have an associated or non-associated flow rule. The stress return and the formation of the constitutive matrix is carried out in principal stress space. Here the manipulations simplify and rely on geometrical arguments. The singularities arising at the intersection of yield planes are dealt with in a straightforward way also based on geometrical considerations. The method is exemplified on non-associated Mohr–Coulomb plasticity throughout the paper.