检索结果-内蒙古大学图书馆

中国科学：生命科学 2019年第4期49卷 472-483页

作者：朱天琪中国科学院国家数学与交叉科学中心北京100190 中国科学院数学与系统科学研究院中国科学院随机复杂结构与数据科学重点实验室北京100190 中国科学院数学与系统科学研究院应用数学研究所北京100190

随着测序技术的发展,基因组数据呈井喷式增长.大量的基因组数据使得我们可以非常准确的估计出进化距离,即进化速率和物种分化时间的乘积.在很多情况下,我们想要了解的是物种分化的绝对时间.然而分子数据并没有分别提供进化速率和分化时... 详细信息

随着测序技术的发展,基因组数据呈井喷式增长.大量的基因组数据使得我们可以非常准确的估计出进化距离,即进化速率和物种分化时间的乘积.在很多情况下,我们想要了解的是物种分化的绝对时间.然而分子数据并没有分别提供进化速率和分化时间的信息,我们可以使用贝叶斯方法借助化石、先验等外部信息进行估计.近年来,进化模型和计算方法方面研究取得的进展使得我们可以在复杂模型下分析多基因数据.能够分析复杂模型的贝叶斯MCMC方法也成为了主流的物种分化时间估计方法.本文主要介绍贝叶斯物种分化时间估计的框架以及相关工作近年来的进展.

关键词：贝叶斯物种分化时间估计 MCMC算法分子钟模型先验化石校准

来源：评论

学校读者我要写书评

暂无评论

齐性空间自映射的同伦分类献给杨乐教授80华诞

引用

中国科学：数学 2019年第10期49卷 1293-1302页

作者：段海豹林贤祖中国科学院数学与系统科学研究院数学研究所北京100190 中国科学院大学数学科学学院北京100049 福建师范大学数学与信息学院福州350117 福建省分析数学及应用重点实验室福州350117

齐性空间是几何学中一类重要流形,而连续映射的同伦分类是代数拓扑学中一个基本问题.本文是一篇关于齐性空间自映射的同伦分类的综述文章.本文回顾这个课题的前期工作,介绍最新的进展,以及林贤祖的一些新结果.

关键词：环同态拓扑空间的自映射齐性空间旗流形

来源：评论

学校读者我要写书评

暂无评论

子空间扩展算法及其应用

引用

数值计算与计算机应用 2020年第3期41卷 169-191页

作者：谢和虎中国科学院数学与系统科学研究院计算数学研究所国家数学与交叉科学中心科学与工程计算国家重点实验室北京100190 中国科学院大学数学科学学院北京100049

科学研究与工程实际中存在着大量的非线性偏微分方程,这使得非线性方程的求解变得越来越重要.本综述论文利用定义在粗网格上的有限元空间来重建任意有限元函数的Aubin-Nitsche技巧的误差估计.然后介绍如何利用这种对Aubin-Nitsche技巧... 详细信息

科学研究与工程实际中存在着大量的非线性偏微分方程,这使得非线性方程的求解变得越来越重要.本综述论文利用定义在粗网格上的有限元空间来重建任意有限元函数的Aubin-Nitsche技巧的误差估计.然后介绍如何利用这种对Aubin-Nitsche技巧的新视角来设计求解半线性椭圆方程和特征值问题的扩展子空间算法,同时给出相应的收敛性分析和计算量估计.特别地,当求解多项式形式的非线性方程和特征值问题的时候,扩展子空间算法的渐进计算量可以达到最优.本文的论述表明扩展子空间算法是一种用来设计求解非线性方程快速算法的框架,可以应用于更广泛的非线性方程的求解,同时也可以结合各种高效的线性解法器来提高非线性方程的求解效率.

关键词：扩展子空间算法有限元方法半线性椭圆方程特征值问题渐近计算量绝对最优

来源：评论

学校读者我要写书评

暂无评论

