论文部分内容阅读
[!--newstext--]
[!--title--]
【摘 要】
：
协议的测试是协议工程的一个重要组成环节。随着信息化时代的到来，人们对信息的需求越来越高，促生了许多新的协议规范。如何采用新的形式化方法描述和验证协议及对新协议选择何
【机 构】
：
西安电子科技大学
【出 处】
：
西安电子科技大学
【发表日期】
：
2008年期
其他文献
信息通信技术的发展和互联网的广泛应用，不仅改变了人类的教育方式和学习方式，也改变了当前的计算环境。互联网的广泛应用使得计算环境发展到一个全新的阶段一基于标准的、开放
Internet与GIS结合而产生的网络地理信息系统(WebGIS)是GIS软件发展的必然趋势。网络地理信息系统的产生和发展打破了传统GIS数据的封闭体系，为空间数据共享与交换提供了开放
随着自动抄表系统在居民住宅小区的大量应用,作为提高抄表员工作效率的移动服务终端——手持抄表设备也得到了长足发展。由于智能手持设备本身具有便携性、移动性、智能化等
随着计算机网络技术和多媒体技术的发展,在网络中传输数字信息变得十分普遍。数字图像由于具有信息量大,冗余度高等特点而被广泛用于传输信息。但是数字图像在网络传输过程中
随着互联网中网页数量的增加、信息的爆炸,如何从海量数据中找到对用户最有价值的信息,成为了互联网中一个热门问题。在这样的背景下,搜索引擎技术应运而生,成为用户在互联网
本文系统地研究并实现了IP网络主要服务质量(QoS)参数的测量,从而可以有效地获取目标网络的性能指标和服务质量参数,进一步提高其服务质量。本文首先阐述了IP网络QoS体系结构
在当今高性能计算领域中集群以其成本低，通用化占着重要的地位。然而随着对于高性能计算需求的提升，集群系统的CPU个数从几十个逐渐发展到了成千上万个，集群系统中的高速互联网
自然现象指的是自然界中的一些现象,比如火焰,河流,水面泛起的泡沫,雨雪下降过程,地面的变形和细节变化等。自然现象的建模和渲染是近十几年来计算机图形学的一个重要研究领
随着移动终端和无线网络的不断普及和迅速发展,移动学习逐渐成为数字学习研究和应用的最新发展趋势和研究热点之一。然而,已有的研究工作大多停留在基于短消息或者连接浏览的
在现实生活中,数字签名获得了广泛的研究和发展,并成为信息安全体系的重要基础。随着计算机网络、信息技术的飞速发展,人们的日常生活越来越离不开网上电子商务和电子政务,如