帐前卒专栏

when you stuck your head, relax, turn and pull. 有时候做人做事要转换一下方式，否则还是会卡住头。

Because all around the planet, there are animals who feel like they cannot,
like a little hamster, who once spends his day in the vehicle park dreaming
the day when he, too, save the little girl from danger and be told, “you did!
you did, rhino. You saved the day.” They need a hero, bolt. Someone no matter
what they are or do what is right. They need a hero to tell them that,
sometimes, impossible can become possible, if you are awesome!

我们时常需要一种精神的力量。这或许是人人都喜欢超人的缘故。我们需要一种非凡的勇气去面对这个充满未知艰险的世界。如果有这样一个“超人”告诉我们，前面有路可以到
达目的地，但是只是有些难走。我们就会以为自己误入了迷途。如果说做学问需要老师，大抵如此。可是现实生活中，谁是老师，谁有是那个超人呢？但凡伟人，不过是凡人。

歌词不错，记录如下

I have got so much to give
I swear I do
I may not have nine lives
this one feel brand new
Yes, I’ve lived a good one
I’ve tried to be true
There are something I never realized
Till I met you
How the wind feels on my cheeks
When I barking at the moon

There is no home like the one you’ve got
cause the home belong to you
huuu~ Here I come
Huuu~ back to you
There is no home like the one you’ve got
cause the home belong to you

when I was in trouble bad
I was so confused
I may not see in color, baby
But I sure can feel blue
I have been a lot of things
They may not all be true
My experience was so mysterious
Till I met you
Now the sun will rise in the east
But I barking at the moon

There is no home like the one you’ve got
cause the home belong to you
huuu~ Here I come
Huuu~ back to you
There is no home like the one you’ve got
cause the home belong to you
they act they love you,
they act they will be there for ever,
Then one day,  they packed all stuff things, and moved away, and take their
love with them!
And leave their pet defending herself.
They leave her, wondering what she did wrong.
cat说的话，这世界总有些人。如同演戏一样，当曲终人散，离你而去。

当然也总有人，they are different!

The hero must go to face their chanllege alone.

当个Hero太痛苦了。独自面对挑战，总有些挑战是要自己去面对的。但是其他的挑战就一起去面对吧。

But if bolt have told me anything, that is never abandon a friend at time you
need.
When your teammate is in the trouble, you go.
No matter they asked or not, you go.
knowing you come back dead or alive, you go.
When you know the struggle and then present in your mind, you go.

仓鼠的话为啥都是自理名言呢？可爱的小东西。团队中最重要的是相互帮助。为了完成最终的目标，首先要帮助的是成员。如果每个成员都成功的完成了任务，那你的团队还没有
成功吗？

Is that dog looks familiar?
No, I never see him before my life.

哈哈，人不要太自信，不要太自大。即使是明星，也不一定每个人都认识你。所以每个人都只是凡人，只是小人物。

相信张艺谋、刘德华的名字在某些地方还是未被听到。

![bolt](http://p.blog.csdn.net/images/p_blog_csdn_net/cctt_1/EntryImages/20090
120/000.jpg)

译　　名　闪电狗/明星狗/霹雳战狗
◎片　　名　Bolt
◎年　　代　2008
◎国　　家　美国
◎类　　别　动画/喜剧/家庭/幻想
◎语　　言　英语
◎字　　幕　N/A
◎IMDB评分 7.7/10 5,879 votes
◎IMDB链接 http://www.imdb.com/title/tt0397892

◎文件格式　XviD + MP3
◎视频尺寸　640 x 336
◎文件大小　1CD 51 x 15MB
◎片　　长　103min
◎导　　演　克里斯·威廉姆斯 Chris Williams
Byron Howard
◎主　　演　约翰·特拉沃塔 John Travolta
麦莉·赛勒斯 Miley Cyrus
马尔科姆·麦克道威尔 Malcolm McDowell
Nick Swardson …(voice)
戴德里克·巴德 Diedrich Bader
科洛·莫瑞兹 Chloe Moretz
Greg Germann …(voice)
J.P. Manoux …(voice)
Susie Essman …Mittens (voice)
Ronn Moss …(voice)
James Lipton …(voice)
Randy Savage …(voice)
Mark Walton …Rhino (voice)
Sean Donnellan …Penny’s Dad

