GE Rx7i PLC在热连轧带钢生产线飞剪控制系统中的应用

本文主要介绍GE Rx7i PLC在热连轧带钢生产线飞剪定尺剪切控制系统中的应用,分析飞剪剪切控制原理,推导飞剪剪切方程,对提高飞剪的作业率和带钢质量以及下一步升级优化剪切具有较高的参考价值与指导意义.     

在设计的同时进行仿真——Autodesk Inventor Professional在DANIELI冶金设备(北京)有限公司的应用

飞剪机的主要任务是将运行着的轧件按照工艺要求定尺剪断.随着轧机轧制速度和生产能力的不断提高,提高飞剪的速度和性能已成为人们致力研究的问题之一.飞剪机种类很多,根据其不同的剪切断面和速度快慢,被应用于不同的场合.目前较先进的机型为起停式曲柄飞剪,该飞剪一般处于静止状态,剪切时采用低惯量大扭矩直流电机,直接完成起动、剪切和制动等工艺过程.其实物模型如图1所示.     

成品倍尺飞剪剪切模型设计

以倍尺飞剪在棒材生产线上的应用为例,阐述了如何实现飞剪倍尺剪切功能,介绍了由西门子PLC控制系统,FM450计数器模块、6R80直流调速器搭建的系统架构在飞剪倍尺剪切模型设计功能上的应用.同时也介绍了如何保证飞剪动作的快速响应以及制动的控制策略.     

高线飞剪控制原理及故障处理

本文着重介绍了高线飞剪的工作过程和控制原理。飞剪的起动和制动电流、恒速剪切速度及工作周期是飞剪控制的关键参数,只有控制好上述参数,才能确保飞剪正常运行。此外,还简要地介绍了飞剪的常见故障及其处理方法。     

飞剪的定位控制

针对飞剪剪切完后返回时的定位控制,提出分段直线控制与抛物线控制两种方法,使飞剪以最小的机械冲击力且不产生超调地返回原位。实践证明,用这两种方法进行定位控制,飞剪返回距原位不大于±15°,剪切棒材端面光滑,误差不大于2cm,剪切棒材的成材率大大提高。     

包米勒伺服系统在飞剪机上的应用

本文介绍了包米勒公司的伺服驱动系统以及飞剪控制的关键技术,通过针对飞剪应用开发的功能模块,实现对钢筋进行高速、高精度的定长剪切。     

高线飞剪控制系统

介绍高线飞剪控制系统,该系统采用主轧线S7-400PLC,配置FM458功能模块对飞剪进行逻辑控制、精确剪切、精准定位,从而实现系统的安全可靠运行。     

棒材倍尺飞剪T400控制方案优化

针对热轧棒材倍尺飞剪高速剪切时存在速度滞后并超调,影响产品质量,制约生产线运行速度的问题,对采用T400工艺板控制的热轧棒材倍尺飞剪,从原理上解析速度给定曲线对负载电流的影响,以参数化编程的方式实现控制方案优化。生产运行结果表明,采用优化控制方案,实现了倍尺飞剪高速精确剪切,达到了工艺要求的控制效果。     

起动式飞剪的微型机控制

用微机完成起动式飞剪对高速线材的剪切,可以提高剪切精度,降低废品率,具有很高的经济效益。本文讨论了飞剪微机控制系统的数学模型,提出自动校正砰-砰控制开关参数闭环位置系统的算法,并给出实现该系统的微机硬件和软件结构框图。     

飞剪剪切控制系统改造

介绍安钢飞剪剪切控制原理及系统设置,并通过实际应用,提出改进措施.     

FC-normal and extended stratified logic program

This paper investigates the consistency property of FC-normal logic program and presents an equivalent deciding condition whether a logic program P is an FC-normal program. The deciding condition describes the characterizations of FC-normal program. By the Petri-net presentation of a logic program, the characterizations of stratification of FC-normal program are investigated. The stratification of FC-normal program motivates us to introduce a new kind of stratification, extended stratification, over logic program. It is shown that an extended (locally) stratified logic program is an FC-normal program. Thus, an extended (locally) stratified logic program has at least one stable model. Finally, we have presented algorithms about computation of consistency property and a few equivalent deciding methods of the finite FC-normal program.     

基于合约的似然程序不变量动态发现

本文主要讨论基于合约的似然程序不变量的内涵,以及通过程序断言动态生成技术来发现程序不变量的意义。在此主要描述基于合约的似然程序不变量发现的基本理论模型以及该模型与动态不变量检测工具Daikon实体模型的比较,进一步论述程序断言动态生成技术。通过精确的程序断言动态生成,可以分析程序各变量之间的关联属性,以完成不变量的检测。从而有助于设计高质量的程序架构以及规范化的程序代码.     

