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

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

城市化对中国环城市旅游度假带的影响

作为城市游憩空间的组成部分，环城市旅游度假带在其形成发展过程中与城市化之间有着必然的密切联系，在对中国环城市旅游度假带的内涵和特点进行分析的基础上，从正反两面阐述了城市化对环城市旅游度假带的影响，最后，笔者提出了对发展环城市旅游度假带的建议。     

模型化推理与理论的建构

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

紧度量空间中的不动点定理

在紧度量空间中讨论了压缩型和膨胀型不动点定理 ,推广和改进了 [2 ]和 [5 ]中的若干结果     

非线性抛物型方程的耗散性和渐近性

利用能量积分、Ｐｏｉｎｃａｒｅ不等式和Ｓｏｂｏｌｅｖ空间的迹定理，证明了两类非线性抛物型方程在非线性Ｎｅｕｍａｎｎ边界条件下的吸收集的存在性，并给出了一类拟线性抛物型方程在齐次Ｎｅｕｍａｎｎ边界条件下的渐近估计     

Banach空间上变分不等式的扰动

讨论自反Ｂａｎａｃｈ空间上变分不等式的扰动问题，并利用所得的收敛性结果处理Ｓｏｂｏｌｅｖ空间Ｗｍ，ｐ（Ω）（１＜ｐ≤２）上变分不等式边界条件的扰动问题。     

障碍可越路线规划的符号图方法

本文给出２—Ｄ路线规划问题在障碍可越情况下的启发式符号方法．这一方法利用推理规则在由图像信息导出的连通图知识结构上进行启发式符号Ａ搜索以对空间关系进行分析和分类，以符号描述形式给出两声间路线规划方案．     

关于严格循环权位移的一个问题

给出了一个内射单侧权位移,其权序列空间H~2(β)≠H~∞(β),但对任意φ(z)属于H~∝(β),其部分和序列按算子范数收敛于φ(z).从而否定回答了Shields在文献[1]中的第12问题.