一类宏观经济学中的二阶离散方程的正解的有界性

利用Leray-Schauder延拓定理,使用对角化方法考虑了来源于宏观经济学中的一类二阶差分方程的有界性.     

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

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

Micro-vibrating spatial filters-induced beam positioning stability in large laser system

A dynamic beam propagation model of micro-vibrating spatial filters in inertial confinement fusion(ICF) facilities is built based on the additional beam in SG-II facility.The transfer matrix is then deduced,and the sensitivities of the beam positioning to the pellet in the target area to the vibrations of every spatial filter are analyzed,which indicates that the vibrations of spatial filters in the pre-amplify zone has less effects on beam positioning stability at the target.In addition,the vibrations of spatial filters in the main amplify zone dominates the beam positioning stability of the target,especially the vibration of the spatial filter SF7.     

Pólya 方法与逐次差分代换方法

通过检查某些特定型系数的非负性来证明给定型非负性的方法中, 最典型的是Pólya 方法与基于重心矩阵的逐次差分代换方法(GSDS). 本文完整地比较了这两种方法的适用范围, 证明了型f 如果可使用Pólya 方法证明非负性, 则GSDS 方法也可以, 但反之不然. 即GSDS 方法的适用范围严格大于Pólya 方法的适用范围.     

光学器件微振动引起的光束指向稳定性分析

提出一种可以从时域和空域两个方面更准确地表征光束指向稳定性的动态方法,解决大型光学系统中光学器件微振动对光学系统的影响的描述问题.基于实际应用中机械结构的模态分析及微振动对光束的影响,将机械模态和光学系统有机地结合起来,建立了光学器件微振动模型.然后以神光Ⅱ装置中的空间滤波器为研究对象,分析了空间滤波器出射光角度的时间...     

伴随多项式与Miranda定理

原始版本的Miranda定理应用起来不甚方便.利用多项式在Box上的伴随多项式改造了Miranda定理.证明了改造后的结果对代数方程组实正则零点的检测是有效的.     

n元对称多项式的对称核及应用

研究了具有n个变元的对称多项式的相关问题.这里n是整变量,泛指一切正整数.此类问题已经超出了Tarski判定算法所能处理的初等问题的范围.研究的主要方法是将n变元对称多项式表示为一种特殊多项式的和,即对称核的和.给出了计算对称核的方法.作为应用,得到了几类n变元对称多项式不等式成立的充要条件.     

含参Schur型排序不等式

本文类比经典的Schur不等式,建立了几个含参Schur型排序不等式,并将其应用于基本Schur型的含参推广.     

壳聚糖单体溶胶-凝胶煅烧合成LiFePO4_/C正极

本文以壳聚糖单体为碳源兼凝胶剂,利用溶胶-凝胶煅烧合成了锂离子电池LiFePO4/C正极材料.使用XRD和SEM对合成的材料进行表征,用恒电流充放电测试了LiFePO4/C电极的电化学性能.当壳聚糖单体与LiFePO4摩尔比为1:1.2时,600℃煅烧的LiFePO4/C电极性能最佳,其粒径分布均匀(200～400 nm),该电极0.2C倍率放电比容量为155 mAh.g-1,30周期循环放电比容量仍保持152 mAh.g-1,库仑效率为97.9%.     

运载火箭飞行力学环境虚拟试验及可视化系统设计与实现

运载火箭的飞行力学环境随着飞行过程不断发生变化,而当前无论是基于实物试验还是基于数值分析,火箭的飞行力学环境分析大多针对特定飞行状态和工况而无法给出动态变化信息,因此开展了飞行力学环境虚拟试验及可视化技术研究。基于特征代理模型采用Fortran语言设计了场数据快速预测算法,在采样数值仿真的基础上实现了火箭在大气飞行过程中的动态气动力与气动热环境虚拟试验；采用C++开发了实时分站载荷算法,实现了火箭飞行期间的载荷环境虚拟试验。开发了与运载火箭飞行仿真配合的总线通信接口,并基于EnSight开发了分布式动态可视化系统,通过共享内存的进程间通信方式实现了飞行力学环境的动态显示。结果表明,该系统可以给出火箭飞行力学环境的全局和关注点信息的动态变化,为飞行力学环境精细化分析和直观可视化研究提供了手段。