真值维护系统的语义研究

本文研究了带有CP(Conditional Proof)验证式 TMS(Truth Maintenance System)理论的形式语义,证明了TMS理论J转换为新理论J*后,原指称的有效性;讨论了U. Junker和Kurt Konolige所定义的不带CP验证式 TMS理论的扩充在我们的语义模型中的有效性。此外,本文还讨论了CP验证式的一些性质,结论是:CP验证式和非单调可证明性、逻辑真有着密切的关系。     

关于一类常微分方程亚纯解的个数的注记

本文讨论微分方程u′=sum from k=0 P_k(z)u~k (1)在某些条件下亚纯解的个数问题。得到定理1、2,它们分别是[1]定理1、2的推广。     

A PICARD TYPE THEOREM AND BLOCH LAW

Ａ ＰＩＣＡＲＤ ＴＹＰＥ ＴＨＥＯＲＥＭ ＡＮＤ ＢＬＯＣＨ ＬＡＷ ￥ＹＥＹＡＳＨＥＮＧＡｂｓｔｒａｃｔ：Ａｐｉｃａｒｄｔｙｐｅｔｈｅｏｒｅｍｉｓｐｒｏｖｅｄ，ａｎｄａｃｏｕｎｔｅｒｅｘａｍｐｌｅｉｓｇｉｖｅｎｔｏｓｈｏｗｔｈａｔｔｈｅＢｏｌｃｈ...     

─族亚纯函数的正规定则

本文讨论亚纯函数族的正规性，推广并改进了杨乐￣［２，３］，陈怀惠￣［５］和朱秀蓉，龚向宏￣［７］等人的结果。     

一堂物理课

 我是一位中学教师,我深爱《现代物理知识》,在讲授《卢瑟福核式结构》一课时,我向同学们言简意赅地介绍了那上面的一篇文章:《原子核壳模型发现前后》.当我讲述卢瑟福提出有效模型是怎样成功地解释盖革与马斯顿的实验结果时,同学们顿时活跃起来,纷纷想一展身手,体验一次科学发明的过程.然而,物理上的每一个发现,都是科学家凭借坚实的理论基础和实验事实而获得的.在教师的指导下,同学们通过阅读教材,得出了如下结论:“如果是枣糕式模型,α粒子穿过原子内部时,它受到原子内两侧的斥力相互抵消,使α粒子偏转不会很大”.     

长柱形CsI(Tl)闪烁晶体探测器的能量重建

提出了用于TEXONO实验中双端读出的长柱形CsI(Tl)闪烁晶体探测器的两种粒子能量重建方法———“算术平均值能量重建法”和“几何平均值能量重建法”,讨论了两种算法的理论依据和计算方法,并对两种算法进行了比较     

全纯函数族的正规定则

Let f be a holomorphic function on a domain D Lontaiu in C, and let a be a finite complex number. We denote by -↑Ef/(a) = {z ∈ D : f(z) = a, ignoring multiplicity} the set of all distinct α-points of f. Let F be a family of holomorphic functions on D. If there exist three finite values a, b(≠ O,α) and c(≠ O) such that for every f ∈F, -↑Ef′/(0) Lontain in -↑Ef(α） and -↑Ef′ (b) Lontain in -↑Ef(c), then F is a normal family on D.     

动态随机弹性在期权定价中的应用

给出动态随机弹性的概念及运算性质,讨论了动态随机弹性在期权定价模型中的应用.主要结果有:(1)在波动率为常数时,期权价格对的弹性,得到了动态随机弹性服从运动,并给出了相应的经济解释;(2)由于波动率一般不是常数,也是随机过程,因此本文进一步研究了期权价格对波动率的弹性,就股票价格的波动情况给出了数学描述和金融意义上的解释.     

管理人因素对风险项目期权估值的影响

本基于对风险项目及其“孪生证券”风险和收益特性的分析，认为真正的“孪生证券”实际中很难存在，进而提出利用“近似孪生证券”与无风险证券构造资产组合来复制实物期权收益特征，利用无风险套利分析确定项目实物期权价值的方法。但考虑到管理人因素造成的实物期权内部风险特征的不可复制性，本进一步提出利用“确定性等值”将内部风险价值V1具体化，从而实现对“近似孪生证券”方法进行修正。