杨晓东
- 作品数：54 被引量：157H指数：6
- 供职机构：国防科学技术大学计算机学院更多>>
- 发文基金：国家高技术研究发展计划国家自然科学基金国防科技技术预先研究基金更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 多库系统中高效的视图维护机制被引量：7
- 2000年
- 外连接是多库系统中经常使用的生成全局视图的方法 ,但是外连接给维护多库系统视图带来了很大的困难 .目前已有的多库系统视图维护算法只考虑了连接操作 (select project join,SPJ) ,如果全局视图是通过外连接生成的 ,这些算法就不能有效地维护多库系统视图的正确性 .提出了一种新的多库系统视图维护算法 ,它能够在有外连接及数据不一致的情况下高效地维护多库系统视图 ,并最大限度地减少了向局部数据库发送的查询数 。
- 韩伟红贾焰王志英杨晓东
- 关键词：视图维护多库系统数据模式
- WDM设备驱动程序的设计与实现被引量：20
- 2002年
- 设备驱动程序是硬件设备连接到计算机系统的软件接口。WDM是一种新的设备驱动程序模型,对它的研究对设计优秀的设备驱动程序有重要指导作用。文章分析了WDM的结构,并给出基本的编程技巧。
- 徐虎杨晓东
- 关键词：程序设计设备驱动程序WDM计算机
- 高性能集群系统互连设计
- 该文利用微机通过集群方式构筑高性能、容错的计算机系统为设计出发点，在分析常用的微种接口后，提出基于DIMM接口的一个系统互连设计方案，解决了系统互连中的软件和硬件实现的关键问题，给出了一个设计和实现高性能互连系统的有效途...
- 邓波杨晓东
- 关键词：系统互连接口微机
- 文献传递
- 参数化系统二维抽象框架被引量：1
- 2010年
- 针对参数化系统状态空间爆炸问题提出了一个通用的参数化系统二维抽象框架TDA。对所有进程单独进行抽象,利用参数化系统的设计思想,隐藏系统参数构建全系统的抽象模型,最大限度地剔除了原始系统中的冗余信息。建立的具有真并发语义的参数化系统的形式化模型,更适合描述一般意义上的并发系统,较好地解决了验证大规模同构和异构系统的空间激增问题。理论推导和实例均证实了TDA的正确性和合理性。
- 屈婉霞庞征斌郭阳李暾杨晓东
- 关键词：参数化系统多处理机系统CACHE一致性协议
- 一种改进的基于FPGA的32位对数变换器的设计与实现被引量：3
- 2007年
- 对数变换器是对数乘法器的重要组成部分,它们以精度换取更快的速度.设计并实现了一种基于FPGA的32位二进制对数变换器,主要由先导"1"检测电路、移位逻辑和误差校正电路组成,通过有效的误差校正算法提高了计算精度;给出了一种新的4位、16位和32位的基于FPGA的并行先导"1"检测电路PLOD,在保持低延时的同时,减小了先导"1"检测电路的功耗和面积;改进了现有的6-域校正算法,在提高精度的同时保持了硬件电路的规整性,降低了系统复杂度及面积和功耗开销;分两站流水实现校正操作,提高了系统的吞吐率;改进后的校正电路将对数操作的最大误差由30%降低到20%,区域1的平均误差大幅度降低.
- 牟胜梅杨晓东
- 关键词：FPGA
- 二值图像轮廓局部描述和检索方法被引量：3
- 2010年
- 提出了一种针对二值图像的基于轮廓分解和局部描述的检索策略。首先从二值图像中提取物体轮廓,采用特定的方法对轮廓进行分解,得到轮廓的参考点集。求取每一个参考点的对应弧线段,构造从参考点指向对应弧线上各点的向量集合。对向量集合进行Fourier变换,得到Fourier系数可以作为该参考点的特征向量,从而原图像就被表示为特征空间中的特征点集。最后,采用点匹配的方法来计算图像之间的距离,实现二值图像的检索。实验结果表明,与目前已有的方法相比该方法具有较高的检索精度。
- 杨晓东吴玲达谢毓湘杨征周文
- 关键词：FOURIER变换点匹配
- 一个低代价的完全自适应路由器设计被引量：2
- 1998年
- 互连网络路由器是MPP系统的关键部件，其性能优劣直接影响系统性能．本文在mesh结构上，针对完全自适应路由算法实现难度较大的问题，在性能、代价和实现复杂性上进行合理折衷，给出了一个代价低、自适应性强的完全自适应路由算法LCFAA，对传统的虫孔路由切换技术进行改进，提出了弹性虫孔路由切换技术（elasticwormhole），并采用基于虚通道的综合流控策略，设计了一个简洁高效的完全自适应路由器LFR。
- 刘燕孙利民杨晓东王志英
- 关键词：并行处理机MPP虚通道死锁
- 模型检验中抽象技术研究综述被引量：5
- 2006年
- 在模型检验中,抽象技术是解决状态空间爆炸问题的有效方法之一。论文描述了模型检验对抽象模型的基本要求,给出了抽象模型的定义及其评价指标,对抽象技术和自动化的抽象精化技术的主要方法及其研究进展作了比较深入、全面的综述,并讨论了抽象技术今后的发展方向。
- 屈婉霞李暾郭阳杨晓东
- 关键词：谓词抽象反例插值
- 基于视图自维护理论的高效视图维护机制
- 2001年
- 1 介绍
多库系统中的全局视衅是在全局数据模式上定义的,而全局数据模式由各局部数据库(Local Database: LDB)的数据模式通过异构模式消解得到.因此,对全局视图的存取操作要分解为针对多个LDB的子操作,可能还要对数据模式及查询语言进行相应的转换.如果每一次对全局视图的访问都要转换为底层数据库的访问,代价是很昂贵的,所以多库系统一般都保持物理的全局视图.底层关系的修改会导致全局视图的改变,因此在保存物理视图的多库系统中,当底层关系发生变化时,要对全局视图进行视图维护,使其与底层关系保持一致.
- 韩伟红贾焰王志英杨晓东
- 关键词：数据库系统视图维护数据模式
- 高吞吐率浮点FFT处理器的FPGA实现研究被引量：5
- 2008年
- 受浮点操作的长流水线延迟及FPGA片上RAM端口数目的限制,传统FFT处理器的吞吐率通常只能达到每周期输出一个复数结果。本文用FPGA设计并实现了一种高吞吐率的IEEE754标准单精度浮点FFT处理器,通过改进蝶形计算单元的结构并重新组织FPGA片上RAM的访问,该处理器每周期平均可输出约两个复数计算结果,吞吐率约为传统FFT处理器吞吐率的两倍。对于1024点FFT变换,可在(512+10)*10=5220周期内完成。
- 牟胜梅杨晓东
- 关键词：FPGA
