一种在Kalman滤波中引入径向速度测量的新方法

研究在距离和径向速度测量噪声统计相关的情形下把径向速度测量引入Kalman滤波的新方法。分析了径向速度测量噪声与位置测量更新后状态滤波误差的统计相关性,根据Gauss-Markov定理导出了对应于径向速度测量的滤波方程由此而得到一种序贯滤波算法。两个不同的蒙特卡罗仿真表明,通过采用这一新算法引人径向速度测量,不仅可以大大提高状态估计的精度,而且其估计性能和计算效率优于传统的EKF。     

TiAl基合金板材制备技术的发展现状

综述了TiAl基合金板材制备技术的发展现状。介绍了的制备TiAl基合金板材三种技术的工艺过程及制得的TiAl基合金板材的显微组织和力学性能。     

Automatic conversion from lexical words to prosodic words for mandarin text-to-speech system

In real speech, not like lexical words (LWs), prosodic words (PWs) are basic rhythmic units. The naturalness of a Text-to-Speech (TTS) system is directly influenced by the segmentation of the PWs. Most of the PWs are the combination of several LWs. In this paper, three Lexical Combination Models are proposed to combine LWs into PWs, including a Directed Acyclic Graph Model, a Segmentation Model and a Markov Model (MM). To cope with the situation where some long LWs should be segmented into two or more PWs, a Lexical Split Model (LSM) is applied to the long LWs. Experimental results prove that relatively constant results with various training data can be obtained from a MM. The Transformation-Based Error Driven Learning (TBED) algorithm, for its high performance of individual property, is applied in combination with the MM to improve the precision of PW segmentation. Experiments show that among the three proposed models, the MM combined with TBED and LSM, leads to the best performance, in which a precision of 93.00% and a recall of 93.23% are achieved. The perception test indicates that by using PWs as the lowest prosodic units a speech sounds more natural and acceptable than by using LWs. This paper is supported by NSFC Project (60503071); 973 Natural Basic Research Program of China (2004CB318102); Postdoctor Science Foundation of P. R. China (20070420275).     

A Constraint-based Approach for Annotating Music Scores with Gestural Information

The physical gestures that operate music instruments are responsible for the qualities of the sound being produced in a performance. Gestural information is thereby crucial for a model of music performance, paired with a model of sound synthesis where this information is applied. The highly constrained nature of performers gestures makes this task suitable to be modeled via a constraint-based approach, coupled with a strategy aimed at maximizing the gestural comfort of performers. We illustrate the problem representation, the search strategy and a validation of the model against human performance.     

Multibody simulation tool for the calculation of lashing loads on RoRo ships

Approximately 80% of the international transport of goods is carried on by means of ships. A large portion of the transport capacity is represented by Roll-on-Roll-off (RoRo) ships. Especially in Europe this is a relevant potential for the RoRo segment. Consequently, the design and construction of RoRo ships plays an increasing role for German shipyards and their suppliers. In order to make the loading and unloading procedure of trailer economically more competitive, ship owners would like to improve the lashing of trailers on the ship. On the basis of a multibody system formalism, a software tool has been developed which allows for an optimization of the loading of trailers on RoRo ships. Commemorative Contribution.     

Formulation for Reliable Analysis of Structural Frames

Structural engineers use design codes formulated to consider uncertainty for both reinforced concrete and structural steel design. For a simple one-bay structural steel frame, we survey typical uncertainties and compute an interval solution for displacements and forces. The naive solutions have large over-estimations, so we explore the Mullen-Muhanna assembly strategy, scaling, and constraint propagation to achieve tight enclosures of the true ranges for displacements and forces in a fraction of the CPU time typically used for simulations. That we compute tight enclosures, even for large parameter uncertainties used in practice, suggests the promise of interval methods for much larger structures.     

SCC casting prediction for the realization of prototype VHPC-precambered composite beams

Casting simulations of self-compacting concrete are carried out in order to obtain a value of the minimum fluidity needed to cast a VHPC precambered composite beam. The mix proportioning of the concrete takes into account this minimum value. The numerical predictions are finally compared with the experimental observations during two casting tests and the real casting of the two 13 m beams. Although the simplifying assumptions needed to carry out the simulations are numerous, there is an agreement between the predictions and the real casting.     

