论文部分内容阅读
[!--newstext--]
[!--title--]
【摘 要】
：
连续时间马尔科夫链(CTMC)在网络性能分析、模型检测和系统生物学等领域受到了广泛的关注。本文关注以连续时间马尔科夫链为模型、以条件连续随机逻辑(CCSL)为性质描述语言的
【机 构】
：
中国科学院大学
【出 处】
：
中国科学院大学
【发表日期】
：
2013年期
其他文献
随着智慧城市和平安城市的建设，以及摄像头成本的降低，越来越多的摄像头被部署到城市的大街小巷，这导致视频数据的爆炸式增长，从而对视频分析处理技术的需求也越来越急迫。在本文
随着互联网技术的飞速发展、智能手机等移动设备的广泛普及与社交网络的不断壮大，海量的图像数据在网络中传播并逐渐成为人们生活中不可或缺的主要信息媒介。不同于文字信息可
随着IT技术的发展，应用模式不断演变，它从最开始的本地应用到远程应用，再到虚拟应用和虚拟桌面，追求着更加灵活轻量的软件形态和更加方便快捷的软件交付途径。云计算环境下的新应
角膜水分监测对于许多角膜疾病的早期诊断具有重要的临床意义。目前角膜水分检测手段精确度极低且为单点检测。太赫兹波对水具有高灵敏性，因而太赫兹技术非常适用于角膜组织的
在云计算时代，网络文件存储面临海量数据的考验，面对此情况，Google和Amazon提出各自的解决方案。本文研究分析了Google海量存储系统的开源实现Hadoop分布式文件系统以及Amazon的
视频数据在大数据占据着主导地位，人类自身的活动又是视频数据中的高频内容，因此如何有效利用视觉信息对人的行为活动进行自动化地分析与识别成为了计算机视觉领域的关键问题。
互联网应用中使用视频资源越来越多，如何设计高效地存储和检索这些资源的方法和系统变得日益重要。由于采用单机存储模式已经无法满足容量和查询性能的要求，因此分布式存储的方
随着嵌入式技术和信息网络技术的快速发展，用于数据采集和工业控制的嵌入式系统与网络技术相结合成为大势所趋。传统的嵌入式系统多采用单片机作主控制器，这种系统在增加网络功
Android操作系统广泛应用于手机等移动设备，针对Android的安全研究也成为了业界的研究热点。Android系统尽管提供了一系列安全机制，但并未根据移动设备的空间移动特性加入有针
该文提出了一种三层的客户/服务器体系结构--分布Web数据库体系结构DWDA.该结构 是一个开放的、具有联机事务处理功能的体系结构.它的前端即用户界面层采用B/S结构, 并用用AS