一类多时滞泛函微分方程周期正解的存在性

利用非线性泛函分析中半序Banach空间的锥理论和不动点指数方法,讨论了一类多时滞泛函微分方程周期正解的存在性问题,并得到此类多时滞泛函微分方程周期正解存在的几个充分条件。     

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

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

遗传算法的泛函极值求解与应用

路径规划可以描述为泛函极值模型.针对传统的变分法、最大值原理等求解泛函目标函数类型有限的局限性,考虑遗传算法在解空间中进行随机优化搜索的特点,引入遗传算法对泛函极值问题进行求解,给出了求解过程.该方法具有广泛适应性,数值仿真结果表明了该算法的有效性和合理性.最后得到了飞行器飞行的最优控制规律和最优路径.     

中立型泛函微分方程解的有界性

对于有限时滞中立型泛函微分方程,利用Liapunov泛函的方法,研究了方程解的有界性,得到了便于应用的判据。     

关于半鞅的可料表示性

利用鞅空间H1的泛函表示定理、泛函分析中的Hahn-Banach定理、半鞅向量随机积分的Girsanov定理,获得了半鞅可料表示性的特征。由于使用的是半鞅的向量随机积分,它推广了经典的结论。     

一类多时滞泛函微分方程周期正解的存在性

利用非线性泛函分析中半序Banach空间的锥理论和不动点指数方法,得到了一类多时滞泛函微分方程周期正解存在性的充分性条件。     

一类非线性时滞双曲型偏微分方程的振动性

研究一类非线性时滞双曲型偏泛函微分方程解的振动性,利用微分不等式方法和广义Riccati变换,获得了该类方程在第一类边值条件下振动的新的充分条件,所得结果通过实例加以阐明.     

微分算子插值样条解析性质的一种新证法

讨论带线性泛函约束的微分算子插值样条 ,在空间Wm2 中给出了由约束泛函和微分算子构造再生核的普遍方法 ,利用微分算子及其共轭微分算子零空间基底之间的关系得到了微分算子插值样条解析性质新的推导方法。     

具有时滞的Cohen—Grossberg神经网络的Hopf分支全局存在性研究

摘要：利用泛函微分方程的度理论,研究一类具有时滞的Cohen-Grossberg神经网络的全局分支的存在性,研究结果为该类神经网络的应用设计提供理论基础．     

具有时滞和变消耗率的比率型Chemostat模型稳定性分析

研究了一类具有时滞和变消耗率的比率型Chemostat模型,讨论了边界平衡点和正平衡点的局部稳定性以及Hopf分支的存在性;利用比较原理和构造Lyapunov泛函,给出了边界平衡点和正平衡点的全局稳定性的充分性条件;并通过数值模拟验证了理论结果。     

防护工程功能毁伤评估模型研究

目前，防护工程功能毁伤评估模型在全面性和系统性上都存在不足。为解决这一问题，本文采用层次分析思想对防护工程各层级关系进行了梳理，构建了一种物理毁伤与功能毁伤相结合的函数关系，并在功能关系基础上，采用毁伤树模型研究了子系统及目标系统功能毁伤计算方法。通过对孔口防护设备功能毁伤、口部防护系统功能毁伤以及工事出入口功能毁伤等具体问题的分析，阐述了目标系统功能毁伤评估模型的建立方法。该方法在防护工程升级改造的指导中得到了成功的应用，为量化描述系统功能性毁伤奠定了基础。     

以可用度为目标的功能检测模型

依据产品潜在故障的概念,将产品划分为“正常”、“潜在故障”和“功能故障”三种状态,并将产品从“新的”发展到“潜在故障”时间间隔和从“潜在故障”发展到“功能故障”时间间隔分别作为随机变量进行处理,利用可靠性数学的方法,建立了以可用度为目标的功能检测模型,包括基本模型和实际应用中变化时的模型,举例给出了模型输出结果的特征和敏感性。     

Dielectric constant predictions for energetic materials using quantum calculations

The dielectric constant (DC) is one of the key properties for detection of threat materials such as Improvised Explosive Devices (IEDs). In the present paper, the density functional theory (DFT) as well as ab-initio approaches are used to explore effective methods to predict dielectric constants of a series of 12 energetic materials (EMs) for which experimental data needed to experimentally determine the dielectric constant (refractive indices) are available. These include military grades energetic materials, nitro and peroxide compounds, and the widely used nitroglycerin. Ab-initio and DFT calculations are conducted. In order to calculate dielectric constant values of materials, potential DFT functional combined with basis sets are considered for testing. Accuracy of the calculations are compared to experimental data listed in the scientific literature, and time required for calculations are both evaluated and discussed. The best functional/basis set combinations among those tested are CAM-B3LYP and AUG-cc-pVDZm, which provide great results, with accuracy deviations below 5% when calculated results are compared to experimental data.     

基于模糊Petri网的实时系统功能模型构建

Petri网在描述具有模糊行为的系统时是有缺陷的,为了更好地分析、评价和开发实时系统,提出了一种利用模糊Petri网构建实时系统功能模型的方法,阐述了模糊Petri网的基本原理,详细介绍了利用模糊Petri网的特征分析实时系统的功能及绘制实时系统功能模型的步骤。     

脑功能光学成像研究进展

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

复杂系统复合维修间隔期优化模型

采用组合策略对复杂系统辅以功能检测的定期更换维修工作进行综合优化.在分析复杂系统维修费用结构和组成的基础上,建立了其无限使用期条件下单位时间期望费用的数学模型,从而获得系统最佳的功能检测间隔期、定期更换周期内的检测次数和最优总费用.最后通过一个算例验证了该策略和模型的有效性.     

新型陆军部队作战能力综合实验支持系统设计

利用综合实验方法对新型陆军部队作战能力进行分析评估是新型陆军部队建设发展的客观需要,其综合实验的成功运用必须得到相应系统的支持。针对支持系统所需具备的功能,设计支持系统的总体结构及主要功能模块,详细分析各功能模块间的信息流程和支持系统的应用过程,为支持系统的具体构建提供指导。     

新型陆军部队作战能力综合实验支持系统设计?

利用综合实验方法对新型陆军部队作战能力进行分析评估是新型陆军部队建设发展的客观需要,其综合实验的成功运用必须得到相应系统的支持。针对支持系统所需具备的功能,设计支持系统的总体结构及主要功能模块,详细分析各功能模块间的信息流程和支持系统的应用过程,为支持系统的具体构建提供指导。     

论微分方程中的两个不等式

对于具有无限时滞中立型泛函微分方程,以空间为相空间,讨论了方程解的性质,得到了关于解的两个重要不等式。