排序方式: 共有6条查询结果,搜索用时 8 毫秒
1
1.
2.
4.
在室外体育课中结合学龄期的智障学生的身心特点.进行运动康复,通过加强他们的文明意识,健康意识、安全意识、进取意识、心理素质和道德意识等方面,培养智障学生良好的行为习惯。 相似文献
5.
对水轮机组运行在某一负荷区域时定子铁芯在某一方向发出"吱吱"响声的现象进行了分析,得出定子铁芯合缝不严、松动、产生"冷态振动",是造成水轮机组运行在某一负荷区域时定子铁芯发出"吱吱"响声的原因,采取了更换拉紧螺栓、压紧铁芯及压指松脱处理等措施,使原来铁芯发出的"吱吱"响声消失,机组运行状况良好。 相似文献
6.
抽象解释为程序不变式的自动化生成提供了通用的框架,但是该框架下的大多数已有数值抽象域只能表达几何上是凸的约束集.因此,对于包含(所对应的约束集是非凸的)析取语义的特殊程序结构,采用传统数值抽象域会导致分析结果不精确.针对显式和隐式含有析取语义的循环结构,提出了基于循环分解和归纳推理的不变式生成改进方法,缓解了抽象解释分析中出现的语义损失问题.实验结果表明:相比已有方法,该方法能为这种包含析取语义的循环结构生成更加精确的不变式,并且有益于一些安全性质的推理. 相似文献
1