从ALC到SHOQ（D）：描述逻辑及其Tableau算法

描述逻辑是一类知识表示的形式系统，并成为语义Web的逻辑基础。Tableau是描述逻辑的基本证明论，基于Tableau的算法提供7描述逻辑的推理机。本文系统地阐述了对应于语义Web语言从基本的ALC到SHOQ(D)描述逻辑基础及其相应的Tableau算法。     

复贴机张力的模糊自整定PID控制

介绍了复贴机张力控制及其基本原理,由于复贴机是一个典型的复杂、联动、时变、非线性卷绕系统,对其进行恒张力控制具有相当的难度。传统的PID控制不能满足要求,为了有效解决系统的非线性时变和数学模型建立困难等问题,在原有PID张力控制器的基础上提出一种较新的控制算法———模糊自整定PID控制,对比了传统PID控制和模糊PID仿真曲线,可以看出模糊控制器对卷径变化比普通PID控制具有更强的适应性。     

石墨烯增强功能梯度圆板受热机作用的响应分析

在推广后的Mian和Spencer功能梯度板理论基础上,研究了石墨烯增强功能梯度圆板受集中力和温度场作用的响应问题.基于修正后的Halpin-Tsai模型,考虑了温度依赖和石墨烯缺陷大小对石墨烯增强复合材料弹性模量的影响.沿板厚方向考虑了三种石墨烯纳米片的分布形式,石墨烯增强功能梯度圆板中心受集中力作用时,该问题转化为...     

水利工程施工监理质量控制探析

水利工程施工阶段的监理工作,包括施工准备、施工实施和保修期监理工作。文章着重介绍了水利工程项目施工阶段的质量控制,对于监理人员今后开展监理工作有一定的启示。     

基于西门子802DSl系统PLC分度轴的大小径刀具换刀控制方法

传统加工中心的刀库以三相异步电机或液压马达为动力源,其定位精度靠机加工来保证,并且其换刀动作的PLC编程复杂,所以刀库换刀一直是加工中心的难点和故障点。针对该问题,以某德国卧式加工中心改造为例,分析探讨该难点的解决方案——基于西门子802DSl系统PLC分度轴的大小径刀具换刀控制方法。该方法以西门子伺服电机为刀库动力源,设定刀库轴为PLC分度轴,在简化刀库电气元件配置的同时实现大小径刀具便捷换刀,进而提高了刀库换刀效率,同时该方法以其高精度定位增强了刀库选刀的可靠性。     

复贴机张力串级PID控制系统

介绍了复贴机卷绕机构恒张力控制的基本原理和数学模型，并提出了串级PID控制策略，运用计算机仿真工具MATLAB及其SIMULINK进行仿真调试。仿真结果表明系统技术性能指标符合要求，控制效果良好。