课程文献中心 更多>>

关键词： 初中数学   分类讨论思想   应用  

摘要： 在素质教育不断开展的今天,数学教学逐渐从知识本位教育演变为能力本位教育,而数学解题能力的培养则是能力本位教育的重点内容。初中阶段,很多数学问题的答案往往不具有唯一性,需要学生分类讨论各种可能,因此教师更应该有针对性地培养学生的分类讨论思想。本篇论文首先介绍了分类讨论思想的内涵与要点,进一步讨论在数学解题过程中分类讨论思想的应用方式,包括深化例题讲解、注重错题分析、加强变式练习等。

关键词： 高中数学   分类讨论   函数问题  

摘要： 分类讨论是常见且重要的一种解题策略,它较好地体现了对“能力”的考查,备受命题者的关注,但分类讨论需做到不重不漏,这就对思维的严谨性提出了较高的要求,学生常常会因为考虑不全面而导致解题失误。从优化解题过程、提高解题效率的角度来思考,有些问题可简化或避免分类讨论。文章结合例题,探析在高中数学函数问题中避免分类讨论的若干策略。

关键词： 陈鸿寿   曼生壶   工艺史   中兴  

摘要： 清中期以前的紫砂工艺处于一种停滞不前的状态,既缺少新的紫砂壶造型,审美上又缺少古雅气质,屡屡受到时人的批评。陈鸿寿所创制的曼生壶,从工艺和审美的角度改造了紫砂壶,破除繁冗媚俗,复归古法古意,扭转了时风,得到了后世“壶艺中兴”的评价。值得注意的是,砂壶确属微物,是日常生活之最为寻常者。当人们谈论文化浸润日常生活时,多注意人作为社会主体的行为,而对器物较为忽略。其实器物之名与实、形与用,无不受到文化的影响,它是文化的产物,又对文化传统的承续与建构产生作用。

关键词： 全成本核算经济管理模式   医院经济管理模式   优势   绩效考核  

摘要： 在市场经济快速发展的今天,政府对卫生事业进行有效地监管,并逐步加大对医院费用支出的监管力度。为更好地应对日益激烈的医疗市场竞争,医院必须利用有效的成本核算方法,逐步减少其医疗成本支出。医院绩效评价方式的改革,进一步强化医院的财务管理,并将绩效评价体系付诸实施,达到资源合理配置的目的。在此过程中,全成本核算的经济管理的作用是突出的,在它的正确运用下,对提高医院的经营效率和经济效益起到十分重要的作用。本文重点讨论全成本核算经济管理模式的优势和意义,并分析当前医院经济管理模式的现状,最后讨论优化医院全成本核算经济管理的具体措施等问题。

关键词： 新媒体   中高职一体化   法学课程   教学改革   讨论式教学法  

摘要： 中高职一体化教育作为中国职业教育改革进程中的关键环节,有效实现了中高职知识和技术的衔接和递进,为培养更高素质的技术型人才提供了土壤。在此背景下,新媒体视域下的中高职一体化法学类课程改革有其必要性,中高职一体化法学类课程存在课程体系不完备、教学模式刻板单一、资源没有衔接共享等问题。针对这些问题,以讨论式教学转变法学类课程设置,创新法学类教学模式,实现法学类资源共享,最终实现中高职一体化法学类课程改革。

关键词： 光纤网络   入侵行为   最优节点   节点定位方法   特征向量  

摘要： 最优通信节点定位具有十分重要的研究意义,当前定位方法存在误差大,覆盖率低等缺陷,为了提高光纤网络最优通信节点定位效果,设计了一种性能优异的光纤网络入侵的最优通信节点定位方法。首先建立光纤网络,采集光纤网络通信节点信息,然后进行预处理,并提取光纤网络最优节点特征向量,基于最小支配集理论进行光纤网络入侵的最优通信节点定位,最后进行仿真测试,实验结果表明,本方法降低了光纤网络定位误差,提升了最优通信节点定位覆盖率,具有较高的实际应用价值。

关键词： 科技论文   理论概括   问题与展望   分析与评价  

摘要： 讨论虽然不是文章最重要的部分,但却是最难写的部分,许多作者会感到无从下笔。概括讲,讨论的内容为:(1)本研究的原理和概念,所用材料和方法的优缺点。(2)对所得结果的分析与评价,从结果引出的推理和结论,尚待解决的问题与展望。(3)对本研究的结果进行理论概括,提出新观点,新假设。(4)对各种不同的观点和学说进行比较和评价,提出今后探索的方向。

关键词： Ni(Ⅱ)配合物   溶剂/热致变色及原理   问题分析与探讨  

摘要： 介绍南京大学为“第10届全国大学生化学实验邀请赛”设计的“无机及分析化学实验试题”,即“配合物[Ni(Me_(3)en)(acac)]BPh_(4)的合成及其溶剂/热致变色行为研究”实验中有关溶剂/热致变色行为研究部分实验实施过程、结果及其有关问题探讨内容等。以所展示的详细直观的溶剂/热致变色实验现象启发学生探讨和解释其溶剂/热致变色的原理,总结其溶剂/热致变色规律,让学生直观认识配合物的结构决定其性质的涵义,培养学生分析、判断、归纳、总结的能力以及批判性思维能力。

关键词： 形式化方法   定理证明   约束求解   符号执行   计算机系统   模糊测试   模型检测   系统安全  

摘要： 随着计算机系统在工业和生活中越来越广泛的应用,软件和硬件的可靠性受到越来越多的关注.形式化方法使用严格的数学语言对计算机系统建模,并在计算机的辅助下验证系统的正确性.与测试不同,形式化方法可以完全排除某些类型的错误.约束求解和定理证明是形式化方法中的两大关键技术.在约束求解方面,SAT和SMT求解器已经在学术界和工业界得到了广泛应用,比如SAT求解器用于EDA领域的等价性验证,SMT求解器用于程序验证和白盒模糊测试等.交互式定理证明通过人和计算机之间的交互完成证明,能够验证非常复杂的系统和性质,例如编译器和操作系统的正确性验证.约束求解与定理证明专题关注约束求解和定理证明的理论、技术、工具与应用,包括在EDA、符号执行、模型检测、程序分析与验证、系统安全等领域的应用.

关键词： 学术论文   个人见解   遗留问题   认识水平   文献比较   意义和实践   意义评价   理论阐述  

摘要： 讨论是学术论文的重要组成部分,是结果的展开、延伸和升华,是作者表达个人见解、阐述学术思想把实验结果提高到理论高度的部分。讨论的目的主要是回答“研究出什么?”的问题,是论述本文在选题、方法、结果等方面与过去文献比较的异同和优劣,并从中引出新的观点、结论,探求新的规律。讨论部分可反映作者对研究的认识水平。讨论的主要内容包括与该研究相关的理论阐述、理论意义和实践意义评价、研究进展和遗留问题等。