论文部分内容阅读
[!--newstext--]
[!--title--]
【摘 要】
：
形式化软件规约技术便于软件系统原型、分析、验证与最终的实现，是保证软件质量和提高软件生产率非常有用和重要的手段。但是形式化规约的获取是一项相当困难的任务，因此通过自
【机 构】
：
中国科学院大学
【出 处】
：
中国科学院研究生院 中国科学院大学
【发表日期】
：
2010年期
其他文献
视频监控系统作为一种安防的有效手段,正越来越受到人们的重视。随着监控需求的增加和技术上的发展,视频监控系统已经不再是单纯的监视画面的传递储存设备,而是向着智能化的
基于应用行为分析的优化方法是计算机系统性能优化研究的重要内容。存储系统对访问模式的敏感性，使得基于存储模式进行性能优化的方法尤为重要。但随着存储规模的扩大，高密度IO
随着计算机网络和多媒体技术的发展,越来越多的图像信息出现在人们的生活中,那么如何在海量图像数据中找出所需要的图像成为研究热点。基于内容的图像检索技术应运而生,它不
随着Internet开始成为软件开发与运行的新环境，服务计算应运而生。在服务计算的应用模式下，任何资源(包括硬件和软件等)都可以封装为Web服务供外部使用。如何灵活、高效、可靠
本体是概念模型的明确的规范说明,从本质上讲,就是某一领域内的概念以及这些概念间关系的集合。论文将本体技术应用于Web文本挖掘过程之中,其目的是借助于本体的语义描述来刻
图像配准就是找出一个合适的空间变换,对取自不同时间、不同视角或不同传感器的同一场景的两幅图像或者多幅图像匹配的过程。它是图像处理中的一个关键预处理步骤。图像配准
数控系统通信平台是数控系统功能模块间和现场设备间信息互操作的基础。开放式、网络化数控技术的发展以及高档数控装置不断提升的技术指标,对数控系统通信平台,尤其是功能模
当今时代是一个信息爆炸的时代,人们对信息的需求带动了互联网的繁荣,使得网络的信息量持续膨胀,各种信息如潮水般的向人们涌来。同时在这个知识经济的时代,人们也越来越重视
本世纪90年代中期,基于有限样本的机器学习理论研究得到了长足的发展,形成了一套完善的理论体系——统计学习理论(Statistics Learning Theory,SLT)。支持向量机(Support Vec
算法作为计算机软件的核心,其可靠性和开发效率对于软件的可信性及应用发展具有重要意义。算法自动化是提高算法开发效率、保证算法可靠性的重要途径之一。置换和查找是计算