基于机器学习的RNA编辑位点预测方法综述

引用

生物信息学 2019年第1期17卷 1-8页

作者：冷嘉承吴凌云中国科学院数学与系统科学研究院应用数学研究所管理决策与信息系统重点实验室国家数学与交叉科学中心北京100190 中国科学院大学数学科学学院北京100049

RNA编辑是一个十分重要的生物细胞分子机制。作为转录后修饰的一步,它可以增加蛋白质组学多样性,改变转录产物的稳定性,调节基因表达等。RNA编辑失调会导致各种疾病,包括神经疾病和癌症。在动物中,腺苷到肌苷(A-to-I)的编辑是最普遍的... 详细信息

RNA编辑是一个十分重要的生物细胞分子机制。作为转录后修饰的一步,它可以增加蛋白质组学多样性,改变转录产物的稳定性,调节基因表达等。RNA编辑失调会导致各种疾病,包括神经疾病和癌症。在动物中,腺苷到肌苷(A-to-I)的编辑是最普遍的。高通量测序技术的进步大大提高了在全局范围内检测和量化RNA编辑的能力,使得RNA编辑的大规模全基因组分析变得可行,产生了一系列基于高通量测序技术的RNA编辑位点预测方法。通过对这些方法进行介绍、总结和分析,为RNA编辑的进一步研究提供一些思路。

关键词： RNA编辑高通量测序 A-to-I 机器学习

来源：评论

学校读者我要写书评

暂无评论

面向环境与需求不确定性的系统自适应决策

引用

计算机研究与发展 2018年第5期55卷 1014-1033页

作者：杨卓群金芝中国科学院数学与系统科学研究院数学研究所北京100190 高可信软件技术教育部重点实验室(北京大学) 北京100871 北京大学信息科学技术学院软件研究所北京100871

软件系统在运行时会与其他软硬件系统、设备和用户发生密切交互.软件运行环境呈现出不稳定的特点,同时软件需求也可能会发生变化.由于难以准确预测和描述软件运行时的环境及需求,两者的变化具有不确定性.为提供持续服务,软件需要通过自... 详细信息

软件系统在运行时会与其他软硬件系统、设备和用户发生密切交互.软件运行环境呈现出不稳定的特点,同时软件需求也可能会发生变化.由于难以准确预测和描述软件运行时的环境及需求,两者的变化具有不确定性.为提供持续服务,软件需要通过自适应能力,根据环境和自身的变化来调节其行为.不确定性给软件的自适应过程带来很大挑战.现有相关工作主要关注环境变化给需求带来的影响,以及环境变化时如何调节软件行为来满足固定的需求.这些方法难以处理需求不确定时自适应过程中的变化性和复杂性.针对该问题,提出一种基于模糊控制的自适应决策方法,以应对运行时环境与需求的不确定性.首先通过模糊逻辑建模与规约环境和软件中的变化要素,并构建要素间的推理规则;其次基于前馈-反馈控制结构和模糊控制器设计自适应机制;最后通过模糊推理和遗传算法实现决策求解.不同环境和约束下的自适应结果表明:软件能够通过自适应机制和算法求得优化决策.为验证方法的可行性和有效性,通过一个移动端比特币采矿机案例进行了评估.

关键词：自适应软件系统不确定性需求工程前馈-反馈控制模糊逻辑优化决策

来源：评论

学校读者我要写书评

暂无评论

一种求解半线性椭圆问题的快速多重网格法

引用

数值计算与计算机应用 2019年第2期40卷 143-160页

作者：谢和虎谢满庭张宁中国科学院数学与系统科学研究院计算数学研究所国家数学与交叉科学中心科学与工程计算国家重点实验室北京100190 中国科学院大学数学科学学院北京100049 天津大学应用数学中心天津300072

