fengg

Something is on

Feng — Tue, 04 Jan 2011 20:10:12 +0800

心理学导论

博弈论

Dive into python

The django book

拨云见日

Feng — Sun, 05 Dec 2010 21:01:27 +0800

天空阴霾，只待一拨。

饭否-等你开饭

Feng — Tue, 30 Nov 2010 20:17:12 +0800

http://fanfou.com/home

《三体III●死神永生》-刘慈欣

Feng — Sun, 28 Nov 2010 20:02:55 +0800

大刘的很geliable的力作。

《三体》，在线阅读和下载
《三体II●黑暗森林》，在线阅读和下载
《三体III●死神永生》，科幻世界官方淘宝店订购地址
《星云II●球状闪电》，在线阅读和下载

All is Hello World

Feng — Sun, 28 Nov 2010 19:50:52 +0800

喜欢折腾各种技术，尝试各种“你吃了吗？”，干脆就在 Google code 上整了一个 repository 分享试过的各种果仁。

Hello, 您吃了吗？

当我谈跑步时，我在谈些什么

Feng — Sun, 18 Jul 2010 17:19:06 +0800

是的，我在读村上的《当我谈跑步时，我在谈些什么》。

去年已经听道长介绍过了，一直没有去读，也许是没有想去读。也许是一时兴起，也是就是个ghost，或是daemon，总之我要读它了，我也在跑步。

那就从这句开始吧，“Pain is inevitable,Suffering is optional”.

另外，今天天气不错，但是我没有时间享用。

CSRF verification failed. Request aborted.

Feng — Sun, 11 Jul 2010 21:29:47 +0800

运行Django Step by Step第二节的例子，出现如下错误，解决方法是：修改settings.py，添加‘django.middleware.csrf.CsrfResponseMiddleware’，最后结构如下：

MIDDLEWARE_CLASSES = (
‘django.middleware.common.CommonMiddleware’,
‘django.contrib.sessions.middleware.SessionMiddleware’,
‘django.contrib.auth.middleware.AuthenticationMiddleware’,
‘django.middleware.csrf.CsrfViewMiddleware’,
‘django.middleware.csrf.CsrfResponseMiddleware’,
)

403 Forbidden

CSRF verification failed. Request aborted.

Help

Reason given for failure:

    CSRF token missing or incorrect.

In general, this can occur when there is a genuine Cross Site Request Forgery, or when Django’s CSRF mechanism has not been used correctly. For POST forms, you need to ensure:

The view function uses RequestContext for the template, instead of Context.
In the template, there is a {% csrf_token %} template tag inside each POST form that targets an internal URL.
If you are not using CsrfViewMiddleware, then you must use csrf_protect on any views that use the csrf_token template tag, as well as those that accept the POST data.

You’re seeing the help section of this page because you have DEBUG = True in your Django settings file. Change that to False, and only the initial error message will be displayed.

You can customize this page using the CSRF_FAILURE_VIEW setting.

Petri 网之父辞世

Feng — Fri, 09 Jul 2010 17:33:24 +0800

（图片来自Wikipedia）

2010年7月2日，著名德国数学家、计算机科学家Carl Adam Petri与世长辞，享年83岁。他在计算机科学方面的主要成就，是提出了用于描述和建模分布式并发系统的Petri网模型和以此模型为基础发展出来的网论（net theory），在软件设计（尤其是模型驱动设计）、工作流管理、流程控制、协议验证、机械工程等领域都有广泛应用。

与其他工业标准如UML活动图、BPMN不同的是，Petri网既有严格的数学表述方式，也有直观的图形表达方式。Petri网的模拟能力已被证明与图灵机是等价的。但Petri网也有所建模型容易变得非常庞大等缺点。

按Wikipedia中文版的描述：

经典的Petri网是简单的过程模型，由两种节点：库所（place）和变迁（transition）、有向弧以及令牌（token）等元素组成的。

【人物小传】

1926年7月12日Petri生于德国莱比锡。根据好友的回忆，Petri的父亲是一位数学家，给他讲过许多数学家的故事，因此他从小就对数学发生了兴趣。而且由于父亲的关系，他得以很早就读到爱因斯坦的著作，当时这些书在德国还是禁书。

1939年，他13岁那年，为了描述化学过程而产生了Petri网（这个名字当然是后来其他人命名的）的最初想法。但这一想法直到1962年他写作博士论文“Kommunikation mit Automaten”（用自动机通信）才第一次以文献形式公诸于世。（Petri的文章）

1941年，父亲给他介绍了德国计算机先驱Konrad Zuse的工作，立即引起了他对计算机的兴趣。除了计算机理论研究之外，他甚至自己设计了一台小的模拟计算机。

1944年他刚刚高中毕业，就被迫加入了纳粹德军。后被英军俘虏，监禁在英国，直到1949年才被释放。（Wilfried Brauer, Wolfgang Reisig）在此期间，他一直在思考计算的本质，模拟计算和数字计算的差异等重大课题。他发现，已有的计算机理论如自动机和形式语言不适合描述物理系统，缺乏重要的并发概念。

1950年，他返回德国，在汉诺威工业大学（ Technical University Hannover）学习数学，并曾在IBM接受一年培训。1956年获得学位，并留校任教。1959年转到波恩大学任教并攻读博士学位。

1962年他在达姆施塔特工业大学获得博士学位。此后的科研生涯中，他创建了波恩大学的计算中心，并担任过德国国家数学与计算中心主任等职。

1989年他当选欧洲科学院院士。2008年他荣获计算机领域最高荣誉之一IEEE计算机先驱奖。他对计算机科学的贡献，可以在Milner 1991年图灵奖获奖演讲中的话得到充分证明：

“一直以来我叙述的许多内容，其实Petri在1960年代已经想到了，他是离散并发系统的科学建模的先驱。他的工作是并发理论的源头。”

应该说，Petri网是超越时代的，虽然在学术界一直有一些影响，但工业界注意到它的重要性，还是近年的事情。此前多年，Petri本人一直比较寂寞。但终其一生，他都在并发理论不断前行，硕果累累。

几本GTD的书

Feng — Wed, 07 Jul 2010 20:58:41 +0800

记那么一点

Feng — Mon, 05 Jul 2010 22:11:00 +0800

争取点滴。

fengg

Something is on

拨云见日

饭否-等你开饭

《三体III●死神永生》-刘慈欣

All is Hello World

当我谈跑步时，我在谈些什么

CSRF verification failed. Request aborted.

403 Forbidden

Help

Petri 网之父辞世

几本GTD的书

尽管去做——无压工作的艺术

《高效能人士的七个习惯》(中文版)..pdf

Getting_Real.chm

readyforanything

记那么一点