y*****6
发帖数: 9545 | 1 【 以下文字转载自 Military 讨论区 】
发信人: hujintao2 (涛哥也有春天), 信区: Military
标 题: 逻辑分析仪也不能保证把一个CPU分析全面了
发信站: BBS 未名空间站 (Sat Jun 20 12:32:21 2009, 美东)
CPU无非是个有限状态自动机， 逻辑分析仪提供输入， 观察输出， 但是如果提供的输
入不够全面， 有些状态就观察不到 |
|
l******i
发帖数: 4666 | 2 英国保龄球夏季职业大赛正在进行，两个著名的选手莲娜和 海蒂正进行着冠军
争夺战。比赛还没有结束，莲娜突然倒地丧命。
大批警察立即赶到现场，探长留心地听取裁判费尔的叙述:"当时，莲娜正在打第五
球，但球竟然失准，滚到球道侧入坑， 当球由运输带运回后，她打了一个补中时，球
又失去控制，再滚入坑，她看了看中指尖，有一个小孔。"
"她用的是私家球吗？"探长问。
"当然，这是职业大赛，球在这里。"教练把球递过来，探 长小心查看，这只是一
个普通的保龄球，手指插入的孔中，也没 有针状之类的东西。
通过进一步调查，警方查出了一点线索，知道莲娜的对手海 蒂的弟弟尊尼，竟是
这个球场的自动机管理员，警方相信，他为 了姐姐能争得名誉，而不惜下毒手。但他
是怎样下毒手的呢? |
|
c***s
发帖数: 70028 | 3 2006年，会议五十年后，当事人重聚达特茅斯。左起：摩尔，麦卡锡，明斯基，赛弗里奇，所罗门诺夫
背景
现在一说起人工智能的起源，公认是1956年的达特茅斯会议。殊不知还有个前戏：1955年，美国西部计算机联合大会（Western Joint Computer Conference）在洛杉矶召开，会中还套了个小会：“学习机讨论会”（Session on Learning Machine）。讨论会的参加者中有两个人参加了第二年的达特茅斯会议，他们是塞弗里奇（Oliver Selfridge）和纽厄尔（Allen Newell），塞弗里奇发表了一篇模式识别的文章，而纽厄尔则探讨了计算机下棋，他们分别代表两派观点。讨论会的主持人是神经网络的鼻祖之一皮茨（Pitts），他最后总结时说：“（一派人）企图模拟神经系统，而纽厄尔则企图模拟心智（mind）……但殊途同归。”皮茨眼可真毒，这预示了人工智能随后几十年关于“结构与功能”两个阶级、两条路线的斗争。
开聊达特茅斯会议之前，先说六个最相关的人。首先，会议的召集者麦卡锡（John McCarthy）当时是达特茅斯学院的数学系助理教授。两年前（1954... 阅读全帖 |
|
d*****u
发帖数: 17243 | 4 不是“文科帮上忙”
而是一些文科和一些理科面临的前沿问题有相似性
比如语言学现在的一个问题就是在争论以符号描述的法则（可以理解为逻辑、自动机、
lamda-calculus等等）是先验的，
还是认知系统的网络连接是先验的，法则只是复杂系统的一种emergence
这关系到生物进化、网络科学、人工智能等很多领域的前沿 |
|
b****a
发帖数: 4465 | 5 何新读史札记：毛泽东与刘少奇最后会面，要刘读三本怪书
据王光美等的回忆：
“1967年1月13日夜，毛泽东派秘书把当时已靠边站的刘少奇接到人民大会堂118厅。
会面中，毛几乎只字未提眼前的文革。刘少奇主动承认自己在运动中犯了严重的路线错
误，并向毛泽东提出两点要求：
1、这次路线错误责任在我，广大干部是好的，特别是许多老干部，是党的宝贵财富，
希望把广大干部解放出来，使党少受损失。
2、自己要求辞去国家主席、政治局常委和《毛泽东选集》编委会主任工作，带妻子儿
女去延安或回湖南老家种地，做个农民，以便尽早结束文化大革命，使国家少受损失。
但是，毛泽东未做回应，只是顾左右而言他。谈话间，毛泽东建议刘少奇回去认真读一
些书。毛泽东向他推荐了三本书：
1、海格尔的《宇宙论》
2、狄德罗的《机器人》
3、淮南子 ”
毛泽东还特别对刘少奇提到，那两本洋书是机械唯物论的名著。
此次见面后临别，毛泽东把刘少奇送到门口，叮嘱他“好好学习，保重身体”。这次深
夜会面，是毛、刘这两位非凡历史人物生前的最后一次会面和交谈。
刘少奇回去后，立即让秘书去找书。结果，除《淮南子》找到外，其他两本... 阅读全帖 |
|
f*****e
发帖数: 939 | 6 愚蠢小猪写的《刷盘子读书》 2005-05-30 22:38:58
第一节 从西班牙衰落看俄罗斯2003年亮丽的经济表现
强国上有好事者贴了俄罗斯2003年的经济数据，数据是多么好，成长多么快，自由市场
经济如何有成效，引得自由市场经济崇拜者惊叹不已。愚是数字游戏门出生，擅长把黄
金说成稻草，或把稻草说成黄金，而且还不说谎。俄罗斯如此好的表现，愚偏说不好，
还说俄罗斯更加衰落。各位看官，让愚慢慢道来。
要说俄罗斯，先说西班牙。西班牙离俄罗斯远着呢，但数字游戏门不管，先把人绕晕。
西班牙曾经是超级大国。西班牙当时出产一种羊，羊毛质量非常好，通过圈地运动和羊
吃人，西班牙率先实现了资本主义萌芽。但当时羊毛与其自己纺织，还不如出口卖的钱
多。羊毛主要用来出口，使纺织业及相关技术发展缓慢，产业革命没有在西班牙产生。
后来，在南美发现金山，与其养羊纺织，还不如去淘金，金山把勤勉精神消灭了。大量
金银流入，而生产并没有相应增长，引发通货膨胀，使西班牙的羊毛和毛织物比其它欧
洲国家贵好几倍，与其自己做还不如买，这样金山把资本主义的芽给淹没了。到了1820
年代，西班牙已经是欧洲的穷国。为了保护自己的... 阅读全帖 |
|
s**d
发帖数: 18498 | 7 毛子专家不少终老于中国，土共副总理以上去八宝山鞠躬的一大票，你说作用大不大？
陆军买卖以分系统为多，估计都是土共搞不定的地方。陆军主要是火炮各种自动机的设
计。比如坦克自行火炮的装弹机，机关炮什么的。还有一部分传动系统，比如履带车辆
和重型越野卡车的传动，车桥设计什么的。主要都是设计，工艺技术还是土共自己来。
还有点小东西，比如云爆弹，制导炮弹什么的
海军分系统有无风防空导弹，顶板雷达，音乐台雷达。这些估计土共结合自己的积累都
仿制改进得很快，要不054A造不了这么快。估计潜艇也抄了基洛一些东西。
空军有发动机，部分导弹。还有J11B基本抄人家的。
成套装备有道尔M1，S300系防空导弹。Su27/30系战斗机，基洛级潜艇，IL76运输机，
米17/卡28直升机。现代级驱逐舰是成套引进，不过应该是土共买分系统搭配来的。 |
|
b******y
发帖数: 2729 | 8 【 以下文字转载自 Seattle 讨论区 】
发信人: HuangPuJiang (不爱呆在家), 信区: Seattle
标 题: 这日本人的故事就是我在国内时的翻版。冷漠，不耐，敷衍的国人
发信站: BBS 未名空间站 (Thu May 26 11:55:34 2011, 美东)
怎么到处都是这德性呢，并且毫无二致。以前上海人的特色之一是对本职工作很熟悉，
有条不紊，不急不慢。现在是工作人员一问三不知，还跟你乱讲。。餐馆服务员是头三头四，气喘
吁吁，还丢三拉四的。出租车司机大都不认路.
===================================================
石川先生30多岁，为一家汽车销售商，上星期第一次到中国的沈阳去旅游，然后乘动车
到北京游览，最后到北京车站，想购买从北京回沈阳的车票。
走入车站大厅，有很多销售的窗口，他像进入了一个迷宫，他手持地图与来北京时的车
票，用日语询问正在执勤的武警，到哪里可以购买，武警知道他是外国人，就用英语说
了「six」,他知道了是6号窗口。
他一边排队，一边不安地注意到这个窗口在出售去合肥，南京的车票，会不会... 阅读全帖 |
|
d*****l
发帖数: 8441 | 9 【 以下文字转载自 Programming 讨论区 】
发信人: digital (你是疯儿我是傻？), 信区: Programming
标 题: 温州动车事故启示：重启动（初始化）程序难搞啊！
发信站: BBS 未名空间站 (Thu Jul 28 04:04:49 2011, 美东)
这次温州动车事故，已经有北京的信号设备设计单位道歉了。
估计就是对重启动初始化的情况考虑不够，导致其实现的有限状态自动机模型里面漏掉了
一个极端（极小概率）状态：即备份系统初始启动的时候到底是输出红灯还是绿灯应该由
从被取代故障系统失效之后所发生的情况来决定，确实是挺复杂的，跟Windows重启时候
提示用户到底是“Continue Resume"还是完全重启差不多，机器很难判断的，需要提示。
如果是区间内无车，可以初始化为绿灯，这是最简单最常见的状态；但如果新备份设备
重启
时，区间内已经处于非常站控，在这种状态下就复杂了，得根据区间内有无车辆、多少
车辆
来判决。单单让信号系统刚恢复工作就要判断有无车辆在区间内就够复杂的了。。。 |
|
x****o
发帖数: 29677 | 10
完全是面子问题，超市里六打瓶装的百事才2.5-3.3，每个也就比自动机里的少50毫升 |
|
w*********g
发帖数: 30882 | 11 【 以下文字转载自 Military2 讨论区 】
发信人: wayofflying (小破熊), 信区: Military2
标 题: 国产M99狙击步枪vs.M82-A1型狙击步枪
发信站: BBS 未名空间站 (Mon Oct 17 16:14:37 2011, 美东)
M82-A1型狙击步枪
当前，士兵的防护水平越来越高，现有的5.56毫米和7.62毫米的狙击步枪在射程和威力
方面已显弱势，积极发展新型12.7毫米大口径狙击步枪成为各军事强国的新赛场。如美
国巴雷特M82A1、M107狙击步枪(LRSB)，英国的AW50FT，俄罗斯的0SV96，匈牙利的“杰
帕德”等都不失为这一竞赛的好手。
[ 转自铁血社区 http://bbs.tiexue.net/ ]
近几年，我国也开始关注和发展大口径狙击步枪，W03式、JS和AMB-2等新型号相继问世
，在国内获得好评的同时，也在国际市场上赢得了良好的声誉。但美中不足的是，这些
型号多局限于非自动发射方式，不能全面满足国外市场的需求。为此，国内的轻武器研
究者积极展开了半自动大口径狙击步枪的研制工作，M99应运而生，并承载着设计工作... 阅读全帖 |
|
w*********g
发帖数: 30882 | 12 【 以下文字转载自 Military2 讨论区 】
发信人: wayofflying (小破熊), 信区: Military2
标 题: 国产M99狙击步枪vs.M82-A1型狙击步枪
发信站: BBS 未名空间站 (Mon Oct 17 16:14:37 2011, 美东)
M82-A1型狙击步枪
当前，士兵的防护水平越来越高，现有的5.56毫米和7.62毫米的狙击步枪在射程和威力
方面已显弱势，积极发展新型12.7毫米大口径狙击步枪成为各军事强国的新赛场。如美
国巴雷特M82A1、M107狙击步枪(LRSB)，英国的AW50FT，俄罗斯的0SV96，匈牙利的“杰
帕德”等都不失为这一竞赛的好手。
[ 转自铁血社区 http://bbs.tiexue.net/ ]
近几年，我国也开始关注和发展大口径狙击步枪，W03式、JS和AMB-2等新型号相继问世
，在国内获得好评的同时，也在国际市场上赢得了良好的声誉。但美中不足的是，这些
型号多局限于非自动发射方式，不能全面满足国外市场的需求。为此，国内的轻武器研
究者积极展开了半自动大口径狙击步枪的研制工作，M99应运而生，并承载着设计工作... 阅读全帖 |
|
w*********g
发帖数: 30882 | 13 http://bbs.tiexue.net/post2_4860739_1.html
http://mil.qianlong.com/37076/2008/10/27/3**[email protected]
到山花烂漫时,她在丛中笑”。历经11年的论证研制工作,QJG02式14.5毫米单管高射机
枪系统于2002年正式列装部队。它是我国自行研制的第一个高射机枪武器系统,填补了
步兵低空防空的空白,将成为我军新型防低空、反轻型装甲的高性能武器,使我军步兵的
战斗力大大提高。
四大分系统—四羽呈祥
14.5毫米单管高射机枪武器系统由14.5毫米单管高射机枪、14.5毫米钨芯脱壳穿甲
燃烧曳光弹(简称脱壳弹)、14.5毫米穿甲爆炸燃烧弹(简称穿爆燃弹)及14.5毫米单管高
射机枪高平合一瞄准镜组成。
QJG02高射机枪平射状态
14.5毫米单管高射机枪 该枪最大的特点是大量使用了铝合金、钛合金等轻合金材
料,应用零件达70多件,使全枪重量大幅度减轻,是目前国内外同类高射机枪最轻的,比75
式14.5毫米单管高射机枪轻63千克,比俄罗斯HCBl2.7毫米机枪还轻5.4千克。全枪由枪
身、枪架及附件组... 阅读全帖 |
|
w*********g
发帖数: 30882 | 14 各种环境下工作可靠 尽管14.5毫米机枪在口径上仅比12.7毫米机枪大1.8毫米,但前者
的枪口动能却比后者几乎提高一倍,由此导致的后坐能量也比12.7毫米机枪大很多。传
统上为了吸收后坐能量,14.5毫米机枪一般采用管退式自动原理。而14.5毫米单管高射
机枪的设计师们大胆应用了导气式自动原理,通过调整导气孔的大小来保证武器在各种
环境下工作的可靠性。
QJG02高射机枪平射状态
QJG02式14.5毫米单管高射机枪(以下简称机枪)是“八五”期间武器装备研制的重
点项目之一，是我国完全自主研制的第一支14.5毫米高射机枪，其先进的整体综合性能
体现了我国高射机枪的新水平，具有里程碑意义。
国产QJG02式14.5毫米高射机枪采用导气式自动原理，枪机回转式闭锁机构，机匣
经冲、铆、焊而成，枪管采用冷精锻并经激光强化处理，5发一节可散弹链供弹，后坐
一次输弹到位。全枪结构简单，外形美观，战斗与行军状态转换迅速，精度高，机构动
作可靠，且大量采用轻合金材料减轻了质量。
该枪除使用穿爆燃弹和脱壳弹外，还通用各种56式14.5毫米机枪弹。新老弹种通用
，功能全，射程远，威力大。其适合在各种地域... 阅读全帖 |
|
w*********g
发帖数: 30882 | 15 http://bbs.tiexue.net/post2_4860739_1.html
http://mil.qianlong.com/37076/2008/10/27/3**[email protected]
到山花烂漫时,她在丛中笑”。历经11年的论证研制工作,QJG02式14.5毫米单管高射机
枪系统于2002年正式列装部队。它是我国自行研制的第一个高射机枪武器系统,填补了
步兵低空防空的空白,将成为我军新型防低空、反轻型装甲的高性能武器,使我军步兵的
战斗力大大提高。
四大分系统—四羽呈祥
14.5毫米单管高射机枪武器系统由14.5毫米单管高射机枪、14.5毫米钨芯脱壳穿甲
燃烧曳光弹(简称脱壳弹)、14.5毫米穿甲爆炸燃烧弹(简称穿爆燃弹)及14.5毫米单管高
射机枪高平合一瞄准镜组成。
QJG02高射机枪平射状态
14.5毫米单管高射机枪 该枪最大的特点是大量使用了铝合金、钛合金等轻合金材
料,应用零件达70多件,使全枪重量大幅度减轻,是目前国内外同类高射机枪最轻的,比75
式14.5毫米单管高射机枪轻63千克,比俄罗斯HCBl2.7毫米机枪还轻5.4千克。全枪由枪
身、枪架及附件组... 阅读全帖 |
|
w*********g
发帖数: 30882 | 16 各种环境下工作可靠 尽管14.5毫米机枪在口径上仅比12.7毫米机枪大1.8毫米,但前者
的枪口动能却比后者几乎提高一倍,由此导致的后坐能量也比12.7毫米机枪大很多。传
统上为了吸收后坐能量,14.5毫米机枪一般采用管退式自动原理。而14.5毫米单管高射
机枪的设计师们大胆应用了导气式自动原理,通过调整导气孔的大小来保证武器在各种
环境下工作的可靠性。
QJG02高射机枪平射状态
QJG02式14.5毫米单管高射机枪(以下简称机枪)是“八五”期间武器装备研制的重
点项目之一，是我国完全自主研制的第一支14.5毫米高射机枪，其先进的整体综合性能
体现了我国高射机枪的新水平，具有里程碑意义。
国产QJG02式14.5毫米高射机枪采用导气式自动原理，枪机回转式闭锁机构，机匣
经冲、铆、焊而成，枪管采用冷精锻并经激光强化处理，5发一节可散弹链供弹，后坐
一次输弹到位。全枪结构简单，外形美观，战斗与行军状态转换迅速，精度高，机构动
作可靠，且大量采用轻合金材料减轻了质量。
该枪除使用穿爆燃弹和脱壳弹外，还通用各种56式14.5毫米机枪弹。新老弹种通用
，功能全，射程远，威力大。其适合在各种地域... 阅读全帖 |
|
n*****t
发帖数: 22014 | 17 毛病， 自动机本身是快餐文化，出来马上能吃还差不多，策划营销的是猪脑子
2013年9月11日晚8点半，杭州一家大闸蟹专卖店，几位员工正在调试店门口的一台自动
售卖机。这台机器长宽各1米多，正面是一整块透明玻璃，右侧和下方分别是投币口和
取物口。乍一看，........ |
|
L****r
发帖数: 147 | 18 引自 http://www.acfun.tv/v/ac334765
第32届安捷伦北京青少年科技创新大赛学生科技创新项目公示名单(up节选)
小学组
论翼龙骨骼结构与灭绝原因的联系 魏博琨 洪瑞怡
负压式医用手套自动佩戴装置 米尔莉 张苏潼
双轴自稳云台 钱李潜馨 小学六年级
香烟浸出液对春羽介壳虫的防治实验 肖雨涵 小学四年级
北极斯瓦尔巴德群岛朗伊尔宾I号冰川不同海拔梯度环境对北极罂粟生长的影响
白宇辰 小学六年级
铬污染建筑粉碎颗粒大小对铬含量测定的影响 陈博伦 小学六年级
超声波汽车开门自动防刮蹭装置 王默涵 刘芃青
基于AVR单片机的中小学生坐姿不端提醒仪的设计 韩启沃 小学六年级
太阳黑子对石榴树年轮宽度的影响 邓瑞傲 小学五年级
... 阅读全帖 |
|
w**********5
发帖数: 1741 | 19 第32届安捷伦北京青少年科技创新大赛学生科技创新项目公示名单(up节选)
up:天朝的中小学生太威武了，十年内必夺诺贝尔奖，百年内一统全球。我看到了祖国
的未来与希望。up表示大学白读了，很多题目看都看不懂。某些医药学，植物学，化工
材料和工程的内容非常碉堡,部分非医药化工类异常碉堡的标红了。
各位等着被雷吧。up已经阵亡了。你们能看懂%多少呢？
小学组
序号 项目编号 项目标题 学科分类 类型 组别 成员
年级 学校名称 辅导教师 区县 获奖等级 专项奖
1 LS12012T 论翼龙骨骼结构与灭绝原因的联系 生命科学 集体项目
小学组 魏博琨 洪瑞怡 小学六年级 小学六年级 北京市东城区史家
胡同小学 北京市东城区史家胡同小学 张培华 东城区 1
10 ... 阅读全帖 |
|
j****n
发帖数: 3465 | 20 【 以下文字转载自 NewExpress 讨论区 】
发信人: relic (遗迹), 信区: NewExpress
标 题: 安捷伦！ shame on you！
发信站: 水木社区 (Tue Dec 3 23:32:52 2013), 站内
引自：http://www.acfun.tv/v/ac334765
第32届安捷伦北京青少年科技创新大赛学生科技创新项目公示名单(up节选)
小学组
论翼龙骨骼结构与灭绝原因的联系 魏博琨 洪瑞怡
负压式医用手套自动佩戴装置 米尔莉 张苏潼
双轴自稳云台 钱李潜馨 小学六年级
香烟浸出液对春羽介壳虫的防治实验 肖雨涵 小学四年级
北极斯瓦尔巴德群岛朗伊尔宾I号冰川不同海拔梯度环境对北极罂粟生长的影响
白宇辰 小学六年级
铬污染建筑粉碎颗粒大小对铬含量测定的影响 陈博伦 小学六年级
超声波汽车开门自动防刮蹭装置 王默涵 刘芃青
基于AVR单片... 阅读全帖 |
|
P***y
发帖数: 2885 | 21 这个不就是是自动机理论嘛。讲到最后就是P和NP。斯坦福大学在二年级开的。前几年惠
普的一个员工证明了P确实不等于NP. |
|
P***y
发帖数: 2885 | 22 CS的理论基础是自动机理论，是上个世纪初发展出来的。 |
|
S******8
发帖数: 24594 | 23 最装逼的专业课应该是自动机原理吧，不知道会不会有面试官问这个。 |
|
m***a
发帖数: 2262 | 24 形式语言与自动机，算是计算理论的一部分，不过本科一般不学这个吧，或者只在编译
原理或是算法与数据结构里介绍个皮毛？ |
|
a**********u
发帖数: 28450 | 25 http://www.cutech.edu.cn/cn/rootfiles/2014/01/15/13897224633989
教育部推荐2014 年度国家科学技术奖公示内容
项目名称： 网络计算的模式及基础理论研究
项目简介：
计算机体系结构及其计算模式是计算机技术与计算机产业发展的理论基础。探索
和研究计算系统的新型架构和模式是计算机科学界和产业界的重要命题。60 多年前提
出的图灵机以及冯•诺依曼结构计算机的单机串行计算模式已经不能适应新型网
络环
境下的计算需要。本项目扩展了冯•诺依曼结构模型，并在此基础上提出了透明
计算模
式,被国内外采用，引发和推动了国内外新型网络计算模式的理论和实践。主要成果有
三个方面：
（1）提出了时空扩展冯•诺依曼结构和透明计算模式。前者将原来计算机的内部
总线扩展为外部网络，在空间上解除了指令计算和存储的紧密绑定，在时间上将指令
的计算和存储由“串行”变成“并行”。后者以用户可跨平台自由选择服务为中心，把
计算还原成“服务透明、用户定制”的跨设备、跨平台的个性化服务。基于透明计算
还提出了独立于操作系统的新型安... 阅读全帖 |
|
d*******3
发帖数: 8598 | 26 【 以下文字转载自 Physics 讨论区 】
发信人: Jerry0803 (Jerry and Tom), 信区: Physics
标 题: 【转载】漫谈物理学的过去、现在与未来 冯端
发信站: BBS 未名空间站 (Sat May 10 22:33:04 2014, 美东)
漫谈物理学的过去、现在与未来*
冯 端
摘 要 文章试图对物理学的发展历史作一透视，从而理解其现状，并进而窥测其未
来的前景.我们希望这一看法对于当今从事物理学教学与科研的人士有所助益.由于物理
世界的层次化，诸层次之间既可能存在耦合，又可能出现脱耦.因而大量粒子所构成的
复杂体系中所涌现的各种层展性质就不能简单地还原成个别粒子所服从的规律.我们根
据这一观点并结合物理学的未来前景，讨论了当今物理学研究的若干前沿问题.一切迹
象预示着物理学将有光明的前景.
关键词 物理学，历史，现状，前景，前沿，物理世界的层次化，层展性质
RAMBLING ABOUT THE PAST,PRESENT AND FUTURE OF PHYSICS
Feng Duan
(Department of Physics,Naj... 阅读全帖 |
|
w*****s
发帖数: 387 | 27 威武的95
简介：95式自动步枪于1989年提出研制指标要求，于1995年设计定型，命名为95式5.8mm口径自动步枪（简称QBZ95，Q-轻武器，B-步枪，Z-自动，95-95年设计定型）。该枪于1997年作为中国人民解放军驻港部队和特种兵部队的配用武器首次露面。现已基本装备部队。成为是中国新一代的制式自动步枪。是中国人民解放军及武警部队第一种大规模列装部队的小口径自动步枪。
95式自动步枪为无托结构步枪，导气式自动方式，自动机采用短行程导气式活塞，机头回转式闭锁，可单、连发射击，具有30发塑料弹匣供弹。机械瞄准具为觇孔式照门。配有降噪音、降火焰的膛口装置。外部材料大量使用了工程塑料。
5.8毫米枪弹后坐力小，全枪动力特性平稳，整体布局合理，射击时持枪震动很小，单、点精度均达到较高水平。机构动作可靠。
95式自动步枪可加挂能快速拆卸的35毫米口径榴弹发射器；配有白光瞄准镜和微光瞄准镜，微光瞄准镜可在夜间弱光条件下对200米以内生动目标精确瞄准。配多功能刺刀可快速装卸。
81-1自动步枪
81式自动步枪是中国人民解放军装备的一种制式步枪。?于1979年下达的研制任务，1981年设计定型... 阅读全帖 |
|
D****m
发帖数: 323 | 28 我认为还是盎撒英，毕竟生存空间和人口数量才是种族文明延续的基石，靠寄生虽可以
风光一时，但没法保证将来
英加美澳新，虽不同国，但内在同构，真正体现了盎撒英的自由开拓精神
大一桶思想浸淫至深的老中是无法理解类似苏格兰独立诉求之类的事情的
盎撒英的社会组织结构可以复制，基督教+普通法系+武装商团，没有最小单位，因而就
算人数不多，也可以到处殖民并站稳脚跟，类似元胞自动机，后续的贸易科技发展顺理
成章
中国两千多年天子+臣民的模式只适合静态农业社会，所以指望华人参政议政实属虚妄
在可预见的未来，盎撒系白人仍将继续支配地球
--------------------------
update:
http://www.theatlantic.com/international/archive/2012/07/sorry-
我认为‘左派/犹太人毁灭美国’是杞人忧天，罗姆尼这种盎撒精英阶层神龙见首不见
尾，媒体曝光度不高，但实力不容小觑
而且犹太势力只盘踞在影视媒体金融行业，纯service
大型军工共同体还是牢牢掌握在盎撒英手中，犹太人无法染指 |
|
d*****u
发帖数: 17243 | 29 也不能这么说
你说计算机系学自动机理论干嘛，什么图灵机
直接学Java不就完了
当然历史的那些东西永远有争议 |
|
|
c*****n
发帖数: 298 | 31 国产M99新型12.7毫米大口径狙击步枪
美国M82-A1型狙击步枪
当前，士兵的防护水平越目来越高，现有的5.56毫米和7.62毫米的狙击步枪在射程和威力方面已显弱势，积极发展新型12.7毫米大口径狙击步枪成为各军事强国的新赛场。如美国巴雷特M82A1、M107狙击步枪(LRSB)，英国的AW50FT，俄罗斯的0SV96，匈牙利的“杰帕德”等都不失为这一竞赛的好手。
M99取众之长的新品
M99是一款性能先进、用途广泛、精度高、射程远、重量轻、结构新颖、性能可靠、易维护的大口径半自动狙击步枪。M99的这些优势得益于它融合了世界上同类武器的先进机构，如带散热槽的枪管、高效的膛口制退器、标准的皮卡汀尼导轨、高度可调的脚架组件、尾部支撑、贴腮板和握持舒适的流线型握把等。那么，这支兼具众多优秀结构的狙击步枪在哪些方面表现优异呢？
结构紧凑可靠
该枪枪管采用了85式12.7毫米高射机枪枪管的特殊膛线，并进行了优化设计，具有良好的耐磨、耐烧蚀等特点。设计者还逐一改进了其它部件，如优化了两脚架组件的支撑位置及弹匣总体尺寸，使全枪结构更加紧凑可靠。
采用新材料和新工艺 减轻全枪重量是目前轻武器设计要... 阅读全帖 |
|
d*********p
发帖数: 1531 | 32 【小学组】
论翼龙骨骼结构与灭绝原因的联系 魏博琨 洪瑞怡
负压式医用手套自动佩戴装置 米尔莉 张苏潼
双轴自稳云台 钱李潜馨 小学六年级
香烟浸出液对春羽介壳虫的防治实验 肖雨涵 小学四年级
北极斯瓦尔巴德群岛朗伊尔宾I号冰川不同海拔梯度环境对北极罂粟生长的影响 白
宇辰 小学六年级
铬污染建筑粉碎颗粒大小对铬含量测定的影响 陈博伦 小学六年级
超声波汽车开门自动防刮蹭装置 王默涵 刘芃青
基于AVR单片机的中小学生坐姿不端提醒仪的设计 韩启沃 小学六年级
太阳黑子对石榴树年轮宽度的影响 邓瑞傲 小学五年级
【中学项目】
槐树中Lectin基因的克隆及其抗虫功能的初步验证 刘佳玉 高二
长白山火山碎屑流的调查研究 刘旺予 初三
土壤表层3,4-苯并芘紫外光降解时间研究及实例分析 王若茶 高三
细菌生物被膜与呼吸机相关肺炎关系的探讨 邓培钧 李思聪
新型尖晶石型无机无水印染颜料的制备与应用性质表征初步研究 江菡婕 高二
三元正极材料的电化学性能研究及低温性能的优化 李璐宇 高二
物体内应力检测装置 文艺 初三
履带式内置桨水下移动机器人 毛陆麒 高二
海陆空三栖多功能飞行器研发 穆博文... 阅读全帖 |
|
b*******8
发帖数: 37364 | 33 王认为学编译，分析各种自动机几型文法都是扯淡，不如我又快又好写出代码。殊不知
不深入研究透数学模型，无法知道各种文法的局限性，也无法知道是不是有内在矛盾。
写代码又快又好，固然是好事，但看不起搞理论研究的，就悲愤过了头。
这就好比古代中国只注重土地丈量，而不搞公理体系的几何。 |
|
x*****8
发帖数: 10683 | 34 简单地说，科幻电影里面纳米级机器人可以钻到人体内部去检查身体并进行手术就是。
Nanotechnology, nanorobot, self-assembling molecules, etc.
化学分子机器从上个世纪八十年代就开始流行。这一切都开始于扫描隧道电子显微镜，
可以操纵单个原子进行组装，这个是基于量子物理。而且分子机器用到各种化学键和分
子间作用力，单靠量子物理从头计算还解决不了化学问题，这个是基于物理化学，有机
化学和高分子化学。生物分子机器的历史更长一些，上个世纪对蛋白质/酶，核酸，生
物膜，以及各种生化机理的研究，使得科学家可以模拟生物体本身的分子机器，这个是
生物化学和分子生物学。
另外，本虾认为现在分子机器研究正在和有限自动机/图灵机结合起来，这个是理论计
算机科学。
今后分子机器的研究还将赢得更多的诺贝尔物理奖，化学奖，生理学及医学奖，和图灵
奖。 |
|
t******l
发帖数: 10908 | 35 另外窝觉得有必要批评一下 Facebook interview education 那个小妞的 anti-math
的观点。
我不是说 raw brain power 不重要，但 raw brain power 的最大问题是不能积累，只
能走短平快，走火入魔的话也只能是孔乙己型天外飞仙题。。。举个例子就是 text
pattern matching 题可以有八百万种直接字符串而想出的刁钻古怪的 raw brain
power 的解法，但最终要规约总结成比如 LALR shift-reduce 文法自动机理论，或者
各种基于数学的理论，才能后浪站在前浪的肩膀上而一代一代可持续发展。。。否则将
来就是猴子那样一代不如一代。// run
: 这个有一定道理。
: 其实以前GRE阅读上有篇文章，说有的idea很难想出来，但一旦想出来并表述出
来很容
: 易被其他人理解，于是它们的创造性价值被低估。
: fabric
|
|
t******l
发帖数: 10908 | 36 另外比如 dynamic programming 是著名的以难题著称。。。但是如果没有马工学的
optimal substructure 和 overlapping subproblem 理论的话，仅仅依靠 raw brain
power 在纸上画所见即所得来规约的话，raw brain power 想上一个礼拜咋的也再也想
不动了不是。。。没有马工理论抽象规则规约试图发现可乘之机的话，很难可持续发展
是真的。。。因为 raw brain power 有生理学限制。
当然有数学马工理论，还是会时而不时的阴沟翻船。。。人之常情。。。但数学马工理
论可持续发展的意义就是，东翻翻，西翻翻，说不定哪天手气一好就翻出来了。。。
: 另外窝觉得有必要批评一下 Facebook interview education 那个小妞的 anti-
math
: 的观点。
: 我不是说 raw brain power 不重要，但 raw brain power 的最大问题是不能积
累，只
: 能走短平快，走火入魔的话也只能是孔乙己型天外飞仙题。。。举个例子就是
text
<... 阅读全帖 |
|
t******l
发帖数: 10908 | 37 这个也是我们中小学数学教育的问题。。。你要是仔细看的话，我前面没有提 "无理数
" 这个概念。。。我前面说的很清楚的是 "根号数" 的概念，也就是有确切给定的马工
自动机生成规则的数。。。而且 "无理数" 的集合是 uncountable 的，"根号数" 的集
合是 countable。
我前面还提到了 "小数"，也就是 decimals。。。如果提到无限循环小数，那就是有对
应的分数，countable。。。而我提到无限不循环小数的时候，我后面有马上提到浮点
协处理器和 floating point number round off error 的工业界处理，所以还是可操
作 countable 的。
所以我没有使用你所提到的 perfection。。。我里面所涉及的 "无限"，都可以建模成
有限状态自动蹦蹦机的停机问题。。。所谓的 "无限" 就是可以逻辑上证明该蹦蹦机永
不停机。。。符合大众语言里的 “条条大路通罗马”，或者 “好日子望不到边”。。
。是符合时间之箭的 "无限"，也就是有使用价值的 "无限"，而不是仅仅为了数学美。
所以我对 whether the concept ... 阅读全帖 |
|
t******l
发帖数: 10908 | 38 不是这个原因，而是高中初等数学为了考虑小时数和群众接受能力，把完整对称的理论
里不常用的部分给剪裁掉了。
比如一个例子是 permutation / combination，因为大部分娃一辈子也解不出排列组合
的 puzzle 题，所以为了节省篇幅，对于以下完整四种情况：
permutation wo/ repetition
permutation w/ repetition
combination wo/ repetition
combination w/ repetition
的最后一种情况就裁掉了。。。这样对大部分娃就少记一个不必要的公式。
但是对于数学竞赛的，其实这四个公式都不需要记忆，只要会导出且证明就行了。。。
但最后一个 combination w/ repetition 的导出需要数学自动机建模（ice cream
scoop 蹦蹦机模型，把组合总数对应成不同穿孔纸带总数），这个虽然看起来简单，但
似乎需要抽象思维能力，真正把娃教会并不容易，所以我觉得高中数学课本就略去了。
。。其实还是初等数学，当然奥赛学习就需要补全之。
: 俺们中国有一个创新词汇 -- 中... 阅读全帖 |
|
t******l
发帖数: 10908 | 39 奥物的近似部分确实要靠直觉。
但现代美帝改革后的奥数，空间建模解法和自动机建模解法，也一样需要直觉，尽管不
需要近似。。。当然改革前的祖国奥数尽是些抽屉原理证明题，更多的 raw brain
power，对空间建模寻找 solution path 解法不强调。。。当然部分原因是当年马工计
算科学没有发展，缺少对 computational solution 的意义的评价。。。而不像物理学
一直尊重 computational solution 也是 solution 的概念。
: 呵呵, 有些东西装是装不出来的.
: 某些名媛的名, 是臭名昭著的名
: 化学竞赛到了后面并不是那么容易的, 虽然没有大学的知识底子是玩不转的, 但
是解题
: 尤其是比较难的题目还是要靠逻辑技巧.
: 其实化学更像是个奥数的二线竞赛, 利用的基础规则体系不一样, 逻辑严密度差
一下,
: 复杂度低一些.
: 但是推理逻辑还是很类似的. 其实名媛可能不知道的, 很多奥化兼的是奥数, 奥
数被淘
: 汰了以后来玩奥化的.
: 反而奥物是另... 阅读全帖 |
|
发帖数: 1 | 40 物理奥赛有个屁直觉，只有到全国决赛这种级别才有点思维和技术含量，初赛复赛就是
闷头死算，谁算的快谁分高，所以女生一般扛不下来
: 奥物的近似部分确实要靠直觉。
: 但现代美帝改革后的奥数，空间建模解法和自动机建模解法，也一样需要直觉，
尽管不
: 需要近似。。。当然改革前的祖国奥数尽是些抽屉原理证明题，更多的 raw
brain
: power，对空间建模寻找 solution path 解法不强调。。。当然部分原因是当年
马工计
: 算科学没有发展，缺少对 computational solution 的意义的评价。。。而不像
物理学
: 一直尊重 computational solution 也是 solution 的概念。
: 是解题
: 一下,
: 数被淘
: 的人非
|
|
t******l
发帖数: 10908 | 41 另外我说的 computational solution 不是计算题，是基于 computer science 自动机
的思想寻找确实解本身，而不是数学家们证个存在性就不管了。
哥们误解了。
赛就是 |
|
t******l
发帖数: 10908 | 42 那时候没有计算机竞赛。。。而且我初中到高中换了一个中学，那个高中没有计算机房
（不是资金的问题，是因为不是指定的计算机试点学校，那时只有试点学校有计算机房
）。
不过对我不是坏事，那时代的计算机太初级，侧重还是在语言而不是算法自动机理论。
。。大伙儿都学完 Pascal 了，你总不至于在乔布斯的 Apple II 上面学 C plus plus
跑 Linux 吧。。。 |
|
g******t
发帖数: 11249 | 43 想想编译原理，有限自动机
哪是现在这帮刷题的码农能搞懂的 |
|
s***h
发帖数: 487 | 44 跟现代纯数学无限数学家不同的是，古希腊人对数学的哲学认知，是认为数学是一种有
限的 pattern。
而对于 0.9999.... 这种无限循环小数，虽然其 pattern 的长度无限，但其 pattern
的生成规则的长度，或者现代意义上就是自动机/图灵机的代码长度是有限的 。。。
换言之，从古希腊人的角度，因为你不可能写完所有的 9，所以你觉得你写了一个无限
长实际
的数字，那是地球猴子们的主观错觉。实际上你写了一个有限长的数字生成规则。而是
时间之箭，把你有限长的数字生成规则，沿着时间的箭头，展开成无限。
所以回到你的物理世界问题，你这个现代 for its own sake 的纯数学家，搞了无限个
球放在天平的一边和另一边 。。。 而古希腊人认为所有的无限，必须通过有限的
pattern 在无限的时间之箭上展开，并且我们这个宇宙只有一个时间之箭 。。。 而你
在天平两边搞了两个互不相关的时间之箭，古希腊人认为你这个对 0.9999... 的黑白
球建模本身是逻辑混乱 。。。 给拉出去当苦力。 |
|
s***h
发帖数: 487 | 45 古希腊人说了 。。。 本质上其实就是要花几个独立的时间之箭，才能构造出有限条指
令的数数自动机打个覆盖。
有理数集就只需要一个时间之箭。
实数集以及实数区间都需要两个时间之箭。
但两个独立的时间之箭，本来就是一件反逻辑的事 。。。 因为时间之箭就是因为关系
causality 。。。 使用逻辑本身，就隐含因果关系，就隐含只能有一个时间之箭 。
。。 两个独立的时间之箭下使用因果关系的逻辑，这本质上是自相矛盾。
但现代纯数学家没办法对付时间之箭 。。。 因为跟古希腊人不同的是，现代纯数学家
需要公理 self-evident 。。。 时间之箭是这个宇宙里最最不能 self-evident 的玩
意儿，没有之一 。。。 |
|
M******8
发帖数: 10589 | 46 还不知道有这么一种奇葩机枪呢。
http://bbs.tiexue.net/post2_8643535_1.html
有史以来最不可靠的武器--法国绍沙M1915轻机枪
申正义文 2015/2/28 22:28:00
导读：有一款自动武器发明以来比较奇葩的一款自动武器，它是一款轻机枪，说他奇葩
呢，是因为他的形状比较奇特，比较丑陋，最主要的呢，它也是有史以来最差最差的一
款轻机枪，这款轻机枪为什么获此殊荣了呢，那是有原因的，源自于这款机枪糟糕设计
和在战场上故障不断的表现。它就是法国绍沙M1915轻机枪。 绍沙机枪是以设计委员会
主任绍沙上校的姓氏命名的。在那一时期，欧洲风行一种习惯，即武器装备名称惯用主
持这项工作官员的姓氏命名，以示尊敬。绍沙机枪在统计表中多称为C.5.R.C，据美国
人说这四个字母就是设计委员会主
有一款自动武器发明以来比较奇葩的一款自动武器，它是一款轻机枪，说他奇葩呢，是
因为他的形状比较奇特，比较丑陋，最主要的呢，它也是有史以来最差最差的一款轻机
枪，这款轻机枪为什么获此殊荣了呢，那是有原因的，源自于这款机枪糟糕设计和在战
场上故障不断的表现。它就是法国绍沙M... 阅读全帖 |
|
发帖数: 1 | 47 一个系统 比如在某种光照、或振幅时作出某种逻辑
（类似于自动机吧）
现在这个系统是黑盒
假如你可以任意改变环境（input）
也可以观测状态（output）假设就是0和1
要逆向工程出这个系统在什么条件下会改变状态
条件简化：环境值可以看作离散值，比如温度只能是整数度
千万不要跟我说枚举
我感觉这应该是一个经典问题
很可能是某种数学问题 |
|
发帖数: 1 | 48 [注：必须先声明一下了。这只是给某些人看的。一般情况下读到，你会很摸不清头脑
。当然，发在这里、那些所谓的 targeted personal，也可能看到、也可能看不到。
从现在起，请注意标题前面类似 vk 这样的标志，会尽量标注一下。]
RL，现在刚刚发现，一直靠装幼、扮萌，或者笑场来过关。因为老高、他在的话，有可
能在这些面前会“心软”。
RL 现在是 R-JuJin 了。你们有到场，就会看见、是怎么回事。That's Hell，so don'
t be surprise。
这个人（有号称“千千”）另外的 strategy，就是。。。She can make a point ——
When she could，对她的攻击就会使不上力气的。
比如、她这样讲，“我绝对不会让出手中的权力”。是的，立刻 R-JuJin 就被
release 了。也就是，又见、须先灭见。
这里就是类似：“那么别的人去打个牌、吃个饭，跟你有什么关系呢？这也是妳权力的
一部分么？”所以，立刻，她就重新被 S.S. 自动机了。
保护自己手中的权力，这看来还是很 justified、很正当的。 |
|
c*********d
发帖数: 9770 | 49 http://www.fx361.com/page/2017/0728/2098564.shtml
2017-07-28 18:57:03 轻兵器2017年14期
研制枪得先有弹，研制弹得先有发射药，可见发射药对整体枪械系统的重要性。我国的
小口径枪弹发射药存在一定的缺陷，最终影响到95式枪族的使用性能。近日，小编偶遇
轻武器专家朵英贤院士，他道出了对我国小口径枪弹发射药的看法……
记者：朵院士好！难得见您一面。我国轻武器行业近年发展风风火火，推出一些新型武
器，一批新型项目在投入研制。今天见到您，我们暂且不说轻武器发展的成果，想就轻
武器，特别是小口径枪族存在的问题，听听您的意见。
朵：轻武器是我一生中重要的研究工作，牵挂始终。小口径枪族更是令我钟情。我就小
口径武器的问题略谈一二，不一定准确。
95式枪族定型后，我依然认识到其存在一些问题，曾向上级书面坦陈。问题主要有两个
方面，一是发射药性能不稳，残渣太多，已影响到武器可靠性；二是枪管膛孔钻得不直
，95式步枪的“热偏”（一种精度疵病，是指热枪管的弹着点散布中心与冷枪管的弹着
点散布中心有所偏离——编者注）主要是膛孔不直造成的。
... 阅读全帖 |
|
n********g
发帖数: 6504 | 50 EE学的是大专、中专水平的CS。图灵机、状态自动机、图灵机语言、如何简化等等不花
时间去玩基础就是不行。 |
|
