BixuebihuiBixuebihui

试题试做

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

最新试题 · 第 182 页

Cmax 指？

首过效应（first-pass effect）指？

PK 只关注药效，与毒性无关。

PK 常用参数有？

AUC（曲线下面积）反映？

半衰期（half-life）指？

生物利用度（bioavailability）指？

ADME 分别指？

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

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

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

形式化验证适用场景是？

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

形式化方法包括？

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

形式化验证的代价是？

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

Lean 是什么？

形式化验证（formal verification）指？

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