寒假Linux学习笔记 2015年1月25日 晚 20:00 一、内核中断处理 进程上下文：应用程序主动调用内核驱动的程序的跳转 中断上下文：中断由硬件产生的，与应用程序无关 1、注册中断 Int request_irq(unsigned int irq, //中断号 void (*handler)...
分类：
其他好文 时间：
2015-02-05 13:25:18
阅读次数：
134
练习1.1这道题主要是关于简单的数字运算，我们看完之后可以在MIT-Scheme中进行验算。如果环境不熟悉，可以参见【Scheme归纳】的第一篇博文。如果发现在MIT-Scheme等环境上的运算结果和自己算的不一样，也应该再仔细看看在书写代码的时候有没有手误。练习1.2这是一道将表达式转换成前缀形式...
分类：
其他好文 时间：
2015-02-05 13:26:36
阅读次数：
122
WinRAROfficeESETChromeFireFoxJavaSkypeTeamViewerGitHubXshell、XftpPowerDesignerStarUMLNotepad++MyEclipseZendStudioVisualStudioReSharperAnkhSVNMySQLOrac...
分类：
其他好文 时间：
2015-02-05 13:24:40
阅读次数：
79
在Android中，若想將整張圖片轉成灰階效果其實有更簡便的方式，只要透過ColorMatrix類別的setSaturation函式將飽和度設為0即可。(您也可以試試從0~1之間的值，看看不同飽和度的效果)詳細方法如下://colorBitmap為原始Bitmap，grayBitmap則用來存放處理...
分类：
其他好文 时间：
2015-02-05 13:25:52
阅读次数：
129
第五章软件工程中的形式化方法形式化方法基本概念形式规约当规格说明用非形式化方法描述时，可称之为“规格说明”，当规格说明用形式化方法描述时，可称之为“形式规约”。形式证明与验证形式证明与验证技术主要包括模型检测和定理证明。模型检测是一种基于有限状态模型并检验该模型的性质的技术。定理证明采用逻辑公式来表...
分类：
其他好文 时间：
2015-02-05 13:25:31
阅读次数：
114
在WCF中，当我们在调用服务端的方法时，一般有两点需要考虑：1、捕获服务端的异常信息，记录日志；2、及时关闭会话信道，当调用超时或调用失败时及时中断会话信道。我们一般会像下面这样处理（以CalculatorService为例）：using (ChannelFactory channelFactory...
分类：
其他好文 时间：
2015-02-05 13:24:26
阅读次数：
107
Count the number of k's between 0 and n. k can be 0 - 9.Exampleif n=12, in [0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12], we have FIVE 1's (1, 10, 11, 12...
分类：
其他好文 时间：
2015-02-05 13:22:53
阅读次数：
127
GridView组件（二）：设计思路上期回顾：http://www.cnblogs.com/beiou/p/4113327.html1、页面结构：gridview表格本生是可以只用一个table来渲染的。但是为了结构清晰，便于维护，同时需实现table自行滚动且横向滚动colHead，分为四块：（1...
分类：
其他好文 时间：
2015-02-05 13:25:09
阅读次数：
116
练习1.6这道题通过由一个新版本的if来引出，主要讨论的还是应用序和正则序的问题。我看到“将if提供为一种特殊形式”时还满头雾水，并不太清楚什么特殊形式。当再返回看if的语法时才发现，这在第12页if的一般表达式下面一段。如果得到真值，解释器就去求值并返回其值。注意，在此处已经返回其值了，并没有进行...
分类：
其他好文 时间：
2015-02-05 13:22:04
阅读次数：
116
1 /* include px_ipc_name */ 2 #include "unpipc.h" 3 4 char * 5 px_ipc_name(const char *name) 6 { 7 8 char *dir, *dst, *slash; 9 10...
分类：
其他好文 时间：
2015-02-05 13:22:21
阅读次数：
377
STL中的容器按存储方式分为两类:序列容器（如：vector 、deque)；关联容器（如：list、set、map）两种容器在使用erase方法来删除元素时或产生迭代器失效的问题对于关联容器 1 std::list List; 2 std::list::iterator iter = List.b...
分类：
其他好文 时间：
2015-02-05 13:24:14
阅读次数：
122
建线段树： 1 void build ( int o , int l , int r ) 2 { 3 if ( l == r ) { 4 sum[o] = a[l] ;//也能写成sum[l] = a[l] 或 sum[r] = a[l] ; 5 return...
分类：
其他好文 时间：
2015-02-05 13:22:18
阅读次数：
147
一、对象的比较1、eq?这个函数用来比较2个对象的地址，如果相同的话就返回#t。在Scheme中真用#t表示，假则用#f。例如，（eq? str str)返回#t，因为str本身的地址的是一样的，但是"scheme"和"scheme"则被存储在不同的地址中，因此函数返回#f。注意，不要用eq?来比较...
分类：
其他好文 时间：
2015-02-05 13:22:40
阅读次数：
228
如果对前面的内容理解透彻了，看到这个表达式就知道直接将y换成guess即可。博主写的函数如下:(define (improve guess x) (/(+ (* guess guess)) (* 2 guess)) 3))但是如果中写到这里就认为完成了那就错了，如果还是用书中的good-enough...
分类：
其他好文 时间：
2015-02-05 13:22:48
阅读次数：
117
在软件运营了一段时间后，管理员发现出了一些问题，在每天图片数据不断增长的情况下，数据库数据急剧增加，变得十分庞大，导致运行速度并的非常慢。给备份还原也带来了很大的压力，光数据库数据就10多G。
分类：
其他好文 时间：
2015-02-05 13:22:43
阅读次数：
129
前言：OGE即OGEngine，是由橙子游戏开发的基于Java支持跨平台的开源游戏引，从12年4月项目成立至今已经有2年多的发展历程。在此期间基于OGEngine开发的项目已经有非常多成功投放市场。从正式开源開始，好多开发人员開始增加OGEngine的行列，同一时候在官网、论坛、Q群、看到有好多的问...
分类：
其他好文 时间：
2015-02-05 13:19:05
阅读次数：
216
