高职《电机与拖动》课程教学探讨

本文就如何提高学生的实践技能,适应社会发展需要,围绕高职《电机与拖动》课程展开教学讨论,并归纳出三步教学方法,取得了理想效果。     

浅议大学英语的阅读基础与阅读技能

夯实阅读基础、掌握阅读技能是大学生全面提高阅读理解水平的两个重要方面。离开阅读基础,犹如无根之木、无源之水;缺少阅读技能,恰似一堆枯木、一潭死水。两者缺一不可,相互依存。作者正是从两者的辨证关系中解答了如何打好阅读基础和如何掌握阅读技能的方法及步骤,在教学实践中是切实可行的。     

初等不等式的可读证明的自动生成

结合不等式的证明及可渎证明的自功生成这两个问题，以初等不等式及部分三角形不等式为研究对象，运用人工智能的技术，对目标不等式、条件及证明方法分类模型化的方法，实现了一个基于规则的逆向演绎系统，它能证明大部分初等不等式及部分三角形不等式的真伪并可自动产生符合人类思维习惯的可读的证明过程，该系统可以移植到智能教育软件中。     

融合创新与商务英语专业教学

融合创新是新时期高等教育的命脉．商务英语专业教学的融合创新应成为学生能力培养的理论指导，教学模式的确定、培养目标的实施都应以融合创新为准绳去进行探索和构建．探讨在新形势下本专业培养目标的确定、为此目标而进行的课程设置以及此目标实施的途径和方法．     

结合免疫功能的遗传算法及其在技能模糊控制中的应用

技能模糊控制系统的自动化是模糊控制范畴的一个重要研究方向，其意义在于这种控制普遍存在于生产过程和人类的日常生活中．但是，如何依靠运动参数而不是运动或行为规则来进行控制，这个课题一直未能很好的解决．本文提出利用基于免疫机制的遗传算法进行隶属度函数的学习，同时简化运动方程，并通过实例验证了该方法的有效性．     

风能资源及测风数据整理技巧

风电场区域范围内的风能资源蕴藏状况，是开发风力发电项目最基础的组成因素，能否充分地掌握其完整而可靠的资料，将是工程顺利的保证，项目成功和避免投资风险的关键所在。然而，预选风电场的风能资料，必须经历布点测风、数据(包含场外相关资料)收集、分析整理和汇总过程。如果某个环节出现缺陷和差错，资料的可靠性即将降低，项目的风险就大大增高，这是人们不愿意看到的结果，为此，从定义、要求、不利因素及技巧方面进行讨论，期望从根本上提高风力发电项目的可靠性和项目效益。     

Authorware后期制作研究

介绍了使用Authorware多媒体制作软件进行课件开发的方法，讨论了使用软件过程中的简化程序、调试程序、程序打包及网络运行文件生成等关键技术，同时对Authorware在后期制作中的经验、技巧作了介绍。为使用Authorware开发课件的人员提供有益的借鉴。     

间接论证的思想方法

在大学数学和其它学科中,逻辑论证是常用的证明方法.它可分为直接论证和间接论证,一些定理、结论和习题的证明,不是采用直接的论证,而常常需要通过证明其它的论题,来确定原论题的真实性,这种方法,称为间接论证.笔者总结数年的教学经验,从逻辑论证的角度出发,对此方法进行研究、归纳,以期在证明中做到有的放矢,灵活运用.     

三重积分计算解题法研究

通过三重积分计算问题一题多解实例，探讨计算三重积分问题的基本思路和方法，分析总结计算三重积分问题的技能技巧．     

A Skeptic's Approach to Combining HOL and Maple

We contrast theorem provers and computer algebra systems, pointing out the advantages and disadvantages of each, and suggest a simple way to achieve a synthesis of some of the best features of both. Our method is based on the systematic separation of search for a solution and checking the solution, using a physical connection between systems. We describe the separation of proof search and checking in some detail, relating it to proof planning and to the complexity class NP, and discuss different ways of exploiting a physical link between systems. Finally, the method is illustrated by some concrete examples of computer algebra results proved formally in the HOL theorem prover with the aid of Maple.