SQL2000在RSVIEW32软件中生产数据上传中的应用

本文介绍了一种针对单机版本的组态软件对网络数据获取支持不理想的一种解决办法,采用第三方数据库软件SQL2000支持网络的功能,通过ADO方法将分布在生产车间里的数据上传至数据库服务器中,通过组态软件VBA读取数据库数据,将生产数据和管理信息并入集控系统,完善了单机版组态软件的数据共享功能.     

Formative Processes with Applications to the Decision Problem in Set Theory: I. Powerset and Singleton Operators

This paper introduces formative processes, composed by transitive partitions. Given a family of sets, a formative process ending in the Venn partition Σ of is shown to exist. Sufficient criteria are also singled out for a transitive partition to model (via a function from set variables to unions of sets in the partition) all set-literals modeled by Σ. On the basis of such criteria a procedure is designed that mimics a given formative process by another where sets have finite rank bounded by C(|Σ|), with C a specific computable function. As a by-product, one of the core results on decidability in computable set theory is rediscovered, namely the one that regards the satisfiability of unquantified set-theoretic formulae involving Boolean operators, the singleton-former, and the powerset operator. The method described (which is able to exhibit a set-solution when the answer is affirmative) can be extended to solve the satisfiability problem for broader fragments of set theory.