R is semihereditary ring if and only if the sum of two coflat submodules of every R module is coflat module;
是右半遗传环当且仅当任一右R 模的两个上平坦子模的和上平坦；
2
Local integration module takes the results from three anomaly detection subsystems, and average of weighted sum of them gives the output of the local integration.