- 博客(21)
- 资源 (5)
- 收藏
- 关注
原创 网络配置
VPNL2TP连接在公司内网环境下总是掉线1.如果是无线网络建立的VPN连接建议换成网线连接最初本人在win7下,基于无线连接VPN连接总是掉线,同事的VPN在Apple下却很稳定,经过各种折腾后,临时想起换成网线,发现很稳定,根本原因不详2.不断开VPN的情况下无障碍访问公司内网一般VPN都会带有一个添加路由规则的脚本,只需增加3条内网网段的路由规则就可以访问内网了,如下:
2015-01-06 13:17:01 589
原创 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 1408
原创 Viewpager
//mMainPager.removeAllViews();想达到的效果是mMainPager.setAdapter(null);mAdapter.initContentViews();mMainPager.setAdapter(mAdapter);
2014-06-12 16:47:02 676
原创 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 1099
原创 用自定义keystore调试微信分享app
1、申请App_ID2、填写应用签名3、生产自己的key4、用自己创建的key Debug微信分享App
2014-03-06 20:34:33 10456
转载 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 544
原创 event-b 语法基础
B context包括sets 集合 抽象类型constants 常量 逻辑变量,值是常量axioms 公理 限制常量,是一个逻辑谓词B machine包括variables 状态变量,值可变invariants 不变式 变量的约束式,约束式总为真,不变式是逻辑谓词initialisation 初始值 抽象变量的初始值events 事件 受监视的动作,动
2012-05-25 12:08:25 2343 1
翻译 event-B
第一章介绍在过去的30年,软件开发的许多领域引入并采用了形式化方法。近年来,软件工业使用VDM,Z,ASM,B和Event-B.然而这个领域的研究还在继续;尝试改进这些方法或获得益处。连接需求,详细说明和实现的工作还在继续。1.1 背景和动机面临Hoare 和Misra在【72】中提出的验证软件挑战,我们陈述了理论,工具和实验是形式化验证方向的三个主要挑战性研究方面。现在,许多先进
2012-05-22 20:07:19 4800
原创 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 1115
转载 java 知识总结
Java进程: JVM进程被启动,在同一个JVM进程中,有且只有一个进程,就是它自己。然后在这个JVM环境中,所有程序的运行都是以线程来运行。JVM最先会产生一个主线程,由它来运行指定程序的入口点。在这个程序中,就是主线程从main方法开始运行。当main方法结束后,主线程运行完成。JVM进程也随之退出。 我们看到的是一个主线程在运行main方法,这样的只有一个线程执行程序逻辑的流程我们
2012-04-10 13:33:33 686
转载 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 1923
转载 android 源码文件结构
1 \out\out\target\product\generic\下有个system目录,其包含内容简介如下: \system\app 这个里面主要存放的是常规下载的应用程序,可以看到都是以APK格式结尾的文件,在这个文件夹下的程序为系统默认的组件,自己安装的软件将不会出现在这里,而是\data\文件夹中。 \system\app\Alar
2012-03-26 10:13:17 973
转载 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 472
原创 C++语法
预处理:#define#define identifier string注意:该语句没有分号。在标识符和串之间可以有任意个空格,串一旦开始,仅由一新行结束。如果串长于一行,可以在该行末尾用一反斜杠' \'续行。例如:#define REG(env, name, array) \ result = android::Android
2012-03-26 08:57:42 402
原创 编程规范
1 注释:// BEGIN my-added中间自己增加的代码// END my-added常用方法:TextUtils.isEmpty(param)TextUtils.isDigitsOnly()
2012-03-23 15:22:39 397
原创 linux 基本知识
网络:1 网络接口 (1)网络接口的命名 eth0: ethernet的简写,一般用于以太网接口。 wifi0:wifi是无线局域网,因此wifi0一般指无线网络接口。 ath0: Atheros的简写,一般指Atheros芯片所包含的无线网络接口。 lo: local的简写,一般指本地环回接口。 (2)网络接口如何工作 网络接口是用来发送和接
2012-03-23 14:48:30 499
原创 ubuntu 常用操作
解除锁屏:system-> preferences -> screensaver 取消两个复选框查看版本:cat /etc/issue打开中文输入法:system -> preference -> keyboard input method 把其拖到桌面上边的panel(黑色边框)上;点击 Input method 的图标,切换到input method 选项卡,选择c
2012-03-22 11:01:53 608
原创 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 5163
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人