m+1阶波斯特代数公理化的讨论

本文对m 1阶波斯特代数进行了公理化的讨论，通过讨论，清楚地看到了m 1阶逻辑代数具有代数的可靠性定理和完全性定理。     

A choice-semantical approach to theoretical truth

A central topic in the logic of science concerns the proper semantic analysis of theoretical sentences, that is sentences containing theoretical terms. In this paper, we present a novel choice-semantical account of theoretical truth based on the epsilon-term definition of theoretical terms. Specifically, we develop two ways of specifying the truth conditions of theoretical statements in a choice functional semantics, each giving rise to a corresponding logic of such statements. In order to investigate the inferential strength of these logical systems, we provide a translation of each truth definition into a modal definition of theoretical truth. Based on this, we show that the stronger notion of choice-semantical truth captures more adequately our informal semantic understanding of scientific statements.     

可编程序控制器梯形图的逻辑设计方法

梯形图是可编程序控制器的重要程序设计方法,但它的设计方法还很少有人总结。本文提出二种梯形图的逻辑设计方法在工厂电气控制技术中对推广可编程序控制器的应用将有一定的参考价值。     

人工智能的泛符号机制

针对 90年代以来人工智能研究逐步转入低潮的局面 ,提出了关于人工智能的泛符号机制的新思想、新理论 ,泛符号机制 =泛逻辑 知识表示的超拓扑结构 多维信息空间。     

基于HMI和PLC的步进电机控制系统设计

介绍了DOP-B07S200触摸屏(HMI)与DVP-40EH可编程控制器(PLC)相结合在步进电机控制系统中的应用,详细阐述了基于HMI和PLC控制系统的设计过程,包括从外部电路连接到HMI画面编辑、组件地址设置、画面Cycle宏与组件On宏编辑以及PLC软件设计等过程。现场使用能满足实际要求,运行稳定,效果很好。     

旋转抽油杆柱扭转振动固有频率分析

在对旋转抽油杆柱的扭转振动分析的基础上 ,给出了各阶扭转振动固有特性参数的计算式 .实例计算结果表明 :螺杆泵采油系统在 70 0～ 1 80 0 m的正常下泵深度时 ,常用的单级和二级抽油杆柱的前五阶扭转振动固有频率在 2 6～ 6 0 8r/min,覆盖了螺杆泵采油系统的工作转速区 (6 5～3 5 0 r/min) ,这完全不同于有杆泵采油系统 .指出 :在选定螺杆泵采油系统的工作转速时 ,应将杆柱的前五阶扭转振动固有频率对应的转速作为约束条件 ,以避开该转速范围 ;对于级次杆柱的高阶固有频率 ,由于其频率相对单级杆柱的增减幅值在 2 .1 %～ 5 .2 %之间 ,可近似按单级杆柱考虑 .文中提供的数据可以直接指导螺杆泵采油系统的杆柱组合与系统转速的匹配     

近百年“中国古代无逻辑学论”述评(续)

作为《近百年"中国古代无逻辑学论"述评》的续篇,对前文所遗漏的一些有代表性的中国古代无逻辑学论,包括熊十力、韦卓民和刘述先的现代性的中国古代无逻辑学论、甘阳的后现代性的中国古代无逻辑学论及其海德格尔来源等进行述评。在总共评介的11位有代表性的中国古代无逻辑学论者中,只有甘阳属后现代性类型,其他都属于同一类型,就是现代性类型。     

命题逻辑中的可表性

本文给出了可表性概念．应用可表性，处理了命题逻辑符号间的关系．     

双臂钩形机械手刀具自动交换控制器逻辑线路的设计方法

以卡诺图法为基础，阐述了双臂构形机械手刀具交换时各动作之间的逻辑关系和设计方法。此方法是可编程序控制系统或单片机控制系统的逻辑线路设计基础。     

基于PLC的机械手控制系统设计

利用PLC作为控制机来组建机械手的控制系统具有优越的稳定性和抗干扰性,适用于各种环境恶劣的工业现场。在系统投入生产后更有维护方便、操作使用方便、维修方便等优点。其对提高生产效率和降低生产成本有很大的积极意义。