基于PLC的嵌入式车辆尾气自动检测系统

本文介绍了一种基于嵌入式Windows CE操作系统和PLC、组态王6．0组态软件的车辆尾气自动检测系统。中央控制单元以运行Windows CE操作系统和组态王6．0组态软件的工控机为控制站,PLC作为现场控制单元,传感器获取的测量数据由数据采集模块传送给工控机,实现对污染物检测装置的中央控制。     

天然气流量监控系统设计与实现

天然气流量监控系统采用上下位机结构,上位机为工业控制计算机,运行WinCC组态软件,进行可视化组态;下位机由流量计算机和西门子S7-300 PLC组成,实现数据采集、流量计量和阀门控制等。系统采用冗余结构,实现天然气门站计量生产可靠、稳定、自动化运行。     

多台水洗机分布式控制系统

为了实现对多台水洗机的同步监控,运用组态软件InTouch作为上位机,可编程控制器PLC作为下位机,通过触摸屏、变频器和异步电机等系统实现了对多台水洗机的运行状态进行监视和控制。通过组态软件InTouch集中监控了每台水洗机的工作状态,实现了现场监视、历史趋势、报警信息、数据采集等功能;每台水洗机系统以PLC为控制核心,运用触摸屏对单台水洗机系统运行状态进行监控和操作,并且应用变频器控制异步电机的运行,通过上位机和下位机的通信来完成对整个水洗机系统的控制。     

液位过程模糊控制系统设计

本文介绍了液位过程模糊控制系统的设计。利用数据采集模块7017和7024实现了测量数据和控制信号的输入输出。通过MCGS组态软件,对液位过程控制系统进行组态,开发了系统监控软件,并设计了二维模糊控制器。该系统具有界面友好、操作简便、运行稳定的优点。实验结果表明,与PID控制器相比,模糊控制器使系统具有更好的动态响应性能。     

PCI总线锅炉水位系统的多样化控制及其组态仿真实现

为构造灵活运用计算机控制算法的锅炉水位控制系统,在现有锅炉水位系统的基础上,提出采用基于PCI总线数据采集与控制卡的锅炉水位系统的控制方案;给出了锅炉水位系统的PID控制、模糊控制等不同控制方案的实现过程;其中,重点阐述了锅炉水位系统模糊控制器的设计过程和设计步骤;最后,分别使用组态软件绘制锅炉水位控制过程曲线,生动直观地展示锅炉水位的仿真控制全过程;运行结果表明:采用PCI总线数据卡和组态软件的锅炉水位控制系统具有控制算法灵活、控制过程可视、控制效果理想等特点。     

基于组态软件防误系统的设计与实现

针对电力防误系统的设计要求，在分析研究组态软件功能特点的基础上，提出了基于组态软件来实现防误系统的分布式应用。给出了防误系统的硬件设计图和在组态软件中进行防误系统的界面设计和PLC连接的方法，并重点介绍了ActiveX技术在组态软件中的使用方法，给出了防误系统运行时的系统构件结构图，利用ActiveX技术的优点，设计和实现了防误系统中的控制ActiveX控件。     

基于Linux的嵌入式组态软件中控制策略的设计与实现

基于Linux的嵌入式组态软件是嵌入式系统在工控领域中发展的要求。简要的阐述了组态软件中的控制策略,重点介绍了组态软件控制策略模块在开发环境和运行环境中的设计和实现,并给出了一种方便用户使用和扩充PID算法的函数调用接口。控制策略在组态软件中的实现使得用户对工业过程的控制和管理更加精确和方便。     

基于组态软件的温度DDC系统设计与实现

以工控组态软件(MCGS) 的设备窗口实现对远程数据采集模块的驱动,完成工业现场数据的采集与控制命令的发布,运用RS485等串行口通讯协议实现计算机与外部设备之间的数据交换;以用户窗口编写了友好的用户界面及相应的控制算法,设计出具有工程应用价值的实时及历史报表,直观的实时曲线和历史曲线;以运行策略和实时数据库窗口完成系统运行的管理和对所有数据文件变量的管理与记录.试验结果表明基于组态软件设计的DDC系统具有良好的系统性能.     

基于MCGS的生物质气化热解测控系统的研究与实现

采用USB8213数据采集卡和MCGS组态软件实现生物质气化热解系统的数据采集与处理。根据气化热解系统数据采集与处理的特点，测控系统开发了VB数据采集程序和利用组态软件MCGS的数据处理程序，实现了对生物质气化热解系统的实时监控。     

基于现场总线的多台杀菌釜监控系统

针对杀菌过程控制效果不理想和生产效率低下的问题,提出了一种基于西门子组态软件WinCC和Profibus-DP总线的控制方法。构建了国内第一套工业以太网和Profibus-DP总线双层网络的多台杀菌釜协同监控系统。系统的总线完成现场设备数据采集,通过工业以太网传递给上位监控计算机,利用WinCC实现多台杀菌釜全自动化协调控制。现场运行结果表明,该系统运行稳定可靠,设计方案对食品饮料行业类似杀菌生产线的监控具有推广应用价值。     

