发送短信 : Bijective linear maps on semimodules spanned by Boolean matrices of fixed rank