![](https://img-blog.csdnimg.cn/20201014180756930.png?x-oss-process=image/resize,m_fixed,h_64,w_64)
Misc
文章平均质量分 73
polytechnic
这个作者很懒,什么都没留下…
展开
-
开通部落格,顺带测试一下 Windows Live Writer
感觉还不错,越来越喜欢 Microsoft 的产品了。 怪了。在哪里设置类别呢?原创 2010-06-14 23:18:00 · 360 阅读 · 0 评论 -
Boolean satisfiability solving
今天听了一个关于 Boolean satisfiability solver 的讲座。wiki 了一下,说是 NP-complete。没学过 CS,不太清楚到底啥意思,反正就是用 exhaustive search 很 expensive 了。有趣之处,在于如何避免 exhaustive search。先把表达式表示成 conjunctive form(不太明白啥意思,有空可以 wik原创 2013-11-01 00:53:59 · 1491 阅读 · 0 评论 -
需求决定选择
最近写一个工具,对语言和工具的选择,犹豫了很久。基本要求是,要有图形界面,简单的人机交互,比如按钮,图片之类的。要访问网络,http 和 ftp。而且最好能够跨平台。GUI 的话,MFC 我最熟悉。可是太 low level 了,一个小工具,用不着花那么多精力去写那些 low level 的功能。可是只支持 Win。C# 的话,GUI 写起来跟容易,至少缩放窗口的话,控件位置可以自原创 2013-11-04 06:38:45 · 935 阅读 · 0 评论 -
SCI 论文常用经典句型
原文链接:http://bbs.sciencenet.cn/thread-536794-1-1.html(注:感谢原文作者分享。但是我不喜欢这种要注册或者回复才能浏览的方式。)Beginning 1. In this paper, we focus on the need for 2. This paper proceeds as follow.转载 2013-12-14 13:31:49 · 1027 阅读 · 0 评论