排序方式: 共有6条查询结果,搜索用时 15 毫秒
1
1.
2.
3.
从ALC到SHOQ(D):描述逻辑及其Tableau算法 总被引:2,自引:0,他引:2
描述逻辑是一类知识表示的形式系统,并成为语义Web的逻辑基础。Tableau是描述逻辑的基本证明论,基于Tableau的算法提供7描述逻辑的推理机。本文系统地阐述了对应于语义Web语言从基本的ALC到SHOQ(D)描述逻辑基础及其相应的Tableau算法。 相似文献
4.
5.
传统加工中心的刀库以三相异步电机或液压马达为动力源,其定位精度靠机加工来保证,并且其换刀动作的PLC编程复杂,所以刀库换刀一直是加工中心的难点和故障点。针对该问题,以某德国卧式加工中心改造为例,分析探讨该难点的解决方案——基于西门子802DSl系统PLC分度轴的大小径刀具换刀控制方法。该方法以西门子伺服电机为刀库动力源,设定刀库轴为PLC分度轴,在简化刀库电气元件配置的同时实现大小径刀具便捷换刀,进而提高了刀库换刀效率,同时该方法以其高精度定位增强了刀库选刀的可靠性。 相似文献
6.
介绍了复贴机卷绕机构恒张力控制的基本原理和数学模型,并提出了串级PID控制策略,运用计算机仿真工具MATLAB及其SIMULINK进行仿真调试。仿真结果表明系统技术性能指标符合要求,控制效果良好。 相似文献
1