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

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

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

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

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

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

多为民族团结做好事

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

试论新时期军人挫折应对型人格的培养

众所周知,挫折刺激对个体身心健康有很大影响,不过它在很大程度上是通过个人身上的一些中介调节变量发生作用。一直以来,心理学集中研究了个人的应对策略、社会支持、情境因素等变量对挫折的中介调节作用。但是,近年来,心理学家更关注人们在应对挫折事件时所表现的人格差异。研究者越来越清晰地认识到人格变量是人们应对挫折的有效心理资源。     

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

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

党务问答

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

一类完全非线性函数的证明与计数

Helleseth等最近给出了一类二项式形式的完全非线性函数,这是至今为止所发现的第一类由两个互不等价的单项式组成的二项式形式的完全非线性函数。本文利用Frobinus自同构将其变形为一个新的二项式,给出了其完全非线性的简洁证明,指出了这类函数与x2是等价的,最后讨论了该类完全非线性函数的计数性质。     

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

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

基于实践维度的大学德育变量控制

德育是一种培养人的社会实践活动。大学德育实效取决于德育过程中德育实践变量的正作用或反作用。有效控制德育实践变量,使之正作用最大化是大学德育成功与否的关键。