- 博客(38)
- 资源 (4)
- 收藏
- 关注

原创 读相对论后的几点思考(2009年1月18日更新)
转载时请注明出处和作者联系方式作者联系方式:会飞的鱼 从开始接触相对论到现在已经有十几年的时间了,最近又看了些和相对论相关的东西,有了新的感悟,将其和之前的一些思考一并记录在此,供自己以后参考。 相对论从另一个侧面揭示了上帝是平等的对待任何事物这一个事实,没有任何一个参考系是特殊的,物理定律在所有的参考系中都是一样的。运动是相对的,没有绝对的静止和运动。 光速的不变性
2008-01-14 22:21:00
12780
2
原创 用Haskell生成帕斯卡三角形
帕斯卡三角形(杨辉三角形)的每一列都可以看成是前一列的数列积分。即当n是从0开始的自然数,则C(x, n)是C(x, (n-1))中x在区间n到无穷大的数列积分。从这个定义出发可以用Haskell的惰性求值来用比较简单的方式得到帕斯卡三角形。下面是ghci中实际运行的结果,输出结果未做裁切,是一个菱形。具体如下:这是定义数列积分Prelude Data.List> let pasn
2014-07-24 23:13:54
12519
转载 大麦歌
这是朱令高中时翻译的英文歌,很有诗经的韵味,其意境超越了英文的原歌,有人作曲就太好了。 大麦俯身偃, 海滨有低地。 巨风动地来, 放歌殊未已。 大麦俯身偃, 既偃且复起。 颠仆不能折, 昂扬伤痛里。 我生也柔弱, 日夜逝如此。 直把千古愁, 化作临风曲。这是英文原诗Like Barley B
2013-05-04 18:54:12
11052
原创 函数的副作用
转载时请注明出处和作者联系方式作者联系方式:会飞的鱼 纯函数是没有副作用的,一般是表达式计算,有副作用的monad在求值前也是没有副作用的,可以看成是表达式的组合。当这些没有副作用的表达式计算和组合与现实世界发生联系时,就出现有副作用的不纯的函数了。 在haskell里,没有副作用的纯函数和有副作用的不纯的函数是显式严格分开的,没有办法将有副作用的不纯函数
2013-04-16 22:04:48
14636
原创 Haskell的monad和范畴论的探讨
下面是上次和我一起讨论haskell的网友的继续,主要探讨了haskell的monad和范畴论的关系。2012年3月28日:Parker says: (10:45:06 PM)haskell你现在有看新的东西吗gbx says: (10:45:28 PM)没有啊, 好久没看了Parker says: (10:45:50 PM)我现在看范畴论的
2012-03-29 23:49:03
16087
1
原创 苹果iMac和lion的使用体验
国庆前在卓越网上定了一台iMac,正好在10月1日送到,结果整个假期就在体验lion系统了。lion还没玩够,突然听闻jobs挂了,故在此缅怀乔帮主,并非常感谢乔帮主给我带来如此好的产品。 我买的是21.5寸的iMac,将之前显示器赶走,放在上面大小正好合适,和周边的东西配合的很和谐,屏幕尺寸正合我意。插上电,整个系统就起来了,将键盘、鼠标、触摸板一摆,就可以操作lion系统了,太简单了
2011-10-22 14:14:01
11433
原创 关于haskell的讨论
以下是我和一个网友对haskell的讨论,记录在下面。以后有讨论时将在后面追加。2011年9月24日:Parker says: (下午10:52:06)关于两个世界体系的对话:函数编程语言与命令编程语言,这篇文章你看过没。Trustno1写的。Parker s
2011-09-26 08:24:41
15160
原创 haskell的类型转换
<br /><br />最近在关注haskell的3D方面的程序设计,使用了网络上的一些例子。发现在64bit系统上,haskell的OpengGL绑定库会出现GLint和GLsizei类型不匹配的现象,如下所示:<br />Couldn't match expected type `GLint' with actual type `GLsizei'<br /> <br />使用如下的方法即可:<br />read (show (3::GLsizei)) :: GLint<br /> <br />此方法在u
2011-05-25 00:33:00
15602
原创 一种快速的素数筛法
又是一年到来,感觉光阴虚度,虚长一岁,无所事事。该写些东西了,正好将去年底写的一个基于haskell程序翻译的一种快速的素数筛法,稍为整理下放上来,作为新的一年的开始吧。该筛法是基于Postponed Filters Siever,效率比较高
2011-02-15 23:09:00
13444
原创 RNDIS的usb网卡功能调试
很久没有写博客了,前几天完成了rndis的usb网卡的移植和调试,觉得有必要记录下些东西,便在博客上作些记录。
2010-10-27 23:11:00
24168
9
原创 面向对象和设计模式的随想
<!-- @page { size: 21cm 29.7cm; margin: 2cm } P { margin-bottom: 0.21cm } --> 转载时请注明出处和作者联系方式作者联系方式:会飞的鱼<parker30_liuat hotmail dot com> <!--
2008-08-07 00:00:00
14490
5
原创 巾帼不让须眉
<!-- @page { size: 21.59cm 27.94cm; margin: 2cm } P { margin-bottom: 0.21cm } --> 转载时请注明出处和作者联系方式作者联系方式:会飞的鱼 两三月前,来两新人,一男一女,皆为内核驱动工程师。未来之前,据熟悉之人所言,此两人同时进的一家公司,
2008-06-15 00:24:00
12363
原创 不变性和可变性
最近看了些数学书和程序设计方面的东西,发出的一些感想。对于不变性和可变性的辩证统一关系似乎能引发很多想法,暂且先记录在这里吧。优快云的博客好像还没有tex的数学公式支持,只好先弄个图片贴在这里。PDF文档的链接在不变性和可变性.pdf
2008-05-25 23:05:00
12446
1
转载 生死不离
<!-- @page { size: 21cm 29.7cm; margin: 2cm } P { margin-bottom: 0.21cm } --> 生死不离 你的梦落在哪里 想着生活继续 天空失去美丽 你却等待明天站起 无论你在哪里 我都要找到你 血脉能创造奇迹
2008-05-17 00:04:00
11666
转载 佛学基本问题的五个辨析
内容摘要:本文从一个欲寻求佛陀思想精髓要义的实修亲证参悟者的角度,就佛学的五个基本问题作了不同于寻常佛学研究者的探讨和辨析。首先,探讨了为何 说佛学是蕴含着无比科学性的、至高妙完备的信念体系而非蒙昧迷信的学说的根据;二、探讨和辩明了佛学与世俗学界对应用法术、科技目的的截然不同的看法及其 究竟;三、提出作为完备的人生哲学之一种,仅仅只是佛学浅层次的功能,佛学至高妙的终极目的另有所在;四、对佛学
2007-12-23 21:20:00
12740
转载 论文推荐:论OS架构的二元性
看着近年来MTK的手机越来越红火,MTK的手机平台如入无人之境,攻城略地,将一些老牌的手机平台打的毫无招架之力,心里越是觉得不是滋味。那么,如此无敌的一个软件平台是一个什么样子的呢,其只是在一个RTOS(如nucleus)上加上一个用状态机构建起来的应用框架,然后使用这个框架编写了功能非常丰富的应用和独立的组件,将这些东西象揉面团一样整合到一个线程(MMI线程)运行,整个MMI就是一个大的极其复杂
2007-11-27 22:17:00
12616
转载 中国的崛起需要更多具有浩然之气的人才能实现
清朝以前的中国读书人应该是很有血性的,情操和修养是君子们所追求的,刚骨、气节、正气、正义、诚信、勇、仁、忠孝也是人们渴望达到的境界。 时而至今,国人们少了那份“穷则独善其身”的刚骨和“达则兼济天下”的胸襟。“治国、平天下”、“普渡众生”已经被人们完善小我的个人功利心 取代了,真诚、正直、公道、正义、善良、利他这样的人文精神普遍缺乏。没有了高尚的情操,没有了最基本的道德和(礼仪)行为修养,没
2007-11-09 20:54:00
12772
原创 MTK手机软件系统工程和配置简介
<!-- @page { size: 21cm 29.7cm; margin: 2cm } P { margin-bottom: 0.21cm } H1 { margin-bottom: 0.21cm } H1.western { font-family: "AR PL ShanHeiSun Uni", sans-s
2007-10-28 18:41:00
54098
17
原创 Makefile的几则实用技巧
转载时请注明出处和作者联系方式作者联系方式:会飞的鱼 <!-- @page { size: 21cm 29.7cm; margin: 2cm } P { margin-bottom: 0.21cm } TD P { margin-bottom: 0cm } --> GNU的Makefile有强大
2007-10-20 23:21:00
14384
转载 AT&T 汇编参考
开发一个OS,尽管绝大部分代码只需要用C/C++等高级语言就可以了,但至少和硬件相关部分的代码需要使用汇编语言,另外,由于启动部分的代码有大小限制,使用精练的汇 编可以缩小目标代码的尺寸。另外,对于某些需要被经常调用的代码,使用汇编可以提高性 能。所以我们必须了解汇编语言,即使你有可能并不喜欢它。 如果你是计算机专业的话,在大学里你应该学习过Intel格式的8086/80386汇
2007-09-24 22:36:00
15358
原创 ARM汇编的几个问题
转载时请注明出处和作者联系方式作者联系方式:会飞的鱼 <!-- @page { size: 21cm 29.7cm; margin: 2cm } P { margin-bottom: 0.21cm } TD P { margin-bottom: 0cm } --> 最近在调试ARM硬件版的程序时
2007-09-23 23:20:00
2175
原创 VIM的几则实用技巧
<!-- @page { size: 21cm 29.7cm; margin: 2cm } P { margin-bottom: 0.21cm } --> 转载时请注明出处和作者联系方式作者联系方式:会飞的鱼 最近在用VIM写程序时,想要使用一个功能,但在命令中没有(可能是我没找到),在网上找了半天也
2007-07-27 19:32:00
1541
原创 好听的音乐---飛魚樂園音樂專輯(Orchid Island)
今天买了一个杂物箱,打算将原来放在一个纸箱中的各种碟片整理一下,让房间干净整洁些。在整理音乐碟时,忽然看到一张来自台湾的飞鱼乐园音乐专辑,顿感亲切,于是立马把它放到光驱。事隔多年,还是让人听得那么舒服、惬意,心情舒畅,看来当年几乎跑遍深圳才找到这张碟还是很值的。 下面是这张专辑的介绍。自然的呼吸!:::飞鱼乐园Orchid lsland::: 小飞机在海岛上空弯绕了一会儿机上乘客
2007-07-20 21:28:00
2378
原创 在linux的PC上挂载jffs2根文件系统映像
<!-- @page { size: 21cm 29.7cm; margin: 2cm } P { margin-bottom: 0.21cm } --> 我们在调试硬件板时,经常需要做多个jffs2的根文件系统映像,有时也要对比其他途径得到的可用的jffs2根文件系统映像。但jffs2的文件系统映像不象光盘
2007-07-18 23:51:00
6345
转载 Linux2.6 内核的 Initrd 机制解析
转自IBM开发者网站李 大治 (dazhi.li@gmail.com), 软件工程师2006 年 5 月 23 日Linux 的 initrd 技术是一个非常普遍使用的机制,linux2.6 内核的 initrd 的文件格式由原来的文件系统镜像文件转变成了 cpio 格式,变化不仅反映在文件格式上, linux 内核对这两种格式的 initrd 的处理有着截然的不同。本文首先介绍了什么
2007-07-11 21:39:00
1573
原创 X86_64下源代码编译的一个问题
<!-- @page { size: 21cm 29.7cm; margin: 2cm } P { margin-bottom: 0.21cm } TD P { margin-bottom: 0cm } --> 前段时间编译了几个源代码包,因为我的机器是X86_64的,所以出现了一个64位系统的问题,折
2007-07-03 23:24:00
2871
原创 GSM手机开发中的几个概念
自从开始做手机到现在,已经有很长一段时间了,有些概念作些整理,以防以后忘记。MS --- 移动站,相对于基站而言,可以说就是指整个手机。BS --- 基站,相对于移动站而言,每个基站发射和接收GSM的无线信号,并覆盖一定的范围。MS和BS是一对相对的概念,如下所示。 BS ---radio channel--- MSME --- 移动设备,主要是GSM实现机卡
2007-06-09 07:59:00
4377
1
原创 用伪终端实现GSM模组多路复用
<!-- @page { size: 21cm 29.7cm; margin: 2cm } P { margin-bottom: 0.21cm } PRE { font-family: "AR PL ShanHeiSun Uni", monospace } TD P { margin-bottom: 0cm
2007-06-03 16:53:00
3410
原创 GTYPE类型系统分析
转载时请注明出处和作者联系方式作者联系方式:会飞的鱼 <!-- @page { size: 21cm 29.7cm; margin: 2cm } TD P { margin-bottom: 0cm } P { margin-bottom: 0.21cm } --> 刚开始接触GLib库时,对GLib传统的习惯和特有的概念不熟悉,在
2007-02-05 00:24:00
9553
3
原创 Linux的GPRS modem上网连接设置
为了让我们的彩信应用在Linux小机上运行起来,实现彩信的收发,就需要在Linux上实现GPRS modem的拨号上网,通过PPP拨号建立和WAP服务器的连接。查了些资料后,没遇到多少麻烦就实现了PPP拨号上网,在此记录以作备忘。 我们是使用一个可以接受AT命令的GPRS手机作GPRS的modem,其通过USB线和Linux小机通讯(串口线也是一样的),将其和小机连接后将出现一个tt
2007-02-02 22:46:00
3875
5
原创 诗一首
俠客行 李白趙客縵胡纓,吳鉤霜雪明。銀鞍照白馬,颯沓如流星。十步殺一人,千里不留行。事了拂衣去,深藏身與名。閒過信陵飲,脫劍膝前橫。將炙啖朱亥,持觴勸侯贏。三盃吐然諾,五嶽倒為輕。眼花耳熱後,意氣素霓生。救趙揮金槌,邯鄲先震驚。千秋二壯士,烜赫大梁城。縱使俠骨香,不慚世上英。誰能書閤下,白首太玄經。
2007-02-02 21:35:00
1162
原创 DBus使用非缺省Glib的maincontext的问题
MMI中间层封装库已经移植到linux平台下稳定运行一两个月了,最近在给其加入插件系统时,却遇到了一点麻烦。插件中的数据库数据变化的Glib信号处理函数在其他应用对数据库进行插入、修改等操作时不会被调用,即无法接收到数据变化的Glib信号。 我们的数据库封装采用C/S架构,客户端使用DBus和服务端通讯,当数据库的数据发生变化时(插入、修改、删除)时,服务端通过DBus向客户端发送
2007-01-21 23:31:00
2944
2
转载 也談工作
转自Jservs blog似乎每過一段時間,都會有 [擇你所愛又怨芭蕉] 的感嘆,中午瞥見 absurd 張貼的廣告 [誠邀應屆畢業生朋友加入我們團隊] (聲明:個人與該團隊無商業往來),首段就提及: 你想進入嵌入式行業嗎?你想從事linux手機開發嗎?你想暢遊開源世界嗎?你想開發一流的產品嗎?來吧,加入我們的團隊,讓我們一起來實現我們的夢想! 什麼?你不懂ARM,不懂ASM,不懂RTOS,
2007-01-15 23:52:00
1354
1
原创 Linux的USB器件驱动多接口设备初探
今天看intel平台的资料,发现之前思考的USB的多接口gadget驱动已经在其linux内核中实现了。在Linux小机端实现较为简单,只要打开选项“Multipile gadget drivers support“,重新编译内核。使用新的内核,按通常的方式加载多个USB器件驱动模块,将小机连接到PC的USB端口,即可在PC端看到多个USB设备。 这种多接口的器件驱动使得一个从USB
2007-01-08 22:30:00
2692
原创 linux下USB器件驱动程序相关
今天上网,查找USB驱动相关的问题时找到一个好网站(www.linux-usb.org),若要做linux下的USB 驱动,到这个网站可以找到很多好东西。今天匆匆看了一下,了解了linux的USB从设备(器件)驱动的一些知识,记录如下。一. USB盘的实现 linux下U盘的实现其实很简单,基于一个g_file_storage的模块,使用文件或其他块设备(如MTD设备)作为U盘的存储
2006-12-15 23:10:00
3580
原创 如何连接USB接口的GSM模组
<!-- @page { size: 21cm 29.7cm; margin: 2cm } P { margin-bottom: 0.21cm } --> 最近在做手机MMI的封装,要将其移植到linux上。我们使用的手机GSM模组是USB接口的,而一般的模组是基于串口来通讯的,一时不知道如何和手机连接。于是花了点时间研究了下实现的
2006-09-28 23:48:00
4332
3
转载 怎样控制一个串行口和调制解调器
最近在作MMI的封装,需要将其移植到linux上。我们使用的是AT命令的方案,需要通过串口和GSM模组通讯,因此将《unix programing FAQ》的一篇文章摘录在此。3.6. 怎样控制一个串行口和调制解调器?Unix系统下对于串行口的控制很大程度上受串行终端传统的使用影响。以往, 需要不同ioctls函数调用的组合和其它黑客行为才能控制一个串行设备的正确操 作,不过值得庆幸
2006-09-17 09:20:00
4571
1
原创 blog之开篇序言
应朋友 之邀,特将几年前用来灌水的帐号找出。拿出一看,哈!还能用,立马激活blog,加入到LMR圈子中。只是本人向来懒散的很,没有圈主勤快,也不知几天才会写一篇文章出来。但本人保证,不会写那些无聊的垃圾文章,各位的眼球还是要对得住的。
2006-08-29 21:05:00
1420
4
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人