论文部分内容阅读
基于监控器优化的运行时验证技术研究
【机 构】
：
桂林电子科技大学
【出 处】
：
桂林电子科技大学
【发表日期】
：
2018年期
其他文献
近年来，P2P技术被广泛地应用于文件共享领域：因特网上有大量用户使用P2P软件共享音乐文件、视频文件等。P2P文件共享系统的流行，因为P2P计算模式具有非常多的优点，包括：非常好的可
随着互联网对生活的影响不断增加，人们面临着越来越汹涌的网络数据洪流的冲击，这股数据洪流中占比最大的就是文本数据。如何处理海量文本数据，是人们亟待解决的一个问题。在文本
本课题是全国教育科学规划教育考试科学研究专设课题“适应自考生自主学习的智能化网络学习环境建设研究”的一个组成部分。随着计算机技术在教育教学领域中越来越广泛的应用
Internet是一个巨大、分布广泛、全球性的信息服务中心,它提供了各种各样的信息服务。与此同时,如何从Internet所提供的浩如烟海的信息中获取所需信息或是从中提取有用知识便
空间关系表示和推理是空间推理研究的一项核心内容。空间推理在地理信息系统(GIS)及其相关领域有着广阔的应用前景，是GIS基础理论研究及相关学科的一个重要前沿课题。对空间关
ICT是工业计算机断层图像技术的简称，它能在对检测物体无损伤条件下，以二维断层图像的形式，清晰、准确、直观地展示被检测物体内部的结构、组成、材质及缺损状况，被誉为当今最佳
软件重用可以降低软件开发成本,提高软件质量,加快软件开发速度。随着互联网技术和应用的迅速发展,Web服务技术具有良好的互操作性,因此越来越多的开发者进行Web服务组合以提
随着技术的进步，通信系统得到了极大的发展。高速网络的应用和普及使一些性能要求高的应用成为可能。这些应用对网络的吞吐量、时延、时延抖动和丢包率等方面的网络性能有严格
蜜罐是近几年兴起的一种主动安全技术。它是一种安全资源，它的价值体现在被扫描、攻击和攻陷。通过部署一个蜜罐系统或者蜜网，来引诱入侵者，记录入侵者的活动，可以了解入侵者的入