搜索结果: 1-15 共查到“知识要闻 数理逻辑与数学基础”相关记录129条 . 查询时间(2.312 秒)
2024年10月25日，中国科学院上海药物研究所陆晓杰课题组联合郑明月课题组合作在国际知名期刊Journal of Medicinal Chemistry上发表了题为“Enhancing the Predictive Power of Machine Learning Models through a Chemical Space Complementary DEL Screening Strat...
细胞在组织和器官内的空间位置与其功能紧密相关。新兴的空间转录组技术能够在组织中原位捕获转录信息，为研究人员解析基因表达谱从而解码细胞空间分布、破译组织的空间结构、理解复杂的生物学功能提供了条件。
国家自然科学基金委员会中国学者在罕见病模型与机制研究方面取得进展（图）
模型 复合 细胞
2024/11/23
在国家自然科学基金项目（批准号：81930121、82125008）等资助下，昆明理工大学陈永昌教授、季维智院士团队和广州实验室胡苹研究员团队合作，在罕见病杜氏肌营养不良症（Duchenne muscular dystrophy，DMD）模型构建与机制研究方面取得进展。研究成果以“应用非人灵长类模型揭示复合细胞功能缺陷导致DMD早期骨骼肌病变的机制（Profound cellular defect...
国家自然科学基金委员会中国学者在平台经济研究方面取得进展（图）
经济 理论 模型 分析
2024/10/13
在国家自然科学基金项目（批准号：72202160、72342026）等资助下，同济大学王睿通助理教授和邱烨副教授在平台经济研究方面取得新进展。研究成果以“在线平台的双重角色与产品推荐策略（Dual Role and Product Featuring Strategy of Digital Platform）”为题，于2024年5月在《营销科学》（Marketing Science）在线发表。论文...
碳移除是21世纪末实现巴黎气候协定温度目标的关键手段。在其开展后，全球地表气温将在随后的若干年达峰。目前，耦合模式比较计划第六阶段（CMIP6）开展碳移除试验的数值模式较少，限制了科学界对碳移除下全球地表气温峰值出现时间的理解。
中国科学院软件所在硬件模型检测领域取得进展（图）
模型 检测 电子 自动化
2024/6/28
2024年4月7日，中国科学院软件研究所基础软件国家工程研究中心团队的两篇论文被国际电子设计自动化（EDA）领域顶级会议Design Automation Conference（DAC 2024, CCF-A类）录用。研究成果聚焦于硬件模型检测领域，助力了处理器检测方法的改进和检测算法的性能提升。
国家自然科学基金委员会中国学者与海外合作者在关键医疗资源的优化调配研究中取得进展（图）
医疗资源 系统 模型
2024/8/29
在国家自然科学基金项目（批准号：71931008、72001220）等资助下，上海交通大学万国华教授团队、中山大学王杉助理教授与海外合作者对关键医疗资源的优化调配问题开展研究，取得如下创新成果：（1）利用一手数据，发现了大规模灾难（例如地震、洪水、战争等）情形下伤患健康状况随时间恶化的多种模式，揭示了不同类别伤患手术时长的显著差异和时变特性（图），为构建更有效的伤患救治方案提供了实证基础。（2）构...
中国科学院烟台海岸带所渤海浪流模型应用研究取得进展（图）
烟台海岸带 渤海浪流模型 动力环境
2022/12/2
渤海作为我国最北部的半封闭内陆海，地理位置和环境均较为特殊，平均水深较浅，是我国生态上脆弱的海区之一，也是我国易受到寒潮天气影响的海区。环渤海地区是我国主要的经济区之一，沿岸有多个重要港口，经济与人类活动密集，对环渤海的水动力及波浪动力过程的研究是认知海岸带环境过程与生态效应的基础。为此，中国科学院烟台海岸带研究所研究员毛淼华团队基于水动力与波浪模型，运用数据观测及数值模拟相结合的方式开展研究。
近期，中国科学院软件研究所研究员蔡少伟团队在逻辑约束求解器研究中取得多项进展，并在命题逻辑可满足性问题（SAT）、可满足性模理论问题（SMT）等多项竞赛中斩获佳绩。
2022年6月21日，浙江大学电气工程学院教师发展中心举办EE教学工作坊系列活动。浙江大学数学学院李方教授主持了沙龙的交流，并为老师们带来了主题为《离散、连续、对称与“基因”从历史角度理解教学与研究》的分享。
甲烷（CH4）是首要非二氧化碳温室气体。当前大气中的甲烷浓度已超过了1900ppbv，几乎是工业化前浓度水平的3倍，已经造成了约0.5℃的升温，所产生的温室效应在全球变暖中贡献约20%。在政府间气候变化专门委员会（IPCC）最新发布的第六次评估报告（AR6）中， IPCC在预警全球升温的严峻形势外，也首次阐述了甲烷排放控制对减缓气候变暖以及改善空气质量的作用。
近日，2021年度国际遗传工程机器设计大赛（iGEM）全球总决赛落下帷幕。由文理学院合成生物学研究团队指导，来自我校军事基础教育学院、空天科学学院、计算机学院等多个学院的25名学员组成“NUDT-CHINA”参赛队，在全球255个本科生参赛团队中脱颖而出，入围本科生队全球前十，并夺得该赛事金奖，获得最佳基础进展类项目提名奖和最佳元件集提名奖。
《北京数学杂志（英文）》创刊三周年（图）
北京；数学杂志；创刊；三周年
2021/10/12
《北京数学杂志（英文）》（Peking Mathematical Journal）是由教育部主管、北京大学主办的英文数学期刊，于2018年9月正式创刊。期刊由北京国际数学研究中心和北京大学数学科学学院联合承办，主要刊登基础数学方面具有突出思想方法的高水平原创研究成果，旨在促进国内外学术交流，推动数学学科发展。
江西财经大学在第十二届全国大学生数学竞赛决赛中荣获佳绩（图）
江西财经大学 数学竞赛
2021/5/25
近日，第十二届全国大学生数学竞赛全国总决赛在吉林大学举行。来自清华大学、北京大学等高校的20余万大学生参加了初赛，668人进入决赛。在信息管理学院严淑梅、邓咏梅、邹玉仁等老师的指导下，2017级信息与计算科学专业邓振晨同学获数学专业组三等奖（系我校学子首次在数学专业组决赛中获奖），2018级物联网专业席杰同学获非数学组三等奖。
第十二届全国大学生数学竞赛决赛中国石油大学(华东)获两项三等奖
中国石油大学(华东) 数学竞赛
2021/5/24
2021年5月15－16日，第十二届全国大学生数学竞赛决赛在吉林大学举行。我校控制科学与工程学院戴剑楠和储运与建筑工程学院袁庆江参加比赛，获非数学专业组三等奖，理学院陈永刚获评优秀指导教师。