当前居民幸福指数的几点思考——基于对X市的实地调研

“以人为本，和谐社会”的思想已深入人心，而它的测度只有从人们的幸福高，对生活的满足度来体现。本文根据影响人们幸福的诸多因素，设计居民幸福指数调查问卷，并结合实地调查获得有效问卷586份的相关数据，从经济学的角度探究几个重要因素对人们幸福的影响，期望对幸福指数的进步研究有所帮助。     

一种求解SAT问题的人工蜂群算法

针对SAT问题,提出一种求解该问题的离散人工蜂群算法——ABCSAT算法,建立了相应的优化算法模型,解决了问题编码和转化、适应度函数、蜜蜂觅食策略、离散操作等关键问题.不同于处理连续优化问题,ABCSAT将适应度函数定义为当前不可满足子句数.根据问题的特点设计了多种觅食策略,并利用各子句和变量之间约束关系的启发式信息对各阶段的候选解进行离散操作.最后在标准SATLIB测试集上对提出的算法进行了测试并与相关算法进行了比较,结果验证了ABCSAT算法在中小规模SAT问题上的有效性,表明算法能更加有效地解决该问题.     

re-Horn子句集的Horn化及可满足性判定方法

在命题逻辑中给出将re-Horn子句转化成Horn子句的条件与方法,用同态的方法证明转化前后2个子句集的可满足性或不可满足性的一致性,给出re-Horn子句集的可满足性的判定方法。     

最大可满足性问题的算法研究综述

最大可满足性问题(maximum satisfiability,MaxSAT)是一个著名的、具有NP难度的组合优化问题.本研究总结了近年来求解最大可满足性问题的各类算法.首先,给出了最大可满足性问题的定义;然后,基于完备算法和非完备算法两个类型,对求解MaxSAT的各类算法进行了综述.其中完备算法包括分支定界算法和迭代...     

浅谈建立完善警察激励机制的设想

激励机制在提高警察工作积极性,利用有限的警力资源发挥最大的工作效能中起着重要的作用.要充分发挥激励作用,就必须要用系统的观念正确认识激励问题,树立民警科学的需求观和正确的竞争意识,注重发挥警察激励系统中各组成要素的整合作用,才能取得良好的激励效果.     

张东荪论真理之性质

张东荪在20世纪40年代提出了自己多元交互主义知识论,注重知识所受的社会文化影响.他认为,知识是一种解释,知识之真是一种文化满足,真理是在某种境况决定下不得不信的理论.这是中国学界引入与运用知识社会学的最早理论尝试,为我们提供了一种研究真理问题的理路.     

求解二元约束满足问题的多智能体进化算法

基于智能体对环境的感知与反作用的能力提出了一种新的求解二元约束满足问题的方法.该方法将多智能体系统与进化算法有机地结合起来,每个智能体固定在网格的一个格点上,而它为了增加自身能量将与其邻域展开竞争.同样,智能体也可利用自身的知识进行自学习来增加能量.根据二元约束满足问题的特点,设计了智能体的竞争行为与自学习行为.为了克服已有编码方式的缺点,为智能体设计了最小冲突编码.理论分析证明算法具有全局收敛性.实验中用250个不同难度的标准问题对算法的两个参数进行了系统的分析.结果表明该算法的性能非常稳定,参数少,易于使用.与4个著名方法的比较结果表明该方法获得的解的质量是最高的,其性能优于其他4种方法.     

高校图书馆采集图书文献质量定量化评估

本文强调不仅要从图书文献资料借阅的数量上考察采集质量,而且要以科学的统计方法、真实客观的统计数据为基础,综合分析图书文献资料的采集质量,并利用公式（４）进行定量评价。这样才能对采集工作具有科学的指导意义,使高校图书馆的有限资金为教学和科研发挥最大的效益。     

生产调度的一种启发式规则

本文提出一种先进的生产调度启发式规则。希望新规则优于常用的简单规则，但不花费太多时间。首先定义了一类生产调度问题，作为特殊的约束满足问题。它的求解过程使用“尽可能早”策略，约束组合，以及启发式规则。通过分析拖期时间和两个作业调度决策间的关系，得到了新规则。它是局部最优的，其计算量不大。实验表明，对于使拖期时间最少，新规则确实优于简单规则。     

满足置换恒等式的强wrpp半群的性质

通过引入满足置换恒等式的强wrpp半群的定义,得到了满足置换恒等式的强wrpp半群的一些性质.满足置换恒等式的强wrpp半群的子半群仍满足置换恒等式,并且它的幂等元集是正规带。