智能高速罐身电阻焊机数字化控制系统

提出了以国产MCT80 0 0F8运动控制器为核心的智能高速罐身电阻焊机数字化控制系统 ,并介绍了系统的组成、工作原理、硬件接口、电机控制方法以及伺服电机的运动关系数学模型 .新的系统有利于提高罐身电阻焊机的制罐生产速度 ,并具有功能全面、可靠性高、控制精确、开放性好以及成本较低等优点     

高性能称重配料系统控制策略的研究及实现

着重针对应用于饲料生产工艺的称重配料系统的控制策略进行研究,特别是对空中落差的研究,推出了实现该控制策略的高性能称重配料控制器,并进行切实可行的软硬件设计,以真正实现称重配料系统的高性能。     

New Develoopment of the Basic Theory of Extenics

In this paper,the new development of three basic theories of Extenics,incluing basic-element theory,extension set theory and extension logic theory ,has been introduced.And the new theoretical frame of Extenics has also been set forth.     

数学难以理解的逻辑透视

对数学教学内容的逻辑结构、逻辑规则和方法以及数学语言进行逻辑透视，探讨数学难以理解的客观因素及对策．     

PLC对电动机位移控制的制动实验

PLC应用微分算术左移 @ASL ( 2 5 )指令和微分算术右移 @ASR ( 2 6)指令 ,完成对3台电机的控制 .1 # 电机停止采用能耗制动控制 ,2 # 电机停止采用反接制动控制 .     

PLC在双动压力机控制系统中的应用

PLC应用:ROL(027)循环左移指令、ROR(028)循环右移指令完成自动与手动控制,INC(038)BCD码加1指令完成单次控制,@ROR(028)微分循环右移指令完成循环控制,DIV(033)BCD码除法指令完成安全工作报警控制.     

六台轧机热轧钢板在线测长及产品统计微机系统

本论文选用Apple-Ⅱ作主机,开发了一套外设接口扩展箱和相应的应用软件,用于实现在钢厂中对六台单轧机的热轧钢板长度在线检测和现场显示,同时对钢板的长度按照合格、超长、超短进行分类统计,打印生产报表。此外还提供随时修改钢板长度(标尺)设定值和随机查询各台轧机产质量状况的功能。在接口扩展箱中,采用了包括光电耦合在内的若干抗干扰措施,保证系统能在钢厂恶劣环境中正常运行。本系统已在工厂轧机上试用成功。     

温公颐中国逻辑史研究方法论初探

温公颐先生中国逻辑史研究的方法论涉及一般原则和具体方法两个层面。其中,一般原则主要包括"贵有创见"、实事求是和发展的观点3个方面。具体方法主要有比较的方法、语言学的方法以及逻辑与历史统一的方法等。温公颐中国逻辑史研究的方法论,在一定意义上是对近代以来中国逻辑史研究中简单比附这一思路与方法的有力矫正。     

计算机化简逻辑函数的算法研究

针对计算机化简逻辑函数普遍存在操作复杂、存贮容量大、运算速度慢等问题，该文用改进的重复包含算法寻找逻辑函数的质蕴涵，选择极值法求最小覆盖，并对循环函数进行处理。实验表明，这种算法可以减少存储容量、加快运算速度，而且可以增大算法的应用范围。因此，该算法在数字电子设计自动化中具有广泛的应用前景。     

一阶逻辑完备性定理的新代数证明

给出了一阶逻辑完备性定理的一个新的代数证明，这个证明不使用依赖于Boole代数表示定理的γ-解释，但使用关于Q-滤子△↓的△↓-解释，也需要用到选择公理，另外指出了已有代数证明的不足之处，并作了修正。