(西迁中的浙大师生)

    就现在这个项目来说，这个比例目前还是100%，看了一个多月了，好多文章啊……大部分不能全看懂，于是又要看Reference里引用的文章以及上Google搜到的相关Tutorial，结果全部要学习的文章数迅速呈几何极数上升。现在桌子上放了一大落打印出来的文章，好多还只看了Abstract、Headings和Conclusion。

    除了我的项目，还有Research Seminar Course，每周要看的文章都完全不同，这老师可真能选东西。到目前已经详细学习了：

    一篇讲技术到产品的转换过程的文章（SLAM and Static Driver Verifier Technology Transfer of Formal Methods inside Microsoft）：废话为主，基本上把所有的“好事”都列了一遍；

    一篇讲如何提高电子投票机的易验证性（Ease of Verification）的论文（Designing voting machines for verification.pdf）：想法很新颖，通过硬件隔离和一套很严格——也很低级——的硬件通信协议把每个模块都分开，从而保证了有些模块即使包含了恶意代码也不可能影响其它模块的正常工作，使得那些模块不需要被验证从而减少了总的需要验证的代码量。不过我的问题是，干吗不干脆用直接硬件实验算了？；

    一个讲提升软件防盗版能力的专利（Method and System for Protecting Softwar）：基本出发点是在软件写好之后通过二进制重写的方法把所有的验证点隐藏的一个黑箱里面去，然后再在黑箱里做代码缠绕或者干脆把黑箱写成一个基于加密代码库的动态代码生成器。想法很好，写的也比较让人信服，但我怀疑它是不是真有用——黑客的智慧是无穷的；

    一篇讲通过增加无线中继节点的方法在移动通信的各蜂窝小区间做负载均衡从而避免局部阻塞的（Integrated Cellular and Ad Hoc Relay (iCAR) Systems - Pushing the Performance Limits of Conventional Wireless Networks）：基本思路是如果一个小区中基站信道都被占满了，就把无法承载的新通信通过无线中继传递到临近的不那么拥挤的小区中；如果新打电话的那个人不在无线中继的覆盖范围内，就把在中继范围内正在使用当前小区基站信道的通信通过无限中继切换到临近小区中从而空出一个基站信道给新通信用。然后作者做了一下性能分析，大致说明了无限中继节点覆盖面积占小区面积的比例与负载均衡能力线行正相关，同时说明这个方法在上述比例不太大的情况就可以有很好的效果。如果不是因为实验做的太草率——根本就没实验，连仿真都没有，作者就“简单的”建了个数学模型然后解了一堆方程组得出了这个“理论上”的结论，忽略的因素实在太多了——我会说这是一篇极好的文章。不过这个方法确实不错，毕竟它最大限度上利用了现有的各种设备和资源；

    一篇讲无纸化办公的文章（Paper as an Analytic Resource for the Design of New Technologies）——人们为什么仍然喜欢用纸？纸在办公方面纸有什么优点？开发者应该在什么方面做研究以便提供出更符合人们习惯的办公软件/硬件产品？：100%顶着计算机科学大名的社会学论文。调查做的不赖，而且思路在当时（1995年）也是新颖的，那个时候好多软件厂商都纳闷为什么那帮老顽固仍然喜欢用纸，却没见过哪个去做点分析研究的。挺有意思的一篇文章（而且它其实很大程度上说明了我们为什么应该彻底改革人机交互界面），就是结论有点过时了；

    一篇探讨一种篇微分方程数值计算方法（Adaptive Mesh Refinement, AMR）的可并行性的论文（Performance and Scaling of Locally-Structured Grid Methods for Partial Differential Equations）：三个字，看不懂！全是术语，而且大多数既没解释也没引用，很多内容说的又不清不楚，网上查了两天才搞明白这篇文章是在干什么，真是被折磨死了。因为看的不怎么懂，也不好评论什么，不过我总觉得作者的实验方法很不严谨——Benchmark的选择太随意了，而且文章内容比较汗——说了半天就是为了说明AMR确实可并行，不过对他实现高效并行的方法却只字未提。

    目前正在学习一篇讲Benchmark和CPU设计的——如何保证你的CPU不会一设计出来就是过时产品（别忘了Benchmark也在变啊）？，下周还要做它的Presentation。文章初看上去很恐怖——体系结构的东西我早忘的差不多了，不过到最后发现居然是模式识别/机器学习之类的文章，看来还不是很难懂，不过就是要看很多东西。

    后面还有好几篇要看，而且一如既往都是不同领域的文章，这回还真是大参观啊。收获当然有不少，首先学了不少不同领域的基础知识，起码跟一帮同样是外行的人扯淡起来不会被当白痴了。不过更重要的是知道了（或者说我认为我知道了）论文应该怎么看：如何最快的找到一篇文章的目的（提出算法？理论验证？实验分析？等等）、作者主要的论点和相关论据以及一篇文章的主要贡献和不足的地方。当然，最大的收获还是学到了怎么迅速利用文章引用、索引系统、Wiki和Google等工具大致看懂一篇几乎是完全陌生的领域的文章。都是很有用的技能，终于有点做研究的感觉了，呵呵。

