2000年春博题目（是99年秋天考的）。 e 3%dNa
BVxk}#d
计算理论 [}?E,1Q3
一、1、根据图灵机理论,说明现代计算机系统的理论基础。 ~Z$Ro/;l
2、说明按乔姆斯基分类，语言、文法、自动机的关系 X->` ~-aj
lxtt+R
一、 证明 HALT(X ` 1,X)不是可计算的。 &B} ,xcNO
qE {L42
三、1、证明递归集都是递归可枚举集。 .;%`I
2、举例属于递归可枚举集但不是递归集的集合，并证明之。 ;1Q @d
?2Sm
f
四、1、证明L={（a，b）*|a，b的个数相同}为上下文无关语言。 '2ACZcjDSv
2、并证明其不是正则的。 /3qKsv#
p)* x7~3e
J?qikE&
2000年4月 kwr M3 nq
人工智能 ffem7eQ
1 什么是知识表示？用框架系统表示你的卧室。 9]^N Alno
2 描述A算法(描述A*) 5_4 =(?<
3 专家系统模型？建立知识库（书上关于鸟类的例子）。 6MelN^\[7
专家系统的模型。根据下述事实建立分类专家系统的知识库。见书上哺乳动物、鸟类的分类系统例子。 E&> 2=$~
4 什么是自然语言的理解？写出下列句子的句法分析树。 FdS'0#$
1）I WANTED YOU TO DO SOMTHING. O2oF\E_6
2) I SAW SOME CHILDREN PLAYING BALL IN THE FIELD. /O[ Z
2000年10月 X6n8Bi9Ik
操作系统 TZa LB}4
1 产生死锁的必要条件。 (%*~5% l\
2 写出生产者和消费者的互斥程序（书上的例子）。 zTfl#%
3 写出可对文件和目录进行的操作。 N'I9J?e Q
虚拟存储页面置换的几种算法。
` 6pz9j]
'2m"ocaf
计算理论 P&AaD!Qn
3． 你对设计操作系统有什么看法。 j& `D{z-c~
4． 举例说明cache在操作系统种的应用。 UW-`
k1
5． 微内核的优点，哪些操作系统采用微内核结构。 SHqz &2u
6． 系统调用的作用，用系统调用编一个程序，实现从一个文件种读取数据，然后写入另一个文件。 X^d}eWP`I
U DHMNubB
由于时间的关系，这次参加考试的考题我记得的不是很清楚啦，所以只能说个大概，题目顺序也不太确定的。 o
X?~
一、处理机调度（如上面的第三题）、内存分配（如上面的第四题）和资源分配（我记得是以打印机为例，好像是用到了银行家算法）三者结合的一道选择题，思考的时候要注意全面和细致，其实还是对这三个知识点的考察，不过是有一个结合罢了。 A 1x
二、什么叫系统调用？编写一段包含系统调用的程序，完成如下工作：打开一个文件，向文件中添加一个字符串，关闭该文件。 0|]qW cD
三、谈谈你对操作系统的设计和通用性的看法。 1N +ju"2R
四、列举微内核操作系统的特点和实例。 0t)5K O
HUx -8< ws
aa\?k\h'7X
体系结构 |6~ Kin
1． 写出CPUtime公式，并给出如何减少CPUtime。 -9$.&D|
2． 给出下列定义 - 4B& {P
a. 有哪几中数据竞争 %6TS_IpJ
b. 什么是Load/Store机构 FUZ`ST+OL
c. 有点忘了，不过不难，和存储有关！ `&SBp }W}
{$v>3FG
3． 画出集中式共享存储和分布式存储的结构图，并给出通信方式。 57 :27d0y
一道书上的，就是要你写出两个循环中存在的竞争，然后问你是否可以消除竞争，很简单。 ;i& t|5y~
gO k um_
Zu/1:8x
2002： P(i
E"KH;
一、1、写出三条计算机设计的定量定理。 Lg+cHaA
2、若CACHE速度比内存速度高十倍，若内存利用率为90%，请问系统加速比为多少？ me@EKspX
IUQYoKz4}A
二、CPU的操作数有三种存储方式，是区别不同体系计算机的重要标志。 d&%}u 1 .
1、是那三种？ &5 R-bYGW
2、对于C=A+B，请写出三种方式的实现程序。 'BNZUuUl
Z+Pp
d=||,
三、简述流水线三种竞争产生原因及解决办法。 "mAMfV0
BXLw
四、1、什么是ILP？2、ILP的必要性和实现技术。 8
< Ex
`
I.)9:7
五、某CACHE容量为8K BYTES，块大小为32BYTES，字长64BITS，地址长度为34BITS，对于直接映像系统，请分别写出构成地址索引(INDEX)、 DO
,7vMO
标志(TAG)和块地址的长度。说明并行计算面临的两个问题。 L$= a,$
OCI{)r<O2m
qEnmms 1
6
('xIE(R
这里有三套试题，其中第一套是浙大某个学期期末的考试题，第二套是我这次的考试题，还有一套的考试时间不祥。 =+VI{~.|}
vf ['$um
1、 什么是计算？计算理论研究的内容和意义是什么？为什么要使用计算的抽象模型？ +!"7=
?}
RH&}'4JE:
2、 请写出一个正则表达式，描述下面的语言：在字母表{0,1}上，不包含00子串且以1结尾。 -A1:S'aN-
=<z~OE'lV
3、为什么说能被2或者3整除的语言是正则的？ YtY.,H;
_H$Z }2g<z
4、一个底数为a，指数为素数表示的语言是不是正则语言，是不是上下文无关的？ ' g Fewo
F1&7m
)f$l
5、一个succ(n+1)的组合Turing机描述，说出它的作用。 V -z F'KI[
eHH9#Vrhc$
3H,>[&d
^%Fn| U\u
二、证明HALT(X的转置,X)不是可计算的。 l u
V_
-(|
}:J
三、1、证明递归集都是递归可枚举集。
]8EkZC
2、举例属于递归可枚举集但不是递归集的集合。 +g8 uV hC
R5' _il
四、1、证明L＝{(a,b)*|a,b的个数相同}为上下文无关语言。 rcG-V f@
2、并证明其不是正则的。 vmT6^G
Zz56=ZX*_
2003年3月 IR <*OnKn
《计算理论》 rY k
第一大题是判断题目，好像有二十分左右，都是书上的概念，譬如：递归语言是递归可枚举语言（），一个语言如果是正则的，那么它一定是上下文无关语言（），如果一个语言是图灵可识别的，那么、、、. （） 。后面的记不住了。 K@;
ls
o1 @.
<Q+}
《操作系统》 vX"jL
最开始也是判断题，然后好像有选择题。接着是有一个大题目，关于页面置换的，类似于如果使用FIFO方式，那么应该产生多少次失页，如果用LRU方式、、、， 书上有的那几种页面置换方式基本都考了。 / lN09j
=!PUKa3f<
《面向对象》+《UML》 v@
OM
《面向对象》考的全是书上的概念，跟考历史差不多。只最后一个题：写出面向对象的任意两种方法（我忘记了确切的说法，参考书后半部分有描述，如Booch方法就是其中一种）并描述其基本思想。该题比分很大。 C'CdVDm X
《UML》一样是考书上的概念，跟 《面向对象》一样的考法。只是，它有一个画图题目，考试时，用到了铅笔和直尺。它让画该书的一个例题，就是销售系统，划分主题，画出其详细的主题图。一个字也没改，跟书上一模一样。我没料到会这样原封不动，所以只画了个大概，错了不少。 )lB*]
n`Z]
ED
R*1!d
o$bD?Zn
两科考试时间都是足足有余，才过考试时间的1/3，绝大部分考生都已经做完了。有好多都是提前交卷的。 QzA/HP a
t^@4n&Dg
2003年10月 n"Q fW~ U
专业课的书一定要好好看，不用看的太深。 AJ-~F>gn
《操作系统与高级计算机体系结构》： ;/<J& #2.
1）8个选择，涉及到的知识点如下： X P_ V
按需分页、磁盘调度、缺页次数、分时响应时间、死琐（判断哪种情况不会发生死琐）、SPOOLING系统。 NI %
()
gSu3\keF
2）一道同步题（很多参考书有类似的，不是设计同步，而是计算X、Y、Z的数值） j 1#T]CDs
3）MMU为何物，与操作系统的关系。 9{V54ue;
Km lpB
1）写出计算机设计的3个定律， W L5!H.q
2）写出cpu时间公式，每个分量与什么技术有关，缩短它的途径有哪些？ rJl'+Ae9N|
3）n种cache系统技术的后果，选择题，好象有10个空 LXQ-J
涉及到的主要知识点如下： 3xz{[ 5<p
命中时间、失配率、失配损失、直写、回写、写缓冲、关联度、伪CACHE、二级CACHE Q!dNJQpb
4）相关性分析题（包括循环传递相关、真相关、反相关、输出相关）， &-1;3+#w
5）画出分布式存储器多处理器的体系结构图，对应的2中存储器结构及其通信协议。 =1Mh %/y
1p9+
c~4l:
《计算理论基础+X》： NP*M#3$[
1）5个判断，比如 Gd 5J<K
例如： &D 4Ci _6k
1. 也为正则语言。 4l*4w x""v
2. 对于两个任意的正则表达式R1和R2，判断L(R1)=L(R2)为不可判定问题。 ;{Kx$Yt+
3、｛xy|x属于正则语言L，y属于其补｝是正则语言； *"D8E^9
4、存在非递归的递归可枚举语言。 * @,>R6)jI
2）｛（a^m）（b^m）c（a^2n）（b^2n），m，n》＝1｝，写出产生它的上下文无关文法和识别它的下推自动机。 ;eRYgC
3）写出识别｛（0^n）（1^n）（2^n）｝的图灵机，和a^nb^nc^n类似，参考书的答案有问题！ Gp/yr
4）设P(x,y)为原始递归谓词，请证明 也是原始递归谓词。 8?r RLM4
5）a(n+1)2 不是上下文无关语言，用泵引理证明（其中，2为平方） :3x |U,wC
6）L是一上下文无关文法，任给一正规文法R，L属于R可以判定吗，说明理由。 * OQr:e<}
kWgZIkY
面向对象：
B )M& FO
1、 多态性、可见性、封装名词解释 e/;chMCq
2、 评论各种分析方法的标准 ] 7, mo
3、 简述OOA过程 a9GLFA8Vq
4、 简述UML的主要功能、以及各种模型图 =wW3 Tr7~
5、 图书超市购书管理的use case交互图 )c#m<_^
6、 一个监控系统的对象模型