这两天看了三部电影一部点击记录：

教父（Godfather3），三振出局（three and out），梅兰芳，以及水仙。

发现了他们的一个共同的主题：

都是想摆脱人生的枷锁。重新新的开始，做个凡人，而不是带着镣铐跳舞的超人。
我不知道这样做是对是错，是一直走下去，还是走自己想走的路。
这一切只能自己去做抉择。
有些人看似为了你，让他们去成名得利。但是可能是他们心中不想，可能是他们心中的不愿。
哪怕只有一次机会，他们还是会突破那纸枷锁。

学了形式化方法这么课，是有很大的启发的。不管对测试还是开发.但是也有不少问题.于是写了下面的感言：

形式化是因规范化，拒绝二义性而产生的。形式化方法希望用技术的手段提高软件的可靠性，安全性,
减少程序设计中的错误。希望机器可以理解形式化语言，并可以自动的检测程序中的错误。
形式化语言是基于数学的语言，从而可以避免二义性，将语言严格化，规范化。
软件需求等自然语言的描述方法，常常造成软件设计，软件开发的不一致性和不正确性。
但是，形式化方法也不能够代替现有的测试方法，和其他工程学管理方法。
另外因为使用形式化方法也需要一定的技巧，所以使用形式化方法所做的规约的正确性可靠性有时只能靠经验和手工验证去保证。例如人羊过河问题。最后的SPEC是使用EF
还是使用 AF，究竟是模型错误还是规约错误，这样的问题很难让机器做出回答。
或许这是形式化方法学之外的范畴。我个人认为不应该使用一种高技巧的方法来保证程序的正确性和可靠性。
虽然它已经成功的运用在软件规约，协议验证和硬件设计等方面，但是距离像java那样普及，尚待时日。

这里提供徐俊刚老师的数据仓库复习资料。

当你背得想吐了，你就pass了…

http://d.download.csdn.net/down/970839

如果你不想只看题目那样投机取巧的话,可以看看下面的提纲：

一:名词解释
自然辩证法
元气论
科学假说
科学事实
科学理论
科学共同体

二:简答题:
1,辩证自然观的特征是什么?
2,19世纪的五大科学发现如何促进了辩证自然观的产生?
3,科学假说的构成?
4,默顿提出的"科学的精神气质"是什么?
5,历史主义的科学发展模式是什么?
6,国家创新体系的内容.

三:论述题:
1,如何理解"科学技术是第一生产力"?
2,试以案例分析论述文化对科学发展的影响.

一、 名词解释（每小题4分，共20分）：
自然辩证法 元气论 科学事实 科学理论 科学共同体
二、简答题：（每小题6分，共30）
1、 辩证自然观的特征是什么？
2、 19世纪的三大科学发现如何促进了辩证自然观的产生？
3、 科学概念的特征是什么？
4、 默顿提出的“科学的精神气质”是什么？
5、 历史主义的科学发展模式是什么？
三、论述题：（共50分）
1、 如何理解“科学技术是第一生产力”？（15分）
2、 怎样进行科学假说的检验？（15分）
3、 试以案例分析论述文化对科学发展的影响。（20分）

今年的题目论述题目的变化是：
论述科学与技术的区别

http://www.youku.com/playlist_show/id_968465.html
越狱兔视频.

