国有企业的工会委员会是职工代表大会的服务机构。