试题试做

共 10557 道。先按知识点进入练习，也可以从下面的最新题目直接试做。

最新试题 · 第 161 页

PK（药代动力学）研究的是？

把形式化验证引入工程实践的主要障碍是？

定理证明器的工作方式大致是？

形式化验证适用场景是？

形式化验证可以完全替代测试。

形式化方法包括？

用 Lean 证明代码正确性的基本思路是？

形式化验证的代价是？

形式化验证相比测试的优势是？

Lean 是什么？

形式化验证（formal verification）指？

催化剂「失活（deactivation）」常见原因是？

从贵金属到非贵金属的材料革命价值是？

单原子催化（SAC）用于非贵金属设计的意义是？

催化剂能改变化学平衡位置。

催化剂设计关注的指标有？

催化剂的「选择性」指？

贵金属（Pt/Pd 等）催化的优势是？

非贵金属催化剂的代表有？

从贵金属到「非贵金属」催化的动机是？

试题试做第161页 - 生命科学与前沿科技学习平台 | 必学必会