人永远不知道谁哪次不经意的跟你说了再见之后就真的再也不见了。[如小果]
很多事都介于“不说憋屈“和“说了矫情“之间。[north]
通往成功的路，总是在施工中。[杨不悔]
【你喜欢我天使的脸孔，还是魔鬼的身材？】【我就喜欢你这种幽默感。】[13空]
下车时导游小姐说：“请带好您的贵重物品。”他拉着我的手说：“快走，贵重物品”。[烟薰]
我不下地狱，谁爱下谁下[FAYE]
猜一句英文：「ABABBBAAAAAABBBABAAAABBBBAABBBAAAAA」？〈答案：Long time no C〉[诺小然]
自己选择的路，跪着也要走完[冷笑话]
我也不是非你不可。你也不是非我不可。真是一场误会。[入戏太深]
想你的眉目，想到模糊。——突然觉得，思念大都如此，越来越淡[王金牙儿]
广播体操现在开始：╔囧╗╔囧╝╚囧╝╚囧╗╔囧╗╔囧╝╚囧╝╚囧╗╔囧╗╔囧╝╚囧╝╚囧╗╔囧╗╔囧╝╚囧╝╚囧╗╔囧╗╔囧╝╚囧╝╚囧╗╔囧╗╔囧╝╚囧╝
╚囧╗╔囧╗╔囧╝╚囧╝╚囧╗[王小天]
饭否的几大功用：一，自言自语。二，发布信息。三，寻求帮助。四，结交朋友。五，灵感记录。六，参观学习。七，群口相声。八，备忘便贴。九，网摘收藏 [郭巨虾]
在经年后，感叹，那两个少年：一个惊艳了时光，一个温柔了岁月。[芬兰]
你永远也无法理解，为了让自己对生活发生兴趣，我们付出了多大的努力。[和菜头]
孔子曰，中午不睡，下午崩溃；孟子曰，孔子说的对 [新月]
无比有才的饭饭们，叫我怎能不爱你们？

“世界上没有绝对的真理。”这个其实是个经典的悖论。如果这个话本身就是错误。有人说真理是在不断变化发展的。但是这句话从古至今一直没有啥改进。这条如果不是真理，
那么世界上必然有绝对的真理（且不是“世界上没有绝对真理”这句话）。那么这个绝对的真理一定是除了“这个世界上必然有绝对真理”这话之外的真理。那么真理是什么？如
果这世界上，有绝对的真理存在，一定有绝对的物质空间存在。这个空间必然是静止的孤立的。这显然违背自然辩证法。但是却又找不到合理的解释。必然如同牛顿的绝对时空一
样。如果这个世界上有绝对时空的存在，那么一定部分相对论和量子学是不成立的。如果这样一个空间的存在，而我们这个时空中的事物又是相互联系的，那么一定有其他时空的
存在。我们的宇宙的在不断的变化和发展的，一定存在一个根本没有发展变化的宇宙？如果存在那样一个宇宙，那和我们这个宇宙之间的关系又是怎么样的呢？

显然这个世界上存在着各种各样的悖论。我们这个世界一定是真实存在的吗?

想累了，继续看自辩…

让内心恢复平静，要专心复习，考试咯！

最近发生很多。有喜有悲。介于档期不够不能一一列举。暂时记下。

不过感谢下菲菲小同学，以后会从京城给你带好吃的过去的。我又再次拓展了血缘关系。

鄙视下中科院订票处。科学的地方真的就一大堆不科学的事情。中国的科学…唉…排了三个小时的队…最后还是不知道有没有票。再也不承认中科院是个学校了…中国
科学院…其实就是学院…只不过它是搞中国科的。

重视团队合作，不要在意班级。人生无定。不以万古长空，忘却一朝风月；不因一朝风月，昧却万古长空。

某人说某些真相一公布的就要去跳楼。但是为了不让某人去跳楼，这里还是模糊的表达下意思。或许，有回忆的必要。

现实总是有些丑陋。很可惜还要在这丑陋的现实中挣扎下去。另外正是因为丑陋的现实，也没有人care我的面目可憎。

还有三门课要考，正在考虑如何应对。另外自习室关门，我只好呆着寝室里（两个人）。

喜欢自由的空间，喜欢畅所欲言的地盘，可惜都不可能实现。

终于发现：哲学比数据仓库难背的多。哲学看来不适合我的物质的大脑进行表示…再也不吹嘘自己强大的记忆力了…我应该向菲菲小同学请教下她是怎么背哲学课程的。

参加聚餐，拿到头小牛。因为本实验室接到十几个亿的项目，所以本实验室三年来第一次这么大方的请同学们吃自助餐。由于导师的在场的关系…貌似没有几个人吃的尽兴。

大喜大悲后，生活必定趋于平淡…

某人说我极度自恋…我想也是…无名小卒也想当将军。的确有点自恋。但是这种表达细细想来的确不是很适合。这其实不是自恋吧…应该说是自信吧.

虽然我今天不强，但是很快我会变强。这种自信还是需要的。