Software Reusability through Versions

In this paper a new approach for modelling program variants (versions) is proposed, which is focused on increasing the level of software reuse, rather than on enriching data model. In this approach, a program is composed of a program body and a set of logically independent program contexts. The program body contains global functions and global data structures. Each program context contains exactly one variant of every class defined in the program and one variant of every non-global function, called a context function. Variants of the same class/function belonging to different contexts need not be different. During the program execution only one context is active. It may, however, be changed dynamically at program run-time. Thus, at a particular moment of time the program is viewed as a sum of the program body and exactly one program context.     

一种Java程序Chopping方法

程序Chopping对于程序理解、分析、调试、测试等具有重要的意义。已有的Chopping方法主要基于相互连接的系统依赖图(SDG),对于大程序这种SDG描述通常非常复杂,易导致程序Chopping结果不准确。针对这一问题,基于带标签的Java程序描述方法,提出一种Java程序Chopping方法。该方法利用这种描述附带的程序依赖信息,分析参数依赖关系,并在此基础上给出Chopping算法。此程序Chopping方法能把Java程序方法间的程序Chopping问题转换到Java程序方法内进行分析,程序依赖图具有结点少、可重用、可并发构造等优点。最后通过实例和实验给出程序Chopping方法的实施过程及有效性。     

程序属性的检测与程序属性的分类

摘要：在当今的各种程序中,很多人认为只存在两种程序,即善意程序和恶意程序,但对程序属性研究之后,发现还存在第三种属性的程序,该程序部分具有恶意性,部分具有善意性,第三种属性程序是由本文首次提出。本文提出解决问题的思路是：首先采用恶意权值计算公式对程序进行计算,判断该程序是善意程序还是恶意程序,并且分析了程序的权值是否发生了变化。如果是某个程序的权值发生了变化,那么此时善意程序被病毒感染的可能性很大,被病毒感染的程序在一定时候就能够体现出一定的恶意性,因此经过对病毒、被病毒感染的程序和善意程序三种不同属性程序分析之后,最后使用MMTD算法对三种属性的程序进行了分类：该程序是恶意程序,善意程序还是部分恶意部分善意的程序。     

程序插装在软件测试中的应用研究

程序插装是软件测试中一种重要的白盒测试技术.介绍了程序插装的基本原理,分析了程序插装的关键要素,研究了插装测试设计的主要内容.针对常用的程序结构,如线性程序、结构化程序、面向对象程序的不同特点,提出了相应的程序插装策略和测试实现方法.在插装测试实践中,根据程序测试的规模、要求等,需要综合考虑程序插装对被测程序性能、执行...     

一种实用的并行程序可视化性能分析方法

并行程序由于自身的复杂性使得并行程序的调试相比串行程序要困难的多，因此用可视化的性能分析工具来辅助并行程序的调试显得非常重要，以此来帮助程序员找到程序的性能瓶颈，为并行程序的优化提供指导和建议。本文在研究MPE性能分析机理的基础上，介绍了一种实用的MPI并行程序可视化性能分析方法，并用实例详细说明了并行程序实时可视化性能分析和事后可视化性能分析过程。     

基于系统调用属性的程序行为监控

程序的行为轨迹常采用基于系统调用的程序行为自动机来表示.针对传统的程序行为自动机中控制流和数据流描述的程序行为轨迹准确性较低、获取系统调用上下文时间开销大、无法监控程序运行时相邻系统调用间的程序执行轨迹等问题,提出了基于系统调用属性的程序行为自动机.引入了多个系统调用属性,综合系统调用各属性的偏离程度,对系统调用序列描述的程序行为轨迹进行更准确地监控;提出了基于上下文的系统调用参数策略,检测针对系统调用控制流及数据流的行为轨迹偏离;提出了系统调用时间间距属性,使得通过系统调用及其参数无法监控的相邻系统调用间的程序行为轨迹在一定程度上得到了监控.实验表明基于系统调用属性的程序行为自动机能够更准确地刻画程序行为轨迹,较传统模型有更强的行为偏离检测能力.     

Java建模语言在程序不变量动态发现过程中的应用

通过程序不变量动态生成技术,可以分析程序内部的关联属性,从而有助于设计高质量的程序代码以及规范化的程序架构.主要描述基于契约的似然程序不变量发现的基本理论模型,并结合Java建模语言进一步阐明程序断言动态生成技术及其现在产生的重点问题,针对提出的问题给出了相应的解决方法.