论文部分内容阅读
Steven Vikers将拓扑的方法与逻辑理论的结果相结合于专著<Topology via Logic》,建立了拓扑系统,并将这一理论应用于计算机理论的研究.本文借助于拓扑系统的思想和方法,以及Frame结构和Heyting代数的共有性质,以Heyting代数为主体建立了一种新型的代数系统-Heyting系统,建立了Heyting系统之间的恰当的联系方法-H-连续映射,给出了Heyting系统的H-空间化与H-Locale化的表示形式并对相关性质进行了讨论.本文的工作进一步丰富了Heyting代数的研究方法和拓扑系统的研究内容.本文的章节结构和具体内容安排如下：第1章预备知识.本章为全文提供了知识准备,给出了格,完备格,分配格,Frame,Heyting代数,Heyting代数同态和拓扑系统,拓扑系统空间化以及拓扑系统locale化的基本概念.第2章Heyting系统及之间的态射.本章首先借助于拓扑系统的思想和方法,以及Frame结构和Heyting代数的共有性质,以Heyting代数为主体建立了一种新型的代数系统-Heyting系统,其次建立了Heyting系统之间的恰当的联系方法-H-连续映射,并说明以Heyting系统为对象,以H-连续映射为态射的体系构成范畴.第3章Heyting系统的H-空间化表示形式.上一章建立了Heyting系统,本章在此基础上,借助于拓扑系统的思想和方法给出了Heyting系统的H-空间化表示形式并对相关性质进行了讨论.第4章Heyting系统的H-Locale化形式.本章以Heyting系统为理论基础,借助于拓扑系统的思想和方法给出了Heyting系统的H-Locale化表示形式并对其相关性质进行了讨论.本章为上一章的平行章节,进一步丰富了Heyting系统的理论.
其他文献
本文采用中国教育追踪调查（CEPS）2014-2015学年追访数据，分析农村儿童出生顺序对其非认知能力的作用机制。结果显示，农村户籍儿童出生顺序对非认知能力有三条作用路径。直接效应：不同出生顺序农村儿童的非认知能力并无显著差异。亲子交流中介效应：出生顺序越靠前的农村儿童与父母情感交流的频率越高，表现出的在校社交非认知能力越强。亲子活动中介效应：出生顺序越靠后的子女，与父母共度的亲子活动时间越少，在
在算子代数理论中,保持问题一直是学者们感兴趣的研究领域,具有重要的理论价值和应用价值.现在保持问题的研究涉及很多方面,而本文研究的内容主要涉及B（H）保持部分等距的线性映射这一方面.部分等距是一类重要的算子,而保持部分等距是算子代数上一类重要的保持映射.近年来,有关这类映射的研究取得了一系列的成果.通过对它们的研究,揭示了更多的算子的特征.全文分为三章,各章主要内容如下：第一章主要介绍了本文中要用
Greenwood&Harvey（1982）将扩散行为定义为：动物个体间相互远离的单线性过程,包括出生地和首次繁殖地之间的扩散模式—出生扩散,以及不同繁殖地之间的扩散模式—繁殖扩散。扩散行为是动物的基本特征之一,是动物的一种运动形式,也是生态学、行为学和进化生物学重要的研究内容。扩散行为的研究已经形成了生态学一个新的分支学科—扩散生态学。当前,鸟类作为动物界重要的研究对象,鸟类学家、生态学家已经开
在高功率超声领域,圆盘和矩形板辐射体应用广泛,活塞式振动和弯曲振动是常见的两种振动方式,不同的振动方式辐射阻抗不同,辐射阻的大小决定了辐射效率的高低,因此对辐射阻抗的研究至关重要。板、盘型声源都是平面状的声源,二者辐射阻抗大小有何异同,在特定的条件下能否等价,特别是矩形板的辐射阻抗的计算比较复杂,对其研究也比较少。本文就板、盘型声源辐射阻抗的主要问题进行了深入研究,尤其对简支边界条件下矩形板的辐射
本文讨论了和谐对的性质与Bernoulli迭代函数系的正交指数函数两个内容,分为三部分,设M为扩张矩阵,D是有限集,自仿测度μM.D是由迭代函数系唯一确定的,并且人（M,S）被定义为：论文的要点及主要内容如下：第一章,我们主要介绍了一些相关基本概念和引理,以及该方向国内外的研究现状和主要成果.第二章,首先讨论了和谐对与整自仿tile及谱测度的关系,推广了和谐对与整自仿tile的性质.其次,研究和谐
脊椎动物的光感受器分为两类,视杆细胞和视锥细胞,主要通过不同视蛋白实现其生理功能。在这些细胞中,编码视蛋白的基因可分为5类：Rh1（rhodopsin）基因编码视杆细胞中所有感光色素,WS/MWS（long/middle wavelength sensitive type）、Rh2（Rh1-like）、SWS1（short wavelength sensitive type1）和SWS2（shor
二十碳五烯酸（EPA）和二十二碳六烯酸（DHA）是长链多不饱和脂肪酸（LC-PUFAs）的两种对人体健康起重要作用的ω-3系列脂肪酸。EPA和DHA含有五个和六个不饱和键的特有结构,使得它们对人类健康有特殊的作用和影响。已经证实EPA对治疗冠状动脉心脏病、高血压和炎症（例如风湿性关节炎）有效。DHA是神经系统细胞生长及维持的一种主要元素,是大脑和视网膜的重要构成成分,在人体大脑皮层中含量高达20%
研究目的:技术能力是决定足球胜负的关键。青少年运动员的选材模型与培养中应重视并强化技术能力。足球技能包含了运用认知、知觉和运动的能力,作为一种在开放环境下根据情况选择和执行正确动作的学习能力,以决策形式呈现的认知部分也是其基本要素。我国现有足球技术等级测试的传球部分多为有预知情况下考察固定的技术动作而非技能,且被认为难度偏低,对不同水平球员不具有区分能力。该部分亟待补充可同时考察动作模式和认知决策
本文首先给出了广义Kato型算子的定义并根据广义Kato型算子的性质定义了算子的一种新谱,然后借助一致可逆算子和一致Fredholm指标算子所诱导的谱集给出了有界线性算子及其摄动满足Weyl型定理的充要条件,最后,将所得的结论应用于亚循环算子和H（P）算子.本文共分三章：第一章给出了广义Kato型算子的定义并根据其性质定义了算子的一种新谱,然后借助一致可逆算子和一致Fredholm指标算子所诱导的
为了研究物理、化学和生物学等自然科学中的许多问题,我们建立了许多数学模型,其中有不少是反应扩散方程.通过研究反应扩散方程,可以更加科学和合理地解释很多实际问题.本文主要在理论上对一类动脉粥样硬化模型的性质进行了研究.虽然对此模型的研究已有一定的发展,但是就目前所知基本上都是在常微分系统下考虑的,而本文考虑到了扩散的影响,利用反应扩散方程理论、分歧理论、度理论等进行研究,使之更符合现实.本文主要讨论