可满足性问题的归约技术

通过一个恰当的归约变换,可以将一个CNF公式变换为另一个具有某种特殊结构或性质的公式,使其两者具有相同的可满足性。一个典型的归约是将一般的CNF公式变换为3．GVF公式。通过构造一些恰当的工具,可以将公式类变换为所要求的正则类。极小不可满足公式具有一个临界特征,公式本身不可满足,从原始公式中删去任意一个子句后得到的公式可满足。我们提供了一种归约技术,通过构造恰当的极小不可满足公式作为工具,将公式类变换为具有正则结构的公式类。研究正则结构的公式的复杂性及性质很有意义。如,将一个从3．CNF公式变换为（3,4）一CNF公式,这里（3,4）一CNF公式是指公式中每个子句的长度恰为3,每个变元出现的次数恰为4。因此,（3,4）．SAT是一个NP．完全问题,并且正N-部图的诸多良好性质对于研究正则结构的SAT问题具有许多潜在的作用。     

OK库：为解决SAT问题引入的整体研究平台

OK库是一个开源数据库,被用于支持广义SAT问题领域的研究和发展,该库可从下述网址获得：http：//www．ok—sat—library．org．。本文中我们讨论了这个数据库的发展历史、开发动机和组成架构,并概述了其当前的状况。文章解释了它与现有其它平台的差别：在我们看来,OK库的方法是“整体性”的,也即OK库不仅包含程序代码,也包括用于处理和评价实验（以及实验结果本身）的研究计划和方法。因此可以把OK库理解为IRE,即集成研究环境（但它并非只是构建一个单独的集成块,而是基于Unix／Linux传统的工具箱）。“广义可满足性问题”被理解为SAT问题向CSP的推广,本文中讨论了其中的基本思路。作为结束,本文阐述了解决高级核心SAT的（我们所认为的）十个基本研究问题。     

项目突显方式对视觉搜索策略的影响

搜索策略是将视觉注意导引到目标最可能出现位置的直接认知控制。本研究采用眼动跟踪技术与视觉搜索时间——鼠标点击时间的分离技术,探讨计算机视觉界面不同项目突显方式下的搜索策略问题。结果表明：（1）有无项目突显方式、不同的突显有效性水平,被试采用了导向式和序列式两种不同的搜索策略;（2）被试采用导向式搜索策略时,被试在第一个感兴趣区域首注视点百分比小于58.3％,在视觉搜索过程中的注视点数量明显较小、扫视轨迹长度和注视时间明显较少;（3）被试采用序列式搜索策略时,被试在第一个感兴趣区域首注视点百分比大于58.3％,在视觉搜索过程中的注视点数量明显较多、扫视轨迹长度和注视时间明显较长;（4）采用导向式的视觉搜索策略能显著减少被试的视觉搜索时间,提高视觉搜索的绩效,但不能显著减少被试的鼠标点击时间;（5）因为视觉界面上突显的设置改变了用户的搜索策略,所以提高了视觉搜索绩效。     

谈谈共产党员如何处理等价交换和无私奉献的关系问题

谈谈共产党员如何处理等价交换和无私奉献的关系问题共产党员在社会主义改革和现代化建设中,无论什么时候、什么地方和在什么岗位上,都要起模范带头作用。党员的模范带头作用,应当包括两个层次：一个层次是模范地执行党的现行政策,遵守党纪国法,完成党在现阶段的历史...     

道德发展的三个层次

美国心理学家劳伦斯·库柏在道德发展问题上做了大量的研究工作。他的研究成果与许多人道德发展的亲身经验完全一致,因而为人们普遍接受。库柏将个体的道德发展过程分为三个主要层次。他认为,并不是所有的人都能达到第三个层次,也没有人只在第三个层次上进行活动,大多数人时而在这一层次上进行活动,时而在另一个层次上进行活动。这三个层次代表了个体道德发展过程中的主要特征,因而不失为一种简易方便的划分方法。 库柏不仅将道德发展过程划分为三个层次,而且进一步又将每个层次划分为两个阶段。他将第一个层次称为“前习俗层次”。当婴儿发育成长时,他们要经历一个非道德的阶段。在他们道德发展过     

线索提示对物理问题表征的影响

考察了复杂物理问题解决中图形线索提示和参数线索提示的作用,结果表明,在难度较大的物理问题中,单一的图形线索提示未给学生带来太大的帮助,而参数线索提示有助于学生搜索到有效算子.讨论了专家在物理问题解决过程中的特点,认为专家的优势之一在于比新手更善于发现关键的线索,能够根据关键线索找到合适的原理来完整地表征问题.     

