机组卷子答案.txt

北航计算机考研试卷

2004年：组成原理题：
八1
  某运算器包含一个支持8种算术运算和16种逻辑运算的ALU,1个支持4种操作的移位器，4个寄存器（每个寄存器有单独的输入和输出控制信号），所有部件由内部总线连接，运算部件用微程序控制单元控制，引起微操作转移的条件有4个，控制存储器的容量为256个字，请设计该运算部件控制单元的微指令格式，并详细说明个字段的含义（采用直接编码方式）。
  请问： 我这样做对吗，运算器控制位是24位还是5位，移位器呢？
              8+16+4+4+4=36位        3位               8位
              控制字段          地址选择字段        次地址字段

                                       
2003年： 
七 2 
    某微程序控制器采用水平型微指令格式，控制存储器36位宽，微指令格式包括控制字段，地址选择字段和次地址字段三部分，控制字段需要表示的微操作共有24个，地址选择字段用来指明引起微指令转移的条件，这些条件基于8个不同的标志来建立。
1）设计该微程序控制器的微指令格式，指出各字段各占多少位。
2）控制寄存器的容量有多大。
    请问： 我这样做对吗,地址选择字段应该8还是9位？
         (1)       
                  24位             9位(一种不转移的情况)         3位
                 35    12          11        3                2       0
                 控制字段          地址选择字段               次地址字段
         (2)  2*2*2*36=288bit

2000 第九题

    某8位计算机系统采用单总线结构，数据总线8根，地址总线16根，系统加电后，CPU中的程序计数器PC初始值FFF0H，已知：主存地址空间64KB,其中系统BIOS程序大约需要4KB,由4Kx4的 ROM芯片构成，其余地址空间为系统RAM区，用4Kx8的SRAM芯片构成。
   1，请合理分配主存地址空间，指明ROM区和RAM区的地址范围。
   请问：   我这样分对吗，FFF0H不是ROM的起始地址，只是在其中？
                   RAM: 0000H——DFFFH   前60k 
                   ROM: E000H----FFFFH   后4k


2004年的那道微指令的题：
正确答案是：微操作控制字段应为8+16+4+4*2=36位
                  地址选择字段（条件字段）：4位（因为采用直接编码，且有4个
                                                                 转移条件）
                  次地址字段：8位（因为有256个存储字）
                  所以，地址总长48位！！！！！！！！

2003年的那道微指令的题：      
                  微操作控制字段：24位
                  地址选择字段（条件字段）：3位（请注意：题目上说，这些转移
                                                                条件是基于8个不同的标志建立
                                                                的，并不是说有8个转移条件；
                                                                如果是8个转移条件，此字段才
                                                                为8位）
                  次地址字段：9位   （即控存的最大容量512字）


八1

因为是直接编码方式，我想控制字段是8+16+4+4*2＝36位，由于转移条件有四个，所以地址选择字段占4位，又控存有256字，即有256个存储单元，所以次地址字段占8位。一共是36+4+8＝48位，也就是说控制存储器的字长是48位，所以控存容量为256*48 bit。

第二题是不是这样：
控制字段24位，地址选择字段4位，下地址8位
控制存储器容量：256*36位

第一题：8种算术运算和16种逻辑运算占用5位，1个支持4种操作的移位器占2位，4个寄存器占4位（每个占一位）。控制字段共11位。
条件字段占3位（4+1个无标志条件）。
控存容量256字，占8位。
"8种算术运算和16种逻辑运算" 如果每种操作占一位的话则表明24种操作可以并发执行,但cpu一次只能执行一种操作!题目解答可参考清华徐爱萍的计算机组成原理考研指导p277.
注意直接表示法和直接编码法的区别！


