96MeV 16O+64Ni反应机制的研究

在96MeV ¹⁶O离子轰击下,测量了¹⁶O+⁶⁴Ni反应出射碎片(α直至O元素)的Wilczynski图和角分布,并提出DIC截面和反应时间等物理量;讨论了反应的DIC特征;看到了出射碎片α和Li主要来源于复合核蒸发的迹象.     

多目标分数变分问题的对偶性

本文利用参数逼近在函数广义（F，ρ）－凸的条件下，建立了一类多目标式变分问题关于有效解的对偶理论。     

基于变芯径光纤的光学系统在光造型中的应用

光学系统采用变芯径光纤，可大幅度提高光的传输效率，增加光学子系统柔性。描述了光造型工作原理及其理论依据，在介绍所研制的光的成型系统光学子系统的基础上，阐述了紫外光源的选择与设计，及变芯径光纤的设计、传输、耦合与聚焦等技术。该套基于变芯径光纤的光学子系统成本低、体积小、效率高，巳成功应用于所研制的台式低成本快速成型系统中，为该系统的进一步推广奠定了技术基础。     

局部紧集上的广义向量均衡问题

利用数值化方法和 Browder 不动点定理,得到一类新的广义向量均衡问题解的存在定理,并用于向量变分不等式、向量相补问题和抽象向量优化问题,得到其解的存在定理.     

A Multisymplectic Variational Framework for the Nonlinear Elastic Wave Equation

A multisymplectic variational internal energy corresponding equation, its associated local framework for the nonlinear elastic wave equation is presented. The modified to the approximate nonlinea.r elastic wave equation is derived, we obtain the energy and momentum conservation laws as well as the multisymplectic form simultaneously directly from the variational principle     

BRILL－NOETHER MATRIX FOR RANK TWO VECTOR BUNDLES

Lei X be an arbitrary smooth irreducible complex projective curve, E (?) X a rank two vector bundle generated by its sections. The author first represents E as a triple {D1,D2,f}, where D1 , D2 are two effective divisors with d = deg(D1) + deg(D2), and f ∈ H0(X, [D1] |D2) is a collection of polynomials. E is the extension of [D2] by [D1] which is determined by f. By using f and the Brill-Noether matrix of D1 + D2, the author constructs a 2g X d matrix WE whose zero space gives Im{H0(X,[D1]) (?) H0(X, [D1] |D1)}(?)Im{H0(X, E) (?) H0(X,[D2]) (?) H0(X,[D2] |D2)}. From this and H0(X,E) = H0(X, [D1]) (?) Im{H0(X, E) (?) H0(X, [D2])}, it is got in particular that dimH0(X, E) = deg(E) - rank(WE) + 2.     

广义Hénon映射的滑模变结构控制同步

基于可线性化的非线性离散变结构跟踪控制方法实现了广义Hénon映射混沌系统的同步.广义Hénon映射的混沌吸引子比Hénon映射的混沌吸引子要复杂得多,对于保密通信来说,这种复杂性正是所期望的.提出的同步方法允许参数有适当的失配程度,这对工程实现是非常有利的,理论分析和仿真结果证实了该方法的有效性 关键词： 广义Hénon映射 混沌 同步 变结构控制     

关于概率测度收敛的注记(英文)

本文给出并证明了概率测度收敛中不为人俗知的一个结果 .     

一类广义非线性混合拟变分包含组

本文引入了一类新的带松弛单调映射和松弛Lipschitz映射的广义非线性混合拟变分包含组 ,构造了求解该类变分包含组的迭代算法 ,证明了该类变分包含组解的存在性以及由本文构造的迭代算法产生的迭代序列的强收敛性 .所得结果推广和改进了大量文献中的最新结果[1 5 ] .     

基于项重写技术的机器发现逻辑

机器学习与机器发现的研究需要借鉴机器定理证明技术的成果和现代科学哲学的方法论.遵循这两个观点,本文扩展了基于项重写规则法的机器定理证明技术,使之能解决某些有关机器发现的问题.在此基础上给出了Lakatos 发现方法论的一个形式系统,并建立了实现Lakatos方法的算法.