微处理器体系结构级测试程序自动生成技术

下载全文  总被引：2，自引：0，他引：2

提出了一种由体系结构描述驱动的基于约束求解的微处理器体系结构级测试程序自动生成的新方法,并基于此开发了原型系统--MA2TG(microprocessor architectural automatic test program generator).该系统不仅可以随机生成测试程… …   相似文献

朱丹  李暾  郭阳  李思昆 《软件学报》2005,16(12):2172-2180

统计测试的软件可靠性保障能力研究

下载全文  总被引：1，自引：0，他引：1

研究了统计测试对不同软件的测试能力,提出将测试有效性信息综合到软件可靠性评估模型中,以提高可靠性估计的针对性和精度.通过实验证明了该方法的合理性.该方法为高可靠性的软件质量保障要求提供了途径和可能.  相似文献

赵亮  王建民  孙家广 《软件学报》2008,19(6):1379-1385

核空间散度阈值法

  

提出了一种核空间散度阈值分割方法。首先定义了一种参数型Bregman散度;其次提出了参数型Bregman散度阈值法,并将现有交叉熵阈值法和Otsu阈值法统一起来;再次基于参数型Bregman散度构造了核空间中一种新的不对称核函数,将图像灰度级从欧氏空间变换到再生核空间,获得了一种… …   相似文献

吴成茂 《中国图象图形学报》2012,17(4):512-522

基于限界传递相似度图的FCA概念相似度计算方法

  

使用相似度图计算FCA概念相似度需要构造相似关系的传递闭包,对于复杂问题会导致相似度图规模过大,从而影响相似度评价的效率.为了降低相似度图规模,提出一种基于限界传递相似度图的FCA概念相似度计算方法.该方法首先通过限定传递相似关系的长度来避免构造相似关系的传递闭包,得到的限界传递… …   相似文献

黄宏涛  吴忠良  万庆生  黄少滨 《计算机科学》2015,42(1):285-289

IEEE 802.11支持QoS区分服务的性能优化

下载全文  

基于IEEE 802。11 p-persistent协议模型的研究,对一种近似优化条件在多优先级业务网络条件下的适用性进行了证明。应用该近似优化条件,提出了一种适用于IEEE 802。11 QoS区分服务支持的自适应优化算法QATC (QoS-supporting adaptive transmission control)。算法利用信道侦听信息实时优化调整各优先级业务的发送概率,更新相应的协议参数,实现信道利用率的提高和系统性能的增强。QATC算法不需要估计各优先级业务的节点数量,并且拥有… …   相似文献

毛建兵  毛玉明  冷甦鹏  白翔 《软件学报》2010,21(11):2866-2882

分布式交互仿真中的异步时钟一致性控制方法

下载全文  

提出了在分布式交互仿真中基于回拨时钟的异步时钟一致性控制模型,利用节点间时钟的异步性对系统时间资源进行重新分配,达到了在保证原有系统功能正确性的前提下有效提高系统整体性能的目的.根据上述模型,首先提出了基于全局信息的快速拟合法,并证明了该算法的有效性;之后又根据实际网络情况提出了… …   相似文献

张伟  周航军  彭宇行  李思昆 《软件学报》2010,21(6):1208-1219

面向室外视频监视的感兴趣区域提取

下载全文  总被引：1，自引：0，他引：1

针对室外视频监视中运动对象检测易受树枝叶晃动、水面波动等无意义运动干扰,准确性低、实时性差的问题,定义感兴趣区域为已经存在及潜在存在有意义运动对象的区域,提出一种感兴趣区域自动提取算法。构造带状算子提取训练阶段存在有意义运动对象的区域,利用颜色一致区域生长和干扰对象区域退化得到潜… …   相似文献

郑锦  李波 《中国图象图形学报》2010,15(9):1363-1369

信息物理系统安全及相关措施

下载全文  

开放互联的网络和信息与物理组件的交互使得信息物理系统面临着巨大的安全挑战,通过研究信息物理系统的安全目标和攻击模型,给出了分层的信息物理系统安全体系. 信息物理系统安全主要是解决在恶意攻击下的加密技术,访问控制策略,弹性机制等问题,在介绍了信息物理系统安全方面的相关研究后,对信息… …   相似文献

邢静宇  张立臣 《计算机系统应用》2014,23(6):1-6

网络测量中自适应数据采集方法

下载全文  总被引：7，自引：2，他引：7

抽样方法广泛地应用于网络测量与其他领域对被测总体的指标进行估计.研究表明,多种网络指标呈现重尾分布或自相似的特征.这些特性为准确估计总体指标带来了诸多困难.但同时,对被测网络指标进行建模也有着重要的应用.然而,建立精确网络模型是困难的.从时间序列拟合角度出发,提出了一种基于拟合的… …   相似文献

王俊峰  杨建华  周虹霞  谢高岗  周明天 《软件学报》2004,15(8):1227-1236

目标定位图像中心新方法*

下载全文  

利用人工神经网络,无需对摄像机进行预标定,只要给出目标在计算机图像中的坐标点,就可直接得出摄像机云台水平和垂直需要调整的角度,将目标定位在图像中心。理论和实验证明,该方法比传统方法硬件要求低,算法简单,精度高。  相似文献

于明  冀中  顾洁  王建平 《计算机应用研究》2006,23(1):252-254

一种从面向对象Z规约到代码的精化演算方法

下载全文  

