基于广义谢弗竖的分析性模态公理系统

沿着安德森等人开创的方向,我们将分析性公理系统从经典逻辑推向模态逻辑,所定义的广义谢弗竖混合了模态词和广义析舍。在这篇论文中,我们给出常见的正规模态逻辑的分析性公理系统及其强完全性定理和插值定理,并讨论演绎关系的性质：单调性和切割性。     

不可超越的无穷：关于直谓性和后继公理的关系

本文首先将新弗雷格主义的发展划分为三个阶段：（1）弗雷格算术（由二阶逻辑和休谟原则构成的理论）的一致性和对于二阶皮亚诺算术公理的可推出性的证明,（2）对休谟原则和二阶逻辑的哲学辩护与反驳,（3）对休谟原则和二阶逻辑进行限制,并证明其一致性和可推出性。然后着重介绍：（1）直谓二阶逻辑和公理V的一致性,（2）直谓二阶逻辑和休谟原则不能推出皮亚诺算术的后继公理。这说明一致性和可推出性在弗雷格系统的直谓片段中不可兼得。最后在直观上做出简单的分析。     

图的典范装饰与方程组的典范解

在集合论ZFC-＋AFA中,每个图有唯一装饰,每个方程组有唯一解。但是,在集合论ZFC-4-SAFA和ZFC-4-FAFA中,每个图并非只有一个装饰,每个方程组并非只有一个解。笔者通过定义互模拟坍塌概念,在可达点图的典范装饰概念的基础上导出方程组的典范解,提出并证明：在上述三种具体的非良基集合论中,每个可达点图都有唯一的典范装饰,每个方程组有唯一的典范解。     

集合论新公理探究的哲学思考

究竟集合论是否需要新公理?它们是真的吗?我们如何知道?自哥德尔提出新公理纲领以来,对这些问题的回答伴随着长期的争论.有的逻辑学家基于自明性标准拒斥新公理,有的数学哲学家视新公理为“助探器”用于探索数学深度,也有集合论专家坚信新公理就是关于柏拉图集宇宙的真理.本文通过对这些争论的分析,可以揭示出,无论是新公理的支持者还是反对者,都普遍认同“公理客观有效性不能脱离主体的主观意向性而存在”,因此,当我们具体考察新公理和它们的合理依据时,不应当在忽略数学家的心智活动下给出批评或支持新公理的意见.     

从立公理之学到以大同立教——康有为奉孔子为“大地教主”的过程与方法

本文梳理了康有为流亡之前立学与立教的思路演进过程。他首先致力于综合全球诸教诸学,建构全球性的公理之学,并为公理之学确立"宜于人道"的衡量标准;进而指出,孔子之道最宜于人道,孔子的太平大同之学即包含了人类公理,孔子堪为"大地教主"。以此为基础,康有为主张立孔教,并在流亡之后认为,作为"人道教"的孔教在全球诸教的竞争中占有优势。康有为的特别之处在于,他没有直接以泰西之法为参照和标准来反思中国之学,而是经过以已知文明为基础建构全球性公理公法之学的环节,以公理公法之学为参照来反思中国二千年以来之学。这一超越性的参照也使得反思泰西之治是合理的。在敌国并立之世,如果没有这一超越性参照,对一国之学的分析和反思,只可能在与异国之学的二元对立中展开。     

直言推理系统

本文构造了直言推理的一个系统MA,内容包括直接推理和三段论,但未考虑单称命题。此系统实际上是名辞逻辑系统MZ的子系统,精确地说是关于类名及其否定和由它们形成的本辞的系统。文中证明了系统MA的可靠性和完全性,并提出了它的自然推理系统。     

一个含有原子的自然模型∑（A）

1989年A.Blass和A.Scedrov构造了含有原子的模型V（A）（A是所有原子的集合,参见文献[1]）并证明了V（A）是ZFA（ZFA=ZF＋A,公理A断言：存在所有原子的集合）的模型。由于集合论的公理系统GB是ZF的一个保守扩充,因此,集合论的公理系统GBA（GBA=GB＋A,其中GB是集合论的含有集合和类的哥德尔－贝奈斯公理系统）也是ZFA的一个保守扩充。本文的目的是在集合论的含有原子和集合的公理系统ZFA的自然模型V（A）的基础上,为集合论的含有原子、集合和类的公理系统GBA建立模型。因此,我们首先介绍了A.Blass和A.Scedrov的含有原子的模型V（A）;第二,给出并证明V（A）具有的一些基本性质;第三,扩充了集合论的公理系统ZFA的形式语言LZFA并定义含有原子和集合的类C;第四,构造含有原子、集合和类的模型∑（A）,称它为自然模型,最后,证明了∑（A）是GBA的模型。     

