工作效率×工作时间=工作总量字母公式