摘要: [原文请移步](http://log.moonshile.com/post/2014-12/2014-12-30)## Django 处理静态文件### 基础作为基础,首先当然是要修改*settings.py*中的设置,主要是要修改以下内容```pyimport os, socketBASE_DIR... 阅读全文
posted @ 2014-12-31 10:08 Raindai 阅读(1805) 评论(0) 推荐(0) 编辑
摘要: 原文地址:http://www.cnblogs.com/Rainday/p/cmurphi_prime_6.html规则,状态和不变式的语法如下所示: ::= {; } [;] ::= | | | | 简单规则: ::= rule [] [ ==> ] [ { } begin ] [ stmts ] ... 阅读全文
posted @ 2013-07-31 20:20 Raindai 阅读(1126) 评论(0) 推荐(0) 编辑
摘要: 原文地址:http://www.cnblogs.com/Rainday/p/cmurphi_prime_5.html下边是Murphi中语句的形式: ::= {; [] } ::= /* assignment */ | /* if statement */ | /* switch statement */ | /* for statement */ | /* while statement */ | /* alias statement */ | /* procedure call */ | /* cle... 阅读全文
posted @ 2013-07-31 11:05 Raindai 阅读(1063) 评论(0) 推荐(1) 编辑
摘要: 原文地址:http://www.cnblogs.com/Rainday/p/cmurphi_prime_4.html类型是根据名称区分的。任何整数子区间类型的表达式都是合法的,一个整数表达式也是合法的(虽然这样做可能会导致运行时错误)。布尔类型和整数表达式是不兼容的。(上边的第二句话原文为:Expressions of any integer subrange typeare legal wherever an integer expression is legal)在变量初始化之前使用变量是错误的,这个错误会在运行时检测。所有的运行时错误都是由验证器检测的。越界使用数组也是错误的,同样,这个 阅读全文
posted @ 2013-07-30 22:46 Raindai 阅读(903) 评论(0) 推荐(0) 编辑
摘要: 原文地址:http://www.cnblogs.com/Rainday/p/cmurphi_prime_3.html1. 常量,类型和变量的定义定义具有如下的语法: ::= const { ; } | type { ; } | var { ; }常量定义: ::= : 常量定义中的必须有一个在编译的时候可以确定的值。类型定义: ::= : ::= -- a previously defined type. ::= .. -- In... 阅读全文
posted @ 2013-07-30 16:11 Raindai 阅读(1110) 评论(0) 推荐(0) 编辑
摘要: 原文地址:http://www.cnblogs.com/Rainday/p/cmurphi_prime_2.html1. BNF本系列使用BNF来说明Murphi的语法: 代表非终结点[] 代表可选部分{} 代表重复零次或者多次a|b 代表a或者b其一() 代表组当这些符号的任何一个在Murphi语言中需要用到的话,将会使用反斜杠(即\)进行转义。2. 词法规则下边这些是Murphi中的保留字: alias array assert begin boolean by ... 阅读全文
posted @ 2013-07-29 20:02 Raindai 阅读(1179) 评论(0) 推荐(1) 编辑
摘要: 原文地址:http://www.cnblogs.com/Rainday/p/cmurphi_prime_1.html本来以为自己会是一个搞技术的人的,没想到现在彻底变成一个搞科研的人了。搞的东西,现在自己也不是很懂。摸着石头过河吧。Murphi验证系统由Murphi编译器和Murphi描述性语言组成。Murphi编译器根据Murphi描述生成一个特定目的的验证器。这个验证器可以用来检查系统的特性,比如错误断言,不变量和死锁。Murphi描述语言是一个高级描述语言,针对状态有限的异步并行系统。Murphi在某些特性上是高级的,这些特性可以在很多高级编程语言如Pascal或者C中找到,同时这些特性 阅读全文
posted @ 2013-07-28 15:24 Raindai 阅读(1697) 评论(11) 推荐(2) 编辑