检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

遭遇暗示(上) 经验篇:心意相通情相连

师道（人文） 2009年第4期 31-33页

作者：子丞伍剑婷广东阳山县教育局阳山县阳城镇湟婆小学

暗示，是指用含蓄、间接的方式对人的心理和行为产生影响。苏霍姆林斯基曾说，“造成教育青少年的困难的最重要的原因，在于教育实践在他们面前以赤裸裸的形式进行，而处于这个年龄期的人，就其本性来说，是不愿意感到有人在教育他们”... 详细信息

暗示，是指用含蓄、间接的方式对人的心理和行为产生影响。苏霍姆林斯基曾说，“造成教育青少年的困难的最重要的原因，在于教育实践在他们面前以赤裸裸的形式进行，而处于这个年龄期的人，就其本性来说，是不愿意感到有人在教育他们”。暗示所具备的特性正迎合了学生的心理与教育需要——在无痕中批评、在无声中指引、在无形中点拨。教师在课堂教学中巧妙地运用暗示，

关键词：心意经验苏霍姆林斯基教育实践教育需要课堂教学成教育青少年

热压烧结工艺参数对超硬磨料砂轮节块性能的影响

在线全文

学校读者我要写书评

暂无评论

金刚石与磨料磨具工程 2016年第6期36卷 29-34页

作者：余剑武文丞黄帅龙小兵吴耀湖南大学机械与运载工程学院长沙410082

金属基金刚石砂轮具有把持力大和使用寿命长等特点,其传统制备方法常采用高温烧结成型,但高温烧结会对磨粒产生较大的热损伤,影响砂轮的性能和使用寿命。热压烧结比常压高温烧结的成型温度低,能有效减少金刚石磨粒的热损伤问题。本研究... 详细信息

金属基金刚石砂轮具有把持力大和使用寿命长等特点,其传统制备方法常采用高温烧结成型,但高温烧结会对磨粒产生较大的热损伤,影响砂轮的性能和使用寿命。热压烧结比常压高温烧结的成型温度低,能有效减少金刚石磨粒的热损伤问题。本研究采用热压烧结方式来制备铜基结合剂金刚石砂轮节块,磨粒平均粒度尺寸为27μm。设计三因素三水平正交试验,探讨热压烧结工艺参数对金刚石砂轮节块密度、硬度和抗弯强度等物理、力学性能影响。结果表明:当烧结温度为650℃、烧结压力为25 MPa、保温时间为150 s时,金刚石砂轮节块的力学性能最好,并且实现了金刚石磨料与结合剂间牢固的冶金结合。

关键词：金属结合剂砂轮节块金刚石磨料热压烧结力学性能

在线全文

学校读者我要写书评

暂无评论

构建坚强有力的教育质量保障体系

中国高等教育 2004年第2期25卷 29-30页

作者：李树丞湘潭大学

高等教育的质量问题已经成为政府、社会尤其是高等学校自身高度重视与关注的一个问题.教学工作是高等学校经常性的中心工作,教育质量是永恒的主题,质量是学校生存和发展的生命线,这些正在成为全社会,特别是高等教育界的共识.我校是在党... 详细信息

高等教育的质量问题已经成为政府、社会尤其是高等学校自身高度重视与关注的一个问题.教学工作是高等学校经常性的中心工作,教育质量是永恒的主题,质量是学校生存和发展的生命线,这些正在成为全社会,特别是高等教育界的共识.我校是在党和国家三代领导人亲切关怀下成长起来的一所年轻的地方综合性重点大学,学校在快速发展的过程中,始终把教育质量放在突出重要的位置,人才培养质量享有良好的社会声誉.

关键词：教育质量质量保障体系高等学校学科专业结构课程体系师资队伍建设素质教育相潭大学

基于模型驱动的分治并行函数式程序生成及自动验证

在线全文

学校读者我要写书评

暂无评论

信息安全学报 2023年第3期8卷 85-102页

作者：王昌晶王忠文潘丞黄箐左正康江西师范大学计算机信息工程学院江西330022 江西师范大学管理科学与工程研究中心江西330022

