集值条件期望收敛定理

在给出了Hausdorff收敛的等价条件的基础上,得到了集值条件期望在Haus-dorff收敛意义下的单调收敛定理及在Kuratowski收敛意义下的控制收敛定理.     

PTL 证明器的实现技术

基于文［１０］中的理论,我们用Ｔｕｒｂｏ─ｐｒｏｌｏｇ编程,在３８６微机上成功地实现了命题时态逻辑定理的证明器。该证明器在处理ｎｅｘｔ幂次、归纳、归结、◇（ｘ∧ｙ）、ｕｎｔｉｌ　等方面,均有独到之处。这些方面,克服了以往工作的不足。证明器界面友好、速度快、能力强。     

关于广义KKM定理的几点注记

本文在 H-空间中引入伪紧闭集的概念,得到一个广义 KKM 定理,从而获得了 KyFan 匹配定理以及极大极小不等式的一些新结果.     

大口径机枪弹性枪架稳定性分析的冲量法

大口径机枪在弹性枪架上射击稳定性的问题,是影响连发射击精度的一个重要问题,按传统方法以最大后座力或自动机后座到位的瞬间作用校核稳定性,其结果与实际射击现象不符。本文在分析大量实验现象后,提出稳定性分析计算中的冲量法,并以12.7mm 大口径机枪为例进行检验,结果与实验现象相符.     

倒向随机微分方程在欧式期权中的应用

假设市场为无套利市场,而且市场上只有两种证券:一种是无风险债券;一种是有风险的股票。通过自筹资策略,得到期权价格所满足的倒向随机微分方程(BSDE),利用倒向随机微分方程给出欧式期权价格概率表示;并证明欧式期权的完全套期保值性。     

潜艇水下回转运动稳定性分析

水下回转运动是潜艇常用的运动形式之一,属于潜艇转向运动的重要研究内容。回转运动过程中,潜艇受力复杂,容易出现分岔等非线性现象,潜艇运动稳定性变差。运用同伦延拓法、分岔理论和李雅普诺夫运动稳定性理论分析了潜艇水下回转运动稳定性,并通过数值仿真试验验证了分析结果的正确性和分析方法的有效性,为潜艇运动稳定性的研究提供了思路。     

倾听民声,保证决策符合民意

[案例]2013年,北京大学社会学系博士李春霞挂职贵阳市人口和计划生育委员会副主任,她十分关注流动人口管理与服务问题,为此,深入基层、了解民生成为她的"第一要务"。当来到乌当区垃圾填埋场流动人口管理站调研时,她被这里良好的管理秩序所吸引,"为什么这里能做好?""这样的模式     

人工鱼群算法在高射炮内弹道性能优化中的应用

针对人工鱼群算法能够解决传统优化算法在局部极值、算法收敛稳定性较差、初始参数设置要求较高等方面的缺陷,提出将人工鱼群算法应用到高射炮经典内弹道数学模型中,以优化高射炮的内弹道性能。优化方案的弹丸炮口速度在满足最大膛压的约束条件下,从初始方案的997.5 m/s提高到1 013.36 m/s,通过几次独立的优化过程得到了6种优化方案,方案之间炮口速度和最大压力的差异很小,进一步说明了人工鱼群算法优化过程的稳定性以及应用到高射炮内弹道性能优化的适用性,该研究结果可以为内弹道装药的优化设计提供一定的指导意义。