2000年春博题目(是99年秋天考的)。 Blv@u ?
计算理论 LT)G"U~
一、1、根据图灵机理论,说明现代计算机系统的理论基础。 |kkg1M#
2、说明按乔姆斯基分类,语言、文法、自动机的关系 lag%}^
一、 证明 HALT(X ` 1,X)不是可计算的。 N(L?F):fT
三、1、证明递归集都是递归可枚举集。 FFID<Lf/2
2、举例属于递归可枚举集但不是递归集的集合,并证明之。 #Ue_
四、1、证明L={(a,b)*|a,b的个数相同}为上下文无关语言。 !Ytr4DtM
2、并证明其不是正则的。 2< Q3-|/i
2000年4月 [V.#w|n
人工智能 m}?(c)ST
1 什么是知识表示?用框架系统表示你的卧室。 ?DKwKt
2 描述A算法(描述A*) ($Ck5`_MK
3 专家系统模型?建立知识库(书上关于鸟类的例子)。 wx)Yl1C
专家系统的模型。根据下述事实建立分类专家系统的知识库。见书上哺乳动物、鸟类的分类系统例子。 >TZyax<:
4 什么是自然语言的理解?写出下列句子的句法分析树。 SpiI9)gp
1)I WANTED YOU TO DO SOMTHING. 0|@*`-:VO
2) I SAW SOME CHILDREN PLAYING BALL IN THE FIELD. YVB\9{H?
2000年10月 8^6dK
操作系统 UBvea(z-#
1 产生死锁的必要条件。 #&ZwQ
w
2 写出生产者和消费者的互斥程序(书上的例子)。 [DO UIR9
3 写出可对文件和目录进行的操作。 dUL3UY3
虚拟存储页面置换的几种算法。 V50FX}i
计算理论 ?:XbZ"25pJ
1、 o$+"{3svw?
(1)给出图灵机的格局、计算及图灵机μ计算函数f的精确定义。 x7l3&;yDv
(2 ) 对图灵机模型而言,church论题是什么? U 4ELlxGe
(3)当x是完全平方时值为3x,否则为3x+1证明其是原始递归函数。 DKxzk~sOM
2、证明φ(X,X)是不可计算的。 tW|K\NL
3、证明L={ambn|m,n>0,m≠n}是上下文无关的,但不是正则的。 +Pm
yFJH
4、A为有穷字母表,L是A*的无穷子集, rYYAZ(\8
(1) 证明存在无穷序列ω0,ω1,ω2…,它由L的所有字组成,每个字恰好在其中只出现一次。 U$5 lh
(2) 是否存在从L构造序列ω0,ω1,ω2…,的算法(即i由计算ωi),为什么? _.y0QkwV
人工智能 ,/>hWAx
1 试构造一个描述你的办公室的语义网络表示系统。 :;(zA_-
2 何谓人工智能中的搜索问题?试采用宽度搜索方法解决机器人JACK搬运积木问题。 _mJnhT3
(初态:积木B、C放在桌上,积木A放在B上面 ow{Ss X
目标态:积木C放在桌上,B在C上面,A在B上面) PtT=HvP!k
3、描述基于规则的的系统结构?采用IF-THEN 规则形式,写出产生式系统的规则知识库。(书上关于哺乳动物的例子) %t:pG}A>:C
体系结构 D-<9kBZs
1 CPU响应时间计算公式,列举可减少响应时间的相关技术。 9OnH3
2 两种多发射技术的特点和异同。 #}Qzu~
3 关于循环体的相关性分析(书后习题)。 3j
iSvrfI
4 一段循环指令的循环展开及软件流水的实现(书中例子)。 %@jL?u
5 两种监听协议的性能差异。 [spJ%AhV
2001。10月计算机考博专业课试题 r-];@
计算理论: &