基于区间约束满足问题求解和可行域分析的初步电池组设计方法 | Synapse