核心素养背景下小学生符号意识培育研究——以“用字母表示数”教学为例

符号意识是《义务教育数学课程标准(2022年版)》提出的核心素养之一,符号意识是形成抽象能力和推理能力的经验基础。如何让核心素养真正落地,是当前亟待解决的问题。通过对符号、意识、符号意识,以及3个版本课程标准对符号意识描述的分析,厘清核心素养背景下培育符号意识的内涵,并以“用字母表示数”教学为例,从课标、教材、学情、目标等多维度对课堂教学开展深度研究,探索课堂教学中培育符号意识的教学范式,促进学生核心素养的发展。

基于不可满足核的近似逼近可达性分析

近年来,形式化验证技术受到了越来越多的关注,它在保障安全关键领域系统的安全性和正确性方面发挥着重要的作用.模型检测作为形式化验证中自动化程度较高的分支,具有十分广阔的发展前景.研究并提出了一种新的模型检测技术,可以有效地对迁移系统进行模型检测,包括不安全性检测和证明安全性.与现有的模型检测算法不同,提出的基于不可满足核(unsatisfied core,UC)的近似逼近可达性分析(UC-based approximate incremental reachability,UAIR),主要利用不可满足核来求解一系列的候选安全不变式,直至生成最终的不变式,以此来实现安全性证明和不安全性检测(漏洞查找).在基于SAT求解器的符号模型检测中,使用由可满足性求解器得到的UC构造候选安全不变式,如果迁移系统本身是安全的,得到的初始不变式只是安全不变式的一个近似.然后,在检查安全性的同时,逐步改进候选安全不变式,直到找到一个真正的不变式,证明系统是安全的;如果系统是不安全的,该方法最终可以找到一个反例证明系统是不安全的.作为一种全新的方法,利用不可满足核进行安全性模型检测,取得了相当好的效果.众所周知,模型检测领域没有绝对最好的方法,尽管该方法在基准的可解数量上无法超越当前的成熟方法,例如IC3,CAR等,但是该方法可以解出3个其他方法都无法解出的案例,相信本方法可以作为模型检测工具集很有价值的补充.

论学习实践的身心二重性及其教导取径——兼论超越“符号识记”的核心素养生成逻辑

学习实践是指在历史文化符号和生活经验知识指引下,学生亲历的身心共在、内外协调的能动活动,既包括对知识发生过程的简约重演,亦包含对知识理论规律的迁移应用。根据功能轴心和培养重点的差异,可分为重在培育“思”与“言”的“心主—身辅”的实践,以及重在培育“感”与“行”的“身主—心辅”的实践。学习实践有效开展的前提是知识类型与实践方式的对应:思维语言方法性、抽象性和事实性符号知识,与他人言语交往和与自身精神交往的经验知识,宜用“心主—身辅”的实践;行为操作说明类、价值类和写实类符号知识,与他者动作交往和与自然接触交往的经验知识,宜用“身主—心辅”的实践。教师在指导学生的实践体验时,既要强调实践方式的适配性,亦要突出实践主题的综合性,帮助学生通过多元学习实践的关联互动,超越符号识记的桎梏,走向核心素养的全面生成。

学生数学符号意识PORE评价框架的构建

“符号意识”作为《义务教育数学课程标准（2011年版）》提出的10个核心素养之一，是学生必须具备的一种数学素养．评价学生符号意识的发展水平，是教育工作者在义务教育阶段数学课程与教学中不能回避的任务．基于对符号意识内涵的分析和国内外的相关研究成果的借鉴，构建了一个关于数学符号意识4个维度（数学符号的感知，数学符号的运算，数学符号的推理，数学符号的表达），每个维度包括由低到高3或4个水平的PORE评价框架．

国内外数学符号意识研究:回顾与展望

"符号意识"是《义务教育数学课程标准(2011年版)》提出的数学核心素养内容之一。目前国内外对符号意识的研究主要集中于数学符号意识之内涵界定、数学符号意识之构成要素和数学符号意识的培养策略三个方面,未来研究工作更应该关注以下三个方面:基于实证研究的视角拓展数学符号意识研究范畴;构建数学符号意识的分析与测评框架;提升相关理论并为数学符号意识培养提供支撑。

利用新媒体传播社会主义核心价值观——基于涵化理论的研究

