摘要： 顺序表查找基础。1、顺序查找　特点：简单粗暴，效率较低。2、二分查找　如果顺序表已经有序，那么可以采用二分查找，其平均查找长度ASL= log(n+1) -1。　特点：顺序表已经有序。　样例程序如下： 1 //二分搜索 2 int binarySearch(int a[],int key, int lenArray) 3 { 4 int low=1, mid, high; 5 high = lenArray; 6 mid = (low+high)/2; 7 while(low<=high) 8 { 9 if(a[mid]==key)1... 阅读全文

摘要： 总结数据结构中树的重要基础知识：1、二叉树　1.1 二叉树的表示形式 1.1.1 数组形式 根据二叉树的性质安排树中节点在数组中的位置，从根节点开始，对树中节点顺序编号，如1,2,3,...对一个具有n个节点的二叉树，采用数组表示时，具有下列两条性质： （前提条件：根节点的数组下标为1） 性质a：对于节点i，如果2i<=n，则其左孩子节点在数组中位置为2i；如果2i>n，则该节点无左孩子。 性质b：对于节点i，如果2i+1<=n，则其右孩子节点在数组中位置为2i+1；如果2i+1>n，则该节点无右孩子。 C语言定义: 1 #define MAXSIZE 1002 ... 阅读全文

摘要： 安装环境 操作系统：VxWorks5.5.1 for PENTIUM下载地址：http://slot-tech.ru/download/windriver/tool/windriver/ 或邮件联系我 开发平台：Tornado2.2 安装环境：vmWare Workstation 5.5.1 下载地址：https://my.vmware.com/web/vmware/details?downloadGroup=WKST-559-WIN&productId=46&rPId=130安装工具 软盘虚拟工具： RamDiskNT1.5安装手册 虚拟机安装vxWorks全攻略.pdf 微 阅读全文

摘要： The originalcomes from http://www3.ntu.edu.sg/home/assourav/crank.htmAREA: DatabasesRank 1: SIGMOD: ACM SIGMOD Conf on Management of Data PODS: ACM SIGMOD Conf on Principles of DB Systems VLDB: Very Large Data Bases ICDE: Intl Conf on Data Engineering CIKM: Intl. Conf on Information and Knowled... 阅读全文

摘要： Cisco的交换机和路由器广泛支持的一种流量捕获工具NetFlow，已经在流量分析、计费分析以及网络安全防护上被广泛应用，NetFlow格式的数据能够被很多应用软件分析，下面将所学的NetFlow知识陈列如下。 1. 什么是NetFow?1996年，Cisco系统公司的Darren Kerr和BarryBruins开发了一种流量轮廓监控技术。NetFlow是一款用于分析网络数据包信息的工具包。NetFlow技术可以监测网络上的IP flow信息，采集到的流量信息可以帮助进行网络规划，网络管理，流量计费和病毒检测等。 2. NetFlow的版本NetFlowV1：为NetFlow技术的第... 阅读全文

摘要： 在信息化的社会，人们每天涉猎大量信息，如何高效的处理信息挑战着人们的大脑。可视化技术能够从海量信息中提取数据，并将信息以交互式方式展现在人们面前，能够有效减轻人们对信息的处理过程。可视化技术用途广泛，涉及到的领域包括网络、交通实施（如地铁地图）等方面。下面介绍一种可视化工具Prefuse及其简单应用。Prefuse简介 Prefuse是一个可扩展的软件框架，用于帮助软件开发人员创建交互式的信息可视化应用。Prefuse可以用来开发单独的应用，应用中的可视化构件和Web applets。Prefuse具有下列特征：Prefuse具有支持任意数据属性、数据索引、选择查询的Table、Gra... 阅读全文

摘要： Prefuse网址:http://prefuse.org/GraphML网址：http://graphml.graphdrawing.org/ 阅读全文

摘要： FDR是CSP的验证工具，有学术版的FDR可供科研使用，解压FDR工具之后，进入bin目录中可以看到有两个可执行文件，运行./fdr2会告知FDRHOME没有指向FDR的目录。这是由于没有设置环境变量的缘故。设置环境变量有三种方式：1、直接在命令行输入：FDRHOME=/xxx/xxx/xxx/FDRdirectory ./fdr2 直接可以运行2、在用户自己的.bashrc或者profile（具体名字再查）中添加环境变量 export FDRHOME="/xxx/xxx/xxx/FDRdirectory", 然后在命令行输入 exec bash , 然后可以在命令行查看自 阅读全文

摘要： 转：http://blog.163.com/jzq_520/blog/static/11931126220123774356172/1、首先备份Ubuntu 11.10源列表sudo cp /etc/apt/sources.list /etc/apt/sources.list.backup （备份下当前的源列表，有备无患嘛）2、修改更新源sudo gedit /etc/apt/sources.list （打开Ubuntu 11.10源列表文件）3、将下面的代码粘贴进去（“#”开头的那一行为注释，可以直接复制进文件中）4、通知ubuntu启用新的更新源 sudo apt-get update#台 阅读全文

