帐前卒专栏

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

教父（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我的面目可憎。

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

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

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

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

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

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

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

小卒祝大家新年快乐！！

有时新的一年，祝大家的美好心愿都能成真！哈哈…