Prediction of spectral reflectance factor distribution of automotive paint finishes

It is necessary to determine the accurate reflectance of painted surfaces for the review of paint finishes by computer graphics (CG) before actual painting of the exterior color of automobiles, and for quality control during production and inspection processes. We have optimized a method for measuring reflectance by using a statistical technique. We have found that the reflectance of a painted surface is best measured at an incident angle of 60° and at five aspecular angles of 10°, 18°, 28°, 40°, and 90°. Our method makes it possible to accurately reproduce reflection characteristics of paint finishes containing special flake pigments, such as pearl mica. Also it was proved that our method can apply not only to solid and metallic coatings but to all painted surfaces. © 2005 Wiley Periodicals, Inc. Col Res Appl, 30, 275–282, 2005; Published online in Wiley InterScience (www.interscience.wiley.com). DOI 10.1002/col.20125     

Extremes of random fields over arbitrary domains with application to concrete rupture stresses

To find the exact probability distribution of the global maximum or minimum of a random field within a bounded domain is a pending problem even for Gaussian fields. Except for very special examples of fields, recourse must be taken to approximate reasoning or asymptotic considerations to be judged with respect to accuracy by simulations. In this paper, the problem is addressed through a functional equation that leads to the definition of a class of distribution functions that depend solely on process or field characteristics and domain quantities that can be calculated explicitly. This distribution function class is studied for Gaussian processes in earlier works by the author and it has been obtained explicitly for Gaussian fields on rectangular domains in the plane. Simulation studies show that rather good predictions are obtained for sufficiently smooth wide band Gaussian processes and fields. In this paper, the distribution function is obtained in general for Gaussian fields over arbitrary bounded domains with piecewise continuous and differentiable boundaries, and as in earlier works the distribution function is tested against empirical distribution functions obtained by simulation of sample functions of a smooth approximately Gaussian field, herein called a broken line Hino field. For completeness this particular field type is defined in appendix a and appendix b. The paper concludes with a statistical application on data for plain concrete tensile strength.     

Kripke Semantics for Modal Substructural Logics

We introduce Kripke semantics for modal substructural logics, and provethe completeness theorems with respect to the semantics. Thecompleteness theorems are proved using an extended Ishihara's method ofcanonical model construction (Ishihara, 2000). The framework presentedcan deal with a broad range of modal substructural logics, including afragment of modal intuitionistic linear logic, and modal versions ofCorsi's logics, Visser's logic, Méndez's logics and relevant logics.     

Finite elements in the analysis of pressure vessels and piping-a bibliography (1976–1996)

The paper gives a bibliographical review of the finite element methods (FEMs) applied for the analysis of pressure vessel structures/components and piping from the theoretical as well as practical points of view. The range of applications of FEMs in this area is wide and cannot be presented in a single paper; therefore the aim of this review is to give the reader an encyclopaedic view of the differnt possibilities that exist today for the finite element analysis in the fields of pressure vessels and piping. The bibliography at the end of the paper contains approximately 1900 references to papers, conference proceedings and theses/dissertations on the subject that were published in 1976–1996. These are classified in the following categories: linear and non-linear, static and dynamic, stress and deflection analysis; stability problems; thermal problems; fracture mechanics problems; contact problems; fluid-structure interaction problems; manufacturing of pipes and tubes; welded pipes and pressure vessel components; development of special finite elements for pressure vessels and pipes; finite element software; and other topics. Also finite element software, general purpose and special purpose codes, used for the analysis of pressure vessels and pipes are briefly discussed and presented.     

Thermomechanical stress fields in high-temperature fibrous composites. I: Unidirectional laminates

This two-part paper presents a closed-form procedure for evaluation of estimates of local thermomechanical stress fields in two-phase fibrous composites and laminates. The first part is concerned with a unidirectional elastic laminate subjected to uniform mechanical loads and to uniform changes in temperature. Both phases are assumed to be elastic, with temperature-dependent moduli and expansion coefficients; the solution reflects the influence of thermomechanical interactions. Exact solutions are not possible for any real system, because the local geometry is not known in detail. Instead, estimates of the fields are found from a modified Mori-Tanaka approximation. Examples are presented for two SiC/Ti---Al---Nb composites. Local stresses of interest are found after cooling from fabrication to room temperature. The presence of local yielding, and the influence of coupling terms on the local stress magnitudes are examined. Extension of the results to laminated plates is presented in Part II (Dvorak, G.J., Chen, T. & Teply, J., Composites Science and Technology, 43 (1992) 359–368, this issue).     

Resolution calculus for the first order linear logic

This paper presents a formulation and completeness proof of the resolution-type calculi for the first order fragment of Girard's linear logic by a general method which provides the general scheme of transforming a cutfree Gentzen-type system into a resolution type system, preserving the structure of derivations. This is a direct extension of the method introduced by Maslov for classical predicate logic. Ideas of the author and Zamov are used to avoid skolomization. Completeness of strategies is first established for the Gentzen-type system, and then transferred to resolution. The propositional resolution system was implemented by T. Tammet.     

Convergence of iterated boolean sums of simultaneous approximants

Explicit error estimates are given for the iterated Boolean sum of a sequence of simultaneous approximants; the rate of convergence is shown to be improved for smooth functions. The general results are applied in the case of the Bernstein, Durrmeyer and Stancu operators.     

Unrestricted Hartree-Fock approximation of the extended emery model

We use an unrestricted self-consistent Hartree-Fock approach to calculate the nature of doping states in the three-band Hubbard model. It turns out that for physically relevant parameter values one hole is localized within a small spin-polarized region where five Cu spins are aligned in the same direction. The spin polarization and binding energy between these spinpolaronic states are investigated as a function of different parameters including a Holstein-type electron-phonon coupling on the Cu sites. At higher doping concentration we observe the occurrence of afmon states where the holes are localized in a ring-shaped area. Inside this ring the antiferromagnetic order parameter has inverse sign with respect to the residual antifer-romagnetically ordered plane.     

一种改进的4.8kb／s码激励线性预测语音编码

本文介绍了码激励线性预测（ＣＥＬＰ）语音编码的基本原理，研究了一种制约随机激励的线性预测编码方案。它将随机激励码字进入合成滤波器的数量与自适应码本的性能指标联系起来，有效地减少了激励噪声对合成语音的影响。计算机模拟结果表明，这种方法在主观上改善了语音质量。     

部分可渗透直立圆柱的消波作用研究

本文导出了线性波浪作用于上部可渗透的直立刚性圆柱体上的水动力的解析解。在线性有势流的假定下，用特征函数展开方法求出了内部和外部流场的解。给出了不同波浪要素及结构尺寸参数下的数值结果。由结果可知，提高可渗透性可以有效消减波幅。