摘要： PowerTOP是Intel开发的一款在linux下运行的电能管理软件，它能够找出哪些设备或者应用程序最影响CPU，即将CPU从idle模式转入运行模式，然后从节能的角度给出建议。 PowerTOP运行于linux下，对于初次使用linux进行源码安装时，可能会出现不少问题，比如一些Package没有装，或者依赖库没有装。 1、./autogen.sh -会提示没有安装autoconf。 -运行 sudo apt-get install autoconf --会出现找不到包的提示，这是因为没有在系统中添加获得包的源。 --在你的软件源中添加源 ... 阅读全文

摘要： 阅读全文

摘要： 作者：Eric Steven Raymond 本书篇幅不长，行文晦涩，主要叙述作者领导开源项目fetchmail，作为开源社区领导者过程中的体会与经验，陈述传统商业项目开发中存在的弊病。作者讨论了两种根本上不同的开发模式：大多数商业项目使用的“大教堂”模式和Linux世界的“市集”模式。作者以Linux的成功，举例说明开源软件开发过程中的种种好处，也讨论了项目管理者应该具有的品质和管理方法。本书不仅仅是一本与软件工程中软件开发模式相关的书籍，它给我们呈现了一种与众不同的处事模式。在软件开发过程中，一个封闭的开发者所作出的产品，不论是在质量还是在创意上，往往没有众多开发者齐心合力做出的优秀... 阅读全文

摘要： 转自：http://blog.jobbole.com/5886/1. 《代码大全》史蒂夫·迈克康奈尔推荐数：1684“优秀的编程实践的百科全书，《代码大全》注重个人技术，其中所有东西加起来，就是我们本能所说的“编写整洁的代码”。这本书有50页在谈论代码布局。” —— Joel Spolsky对于新手来说，这本书中的观念有点高阶了。到你准备阅读此书时，你应该已经知道并实践过书中99%的观念。– esac2. 《程序员修炼之道》推荐数：1504对于那些已经学习过编程机制的程序员来说，这是一本卓越的书。或许他们还是在校生，但对要自己做什么，还感觉不是很安全。就像草图和架构之间的差别。虽然你 阅读全文

摘要： 浏览网页的过程中，偶然发现《像外行一样思考，像专家一样实践--科研成功之路》这本书，作者是CMU机器人研究所原所长金出武雄，于是在网上搜索之，浏览过目录之后，我决定认真读一读。 读了四十多页之后，不禁赞叹金出教授的才华，他用朴实的文字阐述学习、科研中我们遇到的而又十分迷茫的Senario，告诉我们遇到问题该如何下手，如何解决问题。我被这本书深深的吸引，一直将本书读完，感觉自己受益颇多，后悔自己为什么早几年没有读过这本书。 金出教授在书中经常提到的几个词是“简单”、“构想力”、“思考”、“深入思考”，从中我们不难看出金出教授是个勤于思考的人，从书中的轶事也可以反映金出教授善于思考的习惯，... 阅读全文

摘要： 可判定性：一个语言L，是一个集合，且其补集为 。当L是图灵机可识别时，语言L则称为半可判定。当语言L不是图灵机可识别，则为不可判定语言。当且仅当L和都是图灵机可识别的时候，L才能称为可判定语言。数理逻辑中的一个重要问题。它表现为寻求一种能行的方法、一种机械的程序或者算法，从而能够对某类问题中的任何一个在有穷步骤内确定是否具有某一特定的性质。例如，命题逻辑的任一公式是不是常真这个问题，就可以在有穷步内按照一定的程序用真值表判定。如果对某类问题已经获得这种能行的方法，就说明这类问题是可判定的，或者说其判定问题是可解的；如能够证明某类问题不可能存在这样的方法，就说这类问题不是能行可判定的。判定问题有 阅读全文

摘要： 转自：http://shubangjun.blog.163.com/blog/static/1573486220105168636610/linux目录架构/ 根目录/bin 常用的命令 binary file 的目錄/boot 存放系统启动时必须读取的档案，包括核心 (kernel) 在内/boot/gr /menu.lst GR 设置/boot/vmlinuz 内核/boot/initrd 核心解壓縮所需 RAM Disk/dev 系统周边设备 /etc 系统相关设定文件/etc/DIR_COLORS 设定颜色/etc/HOSTNAME 设定用户的节点名/etc/NETWORKING 只有 阅读全文

摘要： 前段时间投中一篇开了十几届的国际会议，虽然论文被accept了，但是提交的初稿质量一般，论文格式不规范，导致评审人没有细看论文或者根本没有通读论文，两个reviewer给的分数也不高，给的comments主要在论文格式上。下面，我把本次论文格式上存在的问题，以及看过的论文写作技巧书中提到的建议记录如下，以为往后论文写作做铺垫。 首先，本篇论文总体来说质量不高，是熟悉相关技术之后，花两个星期写成的，虽然写成论文花的时间不多，但是修改花了不少时间，很有感触的一点就是，如果要写文章，一定要想好写什么，然后搜集相关领域的所有文章，了解别人都做了什么，对那些质量较好的文章最好通读，然后找到要写的... 阅读全文

