wqsgaara-CSDN博客

原创双鱼座三：舞者与梦想家的一周

双鱼座三：舞者与梦想家的一周　　3/11-3/18　　黄道宫位置：约在双鱼座19-28度　　季节：冬末　　元素：水　　主宰行星：海王星　　象征符号：鱼　　理解事物的方式：感受　　双鱼三以舞蹈家和梦想家为其代表意象。以人的一生来看，这一周相当于人类即将结束一生的阶段。生命周期至此终于转完了一圈。将要结束生命的人们，这时候会觉得另一个世界正毫不留情地将他们拉着往前走。他

2007-06-29 12:51:00 1024

转载自动模型检测—模型检测工具SPIN安装使用

1 SPIN 概述1．1 SPIN的历史背景SPIN（Simple Promela Interpreter）是适合于并行系统，尤其是协议一致性的辅助分析检测工具，由贝尔实验室的形式化方法与验证小组于1980年开始开发的pan就是现在SPIN的前身。1989年SPIN的0版本推出主要用于检测一系列的ω-regular属性。1995年偏序简约和线性时序逻辑转换的引入使得SPIN的功能进

2007-05-29 09:01:00 18700 8

1 引言cygwin 是一个在windows平台上运行的unix模拟环境，是cygnus solutions公司开发的自由软件（该公司开发了很多好东西，著名的还有eCos，不过现已被Redhat收购）。它对于学习unix/linux操作环境，或者从unix到windows的应用程序移植，或者进行某些特殊的开发工作，尤其是使用gnu工具集在windows上进行嵌入式系统开发，非常有用。随着嵌入式系统

2007-05-29 08:44:00 1137

转载不能在一起吃的食物

1、萝卜：严禁与桔子同食，同食患甲状腺肿；忌何首乌、地黄；服人参时忌食；忌与胡萝卜同食。 2、胡萝卜：不宜和西红柿、萝卜、辣椒、石榴、莴苣、木瓜等水果同吃。最好单独吃或和肉类烹调。 3、黄瓜：不宜和维生素c含量高的蔬菜如西红柿、辣椒等同烹调。 4、甘薯：(红薯、白薯、地瓜、山芋)；不能与柿子同食，二者相聚会形成胃柿石，引起胃胀、腹痛、呕吐，严重时可导致胃出血等，危及生命；也不宜与香蕉同吃。 5、韭

2007-05-09 12:54:00 1439

转载 Otter: An Automated Deduction System

Contents Description Computational Environment Availability Version 3.3 Documentation Example Inputs and Outputs Accomplishments Performance on the TP

2007-05-08 17:53:00 936

转载月光石的识别

商品知识由于优质的月光石具淡蓝色的晕彩，如同朦胧的月光，所以称为月光石。一般呈乳白色，半透明，具淡蓝色晕彩。月光石是钾，钠长石的双晶交替排列，构成格子状结构的微斜长石。格子双晶层的厚度很薄，在50-100nm之间，这两组相互近似垂直的双晶纹，对人射光造成散射，密集的散射光线集中在一起，就呈显朦胧的晕色。最有价值的月光石应显示蓝色的晕光，带白色晕光的月光石价值较低。月光石的晕光有方向性，晕色

2007-05-01 13:31:00 1380

转载天然水晶的种类

．天然火山硫璃　Obsidian 能使人冷静，提升创造力/组织力，平衡阴/阳之能量，使人易于相处，提高吸引力。．孔雀石　Malchite 能平衡体能，调节情绪，尤适合供佛或摆于祭坛，增加灵性功能，出外旅行/经商可保平安。．文石　Calcife 加强人对知识的追求，开发更高智慧及平衡治疗和开发第三眼穴位。．月光石　Moonstone 用来吸引爱情，可解决伴侣间感情纠纷，可扩大心灵视野，

2007-05-01 13:28:00 1916

原创 calm down...

1. Victory wont come to me unless I go to it.2. You will never have what you like until you learn to like what you have.3. You are not in charge of the universe; You are in charge of yourself.

2007-04-26 12:48:00 755

转载国家的名字可以如此...浪漫

h.o.l.l.a.n.d 荷兰 Hope our love lasts and never dies.i.t.a.l.y 意大利 I trust and love you.l.i.b.y.a 利比亚 Love, is beautiful, you also.f.r.a.n.c.e 法兰西 Friendships remain and never

2007-04-25 13:13:00 640

转载 A Mathematical Introduction to Logic

The purpose of these comments is to explain, section by section, what I am trying to do in the book. My hope is that the commentary will add a helpful perspective for the reader. In addition being a

2007-04-22 16:32:00 2425

原创 Elements of Set Theory_Errata

Page 21, line 20. Change "sonderen" to "sondern." Page 60, line 9 from below. A period is missing. Page 67. In the displayed definition of the number 1, replace the first empty-set symbol by 0, so

2007-04-22 16:27:00 1031

wqsgaara的专栏