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

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

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

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

VW＆IVW双重鲁棒性水印

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

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

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

某装备系统机电产品贮存可靠性评估方法

针对某装备系统机电产品长期自然贮存环境下可靠性无法准确评估的难题,提出了一种基于极小χ2估计和拟合优度检验的贮存可靠性评估方法,并对试验数据进行了分析、计算和处理。该方法通过拟合产品的失效分布来确定其分布函数参数,并根据确定的分布函数来预测产品的贮存可靠寿命。与现有的评估方法相比,采用该方法确定的分布函数更能反映产品的可靠性变化规律,对机电产品的贮存寿命预测结果更加合理,在工程研究领域具有很好的实用价值。     

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

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

高交叉极化隔离度单偏置赋形反射面天线优化设计

为获得高交叉极化隔离度性能,基于极小极大值算法对单偏置赋形反射面天线进行了优化设计。在赋形优化过程中采取了两个措施来提高天线的交叉极化隔离度,一个是利用归一化的电场来构建目标函数,以消除设计增益对优化过程的影响;另一个就是适当增大反射面的焦距。为了证明所述方法的有效性,以产生一个覆盖美国全部领土的赋形波束为例对天线进行了优化设计。数值仿真结果表明,在服务区内主极化增益都高于30dBi,交叉极化隔离度都在30 dB以上。     

战争复杂系统面临的挑战

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