范·弗拉森的量子力学解释理论

范·弗拉森的量子力学解释理论既是他的量子力学哲学的核心，也是他的建构经验论的科学思想基础。本文主要从量子力学的一般解释理论、量子力学测量问题、测量的模态解释的主要思想、模态解释的意义等四个层次较深入浅出地介绍范·弗拉森的量子力学解释理论。     

关于模态命题系统P5的协调性

证明模态系统P5的协调性．即：证明了模态系统P5的所有公理的布尔值为1．亦即：V^B(B是一个完全的布尔代数)是模态命题系统P5的布尔值模型．     

实空间上的闭子集与相似包含关系

Paul Frdos曾提出如下关于实直线R的问题：是否对R的每一个无限子集X，都存在一个具有正测度（Lebesgue测度）的闭子集E，使得E的任何子集都不相似于X（E的任何子集都不与X线性同胚）。1984年，Falconer证明了如下结论：对于一个满足limxn=0和linxn 1/xn＝1的单调递减的正实数列{xn}，Erdos问题有一个部分肯定的解答。本文将证明：上述关于数列的条件可以替换为更一般的（弱一些的）条件。最后把本文的相应结论推广到有限维欧氏空间R^n中。     

一维热方程奇异初边值问题

本文证明了形如：Ｕｘｘ＝Ｕｔ，Ｕ（ｘ，０）＝０，Ｕ（０，ｔ）＝Ｕｔ＾（－（ｋ＋１）／２，Ｕ（∞，ｔ）＝０，的奇异初边值问题，当ｋ＝１，３，５，…时没有相似解；而当ｋ＞－１且ｋ≠１，３，５，…时相似解一定存在。第一个断言推断了Ｐｈａｎ－Ｔｈｉｅｎ于文［１］中提出的一个重要结论。     

基于粗集理论的决策规则提取方法

本文利用一致性规则进行属性的规则泛化。在归类优选问题上,采用样本先与值核属性匹配,而后再与非值核属性匹配,对于无匹配的样本采用相似条件向量的方法对缺损数据进行归类优选。     

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

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

矩阵的相似准直和与群逆

首先引入矩阵的相似准直和的定义,讨论了它和群逆的关系,得到了一些性质和应用。     

果蝇跨模态学习的相互作用

动物在感知过程中存在不同模态感觉之间的相互促进或排斥的相互作用，但在学习和记忆过程中是否也存在相互作用并不很清楚。中科院上海生命科学院神经科学研究所郭建增和郭爱克在973计划项目“脑发育和可塑性的基础研究”的支持下，通过对模式动物果蝇进行视嗅觉双模态实验，发现在果蝇的学习过程中，相对于单模态信息刺激，给果蝇同时予以视觉和嗅觉双模态信息刺激。