球面型空间中的Pappus定理和Desargues定理

1988年左铨如将欧氏平面的Menelaus定理推广到二维球面型空间.本文在此基础上直接证明了二维球面型空间的Desargues定理和Pappus定理,并给出它们的几个应用.     

球面子流形的整体内在刚性定理

本文给出了Ｓ＾ｎ＋ｐ（１）中子流形Ｍ是全测地的以及含于全测地子流形的几个定理，改进了「４－９」的若干结果。     

图的代数连通度及其点连通度

G是一个简单图.a(G),k(G)分别为G的代数连通度和点连通度,该文刻画了满足a(G)=k(G)的图.G=(V,E)是一个n阶简单图,点连通度为k(G)≤[n/2].H是G的任意最小点割集,则a(G)=k(G)当且仅当对任意u∈H和v∈V\H,有uv∈E.     

150t冷藏船模型制作研究

该文主要针对教科书中出现的150t冷藏船实例进行船体模型制作研究,在搜集了150t冷藏船的相关数据后,通过分析其基本结构图、总布置图后,结合绘制的型线图、船体相关信息文件,肋位的划分,绘出全宽肋骨型线图,并针对每一肋位的全宽肋骨型线图,设计其肋板、肋骨、横梁的具体结构、尺寸,最后按照分段划分图,对分段结构进行设计与建造。在模型的制作过程中,每一分段的装配都以《船舶建造工艺学》里的建造工艺流程为依据并结合实际情况进行模型制作,最后进行整船的合拢。     

用微分几何的观点看球面几何

球面几何在几何学中占有重要的位置,人们可以运用公理化方法来研究它.该文运用微分几何的观点来讨论球面几何,证明了球面几何的基本公式中的余弦公式,并得到了球面上测地线正交的条件.     

螺旋桨静平衡检测算法改进及实验研究

针对大型船用螺旋桨制造完成后存在的静不平衡量的问题,基于静压球面轴承悬浮结构开发了螺旋桨立式静平衡检测装置。在对其结构和工作原理进行分析的基础上,利用力矩平衡原理,提出改进的求解螺旋桨静不平衡量的算法,能快速地计算出不平衡质量和其位置。通过一次性打磨或配重,将螺旋桨静不平衡量控制在允许范围内,简化了传统的反复多次打磨配重的过程;同时数据采集处理系统以单片机为核心对称重传感器数据进行采集、处理和显示。试验结果表明,该检测系统在试验过程中运行稳定,测量数据精确。     

球面巨型网格结构的构成、支承方式与力学模型

提出了一种新的结构形式——球面巨型网壳结构。文中重点研究了肋环型和凯威特型球面巨型网格主体结构的具体构成形式、几何拓扑关系,总结了相应的形体控制参数;对子结构的形式及其与主体结构的连接进行了分析;描述了自动成形过程。使用Auto- CAD环境下的Visual C 二次开发工具编制了相应的自动成形程序;并对其主体结构支承方式与力学分析模型进行了探讨．本文工作为对该结构体系开展全面系统的力学性能研究提供了良好的前处理基础．     

基于Android手机的股票查询系统分析与设计

为帮助用户实时了解股票信息,在剖析Android应用程序架构和分析用户需求的基础上进行了股票查询系统设计,利用webservice等关键技术,实现了基于Android手机平台的股票查询分析系统。对股民提供了个股信息、K线图等重要股票信息,帮助股民及时进行股票交易。     

5阶CKF在捷联惯导非线性对准中的应用研究

为了提高动基座下车载捷联惯导系统(strapdown inertial navigation system, SINS)的初始对准精度和缩短对准时间,在不进行粗对准的前提下,利用5阶容积卡尔曼滤波(cubature Kalman filter, CKF)完成非线性对准。针对3阶CKF滤波精度不高、5阶高斯厄密特滤波器计算量过大的问题,基于多项式逼近的思想详细推导了5阶球面径向容积规则,继而提出了5阶CKF并分析了该算法的滤波精度、采样量和数值稳定性,利用奇异值分解代替Cholesky分解来增强滤波稳定性。实验结果表明,该方法能够有效完成大失准角下的非线性对准,精度高于3阶CKF。