到得洪都又一年，祖生击楫至今传。

闻鸡久听南天雨，立马曾挥北地鞭。

鬓雪飞来成废料，彩云长在有新天。

年年后浪推前浪，江草江花处处鲜。

这是本朝太祖的一首诗。诗中描绘了一千多年前的一个民族英雄，祖逖！

很多人大概还记得闻鸡起舞的故事，故事的主人公有二，其中之一，就是祖逖。另一位，是刘琨，也是一位民族英雄，一位颇具悲剧色彩的民族英雄。

司马家结束了三国鼎立的局面，一统中华。但是好景不长，因为统治者内部的权力斗争，爆发了内战。于是北方少数民族趁机入侵。愚昧残暴的入侵者，将我汉家子民视为“两脚羊”。汉民族第一次处于生死关头！

此时，祖逖和刘琨，两位少怀壮志的年轻人，在乱世中奋起！

公元313年，祖逖率领不过数百之众，北渡长江，开始了他克复中原的征程。当时，不少部下都觉得这是自寻死路，就在渡船上，祖逖拿着船桨，拍打船舷发誓，若不能克服中原，绝不回到江南故乡。

八年之后，祖逖积劳成疾，病逝了。而中原，仍然在胡虏的铁蹄之下。直到近一百年后，龙骧将军王镇恶的铁骑开进长安，才实现了几代汉人克服中原、恢复故土的理想。然而，这个胜利也是短暂的。几乎和祖逖北伐未能成功同出一辙，王镇恶也被政敌构陷。随后因为内讧，北伐部队被击败！

几百年后的岳飞，“不使黄龙成痛饮，古今一辙使人哀”。在人们的眼中，大业未成的英雄们，总是因为小人的构陷而功亏一篑！其实这只是表象，更本质的原因在于，统治者最关心的问题是他的统治是否稳固。至于克复中原，在政客眼中，只是一句用来收买人心、稳定局势的口号。

无论政治会怎样黑暗，我们的民族延续到了今天，谨以这首无名氏所作的诗歌，纪念那些死者，无论是屈辱地被杀者，还是英勇捐躯的战士：

　　生逢匈奴兮，死逢羯乱
　　执戈而起兮，不愿向南
　　以我文智兮，护我田园
　　以我武勇兮，驱虏败还

　　北风苦寒兮，雪水冰寒
　　欲还故园兮，枕戈待旦
　　仆卧疆场兮，挥戈犹酣
　　生死同衣兮，辗转相伴

　　生不安乐兮，死望家园
　　若不归家兮，又有何欢
　　执楫而击兮，誓于江上
　　胡虏不靖兮，若水不返

胡虏腥尘遍九州，忠臣义士怀悲愁。
既无博浪子房击，须效中流祖逖舟。
故国山河尽变色，旧京宫阙化成丘。
复仇雪耻知何日，不斩楼兰誓不休！

怎样评价郑成功与他的军事政治团体呢？前些年央视播出的《施琅大将军》，似乎表明了态度——分裂分子，坚决打击之。可是，看着延平王郑经的这首诗，我们能想到什么？是悲剧英雄！兴灭国，继绝世，明知不可为而为之的悲壮。

郑经去世后，郑克塽投降了。汉家江山尽数落入胡虏之手。可是，康熙不但接受了郑成功棺梓归故里的要求，还亲笔手书挽联：

四镇多二心 两岛屯师 敢向东南争半壁
诸王无守土 一隅抗志 方知海外有孤忠

看一个人，应该看他的对手。被历史学家吹捧甚高的康熙，也如此盛赞郑成功等人。郑成功忠于的对象是什么，大明王朝的香火已绝。他所忠诚的，不是一家一姓，而是我们这个民族。剃发异服，不知何处是神洲的时刻，还是有那么一群人，放弃荣华富贵，不惜生死地抗争。所谓保国保种，大约就是这样吧。

其实明帝国灭亡时，无论是官吏还是民众，都没有表示出太多的忠诚。明帝国的严刑峻法和苛捐杂税早就丢掉了最后一点儿民心。当清军刚刚入关，采取了一些恢复社会生产的措施时，甚至颇得人心。但是，当剃发异服的命令发布时，民间的抵抗又强烈起来了。小小的江阴城，芝麻大的典吏，让凶悍的满洲武士流了不少血。

八十日带发效忠 表太祖十七朝人物
十万人同心死义 留大明三百里江山

这幅挽联，高度赞扬了江阴人民对明帝国的忠诚。其实差矣！他们所忠于的，不是一家一姓，否则为什么清军刚刚南下的时候不抵抗，反而在清军已经占领了整个江南的情况下，才如此“不识时务”地起义呢？他们忠于的是我汉家的文化、汉家的血脉。有的民族，虽然勇悍，但是缺乏这种传承文化的勇气，所以最终消亡在历史的长河中。我们能走到今天，不是偶然。是因为无论哪个时代，无论现实有多么黑暗，希望是多么渺茫，但总有一群人，不顾一切地守护着我们的文化，我们的血脉。即使在低谷，即使有重利的诱惑，也绝不背叛。因为他们知道，如果放弃了自己的文化和血脉，一切都是没有意义的。一个人，首先要做自己。一个民族，也是一样的。日本当年，脱亚入欧，可以站在世界的顶峰几十年，可是仍然不免被打回原形。当一切都以利益为导向时，大战略往往无法实施，因为其他对手会“诱之以利”。日本正是在这样的情况下一步一步走向灭亡的。

“欲争雄于世界，必先征服中国，欲征服中国，必先取满洲”雄才大略的维新三杰与知人善用的明治大帝定下了一个对中国来说无比可怕的方案。但是他们的继承者，愚蠢地把这套方略本末倒置了！“欲稳固满洲、必征服中国，欲征服中国，须击败英美”，小日本总是用一个更大的问题来解决一个小问题。先是因为在青岛的过激行为，刺激了英国，葬送了英日同盟。又刺激了美国，并且不知让步。最后，为了保住侵略成果，竟然对美不宣而战！不到四年，便被打回原形，彻底丢失了明治维新以来的果实。

“霓虹灯下有血泪”，这是改革开放期间，保守者用来抨击改革开放的负面作用的一句话。过去在老家，在上海，觉得这句话很偏激，甚至有些荒谬。但是到了珠海，却不得不承认，在一定程度上，这是事实！

因为航班的原因，每次到达到珠海，都过了半夜十二点，海关已经关门了，必须在珠海住一夜，次日才能去澳门。每次都会遇到招徕顾客的站街女，在客房里也会接到推销特殊服务的电话。大约没有什么是不可拿来出卖的。“所谓忠诚，是背叛的价码太低”，这句话在这里得到了最真实的体现。改革开放的成果，不仅仅是这些麦当劳，还应该有些精神和道德层面的结果吧。古圣有云，“仓廪实而知礼节”。可现实呢？

（深圳特区，我国大陆第一家麦当劳）

有人说，上海让你觉得物欲横流，不适合生存。但是与广东这一带的特区相比，至少它还有一层温情脉脉的面纱，还有那一百多年的积淀。而这里，一切都是新建的，而且，它的目的是那么明确，解决生存问题——设立之初，对我党而言，是要在困境中闯出一条路；设立之后，对普通人来说，是冒险和淘金。从经济的角度，它是成功的。但是从政治上说（特别是精神、伦理层面），它非常失败。它泯灭了信仰、道德……

