- 博客(234)
- 资源 (7)
- 收藏
- 关注
RSS订阅原创 E430安装ubuntu12.04
关键词：EFI，grub rescue，broadcom无线网卡联想E430的硬盘接口是EFI的（当然也可以配成IDE的），安装时必须有一个100MB以上的FAT32分区挂载到/boot/efi路径下，否则进入引导菜单项后就走不下了。调整、恢复分区之类操作，都会影响GRUB2引导器。这时候，GRUB安装在MBR上的部分就会找不到原来的/boot/grub下的其它部分，屏幕上就是grub rescu
2013-04-26 22:30:08
1878
原创 rtems 4.11 ubuntu 12.04
#!/bin/bashARCH=$(uname -i)BRANCH=4.11sudo -scat >/etc/apt/sources.list.d/rtems-ftp.list deb http://www.rtems.org/ftp/pub/rtems/linux/$BRANCH/ubuntu/ natty rtems$BRANCHdeb-src http
2012-08-09 02:16:39
3329
2
原创 无丢失向ipad导入音乐
打开iTunes，在ipad首页上下半区，选中 手动管理音乐和视频；然后，直接将音乐拖入ipad页面，即可。ipad原有音乐无丢失！
2011-07-15 00:16:23
1245
原创 windows7硬盘安装
现有打了无数补丁的windowsXP一台，windows7原版安装DVD镜像一枚，U盘一个1、将安装镜像解压到D：盘根目录（非常重要！根目录）2、提取bootmgr、boot以及sources部分（只含boot.wim）到C：盘3、运行命令C:/boot/boosect.exe /nt60 C:（可能提示C盘正在使用而无法可靠的更新MBR，忽略之）4、重新启动后自动进入安装界面（若要回到xp，再次执行命令，参数用/nt52），运行修复模式，选择命令行，运行命令D:/setup.exe说明：若不是解压到根目录
2011-04-04 21:16:00
1348
原创 又一次误入嵌入式的深渊
<br />这次是要搭一个CAN、RS422的通讯平台，包括硬件环境和上层协议的控制逻辑。<br /> <br />好久不做这种纯技术的工作了，我走了不少弯路，又一次误入嵌入式的深渊……很惭愧。<br /> <br />硬件方面，买的是ZLG的板子，我没想太多以为走程序就可以了，可是，国企，唉，最后还是自己做的线缆，这里耽误了一天的功夫……<br />还好，简单的活还是会的，用万用表测引脚、接点的对应关系，飞线，不过焊线功夫很撮，我还是老毛病想着只熔一点，其实熔一长截再把线对上就方便多了嘛！焊好后又测了一遍
2011-02-21 01:03:00
6209
11
原创 C++/C语言探底巩固
函数前使用extern没有意义；extern用在变量前表示变量是一个外部链接符号。（函数天然是一个外部链接符号）——与此相关的，指定函数的调用风格（__cdecl, __stdcall, __fastcall）等，或者生成动态连接库时（__declspec(dllimport)、__declspec(dllexport)），或者指定编译语言类型时（C, C++）时，都只需要在 声明体（.h文件
2011-02-04 00:37:00
2170
3
原创 IE on mac os x(snow leopard)
<br />要用网银，不得不用IE，话说基于wine的IE方案已经转手到了这里，直接安装IE6是不行的，必须先安装IE8，然后是IE7，这样倒过来的顺序反而能够成功，大概是因为开发者专注于调试IE8的安装脚本winetricks.sh，没有测试老IE的……<br />
2011-01-17 02:11:00
1654
原创 port systemc to mac os x
<br />很遗憾，systemc官方提供的SDK并不能直接在 mac os x 下用 gcc编译链接。<br />需要做如下 修改 ：<br />1、为configure添加编译环境支持，简单的说，就是修改config/config.sub，加入i686-apple-darwin10编译环境。不同操作系统版本下，这个字串从/usr/bin/*-*-*-gcc-*中可以看出；关键语句如下：<br /> <br /> <br />maybe_os=`echo $1 | sed 's/^/(.*/)-/([^-
2010-12-25 23:19:00
1554
原创 ipad 4.2 开发环境
大部分内容在 bbs.weiphone.com 上能够找到。1、破解 ipad2、安装snow leopard 10.6.3 （iATKOS_S3.iso）；3、修改/System/Library/CoreServices/SystemVersion.plist中的ProductVersion字段，将 10.6.3修改为 10.6.4；4、安装Apple官方最新的xcode_3.2.5_and_ios_sdk_4.2_final.dmg（要求至少 操作系统10.6.3以上 ）；5、在keychain Acc
2010-12-24 22:23:00
1395
原创 XP远程桌面
参见：http://www.cnblogs.com/flyfish/archive/2006/08/17/479676.html1、开启Terminal Services服务为Automatic；2、电脑右键属性，remote里面开启远程协助：连入，并添加一个带密码的用户（当前用户已经自动添加）3、检查防火墙，是否开通了远程协助端口例外（连入：3389）要使用多用户模式的话——4、开启快速用户切换服务，自动5、关闭Terminal Service服务，用SP2测试版（Build 2055）的TermSrv.
2010-12-10 23:30:00
1055
原创 看MIT的线性代数
长假期间，开始学组合图论，于是顺便把线性代数温习下，先是在verycd上看到有Gilbert Strang的课程，然后搞来iTunes开始看，发现国外的老师讲课就是不一样——能够把我们认为一些“简单套公式”就能摆平的东西当作一个研究性课题讲上一大节课！小题大做了！但是，做过研究生的都知道，那些所谓的牛B人物，那些经典的论文，哪一个不是用类似的方式论述出来的？这样一个课堂上的问题的论述讲解，跟论文、演讲里的有什么不同？！学习和研究，本来就是一回事。如果你非要走捷径，最终还是要还的，在后续研究阶段要花上成倍的时
2010-10-08 02:44:00
4889
原创 停机问题、哥德尔定理
<br />今天读《哥德尔、艾舍尔、巴赫——GEB 集异璧之大成》，看到“自指”的论述，突然想起以前学自动机理论时的“停机问题”。该问题上课前看书就看明白了，考试完了又忘了，后来又想起来看过一次，现在又忘了——可见，我是不懂装懂。<br /> <br />我之前其实没搞明白：怎么这么一个程序H2，当作 输入P给另一个H2后，它的存在性还受到另一个它的影响？？每个H2不是可以有自己的输入么？这个递归、这个循环是如何实现的？？<br /> <br />所谓自指，那么，关于它的陈述是全称量化的。也就是说，如果定义
2010-10-03 23:42:00
2176
原创 关于jar
<br />eclipse下，所有问题都好解决——但是，解决问题最终是为了离开eclipse独立运行！比如，打成jar包，打成exe包……但不管是eclipse的export还是ant的target jar，都不够智能……<br /> 门路1：手写MANIFEST.MF<br />如下：Manifest-Version: 1.0<br />Main-Class: com.bulletphysics.demos.basic.BasicDemo<br />Class-Path: ../lib/vecmath/v
2010-10-03 23:33:00
1277
原创 VizA项目继续推进
<br />VizA项目继续推进：<br />1、重构了PDEVisualization的代码 ，将界面与算法分离出来，使用新的设计模式重新组织；<br />2、在新的架构下，将插件依赖关系扩展为函数调用关系、头文件包含关系；<br />3、使用OpenElement作为函数调用图的入口（操作起点）；<br />4、为操作序列的“前进“、“后退”（撤销/重做） 设计了新的实现代码；<br />5、修正了AllPath策略的路径视图的实现代码中的错误；<br />5、使用swt提供的Drag and Drop
2010-09-29 22:52:00
897
原创 函数调用图插件
Result就地利用org.eclipse.ptp.pldt.sampleCDTstaticAnalysis/samples下的一些c文件测试生成的call graph效果 Thread:pserver:[email protected]:/cvsroot/tools/org.eclipse.ptp/tools/org.eclipse.ptp.pldt.sampleCDTstaticAnalysisDetailsMANIFEST.MF：中添加GEF（包括draw2d、gef、zest.cor
2010-08-20 19:39:00
2599
原创 开源软件工程师的风格
1、知道这世上还有一个职业：学者。因此，要多看书，多学习理论，才能事半功倍，不至于做井底之蛙；2、最鲜明的特点：抓重点。对于一个新项目，首先考虑能否学到一些关键性技术；对于一个未知的问题，首先考虑最关键的部分是否可行；3、总是循序渐进，从最粗糙的模型开始，有信心、有计划的进行迭代开发；4、允许犯错误，允许头脑简单的人进来，改正了就好；
2010-07-29 17:20:00
988
原创 Mac OS GetHostUUIDString问题
<br />在终端下运行Java时才发现报这个错：GetHostUUIDString: unable to determine UUID for host. Error: 35<br /> <br />其实比较简单，在/Library/Preferences/SystemConfiguration and edit NetworkInterfaces.plist的 array段里添加802.11段即可： <br /> <br />关键内容： <dict> <key>BSD Name</k
2010-07-05 23:50:00
1356
原创 关键技术4：从CVI中导出dll供外部使用
NI的LabWindows/CVI 开发环境已经升级到2009版，不仅可以使用Windows下 Borland C++、Visual C++编译的dll，而且可以直接用这些外部编译器替代CVI本身的编译器来编译原来的代码资源！相比原来LabWindows/CVI 5.5 ，2009版在多编译器环境下协同开发的阻力大大减少，提供了诸多便利，由此组合出多编译环境的协同开发方法至少由9种。这里，考
2010-02-20 16:23:00
5918
4
原创 调试胜于逆向分析
debug, instead of reverse-engineering 转入CDT阶段了 还是一步一步来吧！ 从CDT入手，柳暗花明，找到了codan这个极好的切入点——这是CDT尚未发布的插件包，在dev.eclipse.org的CVS上可以找到。 BTW：找CVS就找了半天，实在是相当粗心啊！还去找什么release engineering，太复杂，直
2010-02-01 01:24:00
1818
原创 Cygwin+ Tcl 笔记
====================================Cygwin下tcl脚本(应用程序)的配置方法====================================1. wish启动后，可识别的PATH是cygwin下的/usr，因此必须将/usr/local/bin/下的可执行文件链接到/bin/下2. tcl脚本通常的头部如下： #!/bin
2010-01-14 22:06:00
3470
3
原创 Windows 7 小工具
从XP升级到windows 7后，任务托盘的那个会一闪一闪的网络图标就没了，变成一个一动不动的傻图标⥀。这显然有很多缺点。后来搜到这个（关键字：windows 7 network tray icon）Get Back Windows XP Network Connection Tray Icon in Windows 7 ，才找到幸福的生活➶。这个小工具名叫：Network
2009-12-12 15:05:00
1146
原创 电子书PDF裁减、合并工具及脚本
一本巨头书，竟然买不到，电子版还是扫描的双页版！无奈，只能依靠脚本了——方法一：Acrobat手工裁减+打印+单页提取+pdftk一次合并（大内存）方法二：Acrobat手工裁减+打印+单页提取+pdftk逐步合并（小内存）方法三：Acrobat手工裁减+打印+pdftk一次提取+合并（小内存、较快）方法四：pdftk单页提取+ImageMagi
2009-12-07 22:59:00
5861
2
原创 自己动手写编译器
这里不再仅仅是简单的记录一下……直接上手环境目标1：在elicpse平台上使用ant构建ANTLR目标2：在elicpse平台上使用antlride编写ANTLR语法编写实用的 C解析器背景调查到底还需不需要自己动手写一个编译器这就是“工具哲学”所谓bootstrap的编译器构造方式。C的核心子集
2009-12-03 00:56:00
14218
7
原创 ANTLR 开发技术
暂且简单的记录一下：环境：antlr-for-eclipse，即antlride-2.0-rc4版，在eclipse-modeling软件包中使用还需要dltk包支持ANTLR v3版，包括一个jar文件（包含runtiime和sdk和gunit，而在2.1。7版时，还是分开的4个jar文件）、一个antlr3.jar的ANT任务库文件（也是来自antlr的主页）eclip
2009-12-02 00:53:00
2217
2
原创 我已经不想写算法了
终于可以在办公室写程序了但是回来却比以前累了又到一年招聘时，博客上好多“面经”，宛如昨日。缺少大型项目经验，缺乏代码实践，课程学习不扎实，不熟练，都可能导致在面试中被刷掉。当然，这里的逻辑是，第一等的学习成绩还是必杀的。又一次涌起学算法的冲动。大量的现有开源项目阅读、学习、二次开发，项目的设计思路的反复修改、边设计边测试边试验，在众多不确定因素做设计选择，在许多的知识盲点中边学边用，最终形成一种代
2009-11-24 00:01:00
1263
2
原创 nokia 上的好玩应用
跟摄像头有关的应用其中比较让人心动的是multiscanner的OCR功能，S60上的开源软件搜到的有这些跟摄像头有关的应用转自：http://www.symbian-freeware.com/tag-camera.html» SmartCam v 1.4• Summary: Smart Phone WebCamera - Turns a Symbian Series 60 phone w
2009-11-23 00:38:00
1980
原创 软件专利申请
目录国家知识产权局的的针对性的政策、解释、通知、公告官方网址法定费用优惠政策申请的基本流程、工具、准备材料、联系方式官方指南相关表格准备材料非正式法律解释、及实践指南涉及计算机程序的发明专利申请的解读专利法上的抽象思想与具体技术 ——计算机程序算法的客体属性分析我国针对计算机软件的专利发明审查应当做出的三点修改手把手教你写专利申请书·如何申请专利IT公司、单位、大学的申请案例、检索情况联想软件事业
2009-11-15 01:47:00
15993
原创 开源协议的比较
转载自：五种开源协议的比较(BSD,Apache,GPL,LGPL,MIT) - 整理当Adobe、Microsoft、Sun等一系列巨头开始表现出对”开源”的青睐时，”开源”的时代即将到来！最初来自：sinoprise.com/read.php?tid-662-page-e-fpage-1.html（遗憾的是这个链接已经打不开了），我基本未改动，只是进行了一些
2009-11-14 16:53:00
942
原创 nokia 5800
5800买回来后就一直当“电话”和“地图”使，实在是一种浪费于是乎，开始google——我可以在5800上面安装另一个操作系统？nokia官方论坛上8月份的一场讨论 提醒了我：不要幻想5800某一天会变成macbook安装在N900 上的Maemo虽然更适合触摸屏的nokia，但是并不意味着你可以在5800上面安装
2009-11-10 20:01:00
1090
原创 PNK学习笔记
令我郁闷的是，PNML Framework几乎是一套静态的库——这个其实可以从它的架构设计思想上就可以看出来：它的接口就是以一个假想的Petri Net ToolA为使用环境设计的，它在主页上说的必须实现的feature就包括import、load、export等，完全是针对某个PetriNet工具的一个转换器角色。在对源代码的暴力阅读（RTFC）和暴力逆向（eUML2）时
2009-11-08 21:27:00
1332
1
原创 ubuntu的brainstorm
这里有一些关于ubuntu很有意思的创意：brainstorm ubunu，比如在右键添加打印、挂载、命令行等，原来大家的想法都是一样的
2009-10-31 12:06:00
676
原创 PNML学习笔记
http://blog.csdn.net/[userid]/services/MetaBlogApi.aspxPNML简介：用于实现Petri Net工具的互操作性的Petri Net描述语言先从法国的LIP6实验室开始，标准制定方面的牵头人，请先访问它的PNML标准化主页，然后是PNML Framework。关于PNML的标准化进程，当前通过的有ISO/I
2009-10-31 00:09:00
10616
4
原创 ubuntu 9.10 beta 试用
简单几句 带移动硬盘启动，使用DVD版sudo umount -l /isodeviceMBR安装到(hd0) 配置参照 ubuntuskill使用fcitx而不是ibus使用lupaworld源而不是cn99 把终端加到右键菜单 sudo apt-get install nautilus-open-terminal right
2009-10-30 12:36:00
735
原创 嵌入式C
嵌入式软件分析验证工具系列之—— C，在嵌入式软件领域具有相当的代表性——即使是采用汇编，也都能在C中找到相对应的实现方式，不同的只是细微的效率差别；况且，嵌入式C编译器一般都支持inline assembly，可以在C中直接使用汇编语句。 作为构造嵌入式系统的C语言，利用C的灵活性，扩展出许多不同于ANSI C的特性，这使得开发一个嵌入式C的模型检验器1变得困难。在研究嵌入式软件的模型检验器
2009-10-19 00:15:00
1016
原创 静态分析验证工具
续上 考虑到字面上的近似，几个名词提前说明，当然，这仍然是我个人的看法： 时序逻辑temporal logic：是一种逻辑属性，而不是一种时间属性，是有关真假的定性描述，而不是有关长度的定量描述。 时间性timeliness：有关时间的属性，不仅是先后顺序，而且有间隔长度，甚至是绝对时间坐标要求。 通常讲时序，如讲功能和时序，尤其是在电子电路中，含义是“时间轴上的序列”，是广义的，因此是t
2009-10-10 21:09:00
1222
原创 静态测试
这几天又重新翻了几篇论文，目的是为了再扫描一遍这个领域，以不断的片面印象来追求一个全面的印象，甚至是深入的印象，基本的动机是对现有的这方面工具了解更多一些。 static testing，或者说static analysis、static verification的重要性得到了理论界和工业界的充分广泛的支持，工具的种类、功能超出了我事先的想象，以至于Matlab本身就有这方面的扩展：PolySp
2009-10-10 01:08:00
1827
SQLPlus用户指南和参考
2010-06-04
μCOS-Ⅱ中文资料
2010-04-06
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人