A finite model property for RMImin

It is proved that the variety of relevant disjunction lattices has the finite embeddability property. It follows that Avron's relevance logic RMI _min has a strong form of the finite model property, so it has a solvable deducibility problem. This strengthens Avron's result that RMI _min is decidable. (© 2006 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

环保意识调查问卷的Logistic模型

本文应用多元统计分析中的方差分析 ,logistic模型等方法对环保意识调查问卷反馈的信息进行统计分析 ,建立被调查企业对环境保护意识的logistic模型 ,进而可对企业家的环境保护意识的好坏进行判断。     

Fiber-optic reflex sensor for in-line production measurement

The paper describes experiments concerning distance measurement with fiber-optic sensor and improvement of the measurement principle. The sensor probe was well-designed with a small structure and multi-function. The novel optical fiber probe arrangement as well as the possibilities of use for complex measurement problems are explained using the measurement of an internal screw thread as an example. The experimental results show that the measurement uncertainty of the thread minor diameter can reach ±10 μm, and the stability of the measurement system is better than 0.07%.     

A Modified Quasi-Newton Method for Structured Optimization with Partial Information on the Hessian

This paper develops a modified quasi-Newton method for structured unconstrained optimization with partial information on the Hessian, based on a better approximation to the Hessian in current search direction. The new approximation is decided by both function values and gradients at the last two iterations unlike the original one which only uses the gradients at the last two iterations. The modified method owns local and superlinear convergence. Numerical experiments show that the proposed method is encouraging comparing with the methods proposed in [4] for structured unconstrained optimization Presented at the 6th International Conference on Optimization: Techniques and Applications, Ballarat, Australia, December 9–11, 2004     

Acoustic reflection from a baffled elastic/piezoelectric plate

A finite difference/boundary integral procedure to determine the acoustic reflected pressure from a fluid-loaded bi-laminated plate is described. The bi-laminate is composed of a piezoelectric layer and an elastic layer in contact with the fluid, and is held by an acoustically hard baffle. In the numerical model, the fluid pressure at fluid/solid interface is replaced by a continuum of point sources weighted by the normal acceleration of the elastic plate, and the governing equation system is solved in the solid domain. With the normal acceleration found, the reflected pressure in the fluid is determined by an integral expression involving the Green's function. It is demonstrated that an appropriate applied voltage potential across the piezoelectric layer has the effect of cancelling either the reflected or scattered pressure of the plate at any chosen field points in the fluid. Project supported by the National Natural Science Foundation of China (No. 10172039).     

On additives, morphological evolution and dielectric breakdown in low density polyethylene

A series of low density polyethylene systems has been studied with respect to structural evolution and short-term dielectric breakdown behaviour. All materials were based upon a single polymer, that is commonly used in high voltage applications, but with different additives. In all three of these systems, multiple melting transitions were observed, as a result of molecular fractionation effects during crystallization. In the virgin polymer, a space-filling banded spherulitic morphology was found to develop at low temperatures (102 °C and below) whereas, at higher temperatures, only a few isolated axialites were observed. Inclusion of the antioxidant resulted in greatly increased nucleation densities, such that, at low temperatures, no evidence of spherulitic organisation remained. At higher temperatures, sheaf-like lamellar aggregates developed, which were much smaller and much more numerous than in the case of the virgin polymer. Further addition of dicumyl peroxide (DCP) resulted in the rapid formation of a crosslinked network at 200 °C. Some crosslinking also occurred at 150 °C, but over a much longer timescale. Where extensive crosslinking occurred prior to crystallization, the resulting gel inhibited structural development, such that only a few small, isolated sheaves were able to form at 102 °C. In view of the principal application area of this material, the breakdown strength of each of the above systems was then measured and the whole data set was analysed statistically. When structural factors were considered alongside the statistics, no clear trends emerged to indicate that either the compositional or morphological variations were reflected in the short-term electrical failure processes.     

Rate constants for the gas‐phase reaction of CF3CF2CF2CF2CF2CHF2 with OH radicals at 250–430 K

The rate constants k₁ for the reaction of CF₃CF₂CF₂CF₂CF₂CHF₂ with OH radicals were determined by using both absolute and relative rate methods. The absolute rate constants were measured at 250–430 K using the flash photolysis–laser‐induced fluorescence (FP‐LIF) technique and the laser photolysis–laser‐induced fluorescence (LP‐LIF) technique to monitor the OH radical concentration. The relative rate constants were measured at 253–328 K in an 11.5‐dm³ reaction chamber with either CHF₂Cl or CH₂FCF₃ as a reference compound. OH radicals were produced by UV photolysis of an O₃–H₂O–He mixture at an initial pressure of 200 Torr. Ozone was continuously introduced into the reaction chamber during the UV irradiation. The k₁ (298 K) values determined by the absolute method were (1.69 ± 0.07) × 10^?15 cm³ molecule^?1 s^?1 (FP‐LIF method) and (1.72 ± 0.07) × 10^?15 cm³ molecule^?1 s^?1 (LP‐LIF method), whereas the K₁ (298 K) values determined by the relative method were (1.87 ± 0.11) × 10^?15 cm³ molecule^?1 s^?1 (CHF₂Cl reference) and (2.12 ± 0.11) × 10^?15 cm³ molecule^?1 s^?1 (CH₂FCF₃ reference). These data are in agreement with each other within the estimated experimental uncertainties. The Arrhenius rate constant determined from the kinetic data was K₁ = (4.71 ± 0.94) × 10^?13 exp[?(1630 ± 80)/T] cm³ molecule^?1 s^?1. Using kinetic data for the reaction of tropospheric CH₃CCl₃ with OH radicals [k₁ (272 K) = 6.0 × 10^?15 cm³ molecule^?1 s^?1, tropospheric lifetime of CH₃CCl₃ = 6.0 years], we estimated the tropospheric lifetime of CF₃CF₂CF₂CF₂CF₂CHF₂ through reaction with OH radicals to be 31 years. © 2003 Wiley Periodicals, Inc. Int J Chem Kinet 36: 26–33, 2004     

The semi‐iterative method applied to the hyper‐power iteration

The semi‐iterative method (SIM) is applied to the hyper‐power (HP) iteration, and necessary and sufficient conditions are given for the convergence of the semi‐iterative–hyper‐power (SIM–HP) iteration. The root convergence rate is computed for both the HP and SIM–HP methods, and the quotient convergence rate is given for the HP iteration. Copyright © 2005 John Wiley & Sons, Ltd.     

加权二次有理Bézier插值曲线

在本文中,给定一组有序空间数据点列及每个数据点的切矢向量,利用加权二次有理Bézier曲线对数据点作插值曲线,使该曲线具有C1连续性,并且权因子只是对相应顶点曲线附近产生影响,同调整两个相邻的权因子可以调整这两个相邻顶点之间的曲线和它的控制多边形.