① 与电气工程及其自动化有关的伟大著作
电气与自动化工程学院主要著作
《自动检测和仪表中的共性技术》 徐科军,陈荣保,张崇巍 2000 清华大学出版社
《信号处理技术》 徐科军 2001 武汉理工大学出版社
《运动控制系统》 张崇巍 2002 武汉理工大学出版社
《定点DSP的原理、开发与应用》 徐科军 2002 清华大学出版社
《Verilog 与PC机接口电路设计》 高明伦 2002 安徽科技出版社
《电气测试技术基础》 徐科军 2003 机械工业出版社
《PWM整流器及其控制》 张崇巍,张兴 2003 机械工业出版社
《EDA与数字系统设计》 李国丽,朱维勇,栾铭 2004 机械工业出版社
《TMS320LF/LC24系列DSP的CPU与外设》 徐科军,张兴,肖本贤,吴婷等编译 2004 清华大学出版社
《传感器与检测技术》 徐科军 2004 电子工业出版社
《电机及拖动基础》 顾绳谷 2004 机械工业出版社
《自动控制原理(学练考)》 孔慧芳 2004 清华大学出版社
《电工技术(电工学Ⅰ)》 高福华,常通义主编(马红杰) 2004 机械工业出版社
《电子技术(电工学Ⅱ)》 罗会昌,周新云主编(刘春) 2004 机械工业出版社
《TMS320LF/LC24系列DSP指令和编程工具》 徐科军,肖本贤,张兴,吴婷等编译 2005 清华大学出版社
《电路分析》 刘健,徐袆,尹均萍,刘良成 2005 电子工业出版社
《信号分析与处理》 徐科军主编 2006 清华大学出版社
《电路学练考》 主编:叶运骅,江兵;参编:张晨彧 2005 清华大学出版社
《TMS320X281XDSP原理与应用》 徐科军,张瀚,陈智渊编著 2006 北京航空航天大学出版社
《爪极电机的结构、理论及应用》 王群京,倪有源,李国丽 2006 中国科学技术大学出版社
《CMOS集成电路版图--概念、方法与工具》 高明伦审校,邓红辉,王晓蕾等译 2006 电子工业出版社
《自动化专业英语》 张晓江参编 2006 中国林业出版社 北京大学出版社
《现代控制理论基础》 王孝武主编 张晓江副主编 2006 机械工业出版社 普通高等教育“十一五”国家级规划教材
《微机原理与接口技术习题与解析》 温阳东,鲍远慧 2006 清华大学出版社
《电机及拖动基础(上、下册)(第四版)》 顾绳谷 主编,姚守猷 副主编,张晓江 唐海源 参编 2007 机械工业出版社 普通高等教育“十一五”国家级规划教材
《传感器与检测技术》 徐科军主编,马修水 李晓林等副主编,王化祥主审 2008 电子工业出版社 普通高等教育“十一五”国家级规划教材,普通高等教育“十一五”国家级精品教材
《电气测试技术》 徐科军主编,马修水 李国丽副主编 2008 电子工业出版 普通高等教育“十一五”国家级规划教材
《电路分析》 刘健主编,徐袆副主编,尹均萍 刘良成编 普通高等教育“十一五”国家级规划教材
《自动控制系统计算机仿真》 张晓江,黄云志编著;张崇巍主审 2009 机械工业出版社 普通高等教育“十一五”电气信息类规划教材
《自动控制理论》 王孝武,方敏,葛锁良编 2009 机械工业出版社 普通高等教育“十一五”国家级规划教材,普通高等教育电气工程与自动化“十一五”规划教材
《电机及拖动基础习题解答与学习指导(第2版)》 唐海源,张晓江 2010 机械工业出版社 普通高等教育“十一五”国家级规划教材配套教材
《DSP及其电气与自动化工程应用》 徐科军,陶维青,汪海宁等编著 2010 北京航空航天大学出版社
《TMS320F2812 DSP应用技术》 徐科军,陈志辉,傅大丰编著 2010 科学出版社 高等院校电气工程及其自动化专业系列精品教材
② 推荐一本数据库原理的好书。中文的,如果是翻译的,要公认翻译的不错的。
计算机科学与技术学习反思录
计算机理论的一个核心问题--从数学谈起:
记得当年大一入学,每周六课时高等数学,天天作业不断(那时是六日工作制)。颇有些同学惊呼走错了门:咱们这到底念的是什么系?不错,你没走错门,这就是计算机科学与技术系。我国计算机科学系里的传统是培养做学术研究,尤其是理论研究的人(方向不见得有问题,但是做得不是那么尽如人意)。而计算机的理论研究,说到底了,如网络安全,图形图像学,视频音频处理,哪个方向都与数学有着很大的关系,虽然也许是正统数学家眼里非主流的数学。这里我还想阐明我的一个观点:我们都知道,数学是从实际生活当中抽象出来的理论,人们之所以要将实际抽象成理论,目的就在于想用抽象出来的理论去更好的指导实践,有些数学研究工作者喜欢用一些现存的理论知识去推导若干条推论,殊不知其一:问题考虑不全很可能是个错误的推论,其二:他的推论在现实生活中找不到原型,不能指导实践。严格的说,我并不是一个理想主义者,政治课上学的理论联系实际一直是指导我学习科学文化知识的航标(至少我认为搞计算机科学与技术的应当本着这个方向)。
其实我们计算机系学数学光学高等数学是不够的(典型的工科院校一般都开的是高等数学),我们应该像数学系一样学一下数学分析(清华计算机系开的好像就是数学分析),数学分析这门科学,咱们学计算机的人对它有很复杂的感情。在于它是偏向于证明型的数学课程,这对我们培养良好的分析能力极有帮助。我的软件工程学导师北工大数理学院的王仪华先生就曾经教导过我们,数学系的学生到软件企业中大多作软件设计与分析工作,而计算机系的学生做程序员的居多,原因就在于数学系的学生分析推理能力,从所受训练的角度上要远远在我们之上。当年出现的怪现象是:计算机系学生的高中数学基础在全校数一数二(希望没有冒犯其它系的同学),教学课时数也仅次于数学系,但学完之后的效果却不尽如人意。难道都是学生不努力吗,我看未见得,方向错了也说不一定,其中原因何在,发人深思。
我个人的浅见是:计算机系的学生,对数学的要求固然跟数学系不同,跟物理类差别则更大。通常非数学专业的所谓“高等数学”,无非是把数学分析中较困难的理论部分删去,强调套用公式计算而已。而对计算机系来说,数学分析里用处最大的恰恰是被删去的理论部分。说得难听一点,对计算机系学生而言,追求算来算去的所谓“工程数学”已经彻底地走进了误区。记上一堆曲面积分的公式,难道就能算懂了数学?那倒不如现用现查,何必费事记呢?再不然直接用Mathematics或是Matalab好了。
我在系里最爱做的事情就是给学弟学妹们推荐参考书。中文的数学分析书,一般都认为以北大张筑生老师的“数学分析新讲”为最好。万一你的数学实在太好,那就去看菲赫金哥尔茨的“微积分学教程”好了--但我认为没什么必要,毕竟你不想转到数学系去。吉米多维奇的“数学分析习题集”也基本上是计算型的东东。书的名气很大,倒不见得适合我们,还是那句话,重要的是数学思想的建立,生活在信息社会里我们求的是高效,计算这玩意还是留给计算机吧。不过现在多用的似乎是复旦大学的《数学分析》也是很好的教材。
中国的所谓高等代数,就等于线性代数加上一点多项式理论。我以为这有好的一面,因为可以让学生较早感觉到代数是一种结构,而非一堆矩阵翻来覆去。这里不得不提南京大学林成森,盛松柏两位老师编的“高等代数”,感觉相当舒服。此书相当全面地包含了关于多项式和线性代数的基本初等结果,同时还提供了一些有用的又比较深刻的内容,如Sturm序列,Shermon-Morrison公式,广义逆矩阵等等。可以说,作为本科生如能吃透此书,就可以算高手。国内较好的高等代数教材还有清华计算机系用的那本,清华出版社出版,书店里多多,一看就知道。从抽象代数的观点来看,高等代数里的结果不过是代数系统性质的一些例子而已。莫宗坚先生的《代数学》里,对此进行了深刻的讨论。然而莫先生的书实在深得很,作为本科生恐怕难以接受,不妨等到自己以后成熟了一些再读。
正如上面所论述的,计算机系的学生学习高等数学:知其然更要知其所以然。你学习的目的应该是:将抽象的理论再应用于实践,不但要掌握题目的解题方法,更要掌握解题思想,对于定理的学习:不是简单的应用,而是掌握证明过程即掌握定理的由来,训练自己的推理能力。只有这样才达到了学习这门科学的目的,同时也缩小了我们与数学系的同学之间思维上的差距。
概率论与数理统计这门课很重要,可惜大多数院校讲授这门课都会少些东西。少了的东西现在看至少有随机过程。到毕业还没有听说过Markov过程,此乃计算机系学生的耻辱。没有随机过程,你怎么分析网络和分布式系统?怎么设计随机化算法和协议?据说清华计算机系开有“随机数学”,早就是必修课。另外,离散概率论对计算机系学生来说有特殊的重要性。而我们国家工程数学讲的都是连续概率。现在,美国已经有些学校开设了单纯的“离散概率论”课程,干脆把连续概率删去,把离散概率讲深些。我们不一定要这么做,但应该更加强调离散概率是没有疑问的。这个工作我看还是尽早的做为好。
计算方法学(有些学校也称为数学分析学)是最后一门由数理学院给我们开的课。一般学生对这门课的重视程度有限,以为没什么用。不就是照套公式嘛!其实,做图形图像可离不开它,密码学搞深了也离不开它。而且,在很多科学工程中的应用计算,都以数值的为主。这门课有两个极端的讲法:一个是古典的“数值分析”,完全讲数学原理和算法;另一个是现在日趋流行的“科学与工程计算”,干脆教学生用软件包编程。我个人认为,计算机系的学生一定要认识清楚我们计算机系的学生为什么要学这门课,我是很偏向于学好理论后用计算机实现的,最好使用C语言或C++编程实现。向这个方向努力的书籍还是挺多的,这里推荐大家高等教育出版社(CHEP)和施普林格出版社(Springer)联合出版的《计算方法(Computational Methods)》,华中理工大学数学系写的(现华中科技大学),这方面华科大做的工作在国内应算是比较多的,而个人认为以这本最好,至少程序设计方面涉及了:任意数学函数的求值,方程求根,线性方程组求解,插值方法,数值积分,场微分方程数值求解。李庆扬的那本则理论性过强,与实际应用结合得不太紧。
每个学校本系里都会开一门离散数学,涉及集合论,图论,和抽象代数,数理逻辑。不过,这么多内容挤在离散数学一门课里,是否时间太紧了点?另外,计算机系学生不懂组合和数论,也是巨大的缺陷。要做理论,不懂组合或者数论吃亏可就太大了。从理想的状态来看,最好分开六门课:集合,逻辑,图论,组合,代数,数论。这个当然不现实,因为没那么多课时。也许将来可以开三门课:集合与逻辑,图论与组合,代数与数论。(这方面我们学校已经着手开始做了)不管课怎么开,学生总一样要学。下面分别谈谈上面的三组内容。
古典集合论,北师大出过一本《基础集合论》不错。
数理逻辑,中科院软件所陆钟万教授的《面向计算机科学的数理逻辑》就不错。现在可以找到陆钟万教授的讲课录像,自己去看看吧。总的来说,学集合/逻辑起手不难,普通高中生都能看懂。但越往后越感觉深不可测。
学完以上各书之后,如果你还有精力兴趣进一步深究,那么可以试一下GTM系列中的《Introction to Axiomatic Set Theory》和《A Course of Mathematical Logic》。这两本都有世界图书出版社的引进版。你如果能搞定这两本,可以说在逻辑方面真正入了门,也就不用再浪费时间听我瞎侃了。
据说全中国最多只有三十个人懂图论。此言不虚。图论这东东,技巧性太强,几乎每个问题都有一个独特的方法,让人头痛。不过这也正是它魅力所在:只要你有创造性,它就能给你成就感。我的导师说,图论里面随便揪一块东西就可以写篇论文。大家可以体会里面内容之深广了吧!国内的图论书中,王树禾老师的“图论及其算法”非常成功。一方面,其内容在国内教材里算非常全面的。另一方面,其对算法的强调非常适合计算机系(本来就是科大计算机系教材)。有了这本书为主,再参考几本翻译的,如Bondy & Murty的《图论及其应用》,人民邮电出版社翻译的《图论和电路网络》等等,就马马虎虎,对本科生足够了。再进一步,世界图书引进有GTM系列的"Modern Graph Theory"。此书确实经典!国内好象还有一家出版了个翻译版。不过,学到这个层次,还是读原版好。搞定这本书,也标志着图论入了门。 外版的书好就好在这里,最新的科技成果里面都有论述,别的先不说,至少是“紧跟时代的理论知识”。
组合感觉没有太适合的国产书。还是读Graham和Knuth等人合著的经典“具体数学”吧,西安电子科技大学出版社有翻译版。
抽象代数,国内经典为莫宗坚先生的“代数学”。此书是北大数学系教材,深得好评。然而对本科生来说,此书未免太深。可以先学习一些其它的教材,然后再回头来看“代数学”。国际上的经典可就多了,GTM系列里就有一大堆。推荐一本谈不上经典,但却最简单的,最容易学的:这本“Introction to Linear and Abstract Algebra"非常通俗易懂,而且把抽象代数和线性代数结合起来,对初学者来说非常理想,我校比较牛的同学都有收藏。
数论方面,国内有经典而且以困难著称的”初等数论“(潘氏兄弟著,北大版)。再追溯一点,还有更加经典(可以算世界级)并且更加困难的”数论导引“(华罗庚先生的名著,科学版,九章书店重印,繁体的看起来可能比较困难)。把基础的几章搞定一个大概,对本科生来讲足够了。但这只是初等数论。本科毕业后要学计算数论,你必须看英文的书,如Bach的"Introction to Algorithmic Number Theory"。
计算机科学理论的根本,在于算法。现在很多系里给本科生开设算法设计与分析,确实非常正确。环顾西方世界,大约没有一个三流以上计算机系不把算法作为必修的。算法教材目前公认以Corman等著的"Introction to Algorithms"为最优。对入门而言,这一本已经足够,不需要再参考其它书。
再说说形式语言与自动机。我看过北邮的教材,应该说写的还清楚。但是,有一点要强调:形式语言和自动机的作用主要在作为计算模型,而不是用来做编译。事实上,编译前端已经是死领域,没有任何open problems,北科大的班晓娟博士也曾经说过,编译的技术已相当成熟。如果为了这个,我们完全没必要去学形式语言--用用yacc什么的就完了。北邮的那本在国内还算比较好,但是在深度上,在跟可计算性的联系上都有较大的局限,现代感也不足。所以建议有兴趣的同学去读英文书,不过国内似乎没引进这方面的教材。可以去互动出版网上看一看。入门以后,把形式语言与自动机中定义的模型,和数理逻辑中用递归函数定义的模型比较一番,可以说非常有趣。现在才知道,什么叫“宫室之美,百官之富”!
计算机科学和数学的关系有点奇怪。二三十年以前,计算机科学基本上还是数学的一个分支。而现在,计算机科学拥有广泛的研究领域和众多的研究人员,在很多方面反过来推动数学发展,从某种意义上可以说是孩子长得比妈妈还高了。但不管怎么样,这个孩子身上始终流着母亲的血液。这血液是the mathematical underpinning of computer science(计算机科学的数学基础),也就是理论计算机科学。原来在东方大学城图书馆中曾经看过一本七十年代的译本(书皮都没了,可我就爱关注这种书),大概就叫《计算机数学》。那本书若是放在当时来讲决是一本好书,但现在看来,涵盖的范围还算广,深度则差了许多,不过推荐大一的学生倒可以看一看,至少可以使你的计算数学入入门。
最常和理论计算机科学放在一起的一个词是什么?答:离散数学。这两者的关系是如此密切,以至于它们在不少场合下成为同义词。(这一点在前面的那本书中也有体现)传统上,数学是以分析为中心的。数学系的同学要学习三四个学期的数学分析,然后是复变函数,实变函数,泛函数等等。实变和泛函被很多人认为是现代数学的入门。在物理,化学,工程上应用的,也以分析为主。
随着计算机科学的出现,一些以前不太受到重视的数学分支突然重要起来。人们发现,这些分支处理的数学对象与传统的分析有明显的区别:分析研究的问题解决方案是连续的,因而微分,积分成为基本的运算;而这些分支研究的对象是离散的,因而很少有机会进行此类的计算。人们从而称这些分支为“离散数学”。“离散数学”的名字越来越响亮,最后导致以分析为中心的传统数学分支被相对称为“连续数学”。
离散数学经过几十年发展,基本上稳定下来。一般认为,离散数学包含以下学科 :
1) 集合论,数理逻辑与元数学。这是整个数学的基础,也是计算机科学的基础。
2) 图论,算法图论;组合数学,组合算法。计算机科学,尤其是理论计算机科学的核心是
算法,而大量的算法建立在图和组合的基础上。
3) 抽象代数。代数是无所不在的,本来在数学中就非常重要。在计算机科学中,人们惊讶地发现代数竟然有如此之多的应用。
但是,理论计算机科学仅仅就是在数学的上面加上“离散”的帽子这么简单吗?一直到大约十几年前,终于有一位大师告诉我们:不是。D.E.Knuth(他有多伟大,我想不用我废话了)在Stanford开设了一门全新的课程Concrete Mathematics。 Concrete这个词在这里有两层含义:
首先:对abstract而言。Knuth认为,传统数学研究的对象过于抽象,导致对具体的问题关心不够。他抱怨说,在研究中他需要的数学往往并不存在,所以他只能自己去创造一些数学。为了直接面向应用的需要,他要提倡“具体”的数学。在这里我做一点简单的解释。例如在集合论中,数学家关心的都是最根本的问题--公理系统的各种性质之类。而一些具体集合的性质,各种常见集合,关系,映射都是什么样的,数学家觉得并不重要。然而,在计算机科学中应用的,恰恰就是这些具体的东西。Knuth能够首先看到这一点,不愧为当世计算机第一人。其次,Concrete是Continuous(连续)加上discrete(离散)。不管连续数学还是离散数学,都是有用的数学!
理论与实际的结合--计算机科学研究的范畴
前面主要是从数学角度来看的。从计算机角度来看,理论计算机科学目前主要的研究领域包括:可计算性理论,算法设计与复杂性分析,密码学与信息安全,分布式计算理论,并行计算理论,网络理论,生物信息计算,计算几何学,程序语言理论等等。这些领域互相交叉,而且新的课题在不断提出,所以很难理出一个头绪来。想搞搞这方面的工作,推荐看中国计算机学会的一系列书籍,至少代表了我国的权威。下面随便举一些例子。
由于应用需求的推动,密码学现在成为研究的热点。密码学建立在数论(尤其是计算数论),代数,信息论,概率论和随机过程的基础上,有时也用到图论和组合学等。很多人以为密码学就是加密解密,而加密就是用一个函数把数据打乱。这样的理解太浅显了。
现代密码学至少包含以下层次的内容:
第一,密码学的基础。例如,分解一个大数真的很困难吗?能否有一般的工具证明协议正确?
第二,密码学的基本课题。例如,比以前更好的单向函数,签名协议等。
第三,密码学的高级问题。例如,零知识证明的长度,秘密分享的方法。
第四,密码学的新应用。例如,数字现金,叛徒追踪等。
在分布式系统中,也有很多重要的理论问题。例如,进程之间的同步,互斥协议。一个经典的结果是:在通信信道不可靠时,没有确定型算法能实现进程间协同。所以,改进TCP三次握手几乎没有意义。例如时序问题。常用的一种序是因果序,但因果序直到不久前才有一个理论上的结果....例如,死锁没有实用的方法能完美地对付。例如,......操作系统研究过就自己去举吧!
如果计算机只有理论,那么它不过是数学的一个分支,而不成为一门独立的科学。事实上,在理论之外,计算机科学还有更广阔的天空。
我一直认为,4年根本不够学习计算机的基础知识,因为面太宽了,8年,应该差不多了......
这方面我想先说说我们系在各校普遍开设的《计算机基础》。在高等学校开设《计算机基础课程》是我国高教司明文规定的各专业必修课程要求。主要内容是使学生初步掌握计算机的发展历史,学会简单的使用操作系统,文字处理,表格处理功能和初步的网络应用功能。但是在计算机科学系教授此门课程的目标决不能与此一致。在计算机系课程中目标应是:让学生较为全面的了解计算机学科的发展,清晰的把握计算机学科研究的方向,发展的前沿即每一个课程在整个学科体系中所处的地位。搞清各学科的学习目的,学习内容,应用领域。使学生在学科学习初期就对整个学科有一个整体的认识,以做到在今后的学习中清楚要学什么,怎么学。计算机基本应用技能的位置应当放在第二位或更靠后,因为这一点对于本系的学生应当有这个摸索能力。这一点很重要。推荐给大家一本书:机械工业出版社的《计算机文化》(New Perspective of Computer Science),看了这本书我才深刻的体会到自己还是个计算机科学初学者,才比较透彻的了解了什么是计算机科学。
一个一流计算机系的优秀学生决不该仅仅是一个编程高手,但他一定首先是一个编程高手。我上大学的时候,第一门专业课是C语言程序设计,念计算机的人从某种角度讲相当一部分人是靠写程序吃饭的。关于第一程序设计语言该用哪一种。我个人认为,用哪种语言属于末节,关键在养成良好的编程习惯。当年老师对我们说,打好基础后学一门新语言只要一个星期。现在我觉得根本不用一个星期,前提是先把基础打好。不要再犹豫了,学了再说,等你抉择好了,别人已经会了几门语言了。
汇编语言和微机原理是两门特烦人的课。你的数学/理论基础再好,也占不到什么便宜。这两门课之间的次序也好比先有鸡还是先有蛋,无论你先学哪门,都会牵扯另一门课里的东西。所以,只能静下来慢慢琢磨。这就是典型的工程课,不需要太多的聪明和顿悟,却需要水滴石穿的渐悟。有关这两门课的书,计算机书店里不难找到。弄几本最新的,对照着看吧。组成原理推荐《计算机组成与结构》清华大学王爱英教授写的。汇编语言大家拿8086/8088入个门,之后一定要学80x86汇编语言。实用价值大,不落后,结构又好,写写高效病毒,高级语言里嵌一点汇编,进行底层开发,总也离不开他,推荐清华大学沈美明的《IBM-PC汇编语言程序设计》。有些人说不想了解计算机体系结构,也不想制造计算机,所以诸如计算机原理,汇编语言,接口之类的课觉得没必要学,这样合理吗?显然不合理,这些东西迟早得掌握,肯定得接触,而且,这是计算机专业与其他专业学生相比的少有的几项优势。做项目的时候,了解这些是非常重要的,不可能说,仅仅为了技术而技术,只懂技术的人最多做一个编码工人,而永远不可能全面地了解整个系统的设计,而编码工人是越老越不值钱。关于组成原理还有个讲授的问题,在我学这门课程时老师讲授时把CPU工作原理誉微程序设计这一块略掉了,理由是我们国家搞CPU技术不如别的国家,搞了这么长时间好不容易出了个龙芯比Intel的还差个十万八千里,所以建议我们不要学了。我看这在各校也未见得不是个问题吧!若真是如他所说,那中国的计算机科学哪个方向都可以停了,软硬件,应用,有几项搞得过美国,搞不过别人就不搞了,那我们坐在这里干什么?教学的观念需要转变的。
模拟电路这东东,如今不仅计算机系学生搞不定,电子系学生也多半害怕。如果你真想软硬件通吃,那么建议你先看看邱关源的“电路原理”,也许此后再看模拟电路底气会足些。教材:康华光的“电子技术基础”(高等教育出版社)还是不错的(我校电子系在用)。有兴趣也可以参考童诗白的书。
数字电路比模拟电路要好懂得多。清华大学阎石的书算一本好教材,遗憾的一点是集成电路讲少了些。真有兴趣,看一看大规模数字系统设计吧(北航那本用的还比较多)。
计算机系统结构该怎么教,国际上还在争论。国内能找到的较好教材为Stallings的"Computer Organization and Architecture:Designing for Performance"(清华影印
本)。国际上最流行的则是“Computer architecture: aquantitative approach", by Patterson & Hennessy。
操作系统可以随便选用《操作系统的内核设计与实现》和《现代操作系统》两书之一。这两部都可以算经典,唯一缺点就是理论上不够严格。不过这领域属于Hardcore System,所以在理论上马虎一点也情有可原。想看理论方面的就推荐清华大学出版社《操作系统》吧,高教司司长张尧学写的,我们教材用的是那本。 另外推荐一本《Windows操作系统原理》机械工业出版社的,这本书是我国操作系统专家在微软零距离考察半年,写作历时一年多写成的,教操作系统的专家除了清华大学的张尧学(现高教司司长)几乎所有人都参加了。Bill Gates亲自写序。里面不但结合windows2000,xp详述操作系统的内核,而且后面讲了一些windows编程基础,有外版书的味道,而且上面一些内容可以说在国内外只有那本书才有对windows内核细致入微的介绍,
如果先把形式语言学好了,则编译原理中的前端我看只要学四个算法:最容易实现的递归下降;最好的自顶向下算法LL(k);最好的自底向上算法LR(k);LR(1)的简化SLR(也许还有另一简化LALR)。后端完全属于工程性质,自然又是another story。
推荐教材:Kenneth C.Louden写的“Compiler Construction Principles and Practice”即是《编译原理及实践》(机械工业出版社的译本)
学数据库要提醒大家的是,会用VFP,VB, Power builder不等于懂数据库。(这世界上自以为懂数据库的人太多了!)数据库设计既是科学又是艺术,数据库实现则是典型的工程。所以从某种意义上讲,数据库是最典型的一门计算机课程--理工结合,互相渗透。另外推荐大家学完软件工程学后再翻过来看看数据库技术,又会是一番新感觉。推荐教材:Abraham Silberschatz等著的 "Database System Concepts".作为知识的完整性,还推荐大家看一看机械工业出版社的《数据仓库》译本。
计算机网络的标准教材还是来自Tanenbaum的《Computer Networks》(清华大学有译本)。还有就是推荐谢希仁的《计算机网络教程》(人民邮电出版社)问题讲得比较清楚,参考文献也比较权威。不过,网络也属于Hardcore System,所以光看书是不够的。建议多读RFC,里可以按编号下载RFC文档。从IP的读起。等到能掌握10种左右常用协议,就没有几个人敢小看你了。再做的工作我看放在网络设计上就比较好了。
数据结构的重要性就不言而喻了,学完数据结构你会对你的编程思想进行一番革命性的洗礼,会对如何建立一个合理高效的算法有一个清楚的认识。对于算法的建立我想大家应当注意以下几点:
当遇到一个算法问题时,首先要知道自己以前有没有处理过这种问题.如果见过,那么你一般会顺利地做出来;如果没见过,那么考虑以下问题:
1. 问题是否是建立在某种已知的熟悉的数据结构(例如,二叉树)上?如果不是,则要自己设计数据结构。
2. 问题所要求编写的算法属于以下哪种类型?(建立数据结构,修改数据结构,遍历,查找,排序...)
3. 分析问题所要求编写的算法的数学性质.是否具备递归特征?(对于递归程序设计,只要设计出合理的参数表以及递归结束的条件,则基本上大功告成.)
4. 继续分析问题的数学本质.根据你以前的编程经验,设想一种可能是可行的解决办法,并证明这种解决办法的正确性.如果题目对算法有时空方面的要求,证明你的设想满足其要求.一般的,时间效率和空间效率难以兼得.有时必须通过建立辅助存储的方法来节省时间.
5. 通过一段时间的分析,你对解决这个问题已经有了自己的一些思路.或者说,你已经可以用自然语言把你的算法简单描述出来.继续验证其正确性,努力发现其中的错误并找出解决办法.在必要的时候(发现了无法解决的矛盾),推翻自己的思路,从头开始构思.
6. 确认你的思路可行以后,开始编写程序.在编写代码的过程中,尽可能把各种问题考虑得详细,周密.程序应该具有良好的结构,并且在关键的地方配有注释.
7. 举一个例子,然后在纸上用笔执行你的程序,进一步验证其正确性.当遇到与你的设想不符的情况时,分析问题产生的原因是编程方面的问题还是算法思想本身有问题.
8. 如果程序通过了上述正确性验证,那么在将其进一步优化或简化。
9. 撰写思路分析,注释.
对于具体的算法思路,只能靠你自己通过自己的知识和经验来加以获得,没有什么特定的规律(否则程序员全部可以下岗了,用机器自动生成代码就可以了).要有丰富的想象力,就是说当一条路走不通时,不要钻牛角尖,要敢于推翻自己的想法.我也只不过是初学者,说出上面的一些经验,仅供大家参考和讨论。
关于人工智能,我觉得的也是非常值得大家仔细研究的,虽然不能算是刚刚兴起的学科了,但是绝对是非常有发展前途的一门学科。我国人工智能创始人之一,北京科技大学涂序彦教授(这老先生是我的导师李小坚博士的导师)对人工智能这样定义:人工智能是模?
③ 航空电子的相关著作
《航空机载电子设备》
作者:马银才 张兴媛
出版社:清华大学出版社 第1章飞机通信系统
1.1高频通信系统
1.1.1概述
1.1.2高频通信系统的组成
1.1.3高频通信系统的基本工作原理
1.2甚高频通信系统
1.2.1概述
1.2.2甚高频通信系统的组成
1.2.3工作原理
1.3选择呼叫系统
1.3.1概述
1.3.2系统组成
1.3.3工作原理
1.4应急电台
1.5音频选择与内话系统
1.5.1音频选择系统
1.5.2服务内话系统
1.5.3机组呼叫系统
1.6旅客广播系统
1.7话音记录系统
1.7.1功能与组成
1.7.2话音记录器的基本工作原理
1.8卫星通信系统
1.8.1卫星通信的特点
1.8.2静止卫星通信系统
1.9飞机通信寻址报告系统
本章小结
复习与思考
阅读材料
练习题
第2章导航系统
2.1导航系统概述
2.1.1导航系统分类
2.1.2位置线与无线电导航定位
2.2自动定向机
2.2.1自动定向机概述
2.2.2自动定向的基本原理
2.3甚高频全向信标系统
2.3.1概述
2.3.2全向信标测定方位的基本原理
2.3.3机载VOR接收系统
2.3.4航道偏离与向/背台指示
2.4仪表着陆系统
2.4.1概述
2.4.2航向偏离指示原理
2.4.3下滑指示的基本原理
2.4.4指点信标系统
2.5低高度无线电高度表
2.5.1功用与组成
2.5.2三种无线电高度表
2.5.3飞机安装延时校正和多设备安装干扰
2.5.4高度表指示
2.6测距系统
2.6.1功能及原理
2.6.2机载测距机
2.7气象雷达系统
2.7.1概述
2.7.2气象雷达对目标的探测
2.7.3观察地形
2.7.4气象雷达系统的工作
2.7.5雷达维护中的一些注意事项
2.8空中交通管制雷达信标系统应答机
2.8.1航管雷达信标系统
2.8.2离散选址信标系统
2.8.3机载应答机系统
2.9交通咨询与避撞系统
2.9.1TCAS Ⅱ的工作
2.9.2TCAS系统的组成与部件功用
2.9.3TCAS咨询信息的显示和控制
2.10近地警告系统
2.10.1GPWS的组成
2.10.2GPWS的工作方式
2.10.3EGPWS
2.11全球定位系统
2.11.1GPS的系统组成
2.11.2机载GPS
2.11.3机载GPS系统工作方式
本章小结
复习与思考
阅读材料
练习题
第3章仪表系统
3.1航空仪表概述
3.1.1航空仪表的分类
3.1.2航空仪表的发展
3.2大气数据系统仪表
3.2.1高度测量与气压高度表
3.2.2升降速度表
3.2.3马赫?空速表
3.3全/静压系统
3.3.1组成和功能
3.3.2静压系统
3.3.3全压系统
3.3.4系统结构
3.3.5使用注意事项
3.4大气数据计算机系统
3.4.1模拟式大气数据计算机系统
3.4.2数字式大气数据计算机系统
3.5飞行数据记录系统
3.6陀螺及陀螺原理
3.6.1陀螺
3.6.2陀螺仪的应用
3.7陀螺仪表
3.7.1姿态仪表
3.7.2航向仪表
3.8电子飞行仪表系统
3.8.1概述
3.8.2EFIS的基本组成
3.9发动机指示和机组警告系统与电子中央飞机监控系统
3.9.1EICAS
3.9.2电子中央飞机监控系统
3.10惯性基准系统
本章小结
复习与思考
阅读材料
练习题
第4章自动飞行控制系统
4.1飞行控制系统及飞行控制计算机
4.1.1飞行控制系统的基本组成
4.1.2飞行控制系统的基本工作原理
4.1.3FCC的功用及基本组成
4.1.4FCC的软、硬件组成及功能
4.2自动飞行控制系统的组成
4.3自动驾驶仪
4.3.1自动驾驶仪的功用及其基本组成
4.3.2自动驾驶仪的基本原理
4.3.3自动驾驶仪的常见工作方式
4.4飞行指引
4.5偏航阻尼系统
4.5.1偏航阻尼系统的功用
4.5.2荷兰滚原理
4.5.3偏航阻尼系统组成
4.6俯仰配平系统
4.6.1安定面配平的功用
4.6.2俯仰配平系统的组成和工作原理
4.7自动油门系统
4.7.1自动油门系统的功用
4.7.2自动油门系统在整个飞行过程中的工作情况
4.8飞行管理系统
4.8.1飞行管理系统的功能与组成
4.8.2飞行管理系统的子系统组成
4.8.3FMS控制与显示单元
本章小结
复习与思考
阅读材料
练习题
参考文献
④ 电子书为什么不能取代纸质书
电子书本身就有弱点,阅读不方便,打开纸质书就可以直接阅读了,阅内读电子书是容需要利用电子设备的,还需要有电,一旦电子设备有故障或者是停电了根本就没办法阅读。
再加上电子书也会有辐射,对眼睛有损伤,电子书也不容易保存,特别容易丢失,u盘是可以存放很大的信息量,一旦被破坏什么都没有了,虽然现在是提倡办公无纸化,但是除了做成电子版,还是有必要做成纸质以便存档。
阅读价值的本身并不在于书籍,而是在于交流和传播,读的书越多,学的知识也会越多,现在都非常流行读书分享会,图书馆共享阅读等等,共同阅读一本书是可以让读者相互交流的,而人们会更加注意对于阅读过程的分享。
(4)数字电路名著扩展阅读
电子书的功能:可以订阅众多电子期刊、书和文档,从网上自动下载所订阅的最新新闻和期刊,显示整页文本和图形,通过搜索、注释和超链接等增强阅读体验,电子书是传统的印刷书籍的电子版本,它可以使用个人计算机或用电子书阅读器进行阅读。
它流行的原因就是因为电子书允许进行类似纸张书本的操作,读者可以在某页做书签,记笔记,对某一段进行反选,并且保存所选的文章。
⑤ 一般电子书去哪里下载呀
爱TXT电子书论坛 http://bbs.aitxt.com/?u=857779 下载只有右击附件另存为就可以 各类小说都版很全 小说相权关的品书 聊天 一应俱全 下载方便 书全 更新速度快
⑥ 尼古拉斯·沃斯的学术著作
沃斯的学术著作很多,主要有如下几种,其中一些是由法文译成英文的:《系统程序设计导论》(《Systematic Programming:An Introction》,Prentice-Hall,1973。其法文版已出至第5版) ;
《算法 数据结构=程序》(《Algorithms Data Structures=Programs》,Prentice-Hall,1976)。
《算法和数据结构》(《Algorithms and Data Structures》,Prentice-Hall,1986)。
《Mola-2程序设计》(《Programming in Mola-2》, Springer,1988,第4版)。
《PASCAL用户手册和报告:ISO PASCAL标准》 (《PASCAL User Manual and Report:ISO PASCAL Standard》,Springer,1991)。
《Oberon计划:操作系统和编译器的设计》(《Project Oberon:the Design of an Operating System and Compiler》,ACM Pr.,1992)。
《Oberon程序设计:超越Pascal和Mola》(《Programming in Oberon:Steps beyond Pascal and Mola》,ACM Pr.,1922)。
《数字电路设计教材》(《Digital Circuit Design for Computer Science Students:An Introctory Textbook》,Springer,1995)。
ACM除了在1984年授予沃斯图灵奖外,1987年又授予他另一项奖:计算机科学教育杰出贡献奖。另一个重要的国际学术组织IEEE也授予过沃斯两个奖项:1983年的Emanual Piore奖和1988年的计算机先驱奖(Computer Pioneer Award)。1992年,加州大学伯克利分校命名威茨为“杰出校友”。
沃斯是在1984年10月于旧金山举行的ACM年会上接受图灵奖的。沃斯发表了题为“ 从程序设计语言设计到计算机建造”(From Programming Language Design to Computer Construction)的图灵奖演说,回顾了自己在计算机领域所做的工作。演说全文刊载于《Communications of ACM》1985年2月,159-164页,也可见《ACM 图灵奖演说集》(《ACM Turing Award Lectures-The First 20 rears:1966-1985》,ACM Pr.),179- 196页。
⑦ 图灵有哪些著作
著作很少,主要是科学方面
主要成就
图灵机
1936年,图灵向伦敦权威的数学杂志投了一篇论文,题为"论数字计算在决断难题中的应用”,这是他对理论计算机的研究成果。
剑桥大学国王学院的计算机房现在以图灵为名
在这篇开创性的论文中,图灵给“可计算性”下了一个严格的数学定义,并提出著名的“图灵机”的设想。“图灵机”与“冯·诺伊曼机”齐名,被永远载入计算机的发展史中。。“图灵机”不是一种具体的机器,而是一种思想模型,可制造一种十分简单但运算能力极强的计算装置,用来计算所有能想象得到的可计算函数。基本思想是用机器来模拟人们用纸笔进行数学运算的过程。
图灵机被公认为现代计算机的原型,这台机器可以读入一系列的零和一,这些数字代表了解决某一问题所需要的步骤,按这个步骤走下去,就可以解决某一特定的问题。这种观念在当时是具有革命性意义的,因为即使在50年代的时候,大部分的计算机还只能解决某一特定问题,不是通用的,而图灵机从理论上却是
图灵机模型的理论
通用机。在图灵看来,这台机器只用保留一些最简单的指令,一个复杂的工作只用把它分解为这几个最简单的操作就可以实现了,在当时他能够具有这样的思想确实是很了不起的。他相信有一个算法可以解决大部分问题,而困难的部分则是如何确定最简单的指令集,怎么样的指令集才是最少的,而且又能顶用,还有一个难点是如何将复杂问题分解为这些指令的问题。
“图灵机”想象使用一条无限长度的纸带子,带子上划分成许多格子。如果格里画条线,就代表“1”;空白的格子,则代表“0”。想象这个“计算机”还具有读写功能:既可以从带子上读出信息,也可以往带子上写信息。计算机仅有的运算功能是:每把纸带子向前移动一格,就把“1”变成“0”,或者把“0”变成“1”。“0”和“1”代表着在解决某个特定数学问题中的运算步骤。“图灵机”能够识别运算过程中每一步,并且能够按部就班地执行一系列的运算,直到获得最终答案。
图灵机”是一个虚拟的“计算机”,完全忽略硬件状态,考虑的焦点是逻辑结构。图灵在他那篇著名的文章里,还进一步设计出被人们称为“万能图灵机”的模型,它可以模拟其他任何一台解决某个特定数学问题的“图灵机”的工作状态。他甚至还想象在带子上存储数据和程序。“万能图灵机”实际上就是现代通用计算机的最原始的模型。
美国的阿坦纳索夫在1939年果然研究制造了世界上的第一台电子计算机ABC,其中采用了二进位制,电路的开与合分别代表数字0与1,运用电子管和电路执行逻辑运算等。ABC是“图灵机”的第一个硬件实现,看得见,摸得着。而冯·诺依曼不仅在上个世纪40年代研制成功了功能更好、用途更为广泛的电子计算机,并且为计算机设计了编码程序,还实现了运用纸带存储与输入。
图灵是第一个提出利用某种机器实现逻辑代码的执行,以模拟人类的各种计算和逻辑思维过程的科学家。而这一点,成为了后人设计实用计算机的思路来源,成为了当今各种计算机设备的理论基石。今天世界计算机科学领域的最高荣誉就被称为“图灵奖”,相当于计算机科学界的诺贝尔奖;
人工智能
1950年,图灵被录用为泰丁顿(Teddington)国家物理研究所的研究人员,开始从事“自动计算机”(ACE)的逻辑设计和具体研制工作。他提出关于机器思维的问题,他的论文“计算机和智能(Computing machinery and intelligence),引起了广泛的注意和深远的影响。1952年的论文今天被视为生物数学的奠基之作,这至多可以算的上他短暂科学生涯中第三大的贡献之一。图灵的三大贡献是:对理论计算机的研究、破译二战德军U-潜艇密码和对人工智能的研究。图灵在数学,逻辑学,神经网络和人工智能等领域也作出了很多贡献。在新旧世纪交替的2000年,美国《时代》杂志评选的二十世纪对人类发展最有影响的一百名人物中,图灵、沃森和克里克都在仅有二十名的“科学家,思想家”栏中榜上有名。
破译德军密码
图灵领导了英国政府破译二战德军U-潜艇密码的工作,为扭转二战盟军
阿兰·麦席森·图灵雕像
的大西洋战场战局立下汗马功劳。
二战爆发后不久,英国对德国宣战,图灵随即入伍,在英国战时情报中心“政府编码与密码学院”服役。当时,德国人研制出了“谜”式密码机,能将平常的语言文字(明文)自动转换为代码(密文),再通过无线电或电话线路传送出去。即使被截获,对方也难破译。
图灵带领200多位密码专家,研制出效率更高、功能更强大的密码破译机,将英国战时情报中心每月破译的情报数量从39000条提升到84000条。这些情报发挥了重要作用。历史学家认为,图灵让二战提早了2年结束,至少拯救了2000万人的生命。图灵因此在1946年获得“不列颠帝国勋章”。
图灵试验
1950年10月,图灵又发表了另一篇题为“机器能思考吗”的论文,其中提出了一
图灵试验
种用于判定机器是否具有智能的试验方法,即图灵试验。每年都有试验的比赛。
1950写文章提出了著名的“图灵测试”,测试是让人类考官通过键盘向一个人和一个机器发问,这个考官不知道他问的是人还是机器。如果在经过一定时间的提问以后,这位人类考官不能确定谁是人谁是机器,那这个机器就有智力了。
图灵在对人工智能的研究中,提出了一个叫做图灵试验的实验,尝试定出一个决定机器是否有感觉的标准。
图灵试验由计算机、被测试的人和主持试验人组成。计算机和被测试的人分别在两个不同的房间里。测试过程由主持人提问,由计算机和被测试的人分别做出回答。观测者能通过电传打字机与机器和人联系(避免要求机器模拟人外貌和声音)。被测人在回答问题时尽可能表明他是一个“真正的”人,而计算机也将尽可能逼真的模仿人的思维方式和思维过程。如果试验主持人听取他们各自的答案后,分辨不清哪个是人回答的,哪个是机器回答的,则可以认为该计算机具有了智能。这个试验可能会得到大部分人的认可,但是却不能使所有的哲学家感到满意。
图灵试验虽然形象描绘了计算机智能和人类智能的模拟关系,但是图灵试验还是片面性的试验。通过试验的机器当然可以认为具有智能,但是没有通过试验的机器因为对人类了解的不充分而不能模拟人类仍然可以认为具有智能。
图灵试验还有几个值得推敲的地方,比如试验主持人提出问题的标准,在试验中没有明确给出;被测人本身所具有的智力水平,图灵试验也疏忽了;而且图灵试验仅强调试验结果,而没有反映智能所具有的思维过程。所以,图灵试验还是不能完全解决机器智能的问题。
其实,要求电脑这样接近地模仿人类,以使得不能和一个人区分开实在是太过分了。一些专家认为,我们不该以电脑能否思维为目标,而是以能多大程度地模仿人类思维为目标;然后,让设计者再朝着这个目标努力。
⑧ 模拟电路,数字电路,分析,深入浅出,多谢,分可加!多谢!!!!
一般是把电信号转化成数字信号,单片机处理好后再变成电信号输出回,说白了就是数模/模数答(AD/DA).
模拟电路模拟电路(Analog Circuit):处理模拟信号的电子电路 模拟信号:时间和幅度都连续的信号(连续的含义是在某以取值范围那可以取无穷多个数值)。用数字信号完成对数字量进行算术运算和逻辑运算的电路称为数字电路,或数字系统。由于它具有逻辑运算和逻辑处理功能,所以又称数字逻辑电路。
传感器:能感受规定的被测量并按照一定的规律转换成可用信号的器件或装置,通常由敏感元件和转换元件组成”。传感器是一种检测装置,能感受到被测量的信息,并能将检测感受到的信息,按一定规律变换成为电信号或其他所需形式的信息输出,以满足信息的传输、处理、存储、显示、记录和控制等要求。它是实现自动检测和自动控制的首要环节。
⑨ 有哪些物理学和数学的著作,请列举
金融数学:
物理,概率论与数理统计,基础数学,不同的院校也会开设不同的专业,数理基础科学、热力学
·几何光学,运筹学与控制论,计算数学、分子力学,会计学,电磁学,动力学、恒星天文学
·静电学,统计学,流体力学:
·理论物理学
·工程力学,信息工程,或是某些专业的侧重点,数学与应用数学,运动学,材料力学,物理光学:
·数学,超导物理学……
数学,干涉光学
·原子物理学,应该叫专业分支,信息与计算科学、弹道力学,数字电路学,模拟电路学,理论力学,天体力学,空气动力学,光谱学不知道你认为哪些专业属于“听起来很酷”的类型,电动力学
·热学,计算数学……
(其实以上有很多不能叫专业,具体问题具体分析,而有的专业名字或许不太一样但学的东西是一样的,总之我把知道的一些专业跟你说说吧