Accelerating filtering techniques for numeric CSPs

Search algorithms for solving Numeric CSPs (Constraint Satisfaction Problems) make an extensive use of filtering techniques. In this paper¹ we show how those filtering techniques can be accelerated by discovering and exploiting some regularities during the filtering process. Two kinds of regularities are discussed, cyclic phenomena in the propagation queue and numeric regularities of the domains of the variables. We also present in this paper an attempt to unify numeric CSPs solving methods from two distinct communities, that of CSP in artificial intelligence, and that of interval analysis.     

Asymptotic stabilization of some equilibria of an underactuated underwater vehicle

The stabilization problem for selected relative equilibria of an underactuated rigid body, modelling a simple underwater vehicle, moving in an ideal fluid is addressed. State feedback control laws achieving local asymptotic stability of a forward motion and of a diving/rising with forward/reverse motion are proposed. The control design exploits the Hamiltonian nature of the system to be controlled and it is based on the so-called interconnection and damping assignment (IDA) procedure. Simulation results complete the work.     

利用田口技术论证非标测量设备最佳校准系统值

通过利用田口技术对非标测量设备校准参数的计算，可以更好控制产品质量，以满足产品的需要。     

Convolutional solutions of partial difference equations

A significant part of the theory of one-dimensional linear shift-invariant systems is based on the concept of weighting function (or impulse response): the output is the convolution of the weighting function with the input. This paper introduces the concept of linear translation-invariant systems and uses this notion in studying impulse response, z-transforms, and transfer functions for multidimensional systems.     

Projection center calibration by motion

Camera calibration is the first step of three-dimensional machine vision. A fundamental parameter to be calibrated is the position of the camera projection center with respect to the image plane. This paper presents a method for the computation of the projection center position using images of a translating rigid object, taken by the camera itself.

Many works have been proposed in literature to solve the calibration problem, but this method has several desirable features. The projection center position is computed directly, independently of all other camera parameters. The dimensions and position of the object used for calibration can be completely unknown.

This method is based on a geometric relation between the projection center and the focus of expansion. The use of this property enables the problem to be split into two parts. First a suitable number of focuses of expansion are computed from the images of the translating object. Then the focuses of expansion are taken as landmarks to build a spatial back triangulation problem, the solution of which gives the projection center position.     

On integral equation approaches to the mechanics of fibre-crack interaction

The paper examines the problem of a penny-shaped crack which is formed by the development of a crack in both the fibre and the matrix of a composite consisting of an isolated elastic fibre located in an elastic matrix of infinite extent. The composite region is subjected to a uniform strain field in the direction of the fibre. The paper presents two integral-equation based approaches for the analysis of the problem. The first approach considers the formulation of the complete integral equations governing the associated elasticity problem for a two material region. The second approach considers the boundary integral equation formulation of the problem. Both methods entail the numerical solution of the governing integral equations. The solutions to these integral equations are used to evaluate the stress intensity factor at the boundary of the penny-shaped crack.     

TURBULENCE MEASUREMENT INSTRUMENT WITH A SILICON PIEZORE-SISTANCE BEAM

A newly developed turbulence measurement instrument is introduced in the paper.The transducer of the device is based on the principle of the effect of silicon piezoresistance that isintegrated in a Wheatstone bridge on a pure silicon beam. At one end of the beam, a small lightball is installed as the target forced by the water flow. The other parts are prevented from thewater flow with a sophisticated stainless steel tube. The instrument can be used to measure turbu-lent velocities either in clear Water or in flows bearing hyperconcentration of sediment. It can al-so be used to measure velocities in both glass flume and model experiments as well as in pipe ex-periment by being mounted in a special way.     

A low cost calibration conditioner for dynamic strain gauge measurements

A conditioner for dynamic strain measurements that allows for a series of calibration signals with periodic and predefined time occurrence, during the whole period in which the measurements have to be carried out, is presented in this work. The calibration signals, having suitable size ratios between them, allow one to evaluate the linearity of the entire measurement chain.     

On stability of an input amplitude constrained predictive control system

This paper presents stability results for discrete-time model-based predictive control system subject to an input amplitude constraint. It is shown that the input amplitude constrained control system may provide a stable control system in the sense of BIBO when the system to be controlled is of a class of the system poles which consist of multiple integrators and a stable polynomial. The solution of Diophantine equations and their properties are addressed. Simulation study is also carried out and it is shown that the output of the system may converge to the reference signal for certain degree of constraints.     

MPC系统模块结构中的流场研究

本研究中,应用Simple数值计算方法开发了求解MPC系统模块结构中二维流场分布的计算软件。为了验证计算结果的精确性,用多普勒测速仪实测了用有机玻璃制成的MPC模块二维模型的流场,模拟计算结果与实测值对比取得了较好的一致性。四种不同流出角的MPC模块平均总压损失计算结果表明,已开发的软件可作为设计低流阻MPC模块的良好工具。