本文将新型智能教育软件《数学实验室》运用于教学实践中，收到了显著的教学效果。
The authors made an effort in computer_aided instruction in classroom by means of the smart software "Mathematical Laboratory", and obtained various good results in teaching research.
智能几何教学软件都使用基于前推法的几何推理系统作为推理引擎。
The automated geometry reasoning system based-on forward chaining is used as the reasoning engine in the intelligent geometry teaching system.
通过分析目前楼宇智能化专业职业教育实训教学中存在的问题，提出了采用组态软件编制实训仿真平台的解决方法。
By analyzing the problems in practical teaching in intelligent building speciality, this paper proposes the solutions of training simulation platform by configuration software.
应用推荐