半参数模型约束条件下估计量的统计诊断

利用最小惩罚二乘原理构造加权惩罚平方和，导出了约束条件下，半参数模型中正规化矩阵正定时半参数平差的计算方法，用直接法得到了参数和半参数的估计量，并将此方法引入测绘领域，给出了相应的公式。     

SL(2,R)上的Hardy-Littlewood极大函数的性质

本文给出了SL(2,R)上的Hardy-Littlewood极大函数mf的定义,利用Ergodic定理证明了Hardy-Littlewood极大函数的强(p,p)型性质,p>1.     

城市规划辅助审批系统中的相似度研究

城市规划的审批是一件难于量化的工作，它受政治经济等多方面因素影响，是城市规划领域关注的一大焦点．本文尝试将CBR技术用于城市规划辅助审批，让政府的审批依据达到历史与现实的统一．实现CBR的一个关键是相似度的设计，本文结合城市规划辅助审批领域的特点，设计了可行的方案，并应用于实际的办公系统中．     

论追诉时效超期适用程序

分析了设立追诉时效超期适用程序的必要性,论证了该程序适用的条件,并就该程序的内容设计了相应的法律条文,供立法机关将来修改刑事诉讼法时参考。     

四维空间相交定理的几何证明

为解决研究四维空间几何元素相交时思维图象的困难，对四维空间中的相交定理用几何的方法进行了证明，并配以直观图。     

“解方程器”软件包(EQNS-SOLVER)

作者提出了对于任意多项式方程组的一种带有普遍性的求解方法。多项式方程组可能没有解,或者有无穷多个解,或者有有限个解,解是实数也可以是复数。在有限个解的情况下,所创建的方法能够求出所有的解。作者完成了一个软料包,称为《解方程器》,曾在微型计算机上用FORTRAN语言完成计算过程。本文是《解方程器》软料包的说明,内容包括基本原理、方法、程序结构、应用举例以及使用的步骤。     

基坑支护中土压力主、被动区的互换分析

以太原市某工程为例，从实际的基坑设计中得出，基坑支护中土压力设计值一般都比实际值偏大；支护桩周围的土压力的主动区、被动区并不是一成不变的。提出用位移分析的土压力模型来区分实际工程中的主、被动区，而后进行土体受力定量的分析。     

卡尔曼滤波过程的稳定性研究

卡尔曼滤波器的稳定性并不能保证实际的滤波器算法具有收敛性,而传统的关于滤波发散的判定方法是基于量测不能出现野值这一严格的假设条件,具有一定局限性;并且通常关于滤波发散只是一种定性的描述,具有一定模糊性。为此,考虑到量测可能出现野值的情况,从滤波发散的具体数学形式出发,提出了卡尔曼滤波过程的稳定性概念,在此基础上给出了滤波发散的判定定理,既消除了通常关于滤波发散描述的模糊性,又降低了通常判定方法的要求。     

模型化推理与理论的建构

理论模型并不完全与理论一致.模型化推理的逻辑特征在于在原型与模型之间,以及模型与理论假设之间尽可能地建立起可靠的、完善的逻辑联系.利用模型化推理建构理论时,首先是提出模型,然后对其进行检验,最后根据检验结果,看看这个模型是否代表待说明现象的内在结构.理论的延伸可沿两条不同的路线进行.一是形式化的延伸;二是非形式化的延伸,它又可区分为两类:展开与发展.     

关于积分中值函数性质的注记

本文在严格单调的前提下 ,讨论了积分中值函数的严格单调性、连续性和可微性 ,得到了具有一般性的结论。