检索结果-维普期刊中文期刊服务平台

片上多处理器的层次化高速测试和验证技术: 1; 作者郭松柳汪东升姚文斌《哈尔滨工程大学学报》 EI CAS CSCD 北大核心 2007年第5期566-570,共5页; 片上多处理器的体系结构具有高效、低功耗的特点,但由于整体逻辑规模较大,且存储系统有一致性的要求,因此其模拟器测试和验证的计算量大、复杂度高,整体采用传统的形式化测试方法测试速度慢.运用分隔测试技术可以在测试过程中降低整体... 展开更多; 关键词片上多处理器存储系统测试并行测试层次化验证; 在线阅读下载PDF 职称材料

移动计算系统检查点迁移策略的性能评价被引量：3: 2; 作者门朝光徐振朋李香《哈尔滨工业大学学报》 EI CAS CSCD 北大核心 2010年第5期806-810,共5页; 为了有效评估移动计算系统检查点迁移处理策略的性能,基于移动计算系统自身所具有的特性,给出了移动计算系统中的进程状态模型,并在此基础上提出了一种移动计算系统检查点迁移处理策略性能评价模型.利用该性能评价模型对当前的3种日志... 展开更多; 关键词移动计算容错检查点握手迁移; 在线阅读下载PDF 职称材料

二维矢量地图双重零水印算法被引量：15: 3; 作者曹刘娟门朝光孙建国《哈尔滨工程大学学报》 EI CAS CSCD 北大核心 2011年第3期340-344,共5页; 为解决传统水印算法鲁棒性和不可感知性之间的矛盾,提出一种二维矢量地图双重零水印算法.该算法以矢量地图线图元特征点提取为基础,针对反映线图元基本形状的特征点,采用BP神经网络来构建特征点之间的关系模型,并由此构造能够抵抗简化... 展开更多; 关键词矢量地图双重零水印道格拉斯-普克法人工神经网络奇异值分解; 在线阅读下载PDF 职称材料

图谱域的矢量地图可逆水印算法被引量：3: 4; 作者门朝光曹刘娟孙建国《哈尔滨工业大学学报》 EI CAS CSCD 北大核心 2009年第12期83-87,共5页; 以多边形特征点提取为基础,构造特征点的星树,通过修改星树图谱域系数中差值最小的一对嵌入水印信息,在水印提取阶段能够无损恢复原始矢量地图数据.实验结果表明该水印方案严格可逆,具有较好的隐蔽性及抗图形简化能力,是一种用于二维矢... 展开更多; 关键词矢量地图版权保护可逆水印 LAPLACIAN矩阵图谱域; 在线阅读下载PDF 职称材料

基于视觉感知特性的矢量地图可逆水印算法被引量：2: 5; 作者门朝光曹刘娟孙建国《高技术通讯》 EI CAS CSCD 北大核心 2010年第4期342-348,共7页; 针对二维矢量地图特定的数据结构以及水印嵌入带来的地图变形问题,提出了一种基于视觉感知特性的可逆水印算法。该算法首先基于顶点密度估计策略对矢量地图多边曲线的噪声不敏感区域进行选择;其次为使得水印嵌入带来的扰动最小,选择噪... 展开更多; 关键词矢量地图版权保护可逆水印无损恢复整数DCT变换; 在线阅读下载PDF 职称材料

日志检查点回卷恢复策略的检查点周期求解模型被引量：2: 6; 作者徐振朋门朝光李香《高技术通讯》 CAS CSCD 北大核心 2011年第6期575-580,共6页; 基于Markov链进程状态模型和拉普拉斯变换，提出了一种日志检查点回卷恢复容错策略的最佳检查点周期求解模型，该模型充分考虑了日志检查点回卷恢复策略中进程回卷恢复与正常运行期间执行速度存在的差别，同时允许进程检查点和回卷恢复... 展开更多; 关键词分布式计算容错消息日志回卷恢复检查点周期; 在线阅读下载PDF 职称材料