本文介绍一种求解半线性问题的完全多重网格算法,该算法是基于多重校正算法与线性边值问题的多重网格迭代结合而设计的.多重校正算法将半线性问题的求解转化成线性边值问题的求解加上在一个低维空间上的半线性问题的求解.利用并行计算技... 详细信息

本文介绍一种求解半线性问题的完全多重网格算法,该算法是基于多重校正算法与线性边值问题的多重网格迭代结合而设计的.多重校正算法将半线性问题的求解转化成线性边值问题的求解加上在一个低维空间上的半线性问题的求解.利用并行计算技术,这里所提出的多重网格算法可以明显地提高求解半线性椭圆问题的效率.更进一步,当非线性项是多项式函数的时候,本文也设计了一种高效的完全多重网格算法,并且通过分析可以知道该算法求解多项式形式的半线性椭圆问题的计算量具有渐近最优的性质.最后用数值实验验证了本文算法的有效性.

关键词：半线性椭圆问题有限元完全多重网格多水平校正张量计算技术渐近计算量绝对最优

来源：评论

学校读者我要写书评

暂无评论

基于验证的自适应系统决策:一种模型驱动的方法

引用

软件学报 2017年第7期28卷 1676-1697页

自适应系统需要根据运行时上下文和自身的变化进行其行为的调节.为实现自主调节,自适应系统必须被赋予运行时监测上下文和自身变化、分析需求满足程度的变化以及推理得到自适应决策的能力.这种在线决策的行为在满足功能需求的同时,还需... 详细信息

自适应系统需要根据运行时上下文和自身的变化进行其行为的调节.为实现自主调节,自适应系统必须被赋予运行时监测上下文和自身变化、分析需求满足程度的变化以及推理得到自适应决策的能力.这种在线决策的行为在满足功能需求的同时,还需要保证系统满足特定的非功能需求,如可靠性和性能等.提出了一种基于验证的自适应系统优化决策方法,以保证非功能需求的满足.该方法在识别可调节目标以建模自适应机制的同时,将系统的目标模型映射为相应的行为模型,用标签转移系统表示;以可靠性需求为例,用标记目标模型规约任务的可靠性;然后将系统行为模型和可靠性规约整合为带可变状态的离散时间马尔可夫链,将候选自适应配置描述为不同可变状态间的组合;最终通过相关需求的在线验证,使系统找到关于某类上下文的最优决策配置.通过一个移动信息系统的案例展示了该方法的可行性和有效性.

关键词：自适应系统优化决策需求建模模型驱动需求验证

来源：评论

学校读者我要写书评

暂无评论

空间引力波探测--天文学的一个新窗口

引用

中国科学：物理学、力学、天文学 2017年第1期47卷 33-54页

作者：黄双林龚雪飞徐鹏 Pau Amaro-Seoane 边星陈跃文陈弦房震冯学锋刘富坤李硕李想罗子人邵明学 Rainer Spurzem 唐文林王龑王瑛臧云龙刘润球中国科学院数学与系统科学研究院应用数学研究所北京100190 中国科学院大学北京100049 马克斯-普朗克引力物理研究所(阿尔伯特-爱因斯坦研究所) 德国波茨坦D-14476 首都师范大学数学科学学院北京100089 北京大学天文系北京100871 中国科学院大学物理科学学院北京100049 中国科学院国家天文台北京100012 中国科学院力学研究所北京100190 中国科学院晨兴数学中心北京100190 西澳大利亚大学澳大利亚珀斯6009 中国科学院计算数学国家重点实验室北京100190

本文内容分为两部分.第一部分通过外尔曲率来阐述引力波这个物理概念,为天体源引力波探测(地面或空间)建立一个基本的理论框架.第二部分中,在中国科学院二期先导研究的基础上,我们进一步地说明空间引力波探测的天文学意义,特别是在探索... 详细信息