Critical Configurations for 1-View in Projections from ℙ<Superscript>k</Superscript> → ℙ<Superscript>2</Superscript>

In this paper we describe, from a theoretical point of view, critical configurations for the projective reconstruction of a set of points, for a single view, i.e. for calibration of a camera, in the case of projections from ℙ^k to ℙ² for k ≥ 4. We give first a general result describing these critical loci in ℙ^k, which, if irreducible, are algebraic varieties of dimension k−2 and degree 3. If k=4 they can be either a smooth ruled surface or a cone and if k = 5 they can be a smooth three dimensional variety, ruled in planes, or a cone. If k≥ 6, the variety is always a cone, the vertex of which has dimension at least k − 6. The reducible cases are studied in Appendix A. These results are then applied to determine explicitly the critical loci for the projections from ℙ^k which arise from the dynamic scenes in ℙ³ considered in [13]. Marina Bertolini is currently Associate Professor of Geometry at the Department of Mathematics at the Università degli Studi di Milano, Italy. Her main field of research is Complex Projective Algebraic Geometry, with particular interest for the classification of projective varieties and for the geometry of Grassmann varieties. On these topics M. Bertolini has published more than twenty reviewed papers on national and international journals. She has been for some years now interested also in applications of Algebraic Geometry to Computer Vision problems. Cristina Turrini is Associate Professor of Geometry at the Department of Mathematics of Università degli Studi di Milano, Italy. Her main research interest is Complex Projective Algebraic Geometry: subvarieties of Grassmannians, special varieties, automorphisms, classification. In the last two years she has started to work on applications of Algebraic Geometry to problems of Computer Vision. She is author or co-author of about thirty reviewed papers. She is also involved in popularization of Mathematics, and on this subject she is co-editor of some books.     

Phase equilibria of the ternary Al-Cu-Ni system and interfacial reactions of related systems at 800 °C

A series of Al-Cu-Ni alloys of various compositions were made and annealed at 800 °C. The equilibrium phases were studied by metallography, X-ray diffraction (XRD) analysis, and electron probe microanalysis. The isothermal section of the ternary Al-Cu-Ni system at 800 °C was then determined based on these experimental results and the available phase relationship knowledge of the three constituent binary systems. No ternary compound was found. All three phases, AlNi₃, AlNi, and Al₃Ni₂, have very high ternary solubility, especially the AlNi phase, which almost reaches the binary Al-Cu side. However, no continuous solid solution was formed between the AlNi phase and any of the binary Al-Cu phases. Interfacial reactions of Al/Ni, Al/Cu, Al-Cu/Ni, and Al-Ni/Cu at 800 °C were investigated by using reaction couple techniques. The results showed that Al₃Ni and Al₃Ni₂ phases were formed in the Al/Ni couples; β-AlCu₄, γ ₁-Al₄Cu₉, and ɛ ₂-Al₂Cu₃ phases were formed in the Al/Cu couples. As for the results in the Al-2 at. pct Ni/Cu, Al-5 at. pct Ni/Cu, and Al-2 at. pct Cu/Ni, Al-4.5 at. pct Cu/Ni, and Al-6 at. pct Cu/Ni were similar to those in the binary Al/Cu and Al/Ni couples, respectively. A different reaction path was found in the Al-7.5 at. pct Cu/Ni couples, and an AlNi solid solution layer was formed instead of the Al₃Ni and Al₃Ni₂ phases.     

High-resolution electron microscopy of the twinning and intergrowth in Ca4Al6SO16 and Ca3SrAl6SO16

The microstructures of unhydrated calcium aluminosulphate Ca₄Al₆SO₁₆ and Ca₃SrAl₆SO₁₆ have been studied by high-resolution electron microscopy (HREM). The results showed that twinning and twinned slabs could be introduced taking the [1 1 2] direction as the twin axis so that it seems to be coincident with the law of twinning formed in body-centred cubic structures. A previously reported superlattice with a repeat period twice that of the fundamental structure along the 〈1 1 0〉 direction has also been found in both matrix and twin variants. The close intergrowth of Ca₃SrAl₆SO₁₆ and another phase, possibly Sr₃Al₂O₆ existing as an inclusion between these two twin variants, was determined and clearly revealed by electron diffraction and HREM images. The coherent interphase boundaries and orientation relationship between them can also be deduced.