A frame-based knowledge representation model and its mapping to nested relations

The first part of this paper introduces the basic constructs of a frame representation model and gives a formal definition for them. Subsequently the nested relational model (NF²) is described as an extension of the classical relational model to support relation-valued attributes. In the second part of this paper both models are compared with each other and a mapping of frame representation structures to NF² structures is specified. The structural similarities between frames and NF² relations are made clear and it is shown that their main difference is due to the type polymorphism introduced by the concept hierarchy of the frame model. This causes type collisions to occur in the strictly typed NF² model when frames are directly mapped to NF² structures. Two solutions to this problem are suggested and compared. The paper concludes with a reformulation of query operations of the frame model in terms of NF² algebra operations.     

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.     

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

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

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

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

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

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

Two-tier architecture for unconstrained handwritten character recognition

In this paper, we propose an approach that combines the unsupervised and supervised learning techniques for unconstrained handwritten numeral recognition. This approach uses the Kohonen self-organizing neural network for data classification in the first stage and the learning vector quantization (LVQ) model in the second stage to improve classification accuracy. The combined architecture performs better than the Kohonen self-organizing map alone. In the proposed approach, the collection of centroids at different phases of training plays a vital role in the performance of the recognition system. Four experiments have been conducted and experimental results show that the collection of centroids in the middle of the training gives high performance in terms of speed and accuracy. The systems developed also resolve the confusion between handwritten numerals.     

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

利用背散射电子衍射取向成像技术定量分析了热模拟单向压缩条件下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.