共归纳数据类型上的共递归操作及其计算定律

范畴论框架下的共归纳数据类型可以看成是某个共代数函子下的终结共代数中的载体,针对该特点,结合范畴论给出程序语言中共归纳数据类型的共代数描述,并根据终结共代数的终结性给出相应的共递归操作的定义及其共代数计算定律;同时,利用双函子及类型函子对参数化共归纳数据类型进行抽象描述,并结合自然转换给出类型函子上的单元和融合等计算定...     

当代大学生政治参与方式与特点论析

当代大学生群体政治参与的方式主要有选举、表决、接触和结社等活动,其政治参与活动往往表现出政治参与意识不断增强、政治评价更加客观公正以及政治参与渠道多样化等特点。在新的历史时期,必须从加强大学生社会主义主流意识形态教育,努力塑造大学生健全的政治人格,培养大学生政治参与意识和政治行为能力等方面进行教育和引导,从而切实提高高校思想政治教育工作的针对性和实效性,促进大学生政治社会化的进程。     

人工智能的语境论范式探析

人工智能的发展历程中贯穿着鲜明的语境论特征,现有的范式理论已无法对人工智能的发展状况做出正确描述,语境论有望成为人工智能理论发展的新范式。语境论范式的最大特征,就是所有问题都围绕语境问题而展开。人工智能中的语境,可分为表征语境和计算语境。建立在现有范式之上的语境论范式,必然以表征语境和计算语境为主要特征。表征语境与计算语境围绕智能模拟的语境问题逐步走向融合,将是语境论范式下人工智能发展的主要趋势。     

自然的贫困和可持续设计的未来

全球化伊始,工业文明消解了传统哲学天人合一的理念,由此引发了人口、环境和生态危机。人类必须重估生活方式,从生存论去体悟有机自然。通过溯源可持续设计,其技进于道的变动时空观源自以人为本的文化思想,在卫护人类和自然的循环利用过程中,可持续设计对生态的理性尊重将迎来一种新的文明。     

历史过程中的“规律”和“意志”——考茨基“生活意志”说述评(上)

唯物史观认为,人类历史是一个具有内在规律的"自然历史过程"。如何理解和把握历史过程的客观性与创造历史的人的主体性、历史规律与人的意志的关系,是我们准确把握唯物史观精神实质的关键所在。考茨基在他还是一个马克思主义者时,在《取得政权的道路》一书中,为驳斥资产阶级理论家和第二国际内修正主义者对唯物史观的歪曲和攻击,曾着力向广大无产阶级阐述和宣传马克思的唯物史观,并发挥了积极作用。他用"生活意志"对唯物史观进行了解读和阐释,并从这一解读出发,对当时国际共产主义运动中面临的现实形势、运动的任务和目标以及方法和道路进行了分析。在当时特殊的社会历史条件下,其方法和路径对我们今天准确把握唯物史观的内涵和精神实质,划清马克思主义与反马克思主义的界限,具有一定的启发价值。但由于考茨基始终未能真正理解唯物史观的精神实质,这一解读带有明显的自然主义和达尔文主义痕迹,并具有明显的折中主义色彩,这一切为他后来蜕化成"无产阶级的叛徒",并在哲学上陷入唯心史观埋下了伏笔。     

《数理精蕴》对《方程论》的吸收与精简

《数理精蕴》下编卷十“线部·方程”主要内容改编自梅文鼎的《方程论》。二者成书目的不同使得相应的内容也存在差异。通过对内容的对比分析得出：《数理精蕴》对《方程论》的改编保持了“方程”理论内涵不变,采用了“取其精华”的改编原则,对内容进行删减取舍;同时在语言表述、题目编撰、方程表示法等方面进行相应地精简与规整,使整体内容呈现出更为鲜明的算法特征,突显了《数理精蕴》对《方程论》理论成果的继承和进一步理解与发挥。     

风险指引的核电站设备分级概述

核电站的构筑物、系统及设备(以下简称SSC)的安全分级是核电站各项管理要求和规定的基础。由于传统确定论分级自身的特点,使基于此分级的核安全法规,一方面对设备的处理上存在过度的保守性,另一方面又在某些方面存在不够保守的地方。为了使法规对设备处理要求的规定更趋于合理,因此有了风险指引设备分级思想的产生。美国核管会及一部分业主对此分级思想的前景持肯定态度,并制定了多项相应的法规、标准及导则,同时有少数业主对此分级方法进行了试点性的研究。这些举措都将促进该风险指引设备分级思想的发展。通过总结与此分级相关的背景、方法及案例研究,对比传统分级和风险指引的分级方法之间的异同,阐述风险指引分级的方法论,使读者对风险指引分级思想的现状及发展有一个总体的概念,并对其以后的发展提出一些展望。     

基于马斯洛需要层次论的图书馆人本管理

运用马斯洛的需要层次理论,探讨了图书馆管理的有效性,并试图通过构建以人为本的激励管理模式,激发图书馆员工作的积极性、主动性和创造性。     

高师院校数学教学论教材比较与教学思考

为了解不同版本数学教学论教材编写异同,并针对其特点提出相应的教学思考,选取三本代表性数学教学论教材,对其编写特色、框架结构、知识内容等方面进行比较。结果显示,数学教学论教材编写特色各异,框架结构看似相同,但其知识内容相异悬殊。为此,教师需要根据课程群设置、教学大纲等要求,统筹规划课程内容,对数学教学论教材模块灵活处理,并采用针对性的教学方法。     

基于遗传算法的制造网络服务质量优化

服务质量的合成是面向服务架构系统面临的重要挑战,评价面向服务架构制造网络最优化的典型标准是加工时间成本和系统响应时间.文中提出了一种应用遗传算法解决制造网络服务质量优化问题的新方法.首先用着色Petri网和排队论分别对制造网络的物流和信息流进行建模,然后应用遗传算法对该模型进行调度并获取服务质量的近似最优解.在该算法中,染色体采用分段基因编码,它们分别是制造网络物流和信息流调度方案的规则与加权系数的组合;遗传操作包括选择、交叉、变异3种类型.在每一代种群中,通过仿真得到与每个染色体相对应的各项性能指标值,以模糊综合评判方法求取制造网络服务质量适应度的函数值.实验结果表明,该方法能有效优化制造网络的服务质量.