一类无穷域上高分数阶微分方程正解的存在性

为了研究无穷域上高分数阶微分方程多点边值问题正解的存在性,采用Schauder不动点定理及抉择定理,给出一类无穷域上高分数阶微分方程正解的存在条件以及迭代解,对分数阶微分方程解的存在性问题进行向高阶的推广.     

人线粒体蛋白编码基因C2ORF47在细胞增殖与凋亡中的作用初探

线粒体在真核细胞中扮演着重要的角色,其功能障碍与许多疾病的发生密切相关.在这项研究中,我们鉴定了一个有Tim44样结构域(Tim44-like domain)的人类线粒体蛋白编码基因C2ORF47(chromosome 2openreading frame 47).该基因是从人的睾丸组织中克隆出来的,在人体各种组织中广泛表达.序列比对和进化分析表明,该蛋白质和其同系物在脊椎动物中是保守的.采用免疫荧光技术,我们发现该基因产物定位于线粒体.过表达C2ORF47可以抑制细胞增殖.使用siRNA敲减内源的C2ORF47能促进细胞增殖.此外,敲减C2ORF47会导致糖和血清饥饿引发的细胞凋亡大幅减少.总之,在细胞增殖和由饥饿引发的细胞凋亡的调控中,该基因可能发挥重要作用.     

自旋弹道导弹模型及运动特性分析

自旋是弹道导弹的一种新的突防手段,在助推段进行滚动飞行,可以减少强激光照射的驻留时间,有效对抗激光反导。但是导弹自旋会导致控制耦合、惯性耦合和气动耦合,而且会随着滚速的增加,耦合增强,俯仰和偏航通道的相互干扰会对自旋稳定飞行产生较大的影响。开展了这方面的初步研究,建立了自旋弹道导弹模型,通过时域的仿真初步分析了弹道导弹低滚速的滚动飞行特性,得到了有益的结论。     

基于差分投影与优割字符的车牌字符分割

针对车牌字符分割提出一种基于差分投影与优割字符的车牌字符分割算法.该方法利用水平差分投影图进行倾斜校正和水平切割,使得倾斜校正和水平切割同时进行,在降低算法的复杂度的同时提高了水平定位精确度.然后,结合垂直投影和连通域算法寻找车牌的优割字符,生成滑动的分割模板进行字符的垂直分割,有效地解决了字符粘连、断裂情况下字符识别问题.实验证明该方法分割速度快,分割质量好,对于模糊车牌识别具有自学习品质和很强的抗干扰性能.     

厢式超大型浮体瞬态水弹性响应有限元分析

建立了分析任意动力外荷载作用下超大型浮体瞬态弹性响应的时域有限元方法,并通过已有的试验数据对该方法进行了验证.对浮式跑道在飞机着陆期间的瞬态行为进行了数值仿真分析,其中,飞机在着陆期间产生的外力、飞机的位置以及速度时间历程均采用波音747-400大型喷气式客机的数据进行模拟.计算结果表明:飞机着陆早期其滑行速度超过跑道弹性变形波速,而随着飞机减速直至完全停止后,弹性变形波才超过飞机并与停止的飞机碰撞而使部分弹性波被反射.     

代数多重网格与多波前技术综合并行有限元分析方法

提出一种新的有限元并行计算格式，将代数多重网格、块迭代与多波前技术综合用于有限元分析，具有不限制节点编号顺序、编程简单、存储量小和计算时间少的优点。并行程序是在国家高性能计算中心（北京）的曙光1000A上借助PVM（Parallel Virtual Machine）软件系统实现的，PVM系统用于处理各计算节点间的通信。考题显示出较高的并行加速比和效率。     

Banach空间中一类具有无穷时滞泛函积分微分方程解的存在性

讨论了Banach空间中一类具有无穷时滞泛函积分微分方程解的局部存在性和整体存在性。利用算字半群和无穷时滞理论以及Schauder不动点定理证明了方程解的局部存在性。引入一个适当的不等式条件,并利用解的延拓性质获得了整体存在性。所得结果推广了这类方程解的存在性的已有结论。     

解四阶椭圆问题的区域分解算法——多子域重叠情形

提出用Ｍｏｒｌｅｙ非协调有限元解四阶椭圆问题的多子域并行Ｓｃｈｗａｒｚ交替算法,找出了其内含的预处理器,进行了数值试验．     

双向模糊综合评判模型及应用

目的解决贸易谈判中的价格评估,寻找双方都能接受的价格区间。方法根据实际问题,建立一个商业谈判中双向模糊综合评判模型,并运用这个模型解决了服装谈判中买卖双方初步讨价还价的双向模糊综合评判问题。结果建立起了谈判模型,并利用模型分析了服装谈判。结论这个模型是可行的,并符合双方预期。     

时域中系统鲁棒稳定性的定量计算

本文定量地考虑了当系统参数受到干扰时的稳定性问题。目的为对以状态空间法表示的线性系统鲁棒稳定性的定量计算提出一个统一的结论。文中首先对摄动的分类及对用李亚普诺夫理论求解受扰系统鲁棒稳定性的历史结果进行了述评,进而对其摄动的允许界限的计算提出了新方法。实例表明所示结果较少保守性。