集值条件期望收敛定理

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

PTL 证明器的实现技术

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

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

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

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

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

实特征根的切线法

本文通过分析非线性方程的切线解法，给出了实特征根的一种数值解法即实特征根的切线法，并用此方法进行了实例演算。     

两指标强鞅的停止定理

给出了两指标强鞅关于停线的停止定理及加强形式的Doob停止定理。     

解读韩国国防工业与武器出口

英国《简氏防务周刊》网站2015年1月5日报道称,根据韩国国防部采购局提供的数据,2014年韩国国防出口额达到36亿美元,比2013年的34亿美元增加了6%,创下了历史新高。与2005年仅为2.6亿美元的国防出口额相比,这一金额增加了12倍。该局官员还表示,2015年韩国国防出口额目标为40亿美元。在错综复杂的东北亚安全格局中,韩国在国防工业与武器出口方面的相关动向颇为引人关注。     

关爱的力量

正李·艾柯卡离开美国福特汽车公司,临危受命前往濒临倒闭的克莱斯勒汽车公司担任总裁时,曾专程拜访了美国著名橄榄球队教练文斯·隆巴迪。作为一名神奇的王牌教练,隆巴迪曾多次带领球队获得全美橄榄球比赛总冠军。"您能取得如此不菲的成绩,一定有高超的秘密战术吧?"见面后,艾柯卡钦佩地问隆巴迪。"没有。"隆巴迪摇了摇头,应道。"那靠的究竟是什么?您取胜的秘