代码改变世界

【CT】递归集,递归可枚举集,可判定,半判定

2012-12-29 22:05 by Loull, 3752 阅读, 1 推荐, 收藏,
摘要:http://snarc.ia.ac.cn/ren/html/y2010/189.html http://baike.baidu.com/view/117790.htm http://zh.wikipedia.org/wiki/%E9%80%92%E5%BD%92%E9%9B%86 一、 在可计算性理论中,一个自然数的子集被称为递归的、可计算的或具可判定性,如果我们可... 阅读全文

【CT】【转】图灵机杂思

2012-12-29 20:36 by Loull, 433 阅读, 0 推荐, 收藏,
摘要:http://blog.csdn.net/pongba/article/details/621723 图灵机是图灵为了研究可计算问题而构思的一个理论装置,你只要想一想有限状态机就可以大概知道图灵机是个什么概念了,只不过图灵机的内存(纸带)是潜无穷的(也就是可以任意长啦,“潜无穷”是古稀蜡人的说辞)。图灵机的定义形象的说来就像老式的电传机:一个读写头,一根纸带(可能任意长),读写头不断读取纸... 阅读全文

【CT】四、Turing Machines(2)

2012-12-29 16:01 by Loull, 232 阅读, 0 推荐, 收藏,
摘要:初始格局 半判断 阅读全文

【CT】四、Turing Machine(1)

2012-12-29 00:41 by Loull, 254 阅读, 0 推荐, 收藏,
摘要:一、Handicapped machines 二、 Compubility 三、Turing Machines 控制器在每步完成两种功能: 1、让控制器进入新状态 2、(a)若不是←、→符号,即一般的符号,则在当前少秒的带方格里写一个符号替换哪里的符号 (b)若是←、向左或→符号,则把读写头移动一格 a代表写a机,即在读写头当前位置写入a L和... 阅读全文

【CT】三、上下文无关文法,CFG,PDA

2012-12-28 15:53 by Loull, 974 阅读, 0 推荐, 收藏,
摘要:一、CFGV:字符集Σ:终结符集V-Σ:非终结符集S:起始符R:规则集合(V-Σ)x V*推导derivation:二、Parse Tree分析树三、PDA pushdown automata四、PDA & CFL五、上下文无关语言和非上下文无关语言在交和补运算下不是封闭的泵定理:六、上下文无关文法的算法右边为两个字母 阅读全文

【CT】二、有穷自动机Finite Automata

2012-12-27 22:58 by Loull, 244 阅读, 0 推荐, 收藏,
摘要:一、Deterministic Finite Automata二、Nondeterministic Finite Automata三、四、Regular Language五、正则语言和非正则语言 阅读全文

【sql】sql语句大全

2012-12-21 22:16 by Loull, 271 阅读, 0 推荐, 收藏,
摘要:mysql创建支持UTF-8编码的数据库GBK: CREATE DATABASE `test1` DEFAULT CHARACTER SET gbk COLLATE gbk_chinese_ci;UTF-8: CREATE DATABASE `test2` DEFAULT CHARACTER SET utf8 COLLATE utf8_general_ci;http://bbs.csdn.net/topics/360210527--语 句 功 能 --数据操作 SELECT --从数据库表中检索数据行和列 INSERT --向数据库表添加新数据行 DELETE --从数... 阅读全文

【sql】

2012-12-21 22:08 by Loull, 236 阅读, 0 推荐, 收藏,
摘要:http://www.cnblogs.com/yubinfeng/archive/2010/11/02/1867386.html经典SQL语句大全 一、基础1、说明:创建数据库 CREATE DATABASE database-name 2、说明:删除数据库 drop database dbname 4、说明:创建新表 create table tabname(col1 type1 [not null] [primary key],col2 type2 [not null],..)根据已有的表创建新表: A:create table tab_new like... 阅读全文

【hibernate】HibernateUtil和Hibernate的DAO

2012-12-21 21:49 by Loull, 579 阅读, 0 推荐, 收藏,
摘要:HibernateUtilimport org.hibernate.HibernateException;import org.hibernate.Session;import org.hibernate.SessionFactory;import org.hibernate.cfg.Configu... 阅读全文

【hibernate】hibernate对象生成表,web项目和普通项目的hibernate.cfg.xml

2012-12-21 21:42 by Loull, 431 阅读, 0 推荐, 收藏,
摘要:注意一、configure()总能找到配置文件,基本不需要自己给它制定路径Configuration config = new Configuration();//配置对象config.addFile("src\\main\\resources\\hibernate.cfg.xml");//加载配置... 阅读全文

【ml】机器学习,python几个站点

2012-12-21 21:30 by Loull, 268 阅读, 0 推荐, 收藏,
摘要:8、http://deeplearning.net/ Welcome to Deep Learning 7、http://blog.csdn.net/zshtang/article/category/870505 SVD和LSI教程 6、http://blog.csdn.net/shikai1030/article/details/7182312 高斯分布 5、http://guide... 阅读全文

【sparse coding】【转】sparse coding稀疏表达论文列表

2012-12-21 21:18 by Loull, 997 阅读, 1 推荐, 收藏,
摘要:http://www.sigvc.org/bbs/thread-57-1-1.html 1 What is the Goal of Sensory Coding: 介绍了两种sensory coding 的方式 PCA 和 Sparse coding,并比较了他们的优缺点,指出对于大 多数生物信息处理来说多采用sparse coding的方式。 2 Sparse coding ... 阅读全文

【统计学习】【转】统计学习那些事情

2012-12-21 12:48 by Loull, 491 阅读, 0 推荐, 收藏,
摘要:http://cos.name/2011/12/stories-about-statistical-learning/ 在港科大拿到PhD,做的是Bioinformatics方面的东西。Bioinformatics这个领域很乱,从业者水平参差不齐,但随着相关技术(比如Microarray, Genotyping)的进步,这个领域一直风风光光。因为我本科是学计算机电子技术方面的,对这些技术本身并没... 阅读全文

【统计学习方法】统计学习方法概论(2)

2012-12-19 22:34 by Loull, 344 阅读, 0 推荐, 收藏,
摘要:一、模型评估和模型选择1、训练误差与测试误差2、过拟合和模型选择经验风险最小化会出现过拟合问题。二、正则化与交叉验证1、正则化模型选择的典型方法是正则化。正则化是结构风险最小化策略的实现,是在经验风险上加一个正则化项。正则化符合奥卡姆剃刀原理。2、交叉验证另一种常用的模型选择方法是交叉验证cross validation随机将数据集切分成三部分:训练集,验证集,测试集。验证集用于多模型的选择。交叉验证的基本想法是重复地使用数据,吧给定的数据切分,将切分的数据集合为训练集与测试集,反复训练,测试,模型选择。(1)简单交叉验证(2)S折交叉验证(3)留一交叉验证三、泛化能力四、生成模型与判别模型1 阅读全文

【事务管理】两段封锁协议和冲突可串行化

2012-12-19 20:56 by Loull, 5460 阅读, 1 推荐, 收藏,
摘要:如何证明遵循两段锁协议的事务调度处理的结果是可串行化的 怎么证明遵循两段锁协议的事务调度处理的结果是可串行化的? 如题 ------解决方案-------------------------------------------------------- 9.4. 可串行化隔离级别 可串行化(Serializable) 提供最高级别的事务隔离。 这个级别模拟串行的事务执行, ... 阅读全文