一种新的星敏感器导航星表制备方法研究

采用星等阈值法制备导航星表,存在导航星分布不均匀的问题,影响航天器姿态解算精度。本文利用SKY2000星表,采用基于类赤经-赤纬对天球分区的方法,将天球划分为3600个 的子区域,对存储在每个子区域内的恒星进行特定规则的筛选。实验表明,利用该方法得到的导航星表,导航星数量少,分布均匀性好,并且可以通过改变子区域的大小,满足不同星敏感器的要求。     

一种消除线性独立性问题的单位分解三角形单元

为建立高效的消除线性独立性问题的单位分解有限单元公式,采用多项式基函数用来作局部近似。普通的线性三角形形函数作单位分解函数,提出有限元无网格耦合三角形单元。该三角形单元形函数具有Kronecker delta性质,能够直接施加位移边界条件。数值算例表明,该三角形单元能够消除普通单位分解有限元的线性相关问题,并且具有较高的计算精度,结果优于普通线性三角形单元和线性四边形等参元。     

正整数的等差分拆

讨论了正整数的等差分拆问题,给出了所有大于8的合数等差分拆的充要条件及重要结果.     

划分的和与划分的积

提出了不相交并集族的概念 ,给出了集合的划分的和与积的集合表达式 .推导出了A关于等价关系R的商集A/R和A关于等价关系S的商集A/S的和与积的两种表示方法     

双原分子理想气体的定容热容量的讨论

本文对双原分子理想气体的分子运动考虑其平动转动、振动、电子和原子核的运动,对各种运动计算出了相应的配分函数,通过配分函数计算了分子各运动对内能和定容热容量的贡献。最后讨论了不同温度范围内分子的各运动对定容热容量的贡献。结果表明在低温范围内振动对热容量没有贡献。在高温范围内经典统计结果于量子统计结果是一致的。     

关于一类不定方程的正整数解数

证明了正整数n分为m部分互不相同的无序分拆数Q（n,m）是不定方程x1＋2x2＋…＋mxm=n的正整数解数;利用将正整数n分为m部分的无序分拆数P（n,m）与Q（n,m）的关系,以及已有的P（n,4）的显表达式和关于不定方程x1＋2x2＋…＋5x5=n的非负整数解数A（n,5）的显表达式,给出了Q（n,4）与Q（n,5）的显式表达式.从而给出了不定方程x1＋2x2＋3x3＋4x4=n和x1＋2x2＋3x3＋4x4＋5x5=n的正整数解数的显表达式.     

图的圈和路剖分

设G是一个顶点数为n的图,k为任意正整数且k≤n．Hikoe Enomoto和李浩证明了：如果一对不相邻顶点的度和至少为n-k 1,其中k≤n，则除了k=2，G=G5,G能被剖分成k个子图Hi，l≤i≤k，其中Hi是圈或K1或K2．本文中证明了任何一对不相邻顶点的度和至少为n-k，则G能被剖分成k个子图Ki,l≤i≤k，其中Hi是圈或是路．     

Weight constrained maximum split clustering

ConsiderN entities to be classified, with given weights, and a matrix of dissimilarities between pairs of them. The split of a cluster is the smallest dissimilarity between an entity in that cluster and an entity outside it. The single-linkage algorithm provides partitions intoM clusters for which the smallest split is maximum. We consider the problems of finding maximum split partitions with exactlyM clusters and with at mostM clusters subject to the additional constraint that the sum of the weights of the entities in each cluster never exceeds a given bound. These two problems are shown to be NP-hard and reducible to a sequence of bin-packing problems. A (N ²) algorithm for the particular caseM =N of the second problem is also presented. Computational experience is reported.Acknowledgments: Work of the first author was supported in part by AFOSR grants 0271 and 0066 to Rutgers University and was done in part during a visit to GERAD, Ecole Polytechnique de Montréal, whose support is gratefully acknowledged. Work of the second and third authors was supported by NSERC grant GP0036426 and by FCAR grant 89EQ4144. We are grateful to Silvano Martello and Paolo Toth for making available to us their program MTP for the bin-paking problem and to three anonymous referees for comments which helped to improve the presentation of the paper.     

集合S上一般变换群的研究

由集合S上的一一变换构成的变换群，已是一类很熟悉的对象，该文将讨论集合S的一般的变换形成群的构造和条件，并指明在通常的意义下，变换群只是这种群的一种特例。     

命题公式集F(S)的基于修正的Godel算子的18类分划

本文利用修正的Godel蕴涵算子研究了命题公式集F(S)中公式确定集的特征,进而以确定集为工具得到F(S)的一个18类分划,并证明了这种分划关于非运算是同余的.最后讨论了各类关于MP运算和HS运算的封闭性.