论文部分内容阅读
基于有限精度时间自动机模型,实现了一种新的数据结构———SDS,用SDS符号化表示状态空间的实时系统模型检测工具,并进行了初步的实验分析,取得了良好的效果。
一种基于有限精度时间自动机的模型检测工具
【摘 要】
：
基于有限精度时间自动机模型,实现了一种新的数据结构———SDS,用SDS符号化表示状态空间的实时系统模型检测工具,并进行了初步的实验分析,取得了良好的效果。
【机 构】
：
中国科学院软件研究所计算机科学国家重点实验室,中国科学院研究生院
【出 处】
：
计算机应用研究
【发表日期】
：
2006年05期
【基金项目】
：
国家自然科学基金资助项目（60273025）,国家“973”计划资助项目（2002CB312200）
其他文献
为满足遥感图像信息批量快速提取等需求,利用IDL 6.0结合V isual Basic 6.0软件编程技术实现了遥感图像自动输入与处理的目的,并结合IDL 6.0的IDLDrawW idget技术实现了VB 6.0下的遥感数据可视化。
介绍了人工生命在图像处理中的使用,人工生命方法把一张图像中的每个像素和一个生命如一只蚂蚁或一个细胞关联,然后按照一个系统规则进化。由于人工生命法天生的并行性和符合自组织的生物学过程,它是图像处理中很有前途的一种新方法。
提出了一种基于协作文档的模型,以实现异构工作流管理系统之间的协同工作,讨论了其内部机理与模型建立的理由。并针对此模型,提出了一个有四层架构的协同代理(CA),以XML文档为中间介质,通过协同代理隐藏异构工作流管理系统的内部细节,由此实现了一种灵活,轻量级的互连。可以广泛地应用于各种平台和环境中,实现计算机协同工作,提高效率和信息共享。
干旱情况下的黄河水量调度包括水流过程、效益迁移过程以及经济补偿过程,涉及大量分散的信息,采用符合J2EE规范的AAF应用框架,建立了基于W eb的干旱情况下应急调水的仿真系统,模拟应急调水中的沿程水流演进、水电站发电损失、灌区农业损失和下游受水区受益的全过程。进行了实例计算,能为管理者的调水及补偿决策提供有效的信息支持。
针对渐变的特点,提出了一种基于非相邻帧差的通用渐变镜头检测方法,该方法利用非相邻帧差有效地突出了渐变的特征,利用窗口最大值准确地找到渐变的中心位置,该方法不用设置全局阈值,与具体的渐变转换效果无关,适应性强。实验表明该算法取得了良好的检测效果。
针对二维数据域的Delaunay三角剖分推广到空间时存在的关键问题,提出一种基于标准差的地形三维表面模型建立算法。与空外接圆准则相比,该算法在计算时考虑了附加高程信息,引入标准差作为构网判断准则。剖析了标准差的含义,为什么使用标准差以及基于标准差的剖分准则,最后给出基于标准差的地形三维表面模型建立算法的具体步骤,并通过一个具体实例对算法进行了验证。
随着数字图像压缩技术的发展,数字监控系统的应用已经成熟,基于数字图像压缩技术的视频监控系统得到了广泛应用。而数字监控系统也随着图像压缩技术的发展在更新换代,H.264是一种新近成熟的、高效的视频压缩标准,它有着比以往压缩标准压缩效率更高,更能适应网络的特点。在深入分析了H.264视频压缩技术的基础上,设计和实现了一套实用的分层网络视频监控系统。
从分割图像与原图像的内在联系出发,提出了一种新的基于Otsu算法与互信息量技术相结合的分割算法——OMI算法。首先利用Otsu算法确定全局阈值作为初值,以互信息量为目标函数,在小范围内计算分割图像与原图像的互信息量,互信息量达到最大时的阈值即为最优值,这是将图像配准方法用于分割的一种创新性尝试。对大量人体寄生虫显微图像进行了实验,结果表明,本算法所得到的目标图像的边界特征保持完好,虚假目标信息大大
对COTS(Commercial O ff-The-Shelf)软构件评估进行综述,包括COTS软构件评估在整个CBS活动框架中的定位、COTS软构件评估的过程和方法及与其密切相关的其他CBS活动领域简介等,并对COTS软构件评估的未来发展方向进行了展望。