云视频监控系统的能耗优化研究

随着基于云计算的视频监控系统(以下简称云视频监控系统)的兴起,其无限扩展的终端设施、众多的物理服务器、频繁的网络传输等所带来的能耗问题不容忽视.分析了云视频监控系统的体系结构、能耗的产生及其优化机理,并将云视频监控系统的能耗研究分为监控节点、物理节点和存储节点这3个层次;然后,结合国内外应用于传感器网络和云计算数据中心的相关能耗优化理论与方法,分别对3个层面上的云视频监控系统的能耗优化方法进行综述,并进行了深入的分析和比较;最后,针对当前的研究空缺和问题,提出今后可能的研究方向和重点,并进行了总结.     

可组合的描述符泄露类型检查

应用程序通过操作系统的系统调用对文件描述符进行操作并管理文件资源。如果应用程序对资源描述符的管理出现错误并发生描述符泄漏,会严重影响系统的可用性。据此,提出了一种检查程序是否会导致描述符泄漏的类型系统,给出了描述符操作方法的语义和类型约束,证明了类型系统的可靠性定理。此外,还初步讨论了该类型系统在并发程序下的扩展。     

喀麦隆曼维莱水电站枢纽布置设计

介绍了曼维莱水电站枢纽布置设计及优化过程,在合同方案基础上,根据最新的补充勘测资料及多方案研究对比,对坝线选择、引水发电系统方案选择和厂区枢纽布置及优化设计工作做了详细的介绍,可供同类工程参考。     

新一代DCS中智能温度监控系统设计与实现

传统的分布式温度监控方法存在费时费力、不便应用在特殊环境、不便用于多点融合监控等弊端,因此设计并实现了新一代DCS智能温度监控系统,通过核心为ARM7LPC2292芯片的下位机及时调整全部温控点的温度,自主设置温度、显示实际温度与报警;采用核心为89C51微处理器模块,将上、下位机的信息互相传递,确保上位机随时查询温度信息;通过CC2530终端节点实时采集测温终端的温度数据,将温度数据无线发送给CC2530协调器节点,不再采用传统的中转服务器方式,而是采用协调器节点通过串口与上位机进行通信,并在上位机中进行温度数据的处理和存储;软件设计过程中,对系统监控过程中上位机和下位机间的主从通信方式进行详细分析,并给出了系统温度监控数据通信传输的流程图,分析了系统实现温度监控的数据库访问代码以及温控曲线显示代码的设计;实验结果说明,所设计系统性能好、操作简单、控制准确率高.     

基于模拟退火—遗传算法的非线性密钥序列生成器线性复杂度研究

计算线性等价是研究非线性密钥序列生成器线性复杂度的有效方法。本文先介绍了计算线性等价的模拟退火法,然后使用遗传算法对该算法进行改进,最后使用一组密钥序列生成器对改进后的算法进行性能评估,并将改进后的算法和原算法进行了比较。结果表明改进后的算法能比原算法更有效的找到非线性密钥序列生成器的线性等价。     

花岗岩地区病险水库工程地质问题及处理措施

花岗岩地区病险水库的险情主要为坝基渗漏,高水位运行期坝脚易发生管涌而限制水库效益的发挥。以某病险水库为例,分析总结了花岗岩地区以风化料作为坝体填料的主要地质问题;对坝基花岗岩深厚的风化壳、差异风化以及河床冲洪积砂砾卵石层等主要工程地质问题进行了评价;针对主坝、副坝及溢洪道的防渗加固,提出了相应的工程措施。对其他典型花岗岩地区的病险水库工程勘察有一定参考价值。     

小议空间资源管理

有很多年,我们对存储资源的管理一直沿用的是磁盘管理控制台DMC（Disk Vlana,gernerrtConsole）,尽管时至今日DMC依然存在于WindowsSePver2012中,但Windows Server2012系统管理存储空间的主要工具已经不再是眦了,而是它新推荐的所谓WSS（WmdowsStwageSpaces）,这种变化耐人寻味,值得探究。     

循环流化床过程控制云仿真平台设计与应用

为降低循环流化床过程控制系统现场调试的风险,提高其适应性和可靠性,基于云制造的思想,通过设计基于预测的喷水减温对象模型和基于线性回归的脱硫效率对象模型,并进行合理封装,实现对制造资源的虚拟化;在此基础上,使用典型的PLC、DCS、数模转换设备和服务器等硬件设备,建立一种循环流化床脱硫过程控制半实物云仿真实验系统,为制造企业、研究与设计机构等云请求端用户提供脱硫过程控制系统的生产过程模拟、优化操作参数验证、控制算法仿真与性能分析等云制造服务.以某钢铁企业烧结生产的烟气脱硫过程为例,说明了仿真平台的使用方法,并验证其有效性.     

星球车松软星壤的轮腿式探测系统:Ⅱ-感知车轮

为增强星球车松软星壤的穿越通过能力,提出了轮壤交互接触信息的感知车轮设计。该车轮是一种星球车的前置轮腿式探测系统(WOLS)的关键部分,可实现动态轮壤交互的关键量测量(轮壤作用力/力矩、轮壤接触角和车轮沉陷量)。研究分析了轮壤力学的关键测量参量及其分组,完成了感知车轮的硬件设计和集成,提出了待测参数的在线测量模型和方法,通过标定校准和实车测试验证了该感知车轮的性能。     

基于改进Kalman滤波模型的扫描合成孔径雷达图像扇贝效应校正方法

星载扫描合成孔径雷达(ScanSAR)采取Burst工作模式,该模式在获得宽幅测绘能力的同时,也导致图像中产生了固有的扇贝效应,严重影响图像的视觉效果和定量应用。该文结合对ScanSAR图像方位向统计特性的分析,针对现有滤波模型稳定性差和时间复杂度高等缺点,提出了一种改进的Kalman滤波模型,对图像方位向标准差和均值进行滤波以校正扇贝条纹。在高分三号(GF-3)卫星获取的真实ScanSAR图像上的校正结果验证了改进算法的有效性和高效性,此外在建筑群和海陆交界等复杂场景图像上的实验结果表明,改进算法具有较强的鲁棒性。