搜索结果: 1-15 共查到“数理逻辑与数学基础 中国科学院”相关记录59条 . 查询时间(2.236 秒)
中国科学院深圳先进技术研究院专利：建筑物三维模型构建方法及系统
中国科学院深圳先进技术研究院 专利 建筑物 三维模型 构建方法
2023/11/27
中国科学院深圳先进技术研究院专利：建筑物三维模型构建方法及系统
中国科学院深圳先进技术研究院专利：针头组件、注射装置及小鼠模型的建立方法
中国科学院深圳先进技术研究院专利：三维模型分割方法和系统
中国科学院深圳先进技术研究院 专利 三维模型 分割方法
2023/11/6
中国科学院深圳先进技术研究院专利：三维模型分割方法和系统
中国科学院烟台海岸带所渤海浪流模型应用研究取得进展（图）
烟台海岸带 渤海浪流模型 动力环境
2022/12/2
渤海作为我国最北部的半封闭内陆海，地理位置和环境均较为特殊，平均水深较浅，是我国生态上脆弱的海区之一，也是我国易受到寒潮天气影响的海区。环渤海地区是我国主要的经济区之一，沿岸有多个重要港口，经济与人类活动密集，对环渤海的水动力及波浪动力过程的研究是认知海岸带环境过程与生态效应的基础。为此，中国科学院烟台海岸带研究所研究员毛淼华团队基于水动力与波浪模型，运用数据观测及数值模拟相结合的方式开展研究。
近期，中国科学院软件研究所研究员蔡少伟团队在逻辑约束求解器研究中取得多项进展，并在命题逻辑可满足性问题（SAT）、可满足性模理论问题（SMT）等多项竞赛中斩获佳绩。
甲烷（CH4）是首要非二氧化碳温室气体。当前大气中的甲烷浓度已超过了1900ppbv，几乎是工业化前浓度水平的3倍，已经造成了约0.5℃的升温，所产生的温室效应在全球变暖中贡献约20%。在政府间气候变化专门委员会（IPCC）最新发布的第六次评估报告（AR6）中， IPCC在预警全球升温的严峻形势外，也首次阐述了甲烷排放控制对减缓气候变暖以及改善空气质量的作用。
中国科学院数学与系统科学研究院博士生导师周向宇研究员（图）
周向宇 博士生导师 研究员 基础数学
2022/2/18
周向宇，研究员、博士生导师，1965年3月生于湖南省郴州市。1981-1985年在湘潭大学数学系本科并获学士学位，1985-1990年在中国科学院数学研究所获硕士、博士学位。1990年起在数学研究所工作，1992年9月起任中科院数学研究所副研究员，1998年9月起任该所研究员、博士生导师。2003年2月至2012年6月担任中科院数学研究所所长，2008年1月至2011年12月任中国数学会副理事长。
中国科学院数学与系统科学研究院王崧研究员（图）
中国科学院数学与系统科学研究院 王崧 研究员
2022/2/18
王 崧，2002.6.14 获得哲学博士学位；1996.9-2001.8 美国加州理工学院，哲学博士，基础数学专业；1991.9-1992.7 信阳陆军学院，预备役军官；1991.9-1996.7 北京大学，理学学士，数学专业。
中国科学院数学与系统科学研究院网络模型解析人类遗传变异（图）
人类；遗传变异；网络模型
2021/10/11
遗传变异指不同个体之间在DNA水平上的差异，是物种形成和生物进化的基础。1990年正式启动的人类基因组计划（Human Genome Project, HGP）与曼哈顿原子弹计划和阿波罗计划并称为三大科学计划。作为一项规模宏大，跨国跨学科的科学探索工程，HGP测定了组成人类染色体中所包含的30亿个碱基对组成的核苷酸序列，绘制人类基因组图谱。于2001年发布人类参考基因组的草图，被认为是HGP成功的...
中国科学院数学与系统科学研究院2021年招收攻读博士学位研究生简章。
2020年12月19日，数学与交叉科学发展战略研讨会暨中科院数学与交叉中心成立十周年交流会在中国科学院数学与系统科学研究院（以下简称数学院）举行。研讨会由中国科学院国家数学与交叉科学中心主任郭雷院士主持。科技部副部长黄卫、中国科学院副院长李树深出席会议。中国科学院数学与系统科学研究院院长席南华院士、中科院数学院杨乐院士、石钟慈院士、林群院士、陈翰馥院士、崔俊芝院士、马志明院士、严加安院士、中国科协...
中国科学院青海盐湖研究所2021年硕士研究生招生高等数学（丙）考试大纲。
中国科学院青海盐湖研究所2021年硕士研究生招生高等数学（乙）考试大纲。
中国科学院青海盐湖研究所2021年硕士研究生招生高等数学（甲）考试大纲。