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模型 ,进而可对企业家的环境保护意识的好坏进行判断。     

Global and uniform convergence of subspace correction methods for some convex optimization problems

This paper gives some global and uniform convergence estimates for a class of subspace correction (based on space decomposition) iterative methods applied to some unconstrained convex optimization problems. Some multigrid and domain decomposition methods are also discussed as special examples for solving some nonlinear elliptic boundary value problems.

     

中国证券市场股指波动的条件异方差特性分析

股指的波动具有持续性、集聚性 ,如何进行判别 ?本文用 Garch模型理论探讨沪深股指的这种条件异方差特征 ,进一步分析波动是否影响股指未来变化 ,以及股市对利好、利空的消息是否存在不对称的反映。同时 ,比较不同类型的股指的共性及差异 ,并对上述现象作了解释和说明。     

The entropy of Garfinkle-Horne dilaton black hole due to arbitrary spin fields

Using the membrane model which is based on brick wall model, we calculated the free energy and entropy of Garfinkle-Horne dilatonic black hole due to arbitrary spin fields. The result shows that the entropy of scalar field and the entropy of Fermionic field have similar formulas. There is only a coefficient between them.     

Cosmic dust and our origins

The small solid particles in the space between the stars provide the surfaces for the production of many simple and complex molecules. Processes involving the effects of ultraviolet irradiation of the thin (hundredth micron) mantles are shown to produce a wide range of molecules and ions also seen in comets. Some of the more complex ones inferred from laboratory experiments are expected to play an important role in the origin of life. An outline of the chemical evolution of interstellar dust as observed and as studied in the laboratory is presented. Observations of comets are shown to provide substantial evidence for their being fluffy aggregates of interstellar dust as it was in the protosolar nebula, i.e. the interstellar cloud which collapsed to form the solar system. The theory that comets may have brought the progenitors of life to the earth is summarized.     

Reductions of interval nonlinear programming problem

A general nonlinear programming problem with interval functions is considered. Two reductions of this problem to the deterministic nonlinear programming problem are proposed, and illustrative examples are discussed.     

饮酒驾车模型

据统计,我国每天困饮酒过量而产生的车祸竟达交通事故伤亡总人数的50%-60%,酒后驾车的问题已经引起了社会各界的高度重视.为此本文建立了酒后血液中酒精含量的房室数学模型,从而为司机饮酒驾车提供合理的忠告和建议.     

Σ-原子能级的理论计算与分析

通过对Σ-原子的理论分析,数值求解了相应的Dirac方程,得到 了一组Σ-原子的能级值,与实验数据相当吻合;其结果连同K-原子的情况支持了Batty 光学模型势在奇异原子中应用的正确性,进而表明核子间的强相互作用力为吸引力.     

抗生素调节的单种群chemostat模型研究

构建并分构了抗生素调节的单种群chemosta模型 ,得到了依赖于抗生素输入浓度的微生物种群绝灭和一致持续生存的充分条件 .