没事少抽烟的个人资料

刚去了趟AI吧··· 没想到竟然是那样一个地方......- -||

通灵游戏！血腥玛莉的玩法到酒吧，你有喝过一种名为血腥玛莉的鸡尾酒吗？　　原来这是一个鬼魂的名字，也是一种西方的通灵玩意，很受外国的少女欢迎，但带来的后果，却令人毛骨悚然。　　召唤血腥玛莉　　如果你希望求助于BloodyMary的邪灵，你可以跟着以下的步骤：　　1、独自一人进入浴室，记着，不要带其他人进去。　　2、锁上浴室门并关掉电灯。　　3、面向镜子，并在你与镜子之间点燃蜡烛；或在镜子的两边各点一枝蜡烛。　　4、闭上眼睛，集中精神，慢慢喃念"BloodyMary"三次。　　致命游戏　　完成以上步骤后，没有人会知道你的下场会是怎样，任何事情都可能发生，以下是一些可能性的后果：　　1、在镜子?出现一副皮肉被撕裂的面孔邪灵会把你吓死。　　2、灵把玩者吓疯。　　3、一对邪恶的红色眼睛会在镜子前出现。　　4、镜子及墙壁会有血液渗出。　　5、邪灵会把你拉进镜子里。　　注意：BloodyMary被认为是个坏透的邪灵，当你心中在想，最糟糕的情况也不外是这些，那么，真正的后果可能还要恶劣，请小心！在外国，听闻有很多玩过BloodyMary的女学生，被发现死于学校的洗手间内，而且被人夺去双眼。　　镜子巫婆　　这个游戏最奇怪的地方是，没有人知道BloodyMary是何方神圣。不过，自从七十年代开始，这个游戏便大行其道。　　一般人相信BloodyMary是一个镜子巫婆，因为使用妖术，在一百年以前被判绞刑处死；也有另一个说法是，说她是死于车祸，并且遭到毁容，所以在召唤她的时候，她总会夺取年轻少女的美貌！

各系魔杖风之魔杖做法：砍一段紫丁香枝条，约１８英寸长（４５.７２ＣＭ）．，慢慢的削去表皮，不要损伤木质．在枝条下点熏香，让烟气索绕它．同时咏唱：空气的精灵，风的主宰，祝福这枝魔杖，让她引导你的力量．火之魔杖做法；砍的是樱桃树树枝，做法同上，咏唱的是；火的精灵，破坏的制造者，祝福这枝魔杖，让它引导你的力量．水之魔杖做法；砍柳树枝条．咏唱：水的精灵，海洋的制造者，祝福这枝魔杖，让它引导你的力量，地之魔杖做法：砍橡树枝条．咏唱：大地的精灵，山的制造者，祝福这枝魔杖，让它引导你的力量

魔法阵和炼金阵第一部分《魔法阵正解》==================================================== 　　魔法阵其实包括多种形态，其中最为著名也最具有代表性的就是五芒星（Pentacle）。　　五芒星在古埃及被作为冥界子宫的符号，而在古代巴比伦则被作为女神伊修塔尔的孪生姐姐尼斐提斯（冥界女神）的符号。　　在希腊神话中，五芒星是大地女神Kore的象征；　　凯尔特人将五芒星作为冥界女神摩根的象征，在凯尔特传说中，太阳英雄加温为了向女神表达敬意而在自己血红的盾牌上画了五芒星。　　毕达格拉斯学派的神秘主义者也崇拜这个符号，将它称为‘五回交错的诞生’因此，在神秘学中，尖角向上的五芒星代表“生命”和“健康”，被用作祈求幸福的魔法符号，也被作为守护符和治疗伤病的符号。　　古代巴比伦人甚至将五芒星绘制在食物的容器上，认为这样就可以保鲜；而巴比伦的七个印章中，第一个神圣的纹章就是五芒星。　　犹太教的经典中认为，这些印章代表了神的秘密的名字，五芒星就是其中最重要的一个，所以中世纪术士杜撰的‘所罗门王的魔法戒指’上也刻有五芒星，也因为如此，五芒星也被误传为‘所罗门的印章’。　　而五芒星也出现在天使米达伦（Metatron）的封印上。　　中世纪炼金术士绘制的所谓小宇宙模型（人体模型）中，外部的圆圈代表宇宙内部绘有一名男性像，头部、双手和双足各对应五芒星的五个角，生殖器位于圆心。因此，术士们认为人的‘小宇宙’由五星支配。　　由于五芒星可以一笔画出，因此古人也迷信它可以防止恶魔和恶灵的侵犯。　　在神秘学的魔法阵中，圆形魔法阵用于保护魔法师本人，而五芒星则被用于封印恶魔、其线条的五个交汇点被认为是可以封闭恶魔的“门”，可以将恶魔封在五芒星中间的五边形中。因此，教会将五芒星称为‘恶魔的纹章’、‘女巫的十字’、‘魔法师之星’和‘女巫之足’，甚　　至宣称人狼的脚后跟就有五芒星。　　东欧的斯拉夫女巫利用这种迷信，进行称为‘测五星’的医疗巫术，这种巫术要求患者按‘小宇宙’的姿势站立（站成“大”字形），然后拿一根麻绳拴在脚踝连接到脖子然后再到另一只脚，再系到双手的中指，最后形成一个五芒星形。　　女巫装模作样‘测算’一番之后，对患者胡扯一通病情，然后用匕首将麻绳断，取出一截用火点燃并让患者吸入燃烧散发出的烟。最后女巫将灰撒在水里，让患者把这水当作药来服用。这和现在一些神汉巫婆骗人的招术基本差不多。　　而倒挂（尖角向下）的五芒星则被新柏拉图主义者作为‘五角之神’的象征，代表着四种有角的生物（雄山羊、雄绵羊、雄牛、雄鹿）与人类。　　源自印度Tantrism教派认为角代表男性‘能力’的学说、是“知惠之花”的具体显现。这个五角之神的偶像被教会称为恶魔Baphomet，一般以长有雄山羊头的人类外形出现、并且具有两性特征，它的头部挂有五芒星，是现代术士团体“东方圣殿骑士团”的崇拜对象。===============================================第二部分《红月之书涉及到的魔法阵》============================================ 　　红月之书内常见的魔法阵分为三角魔法阵，五芒星魔法阵以及六芒星魔法阵，此外还有一些神和魔使用的魔法阵，如一级至四级的魔法阵，　　不过这些魔法阵如今在魔界已经失传，现在掌握这种强大魔法阵的只有唯一神玛哲鲁以及身为原代邪机神的莉亚，当然如果一级主神毁灭还活着的话，他也算是一个。　　神所传授的魔法阵比较简单，这些魔法阵的原形就是高级魔法阵简化后演变而来。　　三角魔法阵。　　这种魔法阵的外观是圆形外框中包含一个等边三角形，通常三角魔法阵又被称呼为极恶魔法阵，顾名思义，三角魔法阵的功能就是发动邪术，黑魔法一类时所使用的魔法阵，这种魔法阵所消耗的魔力比较多，但作用面积一般都很大。

