n*******l
发帖数: 20 | 1 MITBBS系统管理员，你好，
我自己的主ID: flycooler
今天晚上突然没法登陆MITBBS，输入密码登录后对话框提示 “用户名密码正确，但是
本帐号已经停机暂时无法使用”， 请问一下，这是什么原因？是系统问题？还是我有
什么不正确的操作？
我一直都遵规守据，真是不知道犯了什么错误？如果是我的问题，麻烦请你提示一下,
我立即改正。
这个ID我用了好多年了，非常珍惜，希望可以尽快恢复。
非常感谢你的帮助，盼回复！ |
|
a***s
发帖数: 12296 | 2 在11月1日下午13点40到到16点20，这3个小时内，中国电信就陆陆续续发了7条信息给龙小姐，告知她电话号码用了近23G流量，由于超出消费额度，她手机被停机，必须补缴1100多元的上网流量费才能开回机。
从龙小姐提供的信息看到，第一条信息是下午13点40分用了3G流量的提醒，之后流量不停翻倍，30分钟后6G流量短信提醒又来啦，再过20分钟后用了9G多，1个小时后12G，之后的节奏根本“根本停不下来”，17G、21G、23G不断递增，时间间隔平均是25分，大概每25分钟龙小姐就用了3至5G流量。
龙小姐说，这个时间段她在上班，手机放在抽屉里面充电，她根本没碰手机，而且手机也没做任何操作。我们也查看过龙小姐的手机，并没有发现相关当天下载的视频，也没有在线观看视频、电影等记录，她最常用的微信，我们也查看过，最近15天的统计她才用了50M流量左右。
这么夸张的流量使用情况，让他没法接受，她觉得是中国电信出了问题，当天就向客服投诉。巨额流量算在龙小姐头上，她当然一脸冤枉啦，多次跟中国电信客服沟通，一直都没有得到好的答复。
随后我们又跟龙小姐来到她办理手机卡的中国电信北滘营业厅，查询巨额流量明细... 阅读全帖 |
|
F*****t
发帖数: 3219 | 3 昨晚天津港国际物流中心区域内发生危险品仓库爆炸，事故造成国家超级计算天津中心
（天河一号）楼房外墙和玻璃破损。天津中心对外发布消息称，天河可以正常工作，政
务机房没有问题。只是出于安全考虑，暂时人工停机，会尽快恢复服务。 |
|
k*****e
发帖数: 22013 | 4 www.google.com
纪念图灵，google主页图标变成了一个图灵机的游戏。
这个游戏太好玩了。非常形象地演示了图灵机的原理。
每过一关，Google这6个字母就会点亮一个，点亮6个字母通关。
纸带上有一个初始状态，右上角方框是目标状态，
你必须在底下的运算规则里面修改，使初始状态经过运算会等于目标状态。
(来自wiki)
图灵构造出一台假想的机器，该机器由以下几个部分组成：
1.一条无限长的纸带TAPE。纸带被划分为一个接一个的小格子，每个格子上包含一个来
自有限字母表的符号，字母表中有一个特殊的符号表示空白。纸带上的格子从左到右依
次被编号为0, 1, 2, ...，纸带的右端可以无限伸展。
2.一个读写头HEAD。该读写头可以在纸带上左右移动，它能读出当前所指的格子上的符
号，并能改变当前格子上的符号。
3.一套控制规则TABLE。它根据当前机器所处的状态以及当前读写头所指的格子上的符
号来确定读写头下一步的动作，并改变状态寄存器的值，令机器进入一个新的状态。
4.一个状态寄存器。它用来保存图灵机当前所处的状态。图灵机的所有可能状态的数目
是有限的，并且有一个特殊的状态，... 阅读全帖 |
|
y*****g
发帖数: 6223 | 5 不停机的是查变速箱油。
机油必须停机。放时间长了只能更多。别太多没事。太多找dealer给你弄弄。 |
|
w******i
发帖数: 1899 | 6 是auto 位置。电池也应该没问题。
怀疑控制器输出停机信号没输出。或者是控制断开的继电器不行了？ |
|
m****i
发帖数: 4452 | 7 早上出门设定在60度，晚上回来设定到70度，在这个温度上升的过程中，我发现它会自
动停机一会，然后再启动，再停，再启动。。。直到设定的70度为止...
暖气机3年新....这是正常嘛？还是有什么问题 ？ |
|
C*******G
发帖数: 656 | 8 晚上小冷，把温度设定为22度，开机时低于这个温度才启动，高个2度就停机，这两天
开机时24度就启动，没太在意，今晚居然温度到了27度都还没停机，照这样下去那不整
晚都run了，是控制器坏了还是空调机坏了
另外前两天太热，应孩子的要求开了一回冷气 |
|
w**********c
发帖数: 56 | 9 哈哈，我没放弃，只是我们这儿晚上都凉了, 外面才68度，一开窗子，比屋内还清爽-:
)。周末我还会记录下温度，多长时间停机，高于外面温度时如何，低于外面温度时如
何，公司的负责人倒是天天在百忙中给我们写长长的解释email. 答应问题如继续回来
看。 瞧我们这空调换的。
至于为什么换，我嫌它太吵了。关着窗子，我都能听见它吱吱的。我在想旧的停过吗？
好像晚上停过。可真记不太清白天是不是一直转了。真应该换个大的就好了。我会一直
update的。
谢谢！ |
|
c******7
发帖数: 2996 | 10 我去年和一个朋友共同开了一个family的plan。
以朋友的名义开的户头，拿了两部iphone。
一直到今年2月底，用了9个月左右吧。
朋友海归了，在国内找了一份工作，就想把他的手机给取消了。
我由于4月初也要回国，就跟他说，叫他取消的同时，把我的手机也取消。于是我的手
机也于上个月26号停机。
停机后，手机显示无服务，也不能打电话，也没法上网。
但是今天，朋友发email过来，说ATT罚款450，说我的手机还有用，还被罚了50刀。
我很奇怪，我并没有用，怎么会被罚50刀。
还有他说因为取消合同每人罚200刀。这个被罚的200刀有没有可能能避免? |
|
n****x
发帖数: 520 | 11 冰箱耗电主要在于制冷压缩机工作耗电，压缩机是间歇式工作的。如果冰箱内部温度
高于设定值了，压缩机就开始工作，压缩制冷剂换热，直到温度降下来，然后停机，进
入保温状态，等下次温度升高了再开机，如此循环往复。家里冰箱隔断时间就轰轰响一
阵子，然后再安静下来，就是这个原因。
所以冰箱的耗电跟使用情况有关，如果冰箱内部没有需要冷冻的新鲜食物，又不经常
开关冰箱门，那么温度升高慢，压缩机工作不频繁，耗电也就少，反之则费电。比如晚
上冰箱不使用，一直在保温，就省电；周末你买了很多新鲜食物放进冰箱里冷冻，压缩
机开始拼命工作，就会费电。
冰箱的温度控制应该是根据设定的温度划一个区间，假设区间是4F,那么设定为35F,
那么冰箱温度达到37F了，压缩机开始工作制冷，等温度降到33F了就停机进入保温状态
。 |
|
c******7
发帖数: 2996 | 12 我去年和一个朋友共同开了一个family的plan。
以朋友的名义开的户头，拿了两部iphone。
一直到今年2月底，用了9个月左右吧。
朋友海归了，在国内找了一份工作，就想把他的手机给取消了。
我由于4月初也要回国，就跟他说，叫他取消的同时，把我的手机也取消。于是我的手
机也于上个月26号停机。
停机后，手机显示无服务，也不能打电话，也没法上网。
但是今天，朋友发email过来，说ATT罚款450，说我的手机还有用，还被罚了50刀。
我很奇怪，我并没有用，怎么会被罚50刀。
还有他说因为取消合同每人罚200刀。这个被罚的200刀有没有可能能避免? |
|
m***8
发帖数: 1786 | 13 实际上联通自己也是说法不一。我曾经在联通（中国）公众号问过人工服务，说是实
名了，不会停机。但是在联通app里问，说是没有实名。截图也在本版发过。
刚才又专门像lz一样问了一下上海联通公众号。也是说实名但是不是个人，建议马上办
理过户。至于不办理过户会不会停机。。。 |
|
r***u
发帖数: 1272 | 14 “漫长的革命”——毛泽东与文化领导权问题
韩毓海
（北京大学中国语言文学系教授）
"再过了几十年之后来看中国人民民主革命的胜利，就会使人感觉那好像是一出长
剧的一个短小的序幕。――我们能够学会我们原来不懂的东西。我们不但善于破坏一个
旧世界，我们还善于建设一个新世界。"
――毛泽东，《在中国共产党七届二中全会上的讲话》
"在建设社会主义社会的过程中，人人需要改造，剥削者要改造，劳动者也要改造
，谁说工人阶级不要改造？――工人阶级要在阶级斗争中和向自然界的斗争中改造整个
社会，同时改造自己。工人阶级必须在工作中不断学习，逐步克服自己的缺点，永远也
不能停止。――后退是没有出路的。"
―――毛泽东，《关于正确处理人民内部矛盾问题》
"爱无疑是人类最美好的感情。但是，对于一个博学善思的民族而言，爱一个人不
是指爱他给我们留下和提供的结论，而在于爱他向我们提出的问题、包括他对我们的批
评。毛泽东提出的那些问题依然困扰着现代人类，他的批评今天依然有力量。自这个伟
人逝世后中国与世界所发生的变化已经表明：一个真正的马克思主义者，在当代就不可
能不是一个毛主义者，无论'葛兰西派'（Gramscian... 阅读全帖 |
|
H*******g
发帖数: 6997 | 15 ☆─────────────────────────────────────☆
caonimadebi (caonima) 于 (Sat Sep 15 15:29:07 2012, 美东) 提到:
要解决问题，就要先有勇气正视问题，客观的看清楚自己和他人。现状是咋样就咋样，
自欺欺人做鸵鸟，不切实际一味幻想，解决不了问题
然后就要看看，相对于年轻的同性，自己的优势是啥，劣势是啥。这样才能扬长避短，
找到合适另一半。
对于大龄男来说，一般收入比20岁男更高更稳定，更懂得体贴和关心女方，阅历丰富。
所以在竞争中，应当充分利用这些优势，让女方感到自己的包容和关心，让女方分享自
己的经济成果。这样的话即使大龄，问题也不难解决。
对于大龄女来说，一般收入比20岁女更高更稳定，有经济基础。但是较少有懂得迁就和
包容男方。所以在竞争中，应该让男方分享自己的经济成果。如果愿意走出幼稚开始成
熟，懂得开始迁就和包容的，那么也会比20岁女具有很大优势。这样的话，大龄问题也
不难解决。
目前的状况，大龄男虽然年龄是一大劣势，但因为经济上有优势，愿意包容迁就让着女
方，所以问题不是太难解决。
而大龄... 阅读全帖 |
|
a********e
发帖数: 16 | 16 四.艾兹赫尔·W·戴克斯彻（Edsger W. Dijkstra）。
1)理论物理学家转入计算机编程。
2)1956年左右，思考出最短路径算法，修改后为最短子分支树算法，发表于《数字数学
》。当时数学界几乎全在研究连续统和无穷大问题，无人关注。
3)针对资源共用问题，提出“互斥”方法，基于铁路信号系统的P（荷兰语“通过”）
、V（荷兰语“释放”）操作。
4)“哲学家的晚餐”，体现死锁问题。之后几年最成熟计算机系统MULTIX却并没有考虑
死锁问题。
5)前往美国布劳斯公司，推行编程的可验证性，提出“GOTO语句是有害的”，却阻碍了
一些程序员所喜欢的程序不确定性。
6)《程序与证明的形式开发》，拉近数学与计算机科学的距离。
7)对人工智能说不。
五.迈克尔·O·拉宾（Michael Oser Rabin）。
1)德国犹太人拉比家族（观察思考产生智慧的阶层）。
2)能够猜想的计算机：考虑有限状态机，证明非确定性有限状态机与确定性有限状态机
之间的转换关系。
2+)图灵于1935年定义“计算”的逻辑基础，设计图灵机。借助哥德尔不可判定原理，
设计停机问题，挑战希尔伯特判定性问题。
3)对计... 阅读全帖 |
|
m******8
发帖数: 2153 | 17 计算机科学之父诞辰100周年：身为同性恋遭受不公正待遇，阿兰图灵英年早逝
爱白网 老虎
2012-01-01
2012年是“人工智能之父”图灵诞辰100周年。图灵奠定了现代计算机科学和人工智能
的基础，同时在数学、逻辑学、密码分析学、哲学领域均有相当高的成就。远离战火、
享受和平的人们，每个在日常生活中使用计算机的人，每个受益于现代计算机科学的人
，都应该对图灵心存感谢。
2012年将是爱白图灵主题年，我们将在这一年里陆续发布相关文章和组织纪念活动。
刚刚推出的iPhone4S中的语音助手Siri，引起了很多人的注意。很多人觉得，机器
能够理解人类提出的问题，还能做出回答，是十分有趣的事情。马上有人用各种BT问题
“拷问”Siri，看它如何回答，也得到了各种各样欢的欢乐结果。但最为Siri的成功而
感到欢欣鼓舞的，应该是计算机科学家们。因为61年前（1950年），“人工智能之父”
图灵提出了人工智能领域著名的“图灵试验”，用于判定一台机器是否具有智能，这
个试验简单说就是，看一台机器能否顺畅地与人聊天，而不被对方发现是机器。Siri还
不完美，但应该说，它的出现和商业化，标志着人类在人... 阅读全帖 |
|
y*h
发帖数: 25423 | 18 无论是液压还是电动来移动控制棒，都有出问题的可能性，液压的系统可以损坏、
泄漏、堵塞、液压泵失去动力等等，出问题的话控制棒就弄不回去。所以在
新的压水堆里有重力保险装置的设计，控制棒在反应堆上方，停电的话失去
抓力，重力会自动使控制棒落下从而终止裂变反应，但是即使这种系统也有
出问题的可能性，不如控制棒的筒变形了，或者有东西卡在里面了，都是
有风险的。
现在日本这些出事的核电站的问题基本不是控制棒没有复位导致不能停机的问题，
而是控制棒已经复位反应堆已经停止裂变反应了，否则不会过了一两天才出问题，
如果全功率的话冷却系统失效几分钟就能把燃料棒融化，根本不会等这几天。
现在的情况是反应堆已经停止裂变反应了或者已经至少停止绝大多数裂变反应了，
但是由于裂变过程中产生的大量裂变产物的放射性衰变会在裂变停止后继续进行
直到衰变完，所以这个衰变过程仍释放大量热量，虽然这和裂变反应的热量
是完全不同的过程，热量要少得多，但是如果没有足够的冷却的话还是会足以
烧熔燃料棒的。这个过程在十几个小时后会显著降低，但是要完全降低到安全
的程度利用自然散热就可以的程度至少还要好几天，所以他们现在拼命往里灌
海... 阅读全帖 |
|
y***i
发帖数: 11639 | 19 哈利波特与理性之道
很多人认为比原著好看。看了一部分，倾向于同意。
http://hpmor.lofter.com/contents
麦格教授笑了。“那么如果我给你十分呢……?”
“如果别人问起的话，你怎么解释这十个学院分的来由呢？恐怕有很多斯莱特林，我说
的还不是在校的学生，如果知道这个法术是因为我被去掉了的话会非常非常愤怒。所以
我想还是绝对保密的好。不用谢我，女士，美德就是它本身的报偿。”
“确实是，”麦格教授说道，“不过我有一样非常特别的东西要给你。我现在知道我之
前完全看错你了，波特先生。请你等一下。”
她站起身来，走向上锁的后门，挥动了一下魔杖，她的周围就出现了一个模糊的帘子。
哈利看不见也听不见里面发生的事。几分钟之后，模糊的帘子消失了，麦格教授面对他
站着，身后是上了锁的后门，就像从来没有打开过一样。
麦格教授递给他一条项链，细细的金链子，中间是一个银色的圆环，环里有一个沙漏。
她的另一只手里拿着一本折起来的小册子。“这是给你的，”她说。
哇！他会得到一个很棒的魔法道具作为任务奖励耶！看来，反复拒绝金钱奖励直到拿到
魔法道具这个策略不止可以用在电脑游戏里，在现实生活里也... 阅读全帖 |
|
M******a
发帖数: 6723 | 20 原创：讲武堂 讲武堂 讲武堂 微信号 qqmiljwt
功能介绍
腾讯网军事频道出品。专业军事评论，解码环球军情。
问：最近欧美剧《切尔诺贝利》火了，果不其然，关于剧中描绘苏联对核事故的处理引
起了大批苏粉的不满。堂主能否客观公正的评价一下苏联和日本对待核电站事故的处理
方式？
切尔诺贝利的核心问题不是事故后的处理方式问题，而是事故之前干嘛去了。
实际上切尔诺贝利这个核电站，就是违反了一切核安全经验的设计，还造了一大堆类似
堆型。这个系列的第一个堆，在70年代是“经常”发生堆芯熔融事件……列宁格勒的堆
也多次发生堆芯熔融问题，切尔诺贝利一号堆在之前也发生过大事故。
图：苏联人的融堆事故不是一次两次，只是毛子胆子是真的大。
同志们，不要觉得真炸了才是大事故，核电站有史以来运行中的堆芯熔融，其实就苏联
这么几次，连福岛熔堆那好歹也是停机以后。三里岛只是堆芯超温就把美国人吓哭了，
那离熔化还差得远……基本可以认为，毛子这个沸水石墨堆炸了是必然的，不炸那是绝
对偶然的。
图：切尔诺贝利是石墨堆，即将大块的立方体的石墨堆砌起来，将核燃料棒插入其中启
动反应堆，铀235裂变后放出的快中子被石墨减速... 阅读全帖 |
|
v*********u
发帖数: 10464 | 21 和美国拼的太猛了
做好自己，吃饱吃好，没必要和别人比肌肉
[在 Mayingba (吳鐘學) 的大作中提到：]
:原创：讲武堂 讲武堂 讲武堂 微信号 qqmiljwt
:功能介绍
:腾讯网军事频道出品。专业军事评论，解码环球军情。
:问：最近欧美剧《切尔诺贝利》火了，果不其然，关于剧中描绘苏联对核事故的处理
引起了大批苏粉的不满。堂主能否客观公正的评价一下苏联和日本对待核电站事故的处
理方式？
:切尔诺贝利的核心问题不是事故后的处理方式问题，而是事故之前干嘛去了。
:实际上切尔诺贝利这个核电站，就是违反了一切核安全经验的设计，还造了一大堆类
似堆型。这个系列的第一个堆，在70年代是“经常”发生堆芯熔融事件……
列宁格勒的堆也多次发生堆芯熔融问题，切尔诺贝利一号堆在之前也发生过大事故。
:http://www.mitbbs.com/cacheIMG/44f98f9dd5556e404cfc5f0aec7e8c77_1561380859_2_nail.jpeg
:图：苏联人的融堆事故不是一次两次，只是毛子胆子是真的大。
:同志们，不要觉得真炸了才是大事故，核电站... 阅读全帖 |
|
b**c
发帖数: 12 | 22 1. 没有问题， i-797即可。我去年暑假h1b 从五月回国，八月回美，没有任何问题。
我是在学校教书。
2没问题
3able，电话，网络可以考虑停机，水电煤不要停。我是用的charter，被告知，如果选
用suspend服务，每月需交10dao，所有服务都不可用，如果有促销的价钱都会失效，再
续服务的时候须付全价。所以我的cable网络直接终止，回美前电话重新申请。 skype
在中国可拨打美国，效果很好。不过你最好问一下你的服务商。
★ 发自iPhone App: ChineseWeb - 中文网站浏览器 |
|
m***i
发帖数: 898 | 23 新年第一天就不顺。东部降温，楼上楼下两个furnace都不能启动。楼上（2008年的
furnace)的打开温控器后听到启动的声音，点火正常，几秒钟后熄灭，出风口没有热风
出来，furnace不停的再启动状态，重复3次后停机。请师傅来看，说是sensor的问题，
换了个新的，刚开始也不行，后来不知如何弄着了，付钱走人。晚上再启动，还是同样
的问题。。。
没想到楼下的（2013年的furnace)也来凑热闹，一次启动2-3分钟后闻到一股烧塑料或
胶皮的味道，然后就只有冷风了，再启动还是只有冷风。可怜一家老小懂的瑟瑟发抖。
。。
请问imore和各位大侠，楼上的除了sensor，还可能是什么问题？楼下的可能烧了什么
了？要请空调维修的师傅还是电工？谢谢 |
|
l*******s
发帖数: 1258 | 24 能否将语义形式化，这个问题存疑。从蒙塔古那会就想把这玩意给形式化了，但是语义
真的是一个图
灵机问题吗，甚至进一步图灵机可停机问题，NP等。
语音和句法的映射，有时候并没有必要作这一步。其实我一直怀疑句法存在的必要性和
真实性。
至于语言的机器化，我也同意要以语言学为基础，但是目前一大难题就是关于知识库的
问题，很难搞
到一个knowledge base。 |
|
l*******s
发帖数: 1258 | 25 能否将语义形式化，这个问题存疑。从蒙塔古那会就想把这玩意给形式化了，但是语义
真的是一个图
灵机问题吗，甚至进一步图灵机可停机问题，NP等。
语音和句法的映射，有时候并没有必要作这一步。其实我一直怀疑句法存在的必要性和
真实性。
至于语言的机器化，我也同意要以语言学为基础，但是目前一大难题就是关于知识库的
问题，很难搞
到一个knowledge base。 |
|
i******0
发帖数: 609 | 26 在这个问题上, 由于缺乏一个严格的＂智能＂的定义，我们只能抬一下扛了，呵呵。
举这么个例子吧，人类可以发现非可计算的问题的存在并且给出＂停机问题＂这样一个
实例。我很怀疑现有计算模型下的任何系统能够自发地discover这个现实。
：我知道你说那些。我的意思是说这不能推出机器智能无法超过人类的结论。
：【 在 idong360 (bull) 的大作中提到: 】 |
|
g****t
发帖数: 31659 | 27 问题是有些需求不见得能简化成记录加锁啊。
这是我的直觉。
你比如说首长突然出巡了。屁民让道，这个怎么解决？
需求这玩意儿说起来没底的。
找些屁民按一定轨则抢座位，说不定就是无法判断最后状态的停机问题。
老魏的方案，其实是把记录加锁放到中心节点，一旦你取到了锁，其他操作都可以分布
到任意多台数据库服务器，所以不存在重新设计的问题。关键是瓶颈的效率大大提高了。
这个概念，咳咳，我们 14 年前尝试过，当时的目标是在赛羊上跑企业级的 instant
message，一开始我们用的是 mysql，后来把关键部分移植到 berkeley db。 |
|
g****t
发帖数: 31659 | 28 内存泄漏理论上等价于停机问题
现实中和软件潮流关系很大
也就是行业流行怎么写关系很大
一个好的群体习惯建立后
可能短期内在行业里
内存等约束不是问题了
但是因为竞争
软件天才们总会改写法走到旧写法的极致状态
然后会把这些约束的边界打穿来谋取
超额利润
再然后就会产生新的底层改进的需求
最后，内存问题，我个人一点浅见：
Rust 那个线性逻辑从理论上和实际上我觉得靠谱
C 应该还是c 11占主导位置
: RAII绝对是个好的concept,比Java GC强多了。C#有GC也照样学C 实现
RAII. GC
最好也
: 是最烂的原因都是它不让你自己控制何时如何做GC。RAII天生杜绝内存(
连接,
etc）泄
: 露同时，还让程序员自己有控制权。用惯RAII，再用其他语言，那才叫个
不适宜
。关个
: 数据库连接try catch finally {try catch finally{..}} wtf?
|
|
z*****u
发帖数: 3010 | 29 不知道大家有没有碰到同样的症状
就是我跟某两个固定手机电话 打的时候
直接就是嘟嘟的声音， 打不通
但是我给别的号码打，可以打得通
然后两个手机号码 也没有停机，平时也可以接电话的
现在真是不知道是什么环节出了问题
有没有达人帮我分析一下，到底什么地方出了问题 |
|
j*****p
发帖数: 24000 | 30 其实整个过程应该是
川普：习的电话是86 759 893 6868？
嘟嘟嘟
对不起，您拨打的电话已欠费停机。
我去！
再换一个号码
嘟嘟嘟
喂，哪位？
................
川普：Mr.习，我准备好人马了，过几个星期动手
习：老川，我这边也准备好了，你要动手就动手吧
川：那行，你跟外面的人要说点啥吗？
习：那你等一下....中方坚决反对违反联合国安理会决议的行为，同时希望有关各方保
持克制，避免做加剧半岛局势紧张的事。只有有关各方都负起该负的责任、相向而行，
才能尽快解决朝鲜半岛核问题，实现半岛无核化。我们愿同包括美方在内有关各方一道
，为朝鲜半岛和平、东北亚和平、世界和平共同努力。
川：不错，报纸杂志啥的就登这些
习：你动完手，把最新的东京热借给我看一下，要4K高清版
川：兄弟不说借，干完我就叫老蒂给你送过去
然后俩人愉快地挂断电话 |
|
l*******r
发帖数: 2847 | 31 已经两次了，今天一次，几周前也有一次
本来空调开的好好的，后来我觉得热，一摸出风口风停了。我怀疑是blower的问题，爬
上阁楼一看果然blower停了。
翻了imore大牛以前的帖子，看blower小窗里的error code，发现里面只有一个黄色的
LED灯亮着，红色的LED连heart beat都没有，一直是暗的。断电重启blower，一切恢复
正常，heart beat又跳了。
真心请教这是什么问题，不想每隔几周就重启一次blower。。
谢谢！ |
|
i***e
发帖数: 9429 | 32 开暖气正常情况下， 一般室内温度（在温控器周围）不会高于设定温度，最多有时候
会看到高于1F，但很快就持平，如果调到OFF能停机的话 有两种可能:
温控器误差过大， 要调一下温空器内的offset 设置。
温控器本身出了问题。 |
|
z*****n
发帖数: 413 | 33 家里的空调不工作了，Honeywell th9xxx系列的thermostat直接黑屏，拿着简易电笔，
看看了wire c没电，本来以为可能只是wire c没电了，就换回老的带电池的thermostat
，还是没用。室外机是Bryant 116B，fan coil是carrier的FX4DN。求大神指导可能是
什么的问题。
好像是空调运行的过程中，调温度导致停机。去年也坏过一次，也是运行中调温度，直
接把circuit breaker给烧了。这次不知道把什么给烧了。 |
|
w**********c
发帖数: 56 | 34 update一下。
昨天天很凉，根本没开。今天，外面有80-84F，屋内79F， 设定温度到78， 转了有一
个小时从79降到了78，这其中肯定有开始除湿气的阶段。过了大概30分钟，又启动了。
觉得还算正常。然后把温度调低到77，转了有90分钟才到77，这也太长了吧。此时外面
仅有76F. 这其中觉得楼下风太冷，关了两个口。停了不到10分钟，压缩机又开始转了
。转了有10分钟，现在又停了。所以倒是能停，只要有耐心，像imore 说的。可这时间
也太长了吧。也许是furnace 的问题。
有时真觉得家里要有人懂些电器修理，否则只能别人说什么就是什么。反正现在空调公
司就说是furnace 的问题，尽管开始他们什么也没提。其实安装的人好像还把我家车库
的灯弄坏了，他们把breaker 里三个50的换成了30，结果，当然不知是不是一定是他们
，反正是他们修过之后，在车库里原来一开门就亮的那个灯也不亮了。
Furnace 型号等老公回来找。我是不想看他们了。 |
|
l*******9
发帖数: 177 | 35 父母马上就来了，Continental航空公司北京到Newark的飞机，请教如何早点知道停机
的Terminal(网站上好像只能提前2-3天？？)？另外机场停车有没有什么注意的问题？
多谢。。 |
|
a*****r
发帖数: 42 | 36 请问下大家哈，我定的Comcast Internet 6个月优惠期到了，是不是现在应该取消，然
后换个人去定呢？取消后再装不会因为地址是一样的有问题吧？如果不这样就要涨一倍
有点不划算哈：） 谢谢了:)
如果我取消，是会马上停机还是到这个月结束呢？ |
|
l*****n
发帖数: 125 | 37 停机问题和哥德尔的不完备定理是不同的问题，前者是关于undecidability, 后者是关
于incompleteness，虽然直观上来说，他们的证明都和理发师悖论有关。
另外，first order logic是sound and complete的，只不过undecidable, 你说的 “
一阶逻辑的不自洽性和不完备性”是完全不存在的。哥德尔的不完备定理并不是说FOL
is incomplete，而是说任何可以包含peano arithmetic的证明系统是不完备的，这完
全是两回事。 |
|
a*o
发帖数: 25262 | 38 从原理上说，停机问题是一个无比简单的东西，把插头一拔，问题就解决了。 |
|
C***H
发帖数: 508 | 39 我基本同意Offside和gecko的意见，但是现在我能说得更清楚了。
有这样一件事情：有很多个个算法简单的系统--人，他们和一个非常非常复杂算法的系统
相互作用。能不能找出一种不比简单系统复杂多少的算法让这些简单的系统无法区别他们
是在和真正的复杂系统作用还是和这个简化的算法作用。
作者提出可能的简化算法是：追踪简单系统（人们）的状况，只模拟人们能够感觉得到的
部分。
问题在于这个可能的简化算法是否可能。我认为，这个算法的可能性很小。因为，算法原
则上无法判断人们将要做什么样的观察（这类似于图灵机停机问题），所以必须准备模拟
复杂系统所有过程，现象的能力。但是整个复杂系统里面包括大量的用算法，而非方程描
述的过程，这个没法简化。所以，我觉得整个简化算法很难有实质上的简化。 |
|
o****e
发帖数: 536 | 40 那时只有50RMB的套餐是接听免费的，现在不知道了。
你这种情况应该选接听免费的。
停机保号费好像是一个月5块。这次联通的哥们说给我一个能上网的，他们测试机玩玩
，就回去三周，还是算了。
还有就是兼容问题，国内移动GSM网覆盖的最好，如果做生意一定找个1390*******
的号。 |
|
d***a
发帖数: 13752 | 41 建立体系的人，远比“做出突破性贡献“的人少得多。图灵在计算机界的地位，类似于
牛顿在物理界的地位。（但公平地说，物理学科远比计算机学科要大得多也重要得多。）
图灵的关于停机问题的证明，并不是第一个关于不可判定性问题存在的证明。对砖家来
说，这是早知道的。王垠这家伙如果上课时听讲认真一点，就不应该现在感到吃惊，还
拿这事出来唠叨半天。王垠搞的是编程语言设计吧。这个方向比较soft，编程语言设计
的好坏，怎么辩论都可以，并不需要严实的数理逻辑基础。如果是搞formal language
and automata方向的，对图灵机的理解会深入得多。
王垠对图灵机的理解，还不如一个在计算机理论课上拿A的普通学生。他这家伙当年基
础打的不牢，现在自我感觉良好，才会象个太婆一样唠叨不休。:) |
|
g****t
发帖数: 31659 | 42 数学证明就是一个句子，结尾是A=1
A是要证明的命题。中间的步骤是逻辑规则和公理的套用。
Rename,apply等等。
本质的麻烦是数学定理有自己的内部表示。
可以用素数的指数来一一对应的表示数学定理。
这就是Godel coding。
停机问题的困难是类似的。
从实用的角度来看。把真值表或者
整数多维数组弄弄好，是很有意义的软件项目。
: 数学定理自动证明，缺少的是一个棋盘。
: 没有棋盘，问题就是开放性的，下一步有无穷种可能，比如辅助线
: 有无穷种添法，就没法玩了。
: reasoning
|
|
D********y
发帖数: 4948 | 43 还没有全面爆发，制造业和材料工艺还要加强。
我有朋友学材料的，问题还是很多。 |
|
c******o
发帖数: 4751 | 44 继续问惨不忍睹土问题，
咱们干吗老弄单发的阿，这个第4代才终于看见双发了，之前小龙跟j10就一个发动机，
弄俩会不会保险点 ＝_= |
|
y*h
发帖数: 25423 | 45 如果日本人说的是真的话，那么可能的解释是这个堆里面的燃料用了很久了，
而且刚关机不久，所以燃料里面的放射性产物还没有衰变完毕，所以仍需要持续
冷却一段时间。真正的已经冷却的燃料棒是不需要人工强制散热的，在乏燃料棒
储存水池里自然散热就可以了。
第四套反应堆的冷却系统和其他三套是一样的，可能存在某种关联导致接连
失效。总之他这个系统是很奇怪的，接连迅速以同样的方式失效，如果不是
有严重的设计问题，就是他们故意隐瞒了某些细节。 |
|
c*****4
发帖数: 1777 | 46 小型“运动型”飞机2人的可以放在车库里。较大一点的可以在机场租个机位或机库。
其实船或者RV，大一点的也放不进车库要在外面找地方存放。如果使用频率不高，还是
租划算。
另据我所知，在美国，小型民用机场起降不要钱。可能就是赚停机费或者燃油费吧。 |
|
i******0
发帖数: 609 | 47 建议你学习一下可计算性(Computability)理论，可以从＂停机问题＂(Halting
Problem) 开始。
这是个理论上界，人类的努力在它面前没有什么意义。就好比如果有人声称造出了永动
机，你并不需要对其进行检验就可以知道那是不可能的。
：坦白说不懂你的逻辑，现有的计算模型和数理逻辑的上界和机器不能超越人有什么相
关性？除非你证明人类已经到达这个上界。
：【 在 idong360 (bull) 的大作中提到: 】 |
|
|
发帖数: 1 | 49 所以你们不懂。我说过，鲍勃接受到一个纠缠量子，不可能保存（这是教科书忽悠的地
方）而且如果不测量，不知道是否有信息。所以这是一个连续的纠缠量子流。否则连线
路是否通畅都不知道（图灵停机问题）。
如果你截获的是纠缠量子流。为什么不能去试呢。 |
|
