该试验在我国华北某历史污灌区开展。试验针对不同污染风险水平的农田,采取了两种技术策略,从效果与经济成本等方面综合评价了当前主流安全利用技术(低吸收品种与土壤调理剂)的可行性,并据此提出了适合研究区域的安全利用实施方案。研究发现,重金属 Cd 的富集能力在小麦品种之间存在显著差异,低吸收品种在降低籽粒 Cd 含量的同时并未造成经济效益上的负面影响,是切实可行的安全利用技术。通过多点位拟合分析,该研究预测了低吸收小麦品种 JM22 推广种植的土壤镉临界值。定量结果表明,推广单一小麦品种可以零成本实现试验区 80% 的镉污染农田安全利用。
上海交通大学:上海交大汪宇霆团队在程序设计语言领域编译验证方向取得重要进展 近日,上海交通大学电子信息与电气工程学院约翰·霍普克罗夫特计算机科学中心长聘教轨副教授汪宇霆团队在程序设计语言领域编译验证方向取得重要进展,研究成果“Verified Compilation of C Programs with a Nominal Memory Model”已被程序设计语言领域顶级会议 ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2022)接收。该项目由上海交通大学与耶鲁大学共同完成,上海交通大学为第一完成单位,汪宇霆为第一作者。该研究创新性地将名义技术(Nominal Techniques)中命名和支持集合(Support)的概念引入传统的基于区块的内存模型,提出了一种称为名义内存模型(Nominal Memory Model)的新型内存模型,将其成功应用于 C 程序编译验证。