L-型模糊格蕴涵代数

This paper introduced the concept of L-fuzzy sub lattice implication algebra and discussed its properties. Proved that the intersection set of a family of L-fuzzy sub lattice implication algebras is a L-fuzzy sub lattice implication algebra, that a L-fuzzy sub set of a lattice implication algebra is a L-fuzzy sub lattice implication algebra if and only if its every cut set is a sub lattice implication algebra, and that the image and original image of a L-fuzzy sub lattice implication algebra under a lattice implication homomorphism are both L-fuzzy sub lattice implication algebras.     

Continuous spectral decompositions of Abelian group actions on -algebras

Let G be a locally compact Abelian group. Following Ruy Exel, we view Fell bundles over the Pontrjagin dual group of G as continuous spectral decompositions of G-actions on C^*-algebras. We classify such spectral decompositions using certain dense subspaces related to Marc Rieffel's theory of square-integrability. There is a unique continuous spectral decomposition if the group acts properly on the primitive ideal space of the C^*-algebra. But there are also examples of group actions without or with several inequivalent spectral decompositions.     

Ultra <Emphasis Type="Italic">LI</Emphasis>-ideals in lattice implication algebras and <Emphasis Type="Italic">MTL</Emphasis>-algebras

A mistake concerning the ultra LI-ideal of a lattice implication algebra is pointed out, and some new sufficient and necessary conditions for an LI-ideal to be an ultra LI-ideal are given. Moreover, the notion of an LI-ideal is extended to MTL-algebras, the notions of a (prime, ultra, obstinate, Boolean) LI-ideal and an ILI-ideal of an MTL-algebra are introduced, some important examples are given, and the following notions are proved to be equivalent in MTL-algebra: (1) prime proper LI-ideal and Boolean LI-ideal, (2) prime proper LI-ideal and ILI-ideal, (3) proper obstinate LI-ideal, (4) ultra LI-ideal. This work was supported by the Zhejiang Provincial Natural Science Foundation of China (Grant No. Y605389) and K. C. Wong Magna Fund in Ningbo University.     

随机截断下NA样本半参数回归模型中的相合估计

本文研究固定设计下的半参数回归模型在相应变量Yi因受到某种随机干扰而被右截断且截断分布已知时,利用所获的截断观察定义了参数β和回归函数g(·)的估计,并证明了它们均具有强相合性.     

数学物理方程中的通解问题

通过例证说明,通解法对于偏微分方程而言,其适用范围要比通常认为的大.并表明,只要适当变通,行波法就可用于有界情况.     

Investigation and reduction of variance of a weighted estimate in numerical statistical simulation

The efficiency of the “value” and “partial value” modeling related to the construction of a modeling distribution for an auxiliary random variable by multiplying the initial density by a value function is investigated. The value function usually corresponds to a solution of the adjoint equation. Conditions under which the value modeling of the initial distribution reduces the variance compared to the direct simulation are obtained. It is proved that the variance of the weighted estimate is bounded in the case of the partial value modeling. This proposition provides a basis for a method for determining whether or not the variance of the weighted estimate is bounded. This method uses the majorizing adjoint equation. Using a practically important problem in transport theory as an example, the asymptotic optimization of the distribution of the mean free path is presented. The application of the proposed method of the investigation of the variance boundedness for the analysis of the classical exponential transformation method of simulating the mean free path of a particle in the one-dimensional and the spherical variants is discussed.     

He-HCl体系各向异性势及分波散射截面的理论研究

首先用BFW势函数形式拟合了在CCSD(T)/aug-cc-pVQZ理论水平下计算的He-HCl相互作用能数据，获得了He原子与HCl分子相互作用的各向异性势；然后采用CC近似方法计算了He-HCl碰撞体系的微分散射截面和分波散射截面，并总结了分波散射截面的变化规律.结果表明，拟合势不但表达形式简洁，而且较好地描述了He-HCl系统相互作用的各向异性特征；利用碰撞体系分子间势的量子化学从头计算结果，可解决势能参数难以确定的问题.对进一步研究原子与分子碰撞机理有一定参考价值. 关键词： 各向异性势 势能参数 密耦近似 分波散射截面     

Decision methods for linearly ordered Heyting algebras

The decision problem for positively quantified formulae in the theory of linearly ordered Heyting algebras is known, as a special case of work of Kreisel, to be solvable; a simple solution is here presented, inspired by related ideas in Gödel-Dummett logic.