我又看了一次卷子，题目中说从0ＸＣ0000000开始映射4ＭＢ大小的页表，就是第二级页表，也就是题目中说明了先映射二级页表再映射一级页表，所以不需要讨论谁先谁后的问题。
再说一下为什么二级页表是4ＭＢ，题中给出一个进程的地址空间为4ＧＢ，即2^2*2^30=2^32Ｂ，这也正符合题中一开始就提到的该虚拟存储系统是32位，而页面大小一般是4ＫＢ，所以一共有2^32/2^12=2^20页，即一共有1Ｍ个页表项，而每页表的每一项占4Ｂ，所以二级页表大小就是4ＭＢ。在内存中要找出4ＭＢ大小的一块连续的存储空间实际上不容易，所以还得把这4ＭＢ的二级页表再分成一页一页存储，这时一共分为4Ｍ/4Ｋ＝1Ｋ页，即这4ＭＢ二级页表的页表也就是一级页表有1Ｋ个页表项，每一项占4Ｂ，整个一级页表占4ＫＢ，刚好为一页。


设信号量 s1=s2=0;
main()
{
  cobegin
     driver();         
     busman();
  coend;
}
  driver(){
  while(true)
   {
  p(s1);          //wait for door closing 
   启动；
    行驶；
    停车；
v(s2);        //wake up  busman to open the door
                  and let people  go up and  down
   }
}
busman()
{
       while(true)
  {
     关门；
v(s1);        //wake up driver to start
     售票；
p(s2);    //wait for the signal(bus has stopped) from driver
     开门；
   上下乘客；
  }
}


2004年6月离散数学试卷（A）


一　谓词逻辑中将下列命题符号化。
(1)有些汽车比所有的火车都跑得慢。
(2)并非每个素数都不是偶数。

二　求公式（p-->q）--> r的主析取范式和主合取范式。

三　 给定解释如下：
D1={a,b}     P1(a,a)= P1(b,a)=1     P1(a,b)= P1(b,b)=0
求下列语句在解释1下的真值。
（1）V xP(x,x)
（2）VxVy(P(x,y)-->P(y,x))

四　判断以下公式是不是永真式,永假式,并说明理由。
（1）（p+q-->r）-->(pVq-->r)
（2）(VxP(x)<--> VxQ(x))--> Vx(P(x)-->Q(x))

五　判断以下等值关系是否成立。
（1）（p-->q）-->r<=>p-->(q-->r)
（2）Ex(P(x)-->Q(x)) <=>ExP(x)-->EQ(x)

六　判断以下逻辑推论关系是否成立，并说明理由。
（1）p-->r , q-->r , pVq 1=r
（2）ExP(x) , Vx(P(a)-->p(x))  1=VxP(x)

七　用归结法证明以下推论是正确的。
对于每个有理数都存在比它大的无理数。整数都是有理数。无理数都是实数。因此，对于每个整数都存在比它大的实数。

八　设r是谓词逻辑语句的集合，Ａ和Ｂ是谓词逻辑公式，变元x不是Ａ的自由变元。
证明：r1=A-->B  则 r1=Ａ-->VxB



2004年6月离散期末考试卷子。

2004年6月离散数学试卷（A）
一　谓词逻辑中将下列命题符号化。
（1）        有些汽车比所有的火车都跑得慢。
（2）        并非每个素数都不是偶数。
二　求公式（p&szlig;>q）à r的主析取范式和主合取范式。
三　 给定解释如下：
D1={a,b}     P1(a,a)= P1(b,a)=1     P1(a,b)= P1(b,b)=0
求下列语句在解释1下的真值。
（1）"xP(x,x)
（2）"x"y(P(x,y)àP(y,x))
四　判断以下公式是不是永真式,永假式,并说明理由。
（1）（p&Aring;qàr）à(pVqàr)
（2）("xP(x)&szlig;> "xQ(x))à "x(P(x)àQ(x))
五　判断以下等值关系是否成立。
（1）（pàq）àr&Ucirc;pà(qàr)
（2）$x(P(x)àQ(x)) &Ucirc;$xP(x)à $Q(x)
六　判断以下逻辑推论关系是否成立，并说明理由。
（1）pàr , qàr , pVq ú=r
（2）$xP(x) , "x(P(a)àp(x))  ú="xP(x)
七　用归结法证明以下推论是正确的。
对于每个有理数都存在比它大的无理数。整数都是有理数。无理数都是实数。因此，对于每个整数都存在比它大的实数。
八　设G是谓词逻辑语句的集合，Ａ和Ｂ是谓词逻辑公式，变元x不是Ａ的自由变元。
证明：Gú=AàB  则 Gú=Ａà"xB