浅析人才成长规律

培养和发现人才是当前我国社会发展之急需解决的问题之一。本文对人才成长规律作了简要分析．并对人才成长的三因素作了讨论。     

配平化学方程式有绝招

初中教材（人教版）——《九年级化学》中较难配平的化学方程式：Fe2O3＋3CO高温↑=2Fe＋3CO2的配平的简便方法，以及这类反应的配平都遵循的规律：看氧化物中氧的原子个数是几，就在还原剂前先添计量数几，然后再利用观察法配平，若各计量数有公约数，再化简即可。     

规范社会团体在非物质文化遗产保护中的行为

非物质文化遗产的保护,社会团体扮演着非常重要的角色.但是,在我们畅想未来的时候,还应该"未雨绸缪",防止社会团体滥用社会赋予它的地位和权利,去牟取本团体的小利益.这也正是本文的立意之所在,希望我们在开展非物质文化遗产保护工作之初,就为将来可能出现的问题,做好了准备,即为社会团体参与非物质文化遗产保护设定行为规范.     

先秦逻辑学家对矛盾律及逻辑矛盾的理解

先秦时期我国逻辑学家对矛盾律及违反其要求而出现的逻辑矛盾做出了自己的理解;这种理解经历了三个阶段:即不准确的理解、对错相杂的理解和准确的理解;这表明先秦逻辑学家对矛盾律及逻辑矛盾的理解经历了由不准确到比较准确,再到准确的发展的历程。     

应用L’Hospital法则求解未定式极限的研究与分析

L’Hospital法则是求解未定式极限的一种简便、有效的方法。文中通过对L’Hospital法则的定理和相关例题的分析,归纳总结了未定式的类型、具体的化简转化方法以及在使用该法则时需要注意的5个方面,以此来帮助学生对这一法则的应用更好的理解和掌握。     

含负词项的三段论研究

基于词项逻辑的逻辑常项即词项联结词A、E、I、O的逻辑性质如对称性、周延性(范围和方向),可以建立三段论的新方法———替换中项法,来同时解决三段论的判定问题、直接的推理或者直接的证明问题,最后形成包括24个经典有效式的非经典三段论体系。经典三段论的规则立足于直言命题的四个组成要素:主项,谓项,量项和联项来判定三段论的有效性是不恰当的。     

谈高数教学中大局观的培养

本文通过分析一个高等数学学习过程中容易出现的循环论证，揭示出产生错误的根源在于整体知识结构的缺乏。针对当前高职教育的特点，提出教师在教学过程中注重基本技能训练的同时，要适当地给予大局上的指导。     

把握学生认知规律 树立正确的数学教学观

在数学教学中,教师要把握学生认知规律,树立正确的教学观,通过找准切入点,梳理知识点,激发兴奋点,培植创新点促进学生主动学习,培养学生解决问题能力和创新能力。     

竞赛规则的改变对自由式摔跤技、战术产生的影响

2004年国际摔联对国际式摔跤竞赛规则进行了修改。竞赛的规则引导着技术的发展,通过对2004年全国男、女自由式摔跤总决赛进行了技术统计,对规则改变后技术发生的变化进行了研究,分析与讨论自由式摔跤技、战术的发展趋势。规则的改变给摔跤运动带来巨大的变化,也将继续引导着摔跤运动朝着更加激烈精彩,对抗性更强的方向发展。使自由式摔跤由过去的跪撑角斗为主要得分手段转变为以站立角斗为主的技术趋势。     

Metriken und Regeln für eine zustandsbasierte SW-Entwicklung im Automobilbereich

Zusammenfassung Im Folgenden wird ein prototypisches Werkzeug zur Qualit?tssicherung im modellbasierten Entwurf vorgestellt. Mit diesem Programm kann eine automatische überprüfung von Modellierungsregeln an zustandsbasierten Modellen erfolgen. Des Weiteren ist eine Bewertung des Gesamtsystems durch Software-Metriken m?glich. Der Prototyp namens Regel Checker wurde im Rahmen eines Automotive-Projekts entwickelt und eingesetzt. Mit Hilfe des Regel Checkers k?nnen Modellierungsregeln und Software-Metriken in OCL bzw. Java definiert werden, um Inkonsistenzen, Inkompatibilit?ten sowie Designfehler zu analysieren und zu bewerten.

---

In the following, a prototypic tool is introduced for quality assurance in model-based design. Automatic checking of modelling rules in state-based models can be done with this application. Furthermore, an evaluation of the total system is possible by means of software metrics. The prototype called rule checker has been developed and used in a automotive project. With the Rule Checker, modelling rules and software metrics can be defined in OCL and/or Java in order to analyse and evaluate inconsistencies, incompatibilities as well as design errors.

CR Subject Classification D.2.2,D.2.4,D.2.8