Petri网是一种可以用网状图形表示的系统模型。并发系统中遇到的一个主要问题是定时问题。这个问题可以表现为多种形式，如同步问题、竞争条件以及死锁问题。定时问题通常是由不好的设计或有错误的实现引起的，而这样的设计或实现通常又是由不好的规格说明造成的。如果规格说明不恰当，则有导致不完善的设计或实现的危险。...

之前并没有学习过语言形式化理论这门课，最多也就是了解编译原理，知道有个符号系统能够抽象词法，语法。通过研究这套符合系统的内在规律，给出了验证模型和相应的算法。恩，这就是我所了解的计算机程序原理。本科毕业之后，我觉的自己已经很好地掌握了计算机（组成，结构和程序）。但我不太懂：计算机干了什么，以致我...

状态机不仅使用有限状态机的机制对具备事件驱动行为的系统建模之外，也表达了系统的Behavior,以及交互细节(protocol)。按照具体的概念，大概可以分为两种，behaviorstate machine和protocol state machine.

Solarized Scheme Solarized Colorscheme for Intellij,WebStorm,PyCharm,RubyMine,PhpStorm Github : [链接] 安装 将Solarized Dark.icls和Solarized Light.icls拷贝到IDE的配置目录下。不同IDE的配置目录不同： Mac OS X ~/Library/Preferences/IntelliJIdeaXX/colors (IntelliJ IDEA Ultimate Edition), ~/Library/Pr...

JavaScript的一大特点就是库多，更新快！现在前端程序猿使用上了npm之后，哪个不是install了十几个包（devDependencies就得5，6个吧，grunt/gulp）.

选中body节点，我们可以看到类似于Eclipse中java类的Class hierarchy视图。body是HTMLBodyElement的实例化对象，HTMLBodyElement是HTMLElement的子类，以此类推...

最近做一个流程图绘制项目，所以研究了一下svg。发现svg目前浏览器支持的挺强大的，但是svg本身有很多背景知识和元素属性以及js库等，如何系统地掌握这一强大工具呢？

c语言的定义与声明 声明 很多人都不太明白声明这玩意有什么用。 我定义一个变量： 1.分配了内存 2.初始化了数据 3.以后可以存取 但是声明这玩意，好像什么也没干哪！ 声明（declaration ）指定了一个变量的标识符，用来描述变量的类型，是类型还是对象，或者函数等。声明，用于编译器(compiler)识别变量名所引用的实体。...

C语言中的强符号与弱符号 参考《程序员的自我修养》 参考 C语言中的强符号与弱符号 符号重复定义 main.c {代码...} other.c {代码...} 编译 {代码...} 编译结果 clang {代码...} gcc {代码...} 比如：我们在目标文件A和目标文件B都定义了一个全局整形变量global，并将它们都初始化，那么链接器将A和B进行链接时会报错！ ...

Graphviz 是一个可以创建图表的灵活应用程序，可以轻松实现脚本化。本文将介绍 Graphviz DOT 语言的基础知识，并提供了一些示例脚本。

CMD和AMD外部依赖模块如果你并没有使用node.js或require.js，那就没有必要使用module关键字了，只需要使用namespace

模块化开发是我们组织代码或团队开发最重要的一课。你想想，以一个类似于processon的在线画图系统为例。如果UML节点的绘制，Canvas画布的操作，鼠标事件，快捷键事件，各种约束条件的加入，这么一个上万行的文件，打开文件要2分钟，找一行代码都得3分钟，还怎么维护？如果我想加一个变量，自己钟意的变量名和前人的冲突...

Typescript-tsconfig.json typescript之旅 1.TypeScript-Basic 2.TypeScript interface 3.Typescript-module(1) 4.TypeScript Modules(2) 5.Typescript tsconfig 6.TypeScript Functions 7.Typescript Class tsconfig.json 如果一个目录下存在一个tsconfig.json文件，那么它意味着这个目录是TypeScript项目的根目录 tsco...

TypeScript-Functions typescript之旅 1.TypeScript-Basic 2.TypeScript interface 3.Typescript-module(1) 4.TypeScript Modules(2) 5.Typescript tsconfig 6.TypeScript Functions 7.Typescript Class 函数 {代码...} 可选参数和默认参数 typescript会检查传递给一个函数的参数个数与函数期望的参数个数是否一致 {代码...

驱动程序原理 Linux驱动程序的数据结构 驱动程序本质：接口函数(应用程序可以操作设备) Linux提供了统一的接口，各个设备厂商实现这个接口 Linux如何管理所有的驱动程序呢 块设备和字符设备 内核中使用了2个全局数组存放2类驱动程序 {代码...} 驱动程序调用 int register_chrdev(unsigned int major, const char * name,...

TypeScript-Class typescript之旅 1.TypeScript-Basic 2.TypeScript interface 3.Typescript-module(1) 4.TypeScript Modules(2) 5.Typescript tsconfig 6.TypeScript Functions 7.Typescript Class Class {代码...} 对于这个demo的理解怎么说呢？ 如果你是java或C#程序员，你应该这样理解： {代码...} 如果你是javascri...

因为最近使用Backbone，所以对Backbone有了3个月的研究。期间也参考了一些博客，这些博客可以分为两类：1.写一个demo，解释每一句。然后给一对api 2.讲源码，但不够抽象！我觉得源码最好讲骨架，要抽象，太过具体你讲不明白，别人也看不懂！

TypeScript-Basic typescript之旅 1.TypeScript-Basic 2.TypeScript interface 3.Typescript-module(1) 4.TypeScript Modules(2) 5.Typescript tsconfig 6.TypeScript Functions 7.Typescript Class 基础 今天讲的很简单，是一些很基础的东西，但它们会让你对typescript眼前一亮 类型 boolean number string array tuple...

typescript之旅 1.TypeScript-Basic 2.TypeScript interface 3.Typescript-module(1) 4.TypeScript Modules(2) 5.Typescript tsconfig 6.TypeScript Functions 7.Typescript Class Interfaces 今天来说说接口，首先说明如果你是java程序员，请一定忘记interface，此处的接口和彼处接口完全不是一个思想。 首先来一个最简...

javascript是一门比较难精通的语言，原因是其他语言提供机制，javascript提供方法。在我看来，语言如java,python比较好学的语言有一个特点：关键字多。java提供extends,implements,以及特定的包管理机制。python特殊的文本结构，大量API等。这些语言可以使初学者快速上手，因为大多数需求的满足都是靠机制。语言提供的关...

一个私有项目，与你一起协作的还有另外一到两位开发者 这里说私有，是指源代码不公开，其他人无法访问项目仓库 你和其他开发者则都具有推送数据到仓库的权限。

el css选择器，Paper将在该Css选择的Container下画SVG图.例如:el='#paper',则在<div id='paper'></div>下面添加SVG DOM节点

当你下载好tomcat之后，解压到/opt/apache-tomcat-x.x/之后，开始在terminal中敲./bin/startup.sh，你会遇到第一个坑，tomcat并没有把所有信息都打印到终端，这时你也不知道服务器是否已经启动了！那就试一下吧，curl localhost:8080,我去果断卡住了。 {代码...}

Function.prototype通过__proto__继承了Object.prototype，作为Js中诞生的第二个对象，该对象实现了js中的两种类型

http.createServer([requestListener])官网：参数 requestListener 是一个函数,它将会自动加入到 'request' 事件的监听队列.我们可以把这个requestListener看成中间件，他负责完成处理http请求队列中的每个请求。好了我们今天的主角express就是requestListener的实现。