T********i
发帖数: 2416 | 1 本文的目的在于帮助程序员树立正确的世界观和人生观。如果感觉颠覆感太强烈，主要
原因也不是你学错了，而是你的老师教错了，或者你的教科书写错了。
1. 确定图灵机和不确定图灵机，
根据计算机科学理论，图灵机（Turing Machine）是计算机的抽象模型。现有的计算机
的计算能力（不是速度，而是理论上能够求解数学问题的能力）不会超过这个模型。
确定图灵机（DTM）是图灵机的一个经典描述，是一个单线程的图灵机。
不确定图灵机（NTM）可以看作是一台有无穷多单线程的图灵机组合的图灵机。也就是
有无限并行能力的图灵机。
可计算性理论可以证明，NTM和DTM是等价的。也就是说DTM可以完全模拟NTM。NTM能够
计算的题目，DTM也必然能够计算，虽然可能速度上比NTM慢很多倍。
2. 冯.诺依曼（Von Neumann）计算机体系就是DTM
现在的计算机都是冯.诺依曼体系。即使多核计算机，本质上也就是有限个DTM组合。和
NTM相距甚远。注意NTM是有无限个核心的无穷并行的计算机。
3. 什么是NTM？量子计算机才是
有一种理论认为量子计算机利用平行宇宙进行超大规模并行计算，也... 阅读全帖 |
|
T********i
发帖数: 2416 | 2 本文的目的在于帮助程序员树立正确的世界观和人生观。如果感觉颠覆感太强烈，主要
原因也不是你学错了，而是你的老师教错了，或者你的教科书写错了。
1. 确定图灵机和不确定图灵机，
根据计算机科学理论，图灵机（Turing Machine）是计算机的抽象模型。现有的计算机
的计算能力（不是速度，而是理论上能够求解数学问题的能力）不会超过这个模型。
确定图灵机（DTM）是图灵机的一个经典描述，是一个单线程的图灵机。
不确定图灵机（NTM）可以看作是一台有无穷多单线程的图灵机组合的图灵机。也就是
有无限并行能力的图灵机。
可计算性理论可以证明，NTM和DTM是等价的。也就是说DTM可以完全模拟NTM。NTM能够
计算的题目，DTM也必然能够计算，虽然可能速度上比NTM慢很多倍。
2. 冯.诺依曼（Von Neumann）计算机体系就是DTM
现在的计算机都是冯.诺依曼体系。即使多核计算机，本质上也就是有限个DTM组合。和
NTM相距甚远。注意NTM是有无限个核心的无穷并行的计算机。
3. 什么是NTM？量子计算机才是
有一种理论认为量子计算机利用平行宇宙进行超大规模并行计算，也... 阅读全帖 |
|
m***i
发帖数: 2480 | 3 观点比较奇怪。开发效率在大多数时候是最重要的，因为人力的成本最高。雇一个人的
花费远比多用两台机器的花费大。
线程,promise大多时候比自动机直观，开发快，开发成本低。这就是为啥 node 火。一
门语言前
端后端通吃。发展的潮流是用机器解放人，简单的开发模型简化程序员的工作。
至于所谓最底层底是什么模型不相干，现在都是多层系统，你开发出来的东西只要和最
近一层match就对了。OS多数不是进程和线程的模型吗，哪个是自动机的接口。
自动机是你那 microcontroller上面没办法才用的。 |
|
m***i
发帖数: 2480 | 4 观点比较奇怪。开发效率在大多数时候是最重要的，因为人力的成本最高。雇一个人的
花费远比多用两台机器的花费大。
线程,promise大多时候比自动机直观，开发快，开发成本低。这就是为啥 node 火。一
门语言前
端后端通吃。发展的潮流是用机器解放人，简单的开发模型简化程序员的工作。
至于所谓最底层底是什么模型不相干，现在都是多层系统，你开发出来的东西只要和最
近一层match就对了。OS多数不是进程和线程的模型吗，哪个是自动机的接口。
自动机是你那 microcontroller上面没办法才用的。 |
|
T********i
发帖数: 2416 | 5 线程,promise大多时候比自动机直观？
这个版面上有几个会写线程的？你说的node，promise之类的，恰恰就是状态自动机。
人家状态给你定好的，让你写下状态响应函数而已。都是单线程的。而且，这些实现都
是单线程的。
观点比较奇怪。开发效率在大多数时候是最重要的，因为人力的成本最高。雇一个人的 |
|
T********i
发帖数: 2416 | 6 线程,promise大多时候比自动机直观？
这个版面上有几个会写线程的？你说的node，promise之类的，恰恰就是状态自动机。
人家状态给你定好的，让你写下状态响应函数而已。都是单线程的。而且，这些实现都
是单线程的。
观点比较奇怪。开发效率在大多数时候是最重要的，因为人力的成本最高。雇一个人的 |
|
m***a
发帖数: 2262 | 7 不是王垠。王浩，金岳霖的学生，哥德尔晚年的知己。提出的Wang Tiles，和图灵机等
价的形式系统。其实和图灵机等价的自动机或形式系统很多，关键是其直接物理映射或
较为直接的物理映射的可应用程度。图灵机不光早，在这方面也有优势。 |
|
z**********e
发帖数: 22064 | 8 http://mil.news.sina.com.cn/2015-05-14/1118830677.html
2015年05月14日11:18新浪军事
新浪军事前方报道：2013年8月27日，2013年莫斯科国际航空航天展正式开幕。东
道主俄罗斯无论是军方还是航空企业都高度透明的展示了其装备或研发的航空飞行器。
这是俄军展示的改进型通古斯卡M1弹炮合一防空系统。
文/科罗廖夫
有一种世界上最先进的自行高炮系统，从上世纪八十年代末装备以来，只参加过一
次实战，并且在一天内被全歼，这个悲催的高炮就是苏联2K22“通古斯卡”自行高炮。
“石勒喀”23毫米自行高炮在1964年一经问世就红遍全苏军，其良好的战斗性能得
到苏联陆军官兵的一致认可，在随后的1973年“赎罪日战争”中大放异彩，取得重大战
果。但苏军仍然认为这种高炮并非理想火炮，有许多缺点：防空范围较小，不超过2公
里；射高不足，只有1500米；口径小，装药量少，精度差，弹丸威力较低，毁伤能力不
足；火控系统容易丢失目标。苏军认为若想提高自行高炮的性能和威力，必须从三方面
着手，一是增加火炮口径，加大火力；二是配备先进的全天候火控系统，... 阅读全帖 |
|
z**********e
发帖数: 22064 | 9 【 以下文字转载自 Military2 讨论区 】
发信人: zhonghangyue (中行说), 信区: Military2
标 题: 国产轻武器 63式自动步枪
发信站: BBS 未名空间站 (Thu Jan 8 01:13:15 2015, 美东)
http://www.firearmsworld.net/china/rifle/1963/63.htm
国产轻武器 63式自动步枪
口径：7.62×39mm
研制过程
63式自动步枪是我国自行研制的第一支步枪（在外国被误称为68式）。1958年，全国掀
起“大跃进”高潮，全国群众“鼓干劲”“争上游”，放卫星，创奇迹，国防科技界也
跟随热潮行动起来，大干“一天等于20年”的工作，63式自动步枪就是在这样的时代背
景下开始研制的。
1950年代我军装备仿制的苏式AK-47突击步枪、SKS半自动步枪和RPD轻机枪在我国统称
为56式枪械，均发射56式7.62mm中间型枪弹，这在当时已是很先进的了。但是在强调“
独立自主，自力更生”的思想指导下，一定要搞出自己的产品。原子弹、卫星都要有了
，还搞不出自己的步枪吗？再就是我军战术思想，强... 阅读全帖 |
|
z**********e
发帖数: 22064 | 10 http://www.firearmsworld.net/china/rifle/1963/63.htm
国产轻武器 63式自动步枪
口径：7.62×39mm
研制过程
63式自动步枪是我国自行研制的第一支步枪（在外国被误称为68式）。1958年，全国掀
起“大跃进”高潮，全国群众“鼓干劲”“争上游”，放卫星，创奇迹，国防科技界也
跟随热潮行动起来，大干“一天等于20年”的工作，63式自动步枪就是在这样的时代背
景下开始研制的。
1950年代我军装备仿制的苏式AK-47突击步枪、SKS半自动步枪和RPD轻机枪在我国统称
为56式枪械，均发射56式7.62mm中间型枪弹，这在当时已是很先进的了。但是在强调“
独立自主，自力更生”的思想指导下，一定要搞出自己的产品。原子弹、卫星都要有了
，还搞不出自己的步枪吗？再就是我军战术思想，强调人民战争，全民皆兵，需要大量
的枪械、弹药，供给民兵装备，显然对于一支性能优良的、突出步枪作战效能的自动步
枪就是十分需要的了。
56式半自动步枪，射击精度好，带伸折的刺刀，能够体现“刺刀见红”的勇敢精神；56
式冲锋枪，能连发射击，火力较猛，但射击精度差，没... 阅读全帖 |
|
d******h
发帖数: 39 | 11 主题：中国步枪的发展历程{转摘}
武器装备的现代化是实现国防现代化的一个重要方面，轻武器又是武器装备中的重要组成
部分。步枪作为轻武器骨干，其装备的广泛性、重要性为世界各国所重视。步枪在我国尤
为重要，抗日战争、解放战争依靠的是小米加步枪，小米是国产的，而步枪却是外来的，
“三八大盖”，“美式卡宾”乃至旧中国的“二四”式也是德国毛瑟的原型，偌大一个中
国竟没有自己的步枪。
解放后，国家投入了很大力量，支持发展兵器工业，改造和新建了兵工厂，建立了兵器工
业基础设施；设置兵器专业高等院校，培养专业人才；设置了研究机构，开展专题研究。
经过长期的努力，使我国步枪得以从无到有，从小到大发展起来。至今，我国已经有了达
到世界先进水平的５.８ｍｍ枪族，表明我国步枪已经发展到了一个新阶段。
我国步枪的发展，始终密切配合部队的作战需要，基本上实现了定型一代、装备一代，研
制一代、更新一代；在不断提高水平的基础上向前推进。其发展历程大体上可分为３个阶
段，即仿制、自行设计、独立自主研究阶段。
仿制阶段
53式7.62mm步骑枪
１９５０年，美帝国主义悍然发动了侵朝战争，我英勇的人民志愿军刚从解放战争的疆... 阅读全帖 |
|
v*x
发帖数: 32 | 12 建议看英国物理学家彭罗斯的书, 有中文版的; 他证明(或者是引用别人的证明)
现在意义上的计算机无论多快多复杂, 也和大脑有根本的不同. 如果你的那个
深蓝是一台计算机, 无论那神经元算法多么复杂也和大脑不一样.
那个证明是这样的, 计算机是所谓的图灵机, 也叫做自动机; 自动机可以
用来证明定理; 但是有一些定理, 被证明是不能用自动机证明的. 但是人脑
却证明了这些定理.
这便是不同. 他认为大概要给计算机引人随机性; 而全世界所有的随机性都来源
于量子随机; 而量子过程在大脑里面扮演的角色大概是很重要的了.
至于量子电脑--如果不是自动机的话, 并非不可能发展到大脑那样有智慧甚至
意识. |
|
s**d
发帖数: 18498 | 13 【 以下文字转载自 Military2 讨论区 】
发信人: szbd (小破猫), 信区: Military2
标 题: 【军事科普】29。土共三位一体自行高炮（一）
发信站: BBS 未名空间站 (Tue Oct 12 00:01:20 2010, 美东)
从前面的介绍可以看出来，高炮的作战除了炮本身，还需要搜索跟踪目标的雷达，指挥
高炮射击的火控，另外还有自动操炮用的电源。如果将这些都集成到一辆车上，就是真
正的自行高炮，有别于简单的把炮装在车上的高炮。
世界上第一种这类高炮是西德的猎豹，于1976年服役。土共于80年代初全面升级陆军兵
器的规划中，也决定研制一款类似的自行高炮，于88年定型为PGZ88式。
pgz88
该炮有搜索测距雷达，探测距离15公里，高度3000米，以及激光测距，光学跟踪系统，
采用了76式双37舰炮的自动机和电控射击系统，但仍采用65式双37高炮的炮身，以兼容
陆军的弹药。
后部
该炮采用79式坦克的底盘，带有发电机。79坦克底盘较小，加上火炮双管并列中置占用
体积很大，炮塔内乘员只能坐在火炮后方，而且炮塔内共有瞄准手和炮手2名乘员，所
以该炮的炮塔非... 阅读全帖 |
|
d*****u
发帖数: 17243 | 14 编译器自动机原理这些跟现在的主流AI没太多直接联系，用的工具完全不一样。
现在主流AI的用的是实分析或者说（多维）微积分的东西。自动机原理直接对应的是数
理逻辑（？）
过去自然语言处理倒是有一些内容接近自动机，比如自然语言的句法也分正则的，
context-free, context-sensitive等等。但现在一般不按那个路子走，用parsing的都
不是主流了。都是直接用高维实数向量或张量来表示状态。 |
|
s**d
发帖数: 18498 | 15 从前面的介绍可以看出来，高炮的作战除了炮本身，还需要搜索跟踪目标的雷达，指挥
高炮射击的火控，另外还有自动操炮用的电源。如果将这些都集成到一辆车上，就是真
正的自行高炮，有别于简单的把炮装在车上的高炮。
世界上第一种这类高炮是西德的猎豹，于1976年服役。土共于80年代初全面升级陆军兵
器的规划中，也决定研制一款类似的自行高炮，于88年定型为PGZ88式。
pgz88
该炮有搜索测距雷达，探测距离15公里，高度3000米，以及激光测距，光学跟踪系统，
采用了76式双37舰炮的自动机和电控射击系统，但仍采用65式双37高炮的炮身，以兼容
陆军的弹药。
后部
该炮采用79式坦克的底盘，带有发电机。79坦克底盘较小，加上火炮双管并列中置占用
体积很大，炮塔内乘员只能坐在火炮后方，而且炮塔内共有瞄准手和炮手2名乘员，所
以该炮的炮塔非常大。另外2名乘员为车长和驾驶员，坐在车体内。该炮战斗全重约35
吨。
PGZ88水平不算太高，比如指挥火炮射击只有光电跟踪，没有火控雷达；自动化程度和
全天候作战能力尚有欠缺；火炮性能不佳，双管射速只有360发/分，射程精度也还是65
式双37的水平；炮塔体积过... 阅读全帖 |
|
j**l
发帖数: 2911 | 16 那些有限自动机，文法，下推自动机，非确定自动机，正则表达式，图灵机，多带图灵
机，停机问题的判定，可计算性，递归可枚举，LR分析，内容真是丰富多彩。
特别是康托用来证明实数不可数的对角线法则，用到停机问题，真是让人觉得巧妙。 |
|
d******9
发帖数: 36 | 17 找到工作后笔记本坏了，整理的面经都没了。迟了几个月把找工作的经历记录下来，希望能给H4找工作的mm们一些信心和帮助。
个人背景：
THU CS PhD，2011.10生小孩，2012.1毕业，2012.5 H4来美国。读书期间没有实习经历，简历上基本都是课程项目还有自己写的几个小软件（后悔以前太懒了，应该多出去实习的）。
2012.9奶奶从国内过来，我开始复习找工作。
复习材料：
先是CC150，programing pearls, leetcodeOJ，这些至少要自己做2遍的。有时间就看看
版上面经。最后一个面试前两周才开始看introduction to algorithm。在面试前针对公
司类型把本科学的操作系统，编译原理，数据库课件拿出来看过。我是用C++面试，所以
C++语言也复习了一点。JAVA上过课，但是很久不用，忘了很多。用一周的时间在android上自己写了一个小的图片管理器，算是重新学JAVA了。后来证明这个小东西在面试聊项目时还是很有帮助的。
前三本书能无bug写出来是基本功，重要的还是边复习边总结。每一种类型的题目得
举一反三。争取做到看版上面经中类似题目的时候... 阅读全帖 |
|
t*******r
发帖数: 22634 | 18 我查了一下 “芝诺的乌龟问题”，其实前面这个 “有限无限的问题”
跟 “芝诺的乌龟问题” 关系不大。
“芝诺的乌龟问题” 是个哲学问题，而前面的 “有限无限的问题”
是对娃版数学的 “有用性” 的问题。
当代数学的有用性部分，几乎全部是建立在电算基础上的。
（肉算不是没用，但那个是 homedepot 门口老莫按计算器
按钮的活）。
而电算的数学基础，是符号逻辑和自动机，以及如何用符号逻辑
和自动机来 model 和 求解 现实世界的问题。。。现实不存在
“无限状态自动机”，所以任何的 “无限”，必须要 model 成有限
个数的符号，才能“有用”。
当然，如果要把娃培养成理论数学家或者哲学家的，另当别论。。。
不过那不是主流就是了。。。主流的扑通蛙，目的说白了就是在电算
时代，别学成个在电算时代里屁用没有的电算数学废柴。。。 |
|
d*q
发帖数: 4 | 19 整个中科院的人讲的东西给你看看
王小云的水平就不说了
从专业角度说一下应明生，我很佩服的一个人
本帖最后由 eher 于 2010-12-26 07:36 编辑
虽然我不完全是他那个领域的，不过他的工作我还是了解一点。最近科学院的同事们越
来越多提起他，就在网上搜了一些他的介绍，汇总与下，他是我真正佩服的少数中国科
学家之一。
可以说，在姚期智回归中国之前，应明生是事实上的中国理论计算机第一人，是真正做
研究的人，国内极少有人能达到他的境界。国内确实有不少老院士，但是，能跟的上甚
至引领国际潮流的只有应明生一个人。最难得的是，此人出身于一个不知名的师范学校
，然后清华慧眼识珠请他过去，他在清华也做出了一系列极为瞩目的成绩，他的学生，
如张胜誉去了香港中文大学任助理教授，冯沅和段润尧成了澳洲科技大学的副教授等等。
他早期做概率程序与进程方面的研究，并因此拿了“王选奖”，国外同行的评价是“
beyond what we have seen so far”，“really novel ideas”,“a new angle, …
which other researchers in this... 阅读全帖 |
|
r**********g
发帖数: 22734 | 20 不算。人类的语言，即使是最古老的语音，都是四刑自然语言。目前只有某种荷兰方言
可以用下推自动机重构，更别提有限状态自动机了。
动物的语言连正则语法都不用，大部分就是些孤立名词动词。
语言能力是区别人与动物的本质，没有任何一种动物，除了人和培训的几只猩猩，能够
运用语法构造出新的句子。 |
|
s**d
发帖数: 18498 | 21 前面提到过，土共在80年代比较了瑞典博福斯40mm单管高炮和瑞士厄利孔35mm双管高炮
后，选择了厄利孔的产品作为新一代主力高炮。不过因为该炮仿制艰难，直到99年才定
型。
瑞士厄利孔和瑞典博福斯公司很早就统治了这个领域。二战前博福斯的40mm炮和厄利孔
的20mm炮就被各主要参战国引进生产，二战中各有数万门作为高炮和舰炮服役，厄利孔
的设计也作为战斗机航炮，数量就更大了。
战后厄利孔的双35高炮要更成功一些。该炮型号从GDF001到GDF007，第一款GDF001于
1959年定型，60年代进入量产，其炮身和自动机等射击部分至今基本没有变化，后来的
型号主要是改进自动化指挥系统，还有其他小的改动，以及使用近些年出现的可编程弹
药AHEAD。总的来说，GDF002改动最大，1980年推出，改为成熟的全自动火控体系。其
次GDF005升级了火控，自动机略有改进，GDF006和007就是将老型号升级到使用AHEAD。
该系列行销世界，装备了约30个国家和地区。不过每家装备都不多，估计因为价格太高
。现在最大的用户应该就是土共了。
其中阿根廷在GDF002刚推出时就买了15门和6台火控。在马 |
|
m********5
发帖数: 17667 | 22 完全瞎鸡巴扯淡，估计是<走进伪科学>这种烂纪录片才会这么把观众当白痴涮
手枪横着拿，无法进行瞄准，更无法稳定设计，至于产生扫射效果.... 我的天
历史上，八路的部队没人横着拿驳壳枪，因为驳壳枪后座力大，一般双手瞄准设计，当
年大陆的部队，特别是游击队，子弹少，因此绝少连射，上跳对他们来说不是太大问题
。还有人用枪托配合此物射击。
另外，特攻队，有牛人配双枪的，一般是一只自动机没有准星，主要用于近战，一只有
准星单发，这是主要用的枪，即使双枪在手，射击时也只用有准星的枪。自动机是备用
，比如给主枪换弹夹的时候如果有敌人，则无瞄准射击，这种情况其实不多的。
而且很少有人是横着拿驳壳枪（如果不是没有的话），原因上面说了。有导演和演员误
以为枪手是横拿，其实不是，而是略微斜一点，这个倾斜不是用来抵消后座力，而是为
了避免被抛出的弹壳射到（此枪的重要设计缺陷）。
无准星扫射一般是手肘弯曲持枪于腰，或者紧贴胸部，这样虽然不酷，但是却能最大限
度抵消后座力和增加射中上半身重要器官的几率。
点. |
|
发帖数: 1 | 23 编译原理 自动机有个jb难的
虽然刷题码农是搞不懂
[在 greemint (没名字) 的大作中提到：]
:想想编译原理，有限自动机
:哪是现在这帮刷题的码农能搞懂的 |
|
z**********e
发帖数: 22064 | 24 http://jczs.sina.com.cn 《国际展望》杂志
俄罗斯特种兵试射AN-94自动步枪。
AK步枪之父：卡拉什尼科夫
从上至下为AK-101步枪口径5.56毫米。AK-103口径7.62毫米针对长期使用AK47的用户。
AK-105口径5.45毫米可看作是AKS-74U的改进型。
上图为俄罗斯三大精英突击步枪大集合。从前至后分别是AEK-971、AN-94、AK-74M。
盘点后卡拉什尼科夫时代——俄罗斯新一代自动步枪
▲ 前言
莫斯科以东1130公里、乌拉尔地区（Western Urals）的一个叫伊热夫斯克（
Izhevsk）的小地方，这个地方本身毫不起眼，要在大比例尺的地图上才找得到。正如
景德镇因为瓷器而蜚声海外，伊热夫斯克也因为一种特产而为人所知，只不过这种特产
是杀人的枪！伊热夫斯克是俄罗斯轻武器设计师们心中的麦加，这一点毫无疑问，前苏
联和俄罗斯陆军几乎所有的现代化轻武器都是从这里走下制图板，走向战场的。这些轻
武器的名字如雷贯耳，它们是AK-47、AKM、AK-74、AK-74M、马卡洛夫手枪、德拉贡诺
夫狙击步枪，随便哪一种都是世界轻武器发展史上的精品。... 阅读全帖 |
|
n*****s
发帖数: 6495 | 25
我来给小6补充一下
5. 别人回完贴干别的事去了ID还显示在线->别人在酝酿怎么回小二酝酿了几个小时没
酝酿出来->小二胜利
6. 别人回完贴过了一个小时把原帖修改了一下->别人憋了一个小时修改贴子->小二胜利
总之小二是从一个胜利走向另一个胜利
小二，我觉得你挺像一个有穷状态自动机，你要不要像百度动量守恒一样再百度一下有
穷状态自动机，然后再来科普一下？ |
|
T**********y
发帖数: 157 | 26 http://www.ccse.uestc.edu.cn/teacher/teacher.aspx?id=414
所有已经发表论文清单
（发表时间序）
【1】 周涛，傅忠谦，周佩玲，张建荣，张德学，”基于遗传算法的大规模流量
工程问题求解”，计算机应用，2003年第6期，43－45
【2】 杨春霞，周涛，周佩玲，刘隽，基于Multi_Agent的股市经济系统建模与
分析，自动化理论、技术与应用卷十，中国科学技术大学出版社，2003年，596-601（
中国自动化学会第18届青年学术年会会议论文集）
【3】 周佩玲，许民，赵亮，周涛，”混沌信号奇异性检测与外界冲击度量”，
数据采集与处理，Vol.19，195-198，2004
【4】 周涛，徐俊明，刘隽，”图直径和平均距离极值问题研究”，中国科学技
术大学学报，Vol.34，410-413，2004
【5】 周佩玲，杨春霞，周涛，李立文，”虚拟股市建模与混沌分析”，中国科
学技术大学学报，Vol.34，442-448，2004
【6】 T. Zhou, P. ... 阅读全帖 |
|
|
|
f*******9
发帖数: 74 | 29 没有一定的压力，做不出来好咖啡。你们那些几十块钱的小机械，压力最多也就2 bar
，而espresso至少需要八九bar，才能把crema榨出来。全自动机子挺好，一般标配15-
19 bar，咖啡豆可以从小公司订货，现烤的，快递过来不过两三天，然后在咖啡机里现
磨，非常新鲜。我用过Delonghi, Krups, Melitta，Saeco，还有Siemens/Bosch的，觉
得Delonghi性价比最高，Siemens最炫。之前有人贴的那款22.110算是最便宜的系列了
，性能仍然出众，但是打奶泡需要一些技巧。Melitta有些款，打奶泡会有转头旋转，
做出来的奶泡非常细腻。高端的机子配奶箱，自动打奶泡，往往并不如手动打得好；还
有一些机子带有Cappuccinatore，自动从牛奶盒子里面负压吸取牛奶，然后打奶泡，省
却了清洗奶箱的麻烦。咖啡馆里的机子都是自动磨豆，手动打奶泡，有一系列可以调节
的装置。星巴克的咖啡，说实在的，一般般，还不如家用的自动机。
省钱的方式可以是买半自动机，就是自己磨豆，然后送到15 bar的机子里。半自动机的
价格只有全自动机的三分之一左右，也可以打奶... 阅读全帖 |
|
W******g
发帖数: 887 | 30 很多学校有一门课叫形式语言与自动机。
专门从自动机讲到图灵机。
对程序员最没用的一门课之一。
啊， |
|
|
w*****j
发帖数: 226 | 32 用自动机写的
求批判
个人觉得自动机的好处是可视化，只要图画对，代码不容易写错
corner case看得也比较清楚
enum State
{
ErrorState
{
@Override
public boolean isValid() { return false; }
},
EndState,
StartState
{
@Override
public State readDigit() { return DigitState; }
@Override
public State readPlus() { return PlusState; }
@Override
public State readMinus() { return MinusState; }
@Override
public State readPoin... 阅读全帖 |
|
w*****j
发帖数: 226 | 33 用自动机写的
求批判
个人觉得自动机的好处是可视化，只要图画对，代码不容易写错
corner case看得也比较清楚
enum State
{
ErrorState
{
@Override
public boolean isValid() { return false; }
},
EndState,
StartState
{
@Override
public State readDigit() { return DigitState; }
@Override
public State readPlus() { return PlusState; }
@Override
public State readMinus() { return MinusState; }
@Override
public State readPoin... 阅读全帖 |
|
t******l
发帖数: 10908 | 34 ：我看着
：有的人自己看书效果好，有的人听讲效果好，有的人看电视片儿上网课效果好
：不论哪种学习方式吧，真要学通学懂了，一个人必须用心用脑要思考
你说的在理。
但另一方面，人心理学 PHD 也得灌水 paper 数量一到就毕业不是？反正心理学业界
一半以上的心理学实验 not-reproducible，你总不能让人 PHD 不能毕业做一辈子千老
不是？有没有良心你。。。
反过来说，马工这么较真，以至于测试组报个产品有 10% 概率的晃点率，马工立马一拍
桌子问你丫是人工肉测还是自动机测。人工肉测的话，测试工丫的手滑没？自动机测的
话，
机器人 script 和 log 先拿来 review，云云。。。这看起来特么的不近人情，但这其实
是马工职业为老板所迫歌，一样都是为了混饭。
这是因为马工的实验太可控了，概率错误也能做到让机器人在 sever farm 放羊跑
一万+次回来，在概率上可控。这还不算，一万+个数据点还可以 data mining 找各种
pattern。这样万一你不怀疑测试人肉工手滑、或者测试机器工逻辑漏洞，而别人怀疑
了、
去伪存真发现了真凶。Reproducible ... 阅读全帖 |
|
T**********y
发帖数: 157 | 35 【 以下文字转载自 Faculty 讨论区 】
发信人: TenMilesADay (郭十迈), 信区: Faculty
标 题: 快来看牛逼的27岁教授
发信站: BBS 未名空间站 (Sun Mar 11 13:14:59 2012, 美东)
http://www.ccse.uestc.edu.cn/teacher/teacher.aspx?id=414
所有已经发表论文清单
（发表时间序）
【1】 周涛，傅忠谦，周佩玲，张建荣，张德学，”基于遗传算法的大规模流量
工程问题求解”，计算机应用，2003年第6期，43－45
【2】 杨春霞，周涛，周佩玲，刘隽，基于Multi_Agent的股市经济系统建模与
分析，自动化理论、技术与应用卷十，中国科学技术大学出版社，2003年，596-601（
中国自动化学会第18届青年学术年会会议论文集）
【3】 周佩玲，许民，赵亮，周涛，”混沌信号奇异性检测与外界冲击度量”，
数据采集与处理，Vol.19，195-198，2004
【4】 周涛，徐俊明，刘隽，”图直径和平均距离极值问题研究”，... 阅读全帖 |
|
b*******y
发帖数: 4304 | 36 神话苏联可以休矣。。。
根据武汉大学的讲义， 苏美各有千秋， 美国更厉害一些， 维拉香浓两个巨牛：
公元1875年 ·英国E.J.劳思建立劳思判据 公元1876
年 ·英国R.怀特黑德研制出采用比例微分控制的自动式鱼
雷 ·美国A.G.贝尔发明实用的电话机
·俄国И﹒А﹒维什涅格拉茨基发表《论调节器的一般原理》 公元1879
年 ·美国D.康诺利发明自动电话交换机 公元1890年
·美国H.霍勒里思研制出第一台有实用价值的卡片程序控
制计算机 公元1892年 ·俄国 李雅普诺夫﹐А.М.
发表《论运动稳定性的一般问题》 公元1895年 ·德
国A.... 阅读全帖 |
|
y****w
发帖数: 39 | 37 六、心是物质吗？
(1）智能机器人之争
“外面的物质世界，是虚幻的，并不存在，离一多故。”
“喂，你到底想说什么啊？！”
“我是说，外境是心的幻象，如梦一般。”
“敢情，你用了这么长一节，绕了一个大圈，就是为了得出前面提到的那句话。‘那个
当年的孩子’怎么说来着？对了，物质世界，还有一个名字，叫做‘梦’。”
“是的。物质如梦。外境如梦。色法如梦。在梦里，我们可以梦见自己开着‘宝马’和
心爱的女友兜风，就像白天一样真实。但是我们知道，正在做梦的当下，在做梦的房间
里根本没有一辆宝马汽车。所有的一切，都是自己梦心里的幻现。”
“外境是心的幻现。可是，心是什么呢？”
“心就是心。”
“可是，我们从小学到的科学知识，心不是物质产生的么？”
“知识是一回事，真理是另外一回事。智者应该追求真理，而不是知识。”
从整个历史来看，持唯物主义观点的人，一直是少数。但是就我们这一代人所学到的知
识来看，唯物主义确实深入人心。
虽然，量子力学的发展，几乎剥夺了传统唯物主义和传统唯心主义生存的土壤。但是，
随着智能机器人的发展，和认知心理学的发展，在某个范围内，人们的唯物主义观念，
还是非常深厚。所以，刚才的... 阅读全帖 |
|
y****w
发帖数: 39 | 38 六、心是物质吗？
(1）智能机器人之争
“外面的物质世界，是虚幻的，并不存在，离一多故。”
“喂，你到底想说什么啊？！”
“我是说，外境是心的幻象，如梦一般。”
“敢情，你用了这么长一节，绕了一个大圈，就是为了得出前面提到的那句话。‘那个
当年的孩子’怎么说来着？对了，物质世界，还有一个名字，叫做‘梦’。”
“是的。物质如梦。外境如梦。色法如梦。在梦里，我们可以梦见自己开着‘宝马’和
心爱的女友兜风，就像白天一样真实。但是我们知道，正在做梦的当下，在做梦的房间
里根本没有一辆宝马汽车。所有的一切，都是自己梦心里的幻现。”
“外境是心的幻现。可是，心是什么呢？”
“心就是心。”
“可是，我们从小学到的科学知识，心不是物质产生的么？”
“知识是一回事，真理是另外一回事。智者应该追求真理，而不是知识。”
从整个历史来看，持唯物主义观点的人，一直是少数。但是就我们这一代人所学到的知
识来看，唯物主义确实深入人心。
虽然，量子力学的发展，几乎剥夺了传统唯物主义和传统唯心主义生存的土壤。但是，
随着智能机器人的发展，和认知心理学的发展，在某个范围内，人们的唯物主义观念，
还是非常深厚。所以，刚才的... 阅读全帖 |
|
P**********n
发帖数: 6311 | 39 凯林先生最近情绪沮丧，闹不清这深埋内心的奇怪感觉从何而来。他反复思忖，米
莱尔的死应该是与他无关的。
快活而善良的胖子米莱尔为何要自寻绝路呢？按道理说他应有尽有：妻子、孩子、
称心的工作……一般人梦寐以求的他全有了，那他为何还要自杀？
"早上好。"他坐上餐桌时，妻子朝他嫣然一笑。
"你好，莉拉。你好，比利。"
儿子嘴里不知在咕噜什么。
"要真正了解一个人实在很难。"凯林在思索时妻子已去厨房索要早餐。A·E公司的
机器厨师送上了丰盛饭食，佩凯林的情绪并未好转，他很想放松一下自己，因为A·E公
司的财务代表今天即将来访，这可是头等大事。
他送儿子上学到门口，
"比利，一路走好。"
儿子点点头走了，一句话也没说。凯林想难道这就是使他心烦意乱的根源？但似乎
又不大像。
妻子说："我出去一下，亲爱的。"
他吻了她，让她去购物了。
她每天花多少时问泡在A·E公司的商店里？他看看表：离财务代表的到来还有半小
时，据说摆脱坏情绪的最好办法就是淹没它--洗个热水澡，于是他决定淋个浴。
浴室雪白无瑕的瓷砖使凯林为之一振，他把衣服顺手扔进A·E公司的自动洗熨机，
又把莲蓬头的水温调节到微温档，水流柔柔地冲冼... 阅读全帖 |
|
f*********g
发帖数: 632 | 40 一般是数理逻辑（大都到谓词演算就算了）、集合论初步、群环域格基本概念、图论（
主要讲树）、形式语言、自动机这些内容，有些学校数理逻辑讲得很多，图论也讲不少。
觉得就到谓词演算的话，数理逻辑就差不多像说谁都知道的道理一样。群环域格结合着
小学算术就能讲明白了吧，例子再难一点的话，就举矩阵啊什么的。形式语言就拿自然
语言做例子，然后抽象一下就好了。自动机就拿那些什么寄存器啊，信号灯啊，计数器
当例子讲，然后画图解释。
集合论初步不知道该怎么讲，老觉得集合论的初步知识像在说理所当然的话。
最麻烦的是图论，不过既然有图，就好说，照着图讲，再抽象不就是了。
编译是专门的课程，有编译原理和技术，在美国也是专门课程吧，有跟形式语言和自动
机合在一起讲的，不知道效果怎样。数据结构和算法也是专门的课程，觉得基本上每一
部分挑个好例子讲明白就行了。
Discrete |
|
f****4
发帖数: 1359 | 41
你自己去看GB回我的帖子。除非他心里想的是通过内存解决上锁问题，都拿到锁之后再
去更新数据库。但这和他讲的不一样。你的这个讲法，相当于他的C*** message queue
和数据源之间，加了一个内存的调度。GB一直说那些东西是数据库提供的，所以没有
实现难度。然后你的这个内存调度需要保存状态吧？这个状态用什么方案？throughput
能支持么？
这就是我一直废话的，你的设计不能不全局考虑，光用每个方案好的地方是不可能的。
或者你说的内存里上锁是指数据库的锁实现是跑在内存里面的？有点不确定。
我私下对TW没什么了解，就是看到他的方案有点意思，推敲了推敲。open source我算
你识白盒的。数据库，我一直按照oracle来的。这算是业界标准了吧？出个问题，只能
等客户支持。这不是白盒。你要是说他上的是开源数据库。行啊，代码是有了，出个问
题，你得等别人fix，还是你认为自己fix就是分分钟钟的事情？
一个高throughput的，查询/订票/退票的状态自动机。GD把峰值的买票请求延迟在C***
*（那个能够处理高throughput的message queue）里面。TW想让那... 阅读全帖 |
|
T********i
发帖数: 2416 | 42 基本上任何transaction都可以这样failover。我的上周前两贴已经说过了，network
communication参与transaction。关键是数据流定义了状态自动机的输入输出。只要是
状态自动机，这个方案都应该有效。
多说几句，因为每台机器都有完整的message sequence。这样只要补足in/out丢失的
message就好了。
本质就是一个journal log。 |
|
T********i
发帖数: 2416 | 43 建议你再试试react。有个比较才能更让人信服。
虽然俺js UI framework确实业余。但是猪肉没少吃，猪跑也见识多了。实话说，就two
way binding这个说法我就不舒服。参见我前两天挖的一个坑“只有状态自动机（
state machine）是正确的编程模型”
http://www.mitbbs.com/article_t/Programming/31469893.html
任何试图隐藏这个自动机状态转换函数的event loop的方案都不是好方案。得不偿失。
就像刚才有人吐糟一样，总有那10%的问题要花极大代价解决。所以整体代价一积分就
不值得。
几十年的经验之谈。供参考。 |
|
s*i
发帖数: 5025 | 44 我知道React。虽然没用过它作过大项目。并且我非常赞同 React 的设计哲学思想。
本质上，
Angular 是以HTML为中心看待问题，然后Javascript 用于解决逻辑问题；
React 回到了以Javascript为中心看待问题，HTML 只是用于解决界面问题。
很显然，以Javascript 为中心更符合看待问题本质，尤其对码农来说。
但是回到现实世界，HTML 这种 declarative 看问题的方式更符合人类这么多年描述事
情。
Two Way Binding 是Angular1 年代的一个 东西。Angular2 里面本质就两种单向
Binding。一个是，UI的某个属性一直等于某个变量。另一个是，UI 的某个事件输出到
某个变量。
为了达到Two Way Binding的类似的效果，可以同时标示这两种。也可以用一个新发明
的Syntax ［（）］。
: 建议你再试试react。有个比较才能更让人信服。
: 虽然俺js UI framework确实业余。但是猪肉没少吃，猪跑也见识多了。实话说
，就two
: way binding这个... 阅读全帖 |
|
c*******v
发帖数: 2599 | 45 各位专家，你们看看中国1985年一个中文系教授的一个书评的水平：
"
在科学研究中，为什么不能把思维看作一种行为构造、把任何属性都看作行为构造来加
以研究呢？正是在艾什比的《大脑设计》中，集中体现了控制论学者这种方法论的转变
。否则，今天的人工智能、脑科学、生物控制论、社会控制论以及行为科学和心理学等
这些学科的长足进步是不可能的。
"
“两重任务：第一，使后继者获得较为正确的知识和方法，迅速地把他们引到探索的前
沿；第二，它应该指出那些作者还来不及走但应该走的路，即提出这门学科在未来的新
生长点。在《大脑设计》一书中，第一个任务完成得较好，对于第二个任务，它显得有
某些不足。
”
然后是展开：
“
《大脑设计》是一本理论专著，但它基本上没有涉及数理逻辑、元数学、递归过程，特
别是哥德尔理论。而这些方面的理论，对于认识大脑和思维是十分重要的，即使是对于
学习机制和适应过程的研究来说，也不是没有关系的。五十年代以后，自动机理论和哥
德尔定理构成了控制论基础的重要方面。而这些方面的进展，至今为止看起来和艾什比
的著作关系不大。也许，并不该责备艾什比，这本书是为生物学家写的。直到今天，数
理... 阅读全帖 |
|
k***g
发帖数: 7244 | 46 元胞自动机的英文 Cellular Automata ，离散空间时间里的动力系统，71年
Schelling 有一篇paper用它来研究 Dynamic models of segregation （Schelling 用
的是最简单的一维的模型），一些搞 complex system 的人研究这个，好像在金融上也
有应用吧，不过把它放在“十六讲”里估计确实很难讲出什么比较深刻的东西，恐怕就
是在 Excel 里用 VBA 写几个 loop ，然后 run 一下，获得一个 steady state，最后
一指黑板说：这就是元胞自动机了。 |
|
d***a
发帖数: 13752 | 47 "量子计算机靠谱吗？": 如果量子力学靠谱，量子计算机就靠谱。
"比电子计算机好在什么地方？": 有一些特殊的计算问题可以很快地解决，实用意义最
大的大概是解密算法，量子计算机出来后，现在的常见加密算法都不能用了。已经有些
学者在研究针对量子计算机来说安全的加密算法了。
"为什么用qubit": 理论上说，常规计算机就是一个大的DFA（确定性有限自动机）。用
qubit的量子计算机可以看成是一种概率性的NFA（非确实性有限自动机），简单地说就
是可以同时走多个path来计算。有一些常规计算机要做2^n步的事情，量子计算机可以
一步做完。
"否需要根本改变大规模集成电路的结构才有可能？": 在量子计算机里，晶体管，VLSI
，架构，寄存器，算术单位，流水线，SRAM，DRAM等概念和技术，都可以扔掉了...不
过呢，就算量子计算机实用了，很多计算还是要常规计算机来做，所以以上那些技术还
是很有用的。 |
|
a**i
发帖数: 608 | 48 程序出问题不奇怪，
任何自动机都不能保证万无一失。
这件事神奇在人工 monitor 是干什么的呢，
它这也不是一个大单搞出的损失，
发现异常1分钟内关机就没这事了。
自动机只要在运行中，
每分每秒都是有人盯着的，
对各种突发情况也都是有预案的，
如地震，停电，断网，恐怖攻击等 |
|
f*****e
发帖数: 939 | 49 [ 国士 ] 于:2010-06-30 03:01:04
http://www.here4news.com/article/2997045 www.6park.com
1967年1月13日晚上，文革向纵深发展之际，毛泽东和刘少奇在人民大会堂进行了他们
两个人之间的最后一次会面和谈话。关于这次谈话，2010年5月16日何新在其博客中以
《何新读史札记：毛泽东与刘少奇最后会面出题难之——要刘读三本怪书》为题写了一
篇文章对毛泽东推荐的三本书进行了分析，6月7日北京日报发表了浙江大学署名散木的
政治学教授的文章《毛泽东向刘少奇推荐的几本书》。具体内容可见http://blog.qq.com/qzone/622002641/1276043071.htm。从这两篇文章内容来看，在两篇文章共同关注的焦点：毛泽东推荐这三本书用意何在，散木完全没有论述，而何新在给出几个猜测之后，也以“毛泽东竟要刘少奇回去读这三本特殊的书，是耐人寻味而别具深意的。”作为全文的结尾。
出于对历史的兴趣和对毛泽东的喜爱，本人查阅了这几本书并试图在何新文章的基础之
上提出个人的几点看法：
1、关于这几本书的书名
刘少奇的女儿... 阅读全帖 |
|
f*****e
发帖数: 939 | 50 [ 国士 ] 于:2010-06-30 03:01:04
http://www.here4news.com/article/2997045 www.6park.com
1967年1月13日晚上，文革向纵深发展之际，毛泽东和刘少奇在人民大会堂进行了他们
两个人之间的最后一次会面和谈话。关于这次谈话，2010年5月16日何新在其博客中以
《何新读史札记：毛泽东与刘少奇最后会面出题难之——要刘读三本怪书》为题写了一
篇文章对毛泽东推荐的三本书进行了分析，6月7日北京日报发表了浙江大学署名散木的
政治学教授的文章《毛泽东向刘少奇推荐的几本书》。具体内容可见http://blog.qq.com/qzone/622002641/1276043071.htm。从这两篇文章内容来看，在两篇文章共同关注的焦点：毛泽东推荐这三本书用意何在，散木完全没有论述，而何新在给出几个猜测之后，也以“毛泽东竟要刘少奇回去读这三本特殊的书，是耐人寻味而别具深意的。”作为全文的结尾。
出于对历史的兴趣和对毛泽东的喜爱，本人查阅了这几本书并试图在何新文章的基础之
上提出个人的几点看法：
1、关于这几本书的书名
刘少奇的女儿... 阅读全帖 |
|
