检索结果-南通市图书馆

广义循环矩阵的性质及循环矩阵在Mizar系统中的实现

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

广义循环矩阵的性质及循环矩阵在Mizar系统中的实现

作者：岳晓鹏青岛科技大学

学位级别：硕士

循环矩阵属于Teoplitz矩阵类。一般n阶Teoplitz矩阵的特殊性在于它仅有2n-1个元素并且位于每一条平行于主对角线的直线上的元素都相同，而循环矩阵除了具有Teoplitz矩阵的一般性质外，还具有更加特殊的性质，如：一般的n阶循环矩阵只含... 详细信息

循环矩阵属于Teoplitz矩阵类。一般n阶Teoplitz矩阵的特殊性在于它仅有2n-1个元素并且位于每一条平行于主对角线的直线上的元素都相同，而循环矩阵除了具有Teoplitz矩阵的一般性质外，还具有更加特殊的性质，如：一般的n阶循环矩阵只含有n个元素、它的任意行可以通过对矩阵的第一行进行置换得到等。基于循环矩阵类的良好性质和结构，对它进行研究将会得到很多有意义的结果。Mizar系统是15个著名的数学定理证明系统之一，它在波兰Plock科学协会的Andrzej Trybulec教授的领导下已经发展了近30年，目前Mizar系统已经形成了较完备的数学知识处理的形式化系统，它所包含的数学知识几乎涵盖了数学的每一个分支，但是相对于庞大的数学知识库，很多领域仍然需要我们进一步的开发和研究。文中首先利用广义范德蒙矩阵讨论了广义循环矩阵的准对角化问题，并由所得到的结果，获得了广义循环矩阵的一些相关性质，进而讨论了几种广义循环矩阵求逆的算法。最后，利用有限序列在Mizar系统中给出了关于一般循环矩阵的几个定义，从而在Mizar系统中给出了关于一般循环矩阵的一些基本性质的证明。本文共分三章：第一章：给出相关的预备知识，主要是循环矩阵研究的国内外进展、文中用到的循环矩阵的基本概念、性质以及对Mizar系统的介绍。第二章：利用广义范德蒙矩阵对广义循环矩阵进行对角化，并对几种广义循环矩阵求逆的方法进行比较。第三章：利用有限序列将一般循环矩阵在Mizar系统进行实现，丰富Mizar数据库的内容。

关键词：循环矩阵对角化逆矩阵 Mizar系统数学机械化

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

高维正态分布的数值计算

高维正态分布的数值计算

作者：岳晓鹏西安电子科技大学

学位级别：硕士

正态分布作为自然界和科学领域最常见的分布，广泛应用于工程技术的各个领域。当前，一维正态分布积分数值计算的理论和算法已趋于成熟。近年来，由于理论和实际的需要，针对多维正态分布积分的计算成为一个热门的研究方向。由于多维正... 详细信息

正态分布作为自然界和科学领域最常见的分布，广泛应用于工程技术的各个领域。当前，一维正态分布积分数值计算的理论和算法已趋于成熟。近年来，由于理论和实际的需要，针对多维正态分布积分的计算成为一个热门的研究方向。由于多维正态分布的维数较大，而传统的计算一维或者二维的数值算法大多都是随着维数的增大，计算量呈几何倍的变化，这种算法并不适用于高维的情况。蒙特卡罗和拟蒙特卡罗算法，作为解决高维数值积分的常用算法，走进了人们的视野。本文首先简单地介绍了计算多维正态分布积分的研究现状，阐述了计算多维正态分布积分面临的两个问题：变换形式和计算方法。变换形式方面，介绍了三种不同的变换形式，通过对比并确定了本文所采用的Genz的方法。计算方法方面，详细介绍了蒙特卡罗算法及拟蒙特卡罗算法。通过仿真实验得出，拟蒙特卡罗算法无论在精度上还是时间上较蒙特卡罗算法都有比较大的改进。最后针对现有的拟蒙特卡罗算法，提出了两方面的改进：一方面，当相关系数较大，协方差矩阵接近奇异时，求解出来的值会有较大的误差。通过对积分区域进行有效的排序，可以在一定程度上减少精度的损失;另一方面，在选点的问题上，除了选取已经确定的点列后，还选取了它们在这个空间的对偶点，保证了结果的可靠性。

关键词：多维正态分布蒙特卡罗拟蒙特卡罗对偶点

超临界CO2及其混合物在多孔SiO2中的分子模拟研究

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

超临界CO2及其混合物在多孔SiO2中的分子模拟研究

作者：岳晓鹏南京工业大学

学位级别：硕士

目前,分子模拟技术在许多领域起着越来越重要的作用,如化学工程,材料工程,生物和医药等领域。它可以获得研究体系的微观结构、宏观热力学性质及传递性质,为流体在多孔材料中的吸附和扩散提供理论依据。本文的目的是采用分子动力学(MD)... 详细信息

