关于SPIN工具 的 使用说明
SPIN
Overview of this File
1Downloading Spin
2Installing Spin
3Related software (gcc, cpp, tcl/tk wish, yacc, dot, etch, jspin, erigone, spinja, ltl2ba)
0. Overview
This readme file contains the guidelines for downloading and installing Spin and related software on Unix/Linux and Windows platforms. Refer to Spin's homepage for a general description of Spin, with pointers to manual pages, newsletters.Spin is distributed in source form to encourage research in formal verification, and to help a support friendly and open exchange of algorithms, ideas, and tools. The software itself has a copyright from Lucent Technologies and Bell Laboratories, and is distributed for research and educational purposes only (i.e., no guarantee of any kind is implied by the distribution of the code, and all rights are reserved by the copyright holder). For this general use of Spin, no license is required.
Commercial application of the Spin software is also allowed, but
requires the acceptance of a basic license. Refer to the Spin Public license for details.
1. Downloading Spin
Spin runs on Unix, Solaris, and Linux machines, on most flavors of Windows PCs, and on Macs. Precompiled binary executables for some popular types of machines are available in the Spin Binaries.All binaries have an extension that matches the Spin version number, such as spin610.exe. To install the binary, rename it to spin.exe and copy it into your bin directory.
If you have machine type that is not available there, or if you are installing Spin for the first time, then follow the more detailed instructions below.
?Unix systems:
download the most recent .tar-file with sources, the graphical interface iSpin, documentation and examples from the Spin Distribution, and continue at Step 2a.
?
?PCs (Windows95/98/2000/NT/XP):
download the most recent pc_spin*.zip file, with a precompiled Spin executable, the graphical interface iSpin, and some examples from the Spin Distribution, and continue at Step 2b.
?
?Macs (Mac OS X):
download the most recent .tar-file with sources, from the Spin Distribution, and continue at Step 2c.
2. Installing Spin
?Unix/Linux systems (compiled from the sources)
?Windows PC's (using the executable)
?Macs (compiled from the sources, with some patches)
2a. Installing Spin on a Unix/Linux System
Place the *.tar.gz file from the Spin Source Distribution in clean directory, and cd to that directory. If you have a standard Unix/Linux system, unpack the archive, and compile an executable, for instance as follows:
gunzip *.tar.gz
tar -xf *.tar
cd Src*
make
If you are on a SOLARIS system, edit the makefile and add -DSOLARIS to the compiler directives in the makefile before you type 'make'.
Similarly, if you use a different C compiler than defined in the makefile, edit the makefile first. You need to have at least a C compiler and a copy of yacc.
If all else fails, you can also compile everything with the following line:
yacc -v -d spin.y; cc -o spin *.c
Spin should compile without warnings. Install the executable version of spin in a directory that is within your default search path (such as your home bin directory, or /usr/local/bin etc.) On Unix/Linux systems Spin assumes that the standard C preprocessor cpp is stored in file "/lib/cpp". On some systems this is different: check the comments in the makefile for details if you run into this problem.
Testing
To test the basic sanity of the Spin executable, cd to the Test directory that was created when you unpacked the source archive, and follow the instructions in README.tests file that is included there.
Adding iSpin (Unix/Linux)
iSpin is an optional, but highly recommended, graphical user interface to Spin, written in Tcl/Tk. To obtain Tcl/Tk, see
Related software. The iSpin source can be found the iSpin/ subdirectory that will is created when you unpack the source tarfile.
iSpin is compatible with Tcl/Tk version 8.4 and 8.5.
iSpin prints the version numbers of Spin, iSpin, and Tcl/Tk when it starts up. You can also check separately which version of Tcl/Tk you have installed by executing the following commands in `wish' (a Tcl/Tk command):
info tclversion
puts $tk_version
You can find out which version of Spin you have by typing, at
a shell command prompt:
$ spin -V
Spin and iSpin need a working version of a C compiler installed on your system.
iSpin can also make use the graph layout program 'dot' if it is available on your system. For information on 'dot,' see Related software.
To install iSpin run the iSpin/install.sh script (after possibly editing it).
invoke the program by typing
ispin
or
ispin promela_spec
For example:
ispin iSpin/examples/leader.pml
Check the online Help menus in ispin for more details on routine use.
2b. Installing Spin on a Windows PC
If you just need to update the Spin executable itself, download
a new version from https://www.wendangku.net/doc/1d8353487.html,/spin/Bin/index.html
If you need more files, e.g. a new copy of iSpin, download the latest pc_spin*.zip file from https://www.wendangku.net/doc/1d8353487.html,/spin/Src/index.html Extract the files from pc_spin*.zip, and copy spin*.exe, renamed spin.exe, into the directory where all your commands reside and that is within your default search path (e.g., c:/cygwin/bin/, or c:\apps\spin\) You can find out what your search path is set to by typing 'set' at an MS-DOS prompt -- this prints a list
of all defined variables in your environment, including the search path that is used to find executable commands. (Note that you may need to set the search path in the environment variables)
If you use Spin from the command line (i.e., without iSpin), be warned that some command shells, e.g., the MKS Korn-shell, have none-standard rules for argument parsing (i.e., you can not reliably quote an argument that contains spaces, such as an LTL formula). In most cases this will not be much of a problem, except with the conversion of LTL formula with the spin -f option. Use single-quotes when needed, e.g.: spin -f '[]<>p' You can circumvent the problem by using inline LTL formula, which are supported in Spin version 6, or by using sping option -F instead of -f, to read the formula from a file instead of the command line. To run Spin, also with the precompiled version, you need a working C-compiler and a C-preprocessor, because Spin generates its model checking software as C-source files that require compilation before a verification can be performed. This guarantees fast model checking, because each model checker can be optimized to the specific model being checked. Check, for instance, if you can compile and run a minimal C program succesfully, e.g.:
#include
int main(void) { printf("hello\n"); }
To find a public version of a C compiler and some instructions on how to install it see Related software.
Adding iSpin (PC)
To run iSpin on a PC, you need the PC version of Tcl/Tk, which you can find under Related software.
The ispin*.tcl source is contained in the .zip file of the distribution. Copy the .tcl file as is into a directory where you plan to work, or put a shortcut to this file on the Desktop or in the Start Menu. If you keep the extension .tcl, make sure it is recognized as a 'wish' file by the system, so that ispin starts when you double click the ispin*.tcl script.
Under cygwin, copy the ispin*.tcl file to /bin/ispin and make it executable You can now use ispin as a normal Unix-style command, and you can pass the name of a filename to it, for instance as: ispin leader
An alternative is to start ispin from its source by invoking wish: wish -f ispin.tcl
or wish -f /bin/ispin
An even more indirect way to force ispin to startup is to first start `wish' from the Start Menu, under Programs, then select the larger window that comes up (the command window), and cd to the directory where you've stored the ispin tcl/tk source file. Then you can then start it up by typing:
source ispin.tcl # or whatever else you've named this
and you should be up and running.
The PC installation assumes that you have a command called "cpp.exe" or "gcc.exe" available (which comes with the gnu-c installation). "cpp" is the traditional name of the C preprocessor. Alternatively, ispin can also use the Visual C++ compiler, which is named cl.exe for preprocessing. To complicate your life somewhat, if you have a copy of the Borland C++ compiler installed, you'll notice that this cplusplus compiler was also named cpp.exe -- that's not the cpp you want. To avoid the name clash, you either have to edit the Spin source code to give it the full path name of the 'real' cpp.exe and recompile, or use Spin with the command-line option -Pxxxx where xxxx is the path for cpp.exe. Or better still (the current default) use gcc for both compilation and for preprocessing. Nothing much in Spin will work without access to a preprocessor. You can do a reasonable number of things
without a full-blown compiler though (like simulations). The C-compiler (e.g., gcc) is required for all verifications and for the automata views in iSpin.
If iSpin cannot locate the gcc executable on your system, it will put up a warning message when it first starts up. On recent versions of cygwin gcc is actually a link from /bin/gcc to /bin/gcc-3 or /bin/gcc-4
Depending on how the name changes, iSpin may not always recognize it. To fix this -- edit the iSpin source (it's tcl/tk text) and define CC as
set CC c:/cygwin/bin/gcc-5
or whatever the new name is.
2c. Installing Spin on a Mac
Compile Spin from its sources, as described under 2a for Unix systems in general, while following the suggestions below, which were provided by Dominik Brettnacher, email: domi@saargate.de.
The C preprocessor on Mac OS X cannot be found in /lib. Change the path in the makefile for the proper location (/usr/bin/cpp), and in addition also tell the Mac preprocessor to handle its input as "assembler-with-cpp." This can be done by adding a flag to cpp, for instance in the makefile by adding the directive
-DCPP="\"gcc -E -x c -xassembler-with-cpp\""
to the definition of CFLAGS.
Adding iSpin
On the Mac, iSpin is known to work correctly with Tcl/Tk Aqua, which offers a self-contained binary distribution for the Mac.
Use, for instance, "TclTkAquaStandalone", version 8.4.4 from https://www.wendangku.net/doc/1d8353487.html,.au/~steffen/tcltk/TclTkAqua/
Some users reported that on a Mac iSpin by default places its temporary files into the root directory. This is nasty if you have admin privileges and probably leads to error messages if you don't. To prevent this, add a "cd" statement to iSpin (no arguments, just cd by itself on a line), as the first command executed. Place it, for instance, directly after the opening comments in the file. This makes iSpin use the home directory for these files.
TclTk Aqua also provides the possibility to start a script when being run. For instance, to make iSpin start if you launch the TCL interpreter: move the ispin file into the "Wish Shell.app", as follows:
chmod -R u+w Wish\ Shell.app
mkdir Wish\ Shell.app/Contents/Resources/Scripts
mv ispin*.tcl Wish\ Shell.app/Contents/Resources/Scripts/AppMain.tcl
3. Related Software
Some pointers to public domain versions of related software packages. Some (e.g, a C compiler) are required to run Spin, but most other packages are optional extensions or alternatives.
GCC (needed)
On Unix/Linux you probably have gcc, or an equivalent, installed. On the PC you need either a copy of Visual Studio Express (for the cl command), or an installation of gcc with minimally the executables: gcc.exe, and cpp.exe in your search path, together with all the standard C library routines and header files. You can get good free version of all these files with the cygwin toolkit, which is mostly self-installing and available from:https://www.wendangku.net/doc/1d8353487.html,/
See also what's available in https://www.wendangku.net/doc/1d8353487.html,/spin/Bin/index.html.
Tcl/Tk Wish
To run iSpin you'll need Tcl/Tk. Tcl/Tk was written by John
Ousterhout (john.ousterhout@https://www.wendangku.net/doc/1d8353487.html,) and is public domain. It can be obtained (for PCs or Unix) from cygwin, or from: https://www.wendangku.net/doc/1d8353487.html,/ or also (a more recent extension): https://www.wendangku.net/doc/1d8353487.html,/Products/ActiveTcl/
More details can be found in netnews-group: https://www.wendangku.net/doc/1d8353487.html,ng.tcl Yacc (optional)
To compile Spin itself from its sources on a PC, you'll need to have a copy of yacc installed. A public domain version for
a PC can most easily be obtained from cygwin, or also from:
ftp://https://www.wendangku.net/doc/1d8353487.html,/ucb/4bsd/byacc.tar.Z
A copy of this file is also available in:
https://www.wendangku.net/doc/1d8353487.html,/spin/Bin/index.html(You don't need yacc on the PC's if you use the pre-compiled version of Spin for the pc in the pc*.zip file from the distribution) Look at the file make_it.bat for an example on how to perform the compilation.
Dot (optional)
Dot is a graph layout tool developed by Stephen North and colleagues at AT&T (email: north@https://www.wendangku.net/doc/1d8353487.html,). iSpin can make use of dot to show a graph layout of the state-machines in the automata-view option (recommended!). To obtain Dot, see
https://www.wendangku.net/doc/1d8353487.html,/
The are both PC and Unix versions of dot available. For documentation of dot see, for instance:
A technique for drawing directed graphs,
by Gansner, Koutsofios, North and Vo,
IEEE-TSE, March, 1993.
If you accept the default installation on a PC, you will need to define the location of dot.exe in the ispin source as follows:
set DOT "C:/Program\\ Files\ATT\Graphviz/bin/dot.exe"
(the line that sets the location of DOT appears near the top of the ispin.tcl file).
Etch (optional)
Etch, short for Enhanced Type CHecker, can perform more thorough static checking than the default SPIN type checker, using type inference to reconstruct types of channels which can only be incompletely specified in Promela. The techniques are described in a SPIN 2005 tool demo paper.
The Etch tool can be downloaded from:
https://www.wendangku.net/doc/1d8353487.html,/etch
TopSpin (optional)
TopSpin is a symmetry reduction package for Spin, developed by Alastair Donaldson. It can be applied to a Promela model and, provided that the model adheres to some restrictions (detailed in a user manual) uses computational group theory to determine a group of component symmetries associated with the model. The tool can modify the model checking algorithm used by Spin to exploit the symmetries during verification, resulting in reduced memory use and in many cases also shorter verification time. The package can be downloaded from: https://www.wendangku.net/doc/1d8353487.html,/topspin
JSpin (optional)
jSpin, developed by Moti Ben-Ari, is an alternative to the iSpin GUI written in Java instead of Tcl/Tk. It is meant as
a teaching aid. See:
http://stwww.weizmann.ac.il/g-cs/benari/jspin/
The jSpin tool can be configured for use on Linux and Macs, and can also run under Windows, with or without cygwin
installed (e.g., with mingw).
The jSpin tool can be downloaded from GoogleCode:
https://www.wendangku.net/doc/1d8353487.html,/p/jspin/
Erigone (optional)
Erigone, also developed by Moti Ben-Ari, is a reimplementation of a subset of Spin, meant for educational use. Erigone is written in Ada 2005 instead of C. See:
http://stwww.weizmann.ac.il/g-cs/benari/erigone/
Erigone can be downloaded from GoogleCode:
https://www.wendangku.net/doc/1d8353487.html,/p/erigone/
SpinJa (optional)
SpinJa is reimplementation of a subset of Spin in Java, developed by Marc de Jonge at Twente University in The Netherlands. A more detailed description of SpinJa was presented at the 2010 Spin Workshop by Marc de Jonge and Theo Ruys. The tool can be downloaded from:
https://www.wendangku.net/doc/1d8353487.html,/p/spinja/
Ltl2Ba (optional)
A faster method to generate very small never claims from LTL
formulae, developed by Denis Oddoux and Paul Gastin is available online in source form:
https://www.wendangku.net/doc/1d8353487.html,/spin/Src/ltl2ba.tar.gz
The latest version can be obtained from the authors website via:
http://www.lsv.ens-cachan.fr/~gastin/ltl2ba/download.php
See also
http://www.lsv.ens-cachan.fr/~gastin/ltl2ba/index.php
The C source code can be linked with Spin, or run as a standalone tool.
For an overview of related conversion tools see: http://spot.lip6.fr/wiki/LtlTranslationAlgorithms
Swarm (optional)
See https://www.wendangku.net/doc/1d8353487.html,/swarm.
常用工具软件期末考试试题及部分答案
精品文档 《 常用工具软件 》课程试卷 一、单选题（2分*10=20分） 1. Winamp 媒体播放器不能支持的音频格式为：（D ） A. MP3 B. MP2 C. XM D. RM 12 2. 超级解霸全屏显示的快捷键为：（A ） A. Ctrl+Home B. Shift+Home C. Ctrl+C D. Shift+C 3.使用SnagIt 进行屏幕捕捉时，如果希望捕捉一个菜单的一部分菜单选项，应该使用以下哪种模式：( B ) A.屏幕模式 B. 区域模式 C. 窗口模式 D. 活动窗口模式 4.在使用防毒软件Norton AntiVirus 时，隔离区中的文件与计算机的其他部分相隔离，它们（ A ） A.无法进行传播或再次感染用户的计算机 B.可以进行传播或再次感染用户的计算机 C.无法进行传播，但能再次感染用户的计算机 D.可以进行传播，但不能再次感染用户的计算机 5.用ACDSee 浏览和修改图像实例时，用户可以对图片进行修改的类型为：（ C ） A.颜色、透明度 B.颜色、形状及文件格式 C.颜色、透明度、形状及文件格式 D.透明度、形状及文件格式 6.SnagIt 提供的捕获对象为：（B ） A.【视频捕获】、【图像捕获】、【音频捕获】、【文字捕获】和【网络捕获】 B.【图像捕获】、【文字捕获】、【视频捕获】、【网络捕获】和【打印捕获】 C.【图像捕获】、【音频捕获】、【网络捕获】、【视频捕获】和【打印捕获】 D.【视频捕获】、【文字捕获】、【音频捕获】、【网络捕获】和【打印捕获】 7.WinRAR 是一个强大的压缩文件管理工具。它提供了对RAR 和ZIP 文件的完整支持，不能解压（ B ）格式文件 A.CAB B.ArP C. LZH D. ACE 8.豪杰超级解霸3000的多功能调节，可对影片的（A ）进行任意调节。 A.色差、亮度、播放速度以及声音的左声、右声、立体声和立体混合声 B.色差、透明度、形状及文件格式 C.亮度、播放速度、形状及文件格式 D.声音的左声、右声、立体声、立体混合声和文件格式 9.RealOne Player 提供了（ C ）种播放模式。 A. 1 B. 2 C. 3 D. 4 10.在以下选项中，网际快车（FlashGet ）不具有的功能为：（ D ） A.断点续传 B.多点连接 C.镜像功能 D.加快网速 三、填空题（2分*20空=20分） 1、软件安装类型可分为三种_____________、________________、___________________。 2、列出三个常用的下载工具软件名称_____________、________________、___________________。 3、列出三个常见的图像格式_____________、________________、___________________。 4、列出三个常用的视频播放软件名称_____________、________________、 得分 评分人 得分 评分人 线 订 装 班级： 姓名： 学号：
教学管理系统软件~使用说明书
伟航教学管理系统软件 V2.0 说明书 1.引言 本软件使用说明书是为了指导伟航教学管理系统软件 V2.0的使用操作，同时为本软件系统的测试提供必要的信息。 本详细设计说明书的读者都包括以下人员： a. 代码编写人员 b. 测试人员 c. 概要设计人员 d. 其它对伟航教学管理系统软件 V2.0感兴趣的人员。 2.软件概述 2.1目标 1、使用方便、安装简单，用户只需要进行本地安装即可方便地使用本软件。 2、伟航教学管理系统软件 V2.0的设计旨在实现管理员、教师以及学生对信息的查询、修改以及更新提供便利性。教学管理系统是一个辅助学校教务人员完成日常工作中，涉及教师管理、课程管理和成绩管理等项目的日常比较繁重的工作。它应用计算机在数据处理和数据整理保存方面的优异性能，帮助工作人员提高工作的效率、减少出错情况。 2.2功能特点 该系统具有以下几个功能特点： （1）本软件系统的开发采用了C/S结构，技术成熟，使得该系统具有高可靠性、较强的拓展性和维护性；
（2）该系统支持并发用户数较多。响应时间仅在2s左右，具有良好的实用性和出众的性价比。 （3）同时本软件在预检结果的准确度方面也具有很高的可信性。开发人员在网络安全、数据传输安全、数据访问安全和数据存储安全等几个方面做了大量努力，使得系统安全性极高； 3.运行环境 3.1硬件环境 服务器端：CPU以Intel的型号为准，可以采用AMD相同档次的对应型号，内存基本配置4G 客户端：CPU为Core i3-2100 3.10GHz（标准配置），内存为4 GB（标准配置），磁盘存储为500 GB（标准配置）。 3.2软件环境 客户端：操作系统为Microsoft Windows 7、Windows 10、Microsoft XP 3.3方案设定 3.3.1 基本Ｅ-R图设计 伟航教学管理系统软件 V2.0使教学管理的计算机化成为高校管理现代化、决策科学化的一个重要环节,是开创教学管理工作新局面的必由之路。本系统的E-R图设计主要包括教师、学生、系部、课程等实体部分，本系统的E-R设计图如图3-1、图3-2、图3-3和图3-4所示。
QXDM基本功能及使用方法
QXDM基本功能及使用方法 QXDM（The QUALCOMM Extensible Diagnostic Monitor）是高通公司（Qualcomm）公司发布的可以对手机终端所发数据进行跟踪有效工具，通过对数据的分析可以诊断信令流程、分析数据包的正确与否等。在测试中有重要作用，正确合理的使用可以为我们测试提供便捷的定位手段。 首先在电脑上安装QPST，路径：\\172.16.100.15\品控平台\测试中心\移动\软件测试\07_测试资源\工具\QXDM工具\QPST下载工具，QPST是一个针对高通芯片开发的传输软软件，所以QXDM也必须使用QPST才能实现手机终端和PC用户图形界面的一个交互的功能。物理连接架构如下： 图1.物理连接 QXDM安装路径：\\172.16.149.121\72-v1189-159_3.14.614 激活时使用的用户名密码： User ID：ShangFeixun01 Password:4855sfcc Admin key:4802 1.手机端与电脑的连接 将手机用USB线连接PC，安装手机驱动（WIN7是自动安装，一般我们PC 上都会有android4.1或其他版本的驱动这点不用在意），之后打开QXDM professional。在菜单栏选项中可以看到Options选项，点击Options选项选择Communications…出现如下界面：
图2Communications 从上图可以看到COM28端口的Phone选项中能读出手机端口，这样我们可以直接在①处直接选择COM28，然后点击OK。 但往往有时候在上面的端口表中不一定会显示出含有手机端口的COM口，这是我们就要借助QPST了，双击下图中的小地球 图3QPST port 之后出现如图4所示的窗口，查看列表看是否有连接手机端的COM口，若无则点击Add new port 图4QPST Configuration
计算机常用工具软件试题1
模块一测试题 一、单选题 1.使用PartitionMagic创建新分区时，默认的文件系统类型是（） Ext2 2、DOS方式下，要将映像文件恢复到分区中，以下操作正确的是（） A、”local”----“disk” -----“to image” B、”local”----“disk” -----“from image” C、”local”----“partition” -----“to partition” D、”local”----“partition” -----“from image” 3、关于windows注册表，下列说法错误的是（） A、注册表只存储了有关计算机的软件信息，硬件配置信息无法保存 B、注册表是一个树状分层的数据库系统 C、有些计算机病毒会恶意改注册表，达到破坏系统和传播病毒的目的 D、用户可以通过注册表来调整软件的运行性能 4.创建分区时，关于簇的设置，以下说法正确的是（） A. 簇的大小与磁盘性能与空间没关系 B.簇的值越大，磁盘性能越好，但空间浪费较大 C. 簇的大小有文件系统格式决定，不能修改 D.只在NTFS文件系统中才有簇的概念，FAT16/FAT32中没有簇 5.关于PartitionMagic的转换分区格式，以下说法正确的是（） A.在Windows98中运行PartitionMagic也能完成NTFS、FAT16、FAT32相互转换 B.分区被转换为主分区后，将自动将系统文件复制到该分区使其具有系统启动功能 C.只能将逻辑转换为主分区，但不能将主分区转换为逻辑分区 D.以上说法均不正确 6. PartitionMagic中，要对当前选中的分区格式化操作，可使用( )菜单中的“格式化”命令。 A. 工具 B. 任务 C.分区 D. 文件 7.关于windows的注册表，下列说法错误的是（） A、有些计算机病毒会恶意更改注册表，达到破环系统的目的 B、注册表是一个树状分层的数据库系统 C、用户可以通过注册表来调整软件的运行性能 D、注册表只存储了有关计算机的软件信息，硬件配置信息无法保存 8.要删除Dreamweaver应用程序以下方法正确的是（） A.直接删除桌面的快捷方式键 B.找到应用程序文件夹将其删除 C.删除开始菜单中的应用程序菜单 D.使用Windows优化大师进行软件智能卸载 9.在计算机中，注册表的数据结构的形状为（） A. 星状B、环形状C、网状D、树状 15.以下软件中，不属于系统优化、测试软件的是（） A、EVEREST UItimate B、Norton Ghost C、HWiNFO D、Windows 优化大师 10.一键GHOST的功能不包括（）。 A、创建内存映像文件 B、为C分区创建备份文件 C、将映像文件还原到另一个硬盘上 D、DOS工具箱功能 11.优化大师不可以使用设置向导优化的是（） A、磁盘缓存 B、系统安全 C、文件系统 D、网络系统 优化大师提供的域名解析优化的作用是( ) A 加快系统运行速度 B 加快上网的浏览速度 C 阻截了上网时弹出的窗口 D 清理历史记录 13.在自动优化时，Windows优化大师将注册表进行了备份，生成的备份文件名是（） A Auto B Auto Opti C Auto Opti .womb D . 优化大师进行注册表清理时，单用户的系统清理工作主要集中于（） A HKEY_CURRENT_USER和HKEY_LOCAL_USERS B. HKEY_CURRENT_USER\HKEY_USERS和HKEY_LOCAL_MACHINE C HKEY_USERS和HKEY_LOCAL_MACHINEE D HKEY_CURRENT_USER和HKEY_LOCAL_MACHINE 15.关于磁盘缓存，以下说法正确的是（） A 磁盘缓存可以加速磁盘的读取速度，因此磁盘缓存越大越好 B 磁盘缓存就是在硬盘上开辟的一块存储区域 C 磁盘缓存的大小要视物理内存的大小和任务的多少来决定 D 以上说法均不正确 16.关于Windows优化大师提供的域名解析优化功能，以下说法正确的是（） A 必须在互联网接通的情况下才能进行域名解析优化 B 默认情况下，Windows优化大师自动对收藏夹中的网址进行域名解析 C 一般情况下，经常变换IP 地址的网站需要域名解析 D 拥有固定IP 地址的网站根本不需要域名解析服务 17.要想取消开机自启动程序的运行，可使用Windows优化大师系统性能优化中的（） A 文件系统优化 B 开机速度优化 C 桌面菜单优化 D 系统安全优化 18.( ) 即以太网上的点对点协议，目前该接入方式广泛应用在ADSL接入方式中。 A ISDN B PPPOE C XDSL D Cable Modem 二.填空题： 1、对于一个FAT16格式的分区容量不超过______。 2、PartitionMagic的最大特点是在___________硬盘数据的情况下，可以进行各种分
Modbus测试软件使用说明
Modbus测试软件使用说明 Modscan和Modsim分别用来模拟主站和从站。 前提条件：已知厂家通讯设备ID、数据起始地址、数据个数、数据功能码。 笔记本插入USB转换头后显示的com口号。 Modscan使用步骤 （假设通讯设备ID为1、数据起始地址为2、数据个数24、数据功能码03、Com口号为3） 硬件连接好之后 1：打开modscan。 2：设置好通讯设备ID、数据起始地址、数据个数、数据功能码。 3：点击链接设置——链接
在下图中设置好com口号、配置（一般为波特率9600、字节8、奇偶校验无、停止位1）、协议选择里面选择标准RTU 4：确定后链接 正常时发送数据（number of polls）和从站接收有效数据（valid slave responses）后个数一直累加显示。 不正常时只发送数据（number of polls）个数一直累加显示。
Modsim使用步骤 （假设通讯设备ID为1、数据起始地址为2、数据个数24、数据功能码03、Com口号为3）硬件连接好之后 1：打开modsim，选择File——New 2：设置好通讯设备ID、数据起始地址、数据个数、数据功能码。
3：点击Connection——connect——port3（数据通讯链接） 3：点击Connection——Connect——Status（数据通讯状态显示） 通讯正常时com3对应的V alid和Invalid值都累加显示。 通讯不正常时com3对应的只invalid值累加显示。 注意事项：1：测试显示的数据起始地址=数据起始地址+1。 2：USB转换接头驱动可由电脑安装驱动精灵检测（插上USB转换接头）自动安装。 3：com口号的查看右击我的电脑——设备管理器——端口 路守山2015年5月4号
办公软件的使用方法
办公软件的使用方法 Company Document number：WTUT-WT88Y-W8BBGB-BWYTT-19998
常用办公软件 —word篇 启动word软件 启动word软件即新建word软件，主要有三种方式： 1、双击桌面上的快捷方式； 2、利用开始菜单启动； 3、在桌面上单击右键，选择新建word文档； Word工作界面介绍 1、大体上有五部分组成：标题栏、菜单栏、常用工具栏、文本编辑区、状态栏。 2、两类菜单： 1）菜单栏上的菜单 菜单栏上的菜单是功能最齐全的菜单，它由9个菜单组成，每一个菜单中都包含有一组命令，打开这些菜单，执行其中的命令就可以完成一些操作了。 2）快捷菜单 在Word中，鼠标右击弹出的菜单，称为快捷菜单。快捷菜单最大的特点就是使用起来很方便的，这里集合了用最为常用的功能。 3、工具栏： 为了加速排版操作，获得高效的工作效率，通常用工具栏中的工具按钮来执行排版的功能，而不使用菜单中的命令，这是
因为使用工具可以快速的执行最常用的命令。如果工具栏子菜单中的命令前面标有钩号，则表示该工具栏已经被打开了，反之就表示该工具栏被关闭。 word基本技巧 1、拖动复制（ctrl键）; 2、移动文本（摁住鼠标左键）; 3、选择文本： 1)选择连续文本： 方法一：按住鼠标左键不松拖动 方法二：光标放开始+shift+光标放末尾 方法三：全部选择 ctrl+A组合键 2)选择间隔文本：利用ctrl功能键 3)选择纵向矩形文本：先按Alt键+鼠标拖动 4、格式刷的应用技巧： 运用流程：选择目标格式文本+格式刷+待操作文本 1)单击格式刷：只能刷一次格式 2)双击格式刷：可连续多细运用格式刷，来调整格式 5、常用快捷键： ●复制、粘贴、剪切： ctrl+c ctrl+v ctrl+x ●撤销、恢复操作： ctrl+z ctrl+Y ●快速保存： ctrl+S
常用工具软件考试题及答案说课讲解
常用工具软件考试题 及答案
一．判断题（每小题1分，共10分） 3. 压缩文件管理工具WinRAR只能压缩文件，不能对文件进行解压。（错） 4. Internet上所有电子邮件用户的E-mail地址都采用同样的格式：用户名@主机名。（对） 5. Adobe Acrobat Reader可以解压缩文件。（错） 6. ACDSee是目前最流行的数字图像处理软件，它能广泛应用于图片的获取、管理、浏览、优化，甚至和他人的分享。（对） 10. 系统长时间使用之后，会留下一堆堆垃圾文件，使系统变得相当臃肿，运行速度大为下降，但是系统不会频繁出错甚至死机。（对） 二．选择题（每小题2分，共40分） 1、下列不属于媒体播放工具的是（） A、暴风影音 B、千千静听 C、Realone Player D、WinRAR 2、以下几种方法中（）不能正常退出工具软件。 A、执行【文件】︱【关闭】命令 B、双击标题栏左侧的系统标 C、单击标题栏右侧的关闭按钮 D、双击标题栏 3、CuteFTP具有网际快车不具备的功能是：（） A、视频播放 B、下载文件 C、断点续传 D、上传文件 4、WinRAR不可以解压下列哪些格式的文件（） A、RAR B、ZIP C、CAB D、RSB 5、Adobe Acrobat ReadeR可以阅读的文件格式（） A、doc B、pdf C、dbf D、txt 6、ACDSee不能对图片进行下列哪种操作（） A、浏览和编辑图像 B、图片格式转换 C、抓取图片 D、设置墙纸和幻灯片放映 7、Windows优化大师提供的文件系统优化功能包括（） ①优化磁盘缓存②优化桌面菜单③优化文件系统。 A、①② B、②③ C、①②③ D、①③ 8、关于Symantec Ghost软件,下列说法中错误的是：（） A、可以创建硬盘镜像备份文件 B、备份恢复到原硬盘上 C、不支持UNIX系统下的硬盘备份 D、支持FAT16/32、NTFS、OS/2等多种分区的硬盘备份 10、分区魔术师PartitionMagic不具有的功能是( )。 A、创建系统备份 B、创建新分区 C、调整分区大小 D、合并分区 11、下列哪一个软件属于光盘刻录软件（ A ） A、Nero-Buring Room B、Virtual CD C、DAEMON Tools D、Iparmor 15、用ACDSee浏览和修改图像实例时，用户可以对图片进行修改的类型为（） A、颜色、透明度 B、颜色、形状及文件格式 C、颜色、透明度、形状及文件格式 D、透明度、形状及文件格式 17、不属于计算机病毒的特征是：（） A、破坏性 B、潜伏性 C、隐蔽性 D、预知性 20、关于Windows优化大师说法不正确的是：（ C ） A、可检测硬件信息 B、可备份系统驱动 C、可制作引导光盘镜像文件 D、可清理系统垃圾 三．填空题（每小题2分，共20分） 仅供学习与交流，如有侵权请联系网站删除谢谢2
AMCap 摄像头测试软件使用说明
AMCap 摄像头测试软件使用说明 一、预览图像： 1、解压文件AMCap 全功能珍藏版.ini与AMCap 全功能珍藏版.exe，这两个文件一定要放在同一个文件夹目录下（一定要解压出来才能打开软件，否则打开会出现图像不能预览的错误）。 2、双击AMCap打开摄像头； 3、点击设备选择好视频设备（上）和麦克风设备（下）如下图红色框框所示： 4、点击“选项”选择“预览”打钩，如下图： 5、 点击视频捕捉接口，然后点击输出大小，选择1920*1080（根据需要调节分辨率，分辨率大小取决于录像文件大小），压缩格式改成MJPG，然后点击确定。 6、现在就可以旋转镜头来调清晰度了，调成广角来测试，看看四周有没有暗角。一定要多测试几次来确定有没有暗角。
二、录像： 1、点击文件设置好录像文件路径—设置好录像文件名称—弹出的录像大小直接按确定不需要去填数据： 2、点击“捕捉”选项选择好红框所示的“捕捉音频”打钩，然后点击“开始捕捉”就开始录像了，需要停止录像就点击“停止捕捉”录像完成后去上一步设置的文件路径里面查找您的录像文件，需要录另一个文件请在路径名称里面改一下文件名就可以录制第二个录像：
三、拍照： 1、选择“捕捉”选项里面的“拍照”选项，钩选“启用”钩钩，如下图： 2、然后点击文件夹设置好拍照存储路径，如下图：
3、点击“快照”或者按快捷键（Ctrl+L键)就可以拍照了（拍照文件请到设置好的拍照文件路径里面寻找，照片大小可以通过上面步骤调节分辨率大小来调节，分辨率越大照片越大，分辨率越小照片越小），拍照如下图操作： 注：此软件只能操作预览和简单录像拍照使用，录像格式为A VI， 拍照格式BMP、JPG和PNG格式，（录像拍照的文件大小与分辨率大小有直接关系，分辨率越大文件越大，分辨率越小文件越小，设置分辨率请参照一的第5项）如果需要专业格式的录像请您自行查找别的视频软件，我们的摄像头支持所有的视频软件。
字处理软件常用使用技巧和习题
字处理软件常用使用技巧和习题 1.字处理软件（WPS 、Word）能够处理：文字、图片、表格等信息 （注意：利用字处理软件加工信息，所有操作都要先选择被操作对象） 例1.要制作一个图文并茂的电子报刊，以下软件中哪些是比较合适的？（）A．WORD、WPS B．WORD、写字板 C．WORD 记事本D．写字板、记事本 2.在字处理软件中，键盘上主要按钮的作用：
例2.在字处理软件中，键盘上
DD-B&K模态测试用户手册
7753型模态测试顾问软件的主要功能是以几何模型方式引导用户进行模态试验并管理测试数据.在试验过程中对连击、过载、激励不充分等错误以语音等方式提示，减少测量中的错误。 本文的目的在于帮助用户快速掌握使用7753软件进行模态测试的过程。测量前建议用户在Windows控制面板中的区域设置中把默认语言改为英语,，并关闭防病毒程序。 模态测试的主要过程包括： 支撑被测物 选择力锤和激励方案 在被测物上布置加速度计(对电荷型加速度计还需要连接电荷放大器) 确定通道的输入量程 对力和响应信号分别加窗(加窗的原因详见参考文献1) 确定分析带宽，平均次数 选择要测量和观察的函数 导出测量数据 目录 1.选择试验布点和激励、响应方式 (2) 1.1结构如何安装 (2) 1.2 锤击法使用的力锤 (2) 1.3 确定激励方案 (3) 2. 使用 PULSE 7753 模态测试顾问软件测量结构频响 (4) 2.1在Project Info中选择参考信号 (4) 2.2在Hardware Setup中对通道选择正确的传感器 (4) 2.3在Geometry Task中可以进行测量结构的图形创建,并添加测量节点 (4) 2.4在Measurement Point Task中向测量点添加传感器 (5) 2.5在 Analyzer Setup Task设置分析属性 (5) 2.6在 Hammer Setup Task 设置激励信号量程、触发电平、时域窗 (5) 2.7在Response Setup Task设置响应信号量程、时域窗 (6) 2.8 在Measurement Task检查并保存测量结果 (6) 3. 测量结果导出 (7)
常用工具软件期末考试试题及部分答案汇编
学习-----好资料 《 常用工具软件 》课程试卷 一、单选题（2分*10=20分） 1. Winamp 媒体播放器不能支持的音频格式为：（D ） A. MP3 B. MP2 C. XM D. RM 12 2. 超级解霸全屏显示的快捷键为：（A ） A. Ctrl+Home B. Shift+Home C. Ctrl+C D. Shift+C 3.使用SnagIt 进行屏幕捕捉时，如果希望捕捉一个菜单的一部分菜单选项，应该使用以下哪种模式：( B ) A.屏幕模式 B. 区域模式 C. 窗口模式 D. 活动窗口模式 4.在使用防毒软件Norton AntiVirus 时，隔离区中的文件与计算机的其他部分相隔离，它们（ A ） A.无法进行传播或再次感染用户的计算机 B.可以进行传播或再次感染用户的计算机 C.无法进行传播，但能再次感染用户的计算机 D.可以进行传播，但不能再次感染用户的计算机 5.用ACDSee 浏览和修改图像实例时，用户可以对图片进行修改的类型为：（ C ） A.颜色、透明度 B.颜色、形状及文件格式 C.颜色、透明度、形状及文件格式 D.透明度、形状及文件格式 6.SnagIt 提供的捕获对象为：（B ） A.【视频捕获】、【图像捕获】、【音频捕获】、【文字捕获】和【网络捕获】 B.【图像捕获】、【文字捕获】、【视频捕获】、【网络捕获】和【打印捕获】 C.【图像捕获】、【音频捕获】、【网络捕获】、【视频捕获】和【打印捕获】 D.【视频捕获】、【文字捕获】、【音频捕获】、【网络捕获】和【打印捕获】 7.WinRAR 是一个强大的压缩文件管理工具。它提供了对RAR 和ZIP 文件的完整支持，不能解压（ B ）格式文件 A.CAB B.ArP C. LZH D. ACE 8.豪杰超级解霸3000的多功能调节，可对影片的（A ）进行任意调节。 A.色差、亮度、播放速度以及声音的左声、右声、立体声和立体混合声 B.色差、透明度、形状及文件格式 C.亮度、播放速度、形状及文件格式 D.声音的左声、右声、立体声、立体混合声和文件格式 9.RealOne Player 提供了（ C ）种播放模式。 A. 1 B. 2 C. 3 D. 4 10.在以下选项中，网际快车（FlashGet ）不具有的功能为：（ D ） A.断点续传 B.多点连接 C.镜像功能 D.加快网速 三、填空题（2分*20空=20分） 1、软件安装类型可分为三种_____________、________________、___________________。 2、列出三个常用的下载工具软件名称_____________、________________、___________________。 3、列出三个常见的图像格式_____________、________________、___________________。 4、列出三个常用的视频播放软件名称_____________、________________、 得分 评分人 得分 评分人 线 订 装 班级： 姓名： 学号：
硬件测试软件使用说明
JD系列计算机联锁系统 硬件测试软件使用说明 一、JD1A型计算机联锁系统硬件测试说明 1、DT7硬件调试程序说明 主菜单如下: Function Menu 0 ----------------- Auto Select Board 1 ----------------- Auto Send Pulse 2 ----------------- Read Input 3 ----------------- Auto Test 4 ----------------- Multi-Func Board Test 5 ----------------- Output Test by Bit Q ----------------- Exit Please input function select: 1.1功能选择“0” 给出以下提示： Please input box number !(Q=return) 输入所选箱号（0～f）后，按顺序对该箱内的所有板的高低位进行板选，通过看对应电路板对应高低位指示灯是否点亮判断译码是否正确。 1.2功能选择“1” 给出以下提示： Please input box number !(Q=return) 输入所选箱号（0～f）后，对该箱内的所有输出板的高低位轮流都分别送四次9Hz脉冲，分别为一个、两个、三个和四个脉冲，每送一串脉冲之间延时一定时间。同时观察对应驱动板的的指示灯是否显示正确。 1.3功能选择“2” -----单板测试 按顺序给出以下提示:
1. Please input box number !(Q=return) 2. Please input read type!( 0=Auto/1=Direct/2=ReadBack/Q=Return) 3. Please input card number ! 4. Please input address low or high !( 1=Low/2=High/3=Terminal/Q=Return) 其中1、3的有效输入为0,1,2,3,4,5,6,7,8,9,a,b,c,d,e,f中任一数字，分别表示所选中的第几箱及第几块板；2的有效输入为0,1,2,3，分别表示自动读入、直接读输入、内环路读入及返回功能选择，其中自动读入将根据内环路测试读入的值做比较［测试范围是由DT4.H文件中宏BOXSTART、BOARDSTART、BOXEND、BOARDEND分别定义开始箱号、开始板号、截止箱号、截止板号］，若有错即存入一个错误日志文件中（err.dat）［DT4.C源文件中WRITE_ERR宏需打开才会生成日志文件并写入］，从中可以去仔细分析为什么出错。4的有效输入为1,2,3，分别表示选低位、高位及不选。当3、4为无效的其他输入，则出现1的提示，按’Q’返回主菜单. 通过查看电路板上的指示灯看是否正确选中莫一箱的莫一块板的低位或高位，并通过屏幕打印的状态判断外界输入是否正确。 1.4功能选择“3”-----单箱自动测试 按顺序给出以下提示: 1．Please input box number !(Q=return) 2．Please input the End Borad number !(Q=return) 3．Please input test type!(0=Input/1=Output/Q=Return) 其中1、2的有效输入为0,1,2,3,4,5,6,7,8,9,a,b,c,d,e,f中任一数字，分别表示所选中的第几箱及从第0块板测到第几块板；3的有效输入为0,1,’Q’，分别表示输入测试、输出测试及返回功能选择，输入测试时相应的各板采集位会打印在屏幕上，输出测试则会将输出全f,并看回读是否正确。并可通过查看输入板与输出板上的指示灯是否与屏幕显示一致判断各电路板工作是否正常。测试如有错，错误代码会显示在屏幕上，并存入一个错误日志文件中（err.dat）［DT4.C源文件中WRITE_ERR宏需打开才会生成日志文件并写入］，从中可以看出是什么类型的错误。刚运行该程序，执行该功能如无错误代码显示时，说明所测试的箱体内所有电路板基本都工作正常。 1.5功能选择“4”------多功能板测试 按顺序给出以下提示: 1．Please input box number !(Q=return) 2．Please input Multi-Fuction Borad Pos!(0~f=Board_Pos/Q=Return) 其中1、2的有效输入为0,1,2,3,4,5,6,7,8,9,a,b,c,d,e,f中任一数字，1输入表示多功能板所在箱，2输入表示多功能板在该箱的位置。当多功能板后面正确连线后，能使机柜上的继电器吸起，并有动态12V产生。有错误时，屏幕上会有显示。 1.6功能选择“5”------输出单个通道位测试 按顺序给出以下提示: 1．Please input box number !(Q=return) 2. Please input the Borad Pos in the box!(0~f=Board_Pos/Q=Return) 3. Please input the High or Low Bit Pos in the Board!(1=Low/2=High/Q=Return) 4. Please input the Bit Pos in the High or Low Word!(0~f=Board_Pos/Q=Return) 其中：1表示输出机箱；2表示输出板在该箱的位置；3表示该输出板高16位或低16位输出；4表示高16位或低16位的哪一位要输出。 1、2的有效输入为0,1,2,3,4,5,6,7,8,9,a,b,c,d,e,f中任一数字。
ONVIF Device Manager测试工具使用方法
ONVIF 测试工具使用方法 ONVIF Device Manage工具主要用来验证设备是否支持onvif，实时预览、PTZ控制及远程配置IPC参数等功能。 一、ONVIF Device Manage安装 1.PC安装环境要求：装有Microsoft .Net Framework 4.0版本 2.安装源文件请见：ONVIF Device Manage.rar 注：Microsoft .Net Framework 4.0安装不成功的解决方式，见备注。 二、ONVIF Device Manage的使用 1.运行工具 双击ONVIF Device Manage快捷方式，运行工具。当前局域网内，支持onvif协议的IPC可以自动显示出来，见下图。Device List列表即检索到的IPC列表 2.基本功能介绍
1>登录 此时输入的用户名和密码为设备自身的用户名和密码，有的厂家设备不需要。输入正确的用户名和密码，即可实时预览IPC及参数配置。 2>实时预览 在设备列表选择一个IPC（单击即可），点击Live video即可预览该IPC画面，main stream 是主码流预览，sub stream是子码流预览 在Device List区域的文本框输入IP地址，即可过滤其它IPC，留下符合条件的设备.
4>手动增加 点击Add按钮，输入url，例如http://192.168.1.123/onvif/device_service，点击Apply，即可手动增加IPC 5>rtsp路径
实时预览画面的下方，会显示rtsp路径。如下： rtsp://192.168.1.166:5504/channel=0;stream=0;user=system;pass=system 192.168.1.166为IPC的地址 5504为IPC的端口 channel为通道 stream为码流，0默认是主码流，1为子码流 user和pass：用户名和密码 6>视频编码配置 选择子码流预览，可以配置子码流的编码参数 7>码流选择 点击Profiles，进入码流切换界面
常用工具软件考试题及答案
一．判断题（每小题1分，共10分） 3. 压缩文件管理工具WinRAR只能压缩文件，不能对文件进行解压。（错） 4. Internet上所有电子邮件用户的E-mail地址都采用同样的格式：用户名@主机名。（对） 5. Adobe Acrobat Reader可以解压缩文件。（错） 6. ACDSee是目前最流行的数字图像处理软件，它能广泛应用于图片的获取、管理、浏览、优化，甚至和他人的分享。（对） 10. 系统长时间使用之后，会留下一堆堆垃圾文件，使系统变得相当臃肿，运行速度大为下降，但是系统不会频繁出错甚至死机。（对） 二．选择题（每小题2分，共40分） 1、下列不属于媒体播放工具的是（） A、暴风影音 B、千千静听 C、Realone Player D、WinRAR 2、以下几种方法中（）不能正常退出工具软件。 A、执行【文件】︱【关闭】命令 B、双击标题栏左侧的系统标 C、单击标题栏右侧的关闭按钮 D、双击标题栏 3、CuteFTP具有网际快车不具备的功能是：（） A、视频播放 B、下载文件 C、断点续传 D、上传文件 4、WinRAR不可以解压下列哪些格式的文件（） A、RAR B、ZIP C、CAB D、RSB 5、Adobe Acrobat ReadeR可以阅读的文件格式（） A、doc B、pdf C、dbf D、txt 6、ACDSee不能对图片进行下列哪种操作（） A、浏览和编辑图像 B、图片格式转换 C、抓取图片 D、设置墙纸和幻灯片放映 7、Windows优化大师提供的文件系统优化功能包括（） ①优化磁盘缓存②优化桌面菜单③优化文件系统。 A、①② B、②③ C、①②③ D、①③ 8、关于Symantec Ghost软件,下列说法中错误的是：（） A、可以创建硬盘镜像备份文件 B、备份恢复到原硬盘上 C、不支持UNIX系统下的硬盘备份 D、支持FAT16/32、NTFS、OS/2等多种分区的硬盘备份 10、分区魔术师PartitionMagic不具有的功能是( )。 A、创建系统备份 B、创建新分区 C、调整分区大小 D、合并分区 11、下列哪一个软件属于光盘刻录软件（ A ） A、Nero-Buring Room B、Virtual CD C、DAEMON Tools D、Iparmor 15、用ACDSee浏览和修改图像实例时，用户可以对图片进行修改的类型为（） A、颜色、透明度 B、颜色、形状及文件格式 C、颜色、透明度、形状及文件格式 D、透明度、形状及文件格式 17、不属于计算机病毒的特征是：（） A、破坏性 B、潜伏性 C、隐蔽性 D、预知性 20、关于Windows优化大师说法不正确的是：（ C ） A、可检测硬件信息 B、可备份系统驱动 C、可制作引导光盘镜像文件 D、可清理系统垃圾 三．填空题（每小题2分，共20分） 1、根据工具软件使用的领域不同，但是一般都包含有标题栏、菜单栏、( )、状态栏、工作区。 2、在进行实验操作时，为了不破坏现有的操作系统以及相关设置，我们可以使用（）软件。 3、在使用虚拟机的时候，按键盘右边的（）可以在虚拟机和宿主机之间切换。 4、CuteFTP是一个基于（）客户端软件。 5、虚拟光驱是一种模拟（）工作的工具软件，它能在操作系统中模拟出新的光盘驱动器，是对物理光驱的一种仿真。 6、利用()可以备份windows操作系统。 7、常见的压缩格式ZIP格式、（）、CBA格式、ACE格式。 8、利用()软件可以上传网站文件。 9、Deamon Tools是一个优秀的( )工具。 10、虚拟光驱工具可以将光盘文件复制到硬盘上并虚拟成( )。 四、简答题（每小题10分、共30分）。 1、Ghost目前可以作哪些备份操作？ 1，可以进行分区间的备份 2，可以进行硬盘对硬盘间的备份 3，可以通过网络进行多机备份 3、列举出一些常用的磁盘操作工具及其主要功能（最少列出四个）？ 1、分区魔术师，对硬盘进行分区操作 2、Ghost克隆软件,对系统备份及还原操作 3、光盘虚拟工具，对光盘文件进行虚拟操作 4、光盘刻录工具，对数据文件进行刻录
压力测试软件用户使用说明书
压力测试软件用户使用说明书 系统运行环境： 本软件适用于运行在Windows 98 操作系统下，且系统的分辨率必须设为1024 * 768 模式。（在窗口上单击鼠标右键，选择“属性”，再选择“设置”，把屏幕区域设为1024 * 768 即可）。 系统介绍： 一、 双击“压力测试.exe ”文件后，就进入本软件的友好用户界面，单击“确定”按钮后，弹出口令输入对话框，在您正确输入密码（默认初始密码为111）后就进入到本软件的使用界面中。 二、 在使用界面中，共有六个菜单选项，分别为“压力试验”、“数据查询”、“数据上传”、“打印功能”、“检验报告”和“系统帮助”。在打开新的功能选项时，请先退出正在使用的功能选项。 1、压力试验 在本功能菜单选项中，有“进行试验”和“退出试验”两个功能选项，单击“进行试验”选项，您会在窗口的右侧弹出一块名为“下位机通信功能模块”的操作控制对话框，单击“退出试验”选项，则退出压力试验。 1.1下位机通信功能模块 在下位机通信功能模块上，共有七个功能按钮，分别为“初始化连接”、“实时数据”、“实时报表”、“数据传输”、“上传数据块”、“全局报警”和“退出”。
1．1．1、初始化连接 单击初始化连接按钮后，软件自动发送信息给下位机，从而建立软件与下位机之间数据连接的通道，为下面功能的实现提供了基础。 1．1．2、实时数据 在完成了初始化连接之后，单击实时数据按钮，您会看到整个窗口界面进入了实时数据操作界面，在下位机的电机启动之后，您将会看到界面上描绘出了当前所作试验的实时数据的曲线，坐标的横轴标明了时间（单位：秒），坐标的纵轴标明了压力值（单位：千牛顿）。在界面的上部，您会看到当前软件所接收到的一系列数值，有“当前力值”、“当前时间”、“当前速率”、“当前截面积”、“当前MPa（兆帕）值”和“当前龄期”。 当接收到峰值后，曲线将停留在接收到峰值的刹那间，并且在操控面板的下方将会出现达到峰值时的数值和MPa的数值，从而完成一次试验。这时可以打印出实时数据曲线图（打印规格为：在打印设置中设定为 A4纸、横向）。 当接收到下位机传来的重启命令后，方可进行下一次试验。 1．1．3、实时报表 在接收到峰值后，单击实时报表按钮，这时在报表中统计罗列出了本次试验中每一个时间间隔上的压力值。可以打印出该报表（打印规格为：在打印设置中设定为 A4纸、纵向），并且可以在打印预览中查看该报表。 1．1．4、数据传输 在按下本按钮后，下位机就会将当前下位机中所存储的数据的长度传送给本软件。在接收到下位机传来的数据长度后，您就可以在传数据地址中设定所要传输的数据在下位机中的起始地址到终止地址的数据，本软件考虑到各种综合因素，设定一次传输的最大限度为50条数据。如果您所要的数据的总长超过50条，则可以分批进行传输（例如：您想要100条数据，第一次设定传输1~50条，第二次设定传输51~100条即可）。