数据驱动本科教学质量监测：基本逻辑与困境突破

数据驱动本科教学质量监测是促进高校教学高质量发展的有效路径。随着技术赋能本科教育教学样态的持续变革,数据驱动本科教学质量监测面临教学评估数据审查与监管机制亟待完善、教学数据治理失范导致数据价值低效释放、数据监测方式单一制约教学评价工具功效、教学决策自主权与智能算法存在局部冲突等现实困境。数据驱动本科教学质量监测的路径选择应关注四个方面：完善数据质量标准,构建基于责权厘定的技术规范;注重数据伦理规约,构建向善型教学数据治理体系;聚焦数据价值释放,促进智慧型教学质量评价机制构建;关注智能评价转型,创设人机协同型教学决策服务体系。     

形式化方法在藏文软件开发中的应用研究

形式化方法有助于软件开发中发现其它方法不容易发现的系统描述的不一致、不明确或不完整,增加软件开发人员对系统的理解,利用形式化方法开发的软件系统具有较高的可信度和正确性,并能使系统具有良好的结构,使其易维护,关键是能较好地满足用户需求.主要研究利用形式化方法开发藏文软件需要考虑的关键问题和实施方案,以及形式化方法对提高藏文软件系统的安全性与可靠性的作用.     

是单向塑造还是双向规约——马克思主义大众化内涵诠释合法形态探究

大众关于人类解放实践的感性认识与马克思主义关于该实践的理性认识,构成了关于该实践内在关联的"双重解释":前者孕生、支撑后者,后者基于向前者学习而生成,又通过教化等途径向前者渗透,批判地塑造、提升前者,从而共同为大众解放实践提供精神支援系统.这双重解释间如此相向规约关系,决定了马克思主义大众化的完整内涵,是由"大众塑造马克思主义"与"马克思主义塑造"这样的双维取向前后衔接、循环互动所构成的整体.     

教学计算时间规约下的教学异化存在

教学计算时间是指钟表技术对教学活动计量化所展现的数量系统,其最基本、最核心的时间区分即固定的45分钟课时。教学计算时间呈现出的形态之客观既成、结构之有序分层、方式之计量定时、方向之线性不可逆等特征,构成了教学异化的时间境域,其异化存在的表现:先在设定的教学计划展现出强制规约性,现成规定的教学内容遏制学生个性发展,教学技术的效率追逐阻抑人性的显现,教学的线性程序剥夺师生的自由。     

经典符号学术语symbol名实探

符号学传统中,symbol为经典术语之一,内涵复杂,两位创始人索绪尔与皮尔士皆有论述,不但指称不尽相同而且不乏彼此矛盾之处。在结构符号学思想的影响下,尔后莫里斯、雅各布森、西比奥克与艾柯等西方学者将皮尔士之symbol与索绪尔之conventional sign甚至“语言符号”之间划等号,受其影响国内学界常见“规约符”的翻译。回归皮尔士本人思想就会发现,无论是conventional sign还是汉译“规约符”都掩盖了他的理论深度与创见,不利于思想的正确传播。故有必要厘清概念内涵的亲缘关系,理顺概念发展脉络,澄清概念之实,以便为汉译定名。