排序方式: 共有22条查询结果,搜索用时 15 毫秒
1.
2.
针对Cache一致性协议状态空间爆炸问题,提出共享集合伪临界值(Pseudo-cutoff)的概念,并以采用释放一致性模型的CC-NUMA系统为例,分析了共享数据的分布情况,推导出在一定条件下共享集合伪临界值为4的结论,有效优化了目录Cache协议状态空间,并提出了解决小概率的宽共享事件的方法.实验数据表明,基于伪临界值的协议模型优化,能够有效缩小Cache协议状态空间,加快验证速度,扩大验证规模. 相似文献
3.
随着软硬件系统规模和功能的不断扩充,状态空间爆炸问题严重影响了模型检验的进一步发展与应用,成为验证大规模系统的瓶颈.在显式模型检验工具Murphi的基础上,针对其可达状态空间组织存在的问题进行改进,提出了基于整型指针与Fibonacci散列的可达状态空间组织方法,实现了一个高效的显式模型检验原型系统,在确保验证正确的同时有效缩短了验证时间,并能在系统规范不可满足的情况下给出反例,有助于系统设计人员快速定位错误.理论分析和实验结果表明了本方法的有效性. 相似文献
4.
针对区域矩需要计算全图像素的统计分布、计算量大的问题,构造了基于目标形状的仿射不变轮廓矩。首先采用PDE方法推导得到了6个仿射不变矩的数学模型,然后将积分区间变为目标区域的边界,计算得到基于目标形状的仿射不变轮廓矩,最后通过三类舰船不同姿态下的图像进行了实验验证并对其稳定性进行了分析。研究结果表明:仿射不变轮廓矩具有较好的稳健性及区分度,可将其作为不变特征用于舰船目标识别。 相似文献
5.
为系统性地给出数字图像不变矩一般性构造方法及对不变矩稳定性进行分析,通过采用复数矩作为描述数字图像识别特征量的方法,研究了复数不变矩所具有不变性的约束条件及其与几何不变矩间的关系,推导出了复数不变矩构造定理,并以在工程应用中的低阶复数不变矩为例对复数不变矩的稳定性进行了分析。研究结果表明:采用复数不变矩构造数字图像特征量具有很好普适性和稳定性,对于图像目标识别特征的描述有较好的效果。 相似文献
6.
在平台式惯性导航系统中,陀螺仪和加速度计的常值误差是制约系统最终精度的重要因素之一。通过分析在无阻尼惯性导航系统中,惯性器件对平台误差角、速度误差和定位误差的影响,给出了在初始对准后,因惯性器件常值误差引起的系统固有误差和这类固有误差随时间的变化规律。结果表明,除经度误差随时间有振荡发散现象外,其它误差均为周期振荡有界。利用给出的结论,在设计惯性导航系统时通过分析系统误差要求,对于选择惯性器件具有一定的借鉴意义。 相似文献
7.
针对参数化系统状态空间爆炸问题提出了一个通用的参数化系统二维抽象框架TDA。对所有进程单独进行抽象,利用参数化系统的设计思想,隐藏系统参数构建全系统的抽象模型,最大限度地剔除了原始系统中的冗余信息。建立的具有真并发语义的参数化系统的形式化模型,更适合描述一般意义上的并发系统,较好地解决了验证大规模同构和异构系统的空间激增问题。理论推导和实例均证实了TDA的正确性和合理性。 相似文献
8.
以显著性标志物中的关键点为目标,探讨了一种基于计算机视觉的目标方位测量方法。在光学成像原理基础上,推算出目标二维成像点坐标与其空间三维坐标之间的映射关系,基于计算机视觉理论建立了测量目标方位的数学模型。考虑透镜畸变,基于Zhang平面标定法完成对摄像机参数的标定。对目标二维图像采用Harris算法进行特征角点检测,并通过亚像素技术对检测的目标特征点进行定位。实验结果表明,该方法能够有效提取被测目标特征角点并获取其像素坐标,用于测量目标相对视觉传感器的方位信息可达到较高精度,具备良好的实用价值。 相似文献
9.
为增强惯性器件误差可观测度,满足高精度导航要求,基于平台方位旋转技术,设计了水下旋转平台惯导系统(ARGINS)陀螺漂移的单点校正算法。首先,引入旋转平台惯导的误差方程,利用Laplace变换分析了陀螺漂移和加速度计零位偏置对系统时域特性的影响;其次,设计了针对水下旋转平台惯导的单点校正算法,包括旋转平台惯导的初始对准、状态切换以及方位陀螺漂移的单点校正;最后,对单点校正算法进行了仿真实验。仿真结果表明:该单点校正算法可有效估计和补偿方位陀螺漂移,同时降低东、北向陀螺漂移以及加速度计零位偏置对系统误差的影响,有效抑制后续导航误差发散现象,提高导航精度。 相似文献
10.