高维无穷时滞NFDE概周期解的存在性和稳定性

讨论高维的中立型泛函微分方程ddtx(t)-∫0-∞q(s)x(t+s)ds=A(t,x)x(t)+f(t,xt)的概周期解问题。利用Ch空间,矩阵测度和Krasnoselski不动点定理获得了其概周期解的存在性与惟一性定理。特别地,当q=0时给出了存在惟一且一致稳定概周期解的条件,推广了文献[1～5]的结果。     

广生灭过程的积分型随机泛函

讨论了广生灭过程的积分型随机泛函的概率分布，给出了分布的拉氏变换所满足的差分方程，且求出了它们的解     

二维非线性正交各向异性材料的瞬态热传导反问题数值方法

针对正交各向异性材料的二维非线性热传导反问题,采用顺序函数法进行表面热流辨识问题的研究。在求解反问题时,采用有限体积法、牛顿-拉夫逊法并引入未来时间步的概念。在每个时间步内,将待辨识热流视为非线性方程组的未知量,通过一个迭代过程进行求解。算例的研究表明,热流辨识结果与真实热流相近,从而证明了本方法在辨识二维非线性热传导反问题时是准确、稳定、有效的。     

内置谓词函数依赖及其推理规则

研究内置谓词函数依赖及其推理规则.首先提出内置谓词函数依赖,定义了内置谓词函数依赖的语法和语义;其次提出属性-约束集闭包概念,提出计算属性-约束集闭包的算法,判断内置谓词函数依赖逻辑蕴涵;然后提出内置谓词函数依赖的推理规则集A,证明推理规则集A是可靠且完备的,用于内置谓词函数依赖蕴涵分析的形式化证明;最后讨论了内置谓词函数依赖的应用.     

双官能团有机化合物命名规则探讨

系统总结了在教材中双官能团有机化合物的命名规则,对教材内容提出了适当的补充,综合了各类双官能团有机物的命名特点,得出适用于双官能团有机物的命名规则,丰富了教材内容。     

一类具有时滞的捕食系统的稳定性与Hopf分支

研究一类具有时滞的两种群捕食系统,通过分析特征方程讨论了正平衡点的局部稳定性问题。通过构造适当的Lyapunov泛函,得到了保证系统正平衡点全局渐近稳定的充分条件,并讨论了在正平衡点附近Hopf分支的存在性问题。     

多轴特种车辆轮胎系统抗毁伤能力等毁线表征方法

为了探究战场威胁下多轴特种车辆轮胎系统的生存概率,对轮胎系统的抗毁伤能力进行量化表征,提出了一种基于等毁线的轮胎系统抗毁伤能力表征方法。针对轮胎毁伤状态下对整车的影响,基于车辆动力学对轮胎系统的力学特性进行量化表征,建立了轮胎系统功能毁伤的计算模型;采用毁伤理论对冲击波超压场进行弹目交会和量化分析,建立了轮胎系统物理毁伤的计算模型;根据爆心与车辆的位置关系,采用面向车辆全面域的计算特征线,建立了轮胎系统等毁线计算模型。以某型五轴特种车辆为例,进行了表征方法验证。研究结果表明:该表征方法可应用于战场威胁下多轴特种车辆轮胎系统的抗毁伤能力表征,为后续机动规避和防护能力提升奠定模型基础。     

脑功能光学成像研究进展

首先对脑功能成像技术的研究背景和发展历程进行了简单的回顾 ,然后对脑功能光学成像方法进行了分类综述 ,主要介绍了电压敏感性染色成像、内源光学成像、光学相干层析成像、神经元活动相关光信号成像等成像方法的原理和最新进展 ,并总结了选择光学成像系统所应考虑的因素 ,最后 ,通过对各种成像方法的分析和比较 ,提出了改进和完善脑功能光学成像技术的建议 ,并对脑功能光学成像技术的发展前景指出了一些可能的方向     

浅谈战伤修理备件研究

分析了装备战伤修理与平时维修的主要差别,指出平时装备备件研究基本假设不适用于战伤修理备件研究。在此基础上作者介绍了另一种适合于战伤修理备件研究的基本假设,给出了基本的数学推导。最后作者还提出了战伤修理备件研究的一般步骤。     

关于泛函微分方程 x''(t)=A(t)f(x(t)，x(x(t)))

本文研究方程:x'(t)=A(t)f(x(t),x(x(t)))强解的渐近性态,对Eder,Wang (王克) 等的结果作了部分推广。