非线性波方程准确孤立波解的符号计算

该文将机械化数学方法应用于偏微分方程领域，建立了构造一类非线性发展方程孤立波解的一种统一算法，并在计算机数学系统上加以实现，推导出了一批非线性发展方程的精确孤立波解．算法的基本原理是利用非线性发展方程孤立波解的局部性特点，将孤立波表示为双曲正切函数的多项式．从而将非线性发展方程（组）的求解问题转化为非线性代数方程组的求解问题．利用吴文俊消元法在计算机代数系统上求解非线性代数方程组，最终获得非线性发展方程（组）的准确孤立波解.  

奇异二阶边值问题的正解

本文分别在f超线性和次线性的情形研究非线性边值问题。u″＋a（t）f（u）＝0；αu（0）－βu′（0）＝0，γu（1）＋δu′（1）＝0的正解的存在性．其中a在端点可以具有奇性．  

On adjacent-vertex-distinguishing total coloring of graphs

In this paper, we present a new concept of the adjacent-vertex-distinguishing total coloring of graphs (briefly, AVDTC of graphs) and, meanwhile, have obtained the adjacent-vertex-distinguishing total chromatic number of some graphs such as cycle, complete graph, complete bipartite graph, fan, wheel and tree.  

图的距离不大于β的任意两点可区别的边染色

本文提出了图的距离不大于β的任意两点可区别的边染色,即D(β)-点可区别的边染色(简记为D(β)-VDPEC)．并得到了一些特殊图类,如圈、完全图、完全二部图、扇、轮、树以及一些联图的D(β)-点可区别的边色数,文后提出了相关的猜想．  

Lukasiewicz n值命题逻辑中命题的真度理论

利用势为 n的均匀概率空间的无穷乘积在 Lukasiewicz n值命题逻辑中引入了公式的真度概念,当3≤n≤17时证明了全体公式的真度值之集在[0,1]上是稠密的,并给出了公式真度的表达通式;利用真度定义了公式间的相似度,进而导出了全体公式集上的一种伪距离,为n值Lukasiewicz命题逻辑系统的近似推理理论提供了一种可能的框架。  

二阶非线性常微分方程的正周期解

本文应用Ｋｒａｓｎｏｓｅｌｓｋｉｉ锥映射不动点定理，研究了二阶非线性常微分方程的ω-周期解的存在性，获得了若干正ω-周期解的存在性与多重性结果．  

一类非线性m-点边值问题正解的存在性

设α∈C[0,1],b∈C([0,1],(-∞,0)).设φ(t)为线性边值问题 u″+a(t)u′+b(t)u=0, u′(0)=0,u(1)=1的唯一正解.本文研究非线性二阶常微分方程m-点边值问题 u″+a(t)u′+b(t)u+h(t)f(u)=0, u′(0)=0,u(1)-sum from i=1 to(m-2)((a_i)u(ξ_i))=0正解的存在性.其中ξ_i∈(0,1),a_i∈(0,∞)为满足∑_(i=1)~(m-2)a_iφ_1(ξ_i)<1的常数,i∈{1,…,m-2}.通过运用锥上的不动点定理,在f超线性增长或次线性增长的前提下证明了正解的存在性结果.  

抽象半线性发展方程初值问题解的存在性

本文研究Banach空间E中具有非紧半群的半线性发展方程初值问题u′(t)+Au(t)=f(t,u(t)),t≥0;u(0)=x_0解的存在性,其中-A为E中等度连续C_0-半群的生成元,f:[0,∞)×E→E连续。在f满足较弱的非紧性测度条件下,获得了该问题饱和mild解的存在性。特别,当E为有序弱序列完备Banach空间时,我们获得了一个不需要非紧性测度条件的便于应用的存在性结果。  

Radioactive ion beam line in Lanzhou

Radioactive ion beam line in Lanzhou (RIBLL) has been constructed for the production of short-lived radioactive nuclei and studies of exotic nuclei far from the β-stability line. It has been put into operation recently at the National Laboratory of Heavy Ion Accelerator Lanzhou. RIBLL consists of two doubly achromatic parts with a solid acceptance ΔΩ⩾6.5 msr, momentum acceptance Δp/p=±5% and maximum magnetic rigidityBp _max=4.2 Tm. The second part of RIBLL serving as a spectrometer gives an element resolutionZ/ΔZ>150 and mass resolutionA/ΔA>300. The polarized secondary beams can be obtained by using a swinger dipole magnet to change the incident direction of primary projectile from 0° to 5°. The shortest lift time for secondary beams on RIBLL is less than 1 μs. First experiments were performed with neutron rich nuclei for understanding the properties of halo nuclei and exotic nuclear reactions. Project supported by the Chinese Academy of Sciences, the State Science and Technology Commission of China, the National Natural Science Foundation of China (Grant No. 19675055).  

抽象半线性发展方程的正解及应用

本文讨论了有序Ｂａｎａｃｈ空间中的正算子半群的特征，把通常常微分方程及偏微分方程的上、下解方法引入到有序Ｂａｎａｃｈ空间中的半线性发展方程，获得了整体解与正解的存在性．