摘要： Statement-The material is transfered from:http://www.computer.org/portal/web/cscps/submission#pagesThe following information is provided to help you in the preparation and submission of your final paper as it will be published in your conference publication. Following all of these guidelines will in 阅读全文

摘要： 声明：本文转自http://www.cnblogs.com/corecible/archive/2010/06/10/1755912.htmlIEEE PDF eXpress是一个IEEE赞助的在线工具，免费帮助作者验证和生成符合IEEE规范的PDF文件。IEEE PDF eXpress可以将多种格式的论文转化成同IEEE Xplore兼容的PDF格式的文件；检查作者的PDF格式文章是否和IEEE Xplore兼容，并提供文件检查报告给作者，以帮助作者解决问题。 一、使用IEEE PDF eXpress的详细方法 1. 输入网址http://www.pdf-express.org/，访问IEE 阅读全文

摘要： （该资料转自网上）第一部分 求职信 （Cover letter） 在今天，绝大部分雇主指出，他们是从来不会看没有求职信（Cover letter）的个人简历的。因此，求职信是必要的。但求职信不是对个人简历的简单复述，而是礼貌而鲜明的突出自己的目标和要求，促使阅读者有兴趣阅读你的个人简历和推荐信。求职信的目的和好处在于： 1， 可保证个人简历到达正确的阅读人的桌面。如果招聘广告上没有收信人的姓名，我推荐打电话询问将会处理求职申请的人的姓名（这显示你的诚意以及专业精神，给雇主深刻印象）。假如不能的话按照以下原则：小型企业—经理（Managing director），中型企业—部门负责人（Hea.. 阅读全文

摘要： 优秀的数学学术资源大全1. http://www.sciencemag.org/ 《科学》杂志2. http://adswww.harvard.edu/ The NASA Astrophysics Data System -- 世界最大免费全文网站，超过300,000篇全文. 主要学科：天体物理学3. http://arXiv.org 美国洛斯阿拉莫斯核物理实验室的论文预印本服务器，全世界物理学研究者最重要的交 流 工具，覆盖几乎全部的物理学，大部分计算机科学和一部分数学。4. http://mathnet.preprints.org/ 数学论文预印本服务器搜索系统，可以查阅大部分数学分支的预 阅读全文

摘要： 国内网站1. 中国学术会议网 http://conf.cnki.net/index.aspx2. 国际会议发布系统 http://www.ourglocal.com3. 科学报道沙龙 http://www.sciencereporting.cn/Default.aspx?tp=A00014. 华中科技大学upcoming conference http://grid.hust.edu.cn:8080/call/cfp.jsp5. 中国学术会议在线 http://www.meeting.edu.cn/6. 中科院主页上也有 http://www.cas.ac.cn/index/0V/11/ind 阅读全文

摘要： 最近看的论文和书中基本上都提到了Hybrid Systems，也没有查混成系统的严格定义，个人认为混成系统与其它系统之间的主要区别在于它由许多方面组成，比如计算、通信、控制、连续动态和离散的行为。混成系统是一个复杂的系统，对其建模的方法主要由两种构成：混成状态机和微分方程。混成状态机用于描述系统模式之间的转换，微分方程用于描述系统连续的动态(continuous dynamics,即指系统连续动态的行为，比如汽车驾驶中的刹车和加速)。混成系统应用于许多scenario中，如AHS(自动公路系统)、高速列车控制系统、医疗系统、Google的无人驾驶汽车、半自动汽车等。AHS于1989年由美国提. 阅读全文

摘要： 形式化方法是基于严密的、数学上的形式机制的计算机系统研究方法。形式化方法(FM-Formal Method)知识体系中的6个知识领域为:① 基础(Foundations);② 形式化规格(Formal specification paradigms);③ 正确性验证及演算(Correctness, verification and calculation);④ 形式化语义(Formal semantics);⑤ 可执行规格支持(Support for executable specification);⑥ 其他(Other Topics)。6个知识领域包括15个知识子领域或者知识单元:FM01 阅读全文

摘要： 用Visio画图遇到了这个问题：有时在VISIO里面画好的框图是虚线框，复制到word里面就显示为实线框，在word里双击图片进入VISIO编辑状态又变回虚线。问题好像是，在VISIO里只要虚线框的大小超过一个界限，拷贝之后就会变成实线框。 解决办法是修改注册表：【运行regedit】->【HKEY_CURRENT_USER】 ->【Software】->【Microsoft】->【Office】->【11.0】(office2007是 12.0)->【VISIO】->【Application】，选择【新建】->【Dword值】，名称为 Meta 阅读全文