完备非紧流形上的射线与Busemann函数

讨论了完备非紧正则黎曼流形上的Busemann函数间的关系，并用于讨论流形的几何拓扑性质．     

完备凸度量空间中Ishikawa迭代序列强收敛到两个映射的公共不动点定理

在完备凸度量空间(X,ρ)中,设S、T是满足条件(A)或(B)的闭凸子集上的两个自映射,从两方面研究了映射S、T的公共不动点问题:1.如果映射S、T生成的Ishikawa迭代序列强收敛,则收敛点为S、T的公共不动点;2.如果S、T的公共不动点非空,则映射S、T生成的Ishikawa迭代序列强收敛到S、T的公共不动点.结论改善并推广了部分作者的相关结果[1~5],[7~8].     

拉格朗日中值定理的证明及应用

中值定理是微分学的基本定理,是应用导数研究函数在区间上整体性态的有力工具,其中拉格朗日中值定理是核心内容.给出拉格朗日中值定理的三种证明方法及其在级数散敛性方面的应用.     

青海门源Ms6.4级余震序列完备性研究

2016年1月21日青海门源发生Ms6.4特大地震,此次地震为甘肃周边地区继2013年岷县Ms6.6地震以来最大地震,根据国家测震台网地震目录正式报告,主震发生后一个月时间内国家测震台网总共记录了1882次余震目录,本文利用青海测震台网地震目录,分别以最大曲率法与最大似然法分析计算了2016年1月21日青海省门源县Ms6.4级地震余震序列最小完整性震级M_C与地震活动性b值,得到青海测震台网在门源地区最小完整性震级为M_L0.5,地震活动性b值为0.87左右,继而分析青海测震台网的监测能力与门源地区未来地震活动性。     

初等交换群凯莱图的完备码与完全图的正则覆盖

LEE证明了超立方体图Q_n存在完备码当且仅当n=2~m-1(m≥2是自然数),当且仅当它是完全图K_(n+1)的正则覆盖.本文中,给出了这个结论的一个简单证明,并把这个结论推广到了初等交换群的凯莱图中.证明了初等交换p-群Z_p~n(这里p是奇素数)的凯莱图有完备码当且仅当n=(p~m-1)/2 (这里m是自然数且n≥2),当且仅当它是完全图K_(2n+1)的正则覆盖.     

抽象解释全总域模型

抽象解释自1977年提出后,许多作者做了大量工作,将抽象解释理论应用于程序分析和验证研究等领域.本文为有关抽象解释论述构造了一个统一模型,称为抽象解释的全总域模型,目前现存的有关抽象解释文献所采取的框架都相容于全总域模型,且是等价的.在此基础上,我们还提出有关抽象解释理论需要解决的几个基本问题.模型和问题都可以作为今后抽象解释理论发展的参考基点.     

刍议地图制图中界线套绘色带原则

在描绘地图的过程中，地图上的界线是相当重要的，大到涉及国家的领土主权，小到涉及县城和县城之间的界线，色带的样式和用法在界线的绘制中有着相当重要的地位。该文先简要介绍色带的概念，再介绍绘制地图过程中色带的样式和其原则，其中主要阐述道路、河流等界线和某种特殊界线的套绘原则，仅供同行参考。     

交换环上低阶反对称矩阵李代数的李三导子

设R是含1的交换环,用Un(R)(n∈N+)表示R上的n阶反对称矩阵李代数.研究了U4(R)及U5(R)上的李三导子,并证明了它们的李三导子都是内导子.同时也说明了U4(R)及U5(R)都是完备李代数.