Semantics and verification of monitors and systems of monitors and processes

In this paper we present a sound and complete semantics for the monitor concept of C.A.R. Hoare. First a method for specification of monitors, introduced by O.-J. Dahl, is reviewed. This method is based on the relation between the historic sequence of monitor procedure calls and the historic sequence of monitor procedure exits. Based on such specifications and our new monitor semantics we present a method by which it is possible to prove that a concrete monitor is an implementation of an abstract one. In the last part of the paper an axiomatic semantics for systems of concurrent processes and monitors is introduced. The method supports verification by separation of concerns: Properties of the communication to and from each process are proven in isolation by a usual Hoare style axiomatic semantics, while abstract monitors are also specified in isolation by the method reviewed in the first part of the paper. These properties of the components of the system are then used in a new proof rule to conclude properties of the complete system. Stein Gjessing received a Ph.D. (actually a Dr. philos.) from the University of Oslo (Norway) in 1985. Presently he is an Associate Professor at the Institute of informatics, University of Oslo, Norway. Dr. Gjessings research interests are in the area of concurrent and distributed programming, operating systems, formal specification and verification and programming languages.     

Models and Complexity of Problems of Design and Reconstruction of Telecommunication and Transport Systems

This article considers network synthesis problems arising in the design and exploitation of telecommunication and transportation systems. A formalization of network synthesis problems on graphs is proposed in which constraints on cut capacities are given and possibilities of failing some network components are taken into account. Approaches to the solution and analysis of the complexity of the considered problems are described.     

Teamcenter与NX集成客户化定制技术研究与实现

PDM产品实施过程中一项重要工作是系统集成与客户化定制。对Teamcenter Engineering(简称Teamcenter)与NX系统集成客户化定制中业务建模、属性映射等相关技术进行了研究,提出了Teamcenter与NX集成客户化定制的技术思路,并以客户化定制NX工程图纸标题栏为例,介绍了Teamcenter与NX集成定制实现的关键步骤及方法。     

椭圆拉伸变形长短轴的计算及应用

在CAD应用软件程序编制中,椭圆的长短轴是很重要的参数。应用相关数学知识推导出6个计算公式,可利用这些公式确定椭圆沿坐标轴拉伸变形后的长短轴大小与位置并在CAD软件中实现与之相关的功能。     

IPSEC与防火墙协同工作设计与实现

IPSEC提供网络层的安全服务，通过对IP报文的加密和验证，保证数据在传输过程中的安全．由于IPSEC封装了报文中一些重要信息，使得IPSEC与防火墙不能同时有效地工作．本文提出一种分层IPSEC(Layered IP Security，L_IPSEC)思想，即将协议头和数据部分分别进行安全处理．并将这种分层思想与分布式处理技术结合，设计与实现一种IPSEC与防火墙协同工作方案．     

Binary perfect and extended perfect codes of lengths 15 and 16 and of ranks 13 and 14

Inaccuracies in computations in the paper of the authors on classification of perfect binary codes of lengths 15 and 16 and of rank 13 are fixed. An explicit construction of all extended perfect codes of length 16 and rank 13 with a given kernel size is presented. Perfect binary codes of length 15 and rank 14 obtained by the general doubling construction are classified.     

智能业务和软交换互通的设计与实现

电信业的快速发展及下一代网络的全面建设促进智能业务与软交换实现互通。文中首先介绍了互通的种类和方案，并重点讲述了智能网和软交换互通过程中模型的重要部分——软交换侧的SSP。在此基础上，提出了智能网和软交换互通的实现方案，并且以智能用的典型业务FPH为例简明分析了方案，对利用业务服务器实现软交换中的智能业务进行了插述和分析。     

Kohonen与Madaline用于解析重叠光谱测定钨和钼

首先应用Kohonen网络对钨、钼的混合吸收光谱进行波长选择，在全光谱中优选最能代表光谱特征的波长，被选波长处吸光度作为Madaline网络的输入，设定输出目标函数为G（λ）＝∑Aiexp[-4(ln20）(λ-t）^2/2]，进行解析重叠光谱，同时测定了钨和钼，该法利用特征光谱代表全谱进行光谱解析，减少了解析光谱中大量的数据。     

智能业务和软交换互通的设计与实现

电信业的快速发展及下一代网络的全面建设促进智能业务与软交换实现互通.文中首先介绍了互通的种类和方案,并重点讲述了智能网和软交换互通过程中模型的重要部分--软交换侧的SSP.在此基础上,提出了智能网和软交换互通的实现方案,并且以智能网的典型业务FPH为例简明分析了方案,对利用业务服务器实现软交换中的智能业务进行了描述和分析.