基于SIEMENS STEP7的卸料小车自动对位控制方案

可移动卸料小车主要用于散状物料处理、矿山、堆场、冶金工厂以及港口设备中,它将物料卸在不同的料棚或仓位之中。本文以唐山中厚板厂烧结配料仓卸料小车为例,介绍了卸料小车的工艺要求、自动对位控制系统方案并给出了主要控制软件。     

生物质能发电厂综合自动控制技术探讨

生物质能是一种重要的可再生能源,目前主要可开发利用的资源为农作物所产生的废弃物——秸秆。相比燃煤发电,秸秆发电的污染排放很小,又可循环利用,是一种清洁的可再生能源。生物质能发电综合自动化控制的主要难点是燃料热值的不稳定性造成的锅炉燃烧难以经济、稳定地控制,以及由秸秆收、运、贮等环节存在的问题导致输料系统难以安全、连续运行。本文以单县生物质能发电厂为例,介绍了生物质能发电厂综合自动化的系统结构、控制策略,并对调试和运行中所暴露的问题及其改进方案进行了初步探讨。     

用单片机实现交通灯的控制

交通灯控制系统由80C51单片机、键盘、LED显示、交通灯演示组成.系统除基本交通灯功能外,还具有时间设置、LED信息显示等功能.     

分布式移动代理系统的异步死锁检测

移动代理技术在为分布式应用提供全新的网络计算方式的同时也产生了传统分布式计算领域所没有的新的交互模式和执行模式。传统分布式计算的处理方法如并发控制和死锁检测方法不再适用于客户和服务提供者都可在网络中随处移动的移动代理系统。通过移动代理来建模长寿事务,并根据移动代理的特点提出了一种异步分布式死锁检测和解除算法。它将事务代理的执行与死锁检测机制分离,用专门的代理负责死锁检测的初始化、检测和消除等工作。死锁的检测通过创建若干检测代理,使其在各个站点间移动来收集资源请求和分配信息,并据此构造全局等待图;通过分析和探测全局等待图中是否存在圈来完成。算法具有独立于网络的拓扑结构,死锁的检测和事务代理的执行异步操作,不对代理的移动性施加任何限制等特点。     

ASP．NET程序中动态创建数据库时的事务与并发控制问题的解决

由于创建数据库操作不能自动回滚,所以无法将动态创建数据库的操作包含在事务内处理。本文介绍了通过程序的异常处理和SQL Server的事务处理机制创建数据库不可分割地完成其他一些操作,从而达到并发控制的一种可行方法。     

A structural linearization principle for processes

In [11], an induction principle for processes was given which allows one to apply model-checking techniques to parameterized families of processes. A limitation of the induction principle is that it does not apply to the case in which one process depends directly upon a parameterized number of processes, which grows without bound. This would seem to preclude its application to families ofN processes interconnected in a star topology. Nonetheless, we show that if the dependency can be computed incrementally, then the direct dependency upon the parameterized number of processes may be re-expressed recursively in terms of a linear cascade of processes, yielding in effect a linearization of the inter-process dependencies and allowing the induction principle to apply.A previous version of this paper appears in the Proceedings of CAV 1993 (LNCS 697).     

计及配电公司特许经营权的产消者点对点交易模型

在针对配电系统层面设计点对点电力交易机制时,需要考虑配电公司所拥有的特许经营权,通过设计适当的网络收费模式有效补偿配电系统基础设施所有者的投资和运行成本。提出一种计及配电公司特许经营权的产消者点对点交易模型。基于配电公司和产消者之间的主从互动关系,建立基于电气距离的过网费定价双层博弈模型,上层为以配电公司收益最大为目标的过网费价格决策模型,下层为考虑过网费的产消者最优调度模型;基于卡罗需-库恩-塔克(KKT)条件将双层博弈模型转化为单层混合整数规划问题,进而得到过网费价格;利用交替方向乘子法分布式求解产消者点对点实时交易电量和交易电价。IEEE 33节点配电系统的仿真结果验证了所提模型能在保证配电系统安全运行的基础上保障所有产消者利益,且能合理补偿配电公司因放弃部分特许经营权而产生的收益损失。     

应用型独立学院的自动控制原理课程混合式教学改革探讨

本文介绍了混合教学模式在应用型独立学院教学中的特点,以自动控制原理课程为示例,针对传统课堂教学现状中存在的问题,从教学形式,教学内容,教学设计,评价体系等方面提出了教学改革的思路。基于独立学院培养应用型人才的目标,开展混合式教学,其主要的作用是在自动控制原理课程实践中引导学生主动解决问题,互动探讨问题,深刻认识问题,改进教学效果的同时提升师生能力。     

集成电路综合自动测试系统硬件平台设计

针对当前国内集成电路产业快速发展的现状,通过分析集成电路测试需求,研制了国产超大规模集成电路综合自动测试系统硬件平台。首先设计了基于PXIe总线的硬件平台总体架构方案,其次研制了包含数字测试模块等高性能PXIe测试仪器,进一步构建了测试头等分系统并完成系统集成。采用高性能外部仪器和自检校准分系统,对硬件平台进行了指标测试。基于BM3110MPB开展了测试验证。验证结果表明,硬件平台数字测试单通道最高测试速率为1600Mbps、DPS可实现最大输出电压12V、最大输出电流800mA,具备连接性测试、功能测试、直流参数与交流参数测试等功能。该硬件平台未来可有效满足国产超大规模集成电路测试需要。     

基于区块链的电力交易模型及博弈定价方法

为解决传统能源中心化交易模式缺少灵活性、透明性和可监督性等问题,满足新型电力系统中电网各主体间电力交易市场化、定价灵活化等新要求,提出一种基于区块链的电力交易模型及博弈定价方法。该电力交易模型具有分布式、去中心化、不可篡改和加密安全等优势。首先,建立基于区块链的电力交易模型,协调发、供、用等主体间的生产和消费行为,形成统一的市场机制;其次,提出了基于博弈的多时间尺度电力交易竞价机制,利用蚁群优化(ACO)算法求解可得每小时的最佳竞拍价格。最后,通过仿真验证了交易模型及博弈定价方法,在激励政策下各交易方收益最优化。结果表明,交易模型及定价方法在新能源参与交易背景下能有效地平衡市场各主体的效益;基于区块链的智能合约可实现电力交易过程的智能化、透明化和可追溯性。