关于半鞅向量随机积分的两个结果

首先利用半鞅Girsanov定理与闭图像定理证明了:若{Xn}是带滤基的完备概率空间(Ω,F,F,P)中的一列半鞅,其中滤基F=(Ft)t≥0满足通常条件,且{Xn}在关于P的Emery拓扑空间中收敛于X,则当概率测度Q相似文献   

基于伪临界值的Cache一致性协议验证方法

针对Cache一致性协议状态空间爆炸问题,提出共享集合伪临界值(Pseudo-cutoff)的概念,并以采用释放一致性模型的CC-NUMA系统为例,分析了共享数据的分布情况,推导出在一定条件下共享集合伪临界值为4的结论,有效优化了目录Cache协议状态空间,并提出了解决小概率的宽共享事件的方法.实验数据表明,基于伪临界值的协议模型优化,能够有效缩小Cache协议状态空间,加快验证速度,扩大验证规模.     

数字化战场指挥控制系统体系结构

以数字化战场对指控系统能力需求、环境要求、信息流程等要素为依据,从作战体系结构、系统体系结构和技术体系结构等方面研究了数字化战场指控系统的主要构成及相互关系,探讨了其主要功能及系统结构组成,并提出了数字化战场指控系统体系结构效能评估的数学模型及可靠性检验,以期逐步形成科学规范的指控装备体系结构论证方法.     

基于HLA的水下武器对抗系统试验

构建了基于HLA的水下武器对抗试验仿真系统,详细介绍了方案策划、结果统计、过程反演仿真功能的实现方法,建立了结果统计模块,提出了计算过靶量的二次比较方法,并对相关参数进行统计.仿真结果运行显示,采用这种统计方法,能够将历次过靶量及时有效地输出.同时,能够根据实航试验结果和内外测数据,再现实航试验全过程,从而能够对水下武器对抗实航试验进行分析、评估,以便进行故障排查.     

一种新的模糊多层自组织神经网络图像目标检测方法

神经网络方法和模糊集理论用于图像处理和目标检测时各有优势,文中提出了一种将神经网络和模糊集理论集成的混合方法,即模糊多层自组织神经网络法。该方法将模糊测度作为神经网络的目标函数,网络包括多层结构,任一层中的一个神经元对应图像中的一个像素,该神经元只与前一层的对应元素及其邻域元素连接。针对遥感图像的实验处理过程证明该方法能够有效地进行目标检测和提取,并且具有良好的噪声免疫力。     

球锥体高超声速绕流的俯仰阻尼导数的数值计算

采用Navier Stokes方程描述球锥体外形非定常振动流场 ,在Etkin理论下给出俯仰阻尼导数的计算公式。对定常流场的计算采用ADI形式的NND格式 ,对非定常流场的计算采用四步Runge Kutta方法 ,并引入变系数残值光顺技术加速收敛。将俯仰阻尼导数计算结果与实验及工程计算进行了比较 ,并数值研究了其随振动中心的变化规律。     

正弦波型直流无刷电动机位置伺服系统的变结构控制

在分析正弦波型直流无刷电动机数学模型的基础上,采用比例等速变速控制策略(PCV)设计控制器,应用于正弦波型直流无刷电动机位置伺服系统.仿真结果表明:与传统PI控制器比较,PCV控制策略可以明显改善系统的品质,并增强系统的鲁棒性.     

关于城市公共危机管理的思考

介绍了危机管理的基本概念和基本思想,阐述了危机管理在城市防灾体系中的重要意义。在理论分析的基础上通过实例,说明在目前公共安全资源普遍短缺的现实背景下,在构建城市防灾体系的过程中,如何将危机管理的理念引入并加以科学应用,对于提高我国城市防灾减灾体系效能有着决定性的作用。     

民航飞机火灾预防及扑救对策

详细介绍了民用航空飞机火灾的特点和事故类型,提出了飞机火灾的预防措施和抢险救援方法,针对飞机滑行中、飞行中和地面停放三个方面论述了火灾扑救对策。     

基于非线性Kalman滤波的导航系统误差补偿技术

针对非线性非高斯导航系统信息处理问题,采用自组织算法、神经网络和遗传算法等改进传统非线性Kalman滤波算法,构建一种自适应的组合导航系统。应用具有冗余趋势项的自组织算法、Volterra神经网络和遗传算法,建立导航系统误差的非线性预测模型,进而计算得到其预测值;将该预测值与Kalman滤波算法求得的估计值进行比较得到差值,以此监测Kalman滤波算法的工作状态;采用自适应控制方法,在导航系统结构层面改进Kalman滤波算法,构建新型的导航系统误差补偿模型。开展基于导航系统KIND-34的半实物仿真研究,应用所提出的改进方法改善了导航系统误差的补偿效果,提高了组合导航系统的自适应能力和容错能力。