freezing point·J

分组关联的Cache－存储器映象的替换算法//组中检查位use[i]为 0 的 那块将被用来替换（如果需要的话）// 检查位use[i]的修改在Cache中该块 k 被引用时 visit(k) 发生//-----------int m;  //组中有多少块int k;  //组中哪一块被引用 int use[m];//将检查位初始化为一个默认的替换优先级序列for(int i=0;

满打满算看LumaQQ的源代码有一个星期了。我以为还是本科时看那些代码，开开个IDE就开始分析程序结构，外加调试跟踪几遍就差不多能够摸清——实践证明我错了，我费了很长时间才搞清里面的静态关系，也就是类、接口之间的继承关系，然后跟踪出一般的执行流程。其中使用到Java 1.5中的新特性：并发线程包，可以把一般通信协议中用到的超时重发机制做得很简单，简单到就像硬件watchdog一样，只需要两个操作：

对学生朋友的一点建议2007年6月1日 上午 11:09:00uT("time1223076947729616429");发表者：Google（谷歌）中国工程研究院 工程师 方坤自去年春天加入谷歌，我曾多次随公司校园招聘团队一起走访各地院校，帮助公司发掘人才。利用这样的出差机会到处走走看看，饱览祖国大好河山，是我一点小小的私心。但更具挑战性、更激动人心的，还是和我未来的同事

