码迷,mamicode.com
首页 > 其他好文
软件工程----5形式化方法
1 形式化方法的基本概念 形式化规约 形式证明与验证 程序求精2 时态逻辑 krioke结构可以表示为一个有向图 一阶线性时态逻辑是一阶谓词逻辑的扩展。 队列及其操作:队列是一种常用的数据抽象类型他服从先进先出的FIFO规则。在某一时刻队列可以为空。 1 活性 2 安全性 汉诺塔操作规划问题 计算树...
分类:其他好文   时间:2015-02-15 16:22:36    阅读次数:138
下一款游戏的打算greed
很显然,在中国这片土地上仅依靠满腔情怀是难以生存下去的。我们必须走网络游戏道路。 但是我们不能为此丢失自己的专长和理想,这并不是说明我们就像大部分国产网游一样坑蒙拐骗,我们应该继续延续游戏的深度表现。我们也不是依靠独特设计而吸引小众玩家的独立游戏设计方向。 我们应该做一款拥有主机游戏素质的网...
分类:其他好文   时间:2015-02-15 16:23:14    阅读次数:144
snort使用
接上篇,如果编译安装snort并指定了prefix,那么须指定一个软链接,不然每次要用绝对路径,才可以使用。[root@localhost ~]# ln -s /root/snort/st/bin/snort /bin/snort[root@localhost ~]# snort -V ,,_ -*...
分类:其他好文   时间:2015-02-15 16:22:00    阅读次数:206
greed的pawn
这个类是角色类,在greed这款游戏中我们分别开拓3种职业, 武士,游戏和炼金术师。 因此我的这个类仅仅是一个基类,满足了玩家的基础操作: class ActPawn extends Pawn; 我打算给角色赋予一些超越传统RPG中玩家只会在平面中跑步的属性,拥有一些跳跃,攀爬,滑行和走平...
分类:其他好文   时间:2015-02-15 16:22:11    阅读次数:151
触摸与手势
1. 触摸 触摸(Cocoa Touch)就是用户手指放在屏幕上一直到手指离开。触摸是在UIView上进行的。当用户触摸到屏幕时,触模事件就会发生。本节将主要讲解触摸的阶段以及这些阶段所对应的的方法。1.1 触摸阶段 当用户的手指放在屏幕上就实现了触摸,但是触摸并不是一直持续的。当手指离开屏幕这.....
分类:其他好文   时间:2015-02-15 16:22:38    阅读次数:182
leetcode——Regular Expression Matching
题目:Implement regular expression matching with support for '.' and '*'.'.' Matches any single character.'*' Matches zero or more of the preceding eleme...
分类:其他好文   时间:2015-02-15 16:20:39    阅读次数:157
诗歌收藏
避免-顾城你不愿意种花你说:“我不愿看见它一点点凋落”是的为了避免结束你避免了一切开始我曾经爱过你–普希金爱情,也许在我的心灵里还没有完全消亡,但愿它不会再打扰你,我也不想再使你难过悲伤。我曾经默默无语、毫无指望地爱过你,我既忍受着羞怯,又忍受着嫉妒的折磨,我曾经那样真诚、那样温柔地爱过你,但愿上帝...
分类:其他好文   时间:2015-02-15 16:19:46    阅读次数:154
序列DP:线段覆盖
题目描述Description 给定x轴上的N(0=b[j]{题目中说,可以存在边缘公共点} 则得到状态转移方程:f[i]:=max(f[j]}+1;{0y then exit(y) else exit(x...
分类:其他好文   时间:2015-02-15 16:19:53    阅读次数:165
谈谈买书与读书
干码农这行,读书是必不可少的。爱读书的人,经常会把"书一定要买来看的",或者"书非借不能读"之类的话挂在嘴边,这些话自然有一定的道理,但我在这里想稍微做点补充,这也是我本人在买书、读书方面的一些心得。 计算机的书,大体分两种,一种是技巧性的书籍,一种是理论性的书籍,在针对这两类书作出选择时,我的态度...
分类:其他好文   时间:2015-02-15 16:19:03    阅读次数:135
CoInitialize浅析一
大家都知道程序中若要使用COM组件则必需要先调用CoInitialize,该函数主要是用来初始化COM执行环境。但这个函数的作用域是以线程为单位还是以进程为单位呢?或许大家已经通过測试程序摸索出答案,没错,是以线程为单位。今天我们就略微再深入一下,通过分析CoInitialize的详细实现来印证我们...
分类:其他好文   时间:2015-02-15 16:19:03    阅读次数:422
内表、结构赋值转换规则
声明:原创作品,转载时请注明文章来自SAP师太技术博客:www.cnblogs.com/jiangzhengjun,并以超链接形式标明文章原始出处,否则将追究法律责任!原文链接:http://www.cnblogs.com/jiangzhengjun/p/4292904.html 内表转换规则......
分类:其他好文   时间:2015-02-15 16:20:22    阅读次数:178
string截断
publicstaticstringGetFirstString(stringstringToSub,intlength){Regexregex=newRegex("[\u4e00-\u9fa5]+",RegexOptions.Compiled);char[]stringChar=stringToS...
分类:其他好文   时间:2015-02-15 16:17:42    阅读次数:152
[音乐欣赏]动力火车 艾琳娜
昨天在收音机中听到这首歌曲,一跳一跳的节奏,和着春节归家的人的心绪,让人止不住热泪盈眶。艾琳娜作词:武雄 作曲:尹恒演唱:动力火车L O V EL O V EL O V E GO GO GOL O V EL O V EL O V E GO GO GO风梳过的头发雨淋过的潇洒踏上了这条路我踩着轻快的步...
分类:其他好文   时间:2015-02-15 16:17:21    阅读次数:144
删除 kali 任务栏中的一个应用图标
当前情况如下:删除smplayer的应用图标的话,只需,按住Alt键并右用鼠标右击 该图标后,选择 Remove From Panel达到我们想要的目的
分类:其他好文   时间:2015-02-15 16:17:27    阅读次数:292
(8)WSO2 ESB功能——消息路由
这篇文章介绍如何通过WSO2 ESB实现消息路由的功能:基于内容的路由,根据消息内容的不同路由到不同的服务进行处理。 场景:投诉管理 描述:公众发起对律师或公证员的投诉,输入0转到律师服务进行处理,输入1转到公证员服务进行处理,其他值转到默认服务进行处理 3个服务:律师服务、公证员服务、默认服务 1 三个Axis2服务 默认服务Route:http://10.22.1.20:97...
分类:其他好文   时间:2015-02-15 15:15:36    阅读次数:263
微博授权分享
1.注册开发者账号 进入新浪微博提供的开放平台 注册新浪账号:http://open.weibo.com/ 在管理中心需要创建一个应用,得到Appkey,如果只是实现分享的功能也不需要提交审核。 2.应用信息 基本信息页面:需要填写Android签名 签名工具下载地址:https://github.com/mobileresearch/weibo_android_sdk/...
分类:其他好文   时间:2015-02-15 15:14:09    阅读次数:440
LeetCode Regular Expression Matching
Implement regular expression matching with support for '.' and '*'.'.' Matches any single character.'*' Matches zero or more of the preceding element.The matching should cover the entire input string...
分类:其他好文   时间:2015-02-15 15:12:47    阅读次数:195
© 2014 mamicode.com 版权所有  联系我们:gaon5@hotmail.com
迷上了代码!