上海公共交通卡，也就是上海公交卡，几乎在每个地铁车站都可以买到，也就是说上海公交卡的售票点很多，但是如果你要退掉上海公交卡，必须到指定地点才能退票，并不是每个地铁站都可以退票的，下面列出了上海公交卡退票点详细地点，希望对你公交卡退票有所帮助。
Firefox内存清理模块：RAMBack
Firefox的内存问题一直是我不满意的地方，当你用firefox浏览网页一个小时后，你会发现firefox可能占了你500M的内存，而我可怜的笔记本只有1G内存。
这时候，我不得不把所有的firefox都关掉，还要等上5分钟，让firefox把内存清理掉。
Firefox内存消耗大的主要是原因是缓存(cache)，这边介绍一个Firefox的內存清理扩展插件：RAMBack
沪宁高铁票价233元，沪宁高铁为谁设计
沪宁高铁将于2010年7月1日开通，沪宁高铁票价也成为网友热议的话题。沪宁高铁票价和沪宁高铁的速度一样，用一个字形容就是“高”，两个字就是“很高”，相当高。
让我们看看沪宁高铁票价的具体价格：
- 时速300公里至350公里高速动车组列车上海（上海虹桥）至南京沪宁高铁票价为: 二等座公布票价146元，一等座公布票价233元；
- 时速200至250公里动车组列车仍执行原票价：现在沪宁动车组车票一等座112元，二等座93元。
Godaddy世界杯期间$0.99域名优惠券
Godaddy是世界最大的域名注册机构，经常不定期开展优惠活动，但是每次优惠活动都是有名额限制的，所有需要的尽快行动。这次世界杯期间，又推出了0.99美元的特价优惠码。
优惠码: SOCCER99
优惠内容: 注册或转入.COM, .US, .MOBI, .BIZ, .NET, .ORG, .CA, .CO.UK , .IN，仅0.99美元
有效期: 前10000个注册, 或者2010/7/2号过期
先进性教育
Formality Equivalence Checking Verification Process
What is Formal Verification?
Formal verification is an alternative to verification through simulation. Verification through simulation applies a large number of input vectors to the circuit and then compares the resulting output vectors to expected values. As designs become larger and more complex and require more simulation vectors, regression testing with traditional simulation tools becomes a bottleneck in the design flow.
Continue reading “Formality Equivalence Checking Verification Process”
6月22日倒桩顺利通过
早上4点就起来了，4点半和师傅一块出发，中途接了2个人，5点半到了金山训练场，考试6点半开始，还有一个小时，我和另外一个同学每人练了2把，顺利通过。
6点到了桩考地点，师傅已经帮我们取了号，我是26号，说是一小时考30个，等到我考试已经7点20了。
firefox3.6 tab标签的打开位置变量：browser.tabs.insertRelatedAfterCurrent
firefox 3.6 RC1 发布，安装使用基本还好，只是点击链接后的tab标签页打开位置是紧随在所点击的页面后，和之前的不同。
Firefox 3.5和以前的版本的信tab标签页打开是在所有标签页最后面，而FireFox 3.6的tab标签页打开后是在原标签页之后，在Firefox 3.6中添加了一个变量来控制tab标签打开的方式，变量名为 browser.tabs.insertRelatedAfterCurrent
Continue reading “firefox3.6 tab标签的打开位置变量：browser.tabs.insertRelatedAfterCurrent”
Save Image From URL Using PHP
Code 1:
$img = ‘/my/folder/flower.gif’
file_put_contents($img, file_get_contents($url));
Code 2:
$fp = fopen(‘/my/folder/flower.gif’, ‘wb’);
curl_setopt($ch, CURLOPT_FILE, $fp);
curl_setopt($ch, CURLOPT_HEADER, 0);
curl_exec($ch);
curl_close($ch);
fclose($fp);
控制终端代码 – Linux 控制终端转义和控制序列 zz
DESCRIPTION 描述
Linux控制台实现了VT102和ECMA-48/ISO 6429/ANSI X3.64终端控制的子集, 这个子集很庞大,当然还有Linux自己私有的控制序列,以改变颜色配置,字符集映像,等等.在下面将要给出的表格中,第二列为指定的功能给出了 ECMA-48 或者DEC助记符(如果是后者会在前面加有DEC前缀).没有给出助记符的序列既不是ECMA-48也不是VT102字符.