2000年春博题目(是99年秋天考的)。 aoDD&JE
:pDY
计算理论 T_x+sv=|X!
一、1、根据图灵机理论,说明现代计算机系统的理论基础。 @y(Wy}
2、说明按乔姆斯基分类,语言、文法、自动机的关系 I\upnEKKzZ
2]} U
ov
一、 证明 HALT(X ` 1,X)不是可计算的。 ,=Nw(GI
6
r.H8
三、1、证明递归集都是递归可枚举集。 =kb6xmB^t
2、举例属于递归可枚举集但不是递归集的集合,并证明之。 ^+as\
'^Utbp2<
四、1、证明L={(a,b)*|a,b的个数相同}为上下文无关语言。 !(*a+ur&i
2、并证明其不是正则的。 {@V3?pG?p
FKox0Jmh=
H=&/ Q
2000年4月 ;T.s!B$Uu
人工智能 b6nZ55 h
1 什么是知识表示?用框架系统表示你的卧室。 sLG>>d3R1
2 描述A算法(描述A*) ov`^o25f
3 专家系统模型?建立知识库(书上关于鸟类的例子)。 PZuq'^p
专家系统的模型。根据下述事实建立分类专家系统的知识库。见书上哺乳动物、鸟类的分类系统例子。 Jq$_=X&
4 什么是自然语言的理解?写出下列句子的句法分析树。 l
Io9,Ke
1)I WANTED YOU TO DO SOMTHING. 9q1HSJ1)
2) I SAW SOME CHILDREN PLAYING BALL IN THE FIELD. x}?DkFuxb
2000年10月 Tr8 AG>
操作系统 RCBf;$O
1 产生死锁的必要条件。
u>}w-
2 写出生产者和消费者的互斥程序(书上的例子)。 [ WV@ w
3 写出可对文件和目录进行的操作。 1BQ0M{&
虚拟存储页面置换的几种算法。 Zc'|!pT _
;)(Sdf[P
计算理论 I@0z/4H
``
3. 你对设计操作系统有什么看法。 ic*->-!
4. 举例说明cache在操作系统种的应用。 b7B+eN ?z
5. 微内核的优点,哪些操作系统采用微内核结构。 ? YF${
6. 系统调用的作用,用系统调用编一个程序,实现从一个文件种读取数据,然后写入另一个文件。 ;,1=zhKU.
{=UFk-$=
由于时间的关系,这次参加考试的考题我记得的不是很清楚啦,所以只能说个大概,题目顺序也不太确定的。 d_Q*$Iz)3
一、处理机调度(如上面的第三题)、内存分配(如上面的第四题)和资源分配(我记得是以打印机为例,好像是用到了银行家算法)三者结合的一道选择题,思考的时候要注意全面和细致,其实还是对这三个知识点的考察,不过是有一个结合罢了。 .
sM<6;
二、什么叫系统调用?编写一段包含系统调用的程序,完成如下工作:打开一个文件,向文件中添加一个字符串,关闭该文件。 U;xu/xDRi
三、谈谈你对操作系统的设计和通用性的看法。 #`W=mN(+k
四、列举微内核操作系统的特点和实例。 U|gpC
y
z]kwRWe`j
25
CZmsg
体系结构 *GQDfs`m
1. 写出CPUtime公式,并给出如何减少CPUtime。 &+ KyPY+
2. 给出下列定义 !fY7"E{%%
a. 有哪几中数据竞争 *7ZGq(O
b. 什么是Load/Store机构 9\HR60V
c. 有点忘了,不过不难,和存储有关! eGm:)
-? s&pKi
3. 画出集中式共享存储和分布式存储的结构图,并给出通信方式。 U{6oLqwq3Y
一道书上的,就是要你写出两个循环中存在的竞争,然后问你是否可以消除竞争,很简单。 qO-9
x0v#
C5x
ag#Z1
{;s;.
2002: $
a?
一、1、写出三条计算机设计的定量定理。 )qL&%xz
2、若CACHE速度比内存速度高十倍,若内存利用率为90%,请问系统加速比为多少? H`~;|6}]n
? B@E!/f
二、CPU的操作数有三种存储方式,是区别不同体系计算机的重要标志。 eG5Y+iL-V
1、是那三种? v2Bzx/F
:
2、对于C=A+B,请写出三种方式的实现程序。 bB!#:j>(v
.`jo/,?+O
三、简述流水线三种竞争产生原因及解决办法。 A4.4Dji,x
NQfYxB1Yr:
四、1、什么是ILP?2、ILP的必要性和实现技术。 O~!T3APGU
!ErH~<f%K
五、某CACHE容量为8K BYTES,块大小为32BYTES,字长64BITS,地址长度为34BITS,对于直接映像系统,请分别写出构成地址索引(INDEX)、 ,HB2hHD
标志(TAG)和块地址的长度。说明并行计算面临的两个问题。 ,1oQ cC
/AS
aB
qJPT%r
6Wj^*L!
这里有三套试题,其中第一套是浙大某个学期期末的考试题,第二套是我这次的考试题,还有一套的考试时间不祥。 (xl\J/
+k\Uf*wh
1、 什么是计算?计算理论研究的内容和意义是什么?为什么要使用计算的抽象模型? fX~'Zk\u
-d+aV1n
2、 请写出一个正则表达式,描述下面的语言:在字母表{0,1}上,不包含00子串且以1结尾。 G7GZDi
P 1XK*GZ
3、为什么说能被2或者3整除的语言是正则的? NGC,lv
^qGb%! l
4、一个底数为a,指数为素数表示的语言是不是正则语言,是不是上下文无关的? 0NDftcB]
{q%Sx*k9[
5、一个succ(n+1)的组合Turing机描述,说出它的作用。 d}'U?6ob
/ID3s`D)
T9W`
?A
a"N4~
?US
二、证明HALT(X的转置,X)不是可计算的。 {\H/y c|@
&H}r%%|A
三、1、证明递归集都是递归可枚举集。 gr-9l0u
2、举例属于递归可枚举集但不是递归集的集合。 {8$=[;
fmqb`%
四、1、证明L={(a,b)*|a,b的个数相同}为上下文无关语言。 r
={c,i
2、并证明其不是正则的。 Od+6 -J
z>sbr<doa
2003年3月 7tUA>;++
《计算理论》 **9x?s
第一大题是判断题目,好像有二十分左右,都是书上的概念,譬如:递归语言是递归可枚举语言(),一个语言如果是正则的,那么它一定是上下文无关语言(),如果一个语言是图灵可识别的,那么、、、. () 。后面的记不住了。 :B3[:MpL}
Jk@]tAwoM
《操作系统》 &'cL%.
最开始也是判断题,然后好像有选择题。接着是有一个大题目,关于页面置换的,类似于如果使用FIFO方式,那么应该产生多少次失页,如果用LRU方式、、、, 书上有的那几种页面置换方式基本都考了。 XL#[%X9
inf
l.
《面向对象》+《UML》 zp\8_ U@
《面向对象》考的全是书上的概念,跟考历史差不多。只最后一个题:写出面向对象的任意两种方法(我忘记了确切的说法,参考书后半部分有描述,如Booch方法就是其中一种)并描述其基本思想。该题比分很大。 kEwaT$
《UML》一样是考书上的概念,跟 《面向对象》一样的考法。只是,它有一个画图题目,考试时,用到了铅笔和直尺。它让画该书的一个例题,就是销售系统,划分主题,画出其详细的主题图。一个字也没改,跟书上一模一样。我没料到会这样原封不动,所以只画了个大概,错了不少。 3bO(?l`3h
u]}s)SmDk
" \I4u{zC
两科考试时间都是足足有余,才过考试时间的1/3,绝大部分考生都已经做完了。有好多都是提前交卷的。 n>@oBG)!
21k5I #U
2003年10月 YK|bXSA[
专业课的书一定要好好看,不用看的太深。 OL4z%mDZi
《操作系统与高级计算机体系结构》: U(~+o
1)8个选择,涉及到的知识点如下: 3u%{dG a
按需分页、磁盘调度、缺页次数、分时响应时间、死琐(判断哪种情况不会发生死琐)、SPOOLING系统。 \fr-<5w7 9
U,nEbKJgk
2)一道同步题(很多参考书有类似的,不是设计同步,而是计算X、Y、Z的数值) KNH1#30 K
3)MMU为何物,与操作系统的关系。 u2
`b'R
9
!i=nSqW
1)写出计算机设计的3个定律, aF03a-qw<
2)写出cpu时间公式,每个分量与什么技术有关,缩短它的途径有哪些? %Uz(Vd#K
3)n种cache系统技术的后果,选择题,好象有10个空 Da"j E
涉及到的主要知识点如下: o|jIM9/
命中时间、失配率、失配损失、直写、回写、写缓冲、关联度、伪CACHE、二级CACHE 6 uKTGc4
4)相关性分析题(包括循环传递相关、真相关、反相关、输出相关), /x3/Ubmz~x
5)画出分布式存储器多处理器的体系结构图,对应的2中存储器结构及其通信协议。 V!)O6?l
N!*_La=TuH
《计算理论基础+X》: $s<Ne{?
1)5个判断,比如 IIq1\khh
例如: CbN!1E6).
1. 也为正则语言。 ]9\!;Bz^J
2. 对于两个任意的正则表达式R1和R2,判断L(R1)=L(R2)为不可判定问题。 _{M\Bs2<
3、{xy|x属于正则语言L,y属于其补}是正则语言; #A]-ax?Qc}
4、存在非递归的递归可枚举语言。 y\&>ZyOY
2){(a^m)(b^m)c(a^2n)(b^2n),m,n》=1},写出产生它的上下文无关文法和识别它的下推自动机。 "?| > btr
3)写出识别{(0^n)(1^n)(2^n)}的图灵机,和a^nb^nc^n类似,参考书的答案有问题!
>0l"P"]
4)设P(x,y)为原始递归谓词,请证明 也是原始递归谓词。 dDnf^7q/
5)a(n+1)2 不是上下文无关语言,用泵引理证明(其中,2为平方) |ae97 5
6)L是一上下文无关文法,任给一正规文法R,L属于R可以判定吗,说明理由。 xU%w=0z<
JgHM?AWg|
面向对象: O@YTAT&d#
1、 多态性、可见性、封装名词解释 t='# |');
2、 评论各种分析方法的标准 1Z,[|wJ
3、 简述OOA过程 f
nI|
4、 简述UML的主要功能、以及各种模型图 YBnA+l*
5、 图书超市购书管理的use case交互图 J!DF^
fLe
6、 一个监控系统的对象模型