论文部分内容阅读
中国科学A辑1993年第23卷总目次
【出 处】
：
中国科学(A辑 数学 物理学 天文学 技术科学)
【发表日期】
：
1993年12期
其他文献
本文用流动显示方法细致地观察了等速上仰翼型的非定常流动现象,通过多种布置产生氢气泡鉑丝的方法,清楚地显示出了等速上仰翼型的流动结构。研究了前缘涡、剪切涡和尾部流动结构随着时间的演变及它们之间的相互作用。还研究了转速对流动结构的影响:在不同的转速变化范围内,会出现不同的流动结构。并结合旋涡动力学理论,探讨了翼型上仰过程中高升力产生的原因和动态失速机理。
期刊
本文研究了带有CP(Conditional Proof)验证式 TMS(Truth Maintenance System)理论的形式语义,证明了TMS理论J转换为新理论J*后,原指称的有效性;讨论了U. Junker和Kurt Konolige所定义的不带CP验证式 TMS理论的扩充在我们的语义模型中的有效性。此外,本文还讨论了CP验证式的一些性质,结论是:CP验证式和非单调可证明性、逻辑真有着密
期刊
本文基于1989年3月超级大活动区AR 53 95中几个与活动区电流密切相关的观测事实,认为导致耀斑发生的直接关键因素在于活动区电流的增强。在这种模式下,分析了耀斑现象的贮能过程,井建立了活动区电流暗条的运动方程和能量方程。根据该活动区的观测数据,从理论上计算和讨论了由活动区电流增强导致耀斑出现的可能性。所得结果与观测基本相符。
期刊
本文研究弹性波反演的数值解法,文中通过不断构造虚拟震源,变换优化解法的目标函数,使得对任何初始背景计算都能收敛于真实解;该方法不仅解次了优化法的收敛问题,还通过改变目标函数曲面的性态,提高了收敛速度。
期刊
本文改进了Thistlewaite, MoRobbie和Meyer的结果,证明了在命题相关逻辑LR的Gentzen型形式系统L_5中,若多重集α是L_5~-可证的,则存在α的L_5-证明τ具有Curry性质,从而简化了L_5可判定性的证明。并指出:在具体的机器实现中使用Curry性质,提高了L_5证明搜索的LR的自动定理证明的剪枝效率。
期刊
本文提出了用Monte Carlo模拟计算晶体中析出相X射线发射强度的理论和方法。作为实例,对不同加速电压下Au,Cu基体中Cr—Fe—Ni合金析出相的X射线发射强度作了计算,并得出一些规律。
期刊
本文证明了对任一超越整函数f,微分多项式f~K Q[f]+P[f]在不含有P[f]零点的可数个圆盘并集之外有无穷个零点。J. M. Anderson等人提出的两个问题是本文结论的两种很特殊的情况。
期刊
本文从“简单逼近”角度去讨论Hilbert提出的多元函数简单表示问题。我们证明,应用广泛的一类可结合函数可以用单个一无单调函数与加法来近似表示,“逼近”到任意事先指定的精度。从而在实际应用中不少多维问题可近似地归结为一维问题。从纯数学看,结合Arnold等人工作,这就是说Archimedes三角模在全体连续三角模空间中是稠密的。
期刊
本文提出了一个新的材料参量p~*,它表示在疲劳极限应力作用下的固有裂纹尖端半径。按有效应力集中系数的关系,估算了各种材料的疲劳极限(包括尖缺口的、长裂纹的和短裂纹的疲劳极限),计算值与测量结果符合很好。文中还得到物理短裂纹的范围和表面裂纹萌生的门坎值。最后定量地讨论了各种材料疲劳裂纹敏感性的大小。
期刊