freezing point·J

职业生涯

暗时间:学习的精神和方法

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

2011-07-19 23:51:01

阅读数:1819

评论数:4

又一次误入嵌入式的深渊

<br />这次是要搭一个CAN、RS422的通讯平台,包括硬件环境和上层协议的控制逻辑。<br /> <br />好久不做这种纯技术的工作了,我走了不少弯路,又一次误入嵌入式的深渊……很惭愧。<br /> <br />硬件方面,买的是Z...

2011-02-21 01:03:00

阅读数:6007

评论数:11

port systemc to mac os x

<br />很遗憾,systemc官方提供的SDK并不能直接在 mac os x 下用 gcc编译链接。<br />需要做如下 修改 :<br />1、为configure添加编译环境支持,简单的说,就是修改config/config.sub,加入i686-ap...

2010-12-25 23:19:00

阅读数:1343

评论数:0

ipad 4.2 开发环境

大部分内容在 bbs.weiphone.com 上能够找到。1、破解 ipad2、安装snow leopard 10.6.3 (iATKOS_S3.iso);3、修改/System/Library/CoreServices/SystemVersion.plist中的ProductVersion字段...

2010-12-24 22:23:00

阅读数:1213

评论数:0

看MIT的线性代数

长假期间,开始学组合图论,于是顺便把线性代数温习下,先是在verycd上看到有Gilbert Strang的课程,然后搞来iTunes开始看,发现国外的老师讲课就是不一样——能够把我们认为一些“简单套公式”就能摆平的东西当作一个研究性课题讲上一大节课!小题大做了!但是,做过研究生的都知道,那些所谓...

2010-10-08 02:44:00

阅读数:4324

评论数:0

停机问题、哥德尔定理

<br />今天读《哥德尔、艾舍尔、巴赫——GEB 集异璧之大成》,看到“自指”的论述,突然想起以前学自动机理论时的“停机问题”。该问题上课前看书就看明白了,考试完了又忘了,后来又想起来看过一次,现在又忘了——可见,我是不懂装懂。<br /> <br />我之前...

2010-10-03 23:42:00

阅读数:1654

评论数:0

PNK学习笔记

令我郁闷的是,PNML Framework几乎是一套静态的库——这个其实可以从它的架构设计思想上就可以看出来:它的接口就是以一个假想的Petri Net ToolA为使用环境设计的,它在主页上说的必须实现的feature就包括import、load、export等,完全是针对某个PetriNet工...

2009-11-08 21:27:00

阅读数:927

评论数:1

PNML学习笔记

http://blog.csdn.net/[userid]/services/MetaBlogApi.aspxPNML简介:用于实现Petri Net工具的互操作性的Petri Net描述语言先从法国的LIP6实验室开始,标准制定方面的牵头人,请先访问它的PNML标准化主页,然后是PNML Fra...

2009-10-31 00:09:00

阅读数:9667

评论数:4

静态分析验证工具

续上 考虑到字面上的近似,几个名词提前说明,当然,这仍然是我个人的看法: 时序逻辑temporal logic:是一种逻辑属性,而不是一种时间属性,是有关真假的定性描述,而不是有关长度的定量描述。 时间性timeliness:有关时间的属性,不仅是先后顺序,而且有间隔长度,甚至是绝对时间坐标...

2009-10-10 21:09:00

阅读数:894

评论数:0

静态测试

这几天又重新翻了几篇论文,目的是为了再扫描一遍这个领域,以不断的片面印象来追求一个全面的印象,甚至是深入的印象,基本的动机是对现有的这方面工具了解更多一些。 static testing,或者说static analysis、static verification的重要性得到了理论界和工业界的充...

2009-10-10 01:08:00

阅读数:1367

评论数:0

文献管理----信息抓取、管理及分析

wikipedia上有当前各种文献管理软件(服务)的比较,有兴趣的朋友可以以此作为自己选择的依据。 总结一下,网络化的文献管理服务提供的功能远不及单机版文献管理软件的功能多;开源的软件远不及私有软件的功能全面和细致;具体来说,JabRef是开源的,而且能够提取PDF中的XMF信息,相当震撼,也能够...

2009-02-04 00:24:00

阅读数:1306

评论数:0

程序员12期算法擂台

看了12期的讲解,赶紧回来把代码写出来:// huiwen.cpp : Defines the entry point for the console application.//#include "stdafx.h"void swap (char * const s, int...

2007-12-20 22:22:00

阅读数:861

评论数:0

LumaQQ分析

满打满算看LumaQQ的源代码有一个星期了。我以为还是本科时看那些代码,开开个IDE就开始分析程序结构,外加调试跟踪几遍就差不多能够摸清——实践证明我错了,我费了很长时间才搞清里面的静态关系,也就是类、接口之间的继承关系,然后跟踪出一般的执行流程。其中使用到Java 1.5中的新特性:并发线程包,...

2007-09-01 21:24:00

阅读数:1836

评论数:0

一本算法设计的好书

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

2007-06-16 23:02:00

阅读数:2793

评论数:0

Google 杰出工程师谈学术搜索

"站在巨人的肩膀上" - Google 杰出工程师谈学术搜索2006年2月22日 上午 08:25:00uT("time114053853247883322");发表者: 吴丹丹, Google 黑板报小组前不久,Google 为中国用户推出了中文学术搜索(...

2007-06-10 15:28:00

阅读数:946

评论数:0

Google工程师对学生朋友的一点建议

对学生朋友的一点建议2007年6月1日 上午 11:09:00uT("time1223076947729616429");发表者:Google(谷歌)中国工程研究院 工程师 方坤自去年春天加入谷歌,我曾多次随公司校园招聘团队一起走访各地院校,帮助公司发掘人才。利用这样的出差机会...

2007-06-10 15:10:00

阅读数:848

评论数:0

排列生成算法

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

2007-01-06 17:31:00

阅读数:3686

评论数:4

[study-note]置换群-〉循环 变换函数

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

2006-11-29 01:49:00

阅读数:1859

评论数:0

排列的字典序生成算法(自然解法)

import java.util.Arrays;import java.util.Random;public class permulationGenerator ...{    public static void main (String[] args) ...{        while(t...

2006-09-26 22:20:00

阅读数:2188

评论数:2

分布式.note

http://tb.blog.csdn.net/TrackBack.aspx?PostId=1048474 狼牙 发表于2006-08-13 15:37:00  IP: 211.138.157.*很是同意张胜华的观点 “分布”在比较底层的位置实现需要比较高的技术要求,起码现阶段的硬件层所提供的性能...

2006-09-23 15:20:00

阅读数:1166

评论数:0

提示
确定要删除当前文章?
取消 删除
关闭
关闭