辅助变元之于命题与量化布尔公式的作用

使用辅助变元来引入定义,在知识表达中是一个流行和有力的技巧,能够得到更短、更自然的编码而无需冗长的重复。这篇论文中,我们形式地定义了辅助变元的概念,检验了其表达力并讨论了有趣的相关应用。我们把以下两者联系起来:一是,反复使用中间结果而不通过定义重复;二是,布尔函数其他表达中的相似概念。特别的,我们表明带定义的命题逻辑与具有任意输出端的布尔线路以及约束变元满足Horn性质的存在量化布尔公式(记作(?)HORN~b)具有相同的表达力。本文还考虑了定义结构的限制,以及命题定义的扩充。特别的,我们检验了正命题定义与带存在量化的正定义之间的关系(或等价地,检验了(?)HORN~b公式和约束变元未被Horn限定的存在量化的CNF公式(记作(?)CNF~*)之间的关系)。对命题定义的进一步扩充,是允许在定义中使用任意的量词,或等价地,允许布尔公式的嵌入。我们还证明了,量化CNF公式中的约束变元的表达力,是由子句中被约束部分的极小不可满足子公式或极小假子公式的结构所决定的。     

博弈论中重复可允许算法的认知分析

博弈论中重复可允许(Iterated Admissibilty)算法对于快速约简博弈模型、寻找合理置信的纳什均衡具有重要意义,但该算法的认知基础存在悖论。本文构建一个完备的博弈认知逻辑系统EL_G,利用该系统语言描述博弈相关概念和性质,使得我们可以基于EL_G逻辑刻画重复可允许算法,从而达到为该算法提供合理的认知基础,解决算法背后的认知悖论的目的。     

你们的需求就是我们努力的目标 记国家宗教局党的群众路线“开门征求意见日”活动北大核心CSSCI

国家宗教局的使命就是全面贯彻党的宗教工作基本方针,为宗教界人士和信教群众服务,你们的需求就是我们努力的目标。——王作安 按照党的十八大部署,以为民、务实、清廉为主要内容的党的群众路线教育实践活动,已经在全党深入展开。开展群众路线教育实践活动,要找准穴位、抓住要害,集中解决形式主义、官僚主义、享乐主义和奢靡之风这＂四风＂问题。     

教会事工

湖北省基督教两会接待武汉大学暑期社会实践武汉队学生 湖北省基督教两会于2013年7月5日,接待了来自武汉大学哲学学院发起“走基层,传递中国梦”暑期社会实践武汉队的三个系别的九名大学生调研。大学生们详细了解基督教在湖北省的发展状况、“基督教临终关怀发展的现状”、     

马克思的实践唯物论与伦理学研究

哲学本体论规定着伦理学的道德本质论.马克思哲学的物质本体论有三个特性:即辩证性、历史性和实践性.因此,辩证唯物论、历史唯物论、实践唯物论,都是对马克思哲学本体论及其特质的正确表述,只是表述的角度不同,强调的重点不同.三者不应该是对立关系,而应该是互补关系.在开展当代中国伦理学研究中,既要坚持辨证唯物论和历史唯物论的指导作用,又要重视实践唯物论的指导作用.     

差异化变革型领导对知识分享与团队创造力的影响:社会网络机制的解释

差异化变革型领导是团队领导领域的最新议题,现有的研究局限于探讨其社会心理方面的作用机制。本文从社会网络机制出发解释差异化变革型领导对团队知识分享及团队创造力的影响。基于65家企业的225个工作团队样本的结构方程模型分析表明,团队一致性变革型领导正向影响团队交流网络密度从而提高团队知识分享;个体差异性变革型领导正向影响团队成员交流网络密度差异性从而降低团队知识分享;团队知识分享正向影响团队创造力。本文的证据表明,在中国情境下,差异性团队领导行为不利于创造稠密的团队交流网络,以及团队知识分享,从而不利于提升团队创造力水平。     

跨国公司的母子公司控制机制选择与人力资源管理实践研究

基于匹配理论视角,本文首先从组织和控制机制两个维度,将跨国公司的母子公司控制机制分为“机制内-组织内”、“机制外-组织外”、“机制内-组织外”、“机制外-组织内”四种类型,进而探讨了母公司对子公司不同人力资源实践活动(招聘与选拔、培训、绩效评估、薪酬管理)的控制机制选择.结果表明,在子公司招聘与选拔阶段,母公司更愿意采取人力资源控制;在培训阶段,母公司对子公司通常采用人力资源控制与结果控制相结合;在绩效评估阶段,公司更多采取正式化控制;在薪酬管理阶段,母公司较多地采取结果控制进行全球范围的整合.     

浅谈现代医学模式在影像诊断实践中的应用

医学模式由传统的生物型向生物心理社会医学模式转变需要全社会共同努力,影像诊断虽然＂见病不见病人＂,但通过影像诊断报告同样会向患者传递出对他们健康、疾病诊疗的指导和人文关怀,并能在化解医疗纠纷改善医患关系方面起到关键作用.因此影像诊断同样需要现代医学模式的指导,达到这一目标的必要途径,就要树立＂以人为中心＂的医学理念,把病人作为一个统一整体来考虑疾病的诊断,同时影像与临床资料相联系;加强影像报告的书写,描述既要客观,又要有目的性,结论尽量明晰,措词准确,通过字里行间的表达增加医患之间的信任.     

临床医师对医学人文认知的社会学分析——大连医科大学、哈尔滨医科大学、南京医科大学、河北医科大学、重庆医科大学联合调查之二

调查了1 836名在职医师对医学人文的认知情况,以从业时间、学历、职称和科室为分析变量,从对医学人文理念核心思想的认知、对当前临床实践人文水平的认知、对医学人文理念在医疗实践中体现方式的认知、对临床实践人文水平不高(或不理想)原因的认知、对临床诊疗技术应用与服务中的医学人文实践的认知、对医院管理中的医学人文实践的认知、对医学生的医学人文教学存在问题的认知等方面,对不同从业时间、不同学历、不同职称和不同科室医师的医学人文认知情况进行社会学分析.     

门诊糖尿病患者对相关知识了解程度的调查

调查二级甲等医院门诊2型糖尿病患者知识水平并探讨不同治疗方法患者的知识水平情况.根据"不平衡指数最小的原则",选取唐山市某二级甲等医院门诊就诊的糖尿病患者,并按治疗方式分为应用胰岛素组和单纯口服降糖药物组,每组90 例.采用统一调查量表进行调查.应用胰岛素组在低血糖处理、足部护理、慢性并发症的认识方面优于口服降糖药物组(P<0.05).口服降糖药物组在糖化血红蛋白作用、体育锻炼认识上好于应用胰岛素组(P<0.05).二级甲等医院门诊糖尿病患者糖尿病知识水平较差,不同治疗方式患者知识水平不同.因此,今后应对不同治疗方式的门诊糖尿病患者进行有针对性的干预,加强糖尿病知识健康教育,提高患者的自我管理知识水平,延缓和控制并发症的发生.