论文部分内容阅读
采用重心坐标系用数值并行法对几何定理的机械化证明进行讨论,并给出五个平面几何定理的新证明。
重心坐标在几何定理机械化证明中的应用
【摘 要】
：
采用重心坐标系用数值并行法对几何定理的机械化证明进行讨论,并给出五个平面几何定理的新证明。
【机 构】
：
南京航空学院
【出 处】
：
中国科学技术大学学报
【发表日期】
：
1991年1期
其他文献
框架连接件注射模沈阳化工学院（辽宁沈阳１１００２１）曾海泉１零件分析框架连接件结构如图１所示，材料为ＡＢＳ，要求用２５０９注射机生产。该构件结构类似于三通，除了３个与杆配合的φ２８±０．１２ｍｍ孔有公差要求外，其余尺
首次提出了自由原子的磁共振致冷模型,推出了作用于原子上的阻尼力的表达式。求出了致冷的最低温度。该致冷模型与其他致冷模型相比,自由原子的最低温度要低几个数量级。
不同的螺栓螺母组合,在相同的力矩下进行紧固,会产生不同的螺栓拉伸力。本文将从试验的角度出发,探讨不同螺栓螺母组合下的螺母系数K的大小及范围。
介绍了利用三维设计软件对旋流板捕雾器进行了参数化建模，与传统二维图纸设计相比做到了精确表达尺寸关系，直观地反映其结构特点。利用关键参数控制模型尺寸，省去了繁杂的公式计
通过对特殊材质大型料仓整体吊装吊耳的设计计算，提出了在大型薄壁料仓中采用标准吊耳的一种改进方法。
用差分和Monte Carlo求解相结合的方法对有化学反应的标量几率密度函数方程进行了求解,讨论了随机颗粒数和时间步长对计算结果的影响。计算结果表明,当化学反应速率是标量的
在化工厂内存在着各种压力等级的蒸汽管网,在各级蒸汽管网之间存在着不同压力等级的减温减压装置,采用减温减压装置造成的能源浪费;因为蒸汽管网不平衡,多出的少量蒸汽放空造
针对EN13445中使用外推法估算焊趾处的结构应力，探讨不同的外推法、不同的网格精度以及不同的表面应力取法对疲劳寿命计算结果的影响，对工程上压力容器焊接接头处的疲劳寿命计
本研究用相关法给出了有机液体导热系数的通用相关式和醇、烷、芳香族的液体导热系数的具体推算式,经比对,22种液体的计算值与TPRC 及其他权威参考文献的推荐值之间的平均偏
本文深入探讨了J. A. Davis. [Ann. Prob., 5(1988). p1479—1485]一文中引出的重对数律的收敛速度问题,并且指出Davis文中的一个结果是错误的。还研究了小参数问题,且获得了