重写的数学作业日记

重写的数学作业日记（通用7篇）

重写的数学作业日记 篇1

重写作业-作文

我并不是不能把字写好，然而我经常为了尽快完成作业，把字写得很潦草。以前我总能侥幸过关，但这一次我终于被老爸收拾了。

这次教训，让我刻骨铭心。星期五下午，我一路哼着小调回到了家。我准备速战速决，争取在上书法课之前写完所有作业。可是，数学作业刚写到一半，那个在对付我的教育战争里，令我望风而逃的老爸回来了。看着作业本上潦草的`字迹，我不禁打了一个冷颤，心想：完蛋了，这次肯定要挨骂!幸运的是，正在这时婆婆喊我们吃晚饭了。我吃饭时偷偷地想，这次我又可以混水摸鱼了，等上完书法课后，老爸肯定会忘了这件事情的，想着想着脸上还露出了狡黠的微笑。

然而，事情的发展并不是我希望的那样，上完书法课后，我仿佛进入了悲惨世界。刚一回到家，老爸就让我把数学作业拿出来给他检查。老爸一看到我潦草的书写，马上就火冒三丈，好像要把我吃了一样。我无奈地想：要指望老爸不撕掉数学作业，那真是异想天开。我只能默默地祈祷：老天保佑，老爸千万不要再让我拿语文作业给他检查。可是，无论怎么祈祷也无济于事，我最担心的事还是发生了。果然，老爸检查完作业后，所有的作业不是被擦光就是被撕掉，全都需要重写，我彻底地绝望了。但是，第二天，我跟爸爸一起做完作业后，拿着重写前后的作业一对比，差距实在是太大了，认真写的作业远远比漫不经心写的作业好太多了，我会心地笑了!

这件事告诉我，做事一定要认真，要不然会聪明反被聪明误，结果自作自受、自讨苦吃。从此以后，我一定会好好写作业，认真学习，踏踏实实地做好每一件事!

重写的数学作业日记 篇2

一、心语日记———学生敞开心扉的场所

日记可以畅所欲言, 例如:学习中碰到的困难、对老师或同学的意见、自己的心里话、学习后的反思等, 或因害怕老师或碍于面子不敢说的均可写到日记里.教师针对各学生的情况及时给予回复及帮助, 这样不仅能让每名学生心里的疑团云开雾散, 而且还能体验到老师是多么关心他们, 激发他们以更大的热情投入到学习中, 增强学生的自信心.

这些数学日记就如同是一面镜子, 折射出我的教学, 折射出学生对我的态度, 它时刻提醒我要不断地了解学生, 改变自己.它还拉近了我与学生的距离, 促进了我与学生的交流, 拓宽了我与学生交流的空间, 和谐了师生关系.

二、反思日记———成为师生互动的平台

教学活动是师生的双边活动, 学生是学习的主体.只有全面了解学生, 教师的指导才能有的放矢, 教学效果才能达到最优化.教师可以从学生写的数学日记中了解到学生理解问题的方式, 看到他的解题思路、推理过程、数学方法的掌握情况以及存在的问题, 这不但有利于教师及时掌握每名学生的学习情况并加以帮助, 更有利于提高教师自己对学生数学学习心理过程的分析、把握能力以及教学调控能力.而学生通过写“反思”型日记, 能从中学会反思, 学会学习.主要类型有:

1. 归纳总结型

大教育家孔子说过:温故而知新.总结型日记要求学生反思数学课上讲了什么、学到了什么.在日记中有目的地对知识点进行整理, 加深对知识的理解与掌握, 将新信息纳入已有的知识体系中, 并重新对认知结构进行改造或重组.

例如:今天, 我们学习了直角、锐角、钝角、平角、周角, 我给它们排排队, 应该是:周角>平角>钝角>直角>锐角, 或锐角<直角<钝角<平角<周角.

2. 质疑问难型

儿童生来就有好奇心, 他们越是不断探索周围的世界, 了解周围的世界, 就越是从中得到满足.这种满足感, 作为一种“激励”, 又会进一步强化他们的求知欲, 即增强他们的认知内驱力.因此, “提问”是学生学习的重要组成部分.但由于教学时间、学生身心发展特点的影响, 许多学生在课堂上没有时间或不愿提出“质疑”, 质疑问难型数学日记则提供了质疑问难的新途径.学生把数学课堂及其他数学活动中遇到的问题或产生的疑惑, 通过日记的途径向老师提出, 以寻求教师或同伴的帮助.

例如:许多学生在数学日记中写到:“我学了三角形面积后, 不知怎么的, 做作业时总是会忘记公式, 怎样才能记住它呢?老师请指教!”学生的困惑引起了我的反思, 我的教学在哪里出了问题?我回忆了自己的教学过程, 我让学生用两个完全一样的三角形拼成一个平行四边形, 学生却不明白老师的用心, 老师预先设置了一个陷阱, 让学生往下跳, 这怎么还叫自主探究呢?我为什么不放开来让学生自己去寻找解决的方案呢?第二天, 我在数学课上让学生自己想办法通过操作找出长方形、平行四边形、三角形和梯形之间的关系, 几个同学一组进行合作学习, 并要求通过画图的方式进行汇报.当天的作业做得非常好, 日记效果也很好, 有的学生不但写出他们是怎样学习的, 而且还大胆地提出很多自己的看法.通过写数学日记让学生有了新的认识, 很多学生在数学日记中提出了在课堂上没有想到的问题.

三、观察日记———找到数学与生活的联系

《数学课程标准》中指出, “教师应该充分利用学生已有的生活经验, 指导学生把所学的数学知识应用到现实中去, 以体会数学在现实生活中的应用价值.”通过学生一篇篇的数学日记, 我感到很欣慰, 虽然有些日记还很稚嫩, 但我发现这些孩子已经在用数学了, 已经能体会到数学在生活中的用处了.

有一篇是这样写的:“今天是星期天, 因为我特别爱吃炒鸡蛋, 所以妈妈今天特地教我做炒鸡蛋.摸着鸡蛋光滑的壳, 我突然想到桌子的表面、门的表面都有边, 那么鸡蛋表面的边在哪儿呢?没有!我接着想, 鸭蛋、鹅蛋、乒乓球……它们的表面也没有边!对啊, 凡是像球一样的物体的表面都没有边!我为自己的这一发现高兴得跳起来.”鸡蛋是生活中常见的事物, 这名同学却通过观察和思考, 想到”鸡蛋表面没有边“这一常人不易察觉的数学问题.老师的评语是:观察敏锐, 思维灵敏, 想象丰富.又如:有收集数学资料的, 如数学书4.80元, 爸爸身高1.70米, 我国陆地面积960万平方千米等;有测量各种数据并计算的, 如测量得出一个自行车轮的直径为70厘米, 并计算出周长为3.14×70=219.8 (厘米) ;有记录日常生活的, 如我早上7:30上学, 中午12:00到家.从我家到学校要走820步, 大约有450米;有记录新闻事件的, 如神舟五号飞船于2003年10月15日9时左右发射升空, 载着我国第一位宇航员杨利伟在太空愉快地绕地球飞行了14圈, 于10月16日6时左右成功返回地球, 共飞行了21小时.

类似上面的日记很多, 我只是举些例子, 孩子的语言充满童趣.虽然日记质量不是很高, 但这些知识都是学生自己努力在生活中找到的, 它使学生体验到成功, 有利于学生对数学产生兴趣.这样也促使学生主动地用数学的眼光去观察生活, 去思考生活问题, 让生活问题数学化, 让数学问题生活化.

学生数学作业日记的实验 篇3

一、交流的形式

在平时的教学中，通过作业的批改，督促检查和了解学生对知识的掌握情况，一般只是判断对错，问题比较多的再集中讲评.然而，面对数学中的文字、数字、字母、符号，从内涵到形式都比较抽象，光有一个对或错，难以得到数学题外的信息，师生之间的交流缺乏亲和力.因此，我以作业为交流的平台，让学生在作业过程中，适当写点日记，不拘形式，畅所欲言，同时，老师批改作业时，也就除了评对或错之外，还要写些评语，写些鼓励的话，或者指出该题所考查的知识点，解答的方法、技巧等，这样的作业批改仿佛是一条“师生热线”.

二、实验的体会

尽管在实验过程中，教师的工作量增加了，但从中也更能发现问题，使教学更有针对性，师生关系，特别与基础差的学生之间的关系更加融洽，教学效益自然就提高.在2012届我所带的高中毕业班中，两个理科班重点、本科上线率都是100﹪.

1.作业日记有助于学生能力的培养

学生在作业日记中，通过形式多样的方式，一方面既反映自己对数学问题的认识，另一方面又提高了自己的语言文字表达能力.

（1）答题流程

每天的作业都是为了巩固当天所学知识，对于刚学新知识的学生来说，有些答题的流程不是很熟练，就需要他们在写作业的过程中，用自己的方式将它进行梳理.这样，在学生的作业日记中，部分学生不满足于简单的罗列，也有尝试用图表、箭头、口诀、形象比喻、图形等独创方式对当天所学知识构建网络，对知识进行再加工，从而提高了概括能力，弥补了单纯做题的不足，杜绝了抄作业的现象.比如，在高一学习完函数的单调性证明一课后，大多数学生都先将证明的流程写在旁边：“设值→作差→变形→判断→下结论.”参照流程再去答题，有助于学生理顺思维能力，规范答题过程，提高分析、解决问题的能力.我的评语：“按图索骥，功到自然成.”

（2）学习感受

在学习数学的过程中，基础差的学生会反思得失，将自己的上课心情写进作业日记里.如一位学生写道：“我今天上数学课特别专心，听懂了，作业能轻松完成，看来专心听讲才行.”我的评语：“专心听课，高效诀窍.”又如，一位学生在完成我布置的自选题之后，写道：“攻下自选题已是很晚了，高兴得不想入睡，心情好爽.”我的评语：“不经风雨，怎见彩虹？”

也有学生先预习并完成练习册上的题，不会做的写个记号，在作业日记中写道：“这段时间里学得主动，尝到了先预习后听课的甜头.”我的评语：“持之以恒，必成大器！”

（3）个人建议

基础差的学生对老师难免有敬畏的心理，所以平时老师要多参与学生的活动，我就经常与学生打球，有时会问一问学生家住在哪个区？这样，学生会觉得老师在关心他们，从而拉近师生之间的距离，学生就会主动地向老师反映学习中存在的问题.比如，有学生在作业日记中写道：“这几天您讲得有点快，班上许多学生都跟不上，能不能讲慢点，讲细些.”我的评语：“实话实说，共同进步.”这种豁达的心胸也是民主作风的体现，有利于师生间的交流与沟通.

（4）问询求助

在学习过程中，学生难免对某些知识点存在疑惑，或与老师有不同的想法.如：“这道题我用老师今天讲的方法做不下去，请问我的解法行吗？”我的评语是：“你很有才，你的奇思妙想真好，老师介绍的是通性通法，也可行.”又如：“近段时间我很刻苦，但考试成绩不理想，不怎么用功的同学分数反而比我高，我是不是太笨？”我的评语：“功到自然成，考试中做好细节，肯定会有大进步！”这种答疑解惑有针对性，既解决了问题，又培养了学生开放、健康的心理.此外，我还通过个别交谈、课堂上关照或与班主任、家长、学生的好友联系，多管齐下地与学生交流.

（5）自我展示

如果在作业日记中，发现学生的亮点，要及时将它放大.如在一堂高三复习课上，我讲了一道题：

题目（2010年全国高考数学Ⅰ，理12）已知在半径为2的球面上有A，B，C，D四点，若AB=CD=2，则四面体ABCD的体积的最大值为（ ）

A. B.

C.2 D.

我在课堂上，直接将四面体ABCD分割，找到体积取最大值时的条件，但有位学生却从一个更简单的平面几何问题：已知在半径为2的圆O上有A，B，C，D四点，若AB=CD=2，AB、CD的中点分别为O1、O2，则△O2AB面积的最大值是 ？襉？襉.

如图1，由AB=CD=2，知AB、CD的中点O1、O2，同在以O为圆心，为半径的圆上运动，易知：当O、O1、O2三点共线时，△O2AB的面积最大，最大值为×2×2=2.

将这种解题的思维作类似地迁移就容易得到该问题的解答.

分析：由球面上AB、CD四点满足AB=CD=2，若AB、CD的中点分别为O1、O2，知AB、CD分别是球O中直径为2的截面圆O1、O2上的动直径. 此时，O1、O2在以O为球心，为半径的球面上运动的点，圆O1、O2所在平面同时与球O相切，切点分别为O1、O2，当O1、O2关于球心O对称时，△ABO2的面积最大；同时，当CD⊥AB时，即CD⊥平面ABO2时，四面体ABCD的体积最大.

解析：根据对称性可以构造如图2的模型，当两个截面圆的圆心O1、O2关于球心O对称时，此时△ABO2的面积最大，最大值为S=×2×2= 2.

当CD⊥AB时，由于O2O1垂直两个截面圆，则CD⊥平面ABO2，此时四面体ABCD的体积最大，最大值为V=×S×CD=×2×2=.故选B.

看到这种思路，使我感受到“千里马常有，而伯乐却不常有”的道理，课后我指导该学生写了一篇论文，获“通讯杯”特等奖，还发表在《数学通讯》2012年第3期上.

2.作业日记有助于学生的高效反馈

有效的反馈机制是目标达成的必要保障.教师及时地、有针对性地调节教学，而学生参与自我评价，可大大地改善学习的进程.作业日记内容的个性化使反馈信息生动、真实、丰富，不拘形式，教师对学生情况的掌握更加全面，不仅能获得认知方面的信息，还能了解基础差学生的心理、性格、情绪、兴趣等，使课堂教学更加高效.

3.作业日记有助于融洽师生间关系

根据学生的作业日记，教师写出评语，有的放矢，能发挥情感交流在数学教学中的作用.因为文字的评语更能打动人，学生更能感受到被关爱；在课堂上适当引用学生作业日记语言进行说理，学生就更加开心.比如，在课堂上介绍前面那位学生的解法，并宣布获“通讯杯”特等奖，还发表在《数学通讯》2012年第3期上，其他学生都投以羡慕的目光，这位学生也得到了莫大的鼓励.

三、注意的问题

教师要讲清作业日记的作用、推荐常用的模式、观摩好的作业日记、表扬与督促相结合、循序渐进地让学生养成作业日记的习惯.

作业日记要避免流于形式，这就要让学生尝到甜头，变“要我写”为“我要写”.平时，教师要有平等和民主的意识，充分尊重学生，让学生明白，作业日记能使师生共同成长.

作业日记可长可短，有想法就写多些，有时一句话也行，关键是事半功倍，有助于学生掌握知识，规范表达方式.

责任编辑 罗 峰

在平时的教学中，如何让部分基础差的学生树立信心，融洽师生、学生之间的感情？我尝试建立一种经常的、有效的交流形式：写数学作业日记，即在作业中适当写一些当天的“痕迹”.这既能让教师全面而又深入地了解学生，又能洞查个别典型的变化，学生借此还可以倾吐心声，寻求帮助、甚至提建议，共同提高教学效益.

一、交流的形式

在平时的教学中，通过作业的批改，督促检查和了解学生对知识的掌握情况，一般只是判断对错，问题比较多的再集中讲评.然而，面对数学中的文字、数字、字母、符号，从内涵到形式都比较抽象，光有一个对或错，难以得到数学题外的信息，师生之间的交流缺乏亲和力.因此，我以作业为交流的平台，让学生在作业过程中，适当写点日记，不拘形式，畅所欲言，同时，老师批改作业时，也就除了评对或错之外，还要写些评语，写些鼓励的话，或者指出该题所考查的知识点，解答的方法、技巧等，这样的作业批改仿佛是一条“师生热线”.

二、实验的体会

尽管在实验过程中，教师的工作量增加了，但从中也更能发现问题，使教学更有针对性，师生关系，特别与基础差的学生之间的关系更加融洽，教学效益自然就提高.在2012届我所带的高中毕业班中，两个理科班重点、本科上线率都是100﹪.

1.作业日记有助于学生能力的培养

学生在作业日记中，通过形式多样的方式，一方面既反映自己对数学问题的认识，另一方面又提高了自己的语言文字表达能力.

（1）答题流程

每天的作业都是为了巩固当天所学知识，对于刚学新知识的学生来说，有些答题的流程不是很熟练，就需要他们在写作业的过程中，用自己的方式将它进行梳理.这样，在学生的作业日记中，部分学生不满足于简单的罗列，也有尝试用图表、箭头、口诀、形象比喻、图形等独创方式对当天所学知识构建网络，对知识进行再加工，从而提高了概括能力，弥补了单纯做题的不足，杜绝了抄作业的现象.比如，在高一学习完函数的单调性证明一课后，大多数学生都先将证明的流程写在旁边：“设值→作差→变形→判断→下结论.”参照流程再去答题，有助于学生理顺思维能力，规范答题过程，提高分析、解决问题的能力.我的评语：“按图索骥，功到自然成.”

（2）学习感受

在学习数学的过程中，基础差的学生会反思得失，将自己的上课心情写进作业日记里.如一位学生写道：“我今天上数学课特别专心，听懂了，作业能轻松完成，看来专心听讲才行.”我的评语：“专心听课，高效诀窍.”又如，一位学生在完成我布置的自选题之后，写道：“攻下自选题已是很晚了，高兴得不想入睡，心情好爽.”我的评语：“不经风雨，怎见彩虹？”

也有学生先预习并完成练习册上的题，不会做的写个记号，在作业日记中写道：“这段时间里学得主动，尝到了先预习后听课的甜头.”我的评语：“持之以恒，必成大器！”

（3）个人建议

基础差的学生对老师难免有敬畏的心理，所以平时老师要多参与学生的活动，我就经常与学生打球，有时会问一问学生家住在哪个区？这样，学生会觉得老师在关心他们，从而拉近师生之间的距离，学生就会主动地向老师反映学习中存在的问题.比如，有学生在作业日记中写道：“这几天您讲得有点快，班上许多学生都跟不上，能不能讲慢点，讲细些.”我的评语：“实话实说，共同进步.”这种豁达的心胸也是民主作风的体现，有利于师生间的交流与沟通.

（4）问询求助

在学习过程中，学生难免对某些知识点存在疑惑，或与老师有不同的想法.如：“这道题我用老师今天讲的方法做不下去，请问我的解法行吗？”我的评语是：“你很有才，你的奇思妙想真好，老师介绍的是通性通法，也可行.”又如：“近段时间我很刻苦，但考试成绩不理想，不怎么用功的同学分数反而比我高，我是不是太笨？”我的评语：“功到自然成，考试中做好细节，肯定会有大进步！”这种答疑解惑有针对性，既解决了问题，又培养了学生开放、健康的心理.此外，我还通过个别交谈、课堂上关照或与班主任、家长、学生的好友联系，多管齐下地与学生交流.

（5）自我展示

如果在作业日记中，发现学生的亮点，要及时将它放大.如在一堂高三复习课上，我讲了一道题：

题目（2010年全国高考数学Ⅰ，理12）已知在半径为2的球面上有A，B，C，D四点，若AB=CD=2，则四面体ABCD的体积的最大值为（ ）

A. B.

C.2 D.

我在课堂上，直接将四面体ABCD分割，找到体积取最大值时的条件，但有位学生却从一个更简单的平面几何问题：已知在半径为2的圆O上有A，B，C，D四点，若AB=CD=2，AB、CD的中点分别为O1、O2，则△O2AB面积的最大值是 ？襉？襉.

如图1，由AB=CD=2，知AB、CD的中点O1、O2，同在以O为圆心，为半径的圆上运动，易知：当O、O1、O2三点共线时，△O2AB的面积最大，最大值为×2×2=2.

将这种解题的思维作类似地迁移就容易得到该问题的解答.

分析：由球面上AB、CD四点满足AB=CD=2，若AB、CD的中点分别为O1、O2，知AB、CD分别是球O中直径为2的截面圆O1、O2上的动直径. 此时，O1、O2在以O为球心，为半径的球面上运动的点，圆O1、O2所在平面同时与球O相切，切点分别为O1、O2，当O1、O2关于球心O对称时，△ABO2的面积最大；同时，当CD⊥AB时，即CD⊥平面ABO2时，四面体ABCD的体积最大.

解析：根据对称性可以构造如图2的模型，当两个截面圆的圆心O1、O2关于球心O对称时，此时△ABO2的面积最大，最大值为S=×2×2= 2.

当CD⊥AB时，由于O2O1垂直两个截面圆，则CD⊥平面ABO2，此时四面体ABCD的体积最大，最大值为V=×S×CD=×2×2=.故选B.

看到这种思路，使我感受到“千里马常有，而伯乐却不常有”的道理，课后我指导该学生写了一篇论文，获“通讯杯”特等奖，还发表在《数学通讯》2012年第3期上.

2.作业日记有助于学生的高效反馈

有效的反馈机制是目标达成的必要保障.教师及时地、有针对性地调节教学，而学生参与自我评价，可大大地改善学习的进程.作业日记内容的个性化使反馈信息生动、真实、丰富，不拘形式，教师对学生情况的掌握更加全面，不仅能获得认知方面的信息，还能了解基础差学生的心理、性格、情绪、兴趣等，使课堂教学更加高效.

3.作业日记有助于融洽师生间关系

根据学生的作业日记，教师写出评语，有的放矢，能发挥情感交流在数学教学中的作用.因为文字的评语更能打动人，学生更能感受到被关爱；在课堂上适当引用学生作业日记语言进行说理，学生就更加开心.比如，在课堂上介绍前面那位学生的解法，并宣布获“通讯杯”特等奖，还发表在《数学通讯》2012年第3期上，其他学生都投以羡慕的目光，这位学生也得到了莫大的鼓励.

三、注意的问题

教师要讲清作业日记的作用、推荐常用的模式、观摩好的作业日记、表扬与督促相结合、循序渐进地让学生养成作业日记的习惯.

作业日记要避免流于形式，这就要让学生尝到甜头，变“要我写”为“我要写”.平时，教师要有平等和民主的意识，充分尊重学生，让学生明白，作业日记能使师生共同成长.

作业日记可长可短，有想法就写多些，有时一句话也行，关键是事半功倍，有助于学生掌握知识，规范表达方式.

责任编辑 罗 峰

在平时的教学中，如何让部分基础差的学生树立信心，融洽师生、学生之间的感情？我尝试建立一种经常的、有效的交流形式：写数学作业日记，即在作业中适当写一些当天的“痕迹”.这既能让教师全面而又深入地了解学生，又能洞查个别典型的变化，学生借此还可以倾吐心声，寻求帮助、甚至提建议，共同提高教学效益.

一、交流的形式

在平时的教学中，通过作业的批改，督促检查和了解学生对知识的掌握情况，一般只是判断对错，问题比较多的再集中讲评.然而，面对数学中的文字、数字、字母、符号，从内涵到形式都比较抽象，光有一个对或错，难以得到数学题外的信息，师生之间的交流缺乏亲和力.因此，我以作业为交流的平台，让学生在作业过程中，适当写点日记，不拘形式，畅所欲言，同时，老师批改作业时，也就除了评对或错之外，还要写些评语，写些鼓励的话，或者指出该题所考查的知识点，解答的方法、技巧等，这样的作业批改仿佛是一条“师生热线”.

二、实验的体会

尽管在实验过程中，教师的工作量增加了，但从中也更能发现问题，使教学更有针对性，师生关系，特别与基础差的学生之间的关系更加融洽，教学效益自然就提高.在2012届我所带的高中毕业班中，两个理科班重点、本科上线率都是100﹪.

1.作业日记有助于学生能力的培养

学生在作业日记中，通过形式多样的方式，一方面既反映自己对数学问题的认识，另一方面又提高了自己的语言文字表达能力.

（1）答题流程

每天的作业都是为了巩固当天所学知识，对于刚学新知识的学生来说，有些答题的流程不是很熟练，就需要他们在写作业的过程中，用自己的方式将它进行梳理.这样，在学生的作业日记中，部分学生不满足于简单的罗列，也有尝试用图表、箭头、口诀、形象比喻、图形等独创方式对当天所学知识构建网络，对知识进行再加工，从而提高了概括能力，弥补了单纯做题的不足，杜绝了抄作业的现象.比如，在高一学习完函数的单调性证明一课后，大多数学生都先将证明的流程写在旁边：“设值→作差→变形→判断→下结论.”参照流程再去答题，有助于学生理顺思维能力，规范答题过程，提高分析、解决问题的能力.我的评语：“按图索骥，功到自然成.”

（2）学习感受

在学习数学的过程中，基础差的学生会反思得失，将自己的上课心情写进作业日记里.如一位学生写道：“我今天上数学课特别专心，听懂了，作业能轻松完成，看来专心听讲才行.”我的评语：“专心听课，高效诀窍.”又如，一位学生在完成我布置的自选题之后，写道：“攻下自选题已是很晚了，高兴得不想入睡，心情好爽.”我的评语：“不经风雨，怎见彩虹？”

也有学生先预习并完成练习册上的题，不会做的写个记号，在作业日记中写道：“这段时间里学得主动，尝到了先预习后听课的甜头.”我的评语：“持之以恒，必成大器！”

（3）个人建议

基础差的学生对老师难免有敬畏的心理，所以平时老师要多参与学生的活动，我就经常与学生打球，有时会问一问学生家住在哪个区？这样，学生会觉得老师在关心他们，从而拉近师生之间的距离，学生就会主动地向老师反映学习中存在的问题.比如，有学生在作业日记中写道：“这几天您讲得有点快，班上许多学生都跟不上，能不能讲慢点，讲细些.”我的评语：“实话实说，共同进步.”这种豁达的心胸也是民主作风的体现，有利于师生间的交流与沟通.

（4）问询求助

在学习过程中，学生难免对某些知识点存在疑惑，或与老师有不同的想法.如：“这道题我用老师今天讲的方法做不下去，请问我的解法行吗？”我的评语是：“你很有才，你的奇思妙想真好，老师介绍的是通性通法，也可行.”又如：“近段时间我很刻苦，但考试成绩不理想，不怎么用功的同学分数反而比我高，我是不是太笨？”我的评语：“功到自然成，考试中做好细节，肯定会有大进步！”这种答疑解惑有针对性，既解决了问题，又培养了学生开放、健康的心理.此外，我还通过个别交谈、课堂上关照或与班主任、家长、学生的好友联系，多管齐下地与学生交流.

（5）自我展示

如果在作业日记中，发现学生的亮点，要及时将它放大.如在一堂高三复习课上，我讲了一道题：

题目（2010年全国高考数学Ⅰ，理12）已知在半径为2的球面上有A，B，C，D四点，若AB=CD=2，则四面体ABCD的体积的最大值为（ ）

A. B.

C.2 D.

我在课堂上，直接将四面体ABCD分割，找到体积取最大值时的条件，但有位学生却从一个更简单的平面几何问题：已知在半径为2的圆O上有A，B，C，D四点，若AB=CD=2，AB、CD的中点分别为O1、O2，则△O2AB面积的最大值是 ？襉？襉.

如图1，由AB=CD=2，知AB、CD的中点O1、O2，同在以O为圆心，为半径的圆上运动，易知：当O、O1、O2三点共线时，△O2AB的面积最大，最大值为×2×2=2.

将这种解题的思维作类似地迁移就容易得到该问题的解答.

分析：由球面上AB、CD四点满足AB=CD=2，若AB、CD的中点分别为O1、O2，知AB、CD分别是球O中直径为2的截面圆O1、O2上的动直径. 此时，O1、O2在以O为球心，为半径的球面上运动的点，圆O1、O2所在平面同时与球O相切，切点分别为O1、O2，当O1、O2关于球心O对称时，△ABO2的面积最大；同时，当CD⊥AB时，即CD⊥平面ABO2时，四面体ABCD的体积最大.

解析：根据对称性可以构造如图2的模型，当两个截面圆的圆心O1、O2关于球心O对称时，此时△ABO2的面积最大，最大值为S=×2×2= 2.

当CD⊥AB时，由于O2O1垂直两个截面圆，则CD⊥平面ABO2，此时四面体ABCD的体积最大，最大值为V=×S×CD=×2×2=.故选B.

看到这种思路，使我感受到“千里马常有，而伯乐却不常有”的道理，课后我指导该学生写了一篇论文，获“通讯杯”特等奖，还发表在《数学通讯》2012年第3期上.

2.作业日记有助于学生的高效反馈

有效的反馈机制是目标达成的必要保障.教师及时地、有针对性地调节教学，而学生参与自我评价，可大大地改善学习的进程.作业日记内容的个性化使反馈信息生动、真实、丰富，不拘形式，教师对学生情况的掌握更加全面，不仅能获得认知方面的信息，还能了解基础差学生的心理、性格、情绪、兴趣等，使课堂教学更加高效.

3.作业日记有助于融洽师生间关系

根据学生的作业日记，教师写出评语，有的放矢，能发挥情感交流在数学教学中的作用.因为文字的评语更能打动人，学生更能感受到被关爱；在课堂上适当引用学生作业日记语言进行说理，学生就更加开心.比如，在课堂上介绍前面那位学生的解法，并宣布获“通讯杯”特等奖，还发表在《数学通讯》2012年第3期上，其他学生都投以羡慕的目光，这位学生也得到了莫大的鼓励.

三、注意的问题

教师要讲清作业日记的作用、推荐常用的模式、观摩好的作业日记、表扬与督促相结合、循序渐进地让学生养成作业日记的习惯.

作业日记要避免流于形式，这就要让学生尝到甜头，变“要我写”为“我要写”.平时，教师要有平等和民主的意识，充分尊重学生，让学生明白，作业日记能使师生共同成长.

作业日记可长可短，有想法就写多些，有时一句话也行，关键是事半功倍，有助于学生掌握知识，规范表达方式.

现场或重写 篇4

当库哈斯踌躇满志地从伦敦赶往纽约、再从亚特兰大辗转新加坡,我们尚未睁开考察自己的眼睛;当有人宣告中国将成为西方后批评的动力出口国时,库哈斯已经离开珠三角去了非洲的拉各斯、中东的迪拜。翻开他飞往遍布全球各地工地的日程表,其中一站,叫作北京。

1995年跳楼辞世的德勒兹说,现代主义是我们脑袋里的一个“工地”;一年后,库哈斯从一个热火朝天的叫作“中国”的大工地上,点燃了另一个知识生产体系中的“中国”。一个足够足够大的中国,大到足以装下成百上千座发展不均衡的城市,这种不均衡充分到了让我们可以为绝大多数的研究成果,从母系氏族到“Second Life”,找到相应的证据。

那么,从火种中接过库牌机关枪,而继续驻留在中国根据地上的斗士们编撰的图典,究竟是从荆棘密布的丛林中通往曲径分叉小路的行动指南,还是为了添加到作为革命纲领的《大跃进》的新编页码?究竟是试图揭示在本地人看来司空见惯的景象遮蔽下的种种内在联系,还是将这些景象变幻作一个个编上各自新代码的纪念品,再倒手给国外的专业观光客?究竟是在瞬息万变的战局中拉开距离冷静地制定战略部署的分析家的智慧,还是不顾一切投身于全面开花枪林弹雨中的战地记者的艰辛?

如果现场所有的目标都被当作靶子,在酣畅淋漓的扫射中皮开肉绽,那么之后谁来把这些阵亡了的血肉模糊的躯壳重装上阵呢?如果把夹杂着进口弹片的残骸,都拿来当作回忆战争的消费品,那么之后谁来集聚那些被内地组装的放大镜当作杂质扔进垃圾桶的资料,制定出复兴的生产计划呢?

那些在聚光灯下等待拍卖的碎片,只是一个他者的自我而已,也差不多是所有文化被输入地区的现实图景。当中国真实的流水线上,正生产着除了中国哪也不“made in”,除了中国哪儿都“copyright by”的产品时,当我们差不多可以成为自主的经手人时,超量生产的装扮得过分美丽的碎片又都重新汇聚而来,再次把“自我”出卖成一个自我的他者,以便进入全球化知识传播扩大再生产的流水线。

这恰恰说明就在人们可以逐渐扔掉西方现代性提交的“社会的理想模式”,在地方化的变形中寻找能量的同时,也总会有一批批新型的生产销售代理人涌动而出,将一个个贴着“社会批判的理想模式”标签的皮箱,满载着匆匆捡起的剩余碎片,送往全球的时尚展台。

这些在既定方法的明确指导下的“现写”,一种安全度过海关检验的反向补给,就能够成为所谓的反向动力输出的能量源泉吗?显然,它们现在还不是为了在天子大酒店般的看似荒诞中找到蕴含着自由女神式的创造性,也不是为了从一次性打火机般在看似廉价和劣质中形成全球的市场份额的竞争力,更不用说象恐怖主义、艾滋病、毒品那样地让发达国家头痛。

另一种全球化形象的进口产品,也正以技术至上的姿态,脱离意识形态限制地降落于本地的超级市场,让建筑学从逐渐获得的批判性介入能力的位置中退场,从哈日、哈瑞、哈荷到哈西,从赫fan、库党、到马小哈,一系列的媒介形象与诸多乐观的未来学家宣言一起,提供了某种暗示:世界是平坦的。如果单纯从技术决定论的角度解析,的确如此。然而令人棘手的问题是,这张平坦的网络所覆盖的,却是一个原本早已崎岖不平的球体。

当人们正在讨论这张网是否能真正夷平那些崎岖不平时,符号生产差不多已经成功地覆盖了所有可能的空间。由此,鲍德里亚向马克思“发飙”,说他对商品生产的分析过时了,资本主义现在主要关注的是符号、形象和符号系统的生产,而不是商品本身。这种观点对我们而言并不算过于危言耸听,甚至已经在当代的艺术生产、建筑生产、以及“艺术-建筑”的生产中得到了验证。鉴于如今艺术观念与过程,以及建筑中的行为和体验,都得经过重写转化为符号后才能被有效地吸收,那为什么就不能先设定符号,再依葫芦画瓢地弄出原件呢?

事实上很多领域的形象生产,或多或少都考虑了这种做法。个人形象生产也不例外,戴维·哈维就相信“在身份日益要依赖于形象的范围内,这意味着连续的和重复的身份复制(个人的、企业的、机构的和政治的),成了一种非常真实的可能性的问题”。显然,这种真实性已经超越了帕森斯与戈尔曼围绕着“角色”所产生的争辩,而更需要我们重新认识到,意识形态本身就是一种“社会存在”。

如果把马克思关于意识形态的一个论断“他们虽然对之一无所知,却在勤勉为之”,放在当下这个时刻,我们会更赞同齐泽克的轻巧改动:“他们对自己的所作所为一清二楚,却在勤勉为之”,也就是,意识形态不再被视为对社会存在的“虚假意识”而是“构建我们的社会现实的(无意识)幻象”。相比于工业生产时代的生产决定消费,如今通过形象交换价值的确定,消费开始决定生产。因此,当王南溟辛辣尖刻地滑移到建筑批评时,建筑师们之所以会产生某种“不适”感,并不仅仅因为他的评论中很少出现建筑学内部一直以来的持续命题,而更有可能的是我们还无法真正地面对,艺术与建筑的生产关系的差异已经在形象的生产关系的驱动下同一了。

当“现场-重写”的绵延作用过程,被“现-写”的瞬间生效所取代的时候,一些本来在不断发展的有关建筑学基本命题的探索(比如“空间-行为-角色”、“身体-时间”、“间隔的生产”等等),却因为没有物化的产出,很难纳入建筑圈的讨论。

2002年,日本,一个讨论学科界限与文化领域的会议上,召集人小汉斯把画册分发给来自不同领域的与会者,库哈斯也在其中。封面没有图片,而是由数字组成,每一个数字代表一个系统——这是汪建伟十年前的作品《事件——过程和状态》(1992)。1997年,汪建伟的录像作品《生产》在卡塞尔与库哈斯的“珠三角研究计划”初次相遇。

从之前试图颠覆整个视觉系统,到表现公共场所的社会视觉经验的生产过程,汪建伟持续地发掘和表达空间、行为、人际关系的交互性。从《屏风》(2000)到《仪式》(2003),再到“现场张江”开幕式的《链接》与《链接-2》(2006),事实上,他应该算是最关注城市和建筑问题的一个中国当代艺术的重要领军人物了,但同时又是一个逆着形象工业生产潮流的人。一个不擅于“现-写”的创作者。

他的作品越来越指向现场和过程,于是越来越不容易传播,不容易交易,不容易被重写为易吸收的符号。几个矛盾重重的现象颇有意味:最终成为烂尾楼的“贺兰山房”获得了建筑贡献奖;轻松做着自己的“违章建筑”的艾未未硬被放置在“建筑-艺术”的聚焦区;而我们并不认识汪建伟。

重写上海往事 篇5

TIDE：半岛饭店有着一百多年的历史，也经历过97年的亚洲金融风暴。公司对于如何度过金融危机有什么经验吗?

郭敬文：我是2002年开始在这里工作的，在我工作期间，影响最大的事情当属SARS时期。有一段时期，香港半岛酒店的入住率少于10％。当时压力很大，但我们仍然明确表示了三点：第一我们不会裁员：第二因为很多房间都是空的，维修和装修的费用也不高，我们就对酒店进行了装修：第三，我们知道SARS不会一直持续下去，我们制定了市场计划，在SARS结束之后立即推出。很快就得到很好的反应。这三点对于我们公司度过非典时期至关重要，并且在非典结束后我们的员工也更加努力工作。

TIDE：在金融危机之下，作为企业的领导者和决策者，您会如何把握自己的角色?

郭敬文：我们公司的财务都是很保守的，非常谨慎，即使是现在，我们受这个影响也不大。在进入这个低潮期的时候，我们的财务状沉就蛮盘子'所以金融危机对我们来说可能意味着机会，因为我们有机会低价收购一些地产。在做业务发展的同时，我们在不同的地方研究有没有机会收购一些地产，但是我们半岛酒店要求的位置必须是非常优越的，就算在这个时期也不会太便宜；第二就是我们的员工，我们集团就是一个很大的家庭，我们没有裁员，还安排员工的培训课程，让他们真实地感受到在经济环境不好的背景下，我们对他们的承诺依然没有改变。当然，我们会让他们知道，这个关系是双向的，我们也需要他们努力工作来回报公司。

TIDE：上海半岛酒店选择在2009年底开业，您预期到那个时候金融风暴会过去吗?

郭敬文：建高级酒店的费用非常高，所以我们做财务方案的时候。都是预测五十年为回报期的。在这五十年间，一定会有高潮期和低落期。所以即使明年经济仍然低落。我也不会太担心，因为我们做的是长期的打算。而且。这间酒店对我们公司的声誉是至关重要的，最重要的是让大家知道在上海有一间世界级的半岛饭店。

TIDE：在您看来酒店应该如何融入城市的文化格局?

郭敬文：我虽然在西方读书，但我们在每一个地方经营，都会尊重不同地方的本地文化。我是刚刚从曼谷飞上海的，曼谷半岛酒店开张十周年，我们把佛教法事作为庆典的一部分。在香港，我们有专门的风水专家选日子选地点，而且每次开业都会有拜神的仪式。我很尊重各地的文化风俗。上海是一个很重要的金融中心。对我们来说，我们不仅看重金融方面，我们对生活方式和本地人的兴趣也很重要，上海这个城市发展得很快，人们的生活水平提高得很快，有很多活动都在酒店里举行。香港半岛酒店跟很多香港人有着非常亲密的关系和感情，很多人结婚都在选在半岛酒店举行，结婚纪念日也会去那里。星期天的Family lunch，还有下午茶都会来我们的大堂。酒店不应该仅仅是客人旅途中的一个休息的地方，也可以成为城市的一个标志，一个风景，一个与当地人生活密切联系的空间。

TIDE：如果让您对酒店业的未来做一个长期或短期的判断，您认为现在是时候吗?您对这个行业的发展前景有什么展望?

郭敬文：中国的发展一定会急速的，可能短期来讲，一些金融项目发展会暂时缓慢，但就长期来说，一定会有很多项目完成。但对我们这种酒店来看，我认为中国有国际影响力的城市已经存在，一定会有高级酒店的需求。

TIDE：上海半岛酒店会和同行业以什么样的姿态相处?

郭敬文：酒店业的人，大家都是朋友，有可能以前在酒店学校是同学，或者以前在同一家酒店做过。在酒店业人才的流动性是比较高的，尽管这里竞争非常激烈，大家都想尽力提供最好的服务，竞争在所难免，但彼此之间还是很友好的。

TIDE：上海半岛酒店还没开业，您来上海是住在哪儿?

郭敬文：我自己去不同的地方，都会到五星级酒店去看看，亲自体验下他们。我们很自豪我们的半岛品牌，但是很多其他不同的酒店公司也都在努力经营自己的品牌。所以只要有机会，我一定会亲自去看一看，有没有什么新的方法是可以学习和借鉴的。做酒店这个行业，进行这种比较，是很有意思的。

TIDE：您认为上海的酒店中您个人比较的满意的有哪些?

牵手“傻”丈夫重写人生 篇6

劫后余生

李枫桦1953年出生在吉林省通榆县,大专毕业后,她在洮南市第九小学任教。1980年4月,她与邙剑维恋爱结婚,邙剑维是当地一家酒厂的业务员,两人同岁。两口子经过十多年的奋斗,李枫桦晋为小学高级教师、副校长;邙剑维成为酒厂的分厂厂长。

1992年,洮南市第九小学开办了专门对弱智孩子实施特殊教育的育智班,李枫桦分管育智班的工作,每天忙得团团转。见妻子辛苦,邙剑维包下了家务活儿,十分体贴。

1995年11月的一天,邙剑维外出遭遇车祸。医生表情凝重地对李枫桦说:“病人脑部受损严重,手术后很可能长期昏迷。”李枫桦毫不犹豫地说:“医生请你一定救活他,即使是植物人,我也会照顾他一辈子。”

手术后,邙剑维昏迷了两年多才从植物人的状态苏醒过来。

带丈夫“上学”

邙剑维虽然苏醒了,他却变得愣头愣脑,说不出完整的句子,想不起以前的事情,吃喝拉撒仍需别人服侍。

1998年,洮南市育智学校成立,李枫桦被任命为校长。同事看李枫桦十分辛苦,对她说:“你丈夫成了智残,你干脆把他带到学校来一块教,你不用两边跑,对你爱人康复也有好处。”得到同事们的体谅,李枫桦请示了洮南市教委,让丈夫得到特批到育智学校学习。

育智学校原有三十多个学生,最大的23岁,最小的8岁。邙剑维这个“学长”除了年龄大,远不如那些学弟学妹,因为那些孩子虽然弱智,但能走能跑,他却只能坐在教室里呆头呆脑地望着那些孩子。

针对邙剑维的情况,李枫桦对他着重进行感知肌能训练,只要有空闲,就扶着丈夫走步,教他发音、说话。渐渐地,邙剑维能扶着墙走路了,能够说一些短的句子了。

一天,邙剑维坐到别的孩子的座位上,那个孩子见邙剑维抢了他的座位,不肯罢休,哇哇地哭起来,教室里乱了套。老师只好叫来李枫桦。

李枫桦先是安慰了那个学生,然后劝邙剑维回自己座位去。邙剑维不为所动。李枫桦只好换一种口吻哄他:“你看,你挡住后面的同学看不到黑板,这多不好啊。他们都管你叫爷爷,爷爷应该让着同学,是不是?”这次邙剑维有了反应,“嗯啊”地答应着,慢吞吞地起身回到自己的座位上。

这个小插曲传到那个学生家长耳朵里,他怒气冲冲找到学校。李枫桦先是代表学校向家长道歉,承认工作没做好,然后坦诚地告诉家长:“不好意思,昨天和孩子抢座的那个人,是我的丈夫。他也是个智残人,请你谅解,以后不会再发生这样的不愉快了。”

同命相怜,家长了解到李枫桦的处境之后,眼圈红了:“李校长,你有一个智残丈夫已经很痛苦了,还天天为这么多智残孩子操心,你很伟大!”

那个家长走后,李枫桦生气地呵斥丈夫,邙剑维委屈得低头“呜呜”地哭起来。晚上回到家,邙剑维好像还在生气,李枫桦喂饭,他也不吃。李枫桦心软了,她搂着丈夫,说:“剑维,你要体谅我对你发火。你在学校这个样子,让我为难啊。”正说着,邙剑维突然伸手放在李枫桦的面颊上,笨拙地替她擦拭眼泪,接着用跑调的旋律唱起《爱你一万年》这首他们常听的流行歌曲。李枫桦大吃一惊,心头瞬间涌上一股暖流,她在丈夫的怀抱里痛痛快快地哭了一场。

依旧相爱相伴

2001年暑假的一天,李枫桦在学校加班,忘了回家做午饭。当她匆匆打开家门,忽然闻到一股焦煳味,直奔厨房发现煤气灶开着,锅里蒸着鸡蛋羹,锅里水已经烧干,鸡蛋羹蒸糊了。原来,邙剑维感觉饿了,自己扶着墙一步一步挪到厨房,做了鸡蛋羹。李枫桦吃惊后怕之余,也为丈夫能够动手做饭感到高兴。

过了一个多月的一天中午,李枫桦端了一盘饺子喂丈夫吃,吃到一半,她去接电话。接完电话一看,发现盘子里的饺子和筷子不翼而飞。“咦,饺子谁吃了?”邙剑维不好意思地说:“我自己,偷吃的。”说着,他将右手从背后转过来,手里赫然攥着一双筷子。

丈夫会自己吃饭了,李枫桦心头一阵狂喜,忍不住大声叫了起来。几个老师围拢过来,都为李枫桦高兴。为了鼓励丈夫进一步生活自理,李枫桦把衣服、裤子摆到邙剑维面前,鼓励他说:“从今天起,你要自己穿衣服,你一定能做到。”

邙剑维抖抖索索地穿起衣裤,由于四肢关节有些僵硬,邙剑维穿裤子时很费劲。李枫桦想帮他,但还是忍住了。20分钟后,邙剑维终于穿戴完毕,只是把衣扣系错位置了,前襟一长一短。李枫桦没有替他纠正,带着他去了学校,见到老师就骄傲地说:“看,这是我家剑维自己穿的衣裳,棒吧?”老师们一边冲邙剑维竖起大拇指,一边笑着说:“真棒!”

在妻子和学校老师们的照顾、教育下,邙剑维慢慢地恢复了生活自理能力,他学会了自己做饭、吃饭、穿衣服、读书看报、与别人进行交流。与此同时,他的“情商”也在一点点得到恢复:他能够回忆起两人相识、相知、相爱的细节。丈夫的这些改变,让李枫桦心里充满了感动。

2003年9月,李枫桦以智障者家属和优秀智障教育工作者的双重身份,出席了中国残联第四次全国代表大会,受到了党和国家领导人的亲切接见。时任中国残联主席的邓朴方了解到李枫桦的事迹后,对她说:“李老师,你是一位了不起的伟大女性!”

2008年9月,李枫桦退休了。为给丈夫创造一个好的康复环境,2009年6月,李枫桦搬到了长春居住。

2010年8月初的一个晚上,李枫桦发烧了。邙剑维伸手摸了摸妻子的额头,说:“发烧,热。”随后,他从李枫桦包里拿出一张百元钞票,挪动脚步,打开房门出去了。

李枫桦吓了一跳,丈夫从来没有单独出过门啊。她急忙下床,开门偷偷跟了出去。她看着丈夫扶着楼梯,一个台阶一个台阶从三楼挪到一楼,然后步履蹒跚地朝一家药店走去。不一会儿,丈夫又步履蹒跚地从药店里走出。看见妻子,邙剑维微微愣了一下,随即举起手里的药盒,咧嘴笑着说:“我买了药。”李枫桦呆呆望着丈夫,半晌才喃喃说:“谢谢。”这个深夜,两个相依相爱的人相搀着走在回家的路上……

重写的数学作业日记 篇7

判定一个安全模型是否满足安全要求,比较好的手段之一就是运用形式化的数学工具去验证。Pi演算就是一种很有力的形式化工具。Pi演算是由英国剑桥大学教授、图灵奖得主罗宾·米尔纳(Robin Milner)建立的一套理论,它是一种移动进程代数,它作为移动计算的基础,引入了通道的概念。通道具有确定的作用域,作用域以外的进程不能对该通道进行存取,这在一定程度上确保了通道通信的安全性。Pi演算在描述并发、同步、通信等方面有很大的优势,同时,它还提供了各种强弱不同的等价定义,因此,可以用来很准确地描述和验证协议的安全性。

1XML重写攻击及其防御模型(CXMLRAM)

所谓XML重写攻击[2]就是指对截获的SOAP消息内容做未授权的添加、修改或删除,从而破坏SOAP消息的完整性且不被侦测出来。

如表1中所示的SOAP消息,〈Signature/Reference〉中指向〈Body〉,以确定〈Body〉中的内容不被篡改。然而,恶意中间点可以将〈Body〉植入一个假冒头标签〈BogusHeader〉中,来保证原有数字签名的有效性,达到预期的欺骗目的,并重新书写新的〈Body〉内容。

通过上述例子,可以发现,此类攻击虽然避开了数字签名的验证,但必然会改变SOAP消息中标签与标签之间的拓扑关系(修改后〈Header〉由1个子标签变为2个)。在SOAP头标签〈Security〉中没有描述SOAP消息的结构问题,因此,可以通过扩展相应的标签来防御XML重写攻击,同时在网络体系中建立新的SOAP消息拓扑验证模型,杜绝不可信中间点的威胁。

基于这种思想,在原有网络安全模型的基础上,设计出了CXMLRAM(Counter XML Rewriting Attacks Model)模型。首先需要在网络中建立一个可信的SOAP Topology信息注册服务,用于验证SOAP消息拓扑的关键信息,其次在每个终端的打包协议中加入“SOAP Topology 模块”用来计算SOAP消息拓扑信息。如图1所示:

为了便于描述CXMLRAM模型,本文使用了一些缩写,如表2所列:

CXMLRAM模型的工作机理如下:

(1)请求方通过本地的SOAP-Topology模块计算得出SOAP消息的拓扑信息STM(M)并发送至Topology信息注册服务;

(2)Topology信息注册服务保存STM(M)并生成一个T码(唯一标识码)和时间戳t回复给请求方:(T,t);

(3)Web Service请求方将(T,t)加密后加入SOAP消息:(M,{(T,t)K),经诸多中间点,发送至提供方;

(4)提供方提取M,对(T,t)解密,将(STM(M),(T,t))发送至Topology信息注册服务;

(5)Topology信息注册服务确认时间戳有效性,接着根据码提取SOAP消息的拓扑信息返还给提供方;

(6)提供方确认拓扑信息与SOAP消息拓扑结构一致后,完成SOAP消息的一次传递。

2Pi演算简介

Pi演算以进程间移动通信为研究重点,是对CCS并发计算模型的发展。作为移动计算的基础,引入了“名字(names)”的概念,忽略了信道与变量之间的差别,更利于揭示进程(processes)之间信息传递过程的本质。同时,Pi演算提供了各种强弱不同的等价定义,使得Pi演算在描述验证并发、同步和通信系统等方面有很大的优势。

以下是Pi演算的基本定义:

设X={x,y,z,a,b,c,…}(τ,v∉X)是名字(names)的可数集;P,Q,R::undefined,分别表示输出、输入、复合、限制、复制、匹配和空等常见进程。

在M(x).P和(vx)P中定义x在P中出现是“受限的”;相反,其他名字则是“自由的(free)”。因此记fn(P)表示进程P的自由名集,fv(P)表示进程P的自由变量集。

称一个进程是封闭的,表示它没有自由变量,即属于集合proc={P|fv(p)=∅}。对于Pi演算的语义,定义了闭进程上的三种关系:

(1)封闭进程上的归约关系(reduction relation):

(2)封闭进程上的等价关系(equivalence relation):

(3)封闭进程上的交互关系(reaction relation)满足undefined和下面三个规则的至少一个

undefined

3CXMLRAM模型的形式化表示

定义请求方向Topology信息注册服务发送信息的通道为cC,STIRS,请求方的形式化描述如下:

undefined

同样的,Topology信息注册服务与提供方的形式化描述分别为:

undefined

由此,得到了形式化的CXMLRAM模型:

Sys(M)(vK)(C(M)|STIRS|S)

4CXMLRAM模型验证

根据PI演算的语义,推导CXMLRAM模型的有效性。具体步骤如下:

undefined

由此得到Sys(M)≡F(M)。可以断定,此模型可以达到预期目的,是有效的。

根据PI演算理论,协议(或模型)具有真实性(authenticity)的充分必要条件为 ,Sys(M)Sysspec(M),for any M。因此还需要定义CXMLRAM模型的规范来验证其真实性。

对于STIRS来说,它只负责认证的作用,并没有信息的传递。因此规范与形式化描述相同:

STIRSspceSTIRS

而Web服务请求方和提供方是有信息传递的,可按下面方式定义两者的规范:请求方并没有发送M到提供方,它只是发送了一个私有通道P;提供方收到信息以后,从该通道发送一个信号TRI[3],请求方接收此信号后就作F(M)。这样,提供方和请求方的规范描述如下:

undefined

对于任意的测试(R,β),如果有(Sys(M)|R)⇓β,则β通道必定属于Sys(M)或R,而不是两者作内部动作以后出现的新通道。这是因为有时间戳的验证[zt=tv],任何非合法请求方利用公有通道发出的消息都不能通过时间戳的检验,而使进程阻塞。由于Sysspec(M)可以和Sys(M)有相同的外部通道,则(Sysspec(M)|R)⇓β。反之亦然,因此有Sys(M)Sysspec(M)。

最后,利用MWB(Mobility Workbench)对安全性进行验证。安全性是指不希望发生的事情从来不发生。判断一个系统是否安全,就要检查它所有的执行路径是否安全。所以安全性的检验需要对执行树的每个状态进行检查,故我们使用最大不动点描述,它表示在任意时刻都必须被满足并且无论作任何动作后依然满足此性质。

首先,按照MWB规则[4],用MWB语言CXMLRAM模型的描述出来(见代码段1),并以“CXMLRAM.ag”文件名保存。

代码段1:CXMLRAM模型的MWB语言描述代码:

然后运行代码文件,调试结果如下(见图2)。可以看出该模型具备安全性。

5结束语

本文提出了一个反XML重写攻击的安全模型-CXMLRAM模型,运用PI演算这种移动进程代数进行了形式化的描述,对模型的有效性、真实性和安全性进行了验证。可以看出Pi演算在协议(或模型)的描述和论证方面具有的独特优势。结合model checking的思想进一步完善模型,并进行复杂的协议验证是下一步要开展的工作。

摘要：设计出一个安全模型后,要严格验证其是否满足安全需求是非常重要和必要的。利用形式化方法来检验模型是否满足了安全协议是一种有效的手段。本文针对XML重写攻击,设计出了一个反XML重写攻击的安全模型,然后运用Pi演算形式化方法验证了其有效性、真实性和安全性。

关键词：Pi演算,SOAP,XML重写攻击,验证

参考文献

[1]崔妍卿,杨德华.Web Services与传统Web应用.微计算机应用,2005.

[2]Maarten Rits,Mohammad Ashiqur Rahaman.Secure SOAP Requests in Enterprise SOA.http://www.acsac.org/2006/wip/AC-SAC-WiP06-01-Rits-Secure%20SOAP%20Requests%20in%20Enterprise%20SOA.pdf.

[3]李国强,顾永跟,傅育熙.基于Spi演算的Kerberos认证协议形式化研究.计算机科学,2004.