构建之法》教会了我很多东西，不一定是编程技巧，而是思考的方式。 形式化方法建立在严格的数学基础上，其目标是希望能使系统具有较高的可信度和正确性，并能使系统具有良好的结构，使其易维护，关键是能较好地满足用户需求。“形式化方法”一词虽然一直被广泛地应用，但在不同程度上，因理解不同，使其具有了不同的含义。 ...
分类：
其他好文 时间：
2016-05-27 21:54:37
阅读次数：
146
R语言学习笔记：日期处理1、取出当前日期Sys.Date()[1] "2014-10-29"date() #注意：这种方法返回的是字符串类型[1] "Wed Oct 29 20:36:07 2014"2、在R中日期实际是double类型，是从1970年1月1日以来的天数typeof(Sys.Date... ...
分类：
其他好文 时间：
2016-05-27 21:57:11
阅读次数：
1228
今天是第二轮团队冲刺的第一天，上次的团队成果其实并不让人满意，而且在后期出现了很大的问题。总结一下原因其实是我们只管自己独立的任务，相互之间缺乏必要的交流，其实三个人在一起编程的时间根本没有多少，大多是自己一个人。这就造成了有了想法不能与团队成员及时沟通，只能开发那些相互之间联系不大的部分，结果就是 ...
分类：
其他好文 时间：
2016-05-27 21:55:59
阅读次数：
202
以下是我学习《构建之法》之后遇见的一些问题与思路。 1.对于代码规范性的认识。作为一个新手程序员，对于代码规范性并没有足够的认识，只是根据自己的习惯去写代码。有的时候自己回头看也会有不清楚的地方，让同学帮忙处理bug时也会很苦恼。解决的思路是对于一些算法难以理解的代码段进行注释，并对变量名进行有具体 ...
分类：
其他好文 时间：
2016-05-27 21:53:27
阅读次数：
173
题目连接请戳此处 题意：n个人每人有一定的财富值ci，每天Robin Hood从最富的人手中取财富1分给最穷的人（取后最穷， 即可以退回），若有多个最穷的人，任选一个给出财富值。问k天后最富的人和最穷的人财富差值为多少。 1?≤?n?≤?500?000,?0?≤?k?≤?109 1?≤?ci?≤?1 ...
分类：
其他好文 时间：
2016-05-27 21:53:14
阅读次数：
212
例如：>> x=0:0.1:4*pi;plot(x,sin(x));ticks={'G_1' 'G_2' 'G_3' 'G_4' 'G_5'};settick('x',ticks)>> figure;x=0:0.1:4*pi;plot(x,sin(x));ticks={'G_1' 'G_2' 'G_ ...
分类：
其他好文 时间：
2016-05-27 21:52:06
阅读次数：
805
实际上windows中有两套输入法框架，一套叫做imm32、一套叫做tsf，win7以后的新系统都是优先使用tsf的，现在新出的输入法基本也是基于tsf的。你可以参考一下这篇文章，虽然是c++的代码，不过翻译过来并不难http://blog.csdn.net/puncha/article/detai ...
分类：
其他好文 时间：
2016-05-27 21:52:45
阅读次数：
837
按着网上教程部署一个blog 项目，写到登录界面，怎么登录都是显示 试了好多方法，最后发现，在view.py 的render_to_response后加上 context_instance = RequestContext(request)，此时没有引用RequestContext，需要加载包名fr ...
分类：
其他好文 时间：
2016-05-27 21:53:38
阅读次数：
195
一、set集合的创建 set_list = set([1,3,5,7,9]) #创建一个数值集合 set_str = set("world") #创建一个唯一字符的集合 二、set{}集合的特点： 1、set集合是无序的，跟字典一样，都是无序的,因为是无序的，所有无法通过用索引去求值 2、set{} ...
分类：
其他好文 时间：
2016-05-27 21:51:15
阅读次数：
256
一、了解NSUserDefaults以及它可以直接存储的类型 NSUserDefaults是一个单例，在整个程序中只有一个实例对象，他可以用于数据的永久保存，而且简单实用，这是它可以让数据自由传递的一个前提，也是大家喜欢用它保存简单数据的一个主要原因。 使用 NSUserDefaults 存储自定义 ...
分类：
其他好文 时间：
2016-05-27 21:50:48
阅读次数：
249
第8章讲的是需求分析，其实需求分析是我们最开始的一个工作，需求分析就好比如社会调查，让我知道大众的要求，最后我确定去一个我们最终的目标，让我们在我们的道路上知道前进的方向。 第9章主要讲的是项目经理，其实项目经理是是指企业建立以项目经理责任制为核心，对项目实行质量、安全、进度、成本管理的责任保证体系 ...
分类：
其他好文 时间：
2016-05-27 21:53:27
阅读次数：
164
HDU 2159 Description 最近xhd正在玩一款叫做FATE的游戏，为了得到极品装备，xhd在不停的杀怪做任务。久而久之xhd开始对杀怪产生的厌恶感，但又不得不通过杀怪来升完这最后一级。现在的问题是，xhd升掉最后一级还需n的经验值，xhd还留有m的忍耐度，每杀一个怪xhd会得到相应的 ...
分类：
其他好文 时间：
2016-05-27 21:52:13
阅读次数：
170
一、HTTP Status 500 - org.springframework.orm.hibernate3.HibernateOptimisticLockingFailureException: Batch update returned unexpected row count from upd ...
分类：
其他好文 时间：
2016-05-27 21:52:03
阅读次数：
402
1、整本书看完了，书上的内容很详细，例子也容易理解，还是不知道怎么编一个软件？ 2、我们中的大多数人，没有真正的编写一个软件，没法像公司团队那样分工明确，那么什么样的团队模式更适合我们? 3、每个软件的背后都有一个庞大的数据库，怎么样把数据加到软件中？ 4、手机APP的界面都非常的整洁、美观，怎么制 ...
分类：
其他好文 时间：
2016-05-27 21:49:40
阅读次数：
98
LaTeX中一般只直接支持插入eps(Encapsulated PostScript)格式的图形文件, 因此在图片插入latex文档之前应先设法得到图片的eps格式的文件. 在LaTeX文档中插入图片都是通过使用一些latex图形处理宏命令来实现的, 有很多宏命令都支持在在LaTeX文档中插入eps ...
分类：
其他好文 时间：
2016-05-27 21:51:08
阅读次数：
108
完成了语法分析, 那么这一阶段最后要讨论的就是如何生成抽象语法树了...这一阶段称之为语法翻译 : 那么我们来看看翻译的基本思想 : 其实现如下 : 下面是具体实例 : ...
分类：
其他好文 时间：
2016-05-27 21:51:47
阅读次数：
148
创建型模式 Singleton模式解决的是实体对象个数的问题。除了Singleton之外，其他创建型模式解决的都是new所带来的耦合关系。 Factory Method，Abstract Factory，Builder都需要一个额外的工厂类来负责实例化“易变对象”，而Prototype则是通过原型（ ...
分类：
其他好文 时间：
2016-05-27 21:51:26
阅读次数：
119