新媒体兴起带来了大众媒体传播环境的巨大变化,社会主义核心价值观的媒体传播方式也随之有所改变。基于传播学的涵化理论对新媒体在传播社会主义核心价值观中的涵化作用进行分析可知:新媒体带来信息多样选择和多元表达,让人们感觉到了更加真实鲜活的"象征性现实";新媒体重塑了人与人之间的关系,人们在新媒体构建的"关系网络"中更容易产生强烈的"共鸣"。因此要更好的传播社会主义核心价值观,就要以文化内涵为切入点,通过新媒体传播真实鲜活的"象征性现实"增强对社会主义核心价值观的涵化作用,达到"以文化人"的传播效果;强化主流话语权,依托新媒体"关系网络"营造社会主义核心价值观的"共鸣"氛围,从而达到"以理服人"的传播效果。

多核系统上分层MPT模型的联合调度和映射

为了实现异构多核系统上的任务的并行执行,提出了一种分层多处理器任务模型(MPT)的联合调度和映射策略。首先,基于分层多处理器任务模型,考虑异构多核平台上混合数据和任务并行以及进程之间的依赖关系,建立起一个由多个MPT构成的MPT图;然后,基于MPT图提出了一种分层调度算法,调度算法将图结构划分为若干层,每层采用符号核组的一个集合,每个符号核组可依次执行若干个MPT;为了实现一个MPT程序到一个多核系统的感知映射,又提出了3种从符号核到物理核的映射,以实现多处理器并行任务的计算。实验结果表明,提出的分层MPT模型的联合调度和映射方案相比于其他方案不仅可以降低执行时间,而且还可以提高加速性能。

以产品系统设计理念提升企业的核心竞争力

企业核心竞争力已由产品实物形态发展到全程服务的非物质形态,坚持以创造人类社会更加健康合理的生活方式为目标的产品系统设计将成为提升企业核心竞争力的有效方式。产品不仅要服务于消费者的单个实用功能,更应从使用环境和整体产品的生命周期出发,推进生活方式、企业和社会的可持续发展。产品系统设计可以通过以产品使用方式的连续性、协调性和多样性为目标的产品系列化战略,以及产品符号形态的统一性、使用方式的统一性和产品符号意义的多样性为目标的产品符号系统化战略,在产品的设计制造、宣传销售、服务回收的整个生命周期中塑造企业形象,显示企业个性,创造企业品牌,传播企业独特的文化价值观,赢利于激烈的市场竞争之中。

高职院校文化的精神内核与物化符号

作为大学文化的一个独特分支,高职学校文化建设已经成为高职院校内涵建设的重要内容。深入了解高职学校文化的应然与实然,立足高职学校文化"求知、求专、求变"的精神内核,并将这种精神内核通过校训、校园建筑景观、制度体系、行为方式、校园偶像、视觉符号等物化符号的形式体现出来,成为高职学校文化建设的一条可供借鉴的思路。

智慧城市建设的文化内核

智慧城市是以人文理念为指导,以适应城市居民实质的或虚拟的物质和精神需求为目标,探索和追求更高资源利用效率、更高族群生活品质的一种城市形态。城市文化符号的凝练是地域化和同质化的共生,技术层面的同质化有助于降低不同地域的非正式居民人际网络生态融合的难度。族群和社区的分布关系反映一个城市居民沟通模式的布局,以族群为经、以社区为纬交织而成的网状沟通模式,是深度挖掘城市文化内涵,准确定义城市文化意蕴的科学布局。城市居民的“惯习”可被视为一个开放的性情倾向系统,能更加协调好智慧城市发展变革中“场域”的变化,在这种交融的关系中,才能追寻到城市居民的心灵走向,合理地对其文化心理进行阐释。

文化:人之为人的规定性

人类创造的一切物质文明和精神文明都是文化,但严格意义上的文化,是人对自己的规定,其本质是人的规定性,即人认识自己,定义自己,提升自己,塑造自己,最大限度地占有人自身的类特质,远离动物性,使人更像人的规定性。人作为目的性动物的价值和意义,由文化所呈现和表达,文化的内核是由价值目标、价值取向、价值准则和路径选择四个维度构成的价值理念。是文化造就了人,人因文化而成其为人,文化是对人的社会评价标准,文化符号是人的存在表征。

"落后"资源资本化:民族乡村发展路径研究

民族乡村的发展是实现乡村振兴战略的重要组成部分.民族乡村资本、技术、人才匮乏,不能走发达地区的老路实现自身的发展."落后"资源具有核心资源的特征,"落后"资源资本化能够促进民族地区人力资本的积累,民族乡村可以通过"落后"资源资本化,走出一条适合本地区的独特发展路径:"落后"资源资本化形成主导产业—市场细分和发展互补性产业避免同质化-象征价值的开发提升产品价值—通过创意不断开发新的产品;同时利用"落后"资源避免市场失灵.

列维-斯特劳斯与拉康在象征问题上的不同路径——从《马塞尔·莫斯的著作导言》说起

