zhrb的空间

  BlogJava :: 首页 :: 新随笔 :: 联系 :: 聚合  :: 管理 ::
  20 随笔 :: 0 文章 :: 29 评论 :: 0 Trackbacks

2008年6月25日 #

jEdit,一款用java编写的代码编辑器,可定制性很强,还有功能丰富的插件。
官方网址:   http://www.jedit.org/
先上一个官方网站其他人配置的图片吧。然后随便写一些前阵子折腾出来的常用设置





 
 

常用设置
    Utilities--Global Options
        Appearance(设置外观,其中Swing look $ feel如果设置成Metal风格,可以更改菜单等字体大小)
        Docking(设置插件、组件在编辑器中出现的位置,一般将FileBrowser设置在left,将console与Errolist设置在bottom)
        Editing(Tab witdh设置tab的空格数,Indent width设置缩进的空格数,Soft(emulated with space)tabs用空格模拟tab)
        Gutter(编辑区左边条状区域)
            1.Line numbers(显示行号),Gutter font
        Text Area(编辑区)
            1.Text font(字体大小)
        View
            1.Show full path of buffer in title bar(在标题栏显示打开文件的完整路径)
            2.show buffer switcher(buffer switcher,打开文件切换器)
        File System Browser
            1.Default path(打开browser时默认打开的目录)
        Plugin Manager
            1.Update mirror list(插件升级服务器镜像列表)
            2.Install plugins in
                jEdit setting directory(jEdit设置目录,在windows操作系统下通常是在MyDocument目录下的 .jedit 目录)
                jEdit application directory(jEdit程序目录)

jEdit的设置目录(.jedit)
    存放jEdit设置、插件的目录(可以备份此文件夹来保存自己的设置与插件)位置(在windows操作系统下通常
是在MyDocument目录下的 .jedit 目录,也可以通过菜单Utilities--TroubleShooting--Activity log查看含有 message字
样的信息,一般包含.jedit的信息就是jEdit的设置目录)

常用插件及设置
    Plugins--plugin manager
        Install下可以选择想要安装的插件
        常用的插件
            console(控制台)
            error list(错误列表)
            buffer tab(以标签页的方式显示打开文件)
            code book(代码自动完成)
            java style(修饰代码风格)
            javainsight(反编译)
    插件不仅需要安装还需要设置,选择plugin options
    常用设置
        console(general下选择字体大小。Character encoding选择编码,请选择GBK,否则无法显示中文。Compile & run,选择编程语言对应的编译器等)
        buffer tabs(选择Enable BufferTabs by default)

先写这么多比较基础的设置,还有更多强大功能还有待挖掘。嘿嘿
posted @ 2010-03-02 22:49 zhrb 阅读(7754) | 评论 (4)编辑 收藏

原帖地址:
http://www.infoq.com/cn/articles/use-uml-to-do-system-analysis

业务很重要...呵呵
posted @ 2008-06-25 23:06 zhrb 阅读(283) | 评论 (0)编辑 收藏

转载:奥卡姆剃刀

发表于:2008年6月25日 22时59分0秒评论(1) 举报本文链接:http://user.qzone.qq.com/2882888/blog/1214405940
发信人: Vulcain (龙★火神), 信区: Philosophy
标  题: 转载:奥卡姆剃刀
发信站: 水木社区 (Wed Jun 25 22:48:38 2008), 站内
Phil Gibbs 著 
杉原广 补充
柯南 译   
  奥卡姆剃刀(Occam's Razor, Ockham's Razor)是由14世纪逻辑学家、圣方济各会修
士奥卡姆的威廉(William of Occam)提出的一个原理。奥卡姆(Ockham)在英格兰的萨里郡,那是他出生的地方。
  这个原理称为“如无必要,勿增实体”(Entities should not be multiplied
unnecessarily)。
    威廉使用这个原理证明了许多结论,包括“通过思辨不能得出上帝存在的结论”。这使他不受罗马教皇的欢迎。  许多科学家接受或者(独立的)提出了奥卡姆剃刀原理,例如莱布尼兹的“不可观测事物的同一性原理”和牛顿提出的一个原则:如果某一原因既真又足以解释自然事物的特性,则我们不应当接受比这更多的原因。
  对于科学家,这一原理最常见的形式是:
  当你有两个处于竞争地位的理论能得出同样的结论,那么简单的那个更好。
  在物理学中我们使用奥卡姆剃刀切掉形而上学的概念。爱因斯坦的狭义相对论与洛仑兹
