论文部分内容阅读
[!--newstext--]
[!--title--]
【摘 要】
：
模型检测是一种自动化程度非常高的有限状态系统验证技术，目前已经在计算机硬件、通信与安全协议、软件可靠性的验证方面获得了较大的成功。传统模型检测技术关注的是系统行为
【机 构】
：
江苏大学
【出 处】
：
江苏大学
【发表日期】
：
2013年期
其他文献
低压电力线载波通信(Low-voltage Power Line Communication,LVPLC)能够利用普及的电力线网络,在传输电力的同时,可以承载数据、语音和视频等信息,大量应用于远程路灯监控、
REST即Representational State Transfer(表述性状态转移)是一种真正体现Web自身的软件架构风格,是理解Web自身的关键所在,REST架构本身体现出的设计思想也正是HTTP1.1协议的
智能电网的智能性是建立在海量的，关键的，敏感的电网运行信息上的，这就需要强大的数据处理、分析和存储能力。这些海量数据的处理和存储对传统的服务器和关系型数据库来说是一个
在节能减排，建设智慧、绿色城市的大背景下，加大燃气，特别是天然气的在能源消费结构中的比重，已成为上海市能源政策的重点。上海的主要燃气分为液化石油气、煤气和天然气。随着城
21世纪是人类深海探测和开发的时代,大深度潜水器作为实现人类开发深海的重要技术手段,其重要性越来越凸显。为了适应深海工作需要,对大深度潜水器的材料性能要求而相应提高
随着互联网的普及和电子商务的蓬勃发展，大量的数据资源充斥在网络之中，人们不得不花费较长的时间选择自己喜欢的资源。个性化推荐系统的出现较好地解决了这一问题，成为当今越来
Web服务作为面向服务体系结构(Service-orientedarchitecture，SOA)的一种实现，通过标准的Web协议提供服务，保证了异构平台上应用程序之间的互操作。将语义Web技术和Web服务融合
计算机视觉是工程学科研究范畴中非常具有挑战性的一个研究领域,而运动目标的检测与跟踪技术可以说是这个领域中的一个关键技术。而且这项技术在智能交通、医疗诊断和军事工
数字视频是人们获取信息的重要媒介之一，然而其庞大的数据量给计算机的存储容量和信道带宽带来了巨大的挑战，严重地阻碍了视频技术的发展。视频编码成为了解决该问题的关键，编码
随着视频通信技术的发展，资源受限领域的视频通信应用越来越受到关注，例如计算能力、内存容量、耗电量受限的无线传感网络中视频监控、无线PC相机、移动视频通话等特殊场合，如何