摘要： 在java中使用foreach（后来新加的语法特征）遍历删除元素的时抛出异常，有一种方法是用一个集合先记着满足删除条件的元素。然后在逐一的在原来的集合中删除。这样的话需要额外的存储空间，遍历要删除的集合时。还要查找每个元素在原来集合中的位置，在使用某种底层数据结构的情况下，时间复杂度可能会变成二次方。更好的方法是使用迭代器。请参见下文。http://www.cnblogs.com/xiefeifeihu/archive/2009/11/30/1613934.html上文中是要在map中删除key等于某个值的所有元素，如果改成删除value等于特定值的问题，可以使用Map.Entry类型的迭代器 阅读全文

摘要： 下载和配置spin下载网址http://spinroot.com/spin/Bin/index.html，将spin安装在没有空格的路径下。安装后将其加入环境变量PATH中。下载和配置gcc下载网址http://sourceforge.net/projects/mingw/，将MinGW安装在没有空格的路径下。安装后将目录下的bin加入环境变量PATH中。Jspin的配置下载和配置JDK下载网址http://java.com/en/download/index.jsp，安装后将目录下的jdk1.7.0_x/bin路径加入环境变量PATH中。下载jspin-5.0下载网址http://code. 阅读全文

摘要： 自动机由状态和变迁两部分组成，其翻译涉及到将状态和变迁上所对应的内容翻译到可以描述模型的代码上。自动机提供了整个所需执行逻辑的框架，框架有变迁、状态、组件组成。翻译可以看成是由两部分构成，对框架内每个元素的翻译和对对整个框架的结构翻译。本部分将按照如下顺序进行说明：变迁的翻译、状态的翻译、组件的翻译、图形函数的翻译以及整个自动机框架的翻译。变迁的翻译。变迁离开的状态或节点后面是并列的条件分支语句，变迁的最后是跳转语句，跳转到其后继的状态或者节点对应的标签处。由于变迁是由更细小的条件、动作和通信组成的。在实行翻译之前，需要对其正确性进行校验，通信的内容不能夹在在动作的代码中，其可以出现在条件和动 阅读全文

摘要： 本博客用来写读书笔记和对算法题的心得 阅读全文