自然辩证法论文 研究生论文 与自动化相结合的