基于运行风险的配电系统动态无功优化控制研究

根据负荷变化,通过动态优化调节有载调压变压器分接头和并联电容器组,是保证配电系统电压质量、降低运行网损的一个重要手段。采用Gram-Charlier级数展开理论的半不变量法求解电压越限概率,建立了电压越限风险评估模型,并将运行中的有功损耗转化为由其导致的严重性后果的风险评估模型,在此基础上建立了一种基于运行风险的动态无功优化控制模型。优化过程文中采用了保证控制设备动作次数约束的预优化及实时控制时刻优化的2段式流程,既保证了动作次数的要求,又保证了结果的准确性和快速性。     

蜂窝网络中用户移动参数对越界率的影响

越界率是衡量无线蜂窝网络性能的重要指标之一.主要考察用户移动模型中3个要素(速度、方向和蜂窝小区的信号覆盖范围)对用户越界率的影响.这种影响的检测是分别在简单移动模型和支持突发事件影响的移动模型上进行多组实验所得的,分别画出了两种移动模型下用户最大速度、最小速度以及平均速度的变化、BS的信号覆盖范围和用户移动方向改变频率与用户越界率之间的曲线图.通过对比两种不同移动模型下的实验数据,发现用户的越界率与用户的移动速度和BS的信号覆盖范围关系较大,而用户移动方向的改变频率对越界率的影响相对较弱.     

数组越界的静态分析

软件测试分为静态测试和动态测试,而数组越界是静态测试中最常见的问题之一,并且其带来的危害巨大,甚至导致软件系统崩溃。根据数组越界的现象及特点,详细描述了数组越界的定义和种类,给出了数组越界产生的条件及防范技巧,并对检测方法及工具进行比较分析,从而更好地实现软件测试。     

倒立摆的一种模糊控制方法

提出一种模糊控制方案,实现对倒立摆系统的平衡控制.针对倒立摆系统多变量的特性,采用双模糊控制器方案,分别对摆杆倾角和小车位移设计模糊控制器,大大降低了设计难度;为了实现对摆角和位移双重控制的功能,采用两个控制器轮流控制的策略,当摆角偏差或角速度值较大时,摆角控制器起作用,保持摆杆的垂直,反之,位移控制器起作用,调整小车位置不越界.在实际的物理设备上进行了实时控制实验,实验结果验证了方案的正确性和有效性.     

一种基于过滤器的无线传感器网络近似kNN查询优化算法

在无线传感器网络中进行感知数据查询,必须考虑传感器节点能量受限的特性.提出了一种基于过滤器的无线传感器网络近似一维K-NN查询优化算法FAKNN. FAKNN算法利用样本数据为每一个节点设置一个经验取值区间,并针对查询选择样本数据均值距离查询点最近的部分节点构成候选结果集.由于用户对查询结果的满意度与候选节点的个数和越界概率有关,因此需要通过计算节点的越界概率来确定最终候选结果集,并将候选节点的经验取值区间作为过滤器随查询请求发送到全网.节点利用过滤规则阻止数据发送,从而节省节点能量.仿真实验表明,FAKNN算法在保证查询准确率的同时,可大幅降低查询通信量.     

具有组合变异策略的回溯搜索优化算法

针对回溯搜索优化算法收敛速度慢和易陷入局部最优的缺陷,提出了一种基于组合变异策略的改进回溯搜索优化算法。为了提高历史种群的多样性并扩大算法的搜索空间,在算法迭代过程中采用柯西种群生成策略,利用柯西分布尺度系数生成历史种群;引入基于混沌映射和伽玛分布的组合变异策略,在一定概率下对较差个体进行变异生成质量较好的个体;对新种群中越界个体采用越界处理策略,确保算法在预定的搜索空间内搜索。选取了11个标准测试函数,在低维和高维状态下进行数值仿真,并与3种表现良好的算法进行比较,结果表明该改进算法在收敛速度和收敛精度上有很大优势。     

扩频鲁棒图像水印中的亮度越界处理方法

在扩频鲁棒图像水印中,在水印嵌入过程中的"频域-空域"变换会引起像素亮度值的越界,而现有的解决方案有可能导致水印检测值的大幅降低,并严重削弱了水印的鲁棒性.因此以典型的扩频水印机制为例,通过在空间域给出水印检测值的近似计算方法,研究了像素亮度越界现象对水印检测值的影响,发现对纹理较少的高亮度图像,像素的亮度越界将严重地降低水印检测值.最后提出了一种自适应的分块式亮度调整策略,分析和实验表明,新的调整策略能够有效地改进含水印图像的保真性和水印的鲁棒性.     

基于区间集的Cppcheck数组边界缺陷检测

针对开源软件Cppcheck误报率和漏报率过高,且不能检测出运行时程序缺陷等问题,基于Cppcheck程序,提出了抽象区间集算法,并将其应用于数组边界缺陷检测。在Cppcheck框架内,通过引入区间集概念,建立每个程序点变量和表达式的整型区间集和数组区间集,并由此定位出程序中的矛盾点,最终检测出程序缺陷。与Cppcheck相比较,所提算法的查准率提高18.5%,漏报率降低22.5%,误报率提高3.5%。实验结果表明,该方法能有效地检测出运行程序缺陷,并提高Cppcheck缺陷检测性能。     

C程序数组越界的运行时验证技术研究与实现

缓存区溢出能引起非常严重的安全问题,对网络和分布式系统（如机群,网格,P2P系统等）构成严重威胁。数组越界在缓存区溢出中占据重要位置,如何检测数组越界错误是一个重要且极具意义的课题。针对该课题,给出一种对C语言数组越界进行运行时验证的方法。分析了数组越界的错误类型,根据这些类型分别研究了数组越界的运行时验证的思想;设计了基于程序插桩进行数组越界动态检测的算法,给出了该方法基于开源编译器Clang的具体实现;用实验证明了该方法是切实可行并且有效的。