杨晓东

作品数：48被引量：101H指数：5
导出分析报告
供职机构：国防科学技术大学计算机学院更多>>
发文主题：互连网络自适应路由算法完全自适应路由算法微处理器更多>>
发文领域：自动化与计算机技术电子电信更多>>
发文期刊：《计算机工程与设计》《小型微型计算机系统》《计算机研究与发展》《软件学报》更多>>
所获基金：国家高技术研究发展计划国家自然科学基金国防科技技术预先研究基金教育部“新世纪优秀人才支持计划”更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
扩展因子预编码的两阶段CORDIC旋转算法2S-PCS被引量：7
《计算机学报》2011年第4期729-737,共9页牟胜梅 杨晓东 
海军工程大学自然科学基金(HGDQNJJ10028)资助
CORDIC算法常用于高效地用硬件实现向量旋转操作,如何减少迭代次数并保持扩展因子计算与补偿的简单性是算法的难点.文中提出一种表驱动的2S-PCS算法,其流水线较短且扩展因子可预先计算并优化编码.算法首先将[-π,π]内的旋转角映射到[0,...
关键词：向量旋转 CORDIC算法 查找表 免扩展 角度重编码 
参数化系统二维抽象的理论基础
《计算机科学》2011年第4期295-298,共4页庞征斌 屈婉霞 郭阳 杨晓东 
国家自然科学基金项目(60773025;61070036)资助
模型之间的等价关系和抽象模型的性质保持是保证验证正确的必要条件,参数化系统二维抽象从构成系统状态空间的二维方向分别进行抽象,证明了此抽象方法的正确性和合理性,即TDA模型与原始模型存在模拟关系,而且在TDA模型中成立的只对单个...
关键词：参数化系统验证 二维抽象 模拟 性质保持 
利用轮廓分解和局部描述的二值图像检索被引量：1
《小型微型计算机系统》2010年第11期2260-2264,共5页杨晓东 吴玲达 周文 
国家"八六三"高技术研究发展计划项目(2009AA01Z335)资助;国家自然科学基金项目(60802080)资助
提出一种面向二值图像检索的形状分解和局部描述方法.对二值图像进行物体轮廓的提取,采用特定的方法对轮廓进行分解,得到轮廓的参考点集.利用轮廓的法线求取每一个参考点的对应弧线段,计算弧线段的特征并作为对应参考点的特征向量,从而...
关键词：形状分解 局部描述 FOURIER变换 点匹配 
参数化系统二维抽象框架被引量：1
《国防科技大学学报》2010年第1期95-100,共6页屈婉霞 庞征斌 郭阳 李暾 杨晓东 
国家自然科学基金资助项目(60573173;60773025);新世纪优秀人才支持计划资助项目
针对参数化系统状态空间爆炸问题提出了一个通用的参数化系统二维抽象框架TDA。对所有进程单独进行抽象,利用参数化系统的设计思想,隐藏系统参数构建全系统的抽象模型,最大限度地剔除了原始系统中的冗余信息。建立的具有真并发语义的参...
关键词：参数化系统 模型检验 抽象 多处理机系统 CACHE一致性协议 
二值图像轮廓局部描述和检索方法被引量：2
《计算机应用》2010年第1期65-67,共3页杨晓东 吴玲达 谢毓湘 杨征 周文 
国家自然科学基金资助项目(60802080);国家863计划项目(2009AA01Z335)
提出了一种针对二值图像的基于轮廓分解和局部描述的检索策略。首先从二值图像中提取物体轮廓,采用特定的方法对轮廓进行分解,得到轮廓的参考点集。求取每一个参考点的对应弧线段,构造从参考点指向对应弧线上各点的向量集合。对向量集...
关键词：轮廓分解 局部描述 FOURIER变换 点匹配 
一种支持操作系统的硬件事务内存系统
《计算机工程与科学》2010年第1期123-126,共4页王绍刚 吴丹 庞征斌 杨晓东 
国家自然科学基金资助项目(60803040;60633050);湖南省自然科学基金资助项目(07JJ3129)
本文分析了目前提出的硬件事务内存系统在支持线程切换及迁移、内存页置换、系统调用等方面存在的问题,并提出了新的支持操作系统的实现方案DTM。DTM采用单独的面向事务处理的一致性协议来检测及仲裁事务间冲突,与传统的事务内存系统相...
关键词：事务内存 事务一致性协议 DTM 
超立方体互连网络中的组播算法研究
《计算机工程与科学》2009年第6期4-6,11,共4页陆松 杨晓东 
在高性能计算中,涉及全局数据迁移、进程控制等操作的通信被称为聚合通信。高效的聚合通信服务不仅能够简化编程,而且能够提高系统效率和整体性能。组播作为聚合通信的通用模式之一,长期以来都是人们的研究重点,包括硬件加速、软件优化...
关键词：互连网络 超立方体 聚合通信 组播 
基于伪临界值的Cache一致性协议验证方法被引量：3
《国防科技大学学报》2008年第6期47-52,共6页屈婉霞 郭阳 庞征斌 杨晓东 
国家自然科学基金资助项目(60573173;60773025);新世纪优秀人才支持计划资助项目
针对Cache一致性协议状态空间爆炸问题,提出共享集合伪临界值(Pseudo-cutoff)的概念,并以采用释放一致性模型的CC-NUMA系统为例,分析了共享数据的分布情况,推导出在一定条件下共享集合伪临界值为4的结论,有效优化了目录Cache协议状态空...
关键词：形式化验证 模型检验 多处理机系统 CACHE一致性协议 
HybridTCache:一种基于专用事务Cache的软硬件协同事务内存系统被引量：6
《计算机学报》2008年第11期1907-1917,共11页王绍刚 吴丹 庞征斌 杨晓东 
国家自然科学基金(60803040;60633050)资助.
文中提出一种高效的软硬件协同事务内存系统HybridTCache.在通常情况下,事务完全由硬件执行,当事务大小超出了硬件限制时,操作系统将协同硬件执行.HybridTCache提出了一种新的专用事务Cache,称为TCache,缓存事务执行过程中的临时数据,...
关键词：事务内存 TCache HybridTCache 软硬件协同 
一种高效的显式模型检验方法
《国防科技大学学报》2008年第4期53-58,共6页屈婉霞 李暾 郭阳 杨晓东 
国家自然科学基金资助项目(60573173;60773025);新世纪优秀人才支持计划资助项目
随着软硬件系统规模和功能的不断扩充,状态空间爆炸问题严重影响了模型检验的进一步发展与应用,成为验证大规模系统的瓶颈。在显式模型检验工具Murphi的基础上,针对其可达状态空间组织存在的问题进行改进,提出了基于整型指针与Fibonacc...
关键词：模型检验 显式状态枚举 可达性分析 
全选清除导出
共5页<12345>
检索报告 对象比较 聚类工具 使用帮助 返回顶部