COOZ(complete object-oriented Z)的优势在于精确描述大型程序的规约.COOZ本身的结构 不支持精化演算,这限制了COOZ的应用能力,使COOZ难以作为完整的方法应用于软件的开发. 将精化演算引入COOZ,弥补了COOZ在设计和实现阶段的不足,同时也消… …   相似文献

王云峰  庞军  查鸣  杨朝晖  郑国梁 《软件学报》2000,11(8):1041-1046

置信度传播和区域边缘构建的立体匹配算法

下载全文  

讨论了区域匹配代价和全局置信度传播算法之间的相互作用,提出一种基于全局置信度传播和区域边缘构建的立体匹配算法。首先,在每个像素的固定邻域内利用二阶微分边缘算子搜索并构建一条虚拟的封闭边缘,形成相应的区域自适应窗口;然后使用自适应窗口内的支持像素计算中心像素之间的匹配代价;最后利用… …   相似文献

何栿  达飞鹏 《中国图象图形学报》2011,16(11):2060-2066

无监督模糊C均值聚类自然图像分割算法

下载全文  

提出一种基于无监督模糊C均值聚类的彩色自然图像分割算法。使用置信区间交集准则自适应得到Gabor滤波器中各个像素点对应的尺度,并以该自适应尺度为依据,计算相应的自适应方向、频率以及相位;使用该自适应Gabor滤波方法分别对各通道进行纹理分析得到相应的纹理图像。提出一种快速的基于多… …   相似文献

纪则轩  潘瑜  陈强  孙权森  夏德深 《中国图象图形学报》2011,16(5):773-783

社交网络中一种基于社区推荐的信任模型

  

信任度计算一直是社交网络中备受人们关注的问题,而对陌生节点的信任度计算更是其中的研究热点。目前多数的信任模型由于推荐证据的不完整使得对陌生节点信任度计算准确性不高。随着社区数量的不断增多,基于社区的社交网络成为当今社交网络发展的一种趋势,引入社区推荐模型替代原有的节点推荐模型来提… …   相似文献

张丰  王箭  赵燕飞  杜贺 《计算机科学》2014,41(5):168-172

一种基于特征编组的直线立体匹配全局算法

下载全文  总被引：2，自引：0，他引：2

由于直线断裂、遮挡以及共面空间直线投影等因素的影响,从左右图像中提取出来的直线之间会出现\"一配多\"甚至\"多配多\"的匹配情况,然而目前很少有算法能可靠地处理这些情况.提出了一种基于特征编组的匹配算法来解决它.与已有方法不同,该方法是在由两幅图像共同组成的直线集上进行编组.每… …   相似文献

文贡坚 《软件学报》2006,17(12):2471-2484

分段2维主成分分析的超光谱图像波段选择

  

目的 超光谱图像具有极高的谱间分辨率,巨大的数据量给分类识别等后续处理带来很大压力。为了有效降低图像数据维数,提出基于分段2DPCA的超光谱图像波段选择算法。方法 首先根据谱间相关性对原始图像进行波段分组,然后根据主成分反映每个光谱波段的信息比重分别对每组图像进行波段选择,从而实… …   相似文献

张婧  孙俊喜  阮光诗  刘红喜 《中国图象图形学报》2014,19(2):328-332

Verilog代数语义研究

下载全文  总被引：1，自引：0，他引：1

给出了Verilog的代数语义.这是一个等式公理体系,它将Verilog语义特征通过代数规则简洁而准确地表达出来;并且这个代数语义相对于已经所作的操作语义模型来讲是可靠的,即所有的这些代数规则左右两边的进程在操作语义的观察模型下都是互模拟的.研究了此代数语义的相对完备性,即参照前… …   相似文献

李勇坚  何积丰  孙永强 《软件学报》2003,14(3):317-327

多媒体语义模型研究进展

  总被引：1，自引：0，他引：1

多媒体语义研究是多媒体数据处理与多媒体信息服务领域的核心和关键问题。多媒体数据的语义问题源于多媒体的数据获取方式,在多媒体数据的应用阶段,这一问题成为制约多谋体数据使用和创作的重要瓶颈。语义模型研究是多媒体语义研究的重点,是多媒体数据处理过程的总结和抽象,其实质就是研究多媒体数据… …   相似文献

栾悉道  谢毓湘  谭义红  陈治平  赵碧海  胡赛 《计算机科学》2010,37(11):1-6

基于物理的台风建模与绘制

下载全文  总被引：1，自引：1，他引：1

研究台风风场的规律并进行真实感仿真对于灾害预防、评估及宣传等有着十分重要的意义。首先从台风的物理特性出发,建立了不对称的3维台风风场,可以得到不同情况下台风的强度和风速变化;然后根据卫星云图的干区移动来预测台风移动路径;进一步模拟台风风场与物体的交互作用,实现了台风风场的3D可视… …   相似文献

王长波  朱振毅  高岩  谢步瀛  彭群生 《中国图象图形学报》2010,15(3):513-517

一个加强的NAT-PT模型

下载全文  总被引：6，自引：0，他引：6

NAT-PT(network address translation + protocol translation)允许IPv6节点与IPv4节点之间进行通信.NAPT-PT则通过一定的映射方法以充分复用注册地址的所有端口,应用NAPT-PT模型,每个注册V4地址最多可建立63K… …   相似文献

曾立安  程朝辉  凌力 《软件学报》2003,14(12):2037-2044