决定性公理的逻辑分析

讨论公理集合论中的决定性公理的若干问题。即：⑴什么是决定性公理;⑵关于决定性公理的一些结果;⑶决定性公理和大基数之间的关系。     

高能核—核碰撞中的横能分布

根据高能核子—核碰撞中产生的簇射粒子的横能分布,考虑到核几何因素的影响后,得到了核—核碰撞的横能分布。计算结果与NA35协作组的实验结果相符合。     

AD与DG_■不相容

Solovay首先假定AD_R与ZF是协调的,然后用内模型的方法证明DC独立于AD。本文进一步探讨AD与相依选择公理之间的关系,我们知道AD蕴涵,但是AC等价于,这里K是阿列夫(Aleph),并且当且仅当,     

几何造型中数据结构自动转换的实现

立体几何造型系统是集成化 CAD/CAM 的核心,而内部描述物体的数据结构则是几何造型系统的核心。本文介绍了将立体几何造型中结构立体几何(CSG)数据结构转换成边界表示(B-Reps)数据结构的方法。作者采用了 CTIPS 系统的二层数据结构的 CSG 作为转换的基础,而作为转换结果是一种对称形式的 B-Reps 数据结构。由于该 CSG 数据结构是由网格信息组成,完整物体的 B-Reps 的产生将依赖于网格信息,因此转换分两步进行:首先从 CSG 信息生成一个网格单元的 B-Reps,然后将网格单元的 B-Reps 合并生成完整零件的 B-Reps。目前已在超小型机上实现了这个转换。     

用矩形出口喷嘴改善PDc钻头水力结构的研究

如何充分发挥水力能量清洗井底和冷却钻头的作用,是PDC钻头水力结构设计中要考虑的一个重要问题.本文通过室内实验研究,分析了矩形出口喷嘴的射流结构特性,得出了射流轴心动压力衰减规律及横向动压力和横向动压力梯度的分布规律.将矩形出口喷嘴与圆形出口喷嘴的射流特性进行了对比.从清岩和冷却钻头的效果考虑,提出了矩形喷嘴在PDC钻头上使用的合理高度.     

层速度的tomography反演

讨论了地震层析成像中的几个重要问题。采用Ｂ－样条的线性组合表示展速度模型，用Ｂ－样条的光滑性和紧支柱性质，在保持模型光滑的条件下，把积分几何的反问题转化为求解大型、稀疏线性方程组问题。提出了二步射线追踪算法，解决了现有方法的不收敛或遗漏射线问题。讨论了图像在投影方向上的频谱和图像频谱的关系，阐明了投影的角度和投影的疏密对图像重建的影响，文中给出仿真及实际地震资料的实验结果。     

论布尔代数的公理系统与公理的独立性

朱秉涛在文“关于布尔代数公理的独立性问题”中认为由Hunttngton E. V.提出的关于布尔代数的八条公理是相互独立的这一结论是错误的。本文将论证朱的这一结论是错误的,也即Huntington的关于布尔代数的八条公理的确是相互独立的。另外本文还提供关于布尔代数的其它两个公理系统,它们的各公理不但仍是相互独立的,且从某种意义上讲,它们比Huntington的优越。     

齿轮齿廓的实体建模与几何分析

讨论了基于齿轮啮合原理和计算机图形学的齿轮齿廓实体逮模方法。它可以使实体齿廓形状通过调整共轭运动和产形面的参数进行修正。同时,可用实体模型对齿轮进行几何分析。文中还列举了两个实例。     

试解几何难题三等分角

用尺规作图法三等分任意角是一个古典而又著名的初等几何难题.它被前人所公认为“尺规作图三大不能问题”之一,这在《几何作图不能问题》一书中已有介绍.作者在研究这一类问题的基础上,对此提出质疑,认为所谓“不能问题”的判别准则不带有普遍性,并给出了三等分任意角的根据及其在作图过程中的实际应用,对这一古老问题的客观存在性重新提出讨论是有益的.——编者     

KyFan极大极小不等式定理的推广

在本文中首先推广了 Ky Fan 极大极小不等式的几何定理,然后得到了 Ky Fan 极大极小不等式定理的推广定理.最后证明了一个等价定理.