丘奇-图灵论点与人类认知能力和极限

in 计算机科学  |  update on
丘奇-图灵论点与人类认知能力和极限The Church-Turing Thesis and Human Cognitive Ability and Limit Link 本文以丘奇—图灵论点为背景,论述了人类认知能力及其极限,提出了人类认知的可数无限性,和人的认知能力是受递归规律限制的观点。最后,为计算主义认知观提供了一定的计算神经科学的证据。 引言无论人脑和计算机在硬件层次乃至在软件层次可能...
Continue reading

atom的latex插件配置笔记

in IDE  |  update on
atom的latex插件配置笔记latex安装配置安装前准备如果已经安装了其它版本的TeX Live,需要先卸载掉。 下载最新版本程序 阿里云镜像 为了使用图形化安装界面,需要安装perl的tk组件: 1sudo apt-get install perl-tk 加载镜像文件1sudo mount -o loop texlive2016.iso /mnt 启动安装程序的图形化界面进行配置12cd /...
Continue reading

Latex学习笔记 (1-简介)

in Latex  |  update on
简介历史回顾图像数据、页面描述语言、标记语言的关系大致可以比喻为机器码、汇编语言、高级语言。而在排版领域, TEX 是最精确最强大的标记语言。 页面描述语言 PDF DVI TEX 家族的设备独立文件格式 (device independent file format, DVI ) DVI 和其他页面描述语言的主要区别是,它不能嵌入字体和图形。 XPS 微软的 XML 纸张规范 (XML...
Continue reading

Latex学习笔记 (2-入门)

in Latex  |  update on
入门语法和结构语法LATEX 源文件的语句可以分为三种:命令 (command) 、数据和注释(comment) 命令又分为普通命令和环境 (environment) 。普通命令以 \ 起始,大多只有一行;而环境包含一对起始声明和结尾声明,用于多行内容的场合。 命令和环境可以互相嵌套。 数据就是普通内容。 注释语句以 % 起始,它在编译过程中被忽略。 物理结构物理结构指的是源文件的组织形式,包括序...
Continue reading

Latex学习笔记 (3-字体)

in Latex  |  update on
字体字符集和编码UTF-8 字体格式点阵和矢量字体电脑字体的数据格式可以分为三大类:点阵 (bitmap) 字体、轮廓 (outline)字体和笔画 (stroke-based) 字体。 点阵字体通过点阵来描述字形。早期的电脑受到容量和绘图速度的限制,多采用点阵字体。点阵字体后来渐渐被轮廓字体所取代,但是很多小字号字体仍然使用它,因为这种情况下轮廓字体缩放太多会导致笔画不清晰。 轮廓字体又称作矢量...
Continue reading

java虚拟机并发编程 (2-分工原则)

in JAVA  |  update on
分工原则从顺序到并发如何估计需要创建多少个线程、如何分解问题以及如何估算性能提升的程度。 确定线程数阻塞系数 : 任务有处于阻塞状态占总处理时间的百分比 计算密集型任务的阻塞系数为0 , 而IO密集型任务的阻塞系数则接近1 可以采用一些性能分析工具或java.lang.management API来确定线程花在系统IO操作上的时间与CPU密集任务所耗时间的比值 线程数 = CPU可用核心数 / (...
Continue reading

java虚拟机并发编程 (1-基础知识)

in JAVA  |  update on
基础知识并发的问题饥饿当一个线程等待某个需要运行很长时间或永远无法完成的事件发生时,该线程就会陷人饥饿。为了避免线程陷入饥饿,我们可以为其设计一个等待超时的策略。 死锁两个或两个以上的进程在执行过程中,由于竞争资源或者由于彼此通信而造成的一种阻塞的现象。 产生条件 互斥条件:指进程对所分配到的资源进行排它性使用,即在一段时间内某资源只由一个进程占用。如果此时还有其它进程请求资源,则请求者只能等待,...
Continue reading

java虚拟机并发编程 (3-设计方法)

in JAVA  |  update on
设计方法处理状态 共享可变性(Shared Mutability) 隔离可变性(Isolated Mutability) 纯粹不可变性(Pure Immutability) 不可变的数据结构在采用面向对象分解方式的应用程序中实现纯粹不可变性设计要比在采用函数式分解的应用程序中更难实现。需要设计更符合不可变性的算法,应用递归结构或函数式组合以及持久化数据结构,才有可能真正实现纯粹不可变性设计...
Continue reading

java虚拟机并发编程 (5-驯服共享可变性)

in JAVA  |  update on
驯服共享可变性显示同步 请不要随意创建线程,而是使用线程池来降低任务启动时间和资源消耗 通过正确评估程序所需要的锁的粒度来提高程序的并发度。请确认你当前所使用的锁是否过于保守,如果是的话请将其调整为合适的粒度,以便能够同时满足程序对线程安全和并发度的双重需求。 当需要同时使用多个可变字段时,请核实对这些变量的访问是否是原子的,也就是说,要保证其他线程不会看到这些变量的部分修改结果(parti...
Continue reading

java虚拟机并发编程 (6-软件事务内存)

in JAVA  |  update on
软件事务内存对象模型的缺陷作为一个java程序员,我们对面向对象的编程(OOP)自然都是烂熟于胸的,但语言也极大地影响了我们对面向对象应用程序的建模方式。现在的OOP已经和AlanKay当初创造这个词时候的初衷大不相同了。他的主要思想是采用消息传递并消灭所有数据(他认为,系统是由一些类似于生物细胞那样的对象构成的,这些对象通过消息传递进行通信,且无需持有任何状态)。随着这一技术的演进,面向对象的语...
Continue reading

srzyhead

Progress is the activity of today and the assurance of tomorrow.


Web Developer


Tianjin,China