基于认证系统接口的校园网用户管理系统设计与实现

随着校园网络建设的加快,校园网用户的管理和网络设备的运维逐渐朝着高效化、智能化、精细化的方向发展.为对校园网用户进行管理和分析,发现网络设备运行中的问题,了解学生在校状态,本文结合我校认证系统接口构建校园网用户管理系统.系统由在线用户管理、上网明细管理、用户一致性比对、账号外借判断、掉线AP查询和用户轨迹查询六个模块组...     

基于加强概率控制策略的SAT局部搜索算法

局部搜索算法是目前求解SAT问题比较有效的方法,而Sattime算法是在SAT国际大赛中获得大奖的一种典型局部搜索算法。在Sattime算法的求解过程中,记录变元翻转事件流数据库,通过数据分析与模式挖掘,发现Sattime算法的局部搜索行为中会出现相邻搜索步选择同一个变元的现象,即所谓的回环现象,从而降低了求解效率。为解决此问题,提出两种概率控制策略：加强子句选择策略和加强变元选择策略,并将这两种策略应用到Sattime算法中,形成新的局部搜索算法Sattime-P。实验结果表明,与Sattime算法相比,改进后的Sattime-P算法求解效率有显著的提升。该方法也对其他局部搜索算法的改进具有参考价值。