- 博客(21)
- 资源 (5)
- 收藏
- 关注
RSS订阅原创 网络配置
VPNL2TP连接在公司内网环境下总是掉线1.如果是无线网络建立的VPN连接建议换成网线连接最初本人在win7下，基于无线连接VPN连接总是掉线，同事的VPN在Apple下却很稳定，经过各种折腾后，临时想起换成网线，发现很稳定，根本原因不详2.不断开VPN的情况下无障碍访问公司内网一般VPN都会带有一个添加路由规则的脚本，只需增加3条内网网段的路由规则就可以访问内网了，如下：
2015-01-06 13:17:01
566
原创 android ADT SDK Tools离线安装
SDK Tools http://dl-ssl.google.com/Android/repository/tools_r22.2.1-windows.zip
2014-06-21 14:47:45
1386
原创 Viewpager
//mMainPager.removeAllViews();想达到的效果是mMainPager.setAdapter(null);mAdapter.initContentViews();mMainPager.setAdapter(mAdapter);
2014-06-12 16:47:02
658
原创 svn
使用svn update代码库时，遇到提示：svn cleanup failed–previous operation has not finished; run cleanup if it was interrupted再执行cleanup仍然出现上面的提示。解决方式：将sqlite3.exe复制到.svn的同级目录 sqlite3 .svn/wc.db "select * from w
2014-05-05 17:03:23
1023
原创 用自定义keystore调试微信分享app
1、申请App_ID2、填写应用签名3、生产自己的key4、用自己创建的key Debug微信分享App
2014-03-06 20:34:33
10436
转载 xml和json解析
xml ：DOM SAX PULLhttp://www.cnblogs.com/zhangdongzi/archive/2011/04/14/2016434.htmljson 用FastJSON http://code.alibabatech.com/wiki/display/FastJSON/Home
2012-05-29 14:11:11
531
原创 event-b 语法基础
B context包括sets 集合 抽象类型constants 常量 逻辑变量，值是常量axioms 公理 限制常量，是一个逻辑谓词B machine包括variables 状态变量，值可变invariants 不变式 变量的约束式，约束式总为真，不变式是逻辑谓词initialisation 初始值 抽象变量的初始值events 事件 受监视的动作，动
2012-05-25 12:08:25
2319
1
翻译 event-B
第一章介绍在过去的30年，软件开发的许多领域引入并采用了形式化方法。近年来，软件工业使用VDM，Z，ASM，B和Event-B.然而这个领域的研究还在继续；尝试改进这些方法或获得益处。连接需求，详细说明和实现的工作还在继续。1.1 背景和动机面临Hoare 和Misra在【72】中提出的验证软件挑战，我们陈述了理论，工具和实验是形式化验证方向的三个主要挑战性研究方面。现在，许多先进
2012-05-22 20:07:19
4740
原创 selinux笔记
为了支持MLS：有四个控制操作符可以将两个MLS安全级别关联起来，如：dom：如果SL1的敏感度大于或等于SL2的敏感度，则SL1 dom（优于） SL2，SL1的范畴就是SL2范畴的一个超集。domby：如果SL1的敏感度小于或等于SL2的敏感度，则SL1 domby SL2，SL1的范畴是SL2的子集。eq：如果SL1的敏感度等于SL2的敏感度，则SL1 eq SL2，SL
2012-04-23 21:01:41
1085
转载 java 知识总结
Java进程： JVM进程被启动，在同一个JVM进程中，有且只有一个进程，就是它自己。然后在这个JVM环境中，所有程序的运行都是以线程来运行。JVM最先会产生一个主线程，由它来运行指定程序的入口点。在这个程序中，就是主线程从main方法开始运行。当main方法结束后，主线程运行完成。JVM进程也随之退出。 我们看到的是一个主线程在运行main方法，这样的只有一个线程执行程序逻辑的流程我们
2012-04-10 13:33:33
665
转载 jni
JNI是Java Native Interface的缩写，译为Java本地接口。它允许Java代码和其他语言编写的代码进行交互。在android中提供JNI的方式，让Java程 序可以调用C语言程序。android中很多Java类都具有native接口，这些接口由本地实现，然后注册到系统中。 主要的JNI代码放在以下的路径中：frameworks/base/core/jni/，这
2012-03-26 10:14:03
1908
转载 android 源码文件结构
1 \out\out\target\product\generic\下有个system目录，其包含内容简介如下： \system\app 这个里面主要存放的是常规下载的应用程序，可以看到都是以APK格式结尾的文件，在这个文件夹下的程序为系统默认的组件，自己安装的软件将不会出现在这里，而是\data\文件夹中。 \system\app\Alar
2012-03-26 10:13:17
954
转载 Framework 学习笔记
JNI：http://blog.csdn.net/droidpioneer/article/details/6787571其中的目录：internal目录：\frameworks\base\core\java\com\android\internal\osRegFNIRec gRegJNI[]数组对应的函数在：\frameworks\base\core\jnijniRegist
2012-03-26 10:12:33
456
原创 C++语法
预处理：#define#define identifier string注意：该语句没有分号。在标识符和串之间可以有任意个空格，串一旦开始，仅由一新行结束。如果串长于一行，可以在该行末尾用一反斜杠' \'续行。例如：#define REG(env, name, array) \ result = android::Android
2012-03-26 08:57:42
379
原创 编程规范
1 注释：// BEGIN my-added中间自己增加的代码// END my-added常用方法：TextUtils.isEmpty(param)TextUtils.isDigitsOnly()
2012-03-23 15:22:39
386
原创 linux 基本知识
网络：1 网络接口 (1)网络接口的命名 eth0: ethernet的简写，一般用于以太网接口。 wifi0:wifi是无线局域网，因此wifi0一般指无线网络接口。 ath0: Atheros的简写，一般指Atheros芯片所包含的无线网络接口。 lo: local的简写，一般指本地环回接口。 (2)网络接口如何工作 网络接口是用来发送和接
2012-03-23 14:48:30
487
原创 ubuntu 常用操作
解除锁屏：system-> preferences -> screensaver 取消两个复选框查看版本：cat /etc/issue打开中文输入法：system -> preference -> keyboard input method 把其拖到桌面上边的panel（黑色边框）上；点击 Input method 的图标，切换到input method 选项卡，选择c
2012-03-22 11:01:53
594
原创 ubuntu 10.10 安装selinux
在10.10下按照ubuntu 8.04 的方式：sudo apt-get install selinux会得到这样的提示：the following fackages have unmet dependencies:selinux : Conflicts: apparmor but 2.5.1-oubuntu0.10.10.4 is to be installedE:
2012-03-22 10:24:33
5127
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人