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)     

一类高次系统极限环的存在与唯一性

本文对系统dxdt=-y(1-ax2n)(1-bx2n) δx-lx4n 1dydt=x2n-1(1-cx2n)(1-bx2n)进行定性分析,得出其极限环的存在性,不存在性及唯一性的一系列充分条件.     

Calibrating software reliability models when the test environment does not match the user environment

Software failures have become the major factor that brings the system down or causes a degradation in the quality of service. For many applications, estimating the software failure rate from a user's perspective helps the development team evaluate the reliability of the software and determine the release time properly. Traditionally, software reliability growth models are applied to system test data with the hope of estimating the software failure rate in the field. Given the aggressive nature by which the software is exercised during system test, as well as unavoidable differences between the test environment and the field environment, the resulting estimate of the failure rate will not typically reflect the user‐perceived failure rate in the field. The goal of this work is to quantify the mismatch between the system test environment and the field environment. A calibration factor is proposed to map the failure rate estimated from the system test data to the failure rate that will be observed in the field. Non‐homogeneous Poisson process models are utilized to estimate the software failure rate in both the system test phase and the field. For projects that have only system test data, use of the calibration factor provides an estimate of the field failure rate that would otherwise be unavailable. For projects that have both system test data and previous field data, the calibration factor can be explicitly evaluated and used to estimate the field failure rate of future releases as their system test data becomes available. Copyright © 2002 John Wiley & Sons, Ltd.     

Relationship between chemical bond parameters and superconducting temperature in HgBa2Can−1CunO2n+2+δ (n=1, 2, 3, 4)

Bond covalency and valence of elements in HgBa₂Ca_n−1Cu_nO_2n+2+δ (n=1, 2, 3, 4) were calculated and their relationship with T_c was discussed. For both oxygen and argon annealed samples, the results indicated that with the increase of n, the trend of bond covalency of Hg-O and Cu-O was the same or opposite compared with that of superconducting temperature. This may suggest that the magnitudes of Cu-O and Hg-O bond covalency are important in governing the superconducting temperature. For the highest T_c sample, Hg had the lowest valence, implying that lower valence of Hg was preferred in order to produce higher T_c. For fixed n, the valence of Cu in oxygen annealed samples was larger than that in argon annealed samples, indicating that oxygen annealed samples produced more carriers than argon annealed samples.     

约束层对激光驱动冲击波压力影响机理的理论研究

针对刚性约束层、柔性约束层以及液体约束层，从激光诱导冲击波阵面状态、汽化物(包括气体和等离子体)扩散以及冲击波的反射进行分析，发现对于脉宽小于冲击波通过汽化物层的时间间隔的短脉冲激光，约束层并不能直接提高冲击波的冲量，而对于脉宽大于冲击波通过汽化层时间间隔的激光，其增强冲击效果是通过约束汽化物的扩散，提高压力幅值和由于冲击波在约束层与工件表面的多次反射而延长对工件的作用时间来实现的.刚性约束层能最大地增加冲击冲量，而柔性约束层和液体约束层的主要优点是其形状可与非平面形工件表面符合. 关键词： 激光 约束层 扩散 反射波     

掺钕聚甲基丙烯酸甲酯的光学特性

研究了制备的掺钕螯合物Nd(DBM)3Phen材料的吸收光谱、激发光谱、荧光光谱,应用Judd-Ofelt理论计算了该材料的强度参量．分析了钕离子激发态4F3／2的辐射寿命(631 μs)和4F3／2→4IJ′跃迁的受激发射截面和荧光分支比．     

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     

On Dirichlet Characters of Polynomials

The main purpose of this paper is to use the properties of Gaussiansums and the analytic method to study the problem of calculatingone kind of character sums modulo q, and to give an interestingidentity. 2000 Mathematics Subject Classification 11L10, 11L40.     

用AD590自组数字温度计的设计实验

本介绍了用ADS90自组数字温度计实验，说明了实验步骤和数据处理等过程。     

多相体系中Ni-PMMA纳米复合材料的γ辐射制备

在多相体系中 ,运用γ射线辐射法 ,在常温常压下成功地一步合成了镍 聚甲基丙烯酸甲酯 (Ni PMMA)纳米复合材料 .XRD、TEM分析和IR光谱表明 ,在此实验条件下 ,镍离子和甲基丙烯酸甲酯已成功地被还原或聚合 ,镍粒子为面心立方 ,尺寸为 7.33nm .研究显示 ,用醋酸钠代替氢氧化钠或氨水作为碱性试剂 ,可以有效地控制体系的pH ,同时不影响单体的聚合 .