或许是因为共产主义革命发端于俄国，而俄国革命者又深受“目的论”者涅恰耶夫的影响，认为手段是次要的，只要能获得革命的胜利，任何手段都在所不惜！但是，何谓革命的胜利？！人民是否真的可以享受革命胜利的果实？我党认为，改革开放，是一场足以媲美社会主义改造的革命。人民摆脱了物质匮乏。但是，时间的先后关系，并非是必然的因果关系。毕竟过去了三十年，本来社会也是应该发展进步的。

其实，每一次真正造成深远影响的革命，都是有它的思想背景的。没有启蒙运动，便不会有美国独立战争、法国大革命。没有新文化运动，也不会有波澜壮阔，最终彻底改变中国社会结构的新民主主义革命。而我们的改革开放，在很大程度上，依赖的不是先进的思想，而是人最原始的欲望！在这个过程中，人堕落成了动物。

历史上不止一次有黑暗的时代，但是总是有一部分人不绝望，不放弃，不惜代价地追求光明。今天，我们处在一个奇怪的时代，从物质、经济上衡量，也许中国从来没有这样繁荣过。但是思想和道德，大概也没有这样堕落过。五胡乱华，虽然有认贼做父的士子营，但是南渡的汉人还是保存了汉家血脉。崖山一跃，汉室虽亡，可是不屈的汉人最后还是喊着“手持钢刀九十九，杀尽胡儿才罢手”夺回了江山。即便是文字狱疯狂的清代，尚且有人叹息“我劝天公重抖擞，不拘一格降人才”。

今天思想与道德的颓废和低迷，根本原因也许不在于改革开放本身，而是我们的革命历程。无论是经典的马列主义，还是民粹派，都认为，应该打碎旧的国家机器，建立新的国家机器。在思想道德领域，也认为需要建立共产主义道德。道德，可以认为是一种偶像崇拜。但是偶像的力量来自于它的神圣性。如果有人敢于将偶像打倒，扔进垃圾堆，那么将来即使有人将其重塑，其影响力也大打折扣。在社会主义改造中，我们打倒了封建道德，也顺便打倒了儒家的一切。而在改革开放过程中，因为走了一条与社会主义改造、建设完全不同的道路，社会主义道德也在事实上被放弃。于是，唯一可用的，是人类的本能，贪婪和恐惧。通过贪婪，让大家工作；通过恐惧，让大家不敢捣乱。

　　2009年
　　中国政府宣布境内销售的所有计算机，必须预装绿色上网过滤软件，以便过滤互联网上的不良文字和图像。
　　2010年
　　中国政府宣布网站备案制度与“绿色上网”相结合。境内所有没有备案的网站，都会被过滤软件过滤。
　　2011年
　　中国政府宣布“网站备案制度”扩展到境外网站。凡是在中国境内可以访问到的境外网站，视同在华开展业务的外国机构进行管理，适用相关的外国机构管理法规。境外网站如果想在华开展业务，必须向中国政府进行备案，得到批准后才能开展业务。
　　2012年
　　中国政府宣布启动域名备案，境内所有域名都必须向政府备案。
　　2013年
　　中国政府宣布启用域名白名单制度，即只有在“白名单”中的域名，才提供解析服务。境内和境外网站在华一旦备案成功，其域名将自动加入“白名单”。
　　2014年
　　中国政府宣布对所有互联网上使用的加密证书进行备案。不管是公钥还是私钥，都必须在政府报备。如果加密通信中，使用了没有报备的密钥，电信公司的网关将自动拦截，阻止其通过。
　　2015年
　　中国政府宣布实行电子邮件实名制。凡是需要开通电子邮件的公民和企业，一律凭相应证件到政府指定的电子邮件服务商处申请。如果一封电子邮件的发信域，不在有合格资质的电子邮件服务提供商的列表之中，该封邮件将被自动退回。
　　2016年
　　中国政府宣布实行IP地址实名制。那个时候，IPv6已经得到广泛应用，IP地址不再是稀缺资源。根据中国政府的设想，每个公民一出生，就可以分配到一个IP地址，终生保持不变。然后，每个人上网，都必须使用自己的法定地址，不得擅自使用他人的地址。
　　2017年
　　中国政府向全世界宣告，“金盾工程”初步完成，中国已经建成了世界上最安全的局域网。

(无责任转载，不对内容的真实性负责)

据说，我们的祖先，以这样的勇气，推翻了残暴的夏桀。许多许多年后，有人觉得，当政者不好，希望当政者改革。他们坐在公共场合，阻塞交通，以表达他们的愿望。大约因为距离夏桀已经有几千年了吧，他们完全不觉得自己会被怎么处理。结果嘛，和历史上每一次书生造反是一样的。

幸存者变成了偏执狂，居然和OO功、ZD、JD混在了一起！我想，如果民主的结果，是OO功大行其道，是边境少数民族区域民族自决，那么这简直是“民煮”。

遥想100年前，清政府垮台了，共和政府成立了。但结果却是军阀混战、外敌入侵、人民丧失家园。再坏的秩序，也要好于没有秩序，除非，我们的人民有几千年前的祖先那样的勇气。

和一个同学聊起科幻小说，不由想起昨天是《银河英雄传说》中的主角之一杨威利元帅的忌日。

田中芳树是个挺有名的作家，他的历史小说以及科幻小说都挺受读者欢迎的。特别是《中国武将列传》里面的陈庆之，一袭白衣，谈笑间，强虏灰飞烟灭，颇有周公瑾的气质。他也竭力在《银河英雄传说》中营造一种史诗的气氛。但是也许是小国寡民的天性吧，其气势和场景都不能和堪称银河时代的罗马帝国兴亡史的阿西莫夫的《基地》系列媲美。不过托各种传媒企业的福，《银河英雄传说》不仅拍了电影，还制作了一系列游戏，其知名度倒是大大超过《基地》系列。

杨威利元帅，虽然是东方人，却颇有西方文学作品中主角的特点，本想轻松地过一生，却因为处于一个激荡的大时代，且身负才华，而不得已走上了历史的舞台。从性格上说，杨元帅是个懒散的人，于是，一些《银河英雄传说》的fans, 制作了这张图，纪念杨元帅的最后一刻：

这只懒洋洋的猫，终于可以一睡永不醒了。

八、语言特征

8.1 模块结构

本节讨论以下内容：

一个Alloy模型包括一个或多个文件，每个文件包含一个单独的模块(module). 有一个主模块用于模型分析，这个主模块直接或间接地导入其他模块。

一个模块包括三个部分，用于标识该模块的头部，若干导入，以及若干段落：

module::=header import* paragraph*

一个模型可以完全可以只包含在一个模块里面，这样就不需要导入别的模块了。没有段落的模块在语法上是合法的，但是没有用处。

模块中的段落可以是签名、事实、函数、谓词、断言，以及运行命令、检查命令：

paragraph::=sigDecl | factDecl | funDecl | predDecl | assertDecl | runCmd | checkCmd

签名用于表示集合，在分析过程中，可以指派具体的取值。签名扮演的角色类似编程语言中的静态变量。事实、函数和谓词都用于表示约束。用户使用命令来调用Alloy分析器进行分析。模块将除了命令以外的所有段落作为组件导出。分析只和主模块中的命令有关，其余模块中的命令被忽略。

模块通过路径和模块标识符命名，可以被一个或多个签名参数参数化。

header::=module [path] moduleId[[sigId,+]]

path::=id / [path]                                         

