模块独立的概念是（）、（）、信息隐蔽和（）概念的直接结果。