基于远程冰蓄冷空调机房的自动控制设计

为了解决"电力告急,电量有余的状态",争取将用电低谷时期电力填补到高峰时的电力不足。而"移峰填谷"式的蓄冰空调逐渐成为中央空调发展的一个趋势。实现冰蓄冷机房的控制是用WebAccess组态软件完成设定、监控和故障报警等,对冰蓄冷机房进行各种水温、水压、流量和空气温度、湿度、风量、压力、风阀开度等参数进行监控,并且通过通讯实现预测空调负荷从而确定系统工作模式、改变控制策略,这样可提高冰蓄冷空调的运行水平。     

Automated diagnosis of feature model configurations

Software product-lines (SPLs) are software platforms that can be readily reconfigured for different project requirements. A key part of an SPL is a model that captures the rules for reconfiguring the software. SPLs commonly use feature models to capture SPL configuration rules. Each SPL configuration is represented as a selection of features from the feature model. Invalid SPL configurations can be created due to feature conflicts introduced via staged or parallel configuration or changes to the constraints in a feature model. When invalid configurations are created, a method is needed to automate the diagnosis of the errors and repair the feature selections.This paper provides two contributions to research on automated configuration of SPLs. First, it shows how configurations and feature models can be transformed into constraint satisfaction problems to automatically diagnose errors and repair invalid feature selections. Second, it presents empirical results from diagnosing configuration errors in feature models ranging in size from 100 to 5,000 features. The results of our experiments show that our CSP-based diagnostic technique can scale up to models with thousands of features.     

单神经自适应PSD 预测控制在过热汽温切换系统中的应用

提出一种基于单神经元自适应PSD(proportional sum differential)预测控制器的新型火电厂过热汽温切换控制系统.采用单神经元自适应PSD控制与Levinson预测器相结合的控制方式以改善大滞后、多干扰系统的控制特性,同时利用Foxboro公司I/A系列的DCS控制系统平台对其组态设计(包括无扰切换、前馈补偿以及抗积分饱和等),以实现手自动切换和各控制器之间的合理切换.实验室的多次仿真研究和某火电厂的现场运行均表明该控制系统具有良好的控制品质.     

基于S7-300／400PLC的冗余控制系统在变压吸附（PSA）制氢装置中的应用

本文介绍了分别基于西门子S7—300PLC和S7—400PLC的两种冗余控制系统在荆门石化和鞍钢变压吸附制氢装置中的应用。概述了工艺过程和工艺对控制系统的要求,着重对上述两套系统的硬件配置和软件编程组态实施方案进行了描述。运行结果表明,上述系统稳定可靠,控制效果良好,能满足工艺要求。     

大亚湾核电站KIT／KPS系统的国产化升级改造

基于上世纪80年代初的法国SOLAR计算机早期技术的大亚湾核电站KIT/KPS系统,当今已显露出技术落后、硬件老化、备件采购困难,导致难以维持正常运行的窘况,必须对其实施国产化升级改造。新的系统基于和利时的MACSDCS软硬件平台研发,投运后运行效果良好,全面达到了设计功能需求。本文是关于该KIWKPS系统国产化升级改造的总体介绍,分别从该项目实施改造的背景、功能需求、该系统的硬件组成和配置、软件体系结构、主要功能等方面进行了较为系统的描述。     

面向大规模金融对账文件的近似比对模型及系统

针对TB级的大规模金融对账文件的近似比对问题,本文深入分析了金融对账文件的特点,以提升比对速度作为研究目标,提出了一种多层次的近似比对模型-UpCompare模型.UpCompare模型以多进程为扩展基础,采用哈希索引建立映射表结合快速致胜策略为核心算法.测试结果表明,运用UpCompare模型,我国银行卡清算系统的每日清算文件近似比对效率提升了5倍以上.     

Zero knowledge based client side deduplication for encrypted files of secure cloud storage in smart cities

As typical applications in the field of the cloud computing, cloud storage services are popular in the development of smart cities for their low costs and huge storage capacity. Proofs-of-ownership (PoW) is an important cryptographic primitive in cloud storage to ensure that a client holds the whole file rather than part of it in secure client side data deduplication. The previous PoW schemes worked well when the file is in plaintext. However, the privacy of the clients’ data may be vulnerable to honest-but-curious attacks. To deal with this issue, the clients tend to encrypt files before outsourcing them to the cloud, which makes the existing PoW schemes inapplicable any more. In this paper, we first propose a secure zero-knowledge based client side deduplication scheme over encrypted files. We prove that the proposed scheme is sound, complete and zero-knowledge. The scheme can achieve a high detection probability of the clients’ misbehavior. Then we introduced a proxy re-encryption based key distribution scheme. This scheme ensures that the server knows nothing about the encryption key even though it acts as a proxy to help distributing the file encryption key. It also enables the clients who have gained the ownership of a file to share the file with the encryption key generated without establishing secure channels among them. It is proved that the clients’ private key cannot be recovered by the server or clients collusion attacks during the key distribution phase. Our performance evaluation shows that the proposed scheme is much more efficient than the existing client side deduplication schemes.     

HDFS中海量小文件合并与预取优化方法的研究

HDFS在存储海量文件时具有明显的优势, 但在存储小文件占绝大多数的海量文件时,HDFS单个NameNode的存储架构会导致其性能严重降低。为此,提出一种基于合并思想的方案,即将小文件合并为大文件,同时建立小文件到合并文件的映射关系,并将其存于HBase中。为了提高读取速度,建立了基于LRU的预取机制。实验表明,该方法能明显提高HDFS在处理海量文件时的整体性能。     

一种面向汽车电子的配置界面动态生成方法

汽车电子的开发需要根据特定硬件平台资源情况对基础软件功能进行裁剪,而汽车电子的基础软件模块具有配置需求量大、复杂度高等特点。因此,设计一种具有高可配置性、通用的配置工具原型,具有非常重要的应用推广价值。针对汽车电子基础软件的实际需求,提出一种动态生成配置界面的方法。该方法分离配置参数与配置界面,从而极大提高配置工具的可扩展和可维护性。实验结果显示该方法是可行且有效的。     

基于组态软件监控的智能电梯群控系统设计

随着高层建筑的不断出现以及人们对电梯服务质量要求的持续增高,智能电梯群控系统已经广泛应用到人们生活的方方面面.提出了一种基于组态软件监控的智能群控电梯系统设计,并结合当今流行的组态监控软件设计出了上位机软件,用以监控电梯群的运行,实现了多电梯高效运行,提高了电梯系统的服务效率和控制水平.