吸血鬼大观[资料收集] 吸血鬼给大家的印象是什么？高贵？恐怖？荒淫（传说吸血鬼喜欢吸食处女的血）？我看每个人的答案都不一样。不过有一点要提醒大家，吸血鬼真的存在。没错，真的存在，对于那些吃软饭或泡大款的人（排名不分先后）来说，他们都是不折不扣的吸血鬼。　　古代有渴血的精灵，中世纪出现嗜血的恶魔　　15世纪欧洲教会承认，世上有僵尸300年后人们口耳相传这在暗夜里寻找生命的死灵行迹难测，形象多变吸血鬼（vampire）是西方世界里著名的魔怪，之所以说是魔怪，是因为他处于一种尴尬的境地：既不是神，也不是魔鬼，更不是人。就向被上帝遗弃一样，这一点在影片《吸血迷情》中得到了淋漓尽致的表现。　　但这并不妨碍它成为最诱人，最神秘，最浪漫的传说人物，因为它身上具有一切不可思议的魅力：年轻，美丽，永生不死.....在吸血鬼和受害者之间，时常还有一种掺杂着情欲的施虐与受虐关系，就像所说“使你在极度幸福中死去”难道还有比这更有诱惑力的吗？　　历代文人墨客写下了大量的诗歌剧本来表达这种即向往又恐惧的心情，如拜伦的《吸血鬼》1816年，科勒律支的《克里斯特贝尔》，济慈的《无情的美人》《拉弥亚》.就连大仲马，狄更斯这样的大家也写过相关的作品，但这些作品中影响力最大的莫过于斯托克的《惊情四百年》。　　什么是吸血鬼呢？　　在欧洲，从历史开始的时候，就蔓延着吸血鬼的传说。成千上万的人们相信这一传说并在黑暗里因为这个传说而颤抖。　　吸血鬼是一个古老而神秘的种族。理论上来讲，所谓吸血鬼，可以理解成为某种程度上的死尸。他们没有心跳和脉搏，也没有呼吸，没有体温，而且永生不老。同时，他们有自己的思想，会思考，会交谈，也会四处走动，甚至还会受伤和死亡。　他们的力量远大于常人，而且拥有常人无法获得的异能。实际上，为了维持他们这种生存状态，他们必须吸食鲜血。一般来说，大部分吸血鬼通常吸食人类的血液，但是也有部分吸血鬼以吸食动物甚至其他吸血鬼的血维生。从吸食的途径上来分，一些吸血鬼会豢养牲畜（herd），这些牲畜并非牛、羊之类的动物，而是一些因为某种原因自愿贡献鲜血的人类；另一些吸血鬼会利用特殊场合诱惑人类达到目的。还有一些吸血鬼通常采取攻击的方式强行吸他们的力量远大于常人，而且拥有常人无法获得的异能。实际上，为了维持他们这种生存状态，他们必须吸食鲜血。一般来说，大部分吸血鬼通常吸食人类的血液，但是也有部分吸血鬼以吸食动物甚至其他吸血鬼的血维生。从吸食的途径上来分，一些吸血鬼会豢养牲畜（herd），这些牲畜并非牛、羊之类的动物，而是一些因为某种原因自愿贡献鲜血的人类；另一些吸血鬼会利用特殊场合诱惑人类达到目的。还有一些吸血鬼通常采取攻击的方式强行吸食血液　　很多人认为，只要被吸血鬼吸食了鲜血之后，被吸食的人就会变成吸血鬼，这种看法并不正确。被吸血鬼吸食过的人可能死亡，但是并不会变成吸血鬼。如果一个吸血鬼打算令一名人类变成吸血鬼，必须将自己的血液给予对方。被吸食者接受吸食者的血液，两种血液融合才有可能变成吸血鬼。这种血液融合的现象会带给被吸食者以完全奇妙的感受，这个过程被成为“初次拥抱” （The Embrace）。在初拥之后，被吸食者既变成吸食者的后裔，按照密党的戒律，吸血鬼不能随意发展自己的后裔，而且一名吸血鬼必须为自己后裔的行为负责. 　　每一个吸血鬼都拥有异于常人的能力。但是这种能力并不是生来就有的。年轻的吸血鬼的能力几乎和凡人相同。但是随着年龄和经验的增长，吸血鬼会逐渐发掘自身的能力，从而使自己变得强大，理论上来讲，越年长的吸血鬼拥有的能力就越强大。第三代吸血鬼拥有的能力甚至可以与神媲美。在这些吸血鬼面前，通常的人是不堪一击. 　　很多资料认为吸血鬼害怕的东西有很多，比如吸血鬼怕大蒜，圣水和木桩。这些传闻大多是不正确的。吸血鬼最害怕的东西是阳光。部分异能强大的吸血鬼可以对阳光具有微弱的抵抗力，但是没有任何吸血鬼能经受阳光的照晒。另外，高温对吸血鬼也有一定的克制作用，因此，吸血鬼通常都在夜间行动，因为白天的日光和高温都会严重的影响他们的思维和能力。此外，吸血鬼完全不怕大蒜和圣水。如果有人拥有极端强烈的宗教信仰，有可能用十字架暂时抑制吸血鬼，但是吸血鬼绝不会因此而致死。同样的，木桩对吸血鬼也毫无作用，但如果能用木桩钉住吸血鬼的心脏，可以令其暂时麻痹直到拔除为止。

＝四大天使召唤魔法＝　19世纪末英国的术士团体（秘密结社组织）“黄金之晓教团”（Hemetic Order of the Golden Dawn）结合喀巴拉教义和魔法书制订了一种召唤四大天使的魔法仪式。　　此种召唤术需要事先布置场地。需要使用一间平时基本不被人使用的房间，因为术士们宣称日常生活用品会“妨碍召唤者的精神统一”。在房间的地板上画出圆形的魔法阵，用颜色和咒语确定四个方位之后，在魔法阵中央或者东侧摆放祭坛，祭坛可以用两个长宽高皆为40厘米的箱子重叠来代替；此外还要用两根直径15厘米、长160厘米的圆柱竖立在祭坛两侧（可以用通气管代替），分别漆成黑色和白色，用以代替门柱。这样就可以模仿古代的犹太圣殿。四大天使召唤魔法中，魔法阵的布置在进行召唤时，魔法师必须事先沐浴、穿上木棉长袍，站立在祭坛中央。魔法师要用右手的食指和中指模拟剑的外形，进入沉思（幻想）、在幻想中感觉大地的存在、并且面向东方用剑（手指）按指定方向一笔画出五芒星形（见下图），念咒语（内容不外乎咿咿呀呀唔唔唉唉啊啊）。然后转向南方，重复画出五芒星，念咒语。然后转向西方，重复画出五芒星，念咒语。然后转向北方，重复画出五芒星，念咒语。四个方位转完之后，按魔法阵的咒语念诵。同时转向东方，将剑（手指）斜指向上方，缓慢、大声的念：“拉斐尔在我面前显现。”同时要在脑中幻想拉斐尔的形象：黄衣、携带弓箭、巨大的羽翼带来的大风。　　然后转向南方，作相同的动作，念：“米伽勒在我面前显现。” 同时要在脑中幻想米伽勒的形象：红衣、手持长剑、笼罩在绿色的光芒中。　　然后转向西方，作相同的动作，念：“迦百列在我面前显现。” 同时要在脑中幻想迦百列的形象：蓝衣、携带水瓶、背景是橙色的夕阳。　　然后转向北方，作相同的动作，念：“乌里埃尔在我面前显现。” 同时要在脑中幻想乌里埃尔的形象：绘有花纹的袍服、手持谷物、从绿色的大地上飞驰过来。　和喀巴拉、Tantrism宣称的教义一样，这种魔法强调魔法师本人的幻觉。黄金之晓教团在解释四大天使召唤魔法时宣称需要“非常强的精神统一和想象力”，宣布需要重复做法数十次才能够见成效。这种召唤魔法的目的在于和幻觉中的天使交谈，并且得到帮助，在19世纪流行于欧洲。和喀巴拉的七十二召唤天使、魔法书的所罗门七十二召唤魔王一样，术士们相信召唤者可以与呼出的魔鬼或天使进行条件交换或者寻求帮助。如四大天使召唤魔法的描述中最后所说的：“清净自己的心灵、如果天使的形象非常清晰地出现，那么召唤就成功了……可以和它们交谈，不要用语言，要用心灵，不要忘记对它们抱有敬畏的态度，那么它们就会回答你的问题。”但是在术士撰写的魔法书里，召唤天使不仅仅能为召唤者提供帮助和指导，也能为召唤者服务、杀死召唤者的敌人、为他找寻宝物或帮助他获得权力地位。七芒星魔法阵：六芒星魔法阵：这是阿古里巴之圆，也是比较重要的魔法阵之一。这是六芒星，相信大家都很熟悉了。这是飞旺来占卜时使用的法阵，是塔罗方面的东西。占卜时放在桌子上就行了。五芒星魔法阵：这是愿望魔法阵，这个魔法阵对你所许的愿望也会有极端的恶果，像是许了一个小小的愿望，希望有一台热水机，结果第二天参加抽奖抽中了热水机，但是提款卡也不见了，不过还好补发回来了，所以许个小小的愿望自己比较好，举一个例子来说：「有一个人希望能够有一台跑车，结果第二天真的就有了一台跑车，不过那跑车是他爸爸突然过世，他才继承的，所以许愿望还是不要要求太高喔。　　　　这个魔法阵的使用先准备一些柀ξ鬣?干燥花、蜡炷、锡泊纸、玻璃瓶、种子、魔法阵图。　　用法：先在盆子中放上干燥花、种子，并点燃蜡炷，然后左手放在魔法阵上，右手放在干燥花中边抓揉边念着：「柀Ψ讲t望台的守护者，气与创造的魔法，我召唤你，西方了望台的守护者，水与力量的魔法，我召唤你，南方了望台的守护者，火与感官的魔法，我召唤你，北方了望台的守护者，母亲与大地的魔法，我召唤你，借着三乘三的力量，请让（你的愿望）我召唤你，我召唤你，我召唤你。然后再把纸卷起来，用锡泊纸包起来，放入玻璃瓶中，再将干燥花也放入，然后用盖子封起来即可（愿望在七天内会实现喔）不过这个愿望只能实现有形的如电脑、手机等，对工作、感情是没有用的。驱魔五芒星的画法是由左下至最上，再到右下……而召唤五芒星则是最上到右下，再到左上……