并行计算作为人工智能发展的动力,使得并行算法的可解释性和安全性成为人工智能领域重要研究方向。形式化方法以数理逻辑为基础,已经成为复杂安全苛求系统可信构建的重要方法,而函数式编程则在算法领域中具有更强的数学表达性。本文旨... 详细信息

并行计算作为人工智能发展的动力,使得并行算法的可解释性和安全性成为人工智能领域重要研究方向。形式化方法以数理逻辑为基础,已经成为复杂安全苛求系统可信构建的重要方法,而函数式编程则在算法领域中具有更强的数学表达性。本文旨在提出一种基于模型驱动的分治并行函数式程序生成及自动验证方法,融合形式化方法,以解决目前分治并行程序生成和验证中缺乏可解释性、易错、低可信度等问题。首先,采用分划递推法和循环不变式等新策略推导出串行算法;然后,利用辅助函数和算法连接函数将其提升为并行算法,并使用我们提出的并行算法设计语言Radl+进行描述;进而,采用同态定理验证框架在Isabelle中验证算法连接函数满足同态定理,即提升后的算法可并行化;最后,提出了Radl+→Haskell转换规则,设计了“Radl+→Haskell并行程序生成系统”软件原型。实验结果表明,本文能够生成和验证一系列算法的并行函数式程序,并且能够产生良好的加速比。本文方法不仅具有一定的可解释性,而且自动验证减少了传统手工验证易错性和繁琐的工作量,保证算法正确性和提高安全性,对大幅度提升高可信并行函数式程序的开发效率具有重要意义。

关键词：模型驱动分治并行函数式程序程序生成自动验证

在线全文

学校读者我要写书评

暂无评论

短流程钢铁冶金发展

材料导报 2023年第S1期37卷 400-405页

作者：李浩丞刘玉军赵卓朱鹏福周艳文辽宁科技大学辽宁鞍山114000 营口理工大学辽宁营口115000

本文叙述了短流程钢铁冶金发展现状,即直接还原铁(DRI)结合大吨位电炉炼钢工艺流程的发展现状。这种短流程能够有效降低环境污染,是实现钢铁工业低碳发展的重要方向。本文首先收集和整理了当前世界各国直接还原铁生产进口量、新直接还... 详细信息

本文叙述了短流程钢铁冶金发展现状,即直接还原铁(DRI)结合大吨位电炉炼钢工艺流程的发展现状。这种短流程能够有效降低环境污染,是实现钢铁工业低碳发展的重要方向。本文首先收集和整理了当前世界各国直接还原铁生产进口量、新直接还原厂的投资建设以及DRI生产工艺发展等信息,介绍目前国内外DRI生产现状,重点对应用较为广泛的MIDREX直接还原铁技术进行综述。通过对国内与国外在DRI生产和使用方面的差距比较,分析国内推进DRI过程的阻碍。其次,收集和整理当前国内外电炉冶炼的投资和生产工艺发展等信息,介绍国内外电炉炼钢现状,阐述电炉冶炼向超大吨位发展的趋势。结合我国DRI及电炉炼钢现状,提出促进我国钢铁工业低碳发展的“短流程钢铁冶金”建议。

关键词：短流程钢铁冶金直接还原铁 MIDREX 电炉冶炼

在线全文

学校读者我要写书评

暂无评论

改进的实时海浪网格模型

系统仿真学报 2004年第10期16卷 2146-2148页

作者：解翠金一丞李志华刘秀文大连海事大学航海技术研究所辽宁大连116026

基于深水中的长峰波波浪模型,给出了视点相关的梯形海面网格自适应模型,能快速逼真的实时生成航海仿真系统中的多通道海浪。本算法只对每个通道可见部分的网格海面进行计算,满足屏幕图像各点的分辨率,在保证较好的图像质量的同时提高了... 详细信息

基于深水中的长峰波波浪模型,给出了视点相关的梯形海面网格自适应模型,能快速逼真的实时生成航海仿真系统中的多通道海浪。本算法只对每个通道可见部分的网格海面进行计算,满足屏幕图像各点的分辨率,在保证较好的图像质量的同时提高了绘制效率。可以通过控制网格的疏密和波浪序列的数目,灵活的控制绘图的质量和计算时间上的花费,满足不同配置的仿真应用。

关键词：自适应网格模型多通道海浪仿真航海模拟器