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

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

基于QFD及粗糙集的保障能力需求满足度评价方法

针对传统能力评价中指标及其权重的确定具有不一致性和不确定性特点,提出了一种以保障能力需求满足度为依据的评价方法。利用由保障能力-保障性能-保障特性映射的质量屋信息,按照构建质量屋的反方向将保障特性满足度转化为保障能力满足度。为了有效处理模糊和不确定的保障特性评价信息,采用粗糙集理论将评价数据表达为粗糙数形式。最后举例验证了方法的有效性。     

走出“自我感觉良好”的误区

习主席在加强作风建设重要论述时强调,“加强作风风气建设切忌自话自谈,自弹自唱,不能以自我感觉良好代替群众满意。”现实工作生活中,也确实有一些人常常“自我感觉良好”,认为自己什么都好,自己什么都行,听不进大家的意见,盲目陶醉自我满足。由此可见,“自我感觉良好”是一种不健康的心理状态,应该注意克服,这对一个人的成长进步至关重要。     

舰船随舰备件配置方法

为准确预测备件需求数量,需要针对具体的保障对象和保障环境特点,选择合适的评价保障指标。针对单舰船在海上执行训练任务时的随舰备件保障问题,在分析影响随舰备件配置各因素的基础上,通过比较分析各评价保障指标的适用特点,选择满足率作为随舰备件的评价保障指标,进而给出了基于满足率模型的单备件配置方法,为部队装备保障人员合理制定备件保障方案提供决策依据。     

“蝎子”见缝插针 霸气的枪版A-10详解

优秀的公司满足需求,伟大的公司创造需求。随着美国缩减军费,在低威胁环境中使用昂贵的高性能飞机已经近乎奢侈,而直升机和涡桨飞机又无法胜任某些任务。     

基于约束满足的编队协同作战多实体资源受限优化配置模型

针对编队协同作战中因资源配置不合理而导致出现冲突的问题,运用基于约束满足的方法,建立了多实体资源受限优化配置模型,并采用基于规则的启发式算法对模型进行求解和仿真计算,结果表明该方法简单、可行。     

节能环保型汽车将主宰未来汽车市场消费主流

时下,能源问题是人们茶余饭后议论的热门话题,也是大家关心的焦点问题。能源关系到千家万户的切身利益,能源作为一种不可再生资源,越来越吃紧,求大于供,形成空前压力。日前,国务院总理温家宝向全国发出了“提倡节约型社会”的号召,一场节能战斗正在全国各地打响。汽车作为能源的消耗大户,汽车业如何开发、研制、生产节能型汽车就显得尤为重要了。专家预计,随着时间的推移,节能环保型汽车必将主宰未来汽车市场消费主流。一、国际国内环境需要节能环保型汽车主宰汽车市场消费主流。1、产业政策的引导因素。自我国《汽车产业发展》发布以来,其…     

橡胶筒承受径向载荷时的位移解析解

基于经典弹性理论,利用Euler方程组推导了橡胶筒承受径向载荷时的位移解析解,推导过程中未采用体积不可压缩假设.有限元计算表明,该解析解是正确的.     

中继卫星调度问题的CSP模型

中继卫星在地球同步静止轨道上运行,既能直视中、低轨道用户航天器,又能直视地面站,是沟通用户航天器与地面站的桥梁。中继卫星调度问题是一类非常重要的调度问题。基于约束满足理论,通过分析中继卫星调度问题的特点与约束条件,建立了中继卫星调度问题的CSP模型。利用卫星工具箱STK进行模拟仿真,对CSP模型进行了求解。结果表明,所建立的CSP模型是合理的。