Banach空间二阶周期边值问题解的存在性

利用一些比较结果，讨论了Banach空间中二阶周期边值问题解的存在性，获得了若干解的存在性与唯一性结果。     

Second Order Nonlinear Evolution Inclusions Ⅰ： Existence and Relaxation Results

This is the first part of a work on second order nonlinear, nonmonotone evolution inclusions defined in the framework of an evolution triple of spaces and with a multivalued nonlinearity depending on both x（t） and x（t）. In this first part we prove existence and relaxation theorems. We consider the case of an usc, convex valued nonlinearity and we show that for this problem the solution set is nonempty and compact in C^1 （T, H）. Also we examine the Isc, nonconvex case and again we prove the existence of solutions. In addition we establish the existence of extremal solutions and by strengthening our hypotheses, we show that the extremal solutions are dense in C^1 （T, H） to the solutions of the original convex problem （strong relaxation）. An example of a nonlinear hyperbolic optimal control problem is also discussed.     

双核系统核子转移驱动势与复合核的最佳激发能

计算了以208Pb为靶的一系列重离子熔合反应双核系统核子转移驱动势.它制约由输运方程所支配的核子转移速率,因而确定了双核系统形成复合核的几率.并由此可确定形成复合核所必须的最低激发能,即形成最稳定复合核的最佳激发能,得到了与已知实验值基本符合的结果. Particle transfer driven potentials in Di nuclear System (DNS) in heavy ion collisions based on 208Pb target are calculated. The driven potential controls the particle transfer velocity in the process governed by the diffusion equation, and as a consequence determines the compound nuclear formation probability of DNS. The minimum excitation energy to form a compound nucleus, which is the optimum excitation energy to form the most stable compound nucleus, has been calculated, and the results are basica...     

创造性思维训练在物理实验教学中的实践

第三次全国教育工作会议以来，创新能力与实践能力的培养越来越成为物理教学的重点与趋势．21世纪对人才的要求，也需要有创造力、协作能力和团队精神等科学素质．物理实验是培养学生科学素质的最有效途径，也是培养学生创造力与创造性思维的最佳途径．在获得诺贝尔物理学奖的物理     

自然数集上一类函数方程的通解

李建潮先生在《数学通报》2 0 0 2年第 6期上提出的问题 1 380 ,本质上是一类自然数集上函数方程之求解问题 .李先生在随后给出的解答中 ,其解法略显特殊性 ,兹将此一类问题抽象为一般形式 ,并得到了一般的求解方式 .定理　设N是自然数集 ,k是固定的自然数 ,函数f:N →N满足 f(n+ 1 ) >f(n) fk(n) =(k + 1 )n其中fk表示f的k次迭代 ,其定义为fk(n) =f(fk- 1 　(n) ) ,则f(m) =(k+ 1 ) n(i+ 1 ) +l,当m =(k+ 1 ) ni+l(k + 1 ) [(k+ 1 ) n+l],当m =(k+ 1 ) nk +l其中 0≤l≤ (k+ 1 ) n,0≤i≤k- 1 .证明　由 知fk( 1 ) =k+ 1 .如果f( 1 ) =1…     

REGULAR RELATIONS AND MONOTONE NORMAL ORDERED SPACES

In this paper the classical theorem of Zareckii about regular relations is generalized and an intrinsic characterization of regularity is obtained. Based on the generalized Zareckii theorem and the intrinsic characterization of regularity, the authors give a characterization of monotone normality of ordered spaces. A new proof of the Urysohn-Nachbin lemma is presented which is quite different from the classical one.     

真值维护系统的语义研究

本文研究了带有CP(Conditional Proof)验证式 TMS(Truth Maintenance System)理论的形式语义,证明了TMS理论J转换为新理论J*后,原指称的有效性;讨论了U. Junker和Kurt Konolige所定义的不带CP验证式 TMS理论的扩充在我们的语义模型中的有效性。此外,本文还讨论了CP验证式的一些性质,结论是:CP验证式和非单调可证明性、逻辑真有着密切的关系。     

抽样调查中最佳测量次数的确定

现场抽样调查中，由于测量误差的存在，使得所测变量实测值的方差增大，通过增加每个体的测量次数可以控制测量误差，但这样每个体调查费用增大。本文对测量信度Ｒ，每个体测量次数ｍ与相应所需的样本含量ｎｍ、调查费用Ｔｎ的关系进行了探讨，并介绍了如何根据Ｒ，及每个体测量费用占其总费用构成比Ｃ，确定最佳测量次数ｍ值，以达到最佳控制调查费用的目的，这对我们在大型现场调查中进行经济效益分析具有重大的理论指导意义。     

一类混合单调算子的不动点定理及其应用

本文对一类重要的混合单调算子证明了不动点的存在、唯一与逼近定理，并应用于研究动态规划中泛函方程的正解问题．