目前,分子模拟技术在许多领域起着越来越重要的作用,如化学工程,材料工程,生物和医药等领域。它可以获得研究体系的微观结构、宏观热力学性质及传递性质,为流体在多孔材料中的吸附和扩散提供理论依据。本文的目的是采用分子动力学(MD)和巨正则蒙特卡洛(GCMC)模拟方法研究流体在孔中的性质。本论文的主要研究内容如下:1.采用巨正则蒙特卡罗(GCMC)和分子动力学(MD)模拟方法研究了纯组分CO2、苯以及苯/CO2混合物在全硅沸石(Silicalite)中的吸附平衡和动力学扩散性质。首先基于GCMC模拟从吸附等温线,吸附热,吸附位置,相互作用能等方面详细研究了纯组分CO2在全硅沸石Silicalite上的吸附性质,并与实验结果进行了比较。此外,分别考察了不同压力,温度以及组成对苯/CO2混合物在Silicalite中吸附性质的影响。通过对吸附位置的统计表明,苯分子优先选择空间较大的通道交叉部分吸附。模拟结果表明超临界CO2(SC-CO2)可以用于脱附Silicalite沸石中的苯分子。此外,对纯CO2以及苯/CO2混合物在沸石中的扩散性质的动力学(MD)模拟研究,表明共存的苯分子对CO2分子的扩散有很大阻碍作用,并且苯分子在沸石孔中几乎是不动的。2.采用分子动力学模拟(MD)方法模拟研究了无定形二氧化硅的结构和表面性质。模拟过程首先采用熔融-淬火的方法进行,模拟得到的无定形二氧化硅结构的径向分布函数以及取向分布与文献一致的。然后,采用高温退火柔性化得到表面,该表面非桥氧(nb-O)浓度与文献模拟结果以及干氧氧化实验得到的表面是一致的。3.采用巨正则蒙特卡罗(GCMC)模拟,研究了无定形SiO2表面及狭缝对简单Lennard-Jones流体行为的影响。同时为了了解表面曲率和原子对吸附性质的影响,本文也模拟了流体在富氧的方石英(β-cristobalite)晶体表面形成的狭缝中的行为。我们采用球形Lennard-Jones CO2作为测试分子。在模拟中,考察了不同温度、缝宽、表面结构和性质对吸附性能的影响。研究的温度包括:T*=1.025、T*=1.501、T*=1.629;孔宽包括:10?、30?、50?。同时也统计得到了吸附/脱附等温线,密度分布,平均相互作用能,表面结构和最小势能分布。结果表明,迂回滞后线出现在低温(T*=1.025),较宽的狭缝孔中;表面密度分布和能量分布是一致的。对比密度分布,能量分布,表面结构图发现密度较小,能量较大的位置对应于无定形二氧化硅表面上

关键词：分子动力学模拟(MD) 巨正则蒙特卡洛模拟(GCMC) 二氧化碳(CO2) 苯Silicalite(MFI型) 无定形二氧化硅

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

美国生态村发展演变研究及对我国的启示

西安建筑科技大学学报（自然科学版） 2016年第6期48卷 895-900页

作者：岳晓鹏常猛王舒扬河北工业大学建筑与艺术设计学院天津300401

通过文献综述的研究方法,分析生态村的发展背景及影响因素,厘清其历史脉络及演变趋势,概括其发展阶段和典型特征,以期呈现清晰完整的美国生态村发展历程.并在此基础上,比较了与中国农村的差异及共性,并从产业转型、节能设计、发展模式... 详细信息

通过文献综述的研究方法,分析生态村的发展背景及影响因素,厘清其历史脉络及演变趋势,概括其发展阶段和典型特征,以期呈现清晰完整的美国生态村发展历程.并在此基础上,比较了与中国农村的差异及共性,并从产业转型、节能设计、发展模式三方面提出了中国生态农村发展建设的建议策略.

关键词：生态村合作居住社区支持农业反土归田公民社会

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

国外生态村社的社会、经济可持续性研究

国外生态村社的社会、经济可持续性研究

作者：岳晓鹏天津大学

学位级别：硕士

鉴于城市的无限扩张,生态环境恶化,资源的过度消耗,社会隔离的加剧等诸多问题,生态村社作为一种全新的解决方式,于20世纪60年代在欧美等国应运而生。它是在整体性原则指导下的一种生态,经济和社会全面综合可持续发展的全新生活模式。生... 详细信息

