有限族渐近拟非扩张现象的收敛性定理

在Banach空间中,引入和研究了有限族渐近拟非扩张映象的一个新的迭代程序,证明了这类迭代程序的收敛性定理,本质地改进和推广了一些人的最新结果.     

广义Sylvester矩阵方程AX-XF=BY的显式解

给出了广义Sylvester矩阵方程AX-XF=BY当F为任意矩阵时的一种完全的解析通解.该通解由矩阵对(A,B)构成的能控性矩阵,一个对称算子矩阵和矩阵对(Z,F)构成的能观性矩阵组成,这里Z是一个任意的参数矩阵,用来表征该方程的解的自由度.利用著名的Levverrier算法,该解析解的一个等价形式被给出.给出的结果是参考文献[13]的推广,在[13]中F被假设为友矩阵.     

Banach空间中显凸泛函的两个充分条件

在Banach空间中给出了显凸泛函的概念,然后利用泛函的G-可微性,给出了显凸泛函的两个充分条件.即如果泛函J:V→R在V中是G-可微的,且其G-微分满足1)(A)u,v∈V,J(u)≠J(v),有J(v,u-v)＜J(u)-J(V);或者2),(A)u,v∈V,J(u)≠J(v),有J‘(u,u-v)-J‘(v,u-v)＞0,那么J在V中是显凸的.     

三维视景下战车炮控系统仿真技术研究

在简要介绍了战车炮控系统工作过程及其特点的基础上,阐述了该系统在三维视景下稳定工作过程和瞄准工作过程仿真的基本方法,并以某型坦克装备的炮控系统为例,给出了瞄准过程的数学模型,推导了相关模型的差分方程形式,并讨论了参数选择和计算步长的选取问题。仿真实验结果证明,该基本技术与方法不仅工程实践上可行,同时可以极大地增强三维视景下的真实感。     

基于HLA/pRTI的卫星姿轨控系统仿真研究

基于高层系统结构HLA/pRTI对卫星姿轨控系统的仿真进行了初步研究,提出了姿轨控系统仿真软件平台的基本框架,介绍了姿轨控系统模型,给出了联邦FOM模型及时间管理策略。在自主研制的SSVS仿真平台上对卫星在轨运行场景进行了一体化分布仿真,对仿真结果进行了分析,并得出结论。     

生物组织冻结相变过程的数值模拟

建立了生物组织(含正常生物组织和肿瘤)冻结过程的传热模型.生物组织作为一种多孔介质,其相变发生在一个温度范围内,且存在一个固相与液相共存的糊状过渡区.采用显热容法模拟了生物组织冻结过程中的传热和冰晶增长过程.模拟结果显示,在冻结过程中,冷刀的初始温度越低,冷刀的降温速率越快,生物组织内温度下降和冰晶增长的速率越快.结果还表明组织中液相流动会增加生物组织内传热和冰晶生长的速度.计算结果为冷刀设计和冷冻外科手术提供了理论依据.     

冷弯成型过程的弹塑性大变形有限元模拟

为了缩短冷弯型钢产品的开发周期,提高产品质量和力学性能。采用ANSYS里的LS -DYNA模块对槽钢辊式加工工艺进行显示动力学有限元法模拟,分析成型中轧件的变型特点及应力应变分布,为冷弯成型CAD\CAE技术提供有力的实验数据和理论支持,最终应用于实际生产。     

T型管液压成形过程的有限元分析

应用动态显式有限元法,建立了T型管液压成形分析模型,对不同加载条件下的模拟结果进行对比,分析了轴向载荷的作用,探讨了最佳载荷曲线的确立原则.     

常系数线性差分方程通解的显式表示

将n阶常系数线性差分方程化为矩阵形式,利用Frobenius矩阵求得特解的显式表示,进而求得它的通解的显式表示,该通解不涉及不定方程求非负解问题,并给出用二项式系数表示广义Fibonacci数列解的关系式.     

第四类华罗庚域上的Bergman核函数

显式给出了第四类华罗庚域HEⅣ上的Bergman核函数及其全纯自同构群。