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     

双层堤基的井涌破坏与无害管涌

双层堤基水文地质结构特殊，堤基承压水常具独特的“渗而不流”特征。在“不流”条件下，堤后盖层薄弱处受超高承压水头顶裂破坏，产生的局部冒水孔实属承压自流井，由此形成的管涌实质为井涌。底部进水的承压井流影响范围不大，井涌的破坏范围更小，据此可区分出有害管涌与无害管涌。前者局限于堤脚附近，小范围压渗为首选方案；对后者，既无需专门防治，更不必追求根治。     

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.     

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.     

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

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

铜蒸汽激光器双闸流管触发系统的研究

研制成用于钢蒸汽激光器的双间流管触发系统。用两个闸流管并联进行交替触发，总输入电功率达7．8kW。低功率运行时，激光器的效率为0．6％与单间流管激光器的效率一致。     

Political orientation and modern versus aversive racism: Tests of Dovidio and Gaertner's (1998) integrated model.

According to J. F. Dovidio and S. L. Gaertner's (1998) integrated model of racism, politically liberal European Americans tend to express racism differently than conservative European Americans, with liberals demonstrating aversive racism and conservatives, symbolic or modern racism. In support of the model, in Experiment 1 liberals showed bias in favor of a twice-prosecuted African American relative to a European American in their judgment of double jeopardy, whereas conservatives did the reverse. Experiment 2 replicated these effects while eliminating a confound in the design of Experiment 1. Experiment 3 found evidence for the intrapsychic conflict hypothesized to underlie aversive racism. Specifically, only liberals displayed greater physiological arousal to the touch of an African American versus a European American experimenter. (PsycINFO Database Record (c) 2010 APA, all rights reserved)