弹性刚性支承法
elastic-rigidity supporting method
非线性刚性变延迟微分方程
Nonlinear stiff delay differential equations with a variable delay
全数字化刚性试验机
Full-digitally servo-controlled stiffness testing machine
测试性试验
testability demonstration
Dolev-Yao刚性
Dolev-Yao non-malleability