磁性薄膜热力学性质的变分累计展开研究

采用变分累计展开 (简称VCE)方法研究了量子Heisenberg薄膜 ,计算了内能和比热的累积展开 从三级累积展开的结果 ,发现在临界约化温度处内能不连续 ,一级除外 ;而比热到三级都是不连续的 .     

采用蒙特卡罗法分析离散坐标法的假散射

采用蒙特卡罗法获得了离散坐标方程的不含任何假散射的高精度解，其基本思路是：当采用一个离散坐标格式来计算一个漫射表面的热辐射时，就意味着用有限个离散方向去“代表”2π立体空间上的无穷多个方向，因此，不妨假定存在着这样一个虚拟表现：该表面的确只沿着该离散坐标格式的离散方向上发射热辐射，并且在每个方向上的热流也完全遵循离散坐标方程，然后将蒙特卡罗法应用于此虚拟表现，由此所获得解即为此有面的高精度解，不言而喻它也等效于离散坐标方程的高精度解，在此基础上，分析了离散坐标法的假散射对计算结果的影响。     

不相干算子和强不相干算子的刻画

用算子代数和矩阵论的方法研究不相干量子运算和严格不相干量子运算所对应的kraus算子分解. 首先, 给出有界线性算子是不相干算子的等价条件及不相干算子的具体形式, 并给出用不相干算子刻画不相干量子运算的方法; 其次, 给出强不相干算子的具体形式及用强不相干算子刻画严格不相干量子运算的方法, 并给出严格不相干量子运算与不相干量子运算的关系.     

外力J(t)作用下一维谐振子的传播子计算

用路径积方法计算了外力J(t) =f0 t( f0 为常量 )作用下谐振子的传播子 ,并由此求得能量本征函数与本征值     

约束数据库中的函数依赖公理系统与设计理论

约束数据模型作为一种新的数据模型正受到广泛关注。为了约束数据库的应用，需要研究它的设计。为此本文对约束数据库中的函数依赖给出定义，并提出函数依赖的公理系统，证明了它的有效性和完备性；在此基础上完成了约束数据库设计的核心工作：把约束关系模式分解为3NF或BCNF的算法。     

模式语义链元建模及其应用

大粒度的模型转换是模型驱动软件开发场景下的重要技术需求，仅通过定义通用模型转换语言不足以满足这一需求，其中一个原因是通用模型转换语言工作在特定建模语言的元模型层次而非一般设计意图层次上．文中提出一种模式语义链(PSL)元建模方法．通过重型扩展统一建模语言(UML)元模型以直接形式化描述可表达一般设计意图的模式，并应用UML动作语义和元模型继承实现模式自动生成及转换．该方法为实现一船设计意图层次上的大粒度模型转换提供了有效支持．     

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

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