加权约束满足问题的改进深度优先搜索算法

回顾了加权约束满足问题的基本概念，给出了求解的标准深度优先搜索算法，并探讨了利用变量间的约束关系，改进标准深度优先搜索算法的搜索上下界；在此基础上，给出了一种改进的深度优先分枝定界算法，该算法的一个特点是通过循环迭代求解子问题来改进上下界．针对随机约束满足问题模型生成的测试数据的数值计算结果显示，改进算法可以大大缩短求解时间。     

一种面向并行工程的产品开发过程关系模型

为了处理产品开发过程由串行到并行的转变而引起的问题，全面地表示且维持产品开发过程中各开发小组及小组成员间应满足的关系，保证开发过程满足顾客需求，本文分析了并行产品开发过程的特点，提出了一种适合这些特点的产品开发过程关系的层次表示模型，介绍了此关系模型的实现方法和它与并行工程环境中其它系统的集成关系，给出了此关系模型在产品开发过程中的应用     

结合高级正向推理过程的可满足性问题解决器

提出了一个可满足性问题解决器,它结合了DPLL(Davis Putnam Loge- mann and Loveland)算法和作为高级推理技术之一的失败性文字检查(FLD,Failed Literal Detection)技术.在失败性文字检查技术中,又提出了动态筛选方法,它包含了两条规则: 内部和外部筛选.在保证能在每个决策层上发现大部分失败性文字的同时,降低了失败性文字检查所测试的文字数目及相应的计算时间.不同于其他类型的预定义的删除标准,在这一方法中文字的删除是动态的,从这点上讲,文中的失败性文字检查算法可以适应不同类型的测试基准实例.许多不必要的测试可以被避免,因而提高了失败性文字检查的计算速度.为了进一步提高失败性文字检查的效率,故此还增加了其他静态的测试约束.实验表明,经过优化后的失败性文字检查算法的效率明显高于其他的高级正向推理技术.     

关于群的一阶公式的注记

讨论群的命题的可满足性，证明了超积ПＤ Ｓｎ中有秩≥２的自由群，如果群Ｇ满足存在公式φ并且Ｇ同构于ΠＤ Ｓｎ的一个子群，则存在有限群满足ψ。     

关于SAT问题物理模型猜想的一个反例

针对关于ＳＡＴ问题物理模型的一个猜想，得到了该猜想成立的必要条件，然后构造出反例，说明该猜想是不成立的，同时指出，考虑到“算法吸引区”的存在，这并不降低应用该物理模型求解ＳＡＴ问题的良好的现实效果。     

提供优质服务 构建和谐高校图书馆

本文论述做好信息资源的建设,提供优质的信息服务,满足读者的需求达到读者的满意,构建和谐高校图书馆。     

心理学在船舶安全管理中的应用

本文分析了船舶失事势船员常见的不良心理状况,介绍了可导致人保持正常心理的几种激励理论,并提出了解决船员心理问题的具体办法。     

基于个性需求满足的尖子运动员思想教育创新探究

做好尖子运动员的思想工作,对竞技目标的实现影响较大。运用问卷调查法、访谈法等研究方法,对尖子运动员的需求现状以及尖子运动员思想工作管理现状进行分析,在此基础上提出基于个性需求满足的尖子运动员思想工作指导思想,实践中应注重针对性、全面性、公平性和动态性,创新手段方法,以期对优秀运动队尖子运动员思想教育工作提供借鉴。     

一种改进的和声搜索算法及其应用

为了克服和声搜索算法(Harmony Search Algorithm,HSA)方向性差和收敛速度慢的缺陷,提出一种新的和声搜索算法。新算法设置一个主种群和多个子种群,主种群和子种群分别采用全局差分HSA和局部差分HSA进行优化,所有种群通过排序循环划分方法进行协同优化。随机3—SAT测试实例和三个典型Benchmark函数上的实验表明,新算法是可行的、有效的。     

从“使用与满足”理论的应用看“《超级星光大道节目》”的成功

从传播学角度上分析台湾《超级星光大道》在时下取得成功的原因:在受众对其的"使用"过程中,它从自我实现、真实娱乐、参与互动、心理需要这四个方面满足了受众的心理需求。