三级近似束流光学计算程序

为了精确计算束流在离子光学系统中的传输,用Visual FORTRAN 6.5语言编写了一个计算程序,长约13000行. 此程序可以计算由三圆筒单透镜、三膜片单透镜、双元筒透镜、均匀场静电加速管、磁四极透镜、六极磁铁、静电四极透镜、偏转磁铁、螺线管透镜、ExB~正交电磁场分析器、静电偏转器、漂浮管、QWR(Quarter Wave Resonators)和SLR(Split Loop Resonators)射频加速元件等元件任意组成的离子光学系统. 粒子轨迹的计算可精确到三级近似. 粒子的分布类型也可以有多种选择. 程序具有最优化计算功能,即可以自动调整元件的参数,以实现所需要的光学条件. 各元件之后的横向和纵向相图以及系统的束流包络线以图形方式显示在屏幕上.     

无限深球方势阱中粒子能级的一个简单近似解析式

本由ＷＫＢ方法和玻尔－索末菲量子化规则，求出了无限深球方势阱中粒子能级近似满足的超越方程；然后通过进一步近似，找到了粒子能级近似满足的解析式并对所得结果的精度进行了计算机分析。     

集值映射的(C,ε)-超次微分和集值优化问题的最优性条件北大核心CSCD

本文研究了集值映射的(C,ε)-超次微分.首先,引进了集合的(C,ε)-超有效点,呈现了(C,ε)-超有效点的一些性质和等价刻画,在(C,ε)-超有效性意义下,获得了集值优化问题的标量化定理.其次,定义了集值映射的(C,ε)-超次微分,研究了(C,ε)-超次微分的存在条件,建立了用(C,ε)-超次微分刻画的Moreau-Rockafellar定理.最后,作为应用,建立了涉及(C,ε)-超次微分的集值优化问题的最优性条件.本文获得的结果统一和推广了一些文献中用超次微分或ε-超次微分刻画的结果.     

On the Integration by Parts and Characterization of a Fractional Diffusion Process北大核心CSCD

本文研究分数扩散过程和其分部积分公式的关系.首先利用Bismut方法给出拉回公式,进而得到分数扩散过程的分部积分公式。反过来,证明了分数扩散过程可由其分部积分公式唯一刻画.     

一般Brown桥的解析解、数值解及仿真

对任意区间[t₀,t₁]任意初值为x₀和终值为x₁的Brown桥,即随机微分方程dx=(x₁-x)/(t₁-t)dt+dB(t) x(t₀)=x₀,给出其解析解(包括随机积分解和Fourier级数解),及Milstein数值解并进行期望和方差分析,求得期望函数、期望±标准差曲线和95%置信区间边界曲线.并对不同Brown运动对应的不同轨线实现进行仿真模拟.对一个非真实的近似解加以辨别.     

一般关系下的n-阶FC-粗糙集模型

给出一般模糊环境下n阶-FC-粗糙近似算子的定义,讨论它的一些性质,并通过α-水平集给出各种n-阶模糊粗糙集的表示。进而给出模糊传递闭包近似算子的定义,得到相应的结果。     

美英早期几何教材中的棱台体积公式

笔者选取1829年-1948年期间出版的75种美英几何教材,考察其中关于棱台体积公式的内容,研究发现相关教材中推导棱台体积公式的四种方法,即分割法、构造法、定义法和公式法.相关观点和素材为HPM视角下棱台体积公式的教学提供有益的参考.     

关于Taylor公式中Lagrange余项的再研究

在Azpeitja对Taylor公式中Lagrange余项的"中间点"渐近性的研究基础上,又建立几个易于验证和推广的结果.     

高维Cotes优化积分数值算法及其余项估计

利用一维Cotes公式及高维积分Cartesian积空间上的求积法则,将Cotes公式推广到了n维空间上,并给出了简单的误差估计.该公式具有比文[4],[5],[6]相关结果更小的误差和更高的收敛阶等优点.     

特征函数的性质

得到了特征函数、条件特征函数的一致可微性和条件特征函数的反演公式.