Since the formal deductive system (?) was built up in 1997, it has played important roles in the theoretical and applied research of fuzzy logic and fuzzy reasoning. But, up to now, the completeness problem of the sys...Since the formal deductive system (?) was built up in 1997, it has played important roles in the theoretical and applied research of fuzzy logic and fuzzy reasoning. But, up to now, the completeness problem of the system (?) is still an open problem. In this paper, the properties and structure of R0 algebras are further studied, and it is shown that every tautology on the R0 interval [0,1] is also a tautology on any R0 algebra. Furthermore, based on the particular structure of (?) -Lindenbaum algebra, the completeness and strong completeness of the system (?) are proved. Some applications of the system (?) in fuzzy reasoning are also discussed, and the obtained results and examples show that the system (?) is suprior to some other important fuzzy logic systems.展开更多
Filament winding has emerged as the main process for carbon fiber reinforced plastic(CFRP) fabrication, and tension control plays a key role in enhancing the quality of the winding products. With the continuous improv...Filament winding has emerged as the main process for carbon fiber reinforced plastic(CFRP) fabrication, and tension control plays a key role in enhancing the quality of the winding products. With the continuous improvement of prod?uct quality and e ciency, the precision of the tension control system is constantly improving. In this paper, a novel tension control method is proposed, which can regulate the fiber tension and transport speed of the winding process by governing the outputs of three di erent driven rollers(the torque of the unwind roll, the torque of the magnetic powder brake roller, and the speed of the master speed roller) in three levels. The mechanical structures and dynamic models of the driven rollers and idle rollers are established by considering the time?varying features of the roller radius and inertia. Moreover, the influence of parameters and speed variation on fiber tension is investigated using the increment model. Subsequently, the control method is proposed by applying fiber tension in three levels accord?ing to the features of the three driven rollers. An adaptive fuzzy controller is designed for tuning the PID parameters online to control the speed of the master speed roller. Simulation is conducted for verifying the performance and sta?bility of the proposed tension control method by comparing with those of the conventional PID control method. The result reveals that the proposed method outperforms the conventional method. Finally, an experimental platform is constructed, and the proposed system is applied to a winding machine. The performance and stability of the tension control system are demonstrated via a series of experiments using carbon fiber under di erent reference speeds and tensions. This paper proposes a novel tension control method to regulate the fiber tension and transport speed.展开更多
文摘Since the formal deductive system (?) was built up in 1997, it has played important roles in the theoretical and applied research of fuzzy logic and fuzzy reasoning. But, up to now, the completeness problem of the system (?) is still an open problem. In this paper, the properties and structure of R0 algebras are further studied, and it is shown that every tautology on the R0 interval [0,1] is also a tautology on any R0 algebra. Furthermore, based on the particular structure of (?) -Lindenbaum algebra, the completeness and strong completeness of the system (?) are proved. Some applications of the system (?) in fuzzy reasoning are also discussed, and the obtained results and examples show that the system (?) is suprior to some other important fuzzy logic systems.
基金Supported by National Natural Science Foundation of China(Grant No.51575018)
文摘Filament winding has emerged as the main process for carbon fiber reinforced plastic(CFRP) fabrication, and tension control plays a key role in enhancing the quality of the winding products. With the continuous improvement of prod?uct quality and e ciency, the precision of the tension control system is constantly improving. In this paper, a novel tension control method is proposed, which can regulate the fiber tension and transport speed of the winding process by governing the outputs of three di erent driven rollers(the torque of the unwind roll, the torque of the magnetic powder brake roller, and the speed of the master speed roller) in three levels. The mechanical structures and dynamic models of the driven rollers and idle rollers are established by considering the time?varying features of the roller radius and inertia. Moreover, the influence of parameters and speed variation on fiber tension is investigated using the increment model. Subsequently, the control method is proposed by applying fiber tension in three levels accord?ing to the features of the three driven rollers. An adaptive fuzzy controller is designed for tuning the PID parameters online to control the speed of the master speed roller. Simulation is conducted for verifying the performance and sta?bility of the proposed tension control method by comparing with those of the conventional PID control method. The result reveals that the proposed method outperforms the conventional method. Finally, an experimental platform is constructed, and the proposed system is applied to a winding machine. The performance and stability of the tension control system are demonstrated via a series of experiments using carbon fiber under di erent reference speeds and tensions. This paper proposes a novel tension control method to regulate the fiber tension and transport speed.
文摘针对目前铁路现场对轨道电路故障的判别仍然采用阈值法导致维护效率偏低的问题,提出将神经网络与模糊逻辑相结合,构建区间二型神经模糊系统(interval type-2 neural-fuzzy system,IT2NFS),通过诊断模型实现对轨道电路故障模式的智能识别.首先通过结构识别建立初步的网络结构,采用均匀设计方法生成模糊集的均值,对训练样本进行相似性测试,生成标准差和初始后件参数;再通过递归奇异值分解,优化后件参数以减小输出误差;最后,针对常见的8种故障,从实验平台上采集样本共计9000个,其中6300个样本用于模型训练,剩余2700个用于实验测试.实验结果表明:利用IT2NFS模型进行故障诊断时,每种故障类别的识别率均在82%以上,平均正确率为90.9%,仿真用时10.59 s.
