沃奇腾矿

(Fe~(2+),Mg)Fe~(3+)[UO_2/PO_4]_4(OH)·12—13H_2O 沃奇腾矿(Vochtenite)是新发现于英格兰Cornwall郡Camborne东南部Basset矿山的一种含镁的二价铁—三价铁氢氧铀酰磷酸盐矿物。它是比利时国立Antwerper大学矿物学教授R.F.C.Vochten首次发现并以他的     

美国关于核废物管理国际合作的基本考虑

确保乏燃料与放射性废物安全的最终责任应由国家承担。最新的动向是，在乏燃料和放射性废物的安全有效管理方面有了进展，即通过国家间的协议，使一国设施的应用能分惠于其他国家。总的说来。美国赞成一个地区内的各国携起手来共同解决其核废物问题，尽管关于区域处置库的任何提案均必须对其自身优缺点进行逐一评价。国际原子能机构(IAEA)和《乏燃料管理安全与放射性废物安全公约》建立了放射性废物和乏燃料转移的有关技术规范，但还存在一些政治上的考虑，而这些考虑最终还必须由国家来决策。     

国际放射性废物管理若干发展趋势

2002年12月召开了“国际放射性废物管理现状和发展趋势大会”。本文介绍了这次会议概况及有关进展，包括高放废物处置、乏燃料暂存、废放射源管理、NORM废物和放射性流出物排放控制等方面的进展。     

P2P环境下基于描述逻辑的信息集成

分析了描述逻辑与信息集成的关系,以及描述逻辑在信息集成中的研究现状和存在的问题。在DCal-vanese的工作基础上,进一步研究了P2P环境下基于描述逻辑DLR的信息集成机制,提出了基于DLR的P2P信息集成系统的形式化定义,重点研究了如何将P2P信息集成系统转化为一个统一的描述逻辑系统GDL,并证明了该转化方法的正确性,给出了P2P环境下基于DLR的信息查询方法及其实现方法。     

花岗岩体单裂隙中核素迁移数学模型Ⅲ.扩散模型及其有限单元法解

以北京市阳坊地区地表新鲜花岗岩为实验介质,在含有天然裂隙面切割的花岗岩柱中进行了核素扩散实验.考虑了花岗岩基质扩散、裂隙表面吸附和基质吸附等因素对核素扩散的影响,着重探讨了花岗岩基质扩散对核素在裂隙中迁移的影响.建立了相应的二维扩散数学模型,运用有限单元法求得其数值解.将数值解、解析解和实验值进行了对比,三者较吻合,说明所建立的数学模型能很好的反映实际实验条件,模型是正确的,所进行的数值离散是合理的.由数学模型估算的迁移参数为:基质域中,扩散系数Dp=5.915×10-13 m2/s,孔隙度ε=0.019,阻滞系数Rd=1.46×103;裂隙中,扩散系数Df=1.18×10-9 m2/s,等效孔隙度ε=0.87,表面阻滞系数Ra=130.6.     

独立于设计者的行动推理

高水平的智能机器人要求能够独立地对环境进行感知并进行正确的行动推理.在情境演算行动理论中表示带有感知行动及知识的行动推理需要外部设计者为agent写出背景公理、感知结果及相应的知识变化,这是一种依赖于设计者的行动推理.情境演算行动理论被适当扩充,感知器的表示被添加到行动理论的形式语言中,并把agent新知识的产生建立在感知器的应用结果之上.扩充后的系统能够形式化地表示机器人对环境的感知并把感知结果转换为知识,还能进行独立于设计者的行动推理,同时让感知行动的"黑箱"过程清晰化.     

带传递关系和存在量词的描述逻辑MSC推理

分析了描述逻辑非标准推理的重要性,特别分析了描述逻辑MSC推理的研究现状和存在的问题.针对目前描述逻辑MSC推理不能同时处理传递关系和存在量词的不足,研究了带传递关系和存在量词的描述逻辑εL+的MSC推理问题.提出了一种新的εL+-述图,利用描述树和描述图给出了描述逻辑εL+的MSC近似推理算法,并利用εL+-描述树同态和εL+-描述树描述图同态证明了MSC近似推理算法的正确性.作为一个附带的结果,利用εL+-描述树描述图同态给出了εL+的实例推理算法,也证明了实例推理算法的正确性.     

谓词模态逻辑到对应物理论的翻译

对应物理论(counterpart theory)是一阶逻辑的一种理论.Lewis利用谓词模态逻辑到对应物理论的翻译来研究谓词模态逻辑的性质,但是Lewis的翻译存在把不可满足的公式翻译为可满足公式的情况针对这个问题,提出了一种扩展语义的谓词模态逻辑,建立了扩展语义后谓词模态逻辑模型与对应物理论模型的一一对应关系,并在此基础上建立了谓词模态逻辑到对应物理论的语义忠实语义满翻译(faithful and full translation),其可确保将谓词模态逻辑的可满足公式和不可满足公式分别翻译为对应物理论的可满足公式和不可满足公式.由对应物理论是可靠的、完备的一阶逻辑的理论且语义忠实语义满翻译保持可靠性和完备性,进一步证明了扩展语义的谓词模态逻辑也是可靠和完备的.     

描述逻辑FL-循环术语集的语义及推理

循环术语集是描述逻辑长期以来的研究难点,它的最基本的问题即语义及推理问题没有得到合理的解决.文中分析了描述逻辑循环术语集的研究现状和存在的问题,在Baader的基础上进一步研究了描述逻辑FL~-循环术语集的语义及推理问题.给出了FL~-循环术语集的语法、语义和不动点模型的构造方法.针对FL~-循环术语集的需要,提出了一种新的有限自动机,使用有限自动机给出了不动点语义和描述语义下FL~-循环术语集的可满足性和包含推理算法,证明了推理算法的正确性,并给出了推理算法的复杂性定理.     

描述逻辑εL混合循环术语集的LCS和MSC推理

分析了描述逻辑循环术语集的研究现状和存在的问题,在F.Baader工作的基础上进一步研究了描述逻辑εL混合循环术语集的LCS(least common subsumer)和MSC(most specific concept)推理问题.给出了εL混合循环术语集的语法和语义.针对εL混合循环术语集LCS和MSC推理的需要,提出了TBox-完全的概念,并重新定义了描述图.使用描述图和TBox-完全给出了最大不动点语义下εL混合循环术语集LCS和MSC的推理算法,证明了推理算法的正确性,并证明了推理算法是多项式时间复杂的.该推理算法为εL混合循环术语集的LCS和MSC推理提供了理论基础.