鉴于城市的无限扩张,生态环境恶化,资源的过度消耗,社会隔离的加剧等诸多问题,生态村社作为一种全新的解决方式,于20世纪60年代在欧美等国应运而生。它是在整体性原则指导下的一种生态,经济和社会全面综合可持续发展的全新生活模式。生态村社通过融合自然技术和现代技术,采用经济自给自足的方式和提倡公众参与建设,管理社区,来创造舒适,有吸引力的,各方面综合可持续发展的社区。本论文针对以往设计理论纯学术研究的局限性,运用社会学,生态学,经济学等理论,结合显示需求进行跨学科研究;通过比较研究国外不同时期,不同地域的生态村社实例,对其中的经济和社会的可持续发展方面进行了分析和探讨,旨在弥补我国在建筑规划领域及其他方面对生态村社方面的研究的缺环,为我国的新农村和城市生态社区的建设提供理论参考。论文首先阐明了生态村社的历史发展和研究现状;分析了其总体设计及理论思想;结合生态经济和循环经济,对生态村社经济发展的可持续性进行阐述;通过比较分析大量实例,得出其经济得以自给自足的方式;在对社会可持续性的研究中,论文结合其他相关学科,分析了其设计原理,重点解释了公众参与的核心内容,并从专业的角度诠释了建筑设计对社会归属感的促进作用。最后基于我国生态村社发展的现实状况,与国外生态村社进行分析比较,揭示其对我国发展的启示,探讨生态村社在中国未来发展的前景。

关键词：经济社会生态村社可持续发展

基于甘蓝型油菜基因组重测序开发InDel标记

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

基于甘蓝型油菜基因组重测序开发InDel标记

作者：岳晓鹏华中农业大学

学位级别：硕士

近年来,随着高通量测序技术的发展,分子标记开发技术也得到了迅猛地发展。利用高通量技术开发基于PCR技术、操作简单、应用价值大的分子标记,可为控制油菜重要农艺性状的基因定位和分子标记辅助选择育种奠定基础。本研究基于22个甘蓝型... 详细信息

近年来,随着高通量测序技术的发展,分子标记开发技术也得到了迅猛地发展。利用高通量技术开发基于PCR技术、操作简单、应用价值大的分子标记,可为控制油菜重要农艺性状的基因定位和分子标记辅助选择育种奠定基础。本研究基于22个甘蓝型油菜(Brassica napus)自交系基因组重测序数据,以白菜(Brassica rapa)和甘蓝(Brassica oleracea)的基因组为参考序列分析甘蓝型油菜基因组内的InDel (Insertion/Deletion)变异位点,并进一步分析了这些InDel变异位点在全基因组的分布特点。根据序列比对的结果,挑选了唯一比对的InDel位点设计引物595对,利用23个甘蓝型油菜自交系检测InDel标记的多态性。主要结果如下：1.对22个甘蓝型油菜自交系重测序,共得到约351.2Gb的数据,测序平均覆盖度最高的为32倍,最低为9.9倍,平均为14.5倍。通过owa(Burr-ows-Wheeler Aligner)软件(v0.7.0)将测序得到的甘蓝型油菜基因组序列和白菜及甘蓝的参考基因组比对,每个品种平均有9.4Gb的Paired-end reads两端都能比对到参考基因组,平均成功比对率为58.9%,成功比对率最高的为66.9%,最低的为46.0%。2.在甘蓝型油菜全基因组内共检测到353,063个InDel变异位点，其中A基因组每100Kb有87.3个,C基因组每100Kb有33个。InDel的长度范围为1-56bp,其中InDel长度为1-5bp的有313,027个(88.7%),InDel大小在6-56bp的只有40,036(11.3%)。3.结合白菜和甘蓝的基因组注释信息对353,063个InDel变异位点进行分析,发现95,789(27.1%)个InDel位于已注释的基因中,其中10,967(3.1%)个InDel位于外显子区,84,822(24.0%)个InDel位于内含子区,其余的257,274(72.9%)个InDel位于基因间隔序列。4.利用23个甘蓝型油菜自交系对合成的595个InDel标记进行多态性检测,共有592个(99.5%)成功扩增,仅有3个(0.5%)没有成功扩增;其中,成功扩增的592个中有530个(89.1%)只扩增出单一条带,62个(10.4%)扩增出多条带;530个单位点标记中,有523个(87.9%)在至少两个品种中有多态性,7个(1.2%)没有多态性;523(87.9%)个有多态性标记中有461个共显性标记。将416个具有两等位基因的单位点标记基因型和软件分析的基因型进行比较,两种基因型完全吻合的标记有275(66.2%)个,平均吻合度为91.9%。5.在23份甘蓝型油菜自交系中,461个共显性InDel标记总共检测到977个等位基因,平均每个位点2.12个等位基因,基因多样性平均为0.36,变幅为0.07-0.71,多态性信息含量平均为0.29,变幅为0.07-0.66。

关键词：甘蓝型油菜重测序 InDel 分布特点多态性