基于SOC数控系统关键技术研究

本项目以研究数控系统的模型和实现基于SOC的数控系统为目标，并开展相关的控制系统建模研究。这是一项以计算机控制为先导的多学科交叉的重要研究课题。开展本项研究有两个方面的意义：一是探索数控系统的形式化描述，从理论上理解数控系统的特性，为数控系统的规范化和系统分析提供一个理论依据；二是实现基于SOC的硬件数控系统，满足高速高精加工的需要。同时通过构建硬件可重构的数控系统，满足可重构制造系统的需求。这是一个具有学术价值和高技术应用前景的研究课题。.本项目以时态逻辑模型建立数控系统的数学描述，根据这一描述建立数控系统的软/硬件描述；利用数控系统的软硬件描述建立软/硬件划分模型；在此基础上，提出在单一芯片上实现数控系统技术途径，并研制一台基于SOC的高性能数控系统。