2000年春博题目（是99年秋天考的）。 QA)"3g
0 N0< 4
b
计算理论 g?Rq .py]!
一、1、根据图灵机理论,说明现代计算机系统的理论基础。 /Bk`3~]E>
2、说明按乔姆斯基分类，语言、文法、自动机的关系 k)8*d{ *
CWB<I
一、 证明 HALT(X ` 1,X)不是可计算的。 i 1]}Q$
AXnKhYlu
三、1、证明递归集都是递归可枚举集。 W3^^a D-
2、举例属于递归可枚举集但不是递归集的集合，并证明之。 q6%m .X7
*7#5pT~
四、1、证明L={（a，b）*|a，b的个数相同}为上下文无关语言。 Y;d qrA>@
2、并证明其不是正则的。 LA(/UA3Izd
oL!C(\ERh
jx Yze/I
2000年4月 gl2l%]=\'
人工智能 l d5+/"$
1 什么是知识表示？用框架系统表示你的卧室。 E% Ko[G
2 描述A算法(描述A*) ;rnhv:Iw
3 专家系统模型？建立知识库（书上关于鸟类的例子）。 8M BY3F
专家系统的模型。根据下述事实建立分类专家系统的知识库。见书上哺乳动物、鸟类的分类系统例子。 P$@:T[}v
4 什么是自然语言的理解？写出下列句子的句法分析树。 _U,Hi?b"$}
1）I WANTED YOU TO DO SOMTHING. KmWd$Qy,
2) I SAW SOME CHILDREN PLAYING BALL IN THE FIELD. GK3
cQw
2000年10月 |f$gQI!X W
操作系统 bJ eF1LjS
1 产生死锁的必要条件。 ;D%H}+Z
2 写出生产者和消费者的互斥程序（书上的例子）。 5)->.* G*
3 写出可对文件和目录进行的操作。 $2Bll 5!]
虚拟存储页面置换的几种算法。 r*FAUb`bG
I-Am9\
计算理论 {rygIl{V
3． 你对设计操作系统有什么看法。 Ac }5,
4． 举例说明cache在操作系统种的应用。 i\#?M "
5． 微内核的优点，哪些操作系统采用微内核结构。 ws$kwSHq
6． 系统调用的作用，用系统调用编一个程序，实现从一个文件种读取数据，然后写入另一个文件。 y3P4]sq
V~$?]Z %_
由于时间的关系，这次参加考试的考题我记得的不是很清楚啦，所以只能说个大概，题目顺序也不太确定的。 /U0,%
一、处理机调度（如上面的第三题）、内存分配（如上面的第四题）和资源分配（我记得是以打印机为例，好像是用到了银行家算法）三者结合的一道选择题，思考的时候要注意全面和细致，其实还是对这三个知识点的考察，不过是有一个结合罢了。 {.Brh"yC
二、什么叫系统调用？编写一段包含系统调用的程序，完成如下工作：打开一个文件，向文件中添加一个字符串，关闭该文件。 zkd^5A; `
三、谈谈你对操作系统的设计和通用性的看法。 XXXQA Y-,C
四、列举微内核操作系统的特点和实例。 J2$,'(!(
: xY9eq=
Fnd_\`9{
体系结构 0u
+_D8G
1． 写出CPUtime公式，并给出如何减少CPUtime。 {9cj itl
2． 给出下列定义 K.b :ae^k
a. 有哪几中数据竞争 YU\k D
b. 什么是Load/Store机构 v]}\Ns/
c. 有点忘了，不过不难，和存储有关！ HK VtO%&
OMBH[_
3． 画出集中式共享存储和分布式存储的结构图，并给出通信方式。 ju1B._ 48
一道书上的，就是要你写出两个循环中存在的竞争，然后问你是否可以消除竞争，很简单。 yA';~V\V{>
/. >%IcK
?}(B8^
2002： Q(x/&]7=V
一、1、写出三条计算机设计的定量定理。 v4XEp
2、若CACHE速度比内存速度高十倍，若内存利用率为90%，请问系统加速比为多少？ l Akg47i
e`C o ='
二、CPU的操作数有三种存储方式，是区别不同体系计算机的重要标志。 m ^w{:\p
1、是那三种？ `O`MW} c
2、对于C=A+B，请写出三种方式的实现程序。 )_6W@s
* ;U<b
三、简述流水线三种竞争产生原因及解决办法。 T 2Yc` +
#
7KR`H
四、1、什么是ILP？2、ILP的必要性和实现技术。 tq 51;L
s'bTP(wl9
五、某CACHE容量为8K BYTES，块大小为32BYTES，字长64BITS，地址长度为34BITS，对于直接映像系统，请分别写出构成地址索引(INDEX)、 M`E}1WNQ?]
标志(TAG)和块地址的长度。说明并行计算面临的两个问题。 {d.K)8 \
un KgOvtj
p|@#IoA/e
rinTB|
5
这里有三套试题，其中第一套是浙大某个学期期末的考试题，第二套是我这次的考试题，还有一套的考试时间不祥。 CyXaHO
T6."j_
1、 什么是计算？计算理论研究的内容和意义是什么？为什么要使用计算的抽象模型？ ^;tB,7:*V
$ VhY"<
2、 请写出一个正则表达式，描述下面的语言：在字母表{0,1}上，不包含00子串且以1结尾。 y|zIu I-p
6YV"H
3、为什么说能被2或者3整除的语言是正则的？ {R_ <m$
G6+6u Wvl
4、一个底数为a，指数为素数表示的语言是不是正则语言，是不是上下文无关的？ IW-|"5?9'
FZIC |u z
5、一个succ(n+1)的组合Turing机描述，说出它的作用。 w'E?L`c
z ^s\&gix
M|zTs\1I
D @:'* Z(
二、证明HALT(X的转置,X)不是可计算的。 f^ZhFu?
Pn6~66a6
三、1、证明递归集都是递归可枚举集。 +S` cUn7
2、举例属于递归可枚举集但不是递归集的集合。 <q>d@Foi
cb s ;
四、1、证明L＝{(a,b)*|a,b的个数相同}为上下文无关语言。 : @eHV=|+>
2、并证明其不是正则的。 g"(@+\XZH"
E!BzE_|i
2003年3月 o)]O
《计算理论》 p \9}}t7n
第一大题是判断题目，好像有二十分左右，都是书上的概念，譬如：递归语言是递归可枚举语言（），一个语言如果是正则的，那么它一定是上下文无关语言（），如果一个语言是图灵可识别的，那么、、、. （） 。后面的记不住了。 jA[Ir 3
iz{TSU
《操作系统》 lI+^}-<
最开始也是判断题，然后好像有选择题。接着是有一个大题目，关于页面置换的，类似于如果使用FIFO方式，那么应该产生多少次失页，如果用LRU方式、、、， 书上有的那几种页面置换方式基本都考了。 }` %ks
,D]g]#Lq
《面向对象》+《UML》 Px Gw5
:
《面向对象》考的全是书上的概念，跟考历史差不多。只最后一个题：写出面向对象的任意两种方法（我忘记了确切的说法，参考书后半部分有描述，如Booch方法就是其中一种）并描述其基本思想。该题比分很大。 ';c 6
《UML》一样是考书上的概念，跟 《面向对象》一样的考法。只是，它有一个画图题目，考试时，用到了铅笔和直尺。它让画该书的一个例题，就是销售系统，划分主题，画出其详细的主题图。一个字也没改，跟书上一模一样。我没料到会这样原封不动，所以只画了个大概，错了不少。 R!lug;u#
5Pxx)F9]
8lGM
>(:o
两科考试时间都是足足有余，才过考试时间的1/3，绝大部分考生都已经做完了。有好多都是提前交卷的。 v Y0ESc{
q-ko)]
2003年10月 &q9= 0So4\
专业课的书一定要好好看，不用看的太深。 s=F[.X9lp
《操作系统与高级计算机体系结构》： `9+R]C]z8
1）8个选择，涉及到的知识点如下： &;)B
qqXc
按需分页、磁盘调度、缺页次数、分时响应时间、死琐（判断哪种情况不会发生死琐）、SPOOLING系统。 ey,f igjd.
lX)AbK]nb
2）一道同步题（很多参考书有类似的，不是设计同步，而是计算X、Y、Z的数值） ,\c V,$
3）MMU为何物，与操作系统的关系。 HGh
-rEh
.{*l,
1）写出计算机设计的3个定律，
II| ;
_j
2）写出cpu时间公式，每个分量与什么技术有关，缩短它的途径有哪些？ *78c2`)[
3）n种cache系统技术的后果，选择题，好象有10个空 KV | D]}
涉及到的主要知识点如下： b @0= & 4
命中时间、失配率、失配损失、直写、回写、写缓冲、关联度、伪CACHE、二级CACHE TK[[6IB
4）相关性分析题（包括循环传递相关、真相关、反相关、输出相关），
Y6H?ZOq
5）画出分布式存储器多处理器的体系结构图，对应的2中存储器结构及其通信协议。 4K~=l%l
,f>9oOqqA
《计算理论基础+X》： buN@O 7\
1）5个判断，比如 B ;E"VS0
例如： l5Ko9CG
1. 也为正则语言。 dVj2x-R)
2. 对于两个任意的正则表达式R1和R2，判断L(R1)=L(R2)为不可判定问题。 Q2r[^Z
3、｛xy|x属于正则语言L，y属于其补｝是正则语言； 1G5 A L2
4、存在非递归的递归可枚举语言。 N<a %l J
2）｛（a^m）（b^m）c（a^2n）（b^2n），m，n》＝1｝，写出产生它的上下文无关文法和识别它的下推自动机。 wn! =G~nB
3）写出识别｛（0^n）（1^n）（2^n）｝的图灵机，和a^nb^nc^n类似，参考书的答案有问题！ DC*MB:c#U
4）设P(x,y)为原始递归谓词，请证明 也是原始递归谓词。 l1
'v`!
5）a(n+1)2 不是上下文无关语言，用泵引理证明（其中，2为平方） hx9t {Zi
6）L是一上下文无关文法，任给一正规文法R，L属于R可以判定吗，说明理由。 cl `Wl/Q#
eT3!"+p-F
面向对象： .x,y[/[[)
1、 多态性、可见性、封装名词解释 ud5}jyJ
2、 评论各种分析方法的标准 fv+ET:T%
3、 简述OOA过程 z{
V;bi;
4、 简述UML的主要功能、以及各种模型图 B!x#|vGXL
5、 图书超市购书管理的use case交互图 hIV]
ZYbH
6、 一个监控系统的对象模型
