论文部分内容阅读
[!--newstext--]
[!--title--]
【摘 要】
：
该文针对协议数据流的测试进行了研究,选择了构造类别代数来对协议的数据流部分进行形式化描述,提出了相应的测试方法.在此基础上,将其与有限状态机模型结合起来,对协议的控
【机 构】
：
中国科学技术大学
【出 处】
：
中国科学技术大学
【发表日期】
：
2004年期
其他文献
地理信息系统(GIS)正在逐渐深入到许多的领域中，而计算机网络的迅速普及又加快了传统GIS向网络GIS转变的步伐，GIS与网络技术的结合是当前GIS研究领域的重要方向，构造分布式地理
当前,计算机硬件系统正朝着并行化与异构化的趋势发展。继多核微处理器普及之后,图形处理器GPU、数字信号处理器DSP、FPGA等多种硬件加速设备被越来越多地应用到计算机系统。
信息技术的不断发展,尤其是大数据时代的到来,需要计算机提供更加强大的数据处理能力。集成电路工艺的进步,使片上处理器的多核架构成为主流,但设计验证问题却日趋严峻。统计
本文针对化工工业中所采集的数据特点,对数据挖掘技术在化工产品配方优化设计中的应用进行了研究。通过研究,对数据预处理阶段的空缺值填充、噪声数据的识别和修正、主要成分
Internet 近年来以前所未有的普及速度迅速在全球获得发展,逐渐成为一种面向话音、视频、数据和多媒体应用等多种业务的综合媒体。然而,传统IP 网络由于其尽力而为(Best effo
本文主要对智能用户建模(UM,User Modeling)这一个性化技术中的核心问题进行研究.目的在于构建合理、有效的数学模型来刻画E-Learning中复杂的用户行为,对学生的学习兴趣和状
客户关系管理CRM作为一个计算机技术与先进管理理念相结合的产物,近年来得到了快速发展,并成为研究热点之一.目前相关的研究工作主要集中在构建客户行为模型和研究数据挖掘算
当前网络管理已经成为保证网络正常运行的重要应用。但是在网络管理的学习实验中,一般通过搭建网络来提供实验环境,但是这样的实验环境不仅成本高而且难于管理。因此本文将构
近年来,为了适应日趋激烈的竞争环境,国内外的企业都非常流行业务流程重组(BPR),重新设计其组织管理模式。BPR强调的是流程的集成和最优运行。同时,作为实现业务流程集成的有
当前的高通量全基因组DNA序列拼接领域面临很多困难和挑战，主要包括拼接过程中内存开销大、拼接时间长以及拼接结果的准确度不高等问题。随着第三代测序技术的出现，高通量全基