课程文献中心 更多>>

关键词： 雍正十二美人图   雍亲王题书堂深居图屏   胤禎围屏美人图  

摘要： 《雍正十二美人图》,又名《胤禎围屏美人图》《雍亲王题书堂深居图屏》,原是清初装饰于圆明园深柳读书堂围屏之上的一组工笔重彩人物绢画。内容包括《裘装对镜》《烘炉观雪》《捻珠观猫》《立持如意》《桐荫品茗》《抚书低吟》《消夏赏蝶》《烛下缝衣》《博古幽思》《持表对菊》《倚榻观鹋》《倚门观竹》,共12幅。后经重新装裱,藏于深宫,直至20世纪50年代,在故宫库房中重新被发现。

关键词： 函数单调性   高中数学   三角函数  

摘要： 有关函数单调性的考查,一直是高考中的热点与难点,题型复杂多样,但究其本质都是有关求导后导函数的正负情况.其中有一类较为特殊,即为函数中含有三角函数,在求导后导函数中仍含有三角函数,此时要善于抓住三角函数的取值范围,进而判断导函数的符号变化情况.因此,本文列举一道有关正余弦函数单调性的判断的例题,期望帮助学生在解决此类问题时能够得心应手,以提升学生数学素养,进一步提升学生的数学思维能力.

关键词： 布尔函数   FLIP密码   逐重量完美平衡函数   k-重量非线性度   密码学指标  

摘要： 随着FLIP-范式下的同态友好流密码的不断改进,在等重量向量子集上具有平衡性等良好密码学性质的密码函数成为学术界研究的热点。通过分析各类构造方法、代数免疫度等密码学性质优良的函数及k-重量非线性度等相关结论,总结在等重量向量子集上满足平衡性的逐重量(几乎)完美平衡(Weightwise(Almost)Perfectly Balanced,W(A)PB)布尔函数的研究成果,并指出未来的研究方向。

关键词： 动态顺序统计树   搜索树   函数式建模   自动化验证   Isabelle定理证明器  

摘要： 动态顺序统计树结构是一类融合了动态集合、顺序统计量以及搜索树结构特性的数据结构,支持高效的数据检索操作,广泛应用于数据库系统、内存管理和文件管理等领域.然而,当前工作侧重讨论结构不变性,如平衡性,而忽略了功能正确性的讨论.且现有研究方法主要针对具体的算法程序进行手工推导或交互式机械化验证,缺乏成熟且可靠的通用验证模式,自动化水平较低.为此,设计动态顺序统计搜索树类结构的Isabelle函数式建模框架和自动化验证框架,构建经过验证的通用验证引理库,可以节省开发人员验证代码的时间和成本.基于函数式建模框架,选取不平衡的二叉搜索树、平衡的二叉搜索树(以红黑树为代表)和平衡的多叉搜索树(以2−3树为代表)作为实例化的案例来展示.借助自动验证框架,多个实例化案例可自动验证,仅需要使用归纳法并调用一次auto方法或使用try命令即可,为复杂数据结构算法功能和结构正确性的自动化验证提供了参考.

关键词： USGS卫星图   历史地段   院落形态   地块肌理   院落形态识别  

摘要： 地块肌理是历史城市肌理的三大要素之一,是城市形态学研究的重要层级,它与中国传统城镇的院落形态有紧密的对应关系。但是,目前国内很多历史城镇的院落受到不同程度的破坏。为了厘清遭到破坏的传统城镇肌理原貌,院落形态识别成为城市历史遗产保护的基础工作。庄河上下街历史地段的人为改造和原住民迁出,加剧了历史建筑的破坏以及传统城市肌理的混乱,给遗产保护带来了巨大的挑战。但是,USGS历史卫星图最大限度地记录了改革开放前的城市建设和人口增长热潮前夕的城市状态,最大限度地接近历史院落形态的原貌,为历史城镇形态研究提供了可靠的史料依据。该文以USGS卫星图影像信息为依据,结合CAD测绘图、航拍图等当代工具手段,解析还原历史街区的院落形态。该文的特色在于利用新的史料信息探索城市历史肌理的院落形态特征,以弥补历史建筑和历史街区研究的形态学断层。

关键词： 知识结构   主线   复习   变式   数学思想  

摘要： 高考一轮复习至关重要。以“函数与导数”为例,提出教师应以知识结构、高考考情、具体学情、变式拓展为四大主线,通过整体构建知识体系,把握高考复习方向,控制好复习节奏,有重点、有针对性地进行系统复习,以此夯实学生的基础,发展学生的数学思维能力。

关键词： 建构主义   学习理论   教学研究   二次函数  

摘要： 建构主义学习理论着重强调“知识应是认知主体积极建构的”.研究者以“二次函数”一课为例,提出基于建构主义学习理论的初中数学教学策略:搭建平台,以学习活动促进者的身份指导教学;提倡互动,以学习组织者的身份引领教学.

关键词： Bogdanov-Takens分岔   三种群模型   Leslie型系统  

摘要： 针对一类Leslie型三种群食物链模型,分析了该模型的余维二Bogdanov-Takens分岔行为。假设猎物满足Logistic增长速率,捕食者种群通过Holling III功能反应吃掉猎物,而超级捕食者种群则通过Holling II功能反应吃掉捕食者。首先,给出了保证系统具有正平衡点的条件,及在该正平衡点发生Bogdanov-Takens分岔的参数条件;其次,选取了满足上述条件的适当参数,对Bogdanov-Takens分岔的非退化条件及正则性条件分别进行了验证;最后,通过数值仿真,对Bogdanov-Takens平衡点进行了参数扰动,获得了分岔后的不同动力学行为。

关键词： 美丽海湾   美丽系列   美丽河湖   美丽中国   美丽山川  

摘要： 2014年,习近平总书记亲临江苏考察,擘画了“经济强、百姓富、环境美、社会文明程度高”新江苏建设的宏伟蓝图,将“环境美”作为其鲜明标识之一。2023年,中共中央、国务院《关于全面推进美丽中国建设的意见》提出,一体开展“美丽系列”建设工作,重点推进美丽蓝天、美丽河湖、美丽海湾、美丽山川建设,打造美丽中国先行区、美丽城市、美丽乡村。江苏以习近平生态文明思想和习近平总书记对江苏工作重要讲话精神为指导,全方位、全地域、全过程加强污染防治和生态保护,促进经济社会发展全面绿色转型,实现生态环境质量改善由“量变”到“质变”的重大转变。

关键词： 倪瓒   容膝斋图   真伪鉴定   折带皴  

摘要： 本文通过对《容膝斋图》书法题记与绘画图式的系统比对,发现其在结体、笔法及图像母题等方面均与倪瓒14世纪70年代的晚年真迹存在系统性差异。题记中多处字例为倪瓒书迹中未见的孤例,与其一贯书写习惯不符。绘画中所见折带皴、多面体碎石、三角形远山及矶头断崖等图式母题,亦偏离倪瓒晚期风格中所形成的稳定结构。基于以上证据,本文主张此作非倪瓒真迹,并据此提出一套可操作的结构性辨伪方法,旨在为倪瓒书画真伪研究建立可重复验证、逻辑严谨的分析框架。