排序方式: 共有64条查询结果,搜索用时 46 毫秒
41.
一种防止缓冲区溢出的整数溢出检测方法(英文) 总被引:2,自引:0,他引:2
为了防止由整数溢出引起的缓冲区溢出,提出了一种简化的基于路径松弛的整数溢出检测方法.表示动态分配缓冲区大小的整型变量发生溢出,极有可能引发缓冲区溢出.该检测方法基于这一发现,在动态测试之前先进行轻量级的静态分析,跟踪与动态分配缓冲区大小相关的关键变量,保存追踪的关键变量在不同地方的取值上限和下限,并将维护信息插入源代码中.测试时通过路径松弛,在执行路径上不仅考虑追踪变量的当前测试用例值,判断程序是否出现整数溢出,还根据插入的维护信息进一步考虑追踪变量可能的取值范围,判断程序是否有可能出现整数溢出.实例研究验证了该方法的有效性,并且与同类方法相比,减少了检测量,提高了检测效率. 相似文献
42.
微博的出现为传者和受众提供了更为广阔的信息发布平台和交流平台,然而,微博迅速发展的背后却也存在着一系列的问题。为了规范网络信息传播,微博实名制从去年实名注册开始逐步走向了全部微博用户的实名制。微博实名制作为规范网络信息传播的一种手段,对于我国网络新闻业的规范及网络新闻的自由产生着举足轻重的影响。本文结合微博实名制的利弊分析,论述了微博实名制对网络新闻业的自由和规范产生的影响,并由此透视我国网络新闻业监管中存在的问题和发展的困境。 相似文献
43.
<正>近几年,我校深入开展了小班化教学,教师更加细化了工作任务,致力于使小班化教学真正让每个学生得到发展,而自主合作学习为我们提供了有效保障。我们将自主合作学习与小班化的人文教育相结合,在教与学中摸索着,在小组自主合作学习模式中实践着,学生的学习兴趣和学习主动性越来越大,自主合作学习对小学英语教学起到了促进作用。一、自主合作学习让学生更有责任感在课堂上,同伴之间的自主合作是通过教师组织学生在小组活动中实现的,学生通过同伴之间的相互交流展开学习。自 相似文献
44.
枞阳话中有两类特殊的"得"字结构——"得得/不VP"和"不得VP"。"得得/不VP"表达的是客观环境上的许可,"不得VP"表示主观猜测,二者共存于枞阳话中但其历史来源不同,"得不+VP"在枞阳话中的出现也使它"瓜分"了"不得+VP"的一些用法。二者都表现出了肯定否定形式的不对称,"不得VP"只有否定形式没有肯定形式,而"得得/不VP"表现出的是使用频率的差异,这种不对称除了有历时的动因也与"得"语义程度有关。 相似文献
45.
家庭教育是大教育的组成部分,是学校教育与社会教育的基础。家庭教育是终身教育,它开始于孩子出生之日(甚至可上溯到胎儿期),婴幼儿时期的家庭教育是"人之初"的教育,在人的一生中起着奠基的作用。孩子上了小学、中学后,家庭教育既是学校教育的基础,又是学校教育的补充和延伸。 相似文献
46.
47.
许蕾华 《四川教育学院学报》2010,26(2):87-89
道德情感是随着人类社会不断发展而产生的一种特殊的情感,健康的道德情感可以陶冶出一个人良好的人格品质。学校作为中学生成长的主要场所,在他们的成长过程中更需要进行有效的道德情感教育,尤其是在敬畏、责任、荣辱、关怀和感恩情感几方面。为增强中学生道德教育的有效性,学校道德情感教育的构建就日益显示其重要性。 相似文献
48.
许蕾 《山西教育(综合版)》2010,(6):22-22
5月3日,太原市教育局就认真落实全国综治维稳工作电视电话会议精神和省、市的部署,排查并着力消除全市中小学、幼儿园安全隐患进行了安排部署,提出了加强全市中小学、幼儿园内部管理,提高校园安全防范工作10项具体措施。 相似文献
49.
许蕾 《新校园(当代教育研究)》2009,(8)
情境教学法是指在教学过程中,教师有目的地引入或创设具有一定情绪色彩的、以形象为主体的生动具体的场景,以引起学生一定的态度体验,从而帮助学生理解教材,并使学生的心理机能能得到发展的教学方法. 相似文献
50.
机械专业是一个综合性较强的专业,具有知识密集抽象、学科交叉、实践性强等特点,如何搞好该专业教学改革,满足新形势下人才培养的需求,是本文研究的重点.通过教学实践,本文提出科研先导,教学分层,生产实践的教学思路,并进行了有益的尝试。 相似文献