的理论就是一个范例。洛仑兹的理论认为在以太中运动的尺收缩、钟变慢。爱因斯坦关于空—时变换的方程与洛仑兹方程在钟慢尺短效应上一致,但是爱因斯坦和庞加莱(法国数学家——译注)认为以太不能根据洛仑兹和麦克斯韦方程组检测到。根据奥卡姆剃刀,以太就被排除了。
  这一原理也被用来证明量子力学的不确定性。海森堡从光的量子本性和测量效应中推出了不确定原理。
  史蒂芬·霍金在他的《时间简史》中解释说:我们仍然可以想像,对于一些超自然的生物,存在一组完全地决定事件的定律,它们能够观测宇宙现在的状态而不必干扰它。然而,我们人类对于这样的宇宙模型并没有太大的兴趣。看来,最好是采用称为奥卡姆剃刀的原理,将理论中不能被观测到的所有特征都割除掉。
  但是“不能确定以太的存在”和“以太的不存在”都不能仅仅根据奥卡姆剃刀推出。它可以区分两个能做出同样结论的理论,但是不能区分其他可能做出不同结论的理论。实验的证据仍然是必需的,并且奥卡姆本人支持经验主义,而不是反对。
  厄恩斯特·马赫提倡奥卡姆剃刀的一个版本,他称作“经济原理”,表述为:“科学家应该使用最简单的手段达到他们的结论,并排除一切不能被认识到的事物”。把它引入哲学就形成了实证主义哲学,即认为某物存在但无法观测与根本不存在是一码事。马赫影响了爱因斯坦关于时空不是绝对的论述,但是他(马赫)也把实证主义应用到分子的概念。马赫和他的追随者认为分子是形而上学的概念,因为它们太小而不能被直接探测到。这种主张不顾分子论在解释化学反应和热力学上的成功。具有讽刺意味的是,当使用经济原理抛弃了以太和绝对参照系的时候,爱因斯坦几乎同时发表了一篇关于布朗运动的论文,它证实了分子的实在性,这就打击了实证主义的使用。这个故事意味着,我们不能盲目使用奥卡姆剃刀。正如爱因斯坦在他的《自传笔记》中写道:
  即使是大胆而天才的学者也会因为哲学上的偏见而妨碍他认清事实,这是一个很有趣的例子。
  人们常常引用奥卡姆剃刀的一个强形式,叙述如下:
  如果你有两个原理,它们都能解释观测到的事实,那么你应该使用简单的那个,直到发现更多的证据。
  对于现象最简单的解释往往比较复杂的解释更正确。
  如果你有两个类似的解决方案,选择最简单的。
  需要最少假设的解释最有可能是正确的。
  ……或者以这种自我肯定的形式出现:
  让事情保持简单!
  注意到这个原理是如何在上述形式中被加强的。严格的说,它们应该被称为吝啬定律,或者称为朴素原则。最开始的时候我们使用奥卡姆剃刀区分能够做出相似结论的理论。现在我们试图选择做出不同结论的理论。这不是奥卡姆剃刀的本意。我们不用检验这些结论吗?显然最终不是这样,除非我们处于理论的早期阶段,并且还没有为实验做好准备。我们只是为理论的发展寻求一种指导。
  这个原理最早至少能追溯到亚里士多德的“自然界选择最短的道路”。亚里士多德在相信实验和观测并无必要上走得太远。朴素原理是一个启发式的经验规则,但是有些人引用它,仿佛它是一条物理学公理。它不是。它在哲学和粒子物理中使用的很好,但是在宇宙学和心理学中就不是特别好,这些领域中的事务往往比你想象的还要复杂。或许引用莎士比亚的一句话要胜过引用奥卡姆剃刀:“天地之大, 赫瑞修, 比你所能梦想到的多出更多”(出自《哈姆雷特》,第一幕,第五景——译注)
  朴素是主观的,宇宙并不总是像我们认为的那样简单。成功的理论往往涉及到对称、美与简单。1939年保罗·狄拉克写道:
  研究者在把自然法则转变为数学形式的时候,应该为数学的美而努力。对于简单和美的需求往往是等价的,然而当它们发生冲突的时候,后者应该优先。
  吝啬原理不能取代洞察力、逻辑和科学方法。永远也不能依靠它创造或者维护一个理论。作为正确性的判别方法,只有逻辑上的连贯性和实验的证据才是绝对的。狄拉克的理论很成功,他构造了电子的相对论场方程,并用它预言了正电子。但是他并没有主张物理学仅仅应该基于数学的美。他完全赞同实验检验的必要性。
  最后的结论来自爱因斯坦,他本身也是一位格言大师。他警告说:
  “万事万物应该尽量简单,而不是更简单。” 
--
如果我们仔细的研究唐诗宋词,就会发现里面有全部已知和未知的现代数学和物理学定理。现在我确知李卫公所写的春宫解说词里包含了费尔马定理的证明,但我没法把它读出来——这是因为费尔马定理的证明应该是怎样的,现在没有人知道,或者说,现在还没有人能够证出费尔马定理。它就如隋时发明的避孕套,到唐代就失传了,因此给了洋鬼子机会,让他们可以再发明一次。因为它已经失传,所以我也不知该怎样解释这些说明词。最简单的解释是:那是一些性交的诀窍。但是不应该是这样子的。不应该的原因是有我们存在。我们的任务就是把性交的诀窍解释成数学定理,在宋词里找出相对论,在唐诗里找出牛顿力学。——王小波《红拂夜奔》
※ 来源:·水木社区 http://newsmth.net·[FROM: 210.78.58.*]
posted @ 2008-06-25 23:03 zhrb 阅读(370) | 评论 (0)编辑 收藏