2000年春博题目（是99年秋天考的）。 M}e}3w
I(H9 -!&
计算理论 0`V;; w8
一、1、根据图灵机理论,说明现代计算机系统的理论基础。 mw&'@M_(7
2、说明按乔姆斯基分类，语言、文法、自动机的关系 & =]!8z=
H<3:1*E
一、 证明 HALT(X ` 1,X)不是可计算的。 = o4gW`\z
22 'Ra[
三、1、证明递归集都是递归可枚举集。 S!rVq ,| d
2、举例属于递归可枚举集但不是递归集的集合，并证明之。 1 -$+@Xl
D#P]tt.Z
四、1、证明L={（a，b）*|a，b的个数相同}为上下文无关语言。 ,xg-H6Xfa{
2、并证明其不是正则的。 7g$*K0m`
IrUoAQ2xpG
Oy b0t|do+
2000年4月 b;F aTm@
人工智能 [dFe-2u ,$
1 什么是知识表示？用框架系统表示你的卧室。 -
<L5;
2 描述A算法(描述A*) _0BQnzC=
3 专家系统模型？建立知识库（书上关于鸟类的例子）。 A'$>~Ev
专家系统的模型。根据下述事实建立分类专家系统的知识库。见书上哺乳动物、鸟类的分类系统例子。 Lr 9E02
4 什么是自然语言的理解？写出下列句子的句法分析树。 LP !d |X
1）I WANTED YOU TO DO SOMTHING. Sk:x.oOZ
2) I SAW SOME CHILDREN PLAYING BALL IN THE FIELD. qHgzgS7a
2000年10月 [)?9|yY"`
操作系统 5 `@yX[G
1 产生死锁的必要条件。 hYh~%^0dt
2 写出生产者和消费者的互斥程序（书上的例子）。 X,c`,B03
3 写出可对文件和目录进行的操作。 YeVo=hYH@
虚拟存储页面置换的几种算法。 E62_k
0q
7nB X@ Uo
计算理论 =v0w\(
?N
3． 你对设计操作系统有什么看法。 W7;RQ
4． 举例说明cache在操作系统种的应用。 bc:3 5.
5． 微内核的优点，哪些操作系统采用微内核结构。 EG|_YW7
6． 系统调用的作用，用系统调用编一个程序，实现从一个文件种读取数据，然后写入另一个文件。 o^' QGs "
24
.'+3
由于时间的关系，这次参加考试的考题我记得的不是很清楚啦，所以只能说个大概，题目顺序也不太确定的。 0|i|z !N>
一、处理机调度（如上面的第三题）、内存分配（如上面的第四题）和资源分配（我记得是以打印机为例，好像是用到了银行家算法）三者结合的一道选择题，思考的时候要注意全面和细致，其实还是对这三个知识点的考察，不过是有一个结合罢了。 R<vbhB/l U
二、什么叫系统调用？编写一段包含系统调用的程序，完成如下工作：打开一个文件，向文件中添加一个字符串，关闭该文件。 11 k}Ly
三、谈谈你对操作系统的设计和通用性的看法。 !]5V{3
四、列举微内核操作系统的特点和实例。 H
:
;X U
-r]L MQ
dt>9mF q
体系结构 TA8
1． 写出CPUtime公式，并给出如何减少CPUtime。 f@$kK?c?
2． 给出下列定义 4)>S3Yr
a. 有哪几中数据竞争 dPxJ`8
b. 什么是Load/Store机构 #_|O93HN'
c. 有点忘了，不过不难，和存储有关！ ; xQhq*
"c?3 1$6
3． 画出集中式共享存储和分布式存储的结构图，并给出通信方式。
t @a& &
一道书上的，就是要你写出两个循环中存在的竞争，然后问你是否可以消除竞争，很简单。 3.g 4X?=zd
rQ6>*0xL_
| 7 Ab _
2002： c.5u \ I9"
一、1、写出三条计算机设计的定量定理。 a, )/D_{1
2、若CACHE速度比内存速度高十倍，若内存利用率为90%，请问系统加速比为多少？ Vg :''!4t2
:h/v"2uDN
二、CPU的操作数有三种存储方式，是区别不同体系计算机的重要标志。 9'e<
{mlM
1、是那三种？ 0%Y}CDn_
2、对于C=A+B，请写出三种方式的实现程序。 Y*O
Bky
IS`ADDU[S
三、简述流水线三种竞争产生原因及解决办法。 ,7DyTeMpN
U[OUIXUi
四、1、什么是ILP？2、ILP的必要性和实现技术。 B-"F6 7 :
${}9/(x/^
五、某CACHE容量为8K BYTES，块大小为32BYTES，字长64BITS，地址长度为34BITS，对于直接映像系统，请分别写出构成地址索引(INDEX)、 +x/vZXtOK
标志(TAG)和块地址的长度。说明并行计算面临的两个问题。 &3x da1H
"3|OB, <;:
~*+evAP
q_L. Sy|)
这里有三套试题，其中第一套是浙大某个学期期末的考试题，第二套是我这次的考试题，还有一套的考试时间不祥。 i70\`6*;B
-^;,m=4{3
1、 什么是计算？计算理论研究的内容和意义是什么？为什么要使用计算的抽象模型？ NR- <2
e3
J4z&J SY
2、 请写出一个正则表达式，描述下面的语言：在字母表{0,1}上，不包含00子串且以1结尾。 }<w9Jfr"X
Ke]'RfO\
3、为什么说能被2或者3整除的语言是正则的？ {ot6ssT=D
,S@B
[+VZ
4、一个底数为a，指数为素数表示的语言是不是正则语言，是不是上下文无关的？ <]|!quY<*
_\=
/~>Xl
5、一个succ(n+1)的组合Turing机描述，说出它的作用。 |z&7K oYK'
b^()[4M;
B Qeg-M
'aEN(Mdz1e
二、证明HALT(X的转置,X)不是可计算的。 P3Ah1X7W"C
7 s2*VKr
三、1、证明递归集都是递归可枚举集。 a5d_= :S ;
2、举例属于递归可枚举集但不是递归集的集合。 F[F
NtZ
|
>yc|W
四、1、证明L＝{(a,b)*|a,b的个数相同}为上下文无关语言。 wAzaxeV=
2、并证明其不是正则的。 qzLD
#SjCKQ~
2003年3月 nr( C*E
《计算理论》 H7<g5pv
第一大题是判断题目，好像有二十分左右，都是书上的概念，譬如：递归语言是递归可枚举语言（），一个语言如果是正则的，那么它一定是上下文无关语言（），如果一个语言是图灵可识别的，那么、、、. （） 。后面的记不住了。 O
#>,vf$
/rK/ l
《操作系统》 wqa
p~X
最开始也是判断题，然后好像有选择题。接着是有一个大题目，关于页面置换的，类似于如果使用FIFO方式，那么应该产生多少次失页，如果用LRU方式、、、， 书上有的那几种页面置换方式基本都考了。 { ~(XO@;b
w_LkS/
《面向对象》+《UML》 >%n6n! "
《面向对象》考的全是书上的概念，跟考历史差不多。只最后一个题：写出面向对象的任意两种方法（我忘记了确切的说法，参考书后半部分有描述，如Booch方法就是其中一种）并描述其基本思想。该题比分很大。 4$ah~E>,t
《UML》一样是考书上的概念，跟 《面向对象》一样的考法。只是，它有一个画图题目，考试时，用到了铅笔和直尺。它让画该书的一个例题，就是销售系统，划分主题，画出其详细的主题图。一个字也没改，跟书上一模一样。我没料到会这样原封不动，所以只画了个大概，错了不少。 &g0r#K
/#L4ec-'
/c4$m3?]
两科考试时间都是足足有余，才过考试时间的1/3，绝大部分考生都已经做完了。有好多都是提前交卷的。 { Q!Xxe>6
Z-" NLwt[
2003年10月 ~(`MP<
专业课的书一定要好好看，不用看的太深。 ]~ S
zb
《操作系统与高级计算机体系结构》： %j{*`}
1）8个选择，涉及到的知识点如下： E(f|LG[I
按需分页、磁盘调度、缺页次数、分时响应时间、死琐（判断哪种情况不会发生死琐）、SPOOLING系统。 N
f} ZG
1$:O9 {F
2）一道同步题（很多参考书有类似的，不是设计同步，而是计算X、Y、Z的数值） c{x:'@%/s'
3）MMU为何物，与操作系统的关系。 gh `_{
l
tZ*>S] qD
1）写出计算机设计的3个定律， "tDB[?
2）写出cpu时间公式，每个分量与什么技术有关，缩短它的途径有哪些？ 58`Dcx,yJ
3）n种cache系统技术的后果，选择题，好象有10个空 Kv#Q$$)r
涉及到的主要知识点如下： 5B3sRF}
命中时间、失配率、失配损失、直写、回写、写缓冲、关联度、伪CACHE、二级CACHE i.FdZN{
4）相关性分析题（包括循环传递相关、真相关、反相关、输出相关）， p`!<yq2_
5）画出分布式存储器多处理器的体系结构图，对应的2中存储器结构及其通信协议。 c s:E^
|f$gQI!X W
《计算理论基础+X》： * fLVzYpo
1）5个判断，比如 >]Dn,* R
例如： 3S%/>)k
1. 也为正则语言。 M `) 3(|4
2. 对于两个任意的正则表达式R1和R2，判断L(R1)=L(R2)为不可判定问题。 f/m0,EERk
3、｛xy|x属于正则语言L，y属于其补｝是正则语言； OhM_{]*
4、存在非递归的递归可枚举语言。 Q Vl"l'e8
2）｛（a^m）（b^m）c（a^2n）（b^2n），m，n》＝1｝，写出产生它的上下文无关文法和识别它的下推自动机。 {rygIl{V
3）写出识别｛（0^n）（1^n）（2^n）｝的图灵机，和a^nb^nc^n类似，参考书的答案有问题！ c;n\HYk
4）设P(x,y)为原始递归谓词，请证明 也是原始递归谓词。 Odw9]`,T
5）a(n+1)2 不是上下文无关语言，用泵引理证明（其中，2为平方） DJ1!Xuu
6）L是一上下文无关文法，任给一正规文法R，L属于R可以判定吗，说明理由。 xA0=C
[<jU$93E
面向对象： #TB
3|=
1、 多态性、可见性、封装名词解释 <EY{goW
2、 评论各种分析方法的标准 ~h3~<p#M`
3、 简述OOA过程
KvO5-g
4、 简述UML的主要功能、以及各种模型图 5d -rF:#
5、 图书超市购书管理的use case交互图 IUD@Kf]S
6、 一个监控系统的对象模型
