On Potentially Abelian Geometric Representations

The finiteness is proved of the set of isomorphism classes of potentially abelian geometric Galois representations with a given set of data. This is a special case of the finiteness conjecture of Fontaine and Mazur.     

Numerical analysis of turbulent structure in compound meandering open channel by algebraic Reynolds stress model

The turbulent flow in a compound meandering channel with a rectangular cross section is one of the most complicated turbulent flows, because the flow behaviour is influenced by several kinds of forces, including centrifugal forces, pressure‐driven forces and shear stresses generated by momentum transfer between the main channel and the flood plain. Numerical analysis has been performed for the fully developed turbulent flow in a compound meandering open‐channel flow using an algebraic Reynolds stress model. The boundary‐fitted coordinate system is introduced as a method for coordinate transformation in order to set the boundary conditions along the complicated shape of the meandering open channel. The turbulence model consists of transport equations for turbulent energy and dissipation, in conjunction with an algebraic stress model based on the Reynolds stress transport equations. With reference to the pressure–strain term, we have made use of a modified pressure–strain term. The boundary condition of the fluctuating vertical velocity is set to zero not only for the free surface, but also for computational grid points next to the free surface, because experimental results have shown that the fluctuating vertical velocity approaches zero near the free surface. In order to examine the validity of the present numerical method and the turbulent model, the calculated results are compared with experimental data measured by laser Doppler anemometer. In addition, the compound meandering open channel is clarified somewhat based on the calculated results. As a result of the analysis, the present algebraic Reynolds stress model is shown to be able to reasonably predict the turbulent flow in a compound meandering open channel. Copyright © 2005 John Wiley & Sons, Ltd.     

On many‐sorted algebraic closure operators

A theorem of Birkhoff‐Frink asserts that every algebraic closure operator on an ordinary set arises, from some algebraic structure on the set, as the corresponding generated subalgebra operator. However, for many‐sorted sets, i.e., indexed families of sets, such a theorem is not longer true without qualification. We characterize the corresponding many‐sorted closure operators as precisely the uniform algebraic operators. (© 2004 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

In-time motion adjustment in laser cladding manufacturing process for improving dimensional accuracy and surface finish of the formed part

This paper presents in-time motion adjustment in laser cladding manufacturing process as a means to improve dimensional accuracy and surface finish of the built part. Defects occurring during laser cladding degrade the part quality such as dimensional accuracy and surface finish. In this paper, in-time motion adjustment strategy was presented to remedy and eliminate defects occurring during laser cladding to improve the dimensional accuracy and surface finish. Based on the relationship between the motion of laser head relative to the growing part and other parameters in effects on clad profile, the laser traverse speed, stand-off distance and laser approach orientation to the existing clad layer were adjusted by instructions from a close-loop control system in real time to remedy and eliminate defects. The results of the experiments verified the effects of in-time motion adjustment on dimensional accuracy and surface finish.     

A note on the necessary conditions for the algebraic Riccati equation

We derive some useful and easily computable necessary conditionsfor the existence of a positive semi-definite solution to thealgebraic Ricatti equation (ARE). A motivating example is givento highlight the usefulness of the conditions for controllerand observer designs for nonlinear systems. Further, an upperbound on the trace of the solution to the ARE is also derived.     

汽车拖拉机转向机构的优化设计

本文提出用一种新的时间离散化方法对汽车拖拉机的转向机构进行优化设计．该离散化方法是按被实现函数变化率的大小划分时间单元，在被实现函数变化率较大的区域，分点较密；在率化率较小的区域，分点较稀．笔者还分别用等间距的时间离散化及切比雪夫时间离散化方法，对同一机构使用同一种优化方法进行了优化设计，并将三种计算结果进行了比较．结果表明，笔者提出的方法，没有增加计算工作量，而能提高计算精度．     

High-precision sub-pixel interpolation in particle image velocimetry image processing

The task of image interpolation and re-sampling for particle image velocimetry (PIV) is investigated, which is used for window shifting with sub-pixel accuracy and image or window deformation. A new interpolation scheme based on a Gaussian filter is introduced and compared with commonly used and widely accepted interpolation techniques in terms of the achievable root mean square deviation of the displacement estimates.     

作业成本法对传统成本法的影响分析

介绍了作业成本法的特点,从5个方面探讨了作业成本法与传统成本法的差别,指出作业成本法具有一定的先进性。     

On the construction of samples for testing approximate optimization methods for estimate calculation algorithms

To validate approximate optimization schemes for estimate calculation algorithms (ECAs), it is necessary to compute the optimal height, which cannot be done in a reasonable amount of time. A variety of samples are built for which the optimal height of the ECAs is known by construction.