AnyMath 文档
模型验证
断言
检查信号的零值。