模糊关系数据库和关系数据库中的模糊信息

在力图从形式上尽可能保持与传统关系数据库相应概念一致的前提下,文中独立地给出了模糊关系数据库的有关概念和运算的定义,并对模糊环境下的无损联接问题进行了讨论,得到了一些结果。还提出了全模糊数据库的概念。     

皖南大坞尖钨(钼)矿床地质特征及成因分析

大坞尖钨(钼)矿床是皖南地区新发现的小型钨(钼)矿床.该矿床的矿体主要呈似层状,主要赋存于蓝田组下段白云质灰岩和钙质泥岩中.赋矿围岩以强烈的绢云母化、硅化和碳酸盐化为特征,矿石矿物为白钨矿和辉钼矿,脉石矿物主要有石英和绢云母.矿床的形成可划分4个成矿阶段,即无水矽卡岩阶段、含水矽卡岩阶段、石英硫化物阶段和碳酸盐阶段.通过对矿床地质特征和控矿因素的综合分析研究,认为大坞尖钨(钼)矿床属矽卡岩-云英岩复合型热液矿床,研究区具有重要的找矿潜力.     

具有广播功能的CSP操作语义

并发程序设计语言的形式语义定义,是当今语义学研究中比较活跃的领域之一,语言的形式操作语义为语言的准确实现,提供直接的依据。本文给出了带广播功能的CSP(Communicating Sequential Processes)的形式操作语义。