面向计算机科学的数理逻辑 系统建模与推理 答案（全部）
logic in computer science modelling and reasoning about systems solutions
2019-12-21 20:32:37
400KB
1
倒立摆系统是检验算法的典型实验平台，因为倒立摆系统的高阶、不稳定性、强耦合等特征，使得该系统对研究控制器的鲁棒性等方面具有明显的优势，不仅如此，倒立摆系统与火箭发射、机器人行走等实际系统的姿态调整问题有着极大的相似度，因此，目前倒立摆系统成为了许多专家重视的研究对象，且研究成果不仅具有重要的理论价值而且对于实际系统也有着相当重要的现实意义。
本文主要针对倒立摆的模糊控制器设计进行研究，其主要内容如下：
1. 对倒立摆系统进行数学建模，推导出了动态数学模型和空间状态方程；
2. 对倒立摆模型进行模糊控制器设计，在设计过程中主要利用倒立摆的摆角角度与小车的位置来控制小车的推力，从而不仅有效地控制了倒立摆的摆角问题，而且能够使得小车最终停在期望的位置；
3. 在MATLAB/simulink的仿真环境下，进行仿真实验，证明了模糊控制方法的有效性。
2019-12-21 20:27:43
1.92MB
1
RacerPro1.9推理机是优秀的本体推理机，结合软件Protege本体编辑软件可以实现本体的推理，直接默认地址安装就可以在Protege中使用
2019-12-21 20:19:01
15.16MB
1
TensorRT 是 NVIDIA 推出的专门加速深度学习推理的开发工具。利用 TensorRT， 您可以快速、高效地在 GPU 上部署基于深度学习的应用。 我们首先会介绍 TensorRT 的基本功能和用法，例如它的优化技巧和低精度加速。其次， 结合我们实际使用过程中的经验，详细介绍 TensorRT 的难点：Plugin 机制。最后，我们会分享几个 TensorRT 成功应用案例
2019-12-21 20:10:58
1.28MB
1