民办普通高校体育教育存在问题及对策研究

随着教育多元化趋势发展及选择性教育消费需求的增长，作为我周高等教育新生力量的民办高等教育，无论是在规模土还定在教育质量上，都得到了迅猛的发展。但由于师资力量的缺乏、办学经费的不足以及管理制度的不完善等诸多不利因素，在办学水平上，与公办高校相比，民办高校还存在一定差距。在这其中，尤其是体育教育严重滞后。民办院校体育工作整体办学水平实力不强，社会认可度不高，可持续发展能力较弱，出现了许多亟待解决的问题。本文就民办高校中体育教育存在问题做一综述，并提出相关建议。     

独立学院电气工程及其自动化实践教学探索

实践教学是培养学生实践能力、创新能力和综合能力的关键环节,对于增强学生的综合能力以及社会适应力都有重要作用。独立学院作为应用型人才的培养基地,发挥实践教学的作用显得尤为重要。该文总结广州大学松田学院现行实践教学中存在的主要问题,逐步分析问题形成的原因,在此基础上结合电气工程及其自动化专业本身特点,在实验教学、毕业论文等多个方面提出新的改革方式,进而开展多层次、多渠道的实践教学改革,对促进独立学院教学工作具有重要意义。     

基于g函数的多元copula的构造

针对目前多元copula的构造方法存在的局限性,提出了构造多元copula的新方法.本文首先定义的一类新的函数-g函数,基于g函数建立了2-copula的构造方法,并讨论了该方法的存在性与唯一性问题,然后将2-copula的构造方法直接扩展到n-copula构造的情形.最后给出了g函数的一种寻求方法,从而说明此copula构造方法的可行性.     

ATCase:一个基于多项式约束求解的数值程序测试用例自动生成工具北大核心CSCD

现有的基于符号执行的测试用例自动生成技术存在不足之处:由于精度限制和非线性约束求解的复杂性,符号执行在遇到复杂的非线性浮点约束时效果并不理想.针对这一现状,给出了一个基于多项式约束求解和区间验证的测试用例生成算法.对于复杂非线性约束难以求解的问题,采用基于低秩矩量矩阵恢复的多项式系统求解方法,该方法对于含有等式和不等式的多项式系统,相较于其他方法求解速度更快,更适合大规模问题的求解;对于浮点约束求解不准确的问题,采用基于区间分析的验证算法来计算包含精确实解的区间,基于该区间给出测试用例,可以避免浮点计算的不准确和异常.结合该算法和符号执行工具KLEE-FP实现了一个测试用例自动生成工具ATCase(automatically generate test case),它能够分析数值程序中的路径并自动生成满足路径约束的测试用例.在两个开源软件库中的2两个复杂的真实程序上运行的实验结果表明ATCase相比KLEE-FP所使用的STP求解器,能快速生成具有更高覆盖率的测试用例,特别是在处理相对复杂的非线性约束时,优势更加明显.     

开设综合性、设计性实验教学探讨

综合性、设计性实验是培养学生综合能力和创新能力的重要途径。文章就高校开设综合性、设计性实验的必要性,开设综合性、设计性实验应注意的问题,教师在综合性、设计性实验教学中的地位以及建立完善的实验成绩评价体系等方面进行了分析并提出了一些见解。     

近45年来石河子垦区气温与降水量变化的关系研究

利用石河子垦区1960～2004年的气象资料,分析近45年来该垦区气温与降水之间的关系。结果表明,从20世纪60年代至21世纪初,气温呈上升趋势,降水量也呈增加趋势。全年中春季、夏季降水量随温度上升变化不明显,二者表现出显著线性相关;秋季,冬季降水随气温上升而增加,相关关系显著,可利用二次多项回归方程量化表示。这样,可以了解该垦区气温与降水关系,来预测未来的降水趋势提供信息,对合理利用本地气候资源具有实际意义。     

“综合型-设计型-研究型”实验教学模式的探索

综合型－设计型－研究型实验是改变传统教学模式、提高实验教学质量、培养学生独立操作能力和创新性思维的重要手段之一,也是实现实验教学全面改革,促进人才培养方案实施的必由之路。文中从教学内容和方法、实验室管理及考核方式等方面对生物专业实验教学模式进行探索与研究,建立了“综合型－设计型－研究型”的实验教学模式,取得了良好的教学效果。     

浅析我国驼峰溜放车辆调速系统

铁路编组站对溜放车辆的速度控制是驼峰作业能力和编组站效率的重要标志,也是调车作业的关键。我国编组站的调速技术经过三十多年的发展,调速设备和系统不断改善,为实现编组站的现代化发挥了重要的作用。     

一种构造阿基米德Copula生成元的方法

阿基米德Copula族在经济、金融方面有着重要的应用,它们是由某些单调递减凸函数所生成的一类Copula,这类单调递减的凸函数被称为生成元．不同生成元所生成的阿基米德Copula具有的性质也完全不同．通过g函数,找到了一种通过某些连续的一维分布函数构造阿基米德Copula生成元的方法．另外,讨论了生成元与g函数之间的关系,从而在某些情况下可以扩展阿基米德Copula族．     

加快建立健全梁子湖流域生态补偿机制的对策思考

该文基于梁子湖及其流域的特殊性，分析了梁子湖流域生态补偿机制的现状，研究提出了建立健全梁子湖流域生态补偿机制创新的工作方向与对策建议。