从默认的根目录算起，路径应当和模块文件所在的文件夹位置一致。在Alloy分析器中，可以指定一个根目录集合，因此库和领域相关的模型可以放在不同的位置。模块标识符是m的模块必须被保存在以m.als命名的文件里。

对于每个导入的模块，都必须有单独的导入语句。一个实例化的签名可以是一个类型、子类、子集，或是预定义的类型Int, univ中的一个。如果被导入的模块声明了一个签名，这个签名是一个签名参数的扩展，且用一个子集或是Int实例化了这个参数，那么会产生错误！

一个模块可以被多次导入。这样的结果并非对同一个模块做多次拷贝，而是在不同的名字下使其可用。

通过量化名字(qualified name)来引用导出模块的组件，这个量化名字包括模块的引用和组件的名称：

sigRef::=[moduleRef] sigId | Int | univ

funRef::=[moduleRef] funId               

predRef::=[moduleRef] predId          

assertRef::=[moduleRef] assertId       

当一个组件的引用可能具有二义性时，必须量化该引用。但是在引用声明在同一个模块中的组件时，不需要量化。一个模块在被导入的时候，可以取一个别名，以方便使用。如果设置了被导入的模块的别名，就不要再使用原来的名字了。

模块的引用既可以是被导入模块的路径、模块标识符以及任何实例化参数，也可以是在导入语句中声明过的别名：

moduleRef::=[path] moduleId [[sigRef,*]] | aliasId

一个模块中的段落可以以任何次序出现，并没有使用之前先定义的限制。即使某个导入的模块为另一个模块提供了实例化参数，导入模块的次序也是没有关系的。

模块名有它自己的名字空间，因此可以和签名、段落、参数或变量的名字重复，而不必担心冲突。

六、语义基础

6.1 实例和含义

一个模型(model)的含义(meaning)是实例(instance)的若干合集(collection)。一个实例是取值到变量的一个绑定。一般来说，一个单独的实例表示一个状态，或者一个状态对（和一个操作的执行相关联），或者是一条执行迹(trace)。该语言没有内建的状态机标记，因此一个实例也不需要表示任何状态机之类的东西。

• 赋值给一个模型的实例合集是：一个核心实例的集合，这些实例与模型的事实和隐式包含在签名声明中的约束相关联。这些实例将签名和它们的域作为变量，并为这些变量绑定相应的取值，使事实和声明的约束为真。
• 对于一个函数或谓词，该模型的事实(facts)和声明约束(declaration constraints)都在这些实例组成的集合上为真，并且函数或谓词的约束也为真。浙西俄实例的变量就是核心实例的变量，是函数或谓词的参数的扩展。
• 对于一个断言，该模型的事实和声明约束都在这些实例组成的集合上为真，但是该断言的约束为假。

一个没有任何核心实例的模型是不一致的，一般来说，也是错误的。没有任何实例函数或谓词也是不一致的，也没有什么用处。一个断言应当没有实例，因为断言的实例是反例，说明断言不符合事实。

Alloy分析器在有限界限内自动地寻找一个模型的实例。因为搜索是有界限的，所以有可能虽然存在一个实例，但是搜索失败。不过被搜索到的实例一定是合法的实例。

6.2 关系逻辑

Alloy是一阶关系逻辑。赋给变量的取值，以及在给定实例的上下文环境中，表达式的估值都是关系。这些关系是一阶的，即组成这些关系的元组中的元素都是原子的，不再是关系。

Alloy并没有显式的集合、标量或元组标记。一个集合就是一个一元关系。一个标量是一个单例(singleton), 也是一元关系。一个元组是一个单例关系。类型系统区分集合与关系，因为他们的实参数目(arity)不同。但是并不将元组和标量与更一般的关系加以区分。

Alloy没有应用在函数上的操作符。关系结合运算仍然被使用。从语法上说，一个区分集合与标量的语言使用关系结合运算更加清晰。比如，给定一个函数关系f, 以及标量x和y, 那么公式 x.f=y 将关系f下面x的像限定在y上。只要x在f的定义域上，点“.”解释为函数应用，f是函数，x和y是有类型的标量变量，那么这个公式就会有相同的含义。但是如果x不在f的定义域上，那么表达式x.f将被计算为空集，因为y被限定为一个标量（也就是一个单例集合），整个公式都为假。在一个包含函数应用的语言中，可能会有多种含义，取决于对部分函数的处理。Alloy的方式的好处之一是它避开了这个问题。

Alloy的声明语法是按照所见即所得的思想设计的。比如，当X是一个集合时，这个量词公式 all x: X | F 中的x被限定为标量值，即公式F的取值是x到X的单例子集的绑定。

实际上，Alloy的语法是允许高阶量词的。比如，二元关系上的结合是可交换的，这一断言可以写作：

assert{all p, q, r: univ –> univ | (p.q).r = p.(q.r)}

许多此类公式在分析时都将变为一阶形式，量称变量可以通过斯科林化(skolemize)消去。如果一个公式仍然是高阶的，Alloy分析器将给出警告，分析可能不可行。

Alloy也为整数提供了基本的支持。有一类表达式的取值是整数。在实例中，整数取值可能不限制在变量上，但是有一类特殊的整数原子，它们与基本整数取值相关，并且像其他原子一样，可能出现在被限定在变量上的关系中。

七、类型与重载

Alloy的类型系统的设计目标不同于编程语言。对于建模语言来说，没有运行时错误这一概念，因此不需要考虑类型完整的因素。但是，设计类型系统时，应当尽可能地允许多种合理的模型，不要产生虚假警告，同时还应该优先分析可以单独用声明的域和变量中的词加以解释的错误。

我们认为大部分用户会忽略类型系统的微妙特性。报告表达式类型错误的错误信息总是正确的，与一个真实的错误相关。下面将介绍怎么通过微小的系统修改了处理一个重载域引用的错误报告。

7.1 类型错误

Alloy会报告下列三种错误：

• 实参数目错误是指将一个操作符应用于一个错误的实参数目的表达式，或是表达式结合时，实参数目不兼容。这样的例子有：将闭包作用于非二元关系；在一个非集合上对一个关系做限制；关系做并、交、差或相等、子集比较时，两个关系的维数不同。
• 不相交错误是指一个表达式中，两个关系无论以何种方式组合，无论各自取值，其结果都是一个空的关系。比如，对两个不相交的关系取交；结合两个没有相同元素的关系；将一个关系限制到和它不相交的集合上。在不相交的关系上做重载操作也会产生不相交的错误，即使其结果可能不是空的关系，这是因为期待关系重叠（否则做并就可以了）
• 不相关错误是指一个表达式（往往出现在并表达式中）是冗余的，去掉之后也不影响这个公式的取值。比如(a+b)&c这样的表达式，以及 c in a+b这样的公式，当a和b都与c不相交时。

请注意，不相交的类型的并是允许的，因为它们未必会出错。比如，即使a和b是不相交的类型，表达式 (a+b).c在类型上也是是正确的，只要c的最左边一列的类型与a和b最右边一列的类型都有重叠。

7.2 域重载

签名的域可以被重载。就是说，两个不同的签名可以有同名的域，只要这两个签名不代表重叠的集合。域的引用会被自动处理。

重载的确定会利用表达式的全部上下文，和类型检查使用的信息是一样的。一个重载引用的每一种可能的确定都会被考虑。如果恰好只有一种，那么不会产生类型错误，就使用这样的重载。如果超过一种，将报告一个二义性引用的错误。

