加强约束的布尔可满足硬件求解器

利用现场可编程门阵列固有的并行性和灵活性,提出在硬件可编程平台上基于随机局部搜索算法的布尔可满足性求解器,用于求解大规模的布尔可满足性问题。相对其他求解器,该求解器的预处理技术能极大提高求解效率;其变元加强策略避免了同一变元被反复连续翻转,降低了搜索陷入局部最优的可能。评估结果表明,求解器最多能处理32 000个变元/128 000个子句的实例。相比当前同类型的求解器,其求解效率明显提高。     

卫星任务调度问题的约束规划模型

卫星任务规划与调度是空间资源管理的重要内容之一,其目的在于为卫星系统的任务计划编制提供科学合理的决策手段与依据。卫星任务调度问题的重要特点在于,调度任务存在可见时间窗口约束。只有在可见时间窗口内,调度任务才可能执行并完成。在进行合理假设的基础上,建立卫星任务调度问题的约束规划模型。对基本禁忌搜索算法进行改进,提出了模型求解的变邻域禁忌搜索算法。应用结果表明,约束规划模型的建立与求解是合理的。     

VW＆IVW双重鲁棒性水印

提出了VW&IVW双重鲁棒性水印嵌入算法,在基于图像融合的可见鲁棒性水印基础上,根据邻域相关性再次在含可见水印图像的重要小波树系数中嵌入鲁棒的不可见水印,从而为数字媒体提供双重保护,能有效遏制非法复制和篡改.     

基于流场特性的管内检测机器人的外形优选研究

管道内检测机器人的结构形状是影响其运动学、动力学特性的关键因素,在机器人设计中占有重要地位。在合理提出一些基本假设后,用二阶迎风差分格式离散管道内检测机器人附近流场的控制方程,并用SIMPLE算法求解,得到了7种不同形状的管道内检测机器人所受的差压驱动力及其周围的流场信息,并对这几种结构的CFD特性作了比较。最后综合空化条件、驱动力、腔内有效体积和加工难度等因素,确定了上游半球形结构为设计形状。     

升级扑克技巧系列讲座之四——首引

首引——顾名思义为"首先""引领"。桥牌及华牌中均称作"首攻"。特指打出一副牌中第一圈牌中的第一手牌。可以是单张副牌A,或对子AA,或甩牌AAK,或拖拉机AAKK等。首引是庄家的特权之一。首引往往决定一副牌的走向,因而不可随意处置,通常应当遵循以下原则:其一:最先出副牌中某花色的孤A。庄家扣完底牌后,有时某门花色仅剩下一张孤A,首引时孤A为最优先级。严重强调多张副牌A,万万不可同时一次打出,必须分先后顺序逐一     

战争复杂系统面临的挑战

首先从战争复杂系统的复杂性分析入手,从情景、认知、核心利益零和对抗、干预策略、内部协调性、不可重复性等角度深入分析了引起战争系统复杂性的8个因素,并给出了8个因素之间的层次关系.在此基础上,从战争复杂系统在方法论、方法以及技术方面的挑战出发,指出战争复杂系统研究所面临挑战中最重要的四大集成问题,即战法与装备集成、未来情...     

基于满足率的随舰备件配置方案

针对满足率只有统计定义的问题,从不同角度研究了备件满足率的概率性质,给出了满足率的两种概率模型,揭示了满足率的内涵和实际工程意义。在此基础上,给出了系统备件保障满足率的概率定义,建立了以系统备件满足率为约束、备件总重量最小为目标的随舰备件配置优化模型,研究了优化模型的边际效益算法。实例分析表明：该方法为合理制定舰艇随舰备件保障方案提供了决策依据。     

飞机战备配套器材优化组配

本文应用规划论方法,对空军某型飞机战备配套器材总的保障质量进行了研究探讨。引入满足率这项指标作为衡量保障优劣的标准,给出使满足率最大的数学优化漠型,推导出求解这一模型的方法,并用FoxPro编制和开发了程序系统。最后根据部队提供的实际数据,通过计算得到此型飞机战备配套器材的优化组配清单。