您的位置： 专家智库 > >

杨晨

作品数：8 被引量：9H指数：2
供职机构：江西师范大学更多>>
发文基金：国家自然科学基金国际科技合作与交流专项项目更多>>
相关领域：文化科学自动化与计算机技术哲学宗教社会学更多>>

合作作者

文献类型

  • 5篇学位论文
  • 3篇期刊文章

领域

  • 4篇文化科学
  • 3篇自动化与计算...
  • 1篇经济管理
  • 1篇哲学宗教
  • 1篇社会学

主题

  • 4篇PAR方法
  • 3篇形式化
  • 3篇PAR平台
  • 2篇形式化推导
  • 2篇教学
  • 1篇地理
  • 1篇妒忌
  • 1篇新高考
  • 1篇新高考模式
  • 1篇形式化方法
  • 1篇形式化开发
  • 1篇语文
  • 1篇社会
  • 1篇社会行为
  • 1篇生成器
  • 1篇说明文
  • 1篇说明文教学
  • 1篇欺骗行为
  • 1篇亲社会
  • 1篇亲社会行为

机构

  • 8篇江西师范大学

作者

  • 8篇杨晨
  • 2篇苏昭
  • 2篇薛锦云

传媒

  • 2篇计算机与现代...
  • 1篇电脑知识与技...

年份

  • 1篇2023
  • 1篇2022
  • 1篇2021
  • 1篇2020
  • 4篇2010
共 8 条 记 录，以下是 1-8
全选 清除 导出
排序方式：
核心素养导向下的初中语文说明文教学策略研究
说明文教学是初中语文阅读教学的重要组成部分。它与其他文类的教学内容一起,共同肩负起培养学生核心素养的重任。本文以核心素养为导向,探究初中语文说明文教学的基本策略,探寻破解当下说明文教学困局的有效途径。本文以现行统编版初中...
杨晨
关键词：初中语文说明文教学
广东省新高考模式下的自然地理学习差异与教学策略研究
为了深入贯彻学习习近平新时代中国特色社会主义思想和党的十九大精神，2018年开始，广东省实施新高考改革并实行新的选科模式。由传统高考模式的2个组合转变为12个组合，其中包含地理学科的组合有6个。因此在高中地理的教学过程中...
杨晨
关键词：中学地理教学实践课程标准
文献传递
形式化方法在高中算法教学中的应用研究被引量：3
2010年
国家教育部制定的高中新课程标准将算法初步作为高中数学课程的必修内容,算法与程序设计也首次纳入到选修课之列。全国大部分普通高中均按新课标开展教学实验,不少省份还把算法内容纳入高考。同时现有算法初步和算法与程序设计教材在介绍算法与算法设计方法时,无法说清楚算法设计的过程;在教学实践中,这一问题更加突出。这给高中生学习、理解及掌握算法和算法设计方法带来很大的困难。本文从新课程实验教材中及数学高考题中选取两个问题,用支持算法程序形式化开发的PAR(Partition And Recur)方法与PAR平台,从待求解问题的精确功能描述出发,经过一系列等价数学变换,最后得到正确的算法和程序。实践说明PAR方法与PAR平台可以在高中算法教学及学生能力评测中发挥建设性作用。
苏昭薛锦云杨晨
关键词：形式化方法PAR方法
基于PAR平台的最弱前置谓词生成器的设计与实现
从上世纪六十年代起,随着大型软件的快速发展,人们对软件质量的要求起来越高,尤其是对软件的正确性要求。计算机界为确保软件质量尤其是软件的高可靠性方面提出了许多新的理论研究,程序正确性证明就是其中之一,程序正确性证明就是采用...
杨晨
关键词：程序正确性证明PAR方法APLA语言生成器
文献传递
妒忌和自我控制的相关机制探究
作为一种传统的负面情绪，妒忌已经在我们的生活中存在了许久，无论是历史、寓言还是现实，都会提醒我们，它产生的毁灭力量带来了众多的教训。然而也有研究者们提出，妒忌有两张面孔，一方向上，一方向下，同源而生，背道而驰。目前很多研...
杨晨
关键词：妒忌自我控制亲社会行为欺骗行为
文献传递
三个经典数学问题的形式化开发被引量：2
2010年
计算机科学最高奖图灵奖获得者Knuth指出,算法是计算机科学的核心。算法的设计和理解对开发高效、正确的软件至关重要。本文选取平方数问题、几何级数求和问题和多项式求值这3个经典数学问题,使用支持算法程序形式化的PAR方法和PAR平台,从待求解问题的精确功能描述出发,使用PAR方法和PAR平台的推理和变换规则,经过一系列等价变换,最后得到正确的算法程序。这一系列形式化推演的过程揭示了这3个经典数学问题的奥妙,事实说明PAR方法和PAR平台在算法程序设计过程中可以发挥更大的作用。
杨晨薛锦云苏昭
关键词：PAR方法PAR平台形式化推导
PAR在数学算法中的应用被引量：3
2010年
针对算法走进高中课堂的现状,提出使用PAR作为高中学习算法开发的主要平台,通过PAR形式化推导实现多项式和素数两个经典数学问题,表明PAR具有良好的数学和程序设计语言透明性,得到算法简短易于理解的同时也可以同时保证算法的正确性,理论分析和试验表明,PAR是学习算法开发的一个有效平台。
杨晨
关键词：PAR方法PAR平台形式化推导
微信老年传播圈子隔阂与融入研究
互联网技术快速发展的背景下数字新媒体的普及日新月异,冲击着当前我国日渐壮大的老龄群体,在“新”“老”交织的碰撞与融入中,老年传播在新媒体场域中面临隔阂与挑战。近年来,越来越多的老年群体加入使用新媒体的队伍中,成为新媒体用...
杨晨
全选 清除 导出
共1页<1>
聚类工具0