The function of a real network depends not only on the reliability of its own components, but is a ected also by the simultaneous operation of other real networks coupled with it. Whereas theoretical methods of direct applicability to real isolated networks exist, the frameworks developed so far in percolation theory for interdependent network layers are of little help in practical contexts, as...

An improved characteristic set algorithm for solving Boolean polynomial systems is proposed. This based on the idea of converting all polynomials into monic ones by zero decomposition, and using additions to obtain pseudo-remainders. Three important techniques are applied in algorithm. The first one eliminating variables new generated linear polynomials. second optimizing strategy choosing deco...