三种基于不同模糊否定的模糊拒取式推理及其算法

模糊拒取式推理(FMT)是模糊推理中最基本的推理形式之一,FMT的一个前提——模糊否定在推理中较重要.文中基于区分矛盾否定、对立否定和中介否定的模糊命题逻辑形式系统(FLCOM),证明矛盾否定、对立否定和中介否定是3种不同的模糊否定,提出与FMT不同的,分别基于矛盾否定、对立否定和中介否定的3种模糊拒取式推理FMT1、FMT2和FMT3.此外,基于R-蕴涵算子IR定义一种与IR关联的NR-蕴涵算子INR,并依据FMT的算法给出FMT1、FMT2和FMT3的算法,证明FMT1、FMT2和FMT3的算法在I≤INR条件下是还原算法.     

基于FLcom的模糊知识推理与搜索处理

基于区分矛盾否定、对立否定和中介否定的模糊命题逻辑形式系统FLcom,研究模糊知识及其不同否定的区分与形式表示,以及模糊知识推理与搜索处理。依据FLcom的语义解释,定义模糊命题的否定算子。具体采用Zadeh算子作为模糊推理算法,给出规则路径表的定义,利用规则路径表表示模糊推理规则及搜索过程。通过一个交通事故模型,讨论该模型的模糊推理及搜索过程,给出了搜索的算法及其实现结果。     

黑龙江省萝北县大金顶子镍矿矿床地质特征及成因探讨

介绍了萝北县大金顶子镍矿的地质特征,通过对资料的分析,推测该矿可能是一硫化镍矿,突破了原以为是风化壳型矿床的观点,为该矿床的进一步勘查工作提出了新的思路。     

具有三种否定的模糊命题逻辑形式系统FLCOM的λ-归结

考虑到模糊逻辑中定理自动证明的重要性以及目前主要研究具有一种否定的模糊逻辑的归结原理,文中对具有三种否定(矛盾否定、对立否定和中介否定)的模糊命题逻辑(FLCOM)的归结原理进行研究.基于FLCOM的一种无穷值语义解释提出λ-可满足的和λ-不可满足的概念.将λ-归结方法引入FLCOM,给出FLCOM的λ-归结演绎定义,讨论FLCOM的λ-归结原理,并证明FLCOM的λ-归结方法的完备性.基于λ-归结方法和已证明的结论给出实例以佐证文中λ-归结方法和结论的正确性和可行性.因此,在FLCOM范围内可判定任一模糊命题公式是否是λ-可满足的或λ-不可满足的.     

具有3种否定的模糊集FScom在股票投资决策中的应用

对于模糊知识中不同“否定”的认知与处理,文献[1]从概念层面上区分模糊知识中3种不同的否定关系,并提出一种具有矛盾否定、对立否定和中介否定的模糊集FScom。对FScom在股票投资决策方面的应用做了研究,以表明FScom处理实际问题的适用性。并基于FScom,讨论了决策规则中的模糊集及其不同否定的区分与形式表示;给出一种确定模糊集及其不同否定集的隶属函数以及阈值的方法;采用模糊产生式规则,讨论了实例中的模糊推理与决策。从而表明,FScom用来处理具有模糊性并且存在不同否定的实际问题是有效的。     

我国矿产资源开发利用现状与可持续发展探讨

矿产资源是国民经济发展的重要原料基础。认清矿产资源的特殊性．意识到我国目前及今后矿产资源的状况,对开发利用过程中存在的问题提出有效可行的方案．是实现我国矿产资源可持续发展的保证。文中根据我国矿产资源的严峻形势,分析了我国矿业开发利用中所面临的机遇与不足,提出了一些实现可持续发展的对策和措施。     

焦家金矿床黄铁矿标型特征及含金性分析

通过对焦家金矿床黄铁矿形态、主要成分、微量元素、结构、含金性的分析总结,认为焦家金矿床的成因为中温岩浆热液和变质热液共同作用形成.黄铁矿颗粒中以中、细、微粒含金性较高,随着深度增加,其颗粒变小,金的成色增加,但品位降低.     

黑龙江老柞山金矿地球化学特征及成因模式

老柞山金矿是黑龙江重要的黄金产地之一。本文对该金矿床的成矿地质背景和硫同位素、铅同位素、碳和氧同位素的组成特征进行了分析研究。结果显示成矿流体类型为来源于壳幔同熔的混合含矿岩浆热液,成矿物质主要来自幔源或少量地壳物质。矿石和岩浆岩具有非常相似的铅同位素组成,暗示了二者的亲缘关系。在综合已有地质资料的基础上,对矿床的成因模式进行了总结,强调该矿床的形成是多次构造岩浆逐步富集而成。     

内蒙古赤峰红花沟金矿田控矿构造体系分析

以区域地质背景研究为前提，提出“赤峰云雾山区域性帚状构造系”的概念，运用地质力学分析方法，指出控矿构造为新华夏体系的第二序次，不同级别的构造对该地区金矿的生成以及矿区矿脉的分布起了决定作用。