Monthly Archives: July 2011

Introduction to Qt Lighthouse

Introduction to Qt Lighthouse Xu Weidong 2011/7/17 Outline Qt Qt feature Qt port to different graphic system – Lighthouse Qt object model – QObject and moc UI design – QWidget and QLayout Customize widget – Style sheet Cross-platform project management … Continue reading

Posted in Computer and Internet | Leave a comment

Loop invariant

第三版的算法导论相对于第二版做了不小的改动。其中之一是进一步强调了算法中 loop invariant 的重要性。 Loop invariant 在 Knuth 的 The Art of Computer Programming 的开头就提到过。简单的说,就是利用 断言(assertion)和 归纳法(induction)来证明算法的正确性。 其形式与数学归纳法相近,主要运用于由 while 循环构成的算法(这是由于循环过程和递归过程的相似性决定的)。首先是,该不变性必须能够帮助证明算法的正确性;接下来,只需要保证在初始情况、和每一次循环之后,这一不变性都能得以保持。这样便证明了整个算法的正确性。 相对于证明正确定,对读者来说,更重要的是这一方法非常适合于理解已有算法和发现新算法。有些算法的中间步骤有些繁杂,但只要把握住循环过程中的某种不变性,并把中间步骤理解成维持该不变性的操作,便能比较简单的掌握这一算法。 其实 loop invariant 只能证明程序的部分正确,要在加上终止的证明,才算是证明程序的完全正确。不管怎么说,无法停机的程序都不能说是正确的吧。

Posted in Science | 1 Comment

Blood, Toil, Tears and Sweat — Winston Churchill

I would say to the House, as I said to those who have joined this government: “I have nothing to offer but blood, toil, tears and sweat.” We have before us an ordeal of the most grievous kind. We have … Continue reading

Posted in Book | Leave a comment

中美媒体对中概股的报道的对比

最近在美上市的中国概念股是个热点。下面两篇报道的看点是中美两方媒体的口径对比。 第一篇是 The New York Times 上个月的报道。第二篇则是南方周末昨天的新闻。两篇报道中有两个相同的关键词,一个是反向收购,而另一个是 Muddy Waters Research。 http://dealbook.nytimes.com/2011/06/09/muddy-waters-research-is-a-thorn-to-some-chinese-companies/ http://www.infzm.com/content/61132 金融不是我的专长所以不做评论。不过也许一位评论者说的有些道理: The tools are available to defeat the shorts — all he has to do is use them. If he chooses instead to complain loudly about how the … Continue reading

Posted in News | Leave a comment

Qt on Playbook

Posted in Computer and Internet | Leave a comment