华东师范大学学报(自然科学版)2024年04期_最新目录

华东师范大学学报(自然科学版)2024年04期

计算机科学
一种面向嵌入式操作系统的形式化验证方法王阳;方竟成;蔡雄;张志鹏;蔡喁;缪炜恺;
一种基于机器学习的模型检查算法性能预测方法张枨宇;诸嘉逸;黄怿豪;杨迪;李建文;缪炜恺;阎迪;顾斌;詹乃军;蒲戈光;
物理学与电子学
ATLAS 2.76 TeV单喷注实验数据对CT18NNLO部分子分布函数的影响徐颖;范红豪;沙依甫加马力·达吾来提;
基于铷原子系综的等温剩磁检测系统研究陈悦;王梓畅;包谷之;吴媛;陈丽清;
基于分束器的光学偏振保真传输林雨菲;谢微;
星际分子1-氰基-1,3-丁二烯的气相合成机制研究郑慧敏;白西林;龚起昂;杨涛;
纳米气泡分离同位素方法初研诸旭辉;陈邦林;
生命科学
上海大金山岛苔藓植物物种多样性师瑞萍;郑鹏;吴琪;王怡然;丁晓璐;高雪笛;王幼芳;王健;
上海自然博物馆植物标本室模式标本的整理与分析师瑞萍;李必成;文春青;张云飞;吴倩倩;秦祥堃;
基于生物信息学构建肝癌免疫预后基因模型及初步验证谢琳玎;张远;蔡亦红;
8周高原训练对赛艇运动员红细胞生成、铁代谢和有氧运动能力的影响王玉新;余知睿;李涛;梁世雷;高欢;
遥感与地理信息系统
基于机器学习的长江口表层水体溶解有机碳遥感反演研究陈灏;何贤强;李润;曹芳;
上海市盈浦街道生态资产核算与变化分析张谌;汤志;陆衍;李蕊;过仲阳;
河口海岸学
台风对淤泥质潮滩冲淤影响研究——基于无人机测量与现场水动力观测张新淼;薛力铭;史本伟;张文祥;李天佑;彭彪彪;李秀珍;汪亚平;