Java面向对象语义的一种代数描述方法

运用代数语义学的基本理论给出了用于描述面向对象语言抽象语义的几个关键概念,并在此基础上给出了Java面向对象语义的一种代数描述模型的框架.     

拓扑向量空间中向量极值问题的广义鞍点及对偶定理

【目的】研究拓扑向量空间中向量极值问题的广义鞍点最优性条件及 Lagrange对偶问题。【方法】引入拓扑向量空间中广义次似凸映射和择一定理,并以广义鞍点理论为分析基础。【结果】在刻画广义鞍点性质的基础上构建了拓扑空间中广义鞍点与向量极值问题弱Pareto最优解之间的关系及其对偶定理。【结论】理论分析结果表明向量极值问题的广义鞍点是弱Pareto最优解的必要不充分条件,给出了目标函数在其约束映射满足广义 Slater约束规格条件下的 Lagrange强、弱对偶定理。
     

体育教育专业复合型创新人才培养规格的多视角分析

采用文献资料、专家访谈、综合分析等研究方法,探讨体育教育专业人才培养规格与培养目标、培养模式的关系,比较我国普通高校体育教育专业5套教学计划的培养规格,思考体育教育专业复合型创新人才培养规格的基本要求,旨在提高人才培养质量,适应社会发展的需求.     

浅谈微细电磁漆包线的发展与应用

微细电磁漆包线指线径规格小于Ф0．6mm的漆包线，在实际工作中一般指规格小于Ф0．2mm的产品。     

分层教学在技能教学中的应用

<正>在技能教学中实施分层教学,能够为培养多规格、多层次人才打好基础,既可以树立学生的学习信心,培养学生学习兴趣,又可以优化教学方法,使学习者想学、会学、乐学.     

从教育实习看师范生能力培养的现状和改革

本文学生在教育实习的现状，提出了师范院校学生应注重能力培养的几个方面，并从师范学生培养规格方面， 分析了其智能结构的关系，提出了一些看法。     

软件测试初探

软件开发和使用的历史已经留给了我们很多由于软件缺陷而导致的巨大财力、物力损失的经验教训。这些经验教训迫使我们这些测试工程师们必须采取强有力的检测措施来检测未发现的隐藏的软件缺陷。软件测试正随着软件的成熟而不断成长。软件测试就是在软件投入运行前，对软件需求分析、设计规格说明书和编码的最终复审，是软件质量保证的关键步骤。软件测试就是为了发现程序中存在的错误、缺陷而执行程序的过程。     

ObjectARX开发AutoCAD的分页打印程序的研究

叙述了分页打印的设计思想，并给出了具体的步骤、方法。     

树目标 抓管理 创建严实活的教风

<正> “如何办好高专”是我省各高专面临的共同问题。尽管我们对高专办学模式目前尚无明晰的看法,但在几年来的实践中,我们不断探索和总结,在教学管理上逐渐形成了一套较为有效的办法,现简略整理如下,求教于同仁。     

环境科学本科专业人才培养模式探讨

在分析环境科学学科特点的基础上，结合我国对专业人才的需求状况、培养规格要求，提出环境科学本科专业“强化基础，多模式培养，辅修专业”的人才培养模式，即在全学程中，前两年修读公共基础课、专业基础课，后两年按污染治理与资源化、环境规划管理与评价、环境化学、环境生物学四类，并以前两类为主，按社会需求及学生意愿进行分流，多模式培养，辅修科学、化学、生物等学科师范教育专业，主动适应社会需要、环境科学学科发展趋势、就业多元化的要求。