逻辑悖论与固定点定理

罗素悖论的解决方案被划分为两大范畴:有类型限制的方案和无类型限制的方案.无类型限制方案的背景逻辑是多值逻辑或者不包含否定词的经典逻辑,它的一致性证明在实质上是利用固定点定理构造模型.在介绍克里悖论、莫绍揆悖论和吉尔莫尔悖论,回顾这些悖论的解决方案与布劳威尔固定点定理和塔斯基固定点定理之间的内在关联的基础上,探讨无类型限制方案在二阶罗素悖论中的应用,并且证明一系列相关结果.     

招隐诗与反招隐诗的主题剖析——以魏晋隐逸诗为中心

招隐诗、反招隐诗作为中国古代隐逸诗的重要组成部分,是隐逸诗发展史上的一个重要现象。招隐诗、反招隐诗集中出现在魏晋,尤其是两晋时期。文章以魏晋隐逸诗为中心,来阐述招隐反招隐诗。魏晋隐逸诗运用多样的主题意象和主题结构来进行自我建构,以表达诗人的隐逸情怀。     

灌装包装生产线效率评估系统的设计

针对国内一部分食品企业灌装包装生产线难以量化生产线效率的现状,提出了一套切实有效的生产线效率评估系统。通过评估设备速度V-曲线,以现代信息化技术为基础,提取出关键设备的停机记录,其中包含了停机的起始时间、终止时间、时长、分类、机台和原因等几大关键项内容,然后对内外部因素造成的各类时间损失进行准确量化评估,从而构建以总资产利用率、线毛产出率、设备综合利用率和线效率4项指标为衡量标准的一套生产线效率评估系统。本系统实现了灌装包装生产线数字化过程,整体透视出企业的综合管理能力、部门之间的协调配合能力、设备运行能力和故障处理能力。基于此数字化效率评估系统,可以分析停机成因,识别出影响生产线效率的核心要素,通过针对性的优化手段,达到提高效率的目的,实现降低成本和提高利润的业务目标。     

基于G1连续的圆弧与B样条分段区间确定及重构方法

在逆向工程中,截面曲线重构质量的高低决定了能否更好地反映物体的初始设计意图。高精度分段点的提取则 是提高重构质量的关键。针对圆弧与B样条曲线重构过程中,无法确定分段点所在区间问题,提出了圆弧与B样条线 性化处理方法,并结合基于数理统计原理的分段点区间确定办法和基于黄金分割法的重构方法,提取了圆弧与B样条间 的高精度分段点。实例证明该方法能在现存数据之间搜寻精度更高的分段点。该方法有效地解决了圆弧与B样条高精 度分段点提取问题。     

对佛教起源的再思考--佛教：从中国传到印度经中亚、中国汉代西域再回到中国（内地）

大量的佛像出现在四川广汉古蜀国的玉器上(玉壁、玉牙璋、玉镯等)、象牙上。还发现有重约数十公斤、额头上镶嵌(粘)有宝石的水晶佛头上,等等,说明在当时古蜀国佛教流行规模之大、信教人数之多。起源于中国的佛教传入印度后,经过古印度人(可能含中国古羌族人)加工整理逐渐形成系统的佛教理论,沉睡近200年之后,由印度传至中亚地区各国,再传到中国汉代西域各国,最后回流到中国内地,这就是佛教的倒流现象。     

城市八零后家长择园观的调查及评析

择园问题已经成为目前的教育热点与社会热点问题,而时代特征明显的八零后一代已经成为新一代家长,其受教育程度不断提高,对幼儿教育也越来越重视,对幼儿入园问题也愈加关注。调查显示:城市八零后家长择园观存在较大差异和一定的误区,而通过引导家长树立正确的教育观、正确认识幼儿园保教关系、掌握正确的择园策略,可为家长科学择园提供指导。     

减刑假释实行申请制之倡导

根据我国刑法规定,减刑假释程序是由执行机关提出减刑假释意见书,法院组成合议庭作出裁定。现有制度存在很大不合理性,犯罪人作为减刑假释的直接获益人,被排斥在程序之外并不能保障犯罪人的利益,而且会导致假释使用率被执行机关人为降低。减刑假释本质都应采用权利说,二者本质上并无差别,且优劣互补,只是具体执行方式不同,因此减刑假释应当实行申请制,由犯罪人根据自身情况自由选择减刑或者假释并先行提出申请,执行机关提出意见书,法院居中裁定。减刑假释实行申请制有利于司法机关选择真正适合犯罪人的执行措施,提高犯罪人改造的积极性,使得对犯罪人的改造更加有效、更加彻底,同时也保障了犯罪人的合法权益。     

新媒体对藏族民众文化生活的影响调查研究

研究以青海省城镇、农业地区和牧区的270名藏族民众为被试,通过对藏族地区新媒体普及情况、使用新媒体的能力以及藏族民众喜欢的媒体资源类别等方面进行调查,分析了中国移动和中国电信网络、智能手机、数字广播电视、计算机及其网络给藏族民众的生活带来的影响,并提出通过加大适合于藏族民众的媒体资源建设力度,转变思想,提高服务意识,建设一个方便访问和传播的藏语信息技术平台,发挥新媒体在基层党员干部培训中的作用,以村为单位实行数字广播电视的统一管理,尽早尽快做好光纤的村村通工作,进一步降低手机资费标准,减轻藏族民众的通信负担等改进策略。     

高校计算机类课程教学中发挥学生主体性的实践教学研究

伴随着社会的进步和时代的发展,高等教育的质量问题已成为高等教育改革与发展的核心问题。计算机类课程的教学具有其特点,尤其在高等教育阶段,需要突出学生的主体地位、发挥他们的主体性。本文旨在研究如何在计算机类课程教学中突出学生的主体地位、发挥他们的主体性,以教学方法为重点,以教师主导促进学生主体,研究具有实际意义和可操作性的专门针对计算机类课程教学的教学模式,并且提供教学实践中必要的细节的方法和原则,具有一定的可操作性和推广价值,使“学生主体”的理念能够在教育实践中真正落到实处。     

基于文献关键词统计分析的我国开放与远程教育研究现状探析

以中国知网（CNKI）为平台,利用共词分析方法,对2006年1月至2015年6月间公开发表在开放与远程教育领域期刊论文的关键词进行统计分析,结合SATI软件和UCINET软件进行数据处理,探讨高频关键词之间的内在联系,揭示我国开放与远程教育研究的主题结构和核心领域。结果表明：此间我国开放与远程教育领域主要存在七大研究主题;远程学习、网络课程、学习支持服务、学习者是该领域的研究核心;移动学习、内容分析、学习科学和远程学习者将成为未来的研究热点。