12月 30

Discuz X 2.5楼层错乱解决办法

n天前遇到的问题,今天想起来觉的该记录一下。多谢等等君提醒,发现此问题。 表现为收到回复提醒之后点击链接不能正确找到回复的楼层。 比如提醒中链接指向:/forum.php?mod=redirect&goto=findpost&pid=4736090&ptid=714970; 正常情况下应该转向/forum.p … Continue reading

12月 29

计算理论笔记

转一个学长的总结,原文http://chj-yh.i.sohu.com/blog/view/113784360.htm   第一章  导引 1、如果起始状态也是接受状态,则接受空串 。 2、计算的形式定义:    设M={……},是一台有穷自动机,w=w0w1……wn是字母表上的一个字符串,如果Q中 … Continue reading

12月 29

Discuz X 2.5不能删帖的处理

表现为删帖无反应,进入phpmyadmin,可以看到threadlog表正在使用,看来是这个表崩溃了,直接在phpmyadmin中修复即可。

12月 29

计算理论实验–CFG是P成员

计算理论第二个实验,比第一个复杂,本机测试通过,可是ACM上总是说我的结果是错误的。郁闷中..   算法是动态规划,按照书上的伪码描述写出代码,不过还不理解为什么算法可行。关于伪码描述,可以在这里查看:CFG是P成员。 Problem description 上下文无关文法CFG G是否派生某个串W。采用动态规划(Dynamic … Continue reading

12月 29

计算理论实验—ADFA的可判定性

计算理论实验要求在ACM系统提交,头一次用ACM做实验,本机测试对的提交之后却得到错误的结果,相当的郁闷,不过还好,后来在同学的帮助下解决了,顺利AC。   实验题目: ADFA={<B,w>|B是DFA,w是串,B接收w},证明:ADFA是可判定的。 编写一个算法/程序,对于给定的输入<B,w>,可以判 … Continue reading

12月 19

win8激活记

喜欢用新软件,可是比起尝鲜派经常是慢半拍。 win8消费者预览版出来时,在虚拟机里玩了下,没几天就删掉了。然后发行预览版又出来了,虚拟机里玩了玩,也没想要装真机上。 最近看到kms+wmc激活win8 pro的方式,于是心血来潮下载了msdn win8正式版镜像,在虚拟机里把win8 发行预览版升级到了win8专业版,可是kms激活时一直 … Continue reading

12月 14

Matlab调整帮助文字大小

matlab r2009a,帮助文字小的看不清,可以在文件,首选参数,字体,自定义中修改,如下图所示:     英文版为: Select File > Preferences > Fonts > Custom. From the Desktop tools list,select HTML Propo … Continue reading

12月 12

可以替代Dreamweaver的可视化免费网页编辑器

平时有人找我装软件或者装系统,实话说是有些不解,特别是还有本专业的,windows下面装软件真的比较傻瓜了,基本是一路Next,为什么不自己动手呢?不过仔细想想,很多专业软件都是要破解的,大概一些懒人不愿意自己搜破解方法吧。如果付费安装,不需要到处找KEY或者破解,那安装起来就简单了。 现在的中国,很少有人愿意为软件付费,既然不愿意付费, … Continue reading

12月 12

用fireshot将长网页保存成图片

有时候需要将整个网页保存成图片,可是一般的截图工具,比如qq截图, 无法实现大于一屏的网页截图。我以前的做法一般是分几次截图,然后用画图工具拼接,这样做既麻烦又不精确,有时候有可能两次截图的宽度不一样。 其实有些工具可以方便的实现整个页面截图,比如Firefox的插件 fireshot。 fireshot的官方介绍为: Capture w … Continue reading

12月 07

MinGW安装mintty终端

msys的cmd界面太难看了,而且不能用鼠标直接选择文本复制,可以安装mintty这个虚拟终端。   然后在MinGW-Shell的启动选项里加入 –mintty   然后打开的效果:   然后在终端内右键,Option,可以设置显示效果,窗口大小,编码等。