西电协议分析与设计上机报告
西电软院西电软院计组上机报告下
1、导入工程 DM2_KX8051，编绎工程。设计原理图如图 7.3 所示。
2、连接下载 JTAG 口，进行下载，点击工具条上的 图标，进行下载。点 Hardware Setup 选择下载器，只勾上 program/configure，其 它不选，选 start 进行下载，如图 7.4 所示。
实验二 键盘扫描，中断实验 一、实验题目
键盘扫描，中断实验。
二、实验环境
Windows 操作系统，Quartus II，FPGA 开发板。
三、实验内容
本实验主要进行对 4*4 键盘原理分析，实现对键盘扫描码的判断。分别利用查询及 中断方式进行扫描键盘。
四、实验过程
1、导入工程 DM2_KX8051，编绎工程。设计原理图如图 7.3 所示。
4、打开 Quartus II 中工具下的系统内存数据编缉器。操作如图 7.5 所示。
5、点击窗口右侧的 setup 进行 JTAG 口查找，查找后能找到一个 RAM，一个 ROM。 6、ROM内的数据既为程序的目标代码，右击ROM选import data from file 选择生成 的.hex目标文件，将文件写入开发板。
图 6.8 打开系统内存数据编缉器 6、点击窗口右侧的 setup 进行 JTAG 口查找，查找后能找到一个 RAM，一个 ROM。 7、 ROM 内的数据既为程序的目标代码，右击 ROM 选 import data from file 选择生 成的.hex 目标文件，如图 6.9 所示，按复位键运行程序。
图 7.3 设计原理图 2、连接下载 JTAG 口，进行下载，点击工具条上的 图标，进行下载。点 Hardware Setup 选择下载器，只勾上 program/configure，其 它不选，选 start 进行下载，如图 7.4 所示。
西电协议分析与设计上机报告
西电协议分析与设计上机报告协议分析与设计上机报告一．实验目的学习和掌握PROMELA语言，并能在SPIN上对协议进行模拟和分析。
二．实验题目6-5 将6.3节描述的协议条件改为报文和应答均会出错，且都丢失，接收方没有无线接收能力，这就是我们通常所说的实用停等协议。
请用PROMELA进行描述，并用SPIN模拟运行、一般性验证、无进展循环验证和人为加入错误进行验证。
6-6 请根据图6-16写出著名的AB协议的PROMELA描述，并验证“A”获取的每一个报文至少有一个是正确的，而“B”接收的每一个报文之多有一次是正确的。
Terminal A三．实验分析6-5 停止等待协议因为协议条件为报文应答均会出错，且都丢失，接收方没有无限接收能力，所以此时信道应该有5种信号，分别为：信息，ACK，NAK，出错信号和丢失信号，即mtype={Msg,Ack,Nak,Err,Miss}。
然后定义两个信道，用于在发送方实体和接收方实体进行数据传输。
chan SenderToReceiver=[1]of{mtype,byte,byte};chan ReceiverT oSender=[1]of{mtype,byte,byte};主要过程为：发送方发送报文，等待应答，如果是肯定应答则发送下一帧，如果是否定应答或者应答帧出错则重发，发送端通过OutCh!Miss(0,0) 来模拟发送报文丢失；接收方接收报文，如果是期望的报文则发送肯定应答，否则发送否定应答，接收端通过InCh?Mis(0,0)模拟应答报文丢失，如果报文丢失，则需要重发报文。
代码如下：1 #define MAXSEQ 523 mtype = {Msg,Ack,Nak,Err,Miss};4 chan SenderT oReceiver = [1] of {mtype,byte,byte} ;5 chan ReceiverT oSender = [1] of {mtype,byte,byte} ;67 proctype SENDER(chan InCh,OutCh)8 {9 byte SendData;10 byte SendSeq;11 byte ReceivedSeq;12 SendData = MAXSEQ-1;13 do14 ::SendData = (SendData+1)%MAXSEQ;15 again: if16 ::OutCh!Msg(SendData,SendSeq)17 ::OutCh!Err(0,0)18 ::OutCh!Miss(0,0)19 fi;2021 if22 ::timeout -> goto again23 ::InCh?Miss(0,0) ->goto again24 ::InCh?Err(0,0) ->goto again25 ::InCh?Nak(ReceivedSeq,0) ->26 end1: goto again27 ::InCh?Ack(ReceivedSeq,0) ->28 if29 ::(ReceivedSeq == SendSeq) ->goto progress30 ::(ReceivedSeq != SendSeq) ->31 end2: goto again32 fi33 fi;34 progress : SendSeq = 1 - SendSeq;35 od;36 }3738 proctype RECEIVER(chan InCh,OutCh)39 {40 byte ReceivedData;41 byte ReceivedSeq;42 byte ExpectedData;43 byte ExpectedSeq;4445 do46 :: InCh?Msg(ReceivedData,ReceivedSeq) ->47 if48 ::(ReceivedSeq == ExpectedSeq) ->49 assert(ReceivedData == ExpectedData);50 progress: ExpectedSeq = 1- ExpectedSeq;51 ExpectedData = (ExpectedData + 1)%MAXSEQ;52 if53 ::OutCh!Miss(0,0)54 ::OutCh!Ack(ReceivedSeq,0);55 ::OutCh!Err(0,0);56 ExpectedSeq = 1- ExpectedSeq;57 ExpectedData = (ExpectedData + 4)%MAXSEQ;58 fi59 ::(ReceivedSeq!=ExpectedSeq) ->60 if61 ::OutCh!Nak(ReceivedSeq,0);62 ::OutCh!Err(0,0);63 fi64 fi65 ::InCh?Err(0,0) -> OutCh!Nak(ReceivedSeq,0);66 ::InCh?Miss(0,0) -> skip67 od;68 }6970 init71 {72 atomic73 {74 run SENDER(ReceiverToSender,SenderToReceiver);75 run RECEIVER(SenderT oReceiver,ReceiverToSender);76 }77 }实验截图一致性验证:无进展循环验证人为加入错误进行验证6-6 AB协议因为根据状态图，S3状态和S1状态一致，所以将S3状态与S1状态合并。
协议分析实验报告
协议分析实验报告协议分析实验报告一、引言在现代信息社会中，网络通信已经成为人们生活中不可或缺的一部分。
而网络通信的基础是各种协议的运行与应用。
协议分析作为网络安全领域的一个重要研究方向，旨在对网络协议进行深入研究和分析，以发现其中的安全漏洞和潜在威胁。
本实验旨在通过对某一特定协议的分析，探索其安全性，并提出相应的改进措施。
二、实验目的本实验的主要目的是对XXX协议进行深入分析，发现其中可能存在的安全问题，并提出相应的解决方案。
通过实际的协议分析实验，加深对网络安全的认识和理解，提高分析和解决网络安全问题的能力。
三、实验方法1. 收集协议数据包：通过网络抓包工具，获取一定数量的XXX协议数据包，以便后续的分析和研究。
2. 数据包解析：使用专业的协议解析工具，对收集到的数据包进行解析，获取其中的各个字段和信息。
3. 协议分析：对解析得到的数据包进行分析，包括协议的结构、数据传输方式、安全机制等方面的研究，以发现其中的潜在问题。
4. 安全漏洞挖掘：通过对协议的深入分析，结合已知的安全漏洞和攻击手法，尝试发现协议中可能存在的安全漏洞，并进行漏洞挖掘。
5. 解决方案提出：针对发现的安全问题，提出相应的解决方案和改进措施，以提高协议的安全性和可靠性。
四、实验结果与讨论通过对XXX协议的深入分析，我们发现了其中存在的几个安全问题。
首先，协议中的身份验证机制较为薄弱，容易受到中间人攻击。
其次，协议中的数据传输方式存在明文传输的情况，容易被窃取或篡改。
此外，协议的加密算法使用较为简单，无法抵抗高级的密码攻击手法。
针对这些问题，我们提出了以下的解决方案和改进措施。
首先，加强协议中的身份验证机制，采用更安全可靠的身份验证方式，如公钥加密算法和数字证书。
其次，对数据传输进行加密处理，使用强大的加密算法，确保数据的机密性和完整性。
此外，还可以引入数字签名等机制，提高协议的抗攻击能力。
五、实验总结通过本次协议分析实验，我们对XXX协议进行了深入的研究和分析，发现了其中存在的安全问题，并提出了相应的解决方案和改进措施。
西电DSP上机实验报告
DSP实验报告及大作业学院：电子信息工程班级：学号：姓名：实验一VISUAL DSP++的使用入门一、实验目的1、熟悉VISUAL DSP++的开发环境。
针对ADSP－21065L SHARC DSP，利用几个用C、C++和汇编语言写成的简单例子来描述VISUAL DSP＋十编程环境和调试器（debugger）的主要特征和功能。
2、对于运行在其它类型SHARC处理器的程序只需对其链接描述文件（．LDF）做一些小的变化，用于ADSP－21065L硬件仿真。
二、实验内容实验一：启动Visual DSP++，建立一个用C源代码的工程（Project），同时用调试器来评估用C语言所编写代码的性能；实验二：创立一个新的工程，修改源码来调用一个汇编（asm）程序，重新编译工程，用调试器来评估用汇编语言所写程序的性能；实验三：利用调试器的绘图（plot）功能来图形显示一个卷积算法中的多个数据的波形；实验四：利用调试器的性能统计功能（Statistical profile来检查练习三中卷积算法的效率。
利用所收集到的性能统计数据就能看出算法中最耗时的地方。
三、实验步骤及结果练习一：1、进入Visual DSP＋＋，显示Visual DSP++的集成开发和调试环境窗口。
选择菜单中的Session\New Session\SHARK\ADSP-21065L SHARK processing Simulator.此过程为将要编译运行的程序建立了一个Session.2、选择菜单File 中Open 打开Project\E:\float\unit_1\dot_product_c \dotprodc．dpj。
（注：练习中将float压缩包解压与E盘）3、在菜单Project中选择Build Project来对工程进行编译。
在本例子中，编译器会检测到一个未定义的错误，显示为：“．＼dotprod_main.c”，line 115：error ＃20：identifier“itn”is undefined itn i；双击该行文字，光标会自动定位出错行，再该行中将“itn”改为“int”,重新编译后没有错误。
西电软院网络多媒体上机报告讲解
网络多媒体上机实验报告目录实验一哈夫曼编码实验二算术编码实验三LZW编码实验四WAV文件的读取附录对应的四个源程序 实验一哈夫曼编码算法分析：哈夫曼编码采用自底向上的描述方式。
哈夫曼编码运用了贪心算法，每次都取权值最小的两个节点合并成一个节点，该合并节点的权值记为两者权值之和，然后继续上述操作直到最后合并成一个节点，在建成树的过程中，就记下了相应的哈夫曼编码。
通过已经构造出的哈夫曼树，自底向上，由频率节点开始向上寻找parent,直到parent为树的顶点为止。
每个频率都会有一个01编码与之唯一对应，并且任何编码没有前部分是同其他完整编码一样的。
程序设计：构造最优二叉树：输入入N个叶子节点的权值，找出所有结点中权值最小、无父结点的两个结点，并合并成一个结点，继续在剩下的结点中寻找权值最小的叶子结点，循环合并结点操作，并最终生成最优二叉树，节点在二叉树的深度的编码既是对此组字符的哈夫曼编码。
我们将用自己定义的结构体来表示各个节点，其中结构体中包含权值，左右孩子和父节点，然后用一个select函数来寻找当前最小的两个节点，合并成一个节点，然后继续直到全部合并为一个节点，然后顺着树来将其01编码储存在一个一个字符数组中。
调试过程：由于之前做过哈夫曼编码问题。
因此问题不大，未遇到较难处理的问题。
运行结果：这是实验的截图，从中可以看出，权值比较大的用到的编码的位数比较少，而权值较小的节点则远离根节点。
而且，我们可以从上图看出哈弗曼是一种前缀编码。
实验二算术编码算法分析：算数编码是一种更现代的编码方法，算术编码把整个消息看做一个单元。
在实际的应用中，输入数据同城被分割成块以避免错误传播。
他只传输一个区间的值，从而可以通过迭代得知相应的信息，性能比较好。
程序设计：我们将整个信息的概率设置为1，各个信号的概率给出，则一个字符一个字符的取，当取到某个自腐蚀，则将其限制在{low，high}之间，然后在在这个区间内继续往下细分，不断迭代，最后生成一个数，我们可以寻找在最后区间内的一个最短的二进制码字，记得到编码，解码同样是不断的看在那个范围中。
西电电院数字信号处理上机实验报告六
实验六、FIR数字滤波器设计及其网络结构班级: 学号: 姓名: 成绩:1实验目得(1)熟悉线性相位FIR数字滤波器得时域特点、频域特点与零极点分布;(2)掌握线性相位FIR数字滤波器得窗函数设计法与频率采样设计法;(3)了解IIR数字滤波器与FIR数字滤波器得优缺点及其适用场合。
2 实验内容(1)设计计算机程序,根据滤波器得主要技术指标设计线性相位FIR数字低通、高通、带通与带阻滤波器;(2)绘制滤波器得幅频特性与相频特性曲线,验证滤波器得设计结果就是否达到设计指标要求;(3)画出线性相位FIR数字滤波器得网络结构信号流图。
3实验步骤(1)设计相应得四种滤波器得MATLAB程序;(2)画出幅频相频特性曲线;(3)画出信号流图。
4 程序设计%% FIR低通f=[0、2,0、35];m=[1,0];Rp=1;Rs=40;dat1=(10^(Rp/20)-1)/(10^(Rp/20)+1);dat2=10^(-Rs/20);rip=[dat1,dat2];[M,f0,m0,w]=remezord(f,m,rip);M=M+2;hn=remez(M,f0,m0,w);w=0:0、001:pixn=[0:length(hn)-1];H=hn*exp(-j*xn'*w);figuresubplot(2,1,1)plot(w/pi,20*log10(abs(H)));gridon;xlabel('\omega/\pi'),ylabel('|H(e^j^w)|/dB')subplot(2,1,2)plot(w/pi,angle(H)/pi);xlabel('\omega/\pi'),ylabel('\phi(\omega)/\pi') %% FIR高通f=[0、7,0、9];m=[0,1];Rp=1;Rs=60;dat1=(10^(Rp/20)-1)/(10^(Rp/20)+1);dat2=10^(-Rs/20);rip=[dat2,dat1];[M,f0,m0,w]=remezord(f,m,rip);hn=remez(M,f0,m0,w);w=0:0、001:pixn=[0:length(hn)-1];H=hn*exp(-j*xn'*w);figuresubplot(2,1,1)plot(w/pi,20*log10(abs(H)));gridon;xlabel('\omega/\pi'),ylabel('|H(e^j^w)|/dB')subplot(2,1,2)plot(w/pi,angle(H)/pi);xlabel('\omega/\pi'),ylabel('\phi(\omega)/\pi') %% FIR带通f=[0、2,0、35,0、65,0、8];m=[0,1,0];Rp=1;Rs=60;dat1=(10^(Rp/20)-1)/(10^(Rp/20)+1);dat2=10^(-Rs/20);rip=[dat2,dat1,dat2];[M,f0,m0,w]=remezord(f,m,rip);M=M+3hn=remez(M,f0,m0,w);w=0:0、001:pixn=[0:length(hn)-1];H=hn*exp(-j*xn'*w);figuresubplot(2,1,1)plot(w/pi,20*log10(abs(H)));gridon;xlabel('\omega/\pi'),ylabel('|H(e^j^w)|/dB')subplot(2,1,2)plot(w/pi,angle(H)/pi);xlabel('\omega/\pi'),ylabel('\phi(\omega)/\pi') %% FIR带阻f=[0、2,0、35,0、65,0、8];m=[1,0,1];Rp=1;Rs=60;dat1=(10^(Rp/20)-1)/(10^(Rp/20)+1);dat2=10^(-Rs/20);rip=[dat1,dat2,dat1];[M,f0,m0,w]=remezord(f,m,rip);hn=remez(M,f0,m0,w);w=0:0、001:pixn=[0:length(hn)-1];H=hn*exp(-j*xn'*w);figuresubplot(2,1,1)plot(w/pi,20*log10(abs(H)));gridon;xlabel('\omega/\pi'),ylabel('|H(e^j^w)|/dB')subplot(2,1,2)plot(w/pi,angle(H)/pi);xlabel('\omega/\pi'),ylabel('\phi(\omega)/\pi') 5实验结果及分析(1)FIR低通滤波器自动得到得M值不满足要求,故我们将M加上2 在w=0、2π时,H=-0、5dB;w=0、35π时,H=-41dB。
西电微机原理与系统设计上机报告
微机原理与系统设计上机报告学号：*******姓名：**指导老师：**时间：2016年11月西安电子科技大学内容一 Debug程序的使用一、实验目的1. 学习使用DEBUG调试命令。
2. 学习用DEBUG调试简单程序。
3. 通过程序验证码制及其对标志位的影响。
4. 通过调试熟悉和掌握各寄存器的作用与特点。
二、实验内容用DEBUG调试简单程序。
三、实验仪器微机一台四、实验步骤1．由DOS进入DEBUG调试环境。
(1)DEBUG将调试程序装入内存注意：当机器控制权由DOS成功地转移给调试程序后，将显示“－”号，它是DEBUG的状态提示符，表示可以接受调试子命令了。
(2)－R 显示CPU中各寄存器当前初始内容，请记录下列各项：AX=0000 BX=0000 CX=0000 DX＝0000 BP=0000 SI=0000 DI=0000 DS=13E0 ES=13E0 SS=13E0 SP=FFEE CS=13E0 IP=0100 FLAG寄存器中的8个标志位状态值是：OF DF IF SF ZF AF PF CFNV UP EI PL NZ NA PO NC DEBUG用符号给出标志寄存器中8个标志位的当前状态，其含义如下表所示。
标志位含义‘1’的对应符号‘0’的对应符号OF溢出OV有NV无DF方向DN递减UP递增IF中断EI允许DI禁止SF符号NG负PL正ZF全零ZR零NZ非零AF辅助进位AC有NA无PF奇偶性PE偶PO奇CF进位CY有NC无2．用DEBUG调试简单程序例1 －A CS：0106MOV AX,1234MOV BX,2345MOV CX,0ADD AX,BXMOV CX,AXINT 20运行程序（注：执行程序时IP应指向要执行的指令，需要修改该寄存器－RIP当前值输入需要值该处为0106,当然也可以在T或G命令中指出程序起始地址）－R 显示各寄存器当前内容及首条指令－T 3 跟踪执行三条赋值传送指令，观察寄存器及标志位－T 2跟踪执行相加及送和数指令，观察寄存器及标志位－G 执行软件中断指令INT 20，机器将显示“程序正常终止”的信息，并显示“－”，表明仍处在DEBUG的调试控制状态下，注意未用T命令，因为我们不想进入到20H中断处理程序中去，P命令也可实现相同操作实验现象记录：观察与记录按照上述要求命令执行后，哪些寄存器和标志位发生了变化。
操作系统上机实验报告(西电)
操作系统上机题目一、题目实验1：LINUX/UNIX Shell部分（一）系统基本命令1．登陆系统，输入whoami 和pwd ，确定自己的登录名和当前目录；登录名yuanye ，当前目录/home/yuanye2．显示自己的注册目录?命令在哪里?a．键入echo $HOME，确认自己的主目录；主目录为/home/yuanyeb．键入echo $PA TH，记下自己看到的目录表；/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/gamesc．键入which abcd，看看得到的错误信息；再键入which ls 和which vi，对比刚刚得到的结果的目录是否在a．、b．两题看到的目录表中；/bin/ls /usr/bin/vi3．ls 和cd 的使用:a．键入ls，ls -l ，ls -a ，ls -al 四条命令，观察输出，说明四种不同使用方式的区别。
1. examples.desktop 公共的模板视频图片文档音乐桌面; 总计322.-rw-r--r-- 1 yuanye yuanye 357 2011-03-22 22:15 examples.desktopdrwxr-xr-x 2 yuanye yuanye 4096 2011-03-22 23:25 公共的drwxr-xr-x 2 yuanye yuanye 4096 2011-03-22 23:25 模板drwxr-xr-x 2 yuanye yuanye 4096 2011-03-22 23:25 视频drwxr-xr-x 2 yuanye yuanye 4096 2011-03-22 23:25 图片drwxr-xr-x 2 yuanye yuanye 4096 2011-03-22 23:25 文档drwxr-xr-x 2 yuanye yuanye 4096 2011-03-22 23:25 音乐drwxr-xr-x 2 yuanye yuanye 4096 2011-03-22 23:25 桌面3. . .fontconfig .local .Xauthority.. .gconf .mozilla .xsession-errors.bash_logout .gconfd .nautilus 公共的.bashrc .gksu.lock .profile 模板.cache .gnome2 .pulse 视频.chewing .gnome2_private .pulse-cookie 图片.config .gnupg .recently-used.xbel 文档.dbus .gstreamer-0.10 .scim 音乐.dmrc .gtk-bookmarks .sudo_as_admin_successful 桌面.esd_auth .gvfs .update-manager-coreexamples.desktop .ICEauthority .update-notifier4. 总计156drwxr-xr-x 28 yuanye yuanye 4096 2011-03-24 16:55 .drwxr-xr-x 3 root root 4096 2011-03-22 22:15 ..-rw-r--r-- 1 yuanye yuanye 220 2011-03-22 22:15 .bash_logout-rw-r--r-- 1 yuanye yuanye 3115 2011-03-22 22:15 .bashrcdrwxr-xr-x 3 yuanye yuanye 4096 2011-03-22 23:30 .cachedrwx------ 2 yuanye yuanye 4096 2011-03-22 23:24 .chewingdrwxr-xr-x 4 yuanye yuanye 4096 2011-03-22 23:30 .configdrwx------ 3 yuanye yuanye 4096 2011-03-22 22:31 .dbus-rw------- 1 yuanye yuanye 49 2011-03-24 16:54 .dmrc-rw------- 1 yuanye yuanye 16 2011-03-22 22:31 .esd_auth-rw-r--r-- 1 yuanye yuanye 357 2011-03-22 22:15 examples.desktopdrwxr-xr-x 2 yuanye yuanye 4096 2011-03-22 23:15 .fontconfigdrwx------ 4 yuanye yuanye 4096 2011-03-24 16:54 .gconfdrwx------ 2 yuanye yuanye 4096 2011-03-24 16:56 .gconfd-rw-r----- 1 yuanye yuanye 0 2011-03-22 23:19 .gksu.lockdrwx------ 6 yuanye yuanye 4096 2011-03-22 23:20 .gnome2drwx------ 2 yuanye yuanye 4096 2011-03-22 22:32 .gnome2_privatedrwx------ 2 yuanye yuanye 4096 2011-03-22 22:31 .gnupgdrwxr-xr-x 2 yuanye yuanye 4096 2011-03-22 22:32 .gstreamer-0.10-rw-r--r-- 1 yuanye yuanye 156 2011-03-24 16:55 .gtk-bookmarksdr-x------ 2 yuanye yuanye 0 2011-03-24 16:54 .gvfs-rw------- 1 yuanye yuanye 479 2011-03-24 16:54 .ICEauthoritydrwx------ 3 yuanye yuanye 4096 2011-03-22 23:30 .localdrwx------ 4 yuanye yuanye 4096 2011-03-22 23:29 .mozilladrwxr-xr-x 3 yuanye yuanye 4096 2011-03-22 22:32 .nautilus-rw-r--r-- 1 yuanye yuanye 675 2011-03-22 22:15 .profiledrwx------ 2 yuanye yuanye 4096 2011-03-24 16:54 .pulse-rw------- 1 yuanye yuanye 256 2011-03-22 22:31 .pulse-cookie-rw------- 1 yuanye yuanye 861 2011-03-22 23:30 .recently-used.xbeldrwx------ 3 yuanye yuanye 4096 2011-03-22 23:24 .scim-rw-r--r-- 1 yuanye yuanye 0 2011-03-22 22:35 .sudo_as_admin_successful drwxr-xr-x 2 yuanye yuanye 4096 2011-03-22 22:33 .update-manager-core drwx------ 2 yuanye yuanye 4096 2011-03-22 22:32 .update-notifier-rw------- 1 yuanye yuanye 117 2011-03-24 16:54 .Xauthority-rw-r--r-- 1 yuanye yuanye 3385 2011-03-24 16:56 .xsession-errorsdrwxr-xr-x 2 yuanye yuanye 4096 2011-03-22 23:25 公共的drwxr-xr-x 2 yuanye yuanye 4096 2011-03-22 23:25 模板drwxr-xr-x 2 yuanye yuanye 4096 2011-03-22 23:25 视频drwxr-xr-x 2 yuanye yuanye 4096 2011-03-22 23:25 图片drwxr-xr-x 2 yuanye yuanye 4096 2011-03-22 23:25 文档drwxr-xr-x 2 yuanye yuanye 4096 2011-03-22 23:25 音乐drwxr-xr-x 2 yuanye yuanye 4096 2011-03-22 23:25 桌面b．利用cd 转到/bin，/sbin ，/etc ，/dev，再利用ls 列出各个目录的内容，如果"迷路"，可以利用pwd 确定位置，或键入cd ，cd ~ 观察效果.cd ，cd ~的区别： 1. bash dnsdomainname mountpoint sleepbunzip2 dumpkeys mt sttybzcat echo mt-gnu subzcmp ed mv syncbzdiff egrep nano tailfbzegrep false nc tarbzexe fgconsole nc.traditional tempfilebzfgrep fgrep netcat touchbzgrep fuser netstat truebzip2 fusermount ntfs-3g ulockmgr_serverbzip2recover grep ntfs-3g.probe umountbzless gunzip open unamebzmore gzexe openvt uncompresscat gzip pidof unicode_startchgrp hostname ping vdirchmod ip ping6 whichchown kbd_mode ps zcatchvt kill pwd zcmpcp ld_static rbash zdiffcpio ln readlink zegrepdash loadkeys rm zfgrepdate login rmdir zforcedbus-cleanup-sockets ls rnano zgrepdbus-daemon lsmod run-parts zlessdbus-uuidgen mkdir sed zmoredd mknod setfont znewdf mktemp setupcondir more shdmesg mount sh.distrib2. acpi_available getty mii-tool resize_reiserfsalsa grub-install mkdosfs rmmodalsactl halt mke2fs routeapm_available hdparm mkfs rtacctapparmor_parser hwclock mkfs.bfs rtmonbadblocks ifconfig mkfs.cramfs runlevelblkid ifdown mkfs.ext2 sfdisk blockdev ifup mkfs.ext3 shadowconfig brltty init mkfs.ext4 shutdownbrltty-setup initctl mkfs.ext4dev slattachcfdisk insmod mkfs.minix sscrda installkernel mkfs.msdos startctrlaltdel ip mkfs.reiserfs start-stop-daemon debugfs ip6tables mkfs.vfat status debugreiserfs ip6tables-restore mkreiserfs stopdepmod ip6tables-save mkswap sulogin dhclient ipmaddr modinfo swapoff dhclient3 iptables modprobe swapon dhclient-script iptables-restore mount.fuse sysctldmsetup iptables-save mount.ntfs syslogddosfsck iptunnel mount.ntfs-3g tcdosfslabel isosize mount.vmhgfs telinitdumpe2fs iwconfig nameif tune2fse2fsck iwevent on_ac_power udevadme2image iwgetid pam_tally udevde2label iwlist parted umount.hale2undo iwpriv partprobe unix_chkpwd fdisk iwspy pccardctl unix_update findfs kbdrate pivot_root update-grubfsck killall5 plipconfig usplashfsck.cramfs klogd poweroff usplash_down fsck.ext2 ldconfig rarp usplash_write fsck.ext3 ldconfig.real raw vol_idfsck.ext4 logd readahead-list vstpfsck.ext4dev logsave readahead-watch wpa_action fsck.minix losetup reboot wpa_clifsck.msdos lrm-manager regdbdump wpa_supplicant fsck.nfs lsmod reiserfsckfsck.reiserfs lspcmcia reiserfstunefsck.vfat MAKEDEV resize2fs3. acpi login.defsadduser.conf logrotate.confadjtime logrotate.dalsa lsb-basealternatives lsb-base-logging.shanacrontab lsb-releaseapm ltrace.conf apparmor magicapparmor.d magic.mimeapport mailcapapt mailcap.orderat.deny manpath.configavahi mime.typesbash.bashrc mke2fs.confbash_completion modprobe.dbash_completion.d modules bindresvport.blacklist monoblkid.tab motdblkid.tab.old motd.tailbluetooth mtabbogofilter.cf mtools.confbonobo-activation nanorcbrlapi.key netscsid.confbrltty networkbrltty.conf NetworkManagerca-certificates networksca-certificates.conf nsswitch.confcalendar obex-data-server chatscripts openoffice checkbox.d optcompizconfig pam.conf ConsoleKit pam.dconsole-setup pangoconsole-tools papersizecron.d passwdcron.daily passwd-cron.hourly pcmciacron.monthly perlcrontab pmcron.weekly pnm2ppa.confcups PolicyKitdbus-1 popularity-contest.conf debconf.conf powerdebian_version pppdefault profiledefoma profile.ddeluser.conf protocolsdepmod.d pulse dhcp3 purple dictionaries-common pythondm python2.6 doc-base rc0.ddpkg rc1.de2fsck.conf rc2.d emacs rc3.d environment rc4.d esound rc5.d event.d rc6.d firefox-3.0 rc.localfonts rcS.d foomatic readahead fstab resolvconf fuse.conf resolv.conf gai.conf rmtgamin rpcgconf samba gdm sane.d gimp scim gnome screenrc gnome-app-install scsi_id.config gnome-system-tools securetty gnome-vfs-2.0 security gnome-vfs-mime-magic sensors.conf gre.d services groff sgmlgroup shadow group- shadow- grub.d shells gshadow skel gshadow- soundgtk-2.0 sshhal ssl hdparm.conf sudoers hesiod.conf sysctl.conf host.conf sysctl.d hostname syslog.conf hosts terminfo hosts.allow timezonehosts.deny tpvmlp.confhp ts.confifplugd ucf.confinit.d udevinitramfs-tools ufwinputrc updatedb.confiproute2 updatedb.conf.BeforeVMwareToolsInstallissue update-manager update-motd.dkbd update-notifierkernel usplash.confkernel-img.conf vimlaptop-mode vmware-toolsldap w3mld.so.cache wgetrcld.so.conf wodim.confld.so.conf.d wpa_supplicantlftp.conf X11libpaper.d xdglocale.alias xmllocaltime xulrunner-1.9logcheck zsh_command_not_foun4. adsp loop7 ram7 tty15 tty43 usbdev1.1_ep00agpgart lp0 ram8 tty16 tty44 usbdev1.1_ep81audio mapper ram9 tty17 tty45 usbdev2.1_ep00block mem random tty18 tty46 usbdev2.1_ep81bus midi rtc tty19 tty47 usbmon0cdrom1 mixer rtc0 tty2 tty48 usbmon1char net scd0 tty20 tty49 usbmon2console network_latency sda tty21 tty5 vcscore network_throughput sda1 tty22 tty50 vcs1cpu_dma_latency null sda2 tty23 tty51 vcs2disk oldmem sda5 tty24 tty52 vcs3dmmidi parport0 sequencer tty25 tty53 vcs4dsp pktcdvd sequencer2 tty26 tty54 vcs5ecryptfs port sg0 tty27 tty55 vcs6fd ppp sg1 tty28 tty56 vcs7fd0 psaux shm tty29 tty57 vcs8full ptmx snapshot tty3 tty58 vcsafuse pts snd tty30 tty59 vcsa1hpet ram0 sndstat tty31 tty6 vcsa2initctl ram1 sr0 tty32 tty60 vcsa3input ram10 stderr tty33 tty61 vcsa4kmem ram11 stdin tty34 tty62 vcsa5kmsg ram12 stdout tty35 tty63 vcsa6log ram13 tty tty36 tty7 vcsa7loop0 ram14 tty0 tty37 tty8 vcsa8loop1 ram15 tty1 tty38 tty9 vmciloop2 ram2 tty10 tty39 ttyS0 vsockloop3 ram3 tty11 tty4 ttyS1 xconsoleloop4 ram4 tty12 tty40 ttyS2 zeroloop5 ram5 tty13 tty41 ttyS3loop6 ram6 tty14 tty42 urandom区别：（二）基本操作1．用cp 将/usr/share 目录下的exercise 子目录连同目录下的文件拷贝到自己的主目录下，然后进入自己的exercise 目录:cp -r /usr/share ./．2．输入/输出重定向和cat，more 等显示命令的配合使用:a．输入cat 命令列出目录下longtext 文件中的内容；b．输入cat 命令列出目录下longtext 文件中的内容，是否发现一屏显示不完?c．使用more 命令列出longtext 的内容；d．输入cat hello.txt> hello2.txt，再输入cat hello.txt>>hello2.txt，再检查hello2.txt的内容有何变化；说明>与>>的区别。
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
协议分析与设计上机报告
一．实验目的
学习和掌握PROMELA语言，并能在SPIN上对协议进行模
拟和分析。
二．实验题目
6-5 将6.3节描述的协议条件改为报文和应答均会出错，且都丢失，接收方没有无线接收能力，这就是我们通常所说的实
用停等协议。
请用PROMELA进行描述，并用SPIN模拟运行、
一般性验证、无进展循环验证和人为加入错误进行验证。
6-6 请根据图6-16写出著名的AB协议的PROMELA描述，
并验证“A”获取的每一个报文至少有一个是正确的，而“B”接收的每一个报文之多有一次是正确的。
Terminal A Terminal B
三．实验分析
6-5 停止等待协议
因为协议条件为报文应答均会出错，且都丢失，接收方没有无限接收能力，所以此时信道应该有5种信号，分别为：信息，ACK，NAK，出错信号和丢失信号，即mtype={Msg,Ack,Nak,Err,Miss}。