态度测量的新进展:二值概率展开模型及一般形式

态度测量主要应用两种模型:累进型与展开型。目前国内的相关研究主要针对累进型模型。文章在回顾累进型模型的基础上,介绍了当前国际研究最为前沿的一种新的态度测量模型———二值概率展开模型,并详细阐述了该模型的一般数学表达式。     

消费者基于选择集的情境效应

消费者基于选择集的情境效应颠覆了传统的理性选择理论,表明了情境对消费者偏好和选择的系统性影响。情境效应主要的类型有吸引效应和折衷效应。情境效应具有感知偏差、风险和负面情绪规避以及信息推理等方面的内在机理。选择集结构和特征及消费者等因素都对情境效应产生影响,而情境效应会影响消费者偏好的构建。未来情境效应研究将会向复杂属性组合、复杂购买情境和新情境效应的发现等方面拓展。     

《钟吕传道集》的内丹养生教育思想

《钟吕传道集》属钟吕内丹派早期著作,极受后世推崇,在内丹史和道教宗派史上具有不容忽视的地位。它被伪托以钟离权和吕洞宾师徒教学问答的形式撰成。反映了完整的养生教育、教学过程,包含有大量丰富的道教内丹养生教育思想。就此书的教育思想,笔者作一粗浅归纳,以祈方家之教。     

论清代《养真集》的养生思想

《养真集》是清代道教养生典籍中的重要文献之一,其阐论道教内炼养生的理法深入浅出、明白晓畅,因而流传广泛,影响久远,是研究清代道教养生思想的重要资料。     

集古字式的书法展览对当今书法发展的启迪

集古字是学习传统书法的重要途径,特别是对于初学者来说尤为重要。在展览平凡的今天,评委坚持用集古字的尺码来评审作品,这对坚持书法起到了不可否认的作用。可是,这种无止境效仿古人的方式已然偏离了时代的航向,也就影响着当今书法的发展。     

基于P2P网络的自组织个性化推荐系统(英文)

个性化推荐系统可以帮助人们找到感兴趣的内容,这些系统正在全世界内被广泛使用着。混和式的P2P推荐系统通过将共享的项目和计算任务分布到各个用户,从而能够解决基于C/S的推荐系统中存在的一些问题。本文描述了我们最近研究的基于P2P网络的自组织文章推荐系统,它同时也是一个多Agent系统,该系统内将每个Agent作为一个对等点,能够保存文档,并自动向其他的用户共享和推荐这些文档。我们主要研究了如何将推荐系统改造成适合混和式的P2P网络,以及如何能够迎合用户的内子需求。我们提出了多个模型来提高我们系统的推荐性能,并通过仿真实验来评价和分析这些模型。实验结果显示使用推荐阈值代替Top-N阈值以及引入推荐权威度能够带来系统性能上的很大提高。     

记忆集对注意焦点转换及其返回抑制的影响

采用记忆更新任务,实验1要求被试分别更新3个和4个记忆项目,并设置不转换、控制转换和抑制转换条件,考察记忆集对注意焦点转换及其返回抑制的影响;实验2操纵两次更新同一记忆项目之间对其它记忆项目更新的次数（2次、3次及3次以上）,在实验1基础上,考察返回抑制中项目抑制状态的消退过程.结论：随记忆集增加,转换代价增大,而返回抑制效应消失;当注意焦点对其它记忆项目更新2次时,之前被抑制项目的抑制状态可完全消退.     

系统的影像诊断思维

