posts - 9,  comments - 11,  trackbacks - 0
QQREADERBFDE93A8C847F704
posted @ 2010-02-04 19:33 lingol 阅读(106) | 评论 (0)编辑 收藏

好不容易从校内某个ftp上下载到《2012》,木有字幕……强迫自己看下去,考一考自己的听力。发现除了骂人的语句,其他基本上一知半解,尤其是人物在讨论文学/哲学/书籍等等文化相关的话题时。看来光看美剧,不看书籍了解一下西方文化还是不行啊……

 只好乖乖去找字幕。Google和百度的第一页都是垃圾网站,现在的SEO越来越淫荡了……
 好不容易下了个字幕。字幕质量不错,时间间隔还可以接受。不过有一个缺陷,他是单独一个字幕,而我的DVD版《2012》是分成两个镜像的——也就是第二部分无法使用这个字幕了。Orz

 我用的是QQ影音,试了试调整字幕的延迟,发现那个调整对话框超搞——有一个输入框,但是里面的数字不是延迟/提前的时间,而是基数,每按一次左/右方向键就增加这个数量的时间,而这个倍数却是设定之后就看不到的。 最终使得我下决心动手山寨一个时间轴修改器,是因为QQ影音没有为我保存字幕的延迟设定。

跑题太远了。打开字幕文件,是纯文本,Nice,省了Google的时间了。略过文件头,有价值的地方是一行行这样的东东:

Dialogue: 0,1:01:56.28,1:01:58.40,en,,0000,0000,0000,,We're safe!
Dialogue: 0,1:01:58.64,1:02:00.24,en,,0000,0000,0000,,We're fine!
Dialogue: 0,1:02:04.16,1:02:07.92,en,,0000,0000,0000,,Now that you have your\nmap, where we go?
Dialogue: 0,1:02:18.00,1:02:21.16,en,,0000,0000,0000,,We need a larger aircraft.
……


其中各个段由逗号隔开,各段的意义文件里也有写:

Format: Layer, Start, End, Style, Name, MarginL, MarginR, MarginV, Effect, Text

一目了然啦。OK,其他不管,关注Start、End即可。Start和End也不用多猜,用分号隔开的时分秒是也。接下来的工作就轻松了,直接贴代码吧。。。

点击这里查看代码


 上面的代码是把所有字幕的开始结束时间减去第一个字幕的开始时间,也就是把时间轴提前到0啦。把原来那个文件的文件头拷过来,第二部的字幕也拷过来,一坨新鲜热辣的字幕就出来咯。用硬编码的c++做这个还真是秒杀啊~。有同学问了,第二部开始到人物说话有十几秒延迟啊,如果我不想提前到0,而是提前到例如说12秒,怎么办捏?有个比较hack的办法,在第一条字幕之前增加一个无用字幕,把他的时间设置得前一点,再在生成的字幕去掉它,嘿嘿,嘿嘿

Dialogue: 0,1:01:44.28,1:01:58.40,en,,0000,0000,0000,,We're safe!
Dialogue: 0,1:01:56.28,1:01:58.40,en,,0000,0000,0000,,We're safe!
Dialogue: 0,1:01:58.64,1:02:00.24,en,,0000,0000,0000,,We're fine!
……

posted @ 2009-12-05 01:59 lingol 阅读(1320) | 评论 (0)编辑 收藏
前几日google 发布了一个语言Go,那时还在宿舍修养中,大概浏览一下就丢在一边了。
昨日下班之后,闲得蛋痛,隊试一试Go。想不到官方网站竟然被墙了,不由得感叹GFW的速度效率无比伟大强悍……
今晚手贱,再次打开http://golang.org,不想又可以访问了。GFW还真是充满神秘感啊。
看了一看,估计一个晚上是看不完的了,页面基本上是纯HTML,整个网站下载来备着吧,说不定什么时候又上不了。
我印象中wget是可以整站下载的,搜一搜,第一篇就是……

wget 加上参数之后,即可成为相当强大的下载工具。
wget -r -p -np -k http://golang.org

-r,  --recursive          specify recursive download.(指定递归下载)
-k,  --convert-links   make links in downloaded HTML point to local files.(将下载的HTML页面中的链接转换为本地链接)
-p,  --page-requisites    get all images, etc. needed to display HTML page.(下载所有的图片等页面显示所需的内容)
-np, --no-parent           don't ascend to the parent directory.

posted @ 2009-11-17 00:47 lingol 阅读(2662) | 评论 (1)编辑 收藏

参考自http://www.ycrc.com.cn/qinghua/18/text/chapter4/section1/1.htm

标准式的化简步骤
  如果一个合适公式的所有量词均非否定的出现在公式的前部,而且所有的量词的
  约束范围均是整个公式,则称这样的合适公式为前束范式。任何一个合适公式,
  都可以等价地转化为一个前束范式。消去前束范式中所有的存在量词后得到的
  合适公式,称为S范式,这一过程称作skolem化。S范式与它的原式不一定等价,
  但在不可满足性方面,二者是等价的。也就是说,如果原式是不可满足的,
  则其对应的S范式也一定是不可满足的。反之亦成立。


(1)消蕴涵符

(2)移动否定符
如果公式中的否定符"~"不只是作用于原子公式,则要利用摩根定律对公式进行变换,
使得否定符只作用于原子公式。

如果否定作用于量词的话,可以用量词转换律将量词提到否定的作用域之外。

(3)变量换名