重载的确定利用关于可能的解的全部信息，包括实参数目、每一行的类型（而不仅是第一行）。因此，和面向对象语言（如Java）中的域解引用不同，分析在诸如x.f这样的表达式中对f的引用时，不仅考虑x的类型，也会使用整个表达式出现的上下文。比如，假定这个表达式是 a+x.f, 那么引用f可能被a的实参数组决定。

如果一个域引用不能被解析，那么可以通过修改表达式使之被解析。如果我们希望一个域引用f引用了签名S中声明的域f, 那么可以用表达式 S<:f来替换原先的f. 这个新的表达式的含义不变，但是确保了解析这个引用，除非S中声明的f将产生一个空集。注意这并非是一个特殊的强制语法，它仅仅取决于定义域限制操作符的标准语义。

7.3 子类

类型系统中包含子类的概念。这一概念有利于发现更多的错误，也为域提供了更灵活有效的名字空间。

任何表达式的类型都是由某些关系类型的并所组成的并类型。一个关系类型是基本类型的乘积。所有的基本类型构成一个格，其中univ是最大元，none是最小元。这个格来自声明的签名类型的树组成的森林。

由非关系类型组成的并类型在类型检查中被用于表示类型有问题的表达式，且与一个关系类型组成的并是不同的。这里的关系类型是none的乘积，被用于构造表示空关系的表达式。

子类型的语义很简单。如果一个签名是另一个签名的子类，那么它表示一个子集。一个签名的直接子类都是不相交的。仅在一个类型是另一个类型是直接/间接子类时，这两个类型才会重叠。看下面这个例子，这是一个连接

e1.e2

假设其中的子表达式的类型是：

e1: A->B

e2: C->D

如果基本类型B和C并不重叠，那么这个连接将产生一个不相交错误。如果B或C中的一个是另一个的子类，那么整个表达式的类型是 A->D.

无论是子类到超类，还是超类到子类，都不需要强制。如果一个域f被声明在签名S中，且sup和sub分别是类型为S的超类和子类的变量，那么sup.f和sub.f都是类型正确的。这两种情况下，表达式都不必为空。但是如果sup不在S内，或者f是一个偏函数，并且sub在它的定义域之外，这个表达式还是有可能为空的。另一方面，如果d是一个类型为D的变量，类型D和S的类型不相交，比如，因为S和D都是其他某个签名的直接子类，那么表达式d.f将是类型错误的，因为它始终为一个空关系！

7.4 函数和谓词

函数或谓词调用时，要做类型检查，以保证实际参数表达式不会和形式参数不相交。在实际的表达式中，公式的类型不会被用于处理域名的重载。

当一个函数或谓词运行的时候，函数和谓词的参数声明中的隐式约束和公式体结合在一起。但是，在一个函数或谓词被调用的时候，这些隐式约束是被忽略的。因此不能依据这些声明中的约束来获取语义效果，它们被当作多余的文档。Alloy的一下个版本也许会考虑引入一个检查机制，来确定实际表达式的值是否和公式中的声明约束相吻合。

7.5 整数和类型检查

只有整数表达式在基本整数上取值。Alloy区分关系表达式和整数表达式，因此在处理加法和减法操作符的重载时，不需要类型信息（对整数表达式，有加法和减法，对关系表达式，有并和差）。下面的表达式

#S+S=1

中的+号会被解析为关系运算符，虽然作为一个整体，这个公式在语法上是不合法的。

Int类型代表整数对象的预定义签名，类型系统像处理基本类型一样处理Int类型这个类型与其他基本类型都是不相交的，除了univ类型。

7.6 多样性关键字

Alloy允许用户使用多样性关键字进行说明：

• lone: 零或一
• one: 恰好一
• some: 一或多

可以把lone设想为“比一个还要少，或者正好一个”。

这些关键字可以在下列上下文环境使用：

• 在量化公式中作为量词：比如公式 one x: S | F, 表示恰好有一个x满足公式F
• 在量化表达式中作为量词：比如公式 lone e, 说明表达式e是一个至多包含一个元组的关系
• 在集合声明中：比如声明 x: some S, 其中S是一元类型，声明了x是一个集合，该集合中的元素都来自S，且该集合不为空集
• 在关系声明中：声明 r: A one –> one B, 说明r是一个从A到B的一对一关系
• 在签名的声明中：声明 one sig S{…}将S声明为一个签名，且S的集合恰好含有一个元素。

当声明一个集合变量时，默认是one, 因此在声明 x: X中，若X是一元类型，x将被限定为一个标量。在这种情况下，set关键字会重载默认的关键字。

昨天入睡很顺利，但是半夜从梦中醒来了。梦境中似乎是某个历史沙龙，讨论1945年5月份东北抗联在苏联的物质支援下反攻东北（真的是做梦！真实的历史中，东北抗联在苏军进攻东北时只不过担任了部分侦查任务。当然，更离谱的在后面！），及其造成的影响。一方的观点是，因为我党领导的东北抗日联军解放了东北，在抗战胜利时，确保了我党与国民党势均力敌，才促成了双十协定，并最终建立了联合政府，奠定了战后至今的两党格局。另一方的观点是，联合政府的建立是历史的必然，并不是东北解放的结果。前者认为，如果没有东北的解放，国民党必定会凭借优势的实力，试图暴力解决我党。但是，接下来有两种子观点，一是认为国民党虽然占据物质优势，但是挑起内战，失去了大义名分，且内部腐败，最终会被我党击败；另一是我党难以抵御国民党的军事优势，恐怕会重蹈30年代湘赣苏区的覆辙。讨论到激烈处，我喊了一声，然后就醒了，无法睡着了。

一、简介

Alloy是一种用于软件设计的轻量级建模语言。使用Alloy分析器，可以做全自动的分析。关于Alloy项目的信息，可以从这个页面获得：http://alloy.mit.edu.

本文概述了Alloy语言，不过并不适合做为入门教程。上述网站上有一个在线的教程，如何使用Alloy建模的教科书也即将推出。

二、词法规则

允许使用的字符是ASCII字符集中可打印的字符，但是下面二者除外：

