2000年春博题目（是99年秋天考的）。
"tT68
9y'To JZ6
计算理论 ajCe&+
一、1、根据图灵机理论,说明现代计算机系统的理论基础。 DX0#q #
2、说明按乔姆斯基分类，语言、文法、自动机的关系 $b U .6
b{BiC &3
一、 证明 HALT(X ` 1,X)不是可计算的。 %MCJ%Ph
&( ZEs c
三、1、证明递归集都是递归可枚举集。 }wB!Bx2
2、举例属于递归可枚举集但不是递归集的集合，并证明之。 QVF561Yz
v65]$%F?
四、1、证明L={（a，b）*|a，b的个数相同}为上下文无关语言。 I)\{?LdHR
2、并证明其不是正则的。 U:AB%gr[
|w"G4J6ha
rR4?*90vjj
2000年4月 _WGWU7h
人工智能 tUksIUYD\
1 什么是知识表示？用框架系统表示你的卧室。 !<&To
2 描述A算法(描述A*) N(e>]ui
3 专家系统模型？建立知识库（书上关于鸟类的例子）。 DaBy<pGb?
专家系统的模型。根据下述事实建立分类专家系统的知识库。见书上哺乳动物、鸟类的分类系统例子。 $azK M,<q
4 什么是自然语言的理解？写出下列句子的句法分析树。 }tW1\
@
=
1）I WANTED YOU TO DO SOMTHING. hWiHKR]
2) I SAW SOME CHILDREN PLAYING BALL IN THE FIELD. ?AVnv(_
2000年10月 D;h JK-Y
操作系统 bZ#KfR
1 产生死锁的必要条件。 B1j^qoC. 5
2 写出生产者和消费者的互斥程序（书上的例子）。 F=?GV\Tw
3 写出可对文件和目录进行的操作。 pxI[/vS
N
虚拟存储页面置换的几种算法。 og1Cj{0
Zbr1e5?
计算理论 *'BI=* `
3． 你对设计操作系统有什么看法。 7H4\ AG\>
4． 举例说明cache在操作系统种的应用。 <O41 M\,
5． 微内核的优点，哪些操作系统采用微内核结构。 Uh XVeGO
6． 系统调用的作用，用系统调用编一个程序，实现从一个文件种读取数据，然后写入另一个文件。 a# Uk:O!
[B^V{nUB c
由于时间的关系，这次参加考试的考题我记得的不是很清楚啦，所以只能说个大概，题目顺序也不太确定的。 M=fhRCUB
一、处理机调度（如上面的第三题）、内存分配（如上面的第四题）和资源分配（我记得是以打印机为例，好像是用到了银行家算法）三者结合的一道选择题，思考的时候要注意全面和细致，其实还是对这三个知识点的考察，不过是有一个结合罢了。 qP+%ui5xR
二、什么叫系统调用？编写一段包含系统调用的程序，完成如下工作：打开一个文件，向文件中添加一个字符串，关闭该文件。 8
/}S/$
三、谈谈你对操作系统的设计和通用性的看法。 J! "m{ 8-
四、列举微内核操作系统的特点和实例。 Oiw!d6"Ovq
w
uhL r(
3!Mb<W.3
体系结构 uZP( -}
1． 写出CPUtime公式，并给出如何减少CPUtime。 eH 9-GGr
2． 给出下列定义 Of
nN
a. 有哪几中数据竞争
T2t o!*T
b. 什么是Load/Store机构 i7
?OZh*f
c. 有点忘了，不过不难，和存储有关！ }cIj1
:
>qdRqy)DC
3． 画出集中式共享存储和分布式存储的结构图，并给出通信方式。 yg
%T{hyzH
一道书上的，就是要你写出两个循环中存在的竞争，然后问你是否可以消除竞争，很简单。 _Ry
3ZAzv en
]2z
Gb 5s"
2002： >SS97 9
一、1、写出三条计算机设计的定量定理。 AV p"<Uv
2、若CACHE速度比内存速度高十倍，若内存利用率为90%，请问系统加速比为多少？ YY$O"!."
2yV {y#\
二、CPU的操作数有三种存储方式，是区别不同体系计算机的重要标志。 (k %0|%eR
1、是那三种？ V/8yW3]Xy
2、对于C=A+B，请写出三种方式的实现程序。 :5zO
!~\
rz Kn5Z
三、简述流水线三种竞争产生原因及解决办法。 ={nuz-3
+B
OuU#
四、1、什么是ILP？2、ILP的必要性和实现技术。 =(,dI [v
WoWBZ;+ U
五、某CACHE容量为8K BYTES，块大小为32BYTES，字长64BITS，地址长度为34BITS，对于直接映像系统，请分别写出构成地址索引(INDEX)、 q%FXox~b
标志(TAG)和块地址的长度。说明并行计算面临的两个问题。 SA6.g2pFz
; 4(FS
I=V]_Ik4 N
<V*M%YWs
这里有三套试题，其中第一套是浙大某个学期期末的考试题，第二套是我这次的考试题，还有一套的考试时间不祥。 4Bq4d.0
#]Q.B\\
1、 什么是计算？计算理论研究的内容和意义是什么？为什么要使用计算的抽象模型？ 0Yc#f
D
qC YXkZ%`
2、 请写出一个正则表达式，描述下面的语言：在字母表{0,1}上，不包含00子串且以1结尾。 xw rleB
Z65]|
3、为什么说能被2或者3整除的语言是正则的？ L3X[; |v}
ht^xc c
4、一个底数为a，指数为素数表示的语言是不是正则语言，是不是上下文无关的？ p"
/B3
.JL?RH2@8
5、一个succ(n+1)的组合Turing机描述，说出它的作用。 TWJ%? /d
WUq fY?5
v"smmQZik
{AqPQeNgz
二、证明HALT(X的转置,X)不是可计算的。 ZfN%JJOz(
u:D,\`;)
三、1、证明递归集都是递归可枚举集。 mGqT_
2、举例属于递归可枚举集但不是递归集的集合。 [O(8iz v
@I|gA
四、1、证明L＝{(a,b)*|a,b的个数相同}为上下文无关语言。 ) %& ~CW+
2、并证明其不是正则的。 u@-x3%W
X
Sw0t8
2003年3月 .`K<Iug1
《计算理论》 {
z/Y~rf
第一大题是判断题目，好像有二十分左右，都是书上的概念，譬如：递归语言是递归可枚举语言（），一个语言如果是正则的，那么它一定是上下文无关语言（），如果一个语言是图灵可识别的，那么、、、. （） 。后面的记不住了。 V}kQXz"9
NJr aol
《操作系统》 /^<Uy3F[p
最开始也是判断题，然后好像有选择题。接着是有一个大题目，关于页面置换的，类似于如果使用FIFO方式，那么应该产生多少次失页，如果用LRU方式、、、， 书上有的那几种页面置换方式基本都考了。 \P|PAU@,
6vQCghI
《面向对象》+《UML》 Wc+)EX~KS
《面向对象》考的全是书上的概念，跟考历史差不多。只最后一个题：写出面向对象的任意两种方法（我忘记了确切的说法，参考书后半部分有描述，如Booch方法就是其中一种）并描述其基本思想。该题比分很大。 K`?", G?_
《UML》一样是考书上的概念，跟 《面向对象》一样的考法。只是，它有一个画图题目，考试时，用到了铅笔和直尺。它让画该书的一个例题，就是销售系统，划分主题，画出其详细的主题图。一个字也没改，跟书上一模一样。我没料到会这样原封不动，所以只画了个大概，错了不少。 Qs5^kddz =
]V K%6PQ0
t$lO~~atr
两科考试时间都是足足有余，才过考试时间的1/3，绝大部分考生都已经做完了。有好多都是提前交卷的。 <,!e*V*U
D-tm'AP q
2003年10月 'dstAlt?
专业课的书一定要好好看，不用看的太深。 Ej]: j8^W
《操作系统与高级计算机体系结构》： S3iXG
@
1）8个选择，涉及到的知识点如下： 9=J+5V^qD<
按需分页、磁盘调度、缺页次数、分时响应时间、死琐（判断哪种情况不会发生死琐）、SPOOLING系统。 )E.!jL:g
MM*B.y~TxZ
2）一道同步题（很多参考书有类似的，不是设计同步，而是计算X、Y、Z的数值） eI7
FbOze
3）MMU为何物，与操作系统的关系。 Xv%1W?
>@/
uoM;p'
1）写出计算机设计的3个定律， .W#-Cl&n8
2）写出cpu时间公式，每个分量与什么技术有关，缩短它的途径有哪些？ 0 xUw}T6
3）n种cache系统技术的后果，选择题，好象有10个空 }j
/($,
涉及到的主要知识点如下： oWu2}#~z_
命中时间、失配率、失配损失、直写、回写、写缓冲、关联度、伪CACHE、二级CACHE %)$^_4.g
4）相关性分析题（包括循环传递相关、真相关、反相关、输出相关）， -r6cK,WVU
5）画出分布式存储器多处理器的体系结构图，对应的2中存储器结构及其通信协议。 b V5 {
I$
Bu6x!
《计算理论基础+X》： 3$u 3ssOL
1）5个判断，比如 K\ 7 \
例如： 'edd6yTd
1. 也为正则语言。 jIMT&5k
2. 对于两个任意的正则表达式R1和R2，判断L(R1)=L(R2)为不可判定问题。 =r3 %jWH6
3、｛xy|x属于正则语言L，y属于其补｝是正则语言； >VQP,J{
4、存在非递归的递归可枚举语言。 ]ZD W+<
2）｛（a^m）（b^m）c（a^2n）（b^2n），m，n》＝1｝，写出产生它的上下文无关文法和识别它的下推自动机。 @%7IZg;P6
3）写出识别｛（0^n）（1^n）（2^n）｝的图灵机，和a^nb^nc^n类似，参考书的答案有问题！ /!l$Y?
4）设P(x,y)为原始递归谓词，请证明 也是原始递归谓词。 B^;P:S<yG
5）a(n+1)2 不是上下文无关语言，用泵引理证明（其中，2为平方） M7O
5uW`
6）L是一上下文无关文法，任给一正规文法R，L属于R可以判定吗，说明理由。 PJq;OM|
`OL@@`'^{S
面向对象： #Sxk[[KwH*
1、 多态性、可见性、封装名词解释 6zmt^U
2、 评论各种分析方法的标准 WF)(Q~op0U
3、 简述OOA过程 oNyVRH ZH
4、 简述UML的主要功能、以及各种模型图 {`FkiB` i
5、 图书超市购书管理的use case交互图 LH=gNFgzt
6、 一个监控系统的对象模型