六芒星仪式仪式用法: 1. 先做出小五芒星仪式，记得，先放轻松。另外，前後的卡八拉十字是很重要的^^ 2. 双手举起成一个十字说INRI，然後说 Yod Nun Resh Yod (yode-noon- raysh-yode), 把这几个字(Yod Nun Resh Yod)用希伯莱文画在空中，由右到左，当你在说的时後. 把他们识觉化，闪著篮色的闪光 3. 再一次把手举起成一个十字说 The Sign of Osiris Slain. 4. 持续把手臂张开，把右手举起向天，你的手指应该要合并，掌心向前，你的手臂应该看起来像个 L 然後说 L, the Sign of the Mourning of Isis. 5. 把双手举起，掌心向前，成一个"V"型大约六十度，把头向後顷然後说 V, the Sign of Typhon and Apophis. 6. 将你的双手形成X状，你的掌心对向你，头往前顷，说 X, the Sign of Osiris Risen. 7. 在把双手形成刚才的字母(L.V. X.)，念出来, 然後把手成一个十字然後说, LVX (lukes). 8. 继续把你的手张著然後说, The Light…...过了一会而把手形成刚才的X 然後继续刚才没说完的…of the Cross. 9. 再把手形成一个十字，然後在你说下面的咒文时，开始慢慢的把你的手臂举高，头慢慢後仰成一个V字. Virgo, Isis, mighty Mother, Scorpio, Apophis, Destroyer, Sol, Osiris, Slain, and Risen, Isis, Apophis, Osiris 然後强烈的念出 IAO (ee-ah-oh). 你的头现在应该完全往後仰，手成一个V，注意在你上方的白光然後说, Let the Divine Light descend. 10. 慢慢的把你的手再一次行成一个X在你胸前，当你这麼做时，感觉那神圣的光芒在你体内下降，让他供应给你的身体一会. 11. 走到你的圆环的东方，用你的魔杖或手指，画下一个带表火的六芒星 (画法请见图形3.3)，让他闪著金光，并像小五芒星仪式里一样，念 ARARITA (ah-rah-ree-tah)，并让他充满力量 12. 走到圆环的南方，像小五芒星里一样画出白线，然後画出一个土之六芒星，念ARARITA (ah-rah-ree-tah)并充满他力量 13. 走到圆环的西方，像小五芒星里一样画出白线，然後画出一个风之六芒星，念ARARITA (ah-rah-ree-tah)并充满他力量 14. 走到圆环的北方，像小五芒星里一样画出白线，然後画出一个水之六芒星，念ARARITA (ah-rah-ree-tah)，并充满他力量 15. 把圆环完成~~并做出关键字的分解 (步骤1~10)

Doppler Effect .

系统科学中文书目 .

希特勒的绘画作品

欧洲古堡巡礼 1法国圣米歇尔山城堡米歇尔山，法国著名古迹和基督教圣地，位于芒什省一小岛上，距海岸两公里。小岛呈圆锥形，周长900米，由耸立的花岗石构成。海拔88米，经常被大片沙岸包围，仅涨潮时才成为岛。古时这里是凯尔特人祭神的地方。公元8世纪，圣米歇尔神父在岛上最高处修建一座小教堂城堡，奉献给天使长米歇尔，成为朝圣中心，故称米歇尔山。公元969年在岛顶上建造了本笃会隐修院。

这个吧~~汗 http://post.baidu.com/f?kz=83568469......- -||

《科学美国人》精选文章（mind） ...

Any_Links ...

One Jump Ahead 。

The Game Universe 。。。

破例贴一篇奇幻：法师故事（作者：索斯） http://www.fatgoal.com/Html/Book/8/18678/index.html内容还不错，发个连接，有兴趣过去看看吧

避圈&破圈。

保罗·戴维斯：上帝与新物理学致谢前言第一章科学与宗教在变化着的世界中第二章创世第三章上帝创造了宇宙？第四章为什么会有个字宙？第五章什么是生命？整体论对还原论第六章精神与灵魂第七章自我第八章量子因素第九章时间第十章自由意志与决定论第十一章物质的基本结构第十二章偶然还是设计？第十三章黑洞与宇宙混沌第十四章奇迹第十五章宇宙的终结第十六章宇宙是“免费午餐”吗？第十七章物理学家心目中的大自然注释译后记

滚石最伟大的100首经典英文歌流行音乐杂志《滚石》与MTV音乐电视联合评选出了自1963年以来世界最伟大的一百首流行歌曲。"甲壳虫"乐队的经典老歌"Yesterday"（昨日）被传唱三十七年，经久不衰，高居百佳之首。《滚石》与MTV策划本次评选活动。之所以把评选的时间范围定在1963年至今是因为1963年"甲壳虫"乐队首次登陆美国演出标志着现代流行音乐时代的开始。仅仅选出代表这个时代的100首经典歌曲并非易事，五位《滚石》杂志的编辑和来自MTV的节目制作人、研究人员经过反复斟酌、仔细推敲才最终确定了这100首具有代表性的歌曲。

Forrest Gump 1http://language.chinadaily.com.cn/video/forrest1.wmv

牙齿脱落影响人的记忆力转贴自：读者文摘

Total Recall: Memory Requires More than the Sum of Its Parts Total Recall: Memory Requires More than the Sum of Its PartsBy David Biello

勃艮第统治者目录 1 勃艮第王国 1.1 上勃艮第王国 1.2 下勃艮第王国 2 勃艮第公国 2.1 勃艮第王朝 2.2 卡佩王朝 2.3 瓦卢瓦王朝 2.4 哈布斯堡王朝 2.5 波旁王朝 2.6 哈布斯堡王朝 3 参考条目

美女的宠物（进来要有心理准备）。

这个帖子很逗啊~~ 嘿嘿http://post.baidu.com/f?kz=107672555

马丁·加德纳智力题 .

动态规划 .

DB2常用的命令 1．启动数据库db2start2．停止数据库db2stop3．连接数据库db2 connect to oyd user db2 using pwd(注：oyd为数据库名)4．读数据库管理程序配置db2 get dbm cfg5．写数据库管理程序配置db2 update dbm cfg using 参数名参数值6．读数据库的配置db2 connect to o_yd user db2 using pwddb2 get db cfg for o_yd7．写数据库的配置db2 connect to o_yd user db2 using pwddb2 update db cfg for o_yd using 参数名参数值8．关闭所有应用连接db2 force application alldb2 force application ID1,ID2,,,Idn MODE ASYNC(db2 list application for db o_yd show detail)9．备份数据库db2 force application alldb2 backup db o_yd to d:(db2 initialize tape on .tape0)(db2 rewind tape on .tape0)db2 backup db o_yd to .tape010．恢复数据库db2 restore db o_yd from d: to d: db2 restore db o_yd from .tape0 to d:11．绑定存储过程db2 connect to o_yd user db2 using pwddb2 bind c:dfplus.bnd拷贝存储过程到服务器上的C:sqllibfunction目录中12．整理表db2 connect to o_yd user db2 using pwddb2 reorg table ydddb2 runstats on table ydd with distribution and indexes all 13．导出表数据db2 export to c:dftz.txt of del select * from dftzdb2 export to c:dftz.ixf of ixf select * from dftz14．导入表数据import from c:123.txt of del insert into ylbx.czyxxdb2 import to c:dftz.txt of del commitcount 5000 messages c:dftz.msg insert into dftzdb2 import to c:dftz.ixf of ixf commitcount 5000 messages c:dftz.msg insert into dftzdb2 import to c:dftz.ixf of ixf commitcount 5000 insert into dftzdb2 import to c:dftz.ixf of ixf commitcount 5000 insert_update into dftzdb2 import to c:dftz.ixf of ixf commitcount 5000 replace into dftzdb2 import to c:dftz.ixf of ixf commitcount 5000 create into dftz (仅IXF)db2 import to c:dftz.ixf of ixf commitcount 5000 replace_create into dftz (仅IXF) 15．执行一个批处理文件db2 –tf 批处理文件名（文件中每一条命令用；结束）16．自动生成批处理文件建文本文件：temp.sqlselect 'runstats on table DB2.' || tabname || ' with distribution and detailed indexes all;' from syscat.tables where tabschema='DB2' and type='T';db2 –tf temp.sql>runstats.sql17．自动生成建表（视图）语句在服务器上：C:sqllibmisc目录中db2 connect to o_yd user db2 using pwddb2look –d o_yd –u db2 –e –p –c c:o_yd.txt18．其他命令grant dbadm on database to user bb 19select * from czyxx fetch first 1 rows only20db2look –d ylbx –u db2admin –w –asd –a –e –o a.txt21. 显示当前用户所有表　　list tables 22.列出所有的系统表　　list tables for system23.查看表结构　　db2 describe select * from user.tables

