嵌入式冷库环境监控系统的设计

为了保证冷库内货物质量、维持其最佳储藏环境、提高冷库自动化水平,设计了一款冷库智能监控系统;系统以LPC2103为核心,利用传感器、信号调理电路进行数据采集,并结合软件实现对冷库环境参数的控制;分布式采样点的硬件布局克服了冷库环境参数不均匀,波动性大的缺陷,通过软件滤波算法与智能控制方法进一步屏蔽了信号传输的干扰,为控制设备提供了准确的指令;对温度参数进行记录与分析的实验结果表明,系统误差小并能够准确、及时的调节环境,因此系统结构简单,运行稳定,调控方便,能够有效保证储藏货物质量.     

基于西门子S7—400PLC的包钢转炉自动化系统设计与实现

该文针对包钢220吨转炉设计并实现了一套完整的自动控制系统。主要介绍了该系统的结构与硬件配置以及对所采用的软件的评估,还就系统中的数据通信、氧枪定位、汽包三冲量调节、系统的监控等问题进行了讨论,并详细分析了有关控制回路的调试和实施。     

Parameterized complexity of control problems in Maximin election

Elections are a central model in a variety of areas. This paper studies parameterized computational complexity of five control problems in the Maximin election. We obtain the following results: constructive control by adding candidates is W[2]-hard with respect to the parameter “number of added candidates”; both constructive and destructive control by adding/deleting voters are W[1]-hard with respect to the parameter “number of added/deleted voters”.     

A high quality and small shadow size visual secret sharing scheme based on hybrid strategy for grayscale images

Many secret sharing schemes for digital images have been developed in recent decades. Traditional schemes typically must deal with the problem of computational complexity, and other visual secret sharing schemes come with a higher transmission cost and storage cost; that is, each shadow size is m times as big as the original secret image. The new (2,n) secret sharing scheme for grayscale images proposed in this paper is based a combination of acceptable image quality using block truncation coding (BTC), high compression ratio discrete wavelet transform (DWT) and good subjective performance of the vector quantization (VQ) technique. Experimental results confirm that our proposed scheme not only generates a high quality reconstructed original image but also generates small, random-like grayscale shadows.     

基于ARM7的油罐区测控系统的研究与设计

针对油罐区测控系统实时动态监控的需要,介绍了一种基于ARM7嵌入式微处理器的油罐区测控系统。以LPC2119为核心,采用罐区分布式结构,并用压力变送器和温度传感器分别对油罐的液位和温度进行实时在线检测和控制。软件设计中移植了μC/OS-Ⅱ操作系统,采用多任务设计方法,缩短了软件的开发进程,并有效地将LPC2119强大的管理功能和CAN总线的优点结合起来,使得通信部分能有效地将数据发送到上位机。该系统已应用于作业现场,运行可靠,取得良好的效果。     

弹性资源下的测试系统资源配置方法

提出采用赋时有色Petri网对测试流程进行建模,用来优化自动测试系统的资源配置。给出了测试流程TCP-net模型的构建步骤;基于模型,给出了寻求测试流程最短测试用时的方法;给出了弹性资源的定义以及在弹性资源条件下最小资源集求解算法和资源分配策略;通过给出一个应用实例,证明了上述方法的有效性和实用性。     

基于S7-200系列的测温回路的扩展

电除尘器的保温十分重要,它保证了高电压回路的绝缘强度,对电除尘器的正常运行起着十分关键的作用。以西门子PLCS7-200系列为例,介绍了使用DI/DO模块和DUT3000数据采集模块来采集电除尘器加热回路的温度,实现方便、实用的、低成本、高可靠、高精度的温度测量。     

SIMATIC Safety Matrix（安全矩阵）工具包及其应用

介绍了SIMATIC Safety Matrix（安全矩阵）工具包的主要特点、构成、作用以及在阿尔及利亚凝析油拔头项目紧急停车系统（ESD）中的应用。     

Finding an Euclidean anti--centrum location of a set of points

An obnoxious facility is to be located inside a polygonal region of the plane, maximizing the sum of the k smallest weighted Euclidean distances to n given points, each protected by some polygonal forbidden region. For the unweighted case and k fixed an O(n²logn) time algorithm is presented. For the weighted case a thorough study of the relevant structure of the multiplicatively weighted order-k-Voronoi diagram leads to the design of an O(kn³+n³logn) time algorithm for finding an optimal solution to the anti-t-centrum problem for every t=1,…,k, simultaneously.