(4)量词左移
将所有的量词移到公式的左边,但不改变原来各量词的排列顺序。
这也是为什么在第三步要进行变量改名的原因,否则就不能进行这种移动。

(5)消去存在量词(skolem化)
按照这样的原则将公式中的存在量词消去:设E是前束范式中的一个存在量词,
如果在它的前面没有出现全称量词,则所约束的变量x,全部用一个新的常量
(未在公式中出现过)代替;如果E前面有全称量词,则所约束的变量x,
全部用一个新的(未在公式出现过的)函数(称为skolem函数)代替,该函数的
变量是哪些在前面的全称量词所约束的变量。然后将存在量词E消去。

(6)化为合取范式
利用结合律、分配律等,可以把S范式的母式转化为合取范式。
A(x)∨(B(x)∧C(x)) ≡ (A(x)∨B(x))∧(A(x)∨C(x))

(7)隐去全称量词
经过前6步变换以后,所有的变量都是受全称量词约束,所以可以将全称量词隐去,
默认所有的变量是受全称量词约束的。

(8)表示为子句集
在隐去全称量词以后,用","号代替公式中的"∧",并用"{"和"}"括起来,就得到了
原合适公式的子句集。

(9)变量换名
对子句集中的变量再次进行换名替换,使得不同的子句中的变量使用不同的名字。
最简单的方法是采用加下标的方法。注意:在有些书中并不要求对子句集中的变量
进行换名替换,如果是这样的话,你必须很清楚,不同子句中的变量,即便是同名的,
也可以代表不同的变量。在后边将要介绍的归结法中,你会发现,如果不进行换名,
很容易出现错误。因此建议大家对变量进行换名。由于每一个子句都对应一个不同的
合取元,变量都由全称量词量化,因而实质上两个子句的变量之间不存在任何关系,
这里的变量换名不影响公式的真值。

---------------------------------------------------
Skolem化并不影响原合适公式的永假特性
---------------------------------------------------

posted @ 2009-08-05 09:56 lingol 阅读(1829) | 评论 (1)编辑 收藏
最近用Java做一个regex等价判断的东东,发现垃圾回收真的很强大,资源重用轻轻易易就实现了。C++加上右值引用和move构造函数能够提高资源重用,但是可以预见要一些idiom才能用好,又带入了新的复杂性。
.
..
...
忍不住show一下,谁能够实现一个算法,在4秒内给出能够区分这两个正则表达式的字符串:
(a|b)*b(a|b)(a|b)(a|b)(a|b)(a|b)(a|b)(a|b)(a|b)(a|b)(a|b)
(a|b)*a(a|b)(a|b)(a|b)(a|b)(a|b)(a|b)(a|b)(a|b)(a|b)(a|b)
要知道识别倒数第n个字符是a的正则表达式,其DFA至少有2^n个状态(见龙书第二版英文版P164)。
posted @ 2009-07-13 01:03 lingol 阅读(364) | 评论 (2)编辑 收藏
    static <T> Vector<T> join(Vector<T> c1, Vector<T> c2)
    
{
        Vector
<T> result;
        
if (c1 == null{
            result 
= c2;
        }
 else if (c2 == null{
            result 
= c1;
        }
 else {
            result 
= new Vector<T>();
            result.addAll(c1);
            result.addAll(c2);
            
//Collections.sort(result);
        }

        
return result;
    }


Java的泛型真是玩具,在注释那里推导不出类型来了……
posted @ 2009-06-23 01:22 lingol 阅读(146) | 评论 (0)编辑 收藏
当时愣是没做出来,当时也想到要用到素数模的特殊性质来做,但是数论忘得差不多了,在那里呆坐了20分钟就是想不起来,唉唉……
这里看起来比较小,点击一下放大来看吧
 
posted @ 2009-06-04 23:12 lingol 阅读(255) | 评论 (0)编辑 收藏
定义:由下列规则形成
    (1) 个体常量和个体变量是项。
    (2) 若f是n元个体函数且 t1, t2, … tn 是项,则 f(t1, t2, … tn) 也是项。
    (3) 所有项都只由(1) (2) 生成。
定义:原子公式
若 P(x1, x2, … xn)是n元谓词, t1, t2, … tn是项,则称 P(t1, t2, … tn)为谓词逻辑的原子公式。
定义:合式公式
1.原子公式是wff;
2.若A是wff,则(~A)也是;
3.若A、B是wff,且在A、B中同时出现的个体变量同为约束或同为自由,则A∧B、A∨B、A→B、A«B也是wff;
4.若A是wff,x在A中是自由的,则"x(A)、$x(A)也是wff;
5.只有有限次使用上述四条规则形成的才是wff。

可得其文法如下:

Formula -> Formula → Formula | Formula « Formula

               | Formula ∧ Formula | Formula ∨ Formula | ~Formula

               | "Variable(Formula) | $Variable(Formula)

               | Relation

Relation -> RelationSym(TermList)

RelationSym -> Constant

TermList -> Term(,Term)*

Term -> Function

          | Variable

          | Constant

Function -> FunctionSym(TermList)

FunctionSym -> [a-b]+

Variable -> [a-b]+

Constant -> [A-Z][a-zA-Z]*

posted @ 2009-05-28 11:13 lingol 阅读(1088) | 评论 (5)编辑 收藏
仅列出标题  
<2019年12月>
24252627282930
1234567
891011121314
15161718192021
22232425262728
2930311234

留言簿(5)

随笔档案

文章档案

搜索

  •  

最新评论

阅读排行榜

评论排行榜