1950年,列维-斯特劳斯应古尔维奇之邀为莫斯的《社会学与人类学》一书撰写了《马塞尔·莫斯著作导言》;在该文中,列维-斯特劳斯借助于莫斯的地位与威望,在赞誉莫斯成就的同时,通过提出象征之核试图全面推行其纯粹象征系统理论。拉康受惠于列维-斯特劳斯在象征之核(漂浮的能指)问题上的理论创新,但并不赞同后者抛弃圣神之物后所推行的纯粹象征系统理论,相反试图用普遍性的象征界(总是拉康的"三界"之中的象征界)理论来解释内含复合结构的社会象征系统。

市场营销专业核心课程教学改革探索——基于符号互动论视角

市场营销专业核心课程具有较强的综合性、实践性与应用性等特点,课程教学直接影响到学生对相关知识的掌握和应用。因此,针对教学中存在的问题从符号互动论视角进行教学改革和创新,在深化认识符号互动论及其教育观的基础上,重新审视师生关系,在课程教学内容、教学手段、教学方法和考核方式等方面进行探索实践,以提高学生主动参与教学的积极性,提高教学质量,进而培养具有综合应用型创新能力的市场营销人才。

三坊七巷核心文化符号——名人文化的旅游表达

三坊七巷历史文化主要包括建筑文化、民俗文化和名人文化,名人文化是三坊七巷的核心文化符号,具有核心吸引力和竞争力,应成为三坊七巷旅游开发的重点。当前三坊七巷对名人文化的旅游开发不够到位,应在情景化、体验化、高科技化、时代化等原则指导下,以林则徐为品牌,通过品牌战略、形象战略、价格战略,更好地开发名人旅游资源,传播名人文化,并产生相应的经济效益。

中国梦的文化内涵与价值基座——学习习近平总书记关于实现中华民族伟大复兴中国梦的重要论述

中国梦的提出既深刻反映了中国近代以来中华民族不懈的理想追求,同时也切合了当代中国新的时代发展目标。在对中国梦提出的历史渊源与时代意义的探求中,洞察中国梦的深刻文化内涵与价值基座,有利于更全面地理解中国梦在当代中国社会发展中所起到的精神旗帜引领作用。

巩固社会主义核心价值体系主导地位的思考

社会主义核心价值体系主导地位主要体现在这一价值体系为执政党所选择和认可,也为广大党员干部和理论工作者所追求和信仰,同时能够主导社会价值,成为社会成员精神追求的核心和灵魂。当前我国社会主义核心价值体系主导地位的巩固面临着市场经济的负面影响、社会政治体制的不完善、社会文化的多元化等方面的挑战。为此,我们必须探索巩固社会主义核心价值体系主导地位的新方法,努力实现理论建设向实践建设、价值评价向行为准则、规则规范向行为示范"三个转变"。

真善美与社会主义核心价值观

在我国倡导、培育、弘扬和践行社会主义核心价值观的过程中,正确认识真善美与社会主义核心价值观之间的关系,是时代提出的一个重要研究课题,有着重要的理论和现实意义。从美学的视角来探讨和分析,真、善、美与社会主义核心价值观的关系主要体现在四个方面:一、"真":社会主义核心价值观孕育、形成和提出的基础与前提;二、"尽善矣,又尽美矣":社会主义核心价值观的本质属性;三、"美是道德的象征":社会主义核心价值观的最高境界和终极目的;四、"弘扬真善美,传播正能量",追求"跨越时代,超越国度"的价值理想。

论核心素养时代教学内容的超越

知识传授为主的教学忽视学生道德品性的培养,阻碍了学生品格能力的形成,遮蔽了学生个人知识的生成,教学内容停留于教知识符号的表层。在核心素养时代,学生要适应飞速发展的信息时代和复杂多变的未来社会,教学内容绝不仅在于满足学生对知识符号表征的认知,更在于促成知识与学生的"相遇""相知"与"相融"。教学内容必须完成从"教知识的符号"到"教知识的意义"的超越。这就要求教师对教学内容的把握要结合"伦理性"与"有效性",统一"同一性"与"差异性",兼顾"学理性"与"实践性"。

多核模型检测工具CTAV的实现与优化

在计算机计算能力大大增强的时代,为了提高对时间自动机进行空性检测的效率,进一步高效利用多核处理器的优势,研究了利用Büchi自动机的多核空性判定算法改造CTAV,使它成为一款时间自动机模型关于线性时序逻辑的多核模型检测工具,从而提高模型检测的效率.通过对符号化状态之间包含关系的研究,利用这种状态之间的包含关系更快的找到接收路径并避免不必要的状态展开,实现了多核模型检测算法的优化,对比了一些常见模型的验证数据,取得了更好的效果.