静态SAT问题并行处理器的设计研究

针对SAT问题的复杂性及求解速度缓慢的问题，采用可重构器件FPGA设计，实现了静态回溯搜索算法SAT问题并行处理器，提出了研制动态SAT并行处理器的设想。     

跳马问题中存在的多种算法思想

在信息量飞速增长的现代社会中,如何有效地获取和处理信息已成了信息技术教师面对的课题之一。如何有条理地分析各种问题中的有用数据,发现数据的变化规律,制订相应的处理方法,构建解决整个问题的流程,也成了     

八皇后问题的动态求解

利用C#的绘图功能和线程睡眠功能,实现了八皇后问题求解过程的动态展现,有助于理解“回溯法”和递归编程的思想.     

器材,未必造就奇才

曾听到这样的说法:摄影群体使用器材最昂贵的是中国。虽不知这个结论是否经过严格的数据统计,但我们对器材价格的追求可见一斑。那么器材的价值呢,实现了吗?回溯摄影史上的优秀作品,器材是首要的"功臣"吗?少之又少。即使在数码技术无所不能的今天,顶级器材到手也不能保证一拍成名。当然,我们并不赞成"摄影无所谓器材"这样的极端观点。好的器材能起到事半功     

基于回溯的QKD网络随机路由选择算法研究

为了解决已有的基于信任中继的QKD网络路由方案存在的密钥浪费、传输效率低下等问题,该文针对已有的路由算法进行改进,提出了一种基于回溯的随机路由算法。该算法在选路过程中对每个分支添加回溯点,针对已选路径传输过程中遇到某条链路密钥量不足的情况,通过查找最近的回溯点,从回溯点开始沿着随机选择的新路径重新进行密钥传递。对比实验及分析结果表明,该算法在选路时间、密钥消耗量及密钥传输效率方面都有一定的优势。     

计及风电置信风险的源网协调多目标优化调度

为了更为合理灵活地评估风电高估/低估给电力系统优化调度带来的风险性以及降低调度决策的保守性,基于风电机会约束提出风电高估/低估置信风险功率偏差量化计算方法,并在决策变量中引入变压器变比调节和无功补偿容量优化,构建计及风电置信风险和源网协调运行的经济/风险多目标优化调度模型。提出一种基于可行性和非劣性综合排序回溯搜索算法,从而实现对调度模型的高效准确求解。IEEE 30节点系统算例结果验证了所提方法的有效性和优越性。     

图的Steiner最小树问题的降阶回溯算法

图的Steiner最小树问题是经典的组合优化问题,是一个NP难题,在不同的领域有着广泛的应用。研究该问题的部分数学性质,在此基础上给出了该问题的初步降阶方法和下界子方法,形成一个新的回溯算法。该算法具有较低的时间复杂度,还给出了应用实例及其分析。     

谁来医治社交网络的病

谁能告诉我,从2014年7月31日起,你的微信朋友圈是个什么状态？如果你和我同属科技圈,那么你一定会告诉我,人体艺术展,哦,不对,应该是满屏的Show Girl。因为,ChinaJoy2014如火如荼的在上海开始了。回溯一下,2014年7月22日呢？打开微博,打开朋友圈是个什么情况？     

值域增长约束满足问题的无回溯与随机行走策略的算法复杂性分析

值域增长的约束满足问题模型是计算复杂性理论中一类重要的实际问题模型,针对解决这类问题的算法研究仍然很少。通过研究RB模型这一典型的值域增长约束满足问题,发现当问题规模很大时,无回溯策略比随机行走策略更加有效。这与典型的值域确定的约束满足问题如SAT问题不同,是值域增长的约束满足问题所特有的性质。通过实验研究了两种策略的表现,并进一步对两种策略的表现进行了分析。     

可信网络中基于信誉和风险评估的动态信任模型*

针对可信网络不能有效处理恶意节点攻击的问题,综合考虑信任度评估的动态性和风险性,提出一种新的基于信誉和风险评估的动态信任模型。该模型引入惩罚机制、风险机制和推荐实体信任度更新机制,以评估信任关系的复杂性,通过构建直接信任树以存储节点的交互关系,并采用改进的回溯法寻找最佳推荐路径。仿真结果表明,该模型在有效抑制恶意节点上较已有模型有一定的改进。