搜索结果: 1-15 共查到“知识要闻 数理逻辑与数学基础”相关记录123条 . 查询时间(0.984 秒)
![](http://www.firstlight.cn/upload/imgfile/20246/28/2024628155119480.png)
中国科学院软件所在硬件模型检测领域取得进展(图)
模型 检测 电子 自动化
2024/6/28
2024年4月7日,中国科学院软件研究所基础软件国家工程研究中心团队的两篇论文被国际电子设计自动化(EDA)领域顶级会议Design Automation Conference(DAC 2024, CCF-A类)录用。研究成果聚焦于硬件模型检测领域,助力了处理器检测方法的改进和检测算法的性能提升。
![](http://www.firstlight.cn/upload/imgfile/202212/2/2022122145920503.png)
中国科学院烟台海岸带所渤海浪流模型应用研究取得进展(图)
烟台海岸带 渤海浪流模型 动力环境
2022/12/2
渤海作为我国最北部的半封闭内陆海,地理位置和环境均较为特殊,平均水深较浅,是我国生态上脆弱的海区之一,也是我国易受到寒潮天气影响的海区。环渤海地区是我国主要的经济区之一,沿岸有多个重要港口,经济与人类活动密集,对环渤海的水动力及波浪动力过程的研究是认知海岸带环境过程与生态效应的基础。为此,中国科学院烟台海岸带研究所研究员毛淼华团队基于水动力与波浪模型,运用数据观测及数值模拟相结合的方式开展研究。
![](http://www.firstlight.cn/upload/imgfile/20229/8/202298161112933.jpg)
2022年6月21日,浙江大学电气工程学院教师发展中心举办EE教学工作坊系列活动。浙江大学数学学院李方教授主持了沙龙的交流,并为老师们带来了主题为《离散、连续、对称与“基因”从历史角度理解教学与研究》的分享。
甲烷(CH4)是首要非二氧化碳温室气体。当前大气中的甲烷浓度已超过了1900ppbv,几乎是工业化前浓度水平的3倍,已经造成了约0.5℃的升温,所产生的温室效应在全球变暖中贡献约20%。在政府间气候变化专门委员会(IPCC)最新发布的第六次评估报告(AR6)中, IPCC在预警全球升温的严峻形势外,也首次阐述了甲烷排放控制对减缓气候变暖以及改善空气质量的作用。
![](http://www.firstlight.cn/upload/imgfile/20227/24/2022724111037308.png)
《北京数学杂志(英文)》创刊三周年(图)
北京;数学杂志;创刊;三周年
2021/10/12
《北京数学杂志(英文)》(Peking Mathematical Journal)是由教育部主管、北京大学主办的英文数学期刊,于2018年9月正式创刊。期刊由北京国际数学研究中心和北京大学数学科学学院联合承办,主要刊登基础数学方面具有突出思想方法的高水平原创研究成果,旨在促进国内外学术交流,推动数学学科发展。
![](http://www.firstlight.cn/upload/imgfile/20215/25/202152515501829.jpg)
江西财经大学在第十二届全国大学生数学竞赛决赛中荣获佳绩(图)
江西财经大学 数学竞赛
2021/5/25
近日,第十二届全国大学生数学竞赛全国总决赛在吉林大学举行。来自清华大学、北京大学等高校的20余万大学生参加了初赛,668人进入决赛。在信息管理学院严淑梅、邓咏梅、邹玉仁等老师的指导下,2017级信息与计算科学专业邓振晨同学获数学专业组三等奖(系我校学子首次在数学专业组决赛中获奖),2018级物联网专业席杰同学获非数学组三等奖。
第十二届全国大学生数学竞赛决赛中国石油大学(华东)获两项三等奖
中国石油大学(华东) 数学竞赛
2021/5/24
2021年5月15-16日,第十二届全国大学生数学竞赛决赛在吉林大学举行。我校控制科学与工程学院戴剑楠和储运与建筑工程学院袁庆江参加比赛,获非数学专业组三等奖,理学院陈永刚获评优秀指导教师。
![](http://www.firstlight.cn/upload/imgfile/20215/21/202152115215314.jpg)
中南大学学子荣获第十二届全国大学生数学竞赛三项一等奖(图)
中南大学 数学竞赛
2021/5/21
第十二届全国大学生数学竞赛决赛于5月15—16日在吉林大学举行。经过校赛、湖南省赛暨全国预赛的选拔,中南大学有6名同学参加决赛,最终获得一等奖3项、二等奖2项、三等奖1项。其中,数学与统计学院林文龙获得数学专业高年级组一等奖,土木工程学院陶峥、姜岸获得非数学专业组一等奖,数学与统计学院应鑫浩、黄文豪获得数学专业高年级组二等奖,刘雨涵获得数学专业低年级组三等奖。
![](http://www.firstlight.cn/upload/imgfile/20215/24/2021524164611726.jpg)
2021年5月14-16日,第十二届全国大学生数学竞赛决赛在吉林大学成功举办。我校学子首次入围全国总决赛,取得了可喜的成绩。经过激励角逐,由数学科学学院耿俊老师指导的2018级王日娜同学获得了数学类高年级组全国三等奖、经济管理学院2019级李正伟同学获得了非数学类全国三等奖,实现了我校在该项赛事国奖零的突破。
![](http://www.firstlight.cn/upload/imgfile/20215/21/202152115500499.jpg)
2021年5月14日至16日,第十二届全国大学生数学竞赛决赛在吉林大学举行,我校2020级航天与自动化专业本科生李行获得非数学组全国一等奖第一名,另有3位同学获得全国一等奖,4位同学获得全国二等奖,2位同学获得全国三等奖。这是我校近年来在该项全国学科竞赛赛事中取得的最佳成绩。
![](http://www.firstlight.cn/upload/imgfile/20215/20/2021520164527831.jpg)
第十二届全国大学生数学竞赛南开大学学子获佳绩(图)
数学竞赛 南开大学
2021/5/20
第十二届全国大学生数学竞赛决赛于5月15日在吉林大学举行。南开大学12名同学参加决赛,共获得三项一等奖,四项二等奖,五项三等奖。
![](http://www.firstlight.cn/upload/imgfile/20215/17/2021517113532419.jpg)
中国人民大学学生在2021年美国大学生数学建模竞赛中取得佳绩(图)
中国人民大学 数学建模 美国
2021/5/17
2021年美国大学生数学建模竞赛(MCM/ICM)结果日前揭晓,中国人民大学共有72支参赛队伍获奖,取得了可喜的成绩和历史性突破。其中,1支队伍获得特等奖(Outstanding Winner),12支队伍获得特等奖提名(Finalists Winner),22支队伍获得一等奖(Meritorious Winner),37支队伍获得二等奖(Honorable Mention)。
![](http://www.firstlight.cn/upload/imgfile/202110/11/20211011135050221.png)
中国科学院数学与系统科学研究院网络模型解析人类遗传变异(图)
人类;遗传变异;网络模型
2021/10/11
遗传变异指不同个体之间在DNA水平上的差异,是物种形成和生物进化的基础。1990年正式启动的人类基因组计划(Human Genome Project, HGP)与曼哈顿原子弹计划和阿波罗计划并称为三大科学计划。作为一项规模宏大,跨国跨学科的科学探索工程,HGP测定了组成人类染色体中所包含的30亿个碱基对组成的核苷酸序列,绘制人类基因组图谱。于2001年发布人类参考基因组的草图,被认为是HGP成功的...