梨状皮层或苍白球损毁对大鼠空间认知能力的影响

在Ｍｏｒｒｉｓ迷宫中,梨状皮层或苍白球损毁大鼠的空间认知作业成绩较显著低于控制组,搜索目标以趋向式策略为主,与正常大鼠搜索策略的差异提示：①梨状皮层和苍白球参与了空间认知加工;②在图认知系统中梨状皮层和苍白球居辅助层次。     

前提嵌套程序和基数约束程序的简洁性研究

直观地说,简洁性是指一个逻辑系统紧凑表示问题的能力。近年来关于简洁性的研究逐渐得到人们的关注。本文将讨论两类逻辑程序,即基数约束程序(Cardinality Constraint Programs,CCP)与前提嵌套程序(Nested Logic Programs,NLP)之间的简洁性。我们设计了一个从CCP到NLP多项式长度的等价翻译,这极大改进了Ferraris和Lifschitz提出的指数长度翻译方法,由此证明NLP至少与CCP一样简洁。     

背景线索对室内场景中目标搜索的注意引导

以室内3D场景图为实验材料,采用眼动追踪技术,探讨背景线索对真实场景视觉搜索过程中的注意引导。结果发现：在室内场景目标搜索过程中存在背景线索效应,该效应基于对背景-目标共变关系的外显记忆;背景线索对搜索的启动和确认阶段无影响,对扫描阶段的注视行为有促进作用,有助于更有效地选择注视区域,将注视更直接地导向目标所在位置。     

关于二重性的概念

从研究物理世界出发,我们发展了二重偶的概念。比较的二重偶通称为二重性。我们指出,二重性是我们智力好奇心的基本机理。我们关于自己和周围世界的智力好奇心,是我们向自然界提出各种问题的推动力。各种思想体系的发展都与这个好奇心有联系。在这里,我想描述一个从物理世界研究中借用来的非常一般的程序。一个实验家想要处理一族对象。他人为地将这个族分为两个子集合:第一个集合用S表示,它的对象称作状态。这些状态是分析的对象。第二个集合用D表示,它的因子称作装置或叫可观察物。这些装置或可观察物是被用来研究第一个集合的元素的对象。应用D中的一个装置于S中的一个状态的过程,称为测量或估计,用E表示。其结果是一实数。     

别被不擅长的事夺走了你的幸福感

正导语:你的幸福感为什么那么低,为什么会拼了命做自己不想做的事?别拿自己人生的寒冬与别人的春天作比较,幸福观一代被毁则会毁至三代,这不是玩笑……人活着没有幸福感,是因为从很小的时候一路伴随我们成长的思维惯性出了问题,导致不幸福感就像滚雪球一般,在不断地瞎忙、攀比、自卑、不满、遇挫的过程中,越来越多地占据着生命。读友J是一个学生,学习压     

问题域中的古希腊哲学研究和学术传统中的古希腊哲学研究

本文认为,在古希腊哲学研究中应当区分问题意识的重要性和学术传统的重要性.只是在深入的问题意识的指引下,所研究的对象才能够展现为一个明确的、富有层次和内在关联的问题域,而研究才能有效地、并且具有思想深度地展开.进一步地,本文指出,没有孤立的经典文本,只有置身于学术传统之中的活的思想,从而,这就要求古希腊哲学的研究者自觉地置身于从古代延续而来的一个漫长的经典诠释传统之中来开展自己的研究工作,只有以此方式,我们的古希腊哲学研究才能达到真正的专业研究的水平.     

何为俄罗斯哲学?

谈论俄罗斯哲学是一件危险的事情。这里,“俄罗斯”和“哲学”的含义都不是自明的。人们首先可能想到的一个问题是,为什么不叫俄国哲学?的确,在很多情况下,俄罗斯就意味着俄国,也就是说,当我们在谈论俄罗斯时是指作为一个国家而不是作为一个民族的俄罗斯,否则,我们将不得不把经常被称为俄国的第一个哲学家的斯科沃罗达(乌克兰族)排除在俄罗斯哲学之外。但是把俄罗斯简单地理解为俄国并非总是一个方便法门,它在避免了一些麻烦的时候又会产生新的麻烦,因为众所周知,在西方乃至今天的中国最著名的俄罗斯哲学家别尔嘉耶夫出生在基辅,而基辅现在…     

隔区或皮质顶叶损毁对大鼠空间认知能力的影响及大鼠搜索策略差异的研究