１当前影像诊断思维存在的问题１．１影像诊断属于临床诊断临床诊断是综合性诊断,要对病人病史、症状、体征以及其他各种临床资料（病理、生理、生化资料）甚至包括心理社会因素进行全面的综合分析。因而影像诊断与临床资料的完整性、真实性,与医生知识结构、临床经验有相当大的关系,容易陷入惯性思维。而当前的影像诊断医生,尤其是年轻医生,往往只注重单一的影像资料,忽视了对病史及其他临床资料（病理生理改变）的综合分析,易导致漏诊、误诊。１．２影像诊断又属于技术诊断影像医学是一门新兴学科,它是现代医学、物理学与电子工程…     

多值评分CD-CAT的选题策略研究

认知诊断计算机化自适应测验（Cognitive diagnosis computerized adaptive testing, CD-CAT）为心理和教育评估测验的发展提供了新的视角。目前,关于CD-CAT的研究主要是基于二值评分的模型展开,但是,在实际应用领域,存在很多多值评分数据。高效的选题方法是CD-CAT程序成功的核心要素,本研究提出了两种新的多值评分CD-CAT(polytomous CDCAT, PCD-CAT)的选题方法,期望后验方差（expected posterior variance, EPV）和最大期望距离（maximum expected distance,MED）。通过模拟实验比较了EPV和MED在PCD-CAT的效果。实验结果表明,与传统的选题方法相比,EPV和MED具有更高的测验精度和测验效率。最后,通过一个PISA数据分析检验了PCD-CAT在实际应用中的效果及其优势。     

一个匹配生成更新语义的条件句系统

条件句系统通常用择类语义来刻画,此语义对条件句逻辑来说是标准的。一个择类模型可以用一个三元组（W,f,V）来表示,其中W≠Φ,f是从P（W）×W到P（W）中的择类函数,且V是从一命题变元集PV到P（W）中的赋值函数。本文我们提出一个更新语义,它保留择类框架,但V被从PV到P（W）^P（W）中的一个更新函数代替,因为更新函数能表示动态命题而赋值函数则不能。最后我们证明一个条件句系统相对这样的语义有框架可靠性。     

基于空间分割的手写输入系统的用户绩效模型

为定量估计与提高基于空间分割的手写输入系统用户绩效 ,运用Fitts定律及离散变量的数学期望等方法推导了用户绩效的数学模型。实验验证了该模型在具体界面中能较好地拟合用户在 8次 (8× 2 4字 )训练后的实际操作绩效。应用该模型可较好地拟合用户使用手写系统完成抄写任务的时间、推算输入系统某些参数的最佳设置值 ;并发现当输入系统的其它参数为定值时 ,缩短用户单字手写时间会比缩短系统识别时间能更有效地提高用户绩效。     

基于时间分割的手写输入系统的用户绩效模型

为定量估计与提高基于时间分割的手写输入系统用户绩效 ,推导了用户绩效的静态与动态模型。实验一检验与修正了这两个模型 ,并获得整合模型。实验二证明该整合模型能对不同训练水平用户的绩效有较高的解释率。应用该整合模型发现 :当识别正确率RA、输入字数N为定值时 ,修改时间T、单字手写时间WT、分割时间ST、识别时间R这四个因素对任务完成时间D的影响大小次序为WT =ST =R >T ;当这四个因素为定值时 ,RA每提高 1% ,D至少节省 10 0 0ms。     

程度函数及其可靠性

通过实验及理论分析,验证并给出了：１．程度函数ａ的可靠性θ的取值范围为：１／ｍ≤θ≤１／ｍ∑ｂｋｙｊｐ。θ值的大小与可靠性呈反向变化：ａ的可靠性大,θ值小,ａ的可靠性小θ值大,一般情况下的θ值,为θ的上界与下界之和的一半;２．采用集值统计模型和一般统计模型处理多级估量法多人次结果,所得到的程度函数平均数几乎相等,而且相关系数高达０．９７７．非常显著．分组数据计算、单一数据计算或全部数据统一计算的程度函数ａ及可靠性θ值也都相等．３．一般统计模型处理多级估量法多人次结果所得到的标准差σ,只反映各被试的程度函数之间的变异,与程度函数可靠性无关（相关系数０．００２４,非常不显著）．如果个人结果中按公式θ＝１／ｍ∑ｅｊ再计算可靠性θ值,然后再求其平均数及标准差,还可进一步了解可靠性θ值的变异情况．