安全协议的自动化设计

阐述了安全协议的自动生成-约简-优化模型。在第1阶段，依据系统规范的要求生成候选协议，并用简单的句法约束规则和基于简单冒充的早期删减规则对候选协议进行约简。第2阶段，以串空间理论为依据制定删减规则，对以上候选协议进行进一步的优化，生成符合安全需求的正确协议。     

含分布式发电的配电网检修负荷转移方案

分布式发电（DG）的接入对配电网的规划和运行产生了深远影响，由于DG的存在，配电网检修负荷转移方案有了更多的选择。文中通过对DG运行方式和负荷转移优化问题的研究，给出了制定含DG的配电网检修负荷转移方案的3条原则，并建立了相应的数学模型。该模型以降低供电企业综合检修成本为目标，包括降低供电企业额外购买的DG电量费用、售电损失和开关操作费用，并在传统负荷转移模型约束条件的基础上增加了其他约束，保证利用可再生能源发电的DG以最大发电能力上网发电和保证利用化石能源发电的DG至少按照正常发电计划发电，以反映DG对负荷转移方案的影响。仿真结果证明了所提出的模型的正确性和有效性。     

含分布式发电的配电网检修负荷转移方案

分布式发电(DG)的接入对配电网的规划和运行产生了深远影响,由于DG的存在,配电网检修负荷转移方案有了更多的选择。文中通过对DG运行方式和负荷转移优化问题的研究,给出了制定含DG的配电网检修负荷转移方案的3条原则,并建立了相应的数学模型。该模型以降低供电企业综合检修成本为目标,包括降低供电企业额外购买的DG电量费用、售电损失和开关操作费用,并在传统负荷转移模型约束条件的基础上增加了其他约束,保证利用可再生能源发电的DG以最大发电能力上网发电和保证利用化石能源发电的DG至少按照正常发电计划发电,以反映DG对负荷转移方案的影响。仿真结果证明了所提出的模型的正确性和有效性。     

清江梯级水电站联合调度图的研究与应用

针对清江梯级水电站开展了水库联合调度图的研究,结合库群补偿调度的库容效率指数方法,建立了基于微粒群算法的联合调度图研制模型。得到的联合调度图方案符合清江流域水文及梯级水库结构特点,同时具有调度决策直观、操作简明的优点。经模拟调度检验,联合调度图与现设计应用方案相比,清江梯级总出力不仅满足设计保证率,而且年均发电量可提高2.01亿kW.h,增长率达2.77%,减少弃水10.67亿m^3,减小38.96%。     

WaMos波浪监测系统研究与应用

WaMos（Wave Monitoring System）波浪监测系统是当前用于遥测海况及表面流场的最先进仪器之一.文章简要介绍了WaMos波浪监测系统的软硬件结构及数据产品,利用C#语言对极坐标文件进行了解码读取,为进一步研究基于X波段航海雷达资料的海况及表面流场参数反演提供了参考信息.     

基于遗传拓扑混合算法的配电网多故障抢修策略

从中国配电网的实际情况出发，建立了电力系统在多故障情况下的多目标抢修策略优化模型。针对配电网接线呈辐射状的特点，提出了一种遗传拓扑混合算法作为寻优策略。该算法通过遗传算法寻优，通过拓扑分析算法判断出失电区域、待修复设备以及负荷情况，综合进行适应度评价，反复迭代得到最佳抢修方案。在寻优计算过程中，针对遗传算法在复杂配电网计算中易产生大量不可行解的问题，引入了智能选择的混合交叉因子进行改进。算例结果证明了该混合智能算法的有效性和鲁棒性。     

基于PSO及SA的高维优化方法研究及应用

针对高维优化问题提出基于改进的微粒群及模拟退火方法的SA-PSO算法.算法引入了随机选择、小邻域赋值、极值扰动,以及渐进搜索等策略,能有效解决微粒规模与优化问题维数之问的矛盾,加快收敛速度并防止陷人局部最优解.经实例应用检验,SA-PSO算法能够达到预期的效果,开辟了求解高维优化问题的新途径.     

基于局部可见点进行的凹多边形凸分解算法

在参考基于顶点可见性的凹多边形凸分解算法的基础上,提出了改进的方法.该方法先搜索当前凹点,并由该凹角所在边引射线,将多边形所在平面分为A、B、C、D四个区域,并求取当前凹点在区域A内的可见点串;然后,以区域A中是否有可见点为依据,利用凹点的局部几何特性,通过引入权函数从凹点的可见点串中选取适当的点引剖分线,或者利用凹点夹角平分线与多边形在区域A中的线段的交点引剖分线进行多边形分解.本算法旨在通过减少所要求取的可见点数目提高算法效率.     

一种针对TPM的抗重放攻击方案

可信平台模块（Trusted Platform Module,TPM）是可信计算技术的核心。可信计算平台需要TPM的可信测量能力、可信存储能力和可信报告能力,向用户证实平台是可信的。然而当前人们主要关心TPM的实现以及其上的应用开发,却很少讨论TPM本身的安全性。这样一方面很难使人们相信TPM本身是安全的,另一方面也不能很好的将TPM应用到安全领域中。对用户和TPM交互时所遵循的重要协议——对象无关授权协议OIAP进行分析,证明了该协议会受到重放攻击并提出了相应的解决方案。     

基于遗传拓扑混合算法的配电网多故障抢修策略

从中国配电网的实际情况出发,建立了电力系统在多故障情况下的多目标抢修策略优化模型。针对配电网接线呈辐射状的特点,提出了一种遗传拓扑混合算法作为寻优策略。该算法通过遗传算法寻优,通过拓扑分析算法判断出失电区域、待修复设备以及负荷情况,综合进行适应度评价,反复迭代得到最佳抢修方案。在寻优计算过程中,针对遗传算法在复杂配电网计算中易产生大量不可行解的问题,引入了智能选择的混合交叉因子进行改进。算例结果证明了该混合智能算法的有效性和鲁棒性。