本研究的目的是探讨隔区或皮质顶叶在大鼠空间认知加工中的作用。实验观察到隔区或皮质顶叶损毁大鼠Morris迷宫学习或记忆作业成绩显著低于控制组,并发现隔区损毁大鼠主要采用与皮质顶叶或控制组不同的“非国类”搜索策略。搜索策略的差异提示:隔区和皮质顶叶在大鼠图认知加工系统中处于不同的功能层次,隔区具有更重要的作用。     

动、静态视觉信息在真实世界视觉搜索中的作用

真实环境中的视觉搜索是人和动物赖以生存的重要能力。目前的视觉搜索研究多使用静态的观察者和静止的二维搜索对象, 侧重于探究注意在搜索中的作用; 现有的视觉搜索理论模型主要概括了影响搜索的自上而下的注意因素, 而将自下而上影响因素简单归结为影像显著性, 然而在真实环境中, 观察者或搜索对象是可以运动的, 搜索时可利用的视觉信息包括动态光流和静态影像结构信息。已有的视觉识别研究发现这两种信息相结合可以使观察者准确持久地识别场景、事件和三维结构。在现有视觉搜索理论模型中引入两种视觉信息可以较好还原真实环境中的搜索任务。我们提出研究构想和实验方案,探究利用动、静态视觉信息的视觉搜索过程, 从而完善现有的视觉搜索模型。我们认为充分利用环境信息可以提高搜索效率, 且在视觉搜索训练和智能搜索设计等方面有重要的应用价值。     

海马结构、前额皮层或尾-壳核损毁对大鼠空间认知能力的影响

本研究的目的是探讨海马结构(HF)、前额皮层(PFC)和尾-壳核(CP)在大鼠空间认知加工中的作用。实验观察到HP或PFC损毁大鼠Morris迷宫学习或记忆作业成绩显著低于CP损毁组和控制组(CG);HF损毁大鼠主要采用与其它各组不同的“非图类”搜索策略。搜索策略的差异提示:HF和PFC在大鼠图认知加工系统中处于不同的功能层次,HF起相对重要的作用。CP几乎不影响大鼠空间认知能力,表现出哺乳类与鸟类同源结构的功能分化倾向。     

状态相似性与流量限制模型

在可能世界语义中,如果根据是否含有模态算子而将一个点上为真的公式分为两类,那么可以认为不含模态算子的公式描述的是当前点的信息,其它公式描述的是其它点的信息,以及当前点与其它点的关系。通过对不同点上命题真值指派的比较,我们可以在可能世界语义模型上定义出一种状态相似性。本文构造了三类刻画状态相似性的模型,并给出了分别刻画其中两类模型的完全的系统。本文最后讨论这些模型在时态逻辑和信念逻辑中的应用。     

三类真理:这些真理对行为科学的含意

每门学科都有某些问题,有点像意味深长的恶梦一样,人们一再加以讨论。行为的研究就因为这样一个问题而感到苦恼:“这种研究到底是不是科学?”行为的研究有些奇怪的东西,非到我们探明究竟而加以适当的补救,就会不断地使我们不安。本文想指出自然科学和行为科学可以纳入一个单一理论体系的途径。从这一分析来看,行为的研究应不应该称为“科学”,读者一定会自己作出决定的。     

现代科学实在论研究概述(二)

二、科学实在论的变种现代科学实在论者不断地汲取自然科学和哲学成果,同时在与反实在论的论战中锤炼和锻造自己的武器,从而摆脱了传统实在论的僵化内容和呆板形式,形成了形形色色的变种.下面,我们择其有代表性的变种分述如下.(一)科学哲学家的科学实在论变种1.哈金的实体实在论哈金把实在论分为两种类型:实体实在论和理论实在论.理论实在论是指我们试图形成关于世界、物质的内部构造和不能达到的遥远空间的正确理论.哈金认为理论实在论过于乐观了,他赞成实体实在论,即断言诸如电子、夸克、黑洞、过程、状态、波、流、相互作用场等实体是真实存在的.哈金认为实验物理学给科学实在论提供了最强有力的证据;只有工     

略论公民道德的层次性

公民道德是其在社会实践中将社会的道德要求内化的结果,而道德内化则要经历一个由低级到高级、由简单到复杂的发展过程。道德内化的发展性使得公民道德的发展呈现出自发、自觉和自由三个层次。因此,我们在公民道德建设中,应当研究和了解公民道德的实际状况和层次,并有针对性地展开工作,做到先进性和广泛性的有机结合,从而不断追求更高层次的道德目标。