基于PLC的缸体加工机床控制系统

对可编程控制器（PLC）应用于某设备缸体加工专用机床控制系统的设计思路作了介绍，对系统的硬件组成和软件设计作了较为详细的阐述，通过上位监控计算机可对生产现场的设备状态实施监控和对现场参数进行调整。     

Model checking response times in Networked Automation Systems using jitter bounds

Response time (RT) of Networked Automation Systems (NAS) is affected by timing imperfections induced due to the network, computing and hardware components. Guaranteeing RT in the presence of such timing imperfections is essential for building dependable NAS, and to avoid costly upgrades after deployment in industries.This investigation proposes a methodology and work-flow that combines modelling, simulation, verification, experiments, and software tools to verify the RT of the NAS during the design, rather than after deployment. The RT evaluation work-flow has three phases: model building, modelling and verification. During the model building phase component reaction times are specified and their timing performance is measured by combining experiments with simulation. During the modelling phase, component based mathematical models that capture the network architecture and inter-connection are proposed. Composition of the component models gives the NAS model required for studying the RT performance on system level. Finally, in the verification step, the NAS formal models are abstracted as UPPAAL timed automata with their timing interfaces. To model timing interfaces, the action patterns, and their timing wrapper are proposed. The formal model of high level of abstraction is used to verify the total response time of the NAS where the reactions to be verified are specified using a subset of timed computation tree logic (TCTL) in UPPAAL model checker. The proposed approach is illustrated on an industrial steam boiler deployment.     

军用办公自动化系统的优化设计与安全

办公自动化是部队日常工作管理信息化建设的基础，对部队管理及信息化建设具有重要的作用。实现数字化办公必须要有良好的技术支撑，针对办公自动化系统的Web应用中基于高层数据接口（active data object，ADO）的数据库访问技术提出了优化方案，以及对数据库设计提出了优化方案，也为提升系统安全提出了解决方案。     

电气和自动化在工程实践中的相互交融

从技术的发展趋势论述了电气与自动化在工程实践中的关系,指出电气与自动化将互相嵌入、完全融合为一体,工程实践活动将紧密围绕整个系统所体现的电气的智能化、自动控制的彻底分散化、网络的扁平化和开放化而进行.     

CAPP系统中图形控件的设计与实现

提出一种采用控件方式设计CAPP(computeraidedprocessplanning)系统的方法,该控件底层引用Auto CAD的自动化对象,直接调用AutoCAD的DWG数据,用该方法构造的控件容易与CAPP中的属性数据进行连接,实现双向查询与操作.     

A novel intelligent verification platform based on a structured analysis model

An intelligent verification platform based on a structured analysis model is presented.Using an abstract model mechanism with specific signal interfaces for user callback,the unified structured analysis data,shared by the electronic system level design,functional verification,and performance evaluation,enables efficient management review,auto-generation of code,and modeling in the transaction level.We introduce the class tree,flow parameter diagram,structured flow chart,and event-driven finite state machine as structured analysis models.As a sand table to carry maps from different perspectives and levels via an engine,this highly reusable platform provides the mapping topology to search for unintended consequences and the graph theory for comprehensive coverage and smart test cases.Experimental results show that the engine generates efficient test sequences,with a sharp increase in coverage for the same vector count compared with a random test.     

工业自动化控制系统的设计

工业生产过程自动化系统经过长期不断的发展,特别是在充分利用计算机技术的基础上取得了很大的进步,在生产过程中已发挥其重要作用,成为生产过程安全、稳定、自动化运行不可缺少的工具。本文从工业生产自动化现状趋势、生产过程自动化系统和生产管理系统、软PLC和软DCS、生产过程控制和管理软件的融合等方面展开论述．从工业生产与自动化控制融合环节提出工业自动化控制系统设计的独特见解。     

基于云原生和中台技术的电网调度云智能平台的研究

随着电力市场化改革的全面推进、新能源持续的高比例发展以及电动车的爆发式增长,借鉴互联网技术支撑大规模复杂系统的平台化支撑经验,文章提出了以平台化的方式支撑电力调度领域适用数字化新基建的3个转型方向,并介绍相关方案应用于实践的探索.首先梳理当前中国电力调度数字化转型的可行性分析,包括内涵、现状、可行性分析及3个挑战.然后...