西门子S7-200可编程控制器在气化油点火技术中的应用

以西门子S7—200PLC为核心。利用火检探头。温度、压力等传感器，结合STEP 7 MicmwIN V3．1以及ProTool Pro CS工业组态软件完成了对点火过程的自动控制。实现了西门子S7—200PLC在大型发电厂410吨级蒸汽锅炉“气化油直接点燃煤粉技术”中的应用。提高了锅炉点火系统运行的自动化水平。     

Divide and Congruence Applied to η-Bisimulation

We present congruence formats for ;7;- and rooted ;7;-bisimulation equivalence. These formats are derived using a method for decomposing modal formulas in process algebra. To decide whether a process algebra term satisfies a modal formula, one can check whether its subterms satisfy formulas that are obtained by decomposing the original formula. The decomposition uses the structural operational semantics that underlies the process algebra.     

面向对象方法在7号信令软件设计中的应用

随着交换技术的飞速发展，程控交换软件的规模越来越大，改动也越来越频繁，如何使代码对数据的改动具有相对的稳定性成为程控软件设计的一个首要问题。本文以ＣＣＳ７（７号公共信道信令）为例，从对象模型、动态模型、功能模型３个方面阐述了ＯＯ（面向对象）方法在ＣＣＳ７软件设计中的应用。这一方法，也可应用于程控软件的设计。     

UniMAT PLC在塑料挤出机控制系统中的应用

针对塑料挤出机控制系统成本高、速度低、精度低的问题,提出采用UniMATPLC控制方式,实践证明效果良好。     

S7-200在KYS-1500/50型打捆机中的应用

采用西门子S7-200系列PLC设计电气控制系统,成功实现打捆机系统的自动控制,满足了生产的工艺要求。     

基于西门子PLC与Kingview的水处理控制系统

介绍水处理终端的生产工艺流程、工艺控制要点以及西门子S7-300PLC与组态王组成的控制系统。     

西门子PLC在合金钢棒材连轧机上的应用

介绍基于西门子S7-400PLC的控制系统,通过Ethernet、Profibus-DP、MPI网完成系统数据的采集、交换与监控,满足合金钢棒材轧制线高动态品质、高调速精度的要求。     

基于Profibus-DP的西门子S7—300 PLC与ABB 800XA数据通信的实现

本文介绍基于Profibus—DP通信协议的西门子S7—300PLC与ABB 800XA系统之间的数据通信。详细描述了分别通过S7—300 PLC CPU的DP接口和CP342—5通信模块与ABB 800XA系统通信两种不同条件下的有关通信配置及实现数据通信的过程。     

Consequences of the formation of Cooper-pairs near oxygen-deficient sites

In this investigation we consider the formation of Cooper pairs near the oxygen-deficient sites in Y-Ba-Cu-O ceramic superconductors which would give rise to an energy-dependent potential as seen by conduction charge carriers. It is shown that Cooper pairs could be formed under such conditions, resulting in a supercurrent. We use the Bogoliubov transformation technique to calculate the energy gap, the energy difference, and the transition temperature of the model superconductor using certain data obtained from previous experiments. Numerical analysis shows that the superconducting current can be explained by the presence of such oscillating Cooper pairs.     

IETM技术在便携式工卡系统中的应用研究

从飞机制造的角度出发,以IETM技术为基础,以带Windows 7操作系统的便携式终端为硬件平台,研究开发应用于某机机载机电设备装配指导的交互式电子工卡系统。文中主要介绍了系统设计的背景知识、开发架构和软硬件实现方法,结合XML和SQL数据库技术创作符合GJB6600标准的应用系统。该系统的成功研制和投入使用可将电子信息技术的最新研究成果用于生产实践,既可有效地减轻生产一线工作人员的劳动强度,又能极大地提高飞机数字化制造效率。