相对论多时间非平衡态系综

提出了在狭义相对论框架中合理的新的相对论多时间非平衡态系综．依此系综，多时间关联的非均匀体系和均匀体系的关联动力学理论可以严格地建立起来．它比传统的多时间系综理论简单、方便．     

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

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

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

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

大熊猫胚泡延缓着床的物理推论

对大熊猫的妊娠期为83－181天这种奇特的生理现象，生物学家们普遍认为是大熊猫胚泡延缓着床而产生的，是什么原因引起大熊猫泡延缓着床呢？至今，还涮有一个令人信服的理论来解释它，本文试从物理学能量的角度，提出大熊猫产生胚泡延缓着床的诸多因素之一的精子在输卵管内获能的不同情况的物理理论。     

肿瘤放射治疗的物理进展

1　前　言放射治疗主要用于恶性肿瘤的治疗 ,它和手术治疗、化学药物治疗组成肿瘤治疗的三大手段。根据国内有关资料统计 ,60 %～ 70 %的患者治疗过程中采用过放射治疗 (包括单纯放疗、术前或术后治疗、放疗合并化疗等 ) [1]。上个世纪 40年代以深部治疗机为代表 ,5 0年代以钴 - 60机为代表 ,60年代则以直线加速器为代表 ,70～ 80年代 ,由于计算机技术和医学影像技术的发展 ,以 X(γ)射线为放射源的立体定向放射技术得到迅速发展。 90年代 ,国内 X-刀治疗系统达到 2 0多家 ,γ-刀治疗系统也有 1 0多家 [2 ] 。同时 ,随着放射物理学、放射生…     

磁化合成铁氧体催化机理的探讨

本文用磁化合成法制取了一种新型高效铁氧体催化剂,用高分辨分析电镜,测定了其晶体结构、化学组成和原子级的显微形貌;提出了一种催化机制的新见解和一个研制催化剂的新方法.     

关于RAID的MTBF的计算

根据可靠性理论，系统地研究了ＲＡＩＤ系统的可靠性问题，并给出了ＲＡＩＤ的ＭＴＢＦ的计算公式。     

知道者悖论与"知道"的语义分析

知道者悖论产生的根源在于“知道”一词的意义的模糊性。现代逻辑追求对“知道”的明晰表达，但对于“知道”本身缺乏深入的反省。本文从语义分析的角度出发给出了一个相对稳定的“知道模型”，此模型可以作为认识论逻辑的语义基础。在这个模型中，“时间秩序”是核心概念。