PLC电气控制在立体仓库系统中的应用

为了提高空间利用率，加快立体仓库货物的出入库存储效率，减轻劳动强度，针对立体仓库堆垛机行走、提升准确定位偏差大的问题，采用以德国西门子S7-300可编程控制器、SEW交流变频器、DEMAG／SEW电机、HENGSLER电机编码器组成闭环控制系统的方法，通过STEP-7进行编程，并给出堆垛机、输送机、穿梭车的控制流程，并通过讨论PLC与监控系统协议，提出主体方法实现对整个系统稳定性、灵活性、实用性的要求，并应用到实际工程中。     

基于TCP/IP协议的单片机系统以太网通讯设计与实现

作者介绍了采用 5 1单片机系列的AT89c5 2作为主处理器结合RTL80 19AS网络控制芯片实现以太网通讯。采用C语言编程实现单片机系统的功能及TCP/IP协议。     

EFSM可执行状态验证序列的生成

在以扩展有限状态机(EFSM)为模型描述的协议一致性测试系统中，为了解决状态验证序列的可执行性问题，提出了一种新的可执行状态验证序列(ESIS)生成算法。新算法基于宽度优先搜索可执行分析树(EAT)的思想，从状态验证需求的角度，在EFSM的状态格局投影子空间中，采用分步计算的方式生成具体验证场景下的最短可执行状态验证序列，从而减少了在完全状态格局空间中单步计算所有状态验证序列的复杂性。实验结果表明了新算法对生成EFSM可执行状态验证序列是有效的。     

ESIS序列自适应生成算法

在以扩展有限状态机 (EFSM)为模型描述的协议一致性测试系统中,为了提高可执行状态验证序列 (ESIS)的计算效率,提出一种ESIS序列自适应生成算法.新算法采用基于可执行分析树 (EAT)的可执行分析方法确保生成的ESIS序列的可执行性.引入变迁区分度因子和节点收敛度因子,计算EAT搜索树节点权重来评价当前搜索方向的正确性.利用EAT搜索树节点权重函数作为节点搜索引擎,根据当前已经搜索节点的权重自适应选择下一步搜索的目标节点,把ESIS序列自动生成问题转化为自适应搜索权重最大的EAT节点问题来解决.实验数据表明,与宽度优先可执行性分析方法相比,自适应算法具有更小的状态格局搜索空间.     

PLC 控制的榨菜自动包装机控制系统的可靠性研究及其通讯监测

本文着重研究了榨菜自动包装机控制系统的可靠性，并对其运行状态进行通讯监测     

裂缝性气水两相地层井筒组合数值模拟

气水井试井对天然气开发具有重大意义。借助数值模拟方法了解地下气流和水流的变化，对于提高采收率是极为重要的。通常的数值模拟中仅考虑了储层的渗流动态，而把井筒视为线汇处理，这不能准确的反映出井筒和储层之间的相互影响。建立了气水两相组合模型，借助有限体积法导出了组合模型的离散方程，并讨论了求解的边界条件。实算表明了这种方法能更有效地反映出试井过程中的各种现象。