排序方式： 共有3条查询结果，搜索用时 15 毫秒
1
1.
逻辑化方法是当前分析密码协议安全性的重要方法．本文通过运用一种新的认证逻辑系统，给出NSL认证协议的形式化分析证明，并提出协议改进方案． 相似文献
2.
2002年正月初六上午,江苏省徐州市汽车客运东站走出一位老态龙钟的花甲老妪,老人前来寻认出走整整17年的儿子,由此拉开了本文的序幕……一、气傲少年离家出走1968年深秋的一个夜晚,小栓出生在安徽省萧县祖楼的一个许姓农民家庭。母亲张西凤强忍刚刚分娩的阵痛,望着丈夫许忠明怀中刚出世的儿子,苍白的脸上浮现一丝喜悦。憨厚的许忠明抱着儿子乐得亲了又亲,是啊,千百年来中国农村根深蒂固的封建观念:多子多福呀!孰不知儿多母受苦。家中原有一子小华,许忠明对小栓更是格外疼爱,每逢赶集总是给小栓带回油饼、果子之类的食品。这在当时农村孩子的… 相似文献
3.
袁亚飞 《中学英语之友(新教材高一版)》2015,(1)
在教学过程中,教学评价是教学的一个重要的组成部分。教师要在教学过程中,对学生学习情况进行一定的评价。如果没有评价的过程,教学活动就变成了一种毫无反馈的一种古板的说教,整个教学过程就只是一个单一的执行过程,而不注重教学的成果。由于传统的教学模式还在人们的心中根深蒂固,经过一段时间的学习,教师对学生的学习情况进行一个终结性的评价。这样的教学模式是不完善的,因为教师在教学过程中,不能根据学生的接受情况及时地调整自己的教学安排。在高中英语的写作教学中,有些教师还在实行终结性评价,这在一定程度上阻碍了教学的发展。幸运的是,在新课标中,提出了形成性评价的概念,并在教学活动中,展开了很好的应用。 相似文献
1