FANUC-0i数控系统的一种数据通讯方法

以数控CKA6763车床为例,介绍了FANUC-0i数控系统运用CIMCOEdit软件通过USB-RS232转接线和传输电缆,实现笔记本电脑与数控机床的通讯过程,实现了数控机床上传和下传程序的功能。缩短了辅助时间,提高了机床利用率。

n值命题逻辑系统L_n~*中公式Γ-的绝对真度理论

在n值R_0-命题逻辑系统L_n~*中,给出公式关于有限理论的一个更为直观的Γ-绝对真度概念,讨论它的一些重要性质和推理规则,并利用Γ-绝对真度定义公式间的Γ-绝对相似度和伪距离。

基于KB0的电动机软启动控制系统

介绍了KB0-45软启动控制器系统的基本原理和特点,对KB0-45软启动控制器系统与传统电机控制模式进行了比较,指出其相对于传统控制方式的优点,最后介绍了KB0-45软启动控制器系统在排水泵控制系统中的应用。

模糊集间的R_0-相似关系及其性质

将王国俊教授在R0-型逻辑系统中建立的R0-蕴涵算子应用于模糊数学理论之中,在非空集合X为论域的模糊集族F(X)上定义了一种新型运算-R0蕴含运算,并讨论了F(X)上R0-蕴含运算的一些基本性质。通过R0-蕴含运算在F(X)上定义了一个二元模糊相似关系-R0-相似关系,并对其性质进行了较为详细的讨论。在有限论域X确定的模糊集族F(X)上给出了几个R0-相似关系的具体实例。

柯氏矩阵的Q过程由其0~＋──系统的唯一决定性

关于何氏矩阵及其推广形式的Ｑ矩阵问题已有了完善的结果，而且当Ｑ过程存在时，必不唯一，本文将进一步证明对于何氏矩阵，ｋｅｎｄａｌｌ猜想成立，即Ｑ过程由其０＋－系统唯一决定．

n值逻辑系统Ln^＊中矛盾度的等价定义及性质

给出了n值R0-命题逻辑系统L*n中一个更为直观的矛盾度定义的等价形式,利用矛盾度定义的等价形式简化了矛盾度的一些重要性质的证明,并得到了矛盾度的对称性定理.

一种n值逻辑系统中命题的条件真度

基于条件概率的思想,在n值R0-命题逻辑系统Ln*中引入条件真度的概念,并讨论该条件真度的性质及相应的推理规则。