二氧化碳性质的研究