2000年春博题目（是99年秋天考的）。 : 0Nd4hA
Pg%OFhA
计算理论 uY;-x~Z
一、1、根据图灵机理论,说明现代计算机系统的理论基础。 >\b=bT@iM
2、说明按乔姆斯基分类，语言、文法、自动机的关系 hM2^[8
V|vU17Cgy
一、 证明 HALT(X ` 1,X)不是可计算的。 DJlY~}v#_
6C>x,kU
三、1、证明递归集都是递归可枚举集。 c$
Kn.<a
2、举例属于递归可枚举集但不是递归集的集合，并证明之。 fRJS o%
Rxld$@~-(]
四、1、证明L={（a，b）*|a，b的个数相同}为上下文无关语言。 ^I9x@t
2、并证明其不是正则的。 4f~hd-z
C( C4R+U
r'fNQJ >
2000年4月 6 l IFxc
人工智能 u D_|
/ (
1 什么是知识表示？用框架系统表示你的卧室。 >L?)f3_a
2 描述A算法(描述A*) uY5 &93R
3 专家系统模型？建立知识库（书上关于鸟类的例子）。 .Vq-<c %
专家系统的模型。根据下述事实建立分类专家系统的知识库。见书上哺乳动物、鸟类的分类系统例子。 $xmlt vaF
4 什么是自然语言的理解？写出下列句子的句法分析树。 /AWV@ '
1）I WANTED YOU TO DO SOMTHING. zLue j'
2) I SAW SOME CHILDREN PLAYING BALL IN THE FIELD. 9}t2OJS*h"
2000年10月 K=VYR Y
操作系统 ^3 IO.`|
1 产生死锁的必要条件。 Ra[{K@
2 写出生产者和消费者的互斥程序（书上的例子）。 U,Nf&g
3 写出可对文件和目录进行的操作。 ?n> h /[/
虚拟存储页面置换的几种算法。 +mE y7qM
V[Fzh\2n
计算理论 ~c,HE] B
3． 你对设计操作系统有什么看法。 ^rjICF e
4． 举例说明cache在操作系统种的应用。 *^ncb,1+i
5． 微内核的优点，哪些操作系统采用微内核结构。 z '3
6． 系统调用的作用，用系统调用编一个程序，实现从一个文件种读取数据，然后写入另一个文件。 $S|bD$e
<i `Ipj
由于时间的关系，这次参加考试的考题我记得的不是很清楚啦，所以只能说个大概，题目顺序也不太确定的。 2ksX6M3kY
一、处理机调度（如上面的第三题）、内存分配（如上面的第四题）和资源分配（我记得是以打印机为例，好像是用到了银行家算法）三者结合的一道选择题，思考的时候要注意全面和细致，其实还是对这三个知识点的考察，不过是有一个结合罢了。 `omZ'n)
二、什么叫系统调用？编写一段包含系统调用的程序，完成如下工作：打开一个文件，向文件中添加一个字符串，关闭该文件。 9a" [-B:
三、谈谈你对操作系统的设计和通用性的看法。 _a"5[ sG
四、列举微内核操作系统的特点和实例。 f"q='B9_T\
J7/"8S_#N
6pM[.:TM
体系结构 _dVzvk`_R
1． 写出CPUtime公式，并给出如何减少CPUtime。 +DaP XZ5.
2． 给出下列定义 rePJ4i [y
a. 有哪几中数据竞争 rR
&; 2
b. 什么是Load/Store机构 x6\EU=,
c. 有点忘了，不过不难，和存储有关！ u ;H SX
Tn<
<i
3． 画出集中式共享存储和分布式存储的结构图，并给出通信方式。 ^.aFns{wv
一道书上的，就是要你写出两个循环中存在的竞争，然后问你是否可以消除竞争，很简单。 w,> ceu/
gUwg\>UC
wO/}4>\
2002： B ZP}0
一、1、写出三条计算机设计的定量定理。 <R5 82$( I
2、若CACHE速度比内存速度高十倍，若内存利用率为90%，请问系统加速比为多少？ WM$}1 :O
_TY9!:&}q
二、CPU的操作数有三种存储方式，是区别不同体系计算机的重要标志。 S B0Cq
1、是那三种？ n*{aN}auJ
2、对于C=A+B，请写出三种方式的实现程序。 }m0* w3
6^y*A!xY
三、简述流水线三种竞争产生原因及解决办法。 + XCLdf}dC
w=H
四、1、什么是ILP？2、ILP的必要性和实现技术。 "c` $U]M%
FOV ghq@
五、某CACHE容量为8K BYTES，块大小为32BYTES，字长64BITS，地址长度为34BITS，对于直接映像系统，请分别写出构成地址索引(INDEX)、 _b|mSo,{Y
标志(TAG)和块地址的长度。说明并行计算面临的两个问题。 rT7W_[&P
yIy'"BCxM
OV /H&fe
7.mY@
这里有三套试题，其中第一套是浙大某个学期期末的考试题，第二套是我这次的考试题，还有一套的考试时间不祥。 4
Bg"b/kF
~A^E _
1、 什么是计算？计算理论研究的内容和意义是什么？为什么要使用计算的抽象模型？ q
g1s]c~0u
kT)[<`p
2、 请写出一个正则表达式，描述下面的语言：在字母表{0,1}上，不包含00子串且以1结尾。 S" hA@j
" E+V >V+
3、为什么说能被2或者3整除的语言是正则的？ VF[$hs
~ +DPq|-O
4、一个底数为a，指数为素数表示的语言是不是正则语言，是不是上下文无关的？ S;@nP
zhc
t 7GK\ B8:
5、一个succ(n+1)的组合Turing机描述，说出它的作用。 1OI/!!t1$
ls[0X82F
p1t qwV
$O
nh2
^
二、证明HALT(X的转置,X)不是可计算的。 ?
nx3# <
>^Rkk {cc
三、1、证明递归集都是递归可枚举集。 EP
eKg{w
2、举例属于递归可枚举集但不是递归集的集合。 NJ]AxFG
H!SFSgAu
四、1、证明L＝{(a,b)*|a,b的个数相同}为上下文无关语言。 phCItN;
2、并证明其不是正则的。 [G!#y
;Aqj$ x
2003年3月 i?{)o]i
《计算理论》 iYaS
第一大题是判断题目，好像有二十分左右，都是书上的概念，譬如：递归语言是递归可枚举语言（），一个语言如果是正则的，那么它一定是上下文无关语言（），如果一个语言是图灵可识别的，那么、、、. （） 。后面的记不住了。 ehTrjb3k
c'|](vOd]
《操作系统》 sdp3geBYo
最开始也是判断题，然后好像有选择题。接着是有一个大题目，关于页面置换的，类似于如果使用FIFO方式，那么应该产生多少次失页，如果用LRU方式、、、， 书上有的那几种页面置换方式基本都考了。 XrUc`
r>ziQq8C&
《面向对象》+《UML》 XoNBq9Iu
《面向对象》考的全是书上的概念，跟考历史差不多。只最后一个题：写出面向对象的任意两种方法（我忘记了确切的说法，参考书后半部分有描述，如Booch方法就是其中一种）并描述其基本思想。该题比分很大。 8
$qj&2 N
《UML》一样是考书上的概念，跟 《面向对象》一样的考法。只是，它有一个画图题目，考试时，用到了铅笔和直尺。它让画该书的一个例题，就是销售系统，划分主题，画出其详细的主题图。一个字也没改，跟书上一模一样。我没料到会这样原封不动，所以只画了个大概，错了不少。 X'uQr+p^
RCqd2$K"J+
0u) m9eg
两科考试时间都是足足有余，才过考试时间的1/3，绝大部分考生都已经做完了。有好多都是提前交卷的。 n }kn|To~
&J?:wC=E
2003年10月 P,J+'. @
专业课的书一定要好好看，不用看的太深。 8bJj3vr
《操作系统与高级计算机体系结构》： H\fsyxM7
1）8个选择，涉及到的知识点如下： z C,c9b
按需分页、磁盘调度、缺页次数、分时响应时间、死琐（判断哪种情况不会发生死琐）、SPOOLING系统。 I>EEUQR/$H
G^|!'V
2）一道同步题（很多参考书有类似的，不是设计同步，而是计算X、Y、Z的数值） d{J@A;d a
3）MMU为何物，与操作系统的关系。 Kn=0AdM
=&i#NSK
1）写出计算机设计的3个定律， N7u|<
0[
2）写出cpu时间公式，每个分量与什么技术有关，缩短它的途径有哪些？ YP
Qix
3）n种cache系统技术的后果，选择题，好象有10个空 i E?yvtr8
涉及到的主要知识点如下： ZkJL q[:cM
命中时间、失配率、失配损失、直写、回写、写缓冲、关联度、伪CACHE、二级CACHE "Zfm4Nx "
4）相关性分析题（包括循环传递相关、真相关、反相关、输出相关）， GT7&>}FJ)
5）画出分布式存储器多处理器的体系结构图，对应的2中存储器结构及其通信协议。 '%X29B5
#w3J+U 6r
《计算理论基础+X》： ",xTgB3?V
1）5个判断，比如 5sAN
F9o!
例如： YkFAu8b>
1. 也为正则语言。 M1]}yTCd
2. 对于两个任意的正则表达式R1和R2，判断L(R1)=L(R2)为不可判定问题。 <+-=j
3、｛xy|x属于正则语言L，y属于其补｝是正则语言； -{}h6r
4、存在非递归的递归可枚举语言。 7},oY"" 8
2）｛（a^m）（b^m）c（a^2n）（b^2n），m，n》＝1｝，写出产生它的上下文无关文法和识别它的下推自动机。 %JHv2[r^P
3）写出识别｛（0^n）（1^n）（2^n）｝的图灵机，和a^nb^nc^n类似，参考书的答案有问题！ %AN,cE*
4）设P(x,y)为原始递归谓词，请证明 也是原始递归谓词。 UEx13!iFo
5）a(n+1)2 不是上下文无关语言，用泵引理证明（其中，2为平方） Q6HghG
6）L是一上下文无关文法，任给一正规文法R，L属于R可以判定吗，说明理由。 >$ tU @mq
cQ]c!G|a4
面向对象： _Vl~'+ e
1、 多态性、可见性、封装名词解释 Lk !m1J5
2、 评论各种分析方法的标准 K&n-(m %
3、 简述OOA过程 -K lR":
4、 简述UML的主要功能、以及各种模型图 Ims?
5、 图书超市购书管理的use case交互图 u]Q}jqiq"
6、 一个监控系统的对象模型
