什么是机构分时