【摘 要】
：
本文通过利用拓扑工具结合命题演算系统进行再研究,目的是从更加抽象化的层面来理解,并推广了抽象推理系统,产生了一系列基于模糊命题逻辑的算子,丰富了格上逻辑学,也为在范畴层面研究逻辑学、模糊推理推理系统及应用提供了参考.设X是一个集合,RCS（X）是X上的结论闭域系统的全体,则可以定义X的推理闭包算子,给RCL（X）（即X上的推理闭包算子的全体）上定义适当的偏序关系≤并具体地给出（RCL（X），≤）和
论文部分内容阅读
本文通过利用拓扑工具结合命题演算系统进行再研究,目的是从更加抽象化的层面来理解,并推广了抽象推理系统,产生了一系列基于模糊命题逻辑的算子,丰富了格上逻辑学,也为在范畴层面研究逻辑学、模糊推理推理系统及应用提供了参考.设X是一个集合,RCS（X）是X上的结论闭域系统的全体,则可以定义X的推理闭包算子,给RCL（X）（即X上的推理闭包算子的全体）上定义适当的偏序关系≤并具体地给出（RCL（X），≤）和（RCS（X），（?））之间的序同构,这时可以用推理闭包算子确定结论闭域,那么我们也可以定义用推理内部算子、推理外部算子、推理边界算子、推理导算子等,来确定结论闭域.论文的要点及主要内容如下：第1章预备知识.主要介绍了本文所涉及的推理闭包系统的相关概念与结论.第2章首先通过定义（RCS）（X）（X上的结论闭域系统的全体）.RCL（X）（X上的推理闭包算子的全体）、RIN（X）（X上的推理内部算子的全体）、ROU（X）（X上的推理外部算子的全体）、RB（X）（X上的推理边界算子的全体）上的序关系,随后证明了（RCS）（X）与RCL（X）、（RCS）（X）与RIN（X）、（RCS）（X）与ROU（X）、（RCS）（X）与RB（X）之间是序同构的.第3章结合推理闭包系统,建立新的导集、新的导算子、新的邻域算子和新的远域算子,并证明了（RCS）（X）与RD（X）、（RN）（X）与RR（X）之间是序同构的.
其他文献
用光学技术测量水下声信号的方法有很多,包括激光干涉法、激光多普勒法,和通量变化法。这些方法的测量精度非常高,但是这些方法对于目标的反射面有十分严格的要求,在实际应用中存在诸多不便。针对于此,我们提出了利用激光衍射的方法测量表面波,该方法可测量频率范围比较大,并且具有实时、无接触和无损等诸多优点,应用性比较广泛。本文根据表面波声光效应的原理,对水下声信号进行探测与处理,主要包括以下四个部分：1、介绍
花作为被子植物的繁殖器官,对物种的顺利延续以及新物种的形成具有重要意义。花的形态和结构在被子植物的不同类群中是丰富多样的。研究表明,参与花发育的"ABCDE"类MADS-Box基因在被子植物中不但具有保守的功能式样,而且在进化过程中经历了多次基因重复事件,并在重复基因之间由于发生功能的分化或获得新的功能,从而为丰富被子植物花的多样性提供了遗传和进化上的原动力。然而,"ABCDE"类重复基因是如何对
2008年在美国爆发的国际金融危机影响仍然存在,现在又爆发了美国的国债和欧元区主权债务危机。近期,欧债问题愈演愈烈,有进一步蔓延之势,这必然给世界经济带来新的更大冲击。当前希腊债务有序重组,如果贷款能够如期到位,欧盟、工M「以及欧央行将最终成为希腊的主要债权人。目前,欧债危机的唯一解决方案是走共同财政政策的道路,发行统一的欧元债券。近日美国国会频繁就人民币汇率问题向中国发难,称人民币低估导致了美国
近年来随着DC-DC转换器,张弛振荡器,生物系统,机械系统中的冲击振子,功率变换器等实际系统中不连续行为的持续涌现,不连续系统的动力学逐渐引起了广泛关注。不连续映像,作为一种研究不连续系统的简化模型,对其整体动力学行为的深入研究将具有重要的理论和应用价值。本文主要研究了禁区对既不连续又不可逆映像的动力学行为的影响。首先,我们在禁区控制参数的特定区间发现了加周期现象,并确定了这类加周期现象是由于系统
本研究基于清朝、民国时期的多种历史文献资料（地方志、奏报档案、日记等）,在利用科学手段判断降水现象的基础上,收录清代陕西雨情的相关记录,并从中提取雨情发生时间（“日”精度）、地点（“县”精度）、史料原记录等,最终以Microsoft Excel工具建立清代陕西雨情年表,详情见附录2、附录3。根据雨情记录特点,结合现代暴雨概念界定,制定适合本研究的暴雨判定标准,从收录的雨情资料中提取暴雨的发生和持续
婚配制度研究是动物行为生态学的重要研究内容之一。田鼠属动物虽然种间亲缘关系密切,但其社会组织和婚配制度具有明显的种间差异。除此之外,具有不同婚配制度的田鼠具有明显不同的生理基础,通过比较研究可揭示田鼠属不同婚配制度社会行为形成的机制。所以田鼠属动物成为婚配制度及相关行为形成内在机制和进化研究的理想模式动物和热点研究对象。婚配制度作为繁殖行为的一种表现形式是通过长期的进化形成的,但它不是固定不变的,
柴松（Pinus tabulaeformis f. shekannesis）是油松（P. tabulaeformis）在黄土高原的变异体,其分布区极其有限。集中分布于陕西富县大麦秸沟地区。因柴松种群是黄土高原稀有的珍贵乡土树种基因库,又是该地区生态系统重要的组成部分,其适应能力强,长势良好,在改善当地环境中发挥重要的作用。但由于柴松在黄土高原的分别范围狭小,自然扩散能力较弱,扩大其分布范围,充分发
骨骼肌是人和哺乳动物运动系统的重要组成部分,动物通过骨骼肌收缩完成躯体各项运动。甘肃鼢鼠（Myospalax cansus）是我国黄土高原特有地下鼠,营地下低氧高二氧化碳黑暗洞道生活,为适应其特殊的生境,其结构和功能都发生了适应性的变化。通过对常氧、急性、慢性低氧条件下甘肃鼢鼠和SD大鼠腓肠肌肌纤维构成和代谢特征进行比较,探讨甘肃鼢鼠骨骼肌低氧适应机制,研究表明：1用肌球蛋白ATP酶法对常氧、急性
乙酰胆碱酯酶（acetylcholinesterase, AChE, EC 3.1.1.7）在生物体内能特异性催化乙酰胆碱,终止神经递质对突触后膜的刺激作用,保证信号在生物体内的正常传递。随着研究的深入,越来越多的证据表明乙酰胆碱酯酶有着更为广泛的生理作用,如在非神经细胞中参与细胞的增殖、分化、细胞骨架的形成、促进神经细胞突触的生长、促进血小板和血细胞的生成、参与细胞凋亡等。乙酰胆碱能神经元、神经
近年来,随着全球化进程的日益推进,可持续发展已成为各国普遍达成的共识。作为可持续发展中的重要环节—资源的可持续开发及利用也日益受到人们的重视,其中涉及的相关问题已经受到人们的广泛关注。可再生生物资源优化管理问题是目前的研究热点之一,不少学者对种群模型的优化开发问题进行了一系列研究。对于生物种群的开发主要分为连续性开发和脉冲形式的开发。目前关于脉冲优化开发问题的研究,主要集中于研究对于收获产量的优化