• 反斜杠 \
• 反引号 `

ASCII字符集中的非打印字符中，下列四者可以使用：

• 空格
• 水平制表符
• 回车符
• 换行符

因为在不同的平台上，断行点是不一样的，Alloy分析器接受任何回车符与换行符的标准组合。

非字母数字符号被用作操作符或标点符号，但是以下除外：

• 货币符号 $
• 百分号 %
• 疑问号 ?
• 下划线 _
• 单引号和双引号 '和"

货币符号、百分号、疑问号是保留字，将在未来的版本中作为操作符使用。下划线和引号可以使用在标识符中。应该避免混淆各种引号，其中印刷体的引号(“, ”)是不被接受的。如果使用文字处理器书写Alloy代码，请确保智能引号功能没有开启，因为这个功能可能会将引号自动转化为印刷体。

--和//用于表示行注释，/**/用于表示块注释。多行注释不得嵌套。

非注释文本的分隔符如下：

• 空白（空格，制表符，换行符）
• 非数字字母符号（下划线和引号除外）

文本的含义与它的格式有关。特别注意，换行符和空格、制表符一样被处理为空白。

关键字和标识符大小写敏感。

标识符可以包含任意数字字母符号，但是第一个字符不能是数字、下划线、疑问号或感叹号。连字符不得出现在标识符中，因为它可能被认为是操作符。

数字常量由0到9的数字串组成，但是第一个字符不能是0.

下列字符序列被认为是一个单词：

• 双冒号 :: 用于接收者语法
• 蕴含操作符 =>
• 整数比较操作符 >=和<=
• 成员箭头 –>
• 限制操作符 <:和:>
• 关系重载操作符 ++
• 合取 &&  析取 ||
• 注释记号 --, //, /*, */

不等操作符（如!=）不被识别为单独的单词，因此在不等号和比较操作符之间，允许有空白。

下列保留字不得作为标识符使用：

三、名字空间

每个标识符属于一个单独的名字空间。有三种名字空间：

• 模块名字和模块别名
• 签名、域、段落（事实、函数、谓词、断言）和约束变量（函数和谓词的参数，量词约束的变量）
• 命令名字

位于不同名字空间的标识符可以使用相同的名字，而不必担心名字冲突的风险。在一个名字空间中，相同的名字不应当被用于不同的标识符，除了以下情况：约束变量可以相互掩盖，也可以掩盖同名的域的名字。适用传统的词法作用域规则，绑定最近的名字。

四、语法

语法使用标准的巴克斯操作符：

• x* 表示x重复出现0到多次
• x+ 表示x重复出现1到多次
• x|y 表示出现x或者y
• [x] 表示x可以出现，也可以不出现

另外，

• x,* 表示出现0个或多个由逗号分隔的x
• x,+ 表示出现1个或多个由逗号分隔的x

为了避免语法符号的混淆，当括号、星号、加号、垂直条作为终结符号时，以粗体显示。终结数字表示一个数字常量。

五、优先级与结合性

逻辑操作符的优先级从高到低，如下所示：

• 否定操作符：!, not
• 合取操作符：&&, and
• 蕴含操作符：=>, <=>, implies, iff
• 析取操作符：||, or

表达式操作符的优先级从高到低，如下所示：

• 一元操作符：~, ^, *
• 限制操作符：<: , :>
• 点连接：.
• 方括号连接：[]
• 成员箭头：->
• 交：&
• 重载：++
• 并和差：+, -

注意，点的绑定比方括号更紧密，因此，a.b[c]被解析为(a.b)[c]

所有的二元操作符都是可任意结合的，但是逻辑蕴含操作符、表达式操作符中的点、交和差除外。前者是右结合的，后三者是左结合的。因此，p=>q=>r被解析为p=>(q=>r), a.b.c被解析为(a.b).c

在一个蕴含式中，else子句总是和最近的then子句结合，因此，公式p=>q=>r, s被解析为p=>(q=>r, s).

Windows Live 推出了这项个性资料，“我最喜爱的电影”。貌似有一段时间不看电影了，能想起来的，喜爱的电影，都是之前看的。

1、《乱世佳人》

这部电影改编自小说《飘》，看这部的电影的缘由就是因为某年暑假（或者寒假，时间太久了，记不清楚了），家长买了这部小说，我们全家都被这部小说吸引了。当时在家附近的影碟店有这部电影的VCD出租，于是就看了。看电影的时候，似乎已经开学了。片长近四个小时，从晚饭后一直看到半夜12点。家长破例没有让我在10点钟之前休息。后来，家长某次出差，买了正版的VCD，于是又看了一遍。

这部小说，成功地诠释了人的心理——得不到的，永远是最好的；失去了，才知道珍惜。喜欢一部小说，一部电影，往往是因为产生了强烈地代入感，有共鸣。我妈妈和我，都是这个心理。妈妈总是会叨念爸爸当初如果怎么样，现在就怎么样了。而我，总是会设想如果高考志愿不要那样填写会如何。

上大学以后，还看过一次《乱世佳人》。有句话，是“那是我们再也回不去的从前”。这句话形容那段青涩纯洁的时光，是再经典不过了。当时一个异性朋友刚刚和男人大战一场，在分手的边缘。心情烦躁的她约我出去玩。我提议去图书馆看电影。于是两个人从下午不到5点看到晚上10点多。当时，也许双方只注意到对方是朋友，而根本没有想到是异性。还记得她的室友说，你俩在一起挺好的。我和她异口同声说，性格不合。倒是真有默契！最搞笑的是，某次回家，她鼓足勇气，向家长汇报说找男友了。没等她开口说姓名，她家长一脸平静地说，我们早就猜到了，不就是**吗？她错愕，怎么会是他呢，是**！“！@#￥”她家长终于露出了吃惊的表情。

2、《战争与和平》

没有人能脱离时代而存在。但是文艺作品或是帝王将相，或是柴米油盐，难得有将时代和个人结合起来的佳作。但是托尔斯泰的《战争与和平》成功地做到了这一点。任性的娜塔莎，年轻有为的安德烈，富有理想主义色彩的波尔……每个形象都是那么生动鲜活。特别是娜塔莎，即使如赫本这样的一代演艺大师，也无法与书中的娜塔莎相比。安德烈以军人的方式死去了。波尔和娜塔莎走到了一起。但是随着年龄的衰老，娜塔莎从一个可爱的小姑娘，变成了让人难以忍受的马铃薯。谁都熬不过时间么？

俄罗斯是一个矛盾的民族，她没有多么悠久的历史，却孕育了许多在人类文明史上举足轻重的大师。她的制度一向是欧洲乃至世界上最落后、最残暴的制度。她的领导人却常常怀有一颗人文主义的心。可以想象么，不止一位帝俄首辅，将十二月党人、民粹主义者、民主主义者中的名人的画像挂在自己的书房中。许多帝俄官员，在农奴制度废除之前，就变通地解放了农奴。但是，有良心的统治阶级，并没能挽回帝俄的命运。二月革命，与其说是一场有组织的革命，不如说是一场意外的骚乱。接下来的日子里，俄共抓住了机会。于是，《战争与和平》中所描述的场景，从现实中消失了

3、《第四十一个》

《色戒》播出，称赞者有，批评者也不少。其实如果除去某些视觉刺激，李安的创意一点儿也不新颖。汤唯扮演的女主角在最后一刻放弃了自己的使命，而《第四十一个》中的玛柳特卡却在最后一刻用信仰克服了爱情，亲手杀死了爱人。开枪后，她几近疯狂地扑向爱人，哭喊着“我的蓝眼睛啊…”无论是爱情压倒信仰，还是为了爱情放弃信仰，在今天看来，都是无可指责的。因为人们承认，爱情可以是一种信仰。

马克思指出，婚姻服从于经济。这并不矛盾。因为很多时候，爱情没有结果，就是因为婚姻要服从经济。在革命时期，就是一切要服从阶级。惟愿我们这个世界蓝眼睛的悲剧不要再次上演。

4、《这里的黎明静悄悄》

什么东西最扣人心弦？大约是将美好的东西毁灭吧。五个花季少女，本应好好享受青春年华，却背起钢枪，保家卫国，最后牺牲在战场上。美人鱼一样身材的冉卡，身为太子党，非常调皮，但是在关键时刻也勇于献身的热妮娅，已为人母，却总是为没有时间照顾孩子而伤心的丽达……最后，四个姑娘牺牲，丽达重伤，为了不拖累排长，丽达支开了排长，向自己的脑袋开了一枪。暴怒中的排长，冲进了敌人的窝点，用最后一颗子弹打倒了一个企图反抗的敌人，然后用没有引线的手榴弹吓住了其余的敌人，取得了战斗的胜利。

这部片子，也是在我的记忆中让我流泪的两部片子之一，另一部已经不记得名字了，大约是幼儿园时看的，关于熊猫的一部日本动画片。当影片的结尾，音乐声响起，在排长渐渐模糊的目光中，五个姑娘的身影再次浮现时，我的眼泪也出来了。

5、《啊！海军》

常说小日本死不悔改，这部片子也一样。不过作为青年的励志片，还是不错的。特别是结尾，日本人那种永不认输的精神。海军大学的校长说，虽然日本将要失败了，这批学生可能不会有机会上战场了，但是他们受过良好的教育，会在战后重建中发挥作用的。果然如此，日本战后的一大批精英，都是毕业于陆军大学或者海军大学的退役军人。小日本在战场上失去的东西，除了领土，几乎都在商场上夺回来了。

片中的两位主人公也塑造得很典型。贫家子弟出身的平田，一心想从政，改变社会的不公。他的好友本多，则希望通过军事政变，掌握政权，然后改造国体，让人民摆脱苦难。“我所在的部队，就是二二六中奋起的部队。前辈军官是背负着国贼的骂名死去的！可是我还要干……”而平田则因为加入了海军，产生了不一样的观点，认为国内问题的解决，依赖于国际问题，说白了，就是对外扩张。最后，这些小愤都成了军国主义的炮灰。

主流历史学家一般都把二二六事件，北一辉等划为军国主义分子，但是从他们的纲领来看，更像是社会主义者。虽然二二六事件的结果是加速了日本的军国主义化，但是这是因为二二六事件失败了。如果信奉社会主义的青年军官取得了胜利呢？当时日本的问题并不在于社会总财富太少，而在于分配不公正。“贪官敛财，人民受骗，社会乱成一团”而根源在于“财阀之势，不可一世，家国之事，不闻不问”。自伊藤博文、桂太郎之后，日本已经没有可以被称为政治家的领袖了。尽是些短视的、只顾小团体利益的政客。

“为生活而到处奔波”，不曾想，这句话这么快就在我自己身上应验了。上上周，才到澳门，上周末，就又被拉到北京谈项目。接下来，据说每个月都要去一次。昨天从北京回澳门，抵达珠海时已是午夜，只能今天一早再过关闸。

我挺喜欢北京的，很有感觉的城市。可是每次都是来去匆匆。即使07年那次，在北京连续三周，也只出去玩了一天。北京，是座有底蕴的城市。千年的历史，使得那里的一草一木都有一段故事。中学时的某个暑假，在北京玩了十天。流连于那些古迹，我根本不想走。只是家长的假期有限，当时年龄尚小，家长也不同意我一个留下来玩。上大学以后，倒是有了许多次来北京的机会。可惜却不再有大把的空余时间。每次北京之行，都是来去匆匆，车站-办事点-车站，或者机场-办事点-机场。

这次北京的事情，还是很吸引我的，并非单纯地为生活奔波。航天，卫星，很让人激动，让人产生神圣感的字眼。只是对于今天的我来说，热血在一定程度上，只是撒狗血。二十年前，最后一批理想主义者死的死，逃的逃。对于文革以后出生、成长起来的人来说，不再有神圣感。因为他们或是见到了神是怎样被拉下神坛的，或是根本就成长在没有神的环境下。

到澳门一周了，体会了一下什么是紧张。白天跟着volker干活，晚上接受ggpu的遥控。

听说今天是05级拍毕业照的时候，我不在学校，不能像去年那样去凑热闹了。时间过得好快啊，转眼之间，本科毕业，已经两年了。“山中放数日，世上几千年”，是不是很适合形容我们这些在象牙塔中的人呢？

前几日，几个本科同学回母校玩。她们是刚刚参加了另一个同学的婚礼。当我们还在享受学生生活的时候，参加工作的同学，已经开始承担家庭的责任了。和他们相比，我们显得无忧无虑。但是，却有一种生命不能承受之轻。没有什么压力，也没有太多的动力。一切都按部就班。记得本科时的一次打工经历，推销笔记本电脑，总是卖不掉。店长跟我开玩笑似地说，你要把自己的处境想得惨一些。于是，我一边默念“我家里还等着我拿钱回去买米下锅”，一边竭力向顾客推销。当天下午，居然卖掉了一台（也是我两周的打工经历中，唯一一次成功的推销）。

距离自己毕业，还有近三年时间。那时的自己，会是什么样子呢？在过去的两年里，设想过许多种未来，却还是不知道自己的目标究竟是什么。模糊地说，希望不要太单调，太乏味。不要在二十多岁，就看到自己六十岁是什么样子。似乎变得平淡了很多。“生不能五鼎食，死亦要五鼎烹”，已经不见踪影了。也许时间是最可怕的对手。

三一五以“消费者权益保护”而闻名，但是对于共产党人来说，它代表着理想主义向现实主义的转变。1921年3月15日，俄共放弃“战时共产主义经济政策”，开始实施“新经济政策”。马克思和恩格斯的经典理论认为，无产阶级夺取政权以后，可以直接从资本主义社会过渡到共产主义社会，国家按照共产主义原则进行生产和分配。俄共在十月革命以后，到1921年初，实施的“战时共产主义经济政策”等一系列方针政策，就是这种直接过渡理论的具体实践。然而，残酷的现实证明，这种急于进入共产主义的思想，违背了社会主义建设发展的规律，忽略了社会主义过渡阶段的长期性，忽略了社会主义生产力水平不高，商品经济落后的实际情况，忽略了国情，被革命的热情所激励，把经济建设当作政治任务和军事任务来完成。上层制定的政策同基层实际情况脱节，超越阶段式的发展造成社会生产力的极大破坏。

1921年，苏维埃共和国出现了大规模的农民暴动和士兵叛乱。这种情况使列宁认识到必须采取另一种途径来建设社会主义。于是列宁在1921年3月俄共 (布)十大决定立即废止“战时共产主义”实行“新经济政策”。并说：“由于我们企图过渡到共产主义，到1921年春天我们遭到了严重的失败，现实生活说明我们错了”。共产主义顽强的生命力，不仅在于其信徒坚定的意志，更在于他们知错能改的态度。新的政策允许多种经济成份存在，通过商品交换，货币流通和自由贸易来活跃经济，培植国家资本主义。并利用外资和技术加快经济发展，利用资本主义来建设社会主义。

新经济政策的实行，重新建立了工业与农业之间正常的经济联系，巩固了工人阶级同农民的联盟，促进了生产力的发展，受到广大人民，特别是农民的欢迎，使1921 年的危机迅速得到克服。

今天，苏联解体已经过去了近二十年。1921年的共产党人，面临的不仅仅是经济崩溃。但是他们挺住了，并且在日后建立了世界的一极。而1991年的共产党人，多年的脱离群众、养尊处优使他们失去了一切判断力和执行力。面对濒临崩溃的经济，他们放弃了政权。不少人，还发了国难财。

在她存在70多年里，社会主义平等与公正的火炬燃烧照耀着全球，同时，格拉古群岛的黑暗也拷问着一切有良知的人。它主张没有压迫，没有自私，没有剥削，没有人通过不正当的手段来占有他人的财富和血汗……但是人民却不得不为了面包而排着长队，当权者享受着沙皇般的生活。它曾经一度是人类最美好的理想，但是，半个多世纪以来，反而是西方资本主义国家在它理想光辉的映照下，也不得不一次次的改良社会制度和福利措施，不得不一次次尊重工人和工会的意见，推进社会的民主和人民生活水平的提高。而她自己的人民，却始终在官僚主义的压迫下，宣传机构的谎言中，浑浑噩噩地生活。直到有一天，总书记自己看不下去了，选择了开启民智。遍布于亚非拉各地的人民，更是在它的支持获得了独立和尊严，将缠绕于自身之上的殖民主义的枷锁砸的粉碎。但是她却以各种名义，强占这些新独立国家的成果，扮演着新帝国主义的角色。她打败了凶残的纳粹，挽救了欧洲文明。却在卡廷森林，犯下了不亚于纳粹的罪行。

这是一个矛盾的国家，她总是追求道义的制高点，却总是不择手段地干最龌龊的勾当。也许，这是涅恰耶夫不死的幽灵吧。目标重于手段，结果大于过程。只要标榜自己目的的正义性，就可以不择手段。在政治目标道德化，和政治手段流氓化同时发生的时候，一切荒谬都令人习以为常了！

周末又看了一遍《联合舰队》，不知为什么，这部片子始终吸引着我，也许是同样身为黄种人的缘故吧。曾几何时，龙旗下的舰队曾经势冠亚洲，雄踞世界。然而甲午一败，全军尽墨。两亿两白银的赔款，更是让中国从经济上失去了振兴的可能。《告十八省豪杰书》中自称神州正溯的日本，在四十多年后，一度击败白种人，站在世界的顶峰。

很多次玩《钢铁雄心》，只要能统一东亚，就有实力与欧美列强一争高下。也许欧美列强也早就明白这个道理，所以在甲午之役，偏袒日本。在九一八事变，置身事外。七七事变，支持中国。他们的目标很明确，谁处于下风，就支持谁；谁占了上风，就打压谁。决不可以让亚洲一家独大。而高瞻远瞩的老一辈亚洲政治家，也深刻地明白这个道理。伊藤博文，断然否决了十亿两白银的赔款方案。戊戌变法，伊藤君还积极支持维新派。桂太郎在会见孙中山时，则将中国人民之解放，视为亚洲崛起的首要条件。也许上帝真的是西方人，这些胸怀世界的政治家，既没有留下既定的纲领，也没能找到合适的继承人。当田中义一登上首相之位时，日本的对华政策已经发生了质的变化。而孙总理，也丢下正疮痍满目的国家，去世了。

武昌首义，天下云集响应。庞然大物，大清帝国，竟然就此崩塌。袁世凯依仗北洋精兵，登上大总统宝座。然而，脱胎于旧时代的袁世凯，摆脱不了封建军人的宿命，妄图逆天。如果说袁世凯的复辟是非正义的，那么袁世凯去后，无人约束的中国，简直是人间地狱。再专制的秩序，也好于没有秩序。此时的日本，正在经历精英政治向民主政治的转变，“大正德谟克拉西”。但是，缺乏海外殖民地的日本，没有办法将民主的成本转嫁给其他国家，也没有哪个国家为了民主精神，愿意补贴日本。于是，在愤青的子弹和小刀下，民主之路被砍断了。日本开始全力扩张。此时，处于混乱态的中国，成为日本最理想的扩张对象。

同一时期的俄罗斯，也曾一度陷于混乱。但是布尔什维克的坚毅和俄国的国情，让混乱没有持续太久。到20年代，苏俄已经恢复到了帝俄的实力。至此，日本扩张的北上之路被堵死，唯一的出路在于中国。同种同文的中日两国，再次被欧美逼迫到了同室操戈的境地。而这一次，十四年的血战让中日两国成为了不死不休的血仇，再也没有和解的可能了！时至今天，还有许多国人不能理解毛主席和周总理放弃对日索赔的意义。在日本，也有很多人没有体会到中国政府放弃索赔的含义，而片面地解读为中国的软弱。

现在，钓鱼岛之争日渐激烈。双方的国民，似乎都希望再来一次甲午之役。我国希望雪耻，日本觉得应该再教训一次中国。从地缘政治的角度，国土面积狭小的日本，不可能成为世界性大国。它的宿命就是大国的跟班。今天，它选择了美国。我们的选择呢？

为什么俄国革命会那么血腥, 也许从下面这篇文章可以找到部分答案.

革命者手册

革命者对自己的态度

第一条  革命者是自我献身的人。他没有自己的利益、自己的事务、自己的感情、自己的爱好、自己的财产，甚至没有自己的名字。他的一切都融汇在唯一仅有的利益、唯一的思想、唯一的激情——革命之中。
第二条  他从内心深处，不仅在言论上而且在行动上与公民秩序、与整个文明世界以及一切法律、礼节、惯例和道德断绝任何联系。他是这个文明世界的无情敌人，如果他继续活在这个文明世界之中，那只是为了更可靠地破坏它。
第三条  革命者鄙视任何理学主义，拒绝世俗科学，而让后辈去研究它。他只知道一门科学——破坏的科学。他研究机械学、物理学、化学，也许还有医学，都是为了这个目的，而且只是为了这个目的。他为了这个目的日日夜夜地研究一门活的科学——人，现在的社会制度在一切阶级中的性质、状况和全部条件。目的只有一个——最迅速、最可靠地破坏这个丑恶的制度。
第四条  他鄙视社会舆论。他鄙视和憎恶目前社会道德的一切动机和表现。对他来说，凡是促进革命胜利的东西，都是合乎道德的。凡是阻碍革命胜利的东西，都是不道德的和罪恶的。
第五条  革命者是自我献身的人，他对国家和整个等级制度的文明社会是无情的；他不应该期待对自己有任何宽恕。在他和任何社会之间，存在着或秘密或公开的、但是不间断和不可调和的你死我活的战争。他应该学会经得起拷打。
第六条  他对自己是严酷的，对别人也应该严酷。一切亲属、友谊、爱情、感激等温柔脆弱的感情都应该被唯一的革命事业的冷静激情压抑下去。他只有一种柔情，一种安慰，一种褒奖和满足——革命的成功。他日日夜夜只应该有一个思想，一个目的——无情地破坏。他沉着地、不倦地致力于这个目的，因此他应该准备牺牲自己，并且准备亲手摧毁妨碍这个目的的一切东西。
第七条  真正革命者的本性不容许有任何浪漫主义，任何伤感、欢乐和嗜好；甚至也不能容许有私仇和进行个人报复。革命激情应该成为他经常的、每时每刻的内省状态，并且与冷静的考虑结合起来。无论何时何地，他都不应该受私欲驱使，而应该为共同革命利益的要求所支配。

革命者对革命同志的态度

第八条  对革命者来说，只有在行动上表明是与这个革命同志自己从事同一种革命事业的人，才能够成为朋友和亲爱的人。这种同志在破坏一切的实际革命事业中的有用程度，是确定他对友谊、忠诚和其他义务的唯一尺度。
第九条  革命者的团结是不言而喻的，因为这是革命事业的全部力量所在。在革命认识和革命激情处于同等程度的同志，应该尽可能共同讨论并且一直决定一切重大事务。因此，在实现既定计划的过程中，每个人应该尽可能依靠自己的力量。每个人都应该自己去完成一系列的破坏行动，只有在为事业的成功所必需的时候，才向同志们求救并获得他们的帮助。
第十条  每个同志手下都应该有几个第二级和第三级革命者，即非完全亲信者。他应该把他们看作共同的革命资本中交由他支配的一部分。他应该节省地使用自己这部分资本，经常努力从中取得最大的利益。他应该把自己看做用于使用革命事业取得胜利的资本，而且只应该看做是这个资本，未经完全亲信者的整个协会同意，他本人绝不能单独加以支配。
第十一条  当同志遭受不幸，要决定是否搭救他的问题时，革命者不应该考虑什么私人感情，而只应该考虑革命事业的利益。因此，他一方面应该估计这位同志所能带来的好处，另一方面也应该估计由于搭救这位同志需要损失多少革命力量，权衡一下孰轻孰重，再行决定。

革命者对社会的态度

第十二条  吸收不是言论上而是行动上表现良好的新成员加入协会，应该全体一致通过，方为有效。
第十三条  只有抱着最彻底、最迅速地破坏国家的、等级制的、所谓文明的世界的信念，革命者才进入这个世界并在其中生活。如果他对这个世界还有所怜惜，他就不是革命者。他应该毫不犹豫地消灭这个世界的地位、关系或者任何人。他应该同样地仇恨所有的一切。如果他在这个世界中有亲属关系、朋友关系和爱情关系，那就更糟糕；如果他的手能被他们拦住，他就不是革命者。
第十四条  为了达到无情地破坏的目的，革命者可以而且常常应该假装成与他的本来面目完全不同的人生活在社会上。革命者应该潜入一切地方，一切上等阶级和中等阶级、小店铺、教会、贵族家庭、官僚界、军界、文艺界、第三厅（秘密警察机关），甚至皇宫。
第十五条  应该把这整个丑恶社会分成几类人：第一类应该立即判处死刑。本协会将以对革命事业成功的危害程度为序拟定犯罪名单，按名单次序进行判决。
第十六条  在拟定这种名单和确定上述次序时，决不应该以一个人的个人恶行，甚至不应该以他在本协会或人民中所激起的公愤为标准。这种恶行和这种公愤甚至可能有部分好处，它们有利于激起人民的暴动。应该以处死某一个人能够给革命事业带来的好处的大小为标准。所以，首先应该消灭对革命组织特别有害的人，以及突然横死会引起政府最大恐惧的人，使政府失去聪明而有毅力的活动家，从而动摇它的力量。
第十七条  第二类应该包括那些只是暂时让他们活着，以便让他们用一系列兽行迫使人民必然发起暴动的人。
第十八条  第三类是为数众多的身居高位的畜牲，或者虽然既没有特别智慧又没有毅力，但是由于所处地位而拥有财富、联系、威望、和力量的人。必须用一切可能的方法剥削他们；把他们制服，把他们弄糊涂，并且掌握他们的龌龊的秘密，使他们变成我们的奴隶。这样一来，他们的权力、威望、联系、财富和力量就会成为创办各种事业的取之不尽的宝库和宝贵的帮助。
第十九条  第四类是国家中的沽名钓誉和形形色色的自由主义者。可以按照他们的纲领同他们一起进行秘密活动，表面上假装是盲目地跟着他们走，实际上则要完全支配他们，掌握他们的秘密，使他们的名誉彻底扫地，使他们无法脱身，然后再用他们的手去扰乱国家。
第二十条  第五类是总爱在小团体内和纸面上大发空论的教条主义者、秘密工作者和革命者。必须不断地推着他们、拉着他们前进，使他们去进行实际的、复杂困难的活动，结果多数人将无声无息地死去，少数人将受到真正的革命锻炼。
第二十一条  第六类，也是最重要的一类，是妇女。她们又应该分为主要的三种人：一种是内心空虚、思想愚钝、麻木不仁的人，她们可以像第三类和第四类男子一样加以利用；另一种是热情、忠诚、能干的人，但不是我们的人，因为她们还没有锻炼到具有真正的、毫无空话的、实际的革命认识的程度。她们可以像第五类男人一样加以利用；最后一种妇女是我们的人，即完全亲信者、完全接受了我们的纲领的人。我们应该把她们看做我们的无价之宝，我们没有她们的帮助是不行的。

本协会对人民的态度

第二十二条  除了人民即无知大众的彻底解放和幸福以外，本协会没有其他目的。但是本协会坚信，只有通过摧毁一切的人民革命才可能实现这种解放和达到这种幸福，所以本协会将利用一切力量和手段促进那些最终必然使人民无法容忍并迫使他们实行普遍起义的不幸和灾祸发展和蔓延。
第二十三条  本协会所理解的人民革命不是按照西方典范炮制的运动，这种运动总是不敢触动财产以及所谓文明和道德的社会秩序的传统，它迄今到处都只限于为了推翻一种政治形式而代之以另一种政治形式，并且力求建立所谓的革命国家。拯救人民的革命，只能是根本消灭一切国家并且根除俄国秩序的一切国家传统和阶级的革命。
第二十四条  因此，本协会不打算自上而下地把任何组织强加于人民。毫无疑问，未来的组织一定要从人民和生活中产生出来。但是，这是后辈的事业。我们的事业是可怕地、彻底地、普遍地、无情地破坏。
第二十五条  因此，我们接近人民首先就应该同人民生活中的这样一些分子联合起来，他们从莫斯科公国成立以来不是在言论上而是在行动上不断对直接或间接同该公国有联系的一切，对贵族，对官吏，对神甫，对商界和小商人，人民的剥削者提出抗议。我们要同剽悍的强盗界——俄国真正的、唯一的革命者——联合起来。
第二十六条  把这个强盗界团结成一个不可战胜的、摧毁一切的力量——就是我们的全部组织、秘密活动和任务。

“马革唯愿裹尸还，定远何须生入关。”伏波将军征讨的交趾郡，就是今天的越南。中华帝国和越南之间，有太多的恩恩怨怨。《大越史略》在很大程度上，就是一本越南与中国的战史。国家利益，民族仇恨，这个话题很大，也很容易流于空洞。我能想到的是，三十年，如果当年的烈士能活下来，他们应该含饴弄孙了。

如果说，战场上的军人，是勇敢的，因为他们敢于冒着生命的危险。那么明知是死，却义无反顾，该如何形容呢？1984年发表的报告文学《猛士守南疆》，公开披露了“人肉”排雷手。面对雷场，一个个年轻的生命，就这样被炸碎了。安忠文，彝族，当时担任班长。攻击部队受阻于雷区，时间紧迫，安忠文班长从容地吩咐战士，“前面是雷场，不要靠近我”，然后纵身滚雷。在一阵阵爆炸声中，腿断了，手断了，眼睛瞎了，最后身体都碎了。这位死无全尸的猛士，牺牲时年仅19岁。

19岁，是个什么概念？今天的IT精英，丁磊，19岁时在电子科技大学；张朝阳，在清华大学；马云，刚刚经历了高考落榜，在打工。也许有人会说，即使安忠文活了下来，也不一定会成为精英。但是，至少他们可以享受到改革开放的成果。死亡，让他们失去了任何机会。一个烈士的称号，一座纪念碑，仅此而已。其实，死者不需要纪念碑，需要纪念碑的恰恰是生者。生者会迷茫，会彷徨，会恐惧。于是，那些死者的纪念碑，就像茫茫大海上的灯塔，为生者指明了前进的方向。但是在今天，这些纪念碑非但没有起到灯塔的作用，反而让生者更加迷茫。

《妈妈，我等了你二十年》，是何等让人心碎！三十年过去了，烈士如果活着，都可以含饴弄孙了！可是他们付出鲜血和生命的政权，回报了什么呢？老兵不会死，只是渐凋零！也许三十年的改革开放，让我们的物质极大丰富的同时，也极大丰富了我们的精神。面对突然丰富的精神，我们变得无所适从。不再有唯一的标准，可是我们却不知道该如何选择。