Banach空间中有限族非扩张映象隐迭代程序的收敛性

在Banach空间的框架下，研究了有限族非扩张映象隐迭代程序的收敛性，其结果不仅改进和发展了最新的有关结果，而且也肯定地回答了Xu提出的一个公开问题。     

商品美学定量分析

系统地阐述了商品美学定量化研究的意义及其方法，为商品美学定量化研究建立了理论框架．     

暂态电路的试验设计

在电工电子技术暂态电路的试验设计中，因电路本身响应时间短，用常规仪器很难对其响应的过程进行直接测量。本文结合暂态电路的工作原理及常规仪器的特点，给出三种简单、实用的试验电路设计方法。     

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

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

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

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

论追诉时效超期适用程序

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

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

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

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

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

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

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

模型化推理与理论的建构

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