交易规则必须是可以量化的,可执行的