"站在巨人的肩膀上" - Google 杰出工程师谈学术搜索2006年2月22日 上午 08:25:00uT("time114053853247883322");发表者: 吴丹丹, Google 黑板报小组前不久，Google 为中国用户推出了中文学术搜索（Google Scholar）。以下就是主导开发学术搜索的 Google “杰出工程师” (Distinguished

[算法日志 ]Introduction to the design and analysis of algorithms, by Anany Levitin, Villanova Univ., 2003A new road map of algorithm design techniques:picking up where the traditional classification l

看了12期的讲解，赶紧回来把代码写出来：// huiwen.cpp : Defines the entry point for the console application.//#include "stdafx.h"void swap (char * const s, int i, int j)...{    char temp;    temp = s[i];    s[i] = s[

wikipedia上有当前各种文献管理软件（服务）的比较，有兴趣的朋友可以以此作为自己选择的依据。 总结一下，网络化的文献管理服务提供的功能远不及单机版文献管理软件的功能多；开源的软件远不及私有软件的功能全面和细致；具体来说，JabRef是开源的，而且能够提取PDF中的XMF信息，相当震撼，也能够直接连上文献数据库IEEE、ACM等直接检索、下载论文，但是检索界面相当粗糙；而且

续上 考虑到字面上的近似，几个名词提前说明，当然，这仍然是我个人的看法： 时序逻辑temporal logic：是一种逻辑属性，而不是一种时间属性，是有关真假的定性描述，而不是有关长度的定量描述。 时间性timeliness：有关时间的属性，不仅是先后顺序，而且有间隔长度，甚至是绝对时间坐标要求。 通常讲时序，如讲功能和时序，尤其是在电子电路中，含义是“时间轴上的序列”，是广义的，因此是t

这几天又重新翻了几篇论文，目的是为了再扫描一遍这个领域，以不断的片面印象来追求一个全面的印象，甚至是深入的印象，基本的动机是对现有的这方面工具了解更多一些。 static testing，或者说static analysis、static verification的重要性得到了理论界和工业界的充分广泛的支持，工具的种类、功能超出了我事先的想象，以至于Matlab本身就有这方面的扩展：PolySp

http://blog.youkuaiyun.com/[userid]/services/MetaBlogApi.aspxPNML简介：用于实现Petri Net工具的互操作性的Petri Net描述语言先从法国的LIP6实验室开始，标准制定方面的牵头人，请先访问它的PNML标准化主页，然后是PNML Framework。关于PNML的标准化进程，当前通过的有ISO/I

令我郁闷的是，PNML Framework几乎是一套静态的库——这个其实可以从它的架构设计思想上就可以看出来：它的接口就是以一个假想的Petri Net ToolA为使用环境设计的，它在主页上说的必须实现的feature就包括import、load、export等，完全是针对某个PetriNet工具的一个转换器角色。在对源代码的暴力阅读（RTFC）和暴力逆向（eUML2）时

<br />今天读《哥德尔、艾舍尔、巴赫——GEB 集异璧之大成》，看到“自指”的论述，突然想起以前学自动机理论时的“停机问题”。该问题上课前看书就看明白了，考试完了又忘了，后来又想起来看过一次，现在又忘了——可见，我是不懂装懂。<br /> <br />我之前其实没搞明白：怎么这么一个程序H2，当作 输入P给另一个H2后，它的存在性还受到另一个它的影响？？每个H2不是可以有自己的输入么？这个递归、这个循环是如何实现的？？<br /> <br />所谓自指，那么，关于它的陈述是全称量化的。也就是说，如果定义

长假期间，开始学组合图论，于是顺便把线性代数温习下，先是在verycd上看到有Gilbert Strang的课程，然后搞来iTunes开始看，发现国外的老师讲课就是不一样——能够把我们认为一些“简单套公式”就能摆平的东西当作一个研究性课题讲上一大节课！小题大做了！但是，做过研究生的都知道，那些所谓的牛B人物，那些经典的论文，哪一个不是用类似的方式论述出来的？这样一个课堂上的问题的论述讲解，跟论文、演讲里的有什么不同？！学习和研究，本来就是一回事。如果你非要走捷径，最终还是要还的，在后续研究阶段要花上成倍的时

大部分内容在 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

<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/^/(.*/)-/([^-

<br />这次是要搭一个CAN、RS422的通讯平台，包括硬件环境和上层协议的控制逻辑。<br /> <br />好久不做这种纯技术的工作了，我走了不少弯路，又一次误入嵌入式的深渊……很惭愧。<br /> <br />硬件方面，买的是ZLG的板子，我没想太多以为走程序就可以了，可是，国企，唉，最后还是自己做的线缆，这里耽误了一天的功夫……<br />还好，简单的活还是会的，用万用表测引脚、接点的对应关系，飞线，不过焊线功夫很撮，我还是老毛病想着只熔一点，其实熔一长截再把线对上就方便多了嘛！焊好后又测了一遍

http://www.newsmth.net/pc/pccon.php?id=10001420&nid=269381&s=all组合数学中的全排列深成算法历来是组合数学考试的重要考察点，因此在这里我简单的介绍一下6种全排列生成算法的详细过程，并借此比较它们之间的优劣之处。  不论是哪种全排列生成算法，都遵循着“原排列”→“原中介数”→“新中介数”→“新排列”的过程。其中中介数依据算法的

Process  Synchronization---critical section problem(solution for 2 processes)临界区访问控制机制直观上要满足下面2个要求：1、互斥，即如果Pi在临界区内执行时，该机制要保证同时没有另一个Pj在临界区内执行；2、让进，即当临界区中没有进程在执行时，如果有进程希望进入临界区，那么该机制要提起决议选择一个准予进入临界区。

Producer - Consumer Problem--(about process cooperation) data description:buffer[ ]   生产者和消费者的共享缓冲队列；BUF_SIZE  缓冲队列的全部可用长度；in           生产者的下一个产品的铺位；（要求为空）out        消费者的下一次消费的铺位；（要求非空）

发信人: lzs (bull), 信区: CSE标  题: Edsger Dijkstra经典言论    myan（原作）(转载)发信站: 未来花园 (2002年08月12日16:21:36 星期一), 站内信件【 以下文字转载自 VC 讨论区 】【 原文由 lzs 所发表 】1. 编程的艺术就是处理复杂性的艺术。2. 优秀的程序员很清楚自己的能力是有限的，所以他对

今晚想学习Scheme。总算把Udi Manber 大师的《Introduction to Algorithms: A Creative Approach》的数学归纳法看完了，说来丢脸……，加起来看5个小时※如果归纳法在组合算法中真有如此神奇的话，那么Scheme所代表的函数式语言，把程序定义为都是一群只需要通过Evaluator就可以得到结果的list，那么算法就真的简单了。可惜，所谓递归不

我们似乎陷入僵局了。我先从最初的计划来一遍：这个系统是用来减少动物尤其是珍稀野生动物穿越公路时与过往车辆相撞事故的，是保护珍稀野生动物的一个方案；这个系统一个典型的监控-信息处理-发布的控制模型，信息的处理和控制必须是系统核心功能环节，并且以****为处理单元，这是符合要求的。这个系统的信息采集是应当比较单一化的，采集节点不能做得很复杂，要求体积小，功耗低，可靠性高，适合野外自然环境下、长期无

老师交下任务：5天内想出10个有关环境的嵌入式系统应用构想，用于提交第一步的大赛要求的报告。老师的意思是，主要是我们要敢想，实现上的技术问题不用担心，实验室做得了。系统也不需要太大，有个原型即可，到时候再对各个方案进行筛选。这是个异想天开的美差，可是我们大学生的创造力，唉。在网上搜索“嵌入式”，一无所获。今天上午在冰冷的图书馆的中文期刊阅览室翻了一些系统应用和环保方面的杂志，下午在科技书阅览室

算法常用术语英中对照Approximate String Matching 模糊匹配 Arbitrary Precision Arithmetic 高精度计算 Bandwidth Reduction 带宽压缩 Bin Packing 装箱问题 Calendrical Calculations 日期 Clique 最大团 Combinatorial Problem

数据结构术语英中对照表abstract data type 抽象数据类型activity on edge AOE网activity on vertex AOV网adjacency list 邻接表adjacency matrix 邻接矩阵adjacency multilist 邻接多重表adjacent edge 相邻边adjacent vertex 相邻顶

软件开发技术常用术语英中对照 A.I.    人工智能A2A integration  A2A整合        abstract   抽象的         abstract base class (ABC)抽象基类abstract class 抽象类abstraction 抽象、抽象物、抽象性access 存取、访问access function  访问

AI Working Paper 316 1988年10月如何做研究？作者：MIT人工智能实验室全体研究生编辑：David Chapman版本：1.3时间：1988年9月译者：柳泉波 北京师范大学信息学院2000级博士生摘要 本文的主旨是解释如何做研究。我们提供的这些建议，对做研究本身（阅读、写作和程序设计），理解研究过程以及开始热爱研究（方法论、选题、选导师和情感因素），都是极具

原文来自：http://bbs.nuc.edu.cn/pc/pccon.php?id=49&nid=2107&order=&tid=149硕士研究生学习的动机一个朋友曾问我这样一个问题，他已经被保送研究生了，但是在选择方向的时候他的学长向他建议选择一个将来好找工作的简单的研究方向，否则其他的方向就只能够留校做老师了。我对这个问题有一些不看法。首 先一点我觉得要端正的是做研究工作的动机。很多同学

原文来自: http://birdshome.cnblogs.com/articles/223064.html[著明为博客园;-)]-- Bill Joy MIT BBS上说微软电话面试的一道题就是“Who do you think is the best coder, and why?”。我觉得挺有意思的，也来凑个热闹。排名不分先后。心目中的编程高手 (1)    Bill Joy,

原文来自：http://tb.blog.youkuaiyun.com/TrackBack.aspx?PostId=494459Donald Knuth自传的开头这样写道：“Donald Knuth真的只是一个人么？”(我觉得不是，^_^)作为世界顶级计算机科学家之一，Knuth教授已经完成了编译程序、属性文法和运算法则的前沿研究，并编著完成了已在程序设计领域中具有权威标准和参考价值的书目的前三卷（就是那三本

http://www.gscas.ac.cn/up/gscascn/news/forum%20s&h/2/lecture/wuwenjun.htm原文发表在中国科学与人文论坛，不允许转载，没办法。 有时候真是感慨自己见识浅薄，象吴文俊这样的科学家，进大学都快5年了，一直只知道“数学机械化”之类的“新闻类名词”，印象中也就一直当作“新闻”对待，无意识中自己把一些有用的东西陌生化了，对实情一无

http://tb.blog.youkuaiyun.com/TrackBack.aspx?PostId=1048474 狼牙 发表于2006-08-13 15:37:00  IP: 211.138.157.*很是同意张胜华的观点 “分布”在比较底层的位置实现需要比较高的技术要求，起码现阶段的硬件层所提供的性能达不到期望的要求（即使真的实现了，也会由于硬件的瓶颈，使整个系统的性能并不

import java.util.Arrays;import java.util.Random;public class permulationGenerator ...{    public static void main (String[] args) ...{        while(true)        ...{                        //int n =

   突然发现我们系学的数学知识少得可怜——区区一个代数系统都让我感到新奇了半天。well,get to our business    置换是一个有序对的集合，通常写作两行，用括号包围，上下的位置关系表示对应一个置换。显然，上下两行的元素组成的集合是相同的，置换本身就是一个自身到自身的一一映射。我们可以对置换进行划分，每个划分子类中的元素的象都在该子类中，而且子类中不包括非子类元素的象。

我的算法关键字：求解计划、问题的抽象转换/解释、算法策略、算法构造、尝试、举例计算