自测成功心理倾向

推理心理测试在这密室内发生了一桩离奇的案件，现金分文没少，一枚戒指失踪，房主人被害。现委派初出茅庐的你侦察这起案件，努力做吧！

老游戏。

马背上的无上光荣：骑士的战争

数学游戏。

VC++快捷键 F1：帮助Ctrl+O ：OpenCtrl+P ：PrintCtrl+N ：NewCtrl+Shift+F2 ：清除所有书签F2 ：上一个书签Shift+F2 ：上一个书签Alt+F2 ：编辑书签Ctrl＋F2 ：添加/删除一个书签F12 ：Goto definitionShift+F12 ：Goto referenceCtrl+'Num+' ：Displays the next symbol definition or referenceCtrl+'Num-' ：Displays the previous symbol definition or referenceCtrl+J/K ：寻找上一个/下一个预编译条件Ctrl+Shift+J/K ：寻找上一个/下一个预编译条件并将这一块选定Ctrl+End ：文档尾Ctrl+Shift+End ：选定从当前位置到文档尾Ctrl+Home ：文档头Ctrl+Shift+Home ：选定从当前位置到文档头Ctrl+B/Alt+F9 ：编辑断点Alt+F3/Ctrl+F ：查找F3 ：查找下一个Shift+F3 ：查找上一个Ctrl+]/Ctrl+E ：寻找下一半括弧Ctrl+Shift+] ：寻找下一半括弧并选定括弧之间的部分（包括括弧）Ctrl+Shift+E ：寻找下一半括弧并选定括弧之间的部分（包括括弧）F4 ：寻找下一个错误/警告位置Shift+F4 ：寻找上一个错误/警告位置Ctrl+L ：剪切当前行Ctrl+Shift+L ：删除当前行Alt+Shift+T ：交换当前行和上一行Ctrl+Alt+T ：Brings up the completion list boxCtrl+Shift+Space：显示函数参数的TooltipCtrl+Z/Alt+Backspace ：UndoCtrl+Shift+Z/Ctrl+Y ：RedoF8 ：当前位置变成选定区域的头/尾（再移动光标或者点鼠标就会选定）Ctrl+Shift+F8 ：当前位置变成矩形选定区域的头/尾（再移动光标或者点鼠标就会选定）Alt+F8 ：自动格式重排Ctrl+G ：GotoCtrl+U ：将选定区域转换成小写Ctrl+Shift+U ：将选定区域转换成大写Ctrl+F8 ：当前行变成选定区域的头/尾（再移动上下光标或者点鼠标就会选定多行）Ctrl+Shift+L ：删除从当前位置到行尾Ctrl+Shift+8 ：将所有Tab变成`或者还原Ctrl+T ：显示变量类型Ctrl+↑ ：向上滚屏Ctrl+↓ ：向下滚屏Ctrl+Del ：删除当前单词的后半截（以光标为分割）Ctrl+Backspace ：删除当前单词的前半截（以光标为分割）Ctrl+← ：移到前一个单词Ctrl+→ ：移到后一个单词Ctrl+Shift+← ：选定当前位置到前一个单词Ctrl+Shift+→ ：选定当前位置到后一个单词Ctrl+Shift+T ：将本单词和上一个单词互换 Alt+0 ：Workspace WindowAlt+2 ：Output WindowAlt+3 ：Watch WindowAlt+4 ：Variables WindowAlt+5 ：Registers WindowAlt+6 ：Memory WindowAlt+7 ：CallStack WindowAlt+8 ：Disassembly WindowCtrl+W ：ClassWizardAlt+Enter ：属性 Alt+F7 ：Project Settings F7 ：BuildCtrl+F7 ：CompileCtrl+F5 ：RunCtrl+Break ：Stops the buildF5 ：GoCtrl+F10 ：Run to cursorF11 ：step intoAlt+F10 ：Apply codes changesCtrl+F9 ：Enable/Disable a breakpointAlt+F11 ：将 Memory Window 切换到下一种显示模式Alt+Shif

从共产主义到共生主义——马克思历史观的新发现 --------------------------------------------------------------------------------发布时间：2004-04-09　文章来源：作者发布文章作者：h爱生　　摘要文章论述了共生主义理论体系形成和发展的历史及其理论基础。提出：要打开马克思主义理论伟大的思想宝库，开创马克思主义理论研究的新局面，就要从社会、历史、宇宙的共生现象研究入手，展开研究，因为共生现象是活着的辩证逻辑、是历史唯物主义的活的标本。　关键词 g产主义共生主义共生进化论共生主义历史观

转贴：从“切蛋糕问题”谈到欧拉在图论上的贡献从圣诞节到新年之间，我们有几天假期。我们几个老朋友就选择一个晚上，各自准备点吃的东西欢聚在一起。吃吃喝喝完后，大家各出一些需要动脑筋想的问题消遣，于是字谜啦、数学游戏等都出场了。当晚，煮一手好菜的老黎和我都各出一个问题，后来我发现这二个问题都和一门正在蓬勃发展的数学——图论（Graph The－ory）有关系。于是今天就打算谈谈这二个问题，顺便也介绍一下这门在国内正受到数学工作者注意的数学。

图论中的几个概念 1）正则图各结点次数均相同的图。2）图的同构两个图满足同构关系。必要条件：结点数相等，边数相等，度数相同的结点数相同。3）欧拉路径经过图的每条边一次且仅有一次的路径，称为欧拉路径。此路径为回路时，称为欧拉回路。有欧拉回路的图称为欧拉图。无向连通图有欧拉路径当且仅当它有零个或两个奇数次数的顶点。无向连通图是欧拉图当且仅当该图的顶点次数都是偶数。有向连通图具有欧拉路径当且仅当每个顶点引入次数等于引出次数，但可以有两个顶点例外，一个大一一个小一。有向连通图是欧拉图当且仅当每个顶点的引入次数等于引出次数。4）哈密尔顿图经过每个顶点一次且仅一次的路径称为哈密尔顿路径。具有哈密尔顿回路的图称为哈密尔顿图。N≥3个顶点的简单无向图中若每对顶点的次数之和大于等于n，则此图中存在哈密尔顿回路。5）两部图

这里居然真的有不少魔法师~~晕 http://post.baidu.com/f?kw=%BA%DA%C4%A7%B7%A8

（转）about魔杖魔杖不一定要用买的，就像很多其他巫术用品一样，做出来的东西效果更好。古时候女巫门的魔杖只是一根短短的木棒而已。直到近代时期才有人在上面镶石头啦！刻花纹啦！用金属制作等等。其实我们没有必要这麼麻烦的哦，只要实用就好了。但是要注意不同的木头和石头带给你的魔杖也是不同的属性噢！所以在制作之前一定要仔细选好你所需要的木头和石头的材料。我的魔杖就很简单的啊！制作魔杖的步骤可以分解为：选材－－不同的木头和石头带给你的魔杖也是不同的属性。改质－－当你选择好材料後，既要对他先"整理一下"。例如用柳木制作的话就应该让他自然风乾一个月，以免制作後走形。或者使用橄榄油或者其他植物油浸泡，（采用用棉花包住,再将橄榄油润湿棉花，这样可以节省点橄榄油），等主体润湿后，然后阴干。（避免阳光直射即可）反复几次，同样也可以能加强主体表面的硬度，形成外坚内柔的材质。而且有一定程度的防水防潮能力。成型－－你认为魔杖是什么样子的呢？把你想象中的东西显示出来，然後把那块"大木头"一点一点的变成小"木棒"。注意：魔杖的长度应该是中指到小肘的内部。打磨－－现在你的魔杖大体完成了，使用细沙纸，细心的打滑表面。用力要轻柔。仔细的打磨数次！修饰－－你也可以在主体表面修饰花纹或是镶石头/水晶/羽毛等等，当然你也可以不做这些。花纹可以用电烙铁耐心的画上去你所需要的魔法符号。当然你也可以把铁片剪成一定的形状，加热后印在上面。或者直接用小刻刀刻上去。接著用小刀开好相应的位置，放置宝石/羽毛等。宝石不一定在主体的两端，也可以镶嵌在中间等等。也一种全透明胶加以固定。这只是装饰问题，看你的设计啦！再次打磨－这次一下就好，因为不要损伤表面的花纹。最後你也可以喷一些好看的油漆在上面哦。这个是在论坛里找到的简易式魔杖制作方法。这个魔杖没有特别属性 , 纯粹是聚集魔力用 , 适合仪式用这个魔杖制作方法很简单~~白痴如果有材料也会做 1. 从竹子 , 接骨木 , 橡树 , 柳树砍一束跟从肩膀当中指尖一样长的木头下来 , 确定木头上没任何幼芽或树枝连著. 2. 用沙纸把他磨到完全光滑为止就算完成了(也有人放水晶在魔杖上 , 不过不是必要的 , 那只是一个调整力量的步骤) 3. 拿一块白色或黑色的蚕丝布 , 把魔杖包好 , 记得每次用後都要包好其实最重要的是魔杖得圣别仪式：简易式圣别仪式这是魔杖的圣别仪式 , 你首先要先集中精神 , 把注意力放在魔杖上 , 对他吟唱 " I consecrate and purify thee, creature of steel, by Divine authority, that thou may be a tool in my practice of the magical art and an extension of my will, so mote it be." 接下来点燃香精 , 把魔杖带过燃烧香精时冒出来的烟 , 视觉化魔杖上不纯静的东西全都随著烟飘走.

摘自《塔罗时刻-圣甲虫的预言》中的解牌者守则自《塔罗时刻-圣甲虫的预言》中的解牌者守则在初学读牌时可能会照本宣科和缺乏要点，经验和实践将会增加技巧和直觉。另一方面，来自高手的经验将有助于进一步提高。 1 心态当你面对一副塔罗牌，应抱信任的心态，只有这样你才能获得真正的答案。塔罗牌会敏感地反映出人的意念，但如果使用者的态度轻率随意，或是体力和精神上极其疲惫，结果则难免答非所问。另一方面，如果凡事都要依解牌来决定，塔罗牌也就失去了它的意义。使用塔罗牌是希望让人在消沉时再度振奋，稳定人的情绪，以求得冷静应付世事的变化。有了这种心理准备，塔罗牌将不仅是一个工具，而成为给你忠告的伙伴，带给你生活方方面面的帮助。 2 不重复解牌每张塔罗牌上都画有许多神圣的象征，隐藏着神秘的预言能力。如果想获得这种力量，就必须以认真的态度面对牌，而且在开始解牌前，就要尽量对牌产生信任感。无法接受解牌的结果就重复展开和解读过程的行为，就构成了不信任纸牌的心态。其实，重复并不能改变事情真实的状况，只有从当时所出现的牌来寻求暗示找到解决之道，才是正确的方法。如果真的很想再来一次，或许可以等到几天以后，或是换一个方式，甚至等到事情发生变化后再进行，毕竟纸牌显示的结果只是以当时的状态所得到的预测，任何时机都会导致不同的结果。 3 持之以恒如果你偶尔去一次健身房，就不应抱怨没有效果。练习解牌也同样，必须持之以恒才能有进步。成为塔罗牌高手实在是需要耐心和时间。最好能规划出一个解牌次数目标，不要急于结束训练课程，以使自己有一种“毕业了”的感觉。学习解读塔罗牌时应仔细品味每一次解牌的精彩之处，以心灵和精神把握每次机会来领导塔罗神秘符号的暗示。 4 慎选练习伙伴慎重挑选帮助你联系塔罗解牌的对象，若不幸选择了那种让你的早期尝试变为笑柄的人，会使你一开始就产生挫折感，对以后的联系极为有害。在经历了比较充分和有成效的训练，拥有足够自信后，甚至可以试着到酒吧一类的公共场合去为陌生人解牌，这不但使你结交许多新朋友，当你的解牌获得积极回应时，会使你有一种成就感，成为继续努力联系的动力。去这些场合不要忘记带上几位朋友，以应付万一发生的不愉快。毕竟可能碰上对你不那么友善的人。 5 环境解牌的环境应清洁雅致，温馨安详。为了环境更适宜，根据你的感觉，可以播放一些平缓的背景音乐，也可摆放一些水晶球或是燃点造型别致的灯具或蜡烛，这将有利于进入融会贯通的境界，并将加强解牌的心理效果。 6 洗牌洗牌方式的变幻确实能导致十分不同的解读效果。要是询问者注意力集中在牌上，比如洗牌时请询问者对着牌轻吹一口气，通过这种方式，询问者将他们的能量灌注到牌上，使牌不受以前能量的影响，从而呈现出询问者的真实情况。否则，开出的牌只不过是一堆和询问者毫不相关的乱数。 7 关于牌阵解牌最终的目的是解牌者和询问者两人意见的分享，而不是表演牌阵，在牌阵形式上的刻意追求，未必能为解牌增色，因此那种力求展示复杂而令人眼花缭乱的牌阵来让询问者相信你的能力的做法是一种误解。还有人认为针对询问者不同的情况，解牌者必须采用不同的牌阵。其实，采用你所熟习而得心应手的牌阵即能有很好的效果。当然，你还可以自创牌阵，只要保持你的牌阵中每个位置所表示的含意。比如某一张代表现在，另一张代表未来，等等。总之，灵活运用牌阵，将使你的节拍更为有声有色，使你拥有更多的解牌经验，使解牌有更理想的效果。 8 牌阵的增强在解牌中，为了解更多的细节，可以使用突出重点地技巧，即在牌阵的某些位置上增放几张牌，以获取某方面更多的相关含义和暗示。比如，利用凯尔特十字展开法时可在第八张上多方一两张牌，借助这种方法获知更多更详尽的内容，让解牌过程更流畅，效果更圆满。但切记，要根据你驾驭牌阵的能力来决定增放多少牌，避免出现顾此失彼的情况。原则就是量力而为。如能运用得当，将使你的解牌更具个人风格，让询问者更感兴趣。

转贴：当代大学生有多狠`````` 1考试版凡人：什么？明天要考高数？？得道：什么？下节课要考高数？？入仙：什么？刚才考的是高数？？成佛：什么？昨天有考试？？高级佛爷：高数？刚才考的不是英语？？我寝室一哥们：高数是什么树？？ 2睡觉逃课版凡人：靠！快迟到了。赶紧起！（8点上课7点55起来的）得道：靠！怪事，今天起早了！（8点上课7点55起来的）入仙：靠！已经迟到了，干脆接着睡！帮我请个假。成佛：（朦胧中）别叫我，让我再睡会儿。（画外音：起来吧，你已经连逃一个星期了！）老样子，帮我喊到！高级佛爷：选修课必逃，必修课选逃。今天星期二，按惯例不去，接着睡。（画外音：你不怕教授发现吗？） 3上课睡觉版凡人：今天又睡了一整节英语。真他妈爽！得道：今天又一觉睡到了中午吃饭，真他妈爽！入仙：今天又睡得忘了吃中午饭，真他妈不爽！成佛：早上来的，天怎么这么快就黑了，现在是夏天，天黑这么早？高级佛爷：醒来以后发现饿的走不了路了，于是接着倒下睡。我宿舍那哥们，有一次教授对他说：“***，你以后不要迟到了，那样会影响你的睡眠质量。” 4其他经典版本毕业做论文期间，笑傲江湖正在热播，遂有几个哥们搞了碟回来通宵观看。话说一哥们被导师连下5道金牌后仍拒绝去实验室做实验，导师终于气急，亲自打电话到该哥们宿舍：我找XXX。好巧不巧，刚好是该哥们本人接的电话，他一听，想都不想，直接说：啥事啊？导师说：你叫他来实验室做实验。他：他忙着看笑傲江湖呢，去不了~~~~~~~~~导师FT，之后当导师再想起这个哥们，直接说：那个笑傲江湖今天来了没有…… 大三的某天晚上有加课，我因为要到火车站去接某位生病同学的父亲，所以没能去上课。接了人，想着回到宿舍的时候估计宿舍得是空的。正发愁怎么安置这位父亲呢，谁想到，男生宿舍灯火通明，进去一看，大半个班的人都在，奇怪之余，问到：你们都找的什么借口没去上课啊，众答：到火车站接同学父亲啊~~~~~我~~~晕教授？开学三个月，我还不认识谁是教授那！我宿舍那哥们一天早起六点半，高高兴兴去上课，今天终于没迟到，到了课堂看见辅导员怒气冲冲看着他，他胆怯的说：“我今天没迟到。” 辅导员说：“我知道，可你昨天一天去哪了？” （原来这哥们睡了一整天加一个晚上）

为什么封锁吧主IP？管理员你好我是“70年代”吧吧主，我们吧另外一位吧主“欲望与自由”不知什么原因账号的IP被封锁，现在无法发言，请解除，谢谢~

欲望与自由发个贴子看看行了不？不行就去举报吧是不是干啥坏事了你？

来本吧的人还常去小夭酒肆人工智能晕~~

一对博士夫妻分手婚姻破裂竟缘于学术观点分歧晨报南京专讯江苏省南京市一位哲学博士近日与妻子办理了离婚手续，令人匪夷所思的是，婚姻破裂竟缘于妻子不同意他的学术观点。今年39岁的李成(化名)从小就痴迷于哲学。大学毕业后，他又攻读了硕士和博士，并留任南京某高校哲学老师。2000年，李成和王亚(化名)结婚，王亚是他的大学同学，也是一名哲学博士。　　李成和王亚对于黑格尔的“绝对理念”思想的形成问题争执不下，谁也不肯让步。近日，李成将一纸离婚协议书寄给了妻子。在离婚理由一栏，李成写道，他爱哲学胜过一切，他不能跟一个学术观点和自己不一样的人生活。王亚当天就在离婚协议书上签了字。

净室软件工程 (Roger S.Pressman博士)分类:形式化开发方法第25章净室软件工程传统的软件工程建模、形式化方法、程序验证(正确性证明)、以及统计SQA的集成使用已经组合成一种可以导致极高质量软件的技术。净室软件工程(Cleanroom software engineering)是一种在软件开发过程中强调在软件中建立正确性的需要的方法。代替传统的分析、设计、编码、测试和调试周期，净室方法建议一种不同的观点〔LIN94〕：在净室软件工程后面的哲学是：通过在第一次正确地书写代码增量并在测试前验证它们的正确性来避免对成本很高的错误消除过程的依赖。它的过程模型是在代码增量积聚到系统的过程的同时进行代码增量的统计质量验证。净室方法在很多方面将软件工程提升到另一个层次。象第24章中讨论的形式化方法技术一样，净室过程强调在规约和设计上的严格性，以及使用基于数学的正确性证明来对结果设计模型的每个元素进行形式化验证。作为对形式化方法中采用的方法的扩展，净室方法还强调统计质量控制技术，包括基于客户对软件的预期的使用的测试。当现实世界中软件失败时，则充满了立即的和长期的危险。这些危险可能和人的安全、经济损失、或业务和社会基础设施的有效运作相关。净室软件工程是一个过程模型，它在可能产生严重的危险前消除错误。 25.1 净室方法在硬件构造技术方面“净室”的哲学是相当简单的：建立一种排除产品缺陷引入的价格有效和时间有效的构造方法。不是先制作一个产品，然后再去消除缺陷，净室方法要求在规约和设计中消除错误，然后以“净”的方式制作。对软件工程的净室哲学首先由Mill和其同事于1980年代提出〔MIL87〕，虽然对这个严格的软件开发方法的早期经验显示了很大的希望〔HAU94〕，但它并没有得到广泛的使用，个严格的Henderson为此总结了三个理由：1.一种信念认为净室方法学太理论、太数学、以及太激进，以至难于在真实的软件开发中使用。2.它提倡开发者不需要进行单元测试，而是进行正确性验证和统计质量控制，这些概念代表了和当前大多数软件开发方式的很大的背离。3.软件开发产业的成熟度。净室过程的使用需要在整个生命周期阶段定义的过程的严格的应用，因为大多数软件企业的运作还处于ad hoc级别(由SEI的CMM定义)，因此，还没有准备好应用那些技术。虽然在上面提到的每个顾虑中都有真实的成分，但是，净室软件工程的潜在益处远远超出要克服这些顾虑的核心——文化阻力所需要的投入。 25.1.1 净室策略净室方法使用增量软件模型(第2章)的一个专门版本。一个“软件增量的流水线”〔LIN94〕被若干小的、独立的软件工程小组开发，一旦每个增量被认证通过，它将被集成为一个整体。因此，系统的功能随时间增加。对每个增量的净室任务序列在图25-1中给出。用在第10章讨论的系统工程方法开发整个系统或产品需求，一旦功能已被分配给系统的软件元素，净室增量的流水线被初始化，发生下列任务：增量计划。开发一个采用增量策略的项目计划，建立每个增量的功能、它的项目大小、以及净室开发进度表。必须特别小心以保证通过认证的增量将被定时集成。需求收集。使用类似于在第11章引入的技术，为每个增量开发一个客户级需求的更详细的描述。盒结构规约。使用一个运用盒结构的规约方法〔HEV93〕来描述功能规约。遵从在第11章讨论的操作分析原则，盒结构“在每一个精化级别上分离和分开行为、数据及过程的创造性定义”。形式化设计。使用盒结构方法，净室设计是规约的自然的无缝的扩展。虽然，在两个活动间可进行清楚的区分，但是，规约(称为“黑盒”)是被递进地求精(在一个增量内)以成为类似于体系结构的和过程的设计(分别称为“状态盒”和“清晰盒”)。正确性验证。净室小组对设计及代码进行一系列严格的正确性验证活动。验证(25.3节和25.4节)从最高层次的盒结构(规约)开始，然后移向设计细节和代码。正确性验证的第一层次通过应用一组“正确性问题”〔LIN88〕来进行，如果这没有证明规约是正确的，则使用更形式化的(数过学的)验证方法。

哥德尔不完备性定理 (董世平)分类:形式语义和数理逻辑哥德尔 (Kurt G?del) 于1931年发表了他的「不完备定理」(Incompleteness Theorem)，至今正好六十年。为此，在哥德尔的求学地维也纳，特别召开了一个会议，讨论哥德尔这个定理所带来的影响。的确，这六十年来，常在不同的领域内，发现到这个定理的影响，而这个定理在不同领域中的应用，甚至引起了相当的争议。哈佛大学于1952年授与哥德尔荣誉科学博士学位，称他为「本世纪最重要数学真理的发现者」，这里所指的数学真理即为「不完备定理」。虽然当时是1952年，但已宣称此定理是本世纪最重要的数学真理，可见此定理的重要性，不仅可说是空前，亦可称为绝后了。「不完备定理」到底是一个什么样的定理？本文将简介此定理的背景、证明及它对数学、计算器和哲学的影响，盼望大家对这个定理能有较深入的认识与体会。背景自第十九世纪后期，「集合」的观念被提出后，数学家们逐渐的感到，各个不同的数学领域，似乎皆可建立在同一个根基上，就是「集合论」，但是不幸的，过不久逻辑学家们即发现以「集合」这么简单，而且直觉上认为「真」的概念，却会产生「反论」(antinomy)，即「集合」的概念会产生矛盾，这使得数学家们重新思考数学的基础到底是什么？数学会不会出错？如何面对一个直觉上为真，却会导致矛盾的概念？是放弃「集合」的概念呢？或是如当时顶尖的数学家希尔伯特 (Hilbert) 所宣称的：「没有人能将我们逐出集合论的乐园！」。若是如此，又将如何面对矛盾呢？以总共不到17页的三篇论文，一个年轻的荷兰数学家布饶儿 (Brouwer) 对以往古典逻辑的确实性提出挑战，特别是对所谓的排中律 (Law of the excluded middle)，即对任一命题「A」，A或A之否定命题必有一为真，他认为我们不可无条件的接受，布饶儿坚持有其它的可能性，因此也就有了数学哲学中的直观主义 (Intuitionism) 学派，若接受了此一说法，连带的，数学中许多的证明将不再被接受，特别是所谓存在性的证明。例如，要证明某一微分方程式有解，则必须给出一个方法，把这个解找出来，而不可仅证明「若无解会导致矛盾」，而这却是一般数学家们所常用的方法。希尔伯特不赞成布饶儿的看法，他认为若是如此数学的牺牲实在太大了，那么要如何使数学能立在一个坚固的基础上呢？为此他提出所谓的「希尔伯特计划」(Hilbert program)，即以有限性 (finitary)、组合式 (combinatorial) 的方法，由简单的理论开始，先证明「数论」有一致性 (consistency)，即「数论」中不包含矛盾，再以「数论」为基础证明「分析」有一致性，再一步步往前推，至终证明数学中不包含矛盾，只要能证明即使使用排中律也不会产生矛盾，那么尽可放心大胆的去使用排中律，不必像布饶儿那样束手束脚。「希尔伯特计划」是一个很好的计划-如果能成功的话。在讨论此计划的成败之前，我们先介绍另一个观念，上文我们说明了一致性。的确，一致性可说是对任一公设系统，最基本的要求，若一个系统内包含矛盾，其它的也就不用再谈了，对公设系统我们另一个希望有的性质就是完备性 (Completeness)。我们用自然数 1,2,3,……来说明这个观念。我们要证明有关自然数的定理，如「质数有无穷多个」，我们若要将证明整个一步步写下来，我们必须从某一个公设系统出发，其实任一个证明，都必须从某一个公设系统出发。对于自然数我们最常用的公设系统就是皮亚诺公设 (Peano Axioms)，这些公设中最复杂而且困难的，（不仅对一般的高中，大学生如此，对逻辑学家亦如此），就是大名鼎鼎的「数学归纳法」。借着数学归纳法及其它的公设，我们可证明「质数有无穷多个」，问题是「是否所有有关自然数的叙述，只要是对的，就可由皮亚诺公设出发，而得到证明呢？」也就是「皮亚诺公设是否完备?」若皮亚诺公设具有完备性，那么所有有关自然数的叙述，若是对的，就可由皮亚诺公设证明。

20世纪数理逻辑的概貌（李娜）分类:形式语义和数理逻辑在20世纪里，数理逻辑的发展极其迅速并取得了巨大的成就。例如，1937年图灵提出了一个非常重要的关于计算的数学模型，现在人们称它为图灵机。它能计算一切能行可计算的问题类，是一个能行可计算的模型。还为现代通用计算机体系设计思想的产生提供了理论准备。1931年哥德尔证明了：一个包括初等数论在内的形式系统，如果它是一致的，那么它就是不完全的；或者说如果这样的系统是一致的，那么它的一致性在本系统中不可证。现在人们称这个结论为哥德尔不完全性定理。这一定理为20世纪数理逻辑的发展带来了新的活力。近年来，它对人工智能的研究也产生了巨大影响。1933年塔斯基发表的《形式语言中的真值概念》一文是模型论的奠基著作，它为后来的逻辑语义学的发展奠定了基础。这是20世纪30年代数理逻辑所取得的三项伟大成就。笔者认为：20世纪30年代数理逻辑所取得的这三项伟大成就，不仅决定了20世纪逻辑学的面貌，而且也将影响着21世纪逻辑学的发展。本文将从历史的视角回顾20世纪数理逻辑的面貌并展望21世纪数理逻辑或者21世纪早期数理逻辑的发展。数理逻辑包括一阶逻辑(指命题逻辑和狭谓词逻辑，也称为经典逻辑)、高阶逻辑、公理化集合论、递归论、模型论和证明论等。这部分内容基本上是数学化的，所以，它也是现代数学的基础。数理逻辑方面的分支相对来说比较成熟，即便如此，20世纪中也出现了一些新的发展。例如，在常见的经典命题逻辑系统中，联结词和括号总是兼而有之。在这样的系统中，联结词和括号各自承担各自的作用。实际上，它们的作用是可以互兼的。20世纪20年代，卢卡西维奇采用前置法使联结词兼负起括号的作用，并建立了不用括号的系统。我国学者在20世纪90年代中，建立了不用联结词的命题逻辑系统，这表明括号也能兼具联结词的作用。不久，他又推广了他的这一结果，建立了不用联结词和量词的一阶逻辑系统，使括号发挥着更充分的作用。另外，通常在表述一阶逻辑的形式系统时，需要使用个体变项，现在有一种不使用个体变项的记法，这样的系统不仅保留了原来系统的表达能力，还在某些方面更接近于日常推理。70～80年代人们还给出了一种一阶逻辑的动态解释。此外，对一阶逻辑的一些子系统也进行了研究。例如，一元谓词逻辑，全称子句，以及Horn–子句等的研究。[1] 在四论中，公理化集合论是用现代公理化的方法重建康托尔集合论的研究。康托尔集合论中有一条重要的原则：把凡是满足某种性质p(x)的对象x聚集起来就构成一个集合。这一原则被称为概括原则。它很自然，人们原来对它深信不疑。1901年，罗素用具有性质x?x的元素x构成集合推出矛盾，这个矛盾就是著名的罗素悖论。罗素悖论的出现立即震动了整个数学界，引起了数学史上的第三次危机。为了消除罗素悖论，人们不得不对集合的概念加以限制。由于当时希尔伯特刚为欧氏几何学成功地建立了公理系统，因此大家普遍认为采用公理化的方法对集合作一些必要的限定是适当的。1908年蔡梅罗提出了第一个集合论公理系统，后经弗兰克尔等人加以改进和补充，终于形成了著名的ZF公理系统。在这个系统中，不仅避免了过去已发现的悖论，而且至今未发现出现新的悖论。特别是，保留了康托尔集合论。另外，还有罗素建立的类型论，冯?诺伊曼、贝奈斯和哥德尔等人建立的GB公理系统。由于ZF系统是一个形式公理系统，它建立在带等词“=”和属于关系“?”的一阶谓词演算上，它的非逻辑公理有：外延公理、空集公理、配对公理、并集公理、幂集公理、子集公理、无穷公理、替换公理、正则公理。如果加上选择公理(AC)，得到的系统记作ZFC。在ZFC公理系统中，子集公理是一种受到限制的概括原则。用这条公理只能得到与已构造的集合相比并不大的集合。这样就有效地阻止了悖论的产生，并且还能够得出数学中所需要的东西。但是，在ZFC公理系统中仍然存在着一些问题有待解决。例如连续统假设(CH)以及ZFC公理系统的协调性等等。在ZFC公理系统中，使用其它公理所得到的集合都可以构造性地给出，唯有选择公理是一个例外。为此在数学家中就是否承认选择公理也曾引起过激烈的争论。此外，有些由选择公理推出的结论也与直觉不服，其中最著名的是1924年巴拿赫和塔斯基证明的被称为“分球怪论”的定理。这是人们感到它(选择公理)是一条危险的公理。另一方面，我们又很难放弃选择公理。事实上，若要放弃选择公理就得放弃一大部分现代数学。关于选择公理的激烈争论，直到1938年哥德尔建立了可构成模型L，用内模型方法，证明了选择公理和连续统假设(CH)相对于ZF是协调的才告结束。此后，哥德尔的内模型方法被广泛用于集合论的协调性证明中。到了70年代，吉森等人对可构成模型L进行了更精确的刻画，创立了“精细结构”的理论，从而在L中证明了许多组合问题。后来，道德和吉森等人将精细结构理论和超幂方法相结合，提出了柱心模型理论。虽然用内模型方法解决了很多问题，但是选择公理和连续统假设的独立性问题仍然没有解决。直到60年代，科恩用力迫法才证明了选择公理和连续统假设相对于ZF是独立的。力迫法是一种强有力的构造模型的方法。

外文期刊翻译精粹不断添加中

图灵对计算本质的揭示（董荣胜等）在哥德尔研究成果的影响下,20世纪30年代后期图灵A.M.Turing从计算一个数的一般过程入手对计算的本质进行了研究,从而实现了对计算本质的真正认识。根据图灵的研究，直观地说所谓计算就是计算者人或机器对一条两端可无限延长的纸带上的一串0和1执行指令，一步一步地改变纸带上的0或1经过有限步骤，最后得到一个满足预先规定的符号串的变换过程。图灵用形式化方法成功地表述了计算这一过程的本质。图灵的研究成果是哥德尔研究成果的进一步深化，该成果不仅再次表明了某些数学问题是不能用任何机械过程来解决的思想而且还深刻地揭示了计算所具有的能行过程的本质特征。图灵的描述是关于数值计算的不过我们知道英文字母表的字母以及汉字均可以用数来表示。因此，图灵机同样可以处理非数值计算，不仅如此更为重要的是由数值和非数值、英文字母、汉字等组成的字符串既可以解释成数据又可以解释成程序，从而计算的每一过程都可以用字符串的形式进行编码，并存放在存储器中，以后使用时译码并由处理器执行。机器码结果可以从高级符号形式即程序设计语言机械地推导出来。图灵的研究成果是可计算性=图灵可计算性。在关于可计算性问题的讨论时不可避免地要提到一个与计算具有同等地位和意义的基本概念那就是算法。算法也称为能行方法或能行过程是对解题计算过程的精确描述。它由一组定义明确且能机械执行的规则语句指令等组成。根据图灵的论点可以得到这样的结论：任一过程是能行的能够具体表现在一个算法中，当且仅当它能够被一台图灵机实现。图灵机与当时哥德尔丘奇A.Church波斯特E.L.Post等人提出的用于解决可计算问题的递归函数演算和POST规范系统等计算模型在计算能力上是等价的。在这一事实的基础上形成了现在著名的丘奇图灵论题。图灵机等计算模型均是用来解决能行计算问题的理论上的能行性隐含着计算模型的正确性而实际实现中的能行性还包含时间与空间的有效性。

符号的逻辑——数理逻辑。

数理逻辑传统逻辑与数理逻辑。��逻辑一词源于希腊文，意思指：词、思想、理性、规律等。逻辑学研究的是：判别一个推理过程是否正确的标准。数理逻辑也叫符号逻辑，即用人工符号来书写逻辑法则，它是一门涉及数学、逻辑学、哲学等几门学科的横向交叉学科。传统逻辑用以表示命题形式和推理形式的是自然语言的某些词语，而自然语言是多义的，不适于用以精确地表示各种命题形式和推理形式。数理逻辑克服了这方面的局限性，以其特有的人工符号来书写逻辑法则，突出体现了方便、精确的优势。��数理逻辑是用数学方法来研究推理的形式结构和推理规律的数学学科，它与数学的其它分支、计算机科学、人工智能、语言学等学科均有密切的联系。命题逻辑和一阶谓词逻辑是数理逻辑中最成熟的部分，在计算机科学中应用最为广泛，其中命题逻辑是数理逻辑的最基础部分，谓词逻辑是在它的基础上发展起来的。virus 51cto技术博客一、命题的概念。命题：能判断真假的陈述句。

貌似百度更新了计分程序或者把会员数量加权进去了，总之最近得分排名直线下降

聊天（x+4） 321GO!

英国的爵位英国的爵位英国的封建体系与爵士制度有其久远的历史背景，以往在古代只针对政治、军事上的功勋，近代则扩及到科学、文学、艺术等其他领域。英国的封号授予分成七级，分为贵族（peerage）与平民两大部分。而除了英国王室以外，贵族分为五等；因为中国周朝的诸侯亦分为五等，所以中文就直接对应翻译为公爵、侯爵、伯爵、子爵与男爵；另外还有两种封号：准男爵（Baronet）与骑士（Knight），他们属于平民，而非贵族；但在中国周朝的大夫与士，仍属于贵族。

Linux：debian内核防毒AntiVir安装 Linux：debian内核防毒AntiVir安装赛迪网社区世界杯期间，推荐德国的优秀软件，无需注册，图形化，以前用过他们的Windows版的，感觉很好，只是病毒库升级很慢，宽带也没什么用,但是小巧高效功能很抢眼，不知道这下在debian下怎么样.下载地址：http://free-av.com/personal/en/unix/antivir- workstation-pers.tar.gz 校园网用户记得要用代理:-)1)官方简介{Linux / FreeBSD / Solaris - AntiVir PersonalEdition ClassicThe private, non-commercial use of AntiVir Workstation for Linux / FreeBSD / Solaris is freeA registration of the AntiVir PersonalEdition Calssic Workstation for Linux is not necessary any more.The licence file is now included in the download tar file.NEW!The scope of services of the cost-free AntiVir PersonalEdition Classic for Linux - FreeBSD/Solaris was adapted to the cost-free AntiVir PersonalEdition Classic Windows by the recent release change:new graphic user interface (GUI)no registration is necessarythe functions Mailgate and Milter can be ordered as amenities by the Avira GmbHmd5sum:9ff0fc695cf71b83c42b3d28ab207fe4 file size 22M}2)安装{# tar ztvf antivir-workstation-pers.tar.gz先别急着 ./installps: 如果不安装Dazuko, 防护程序不能在内核自动运行,只能手动扫描# apt-get install dazuko-source//这个版本有点老,建议到dazuko官方网站下载, http://dazuko.org/files/dazuko-source_2.2.1-1_all.deb其实,在antivir的tar包里有dazuko的包在contrib/dazuko里. 在./configure时修要指定内核源代码的path,很麻烦!下面介绍的是官方,对Debian系统下安装把dazuko加进内核里的建议需要module-assistant# apt-get install module-assistant安装了module-assistant, 当然还是需要内核configure:-),有了module-assistant的帮助,你就需要选择PREPARE一下就可以了# apt-get install linux-source-2.4.27# cd /usr/src/# tar jxvf linux-source-2.4.27.tar.bz2# cp /boot/linux-source-2.4.27 .config //将当前内核配置文件放到源代码包# module-assistant选择UPDATE,然后是PPEPARE,最后EXIT //souces.list里建议选择中科大的源,俺刻的光盘即便通过了MD5,安装还是报错# dpkg -i dazuko-source_2.2.1-1_all.deb# m-a a-i dazuko //添加dazuko为内核模块# reboot好了, 现在开始安装antivir吧# cd# ./install按照提示一步一步来,没什么好说的.你可以选择添加antivir到内核/模块,俺选的是内核k.GUI界面需要java. 若没装JDK,当然你可以选择不安装GUI.安装好后, reboot, 看看内核加载过程小孙显示的是:starting AntiVir: avguard-workstationdazuko:loaded.version:2.2.1warning: the file “antivir.vdf” is more than 14 days old呵呵, 病毒定义过期了:-@, 别担心上网升级啊, (教育网要用代理).}3)测试{命令行运行:antivir -s / //扫描硬盘所有文件显示结果,如下:AntiVir / Linux Version 2.1.7-18Copyright (c) 2006 by Avira GmbH.All rights reserved.Warning: The file "antivir.vdf" is more than 14 days old.VDF version: 6.35.0.6 created 31 May 2006For private, non-commercial use only.AntiVir license: 149996 for PersonalEdition Classicauto excluding /proc from scans (is a special fs)checking drive/path (list): /------ scan results ------directories: 4188scanned files: 45550alerts: 0suspicious: 0scan time: 00:02:16--------------------------Thank you for using AntiVir.扫描,很快是不是?# antivir-gui需要加入antivir group}4)有用的说明{configure updater: /usr/lib/AntiVir/configantivirstart update daemon: /usr/lib/AntiVir/avupdater startstop update daemon: /usr/lib/AntiVir/avupdater stopupdate daemon status: /usr/lib/AntiVir/avupdater statusantivir --updateantivir --help}5)后记{linux虽然安全性很高,没有个防护程序总觉得不安心, 也许是在windows下太就了:-@对于我这样的newbie来说,要马上防护好系统还有很长的路要走,还是安装个杀毒的软件比较放心