本文内容分为两部分.第一部分通过外尔曲率来阐述引力波这个物理概念,为天体源引力波探测(地面或空间)建立一个基本的理论框架.第二部分中,在中国科学院二期先导研究的基础上,我们进一步地说明空间引力波探测的天文学意义,特别是在探索早期宇宙中星系结构的形成,星系-黑洞共同演化结构等重大天文问题中提供一种全新的观察窗口.简要介绍中国科学院空间引力波探测计划(太极计划)的任务设计,并进一步阐明其科学目标以及与(e)LISA项目的区别所在,最后给出空间任务中关键载荷的初步分析.

关键词：广义相对论空间引力波探测天文学

来源：评论

学校读者我要写书评

暂无评论

月球微波测速测距衍生的空间低频引力波探测新方法

引用

中国科学：物理学、力学、天文学 2017年第5期47卷 67-77页

作者：平劲松李文潇韩松涛张添翼王明远吴功友王震曹建峰简念川杨永章刘润球胡松杰孟桥唐歌实张立华中国科学院国家天文台月球与深空探测重点实验室北京100012 中国科学院大学北京100012 中国科学院新疆天文台乌鲁木齐830001 北京航天飞行指挥控制中心航天飞行动力学重点实验室北京100094 东南大学信息科学与工程学院南京210000 西安卫星测控中心宇航动力学国家重点实验室西安710043 中国科学院上海天文台天文地球动力学中心上海200030 中国科学院数学与系统科学研究院应用数学研究所北京100080 中国东方红卫星工程有限公司北京100094

在空间低频引力波探测技术中,使用地面跟踪站对深空探测器的高精度微波多普勒测量方法已经有40多年的发展历史.在嫦娥-3着陆探测延寿拓展任务中,使用自主研发的行星无线电接收机实现了亚毫周精度的月球微波测距技术验证.进一步使用X波段... 详细信息

在空间低频引力波探测技术中,使用地面跟踪站对深空探测器的高精度微波多普勒测量方法已经有40多年的发展历史.在嫦娥-3着陆探测延寿拓展任务中,使用自主研发的行星无线电接收机实现了亚毫周精度的月球微波测距技术验证.进一步使用X波段地-月测距原始测量数据检验了扣除地球大气抖动、电离层扰动、地面设备热噪声、地-月间行星际等离子体效应的更高测量精度的微波差分测距测速方法,并提出了用于嫦娥-4任务四程与双程差分高精度测量的方案,作为先导技术验证.在此基础上,结合月球着陆器和地-月L4/L5平动点通信导航卫星之间的微波链路,提出了一种10^(-17)-10^(-19)感度的差分四程链路的低频引力波空间微波探测的新概念方法,有机会比目前的深空多普勒链路感度提高1-3个量级.

关键词：深空探测多普勒测速低频引力波嫦娥-4号

来源：评论

学校读者我要写书评

暂无评论

最优控制问题的有限元高精度分析及其应用献给林群教授80华诞

引用

中国科学：数学 2015年第7期45卷 953-974页

作者：龚伟刘会坡严宁宁中国科学院数学与系统科学研究院科学与工程计算国家重点实验室北京100190 北京应用物理与计算数学研究所计算物理实验室北京100094

本文简要回顾偏微分方程最优控制问题的有限元高精度分析和基于高精度分析的高效有限元算法的若干研究工作,包括椭圆型方程、抛物型方程最优控制问题的有限元超收敛,椭圆型方程、Stokes方程最优控制问题的混合有限元超收敛,以及基于高... 详细信息

本文简要回顾偏微分方程最优控制问题的有限元高精度分析和基于高精度分析的高效有限元算法的若干研究工作,包括椭圆型方程、抛物型方程最优控制问题的有限元超收敛,椭圆型方程、Stokes方程最优控制问题的混合有限元超收敛,以及基于高精度分析的后验误差估计和自适应有限元方法及有限元外推和校正.本文对近年来上述研究进展进行综述,并展望拟开展的研究工作.

关键词：最优控制有限元超收敛

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：