基于分形理论的短期电力负荷预测*

电力负荷预测是电力系统规划的重要组成部分,也是电力系统经济运行的基础,其对电力系统规划和运行都极其重要。具有精确的预测方法可以保证能源的节约,避免资源的浪费。同时也可以缓解电能短缺所造成的重大影响。论文为了实现更好的电力负荷预测方法,研究了分形理论在电力负荷上的应用。将分形拼贴定理和分形插值法应用到电力负荷预测之中。提出了分形理论电力负荷预测模型,得到了分形插值预测模型。为了证明分形插值法的有效性,论文将分形预测模型与传统的BP神经网络电力负荷预测模型相比较。最后通过仿真算例说明了论文提出的分形插值预测模型预测精度更高,预测相对误差较小。并且分形理论可以很好地应用在电力系统负荷预测中,预测效果要好于BP神经网络预测模型。     

一种基于蚁群算法的震区环境监测系统设计

针对目前震区生态恢复、环境保护监测的需要,论文提出了一种基于蚁群算法的震区监测系统,利用智能无线传感器网络对光强、温度、湿度等生态环境变量进行监测的方法.该方法解决了传统监测方法中布线复杂、精度有限、能耗高等问题,具有数据采集量大,精度高、低功耗和可靠性高等优点.     

包裹法国红色料在陶瓷领域应用的探索

探索包裹法国红色料在建筑陶瓷工业釉料、坯体中应用的工艺技术条件，采用正交实验方法找出包裹法国红色料在陶瓷釉料、外墙砖、地砖中的最佳发色条件：在釉料中一价的钾、钠离子特别利于该色料的发色；二价离子钡较好、钙次之、镁最差；法国红色料在普通熔块中发色不理想，在特制的熔块中发色良好。     

无线传感器网络中移动目标跟踪的预测模型

动态目标的实时监测是无线传感器网络覆盖的必备技术和发展趋势,针对由于目标运动带来的网络动态拓扑变化和耗能高等问题,提出了一个预测模型。该模型通过综合分析目标在当前时刻前的信息如移动速度、移动方向的基础上,基于二维高斯分布,预测目标未来可能出现的区域,从而激活相应的传感器,减轻无线传感器网络的工作压力。并且设计相应的通讯协议,以保证基站与传感器节点之间数据稳定、实时的传输。基于仿真实验表明了该方法的有效性和可行性。     

一种基于单条程序执行路径的错误定位方法

当程序在测试中发生错误时,将形成一条错误的程序执行路径,程序员将会花费很多精力去检测程序代码和定位最终的程序错误．提出一种基于单条程序执行路径的错误定位方法,该方法通过对程序进行反向执行,计算出多个最弱前置条件及其相对应的疑似错误语句集,并生成错误定位树,来辅助程序员进行快速错误定位．对西门子测试数据集进行的实验表明了该方法具有良好的效果．     

基于未知环境状态新定义及知识启发的机器人导航Q学习算法

由于强大的自主学习能力, 强化学习方法逐渐成为机器人导航问题的研究热点, 但是复杂的未知环境对算法的运行效率和收敛速度提出了考验。提出一种新的机器人导航Q学习算法, 首先用三个离散的变量来定义环境状态空间, 然后分别设计了两部分奖赏函数, 结合对导航达到目标有利的知识来启发引导机器人的学习过程。实验在Simbad仿真平台上进行, 结果表明本文提出的算法很好地完成了机器人在未知环境中的导航任务, 收敛性能也有其优越性。     

带时间和资源约束的实例化过程模型验证方法

软件过程的性能是由软件过程模型和软件过程实例化两方面因素决定,如果对软件过程进行了不恰当的实例化,会导致成本超支、进度延期、甚至项目失败．已有的过程描述法不足以分析实例化过程模型,由于没有考虑实例化阶段的时间资源约束,语法结构正确的过程模型并不能保证过程执行的正确性．提出一种带时间和资源约束的实例化过程模型验证方法,为目前已有的s-TRISO／ML建模语言增加时间和资源约束属性,然后提出了从s-TRISO／ML模型转换成时间自动机的转换方法和实现算法,利用已有的分析工具Uppaal对转换得到的时间自动机的性质进行验证,得到一个合理的实例化模型,从而为真实的开发流程提供指导．     

重要数据文件的恢复技术

在进行硬盘数据恢复时,如果每次都从头到尾地进行扫描,需要耗费大量的时间,而且恢复的数据大部分是不需要的。为了节约时间提高效率,应对特定的重要数据文件进行恢复。论文从硬盘启动及文件读写的原理出发,分析文件被修改或删除时操作系统所做的操作,对比分析文件分配表（FAT）和文件目录表（FDT）在特定文件修改或删除时产生的变化,针对现有的数据恢复技术无法自动恢复不连续簇文件的问题,通过FAT表内连续簇的分布规律来进行特定文件恢复,并在实验中进行验证。     

使用QTP对Silverlight应用进行自动化测试的研究与实践

Silverlight作为一个跨浏览器、跨平台的插件,将视频、交互性内容,以及其他应用完好的融合在一起,为用户提供了统一而丰富的体验。通过使用QTP把人为驱动的测试行为转换为机器执行的过程,实现对Silverlight应用的自动化测试。本文研究介绍了使用QTP对Silverlight应用进行自动化测试的方法,描述了具体的操作步骤以及解决方法。     

松节油催化热异构产物的气相色谱-质谱分析

用气相色谱-质谱联用技术(GC-MS)对Pd/C催化剂上松节油直接催化热异构的反应产物进行了分析鉴定,共分离出46个峰,鉴定出43个化合物,其中主要产物为单环单萜烯苧烯、α-焦烯、1,3,5,5-四甲基-1,3-环己二烯、无环单萜烯3,4-二甲基-2,4,6-辛三烯、2,6-二甲基-2,4,6-辛三烯、双环单萜烯莰烯、单环单萜烃对伞花烃,其相对质量分数分别为:57.87%、2.92%、1.45%、5.59%、7.15%、2.78%、3.39%。分析鉴定结果表明,松节油在Pd/C催化剂上发生开环异构生成单环单萜为主反应,并伴随深度开环异构、分子间氢转移、水合重排等副反应,倍半萜只发生极少量的异构化反应,蒎烯转化率为90.04%,蒎烯可高选择性地开环热异构制备单环单萜苧烯,苧烯选择性为73.17%。