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

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

永不褪色的初心——读《习近平的七年知青岁月》有感

＂当年,我人走了,但我把心留在了这里。＂落其实者思其树,饮其流者怀其源,习近平立根于陕北高原,他的初心就孕育在梁家河那片深厚的黄土地中。在七年的知青岁月里,习近平用双手搞建设,用智慧谋发展,用真意换民心。他脚踏实地,深入人民群众,品百姓之疾苦,念百姓之所需;他仰望星空,牢记着人民的嘱托,站立在时代的潮头,以人民幸福、民族复兴为己任。     

结合全局与局部信息的主动轮廓分割模型

针对传统的基于区域的主动轮廓模型在分割灰度不均匀图像和噪声图像存在效果不佳的问题,提出结合全局项与局部项的主动轮廓分割模型。全局项由CV(Chan-Vese)模型的保真项构成,局部项的构建考虑局部区域信息的同时引入反映图像灰度特性的局部熵信息。依据图像灰度的特点,选择合理的全局项和局部项参数,并加入正则项保证曲线在演化过程中保持平滑,保障分割结果的可靠性。通过变分水平集方法最小化能量泛函,依据梯度下降流迭代更新水平集,完成曲线演化。采用模拟图像和实际图像进行实验分析,结果表明,所提出的结合全局项和局部项的主动轮廓模型可以高效地分割噪声严重以及灰度分布不均匀的图像。     

600字入党申请书合不合格?——广东省深圳警备区用科学发展观指导基层党务工作纪实

申请加入党组织,成为一名合格的共产党员,是每名战士的迫切愿望。要实现这一愿望,首先要向党组织递交个人入党申请书,可广东省深圳警备区警备纠察连炊事班班长江靳写的600字入党申请书却被连队党支部书记退回。由此引发讨论——     

多为民族团结做好事

7月5日在新疆乌鲁木齐发生的打砸抢烧严重暴力事件,使各族群众生命财产遭受巨大损失。听此消息,不禁令人震惊与心痛!千百年来,56个民族共同生活在祖国这片辽阔富饶的土地上,休戚与共、亲如一家,处处展现着多民族、多文化相互融合,你中有我、我中有你的绚丽画卷,处处荡漾着中华各族儿女幸福祥和的笑容。历史正反两方面的经验告诉我们,民族团     

频谱法计算路面不平度分形维数的方法

分析了康托尔三分集,介绍了分形与分形维数的基本概念,运用频谱分析的方法对路面不平度曲线的分形维数进行了计算。结果表明,路面不平度的分形维数越低,所含低频成分能量越高,道路越平坦。结合路面不平度系数,可以对路面不平度的复杂程度作出判断。     

党务问答

党员因私出境保留党籍期限视情况而定问:我支部一名党员要去美国探望子女,请问他的党籍如何保留、保留期限是多少?(屈平)答:党员因私出境,保留党籍的期限应视不同情况而定:出境求学的,以其入学通知注明的学习时间为限;出境就业的,以其劳务合同规定的工作年限为限;去国外探亲的,一般不超过半年     

基于条件熵的不完备信息系统属性约简算法

在相容关系下定义了三种不完备条件熵——H′条件熵、E′条件熵和I′条件熵,并对它们的性质进行了分析比较,研究发现,H′条件熵和I′条件熵不适用于相容关系下信息观点的约简。利用E′条件熵刻画信息系统中属性的相对重要性,设计了一种新的基于信息论观点的启发式约简算法,它统一了完备信息系统与非完备信息系统中的约简方法。通过实例说明,该算法能得到决策表的相对约简。     

测试轮直径对路面不平度测试精度的影响

在加速度信号的路面不平度测量过程中,由于测试轮的几何外形对路面的滤波作用,会对功率谱密度的测量产生误差。为解决这一问题,在仿真环境下,通过测量在给定路面等级的随机路上行驶的测试装置测试轮的响应,研究不同直径的测试轮对同一路面不平度的滤波作用,分析其影响关系,从而为路面不平度测试装置测试轮轮径的选择提供参考。     

按天突穴治打嗝

中医认为,打嗝主要由于饮食不节,正气亏虚,导致胃气上逆,引起膈肌痉挛和胃痉挛,从而产生呃逆。因此,要缓解症状,就要疏通胃气,让上逆的胃气往下走。专家指出,治疗打嗝,可以用喝口冷水的方法来解决,但冷水不是随手可得,所以不妨试试身上的治嗝穴——天突穴。