附：1.我承认这篇文章有中英文混用之嫌，但你可以试试把Abstract、Reference、Conclusion、Benchmark、Presentation、Tutorial等词全翻成中文并保证不产生歧义有多难。2.我知道我的总结是很不完善的，所以对某些领域有更深刻认识的同学不要在这里BS我。

    最近经常在地铁上看报纸，发现每当有涉及到政府行为/政策的负面报道时，总会有一个“影子部长”（Shadow Minister）跳出来以相当官方的口吻批评一番现政府的失误。“影子部长”还挺多的，而且各司其职，好像和内阁里面的部门划分差不多。比如到今天为止我已经看到过了“影子卫生部长”、“影子公共安全部长”、“影子劳工部长”等一系列的角色。因为实在想不清楚这些职位到底是怎么回事，今天索性在维基百科上查了一下，现转译如下（原文地址：http://en.wikipedia.org/wiki/Shadow_Cabinet）

    影子内阁（Shadow Cabinet / Shadow Front Bench）是西敏寺政治体制（Westminster System，以英国为代表的议会制民众政体）中一个在反对党领袖（或其它小反对党的首领）领导下的高级发言人组织。影子内阁的职务构成与当前执政中的内阁一一对应。一般来说，若某政党获得执政机会，其影子内阁的成员将会被指派到对应的内阁部长职务上。影子内阁成员的职责主要是向当前政府传递批评意见，并提出政策建议。

    在英国过加拿大，主要的反对党，尤其是其影子内阁，一般被称为“女王陛下忠诚的反对派”（Her Majesty's Loyal Opposition）。这一称呼是为了表明他们反对是“女王陛下的政府”，而不是皇权以及政府的合法性。但在其它实行西敏寺政治体制国家中（比如澳大利亚和新西兰），反对党则被直接称呼为“议会反对党”（Parliamentary Opposition）。

    某些政党，尤其是英国工党和澳大利亚工党，一般通过党内选举产生影子内阁成员，后经由政党领袖对成员分配职务。在其它政党中，影子内阁的成员和组织构成则完全由政党领袖决定。

    在大多数国家，影子内阁的成员常被称为影子部长。但在加拿大，“反对党批评家（Opposition Critic）”是更常见的称呼。

    下表中是当前一些国家中各在野党影子内阁的名称

    * 澳大利亚：影子内阁（澳大利亚）（自由党、National Coalition）
    * 巴哈马：影子内阁（巴哈马）（进步自由党）
    * 加拿大：第39届国会的正式反对党影子内阁（自由党）、第39届国会 Bloc Québécois（党名吗？）影子内阁、第39届国会的新民主党影子内阁、第39届国会的绿党影子内阁。
    * 法国：Contre-gouvernement (counter-government), dubbed by the media "cabinet fantôme" (literally : ghost cabinet). (Socialist Party (France))
    * 爱尔兰：反对党 Front Bench（咋翻译？）（爱尔兰）（新芬党）、爱尔兰工党 Frontbench Team（还是不知道怎么翻）
    * 日本：下任内阁（日本民主党）（民主党好像从来没有执政过……）
    * 波兰：影子内阁（法律和正义党）
    * 苏格兰：（是的，苏格兰有自己的议会）正式影子内阁（苏格兰政府）（苏格兰工党）
    * 泰国：影子内阁（民主党）
    * 乌克兰：影子内阁（区域党和乌克兰共产党）
    * 英国：正式反对党影子内阁（英国）（保守党）、自由党民主党 Frontbench Team（自由民主党）