题名片上多处理器的层次化高速测试和验证技术: 1; 作者郭松柳汪东升姚文斌; 机构清华大学微处理器与片上系统技术研究中心哈尔滨工程大学高可信计算技术研究中心; 出处《哈尔滨工程大学学报》 EI CAS CSCD 北大核心 2007年第5期566-570,共5页; 基金国家自然科学基金资助项目; 文摘片上多处理器的体系结构具有高效、低功耗的特点,但由于整体逻辑规模较大,且存储系统有一致性的要求,因此其模拟器测试和验证的计算量大、复杂度高,整体采用传统的形式化测试方法测试速度慢.运用分隔测试技术可以在测试过程中降低整体计算的复杂度,将使用传统测试方法不能测试的复杂系统测试简单化;利用随机程序生成技术可以减少测试人员编写测试程序的时间并加速发现系统的错误,并行测试技术可以快速低功耗检验片上多处理器存储器系统的功能并具有良好的可扩充性.将上述测试方法集成在片上多处理器的测试中,能够对整体的计算量进行合理的分割和并行化,迅速定位整个系统的错误,大大缩减所需要的测试时间,降低了测试人员的工作量,提高测试结果的覆盖率和可信性.; 关键词片上多处理器存储系统测试并行测试层次化验证; Keywords chip-multiprocessor memory system testing parallel testing hierarchical verification; 分类号 TP303 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名移动计算系统检查点迁移策略的性能评价被引量：3: 2; 作者门朝光徐振朋李香; 机构哈尔滨工程大学高可信计算技术研究中心; 出处《哈尔滨工业大学学报》 EI CAS CSCD 北大核心 2010年第5期806-810,共5页; 基金国家自然科学基金资助项目(60873138); 文摘为了有效评估移动计算系统检查点迁移处理策略的性能,基于移动计算系统自身所具有的特性,给出了移动计算系统中的进程状态模型,并在此基础上提出了一种移动计算系统检查点迁移处理策略性能评价模型.利用该性能评价模型对当前的3种日志检查点迁移策略进行了仿真实验,结果显示该模型与实际情况相吻合,从而验证了此性能评价模型的有效性.该检查点迁移处理策略性能评价模型可用于确定不同移动计算环境下相对适用的检查点迁移处理策略.; 关键词移动计算容错检查点握手迁移; Keywords mobile computing fault tolerance checkpoint handoff; 分类号 TP302 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名二维矢量地图双重零水印算法被引量：15: 3; 作者曹刘娟门朝光孙建国; 机构哈尔滨工程大学高可信计算技术研究中心; 出处《哈尔滨工程大学学报》 EI CAS CSCD 北大核心 2011年第3期340-344,共5页; 基金国家自然科学基金资助项目(60873138); 文摘为解决传统水印算法鲁棒性和不可感知性之间的矛盾,提出一种二维矢量地图双重零水印算法.该算法以矢量地图线图元特征点提取为基础,针对反映线图元基本形状的特征点,采用BP神经网络来构建特征点之间的关系模型,并由此构造能够抵抗简化、压缩攻击的零水印参数.针对反映线图元细节的非特征点,利用矩阵奇异值分解(SVD)方法来构造对常见几何攻击稳健的零水印参数.该方案很好地刻画了矢量地图线图元的整体特性,双重水印参数的构造有助于提高水印算法的抗攻击能力,达到对矢量地图全面保护的目的.实验结果表明,该双重零水印方案具有较好的鲁棒性和不可见性,适用于二维矢量地图的版权保护.; 关键词矢量地图双重零水印道格拉斯-普克法人工神经网络奇异值分解; Keywords vector map double zero-watermarking Douglas-Peucker artificial neural network SVD; 分类号 TP391 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名图谱域的矢量地图可逆水印算法被引量：3: 4; 作者门朝光曹刘娟孙建国; 机构哈尔滨工程大学高可信计算技术研究中心; 出处《哈尔滨工业大学学报》 EI CAS CSCD 北大核心 2009年第12期83-87,共5页; 基金黑龙江省博士后科研启动基金资助项目(LBH-Q08124); 文摘以多边形特征点提取为基础,构造特征点的星树,通过修改星树图谱域系数中差值最小的一对嵌入水印信息,在水印提取阶段能够无损恢复原始矢量地图数据.实验结果表明该水印方案严格可逆,具有较好的隐蔽性及抗图形简化能力,是一种用于二维矢量地图版权保护的实用算法.; 关键词矢量地图版权保护可逆水印 LAPLACIAN矩阵图谱域; Keywords vector map copyright protection reversible watermarking Laplacian matrix graph spectral domain; 分类号 TP309.7 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名基于视觉感知特性的矢量地图可逆水印算法被引量：2: 5; 作者门朝光曹刘娟孙建国; 机构哈尔滨工程大学高可信计算技术研究中心; 出处《高技术通讯》 EI CAS CSCD 北大核心 2010年第4期342-348,共7页; 基金国家自然科学基金(No.60873138)资助项目; 文摘针对二维矢量地图特定的数据结构以及水印嵌入带来的地图变形问题,提出了一种基于视觉感知特性的可逆水印算法。该算法首先基于顶点密度估计策略对矢量地图多边曲线的噪声不敏感区域进行选择;其次为使得水印嵌入带来的扰动最小,选择噪声不敏感区域顶点坐标的小数部分作为载体数据;最后依据水印嵌入阈值选择性修改整数离散余弦变换(DCT)变换后的交流分量(AC)系数值完成水印的嵌入。该水印方案在精确提取水印信息的同时可以完全无损恢复原始矢量数据,因而更加适用于矢量地图版权保护。实验结果表明,该水印方案在保证视觉不可感知的同时具有较高的嵌入容量及较强的鲁棒性。; 关键词矢量地图版权保护可逆水印无损恢复整数DCT变换; Keywords vector map, digital rights protection, reversible watermarking, lossless recovery, integer DCT transform; 分类号 TP309.7 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名日志检查点回卷恢复策略的检查点周期求解模型被引量：2: 6; 作者徐振朋门朝光李香; 机构哈尔滨工程大学高可信计算技术研究中心; 出处《高技术通讯》 CAS CSCD 北大核心 2011年第6期575-580,共6页; 基金国家自然科学基金（60873138）,黑龙江省博士后科研启动基金（LBH.Q08124）和中央高校基本科研业务费专项资金（HEUCFTl007,HEUCFl00607）资助项目.; 文摘基于Markov链进程状态模型和拉普拉斯变换，提出了一种日志检查点回卷恢复容错策略的最佳检查点周期求解模型，该模型充分考虑了日志检查点回卷恢复策略中进程回卷恢复与正常运行期间执行速度存在的差别，同时允许进程检查点和回卷恢复期间发生故障事件。通过求解进程状态Markov链转移概率和权重，得到完成检查点间隔的期望执行用时，最后通过系统最小容错负载率得出进程的最佳检查点周期。该模型退化后与现有其它求解模型相一致，结果表明该模型能确保相对较低的容错开销。; 关键词分布式计算容错消息日志回卷恢复检查点周期; Keywords distributed computing, fauh tolerance, message log, rollback recovery, checkpoint period; 分类号 TP302.8 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	片上多处理器的层次化高速测试和验证技术	郭松柳汪东升姚文斌	《哈尔滨工程大学学报》 EI CAS CSCD 北大核心	2007	0	在线阅读下载PDF 职称材料
2	移动计算系统检查点迁移策略的性能评价	门朝光徐振朋李香	《哈尔滨工业大学学报》 EI CAS CSCD 北大核心	2010	3	在线阅读下载PDF 职称材料
3	二维矢量地图双重零水印算法	曹刘娟门朝光孙建国	《哈尔滨工程大学学报》 EI CAS CSCD 北大核心	2011	15	在线阅读下载PDF 职称材料
4	图谱域的矢量地图可逆水印算法	门朝光曹刘娟孙建国	《哈尔滨工业大学学报》 EI CAS CSCD 北大核心	2009	3	在线阅读下载PDF 职称材料
5	基于视觉感知特性的矢量地图可逆水印算法	门朝光曹刘娟孙建国	《高技术通讯》 EI CAS CSCD 北大核心	2010	2	在线阅读下载PDF 职称材料
6	日志检查点回卷恢复策略的检查点周期求解模型	徐振朋门朝光李香	《高技术通讯》 CAS CSCD 北大核心	2011	2	在线阅读下载PDF 职称材料