张建民
- 作品数：114 被引量：28H指数：3
- 供职机构：国防科学技术大学更多>>
- 发文基金：国家自然科学基金国家高技术研究发展计划国家重点基础研究发展计划更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 一种多线程并行执行的硬件SAT求解器
- 本发明提供了一种多线程并行执行的硬件SAT求解器，包括第一寄存器模块、第一评估模块组、缓存器模块组、计数器模块、变元翻转模块、概率映射表、FIFO树组、第二寄存器模块组、第二评估模块和第三寄存器模块。本发明提供的一种多线...
- 黎铁军马柯帆张建民常俊胜孙岩翦杰王强熊泽宇肖灿文徐佳庆
- 布尔不可满足子式的求解方法研究进展被引量：2
- 2008年
- 解释布尔公式不可满足的原因在诸如形式化验证与电子设计自动化等众多领域中都具有非常重要的理论与应用价值.不可满足子式能够为布尔公式不可满足的原因提供精确的解释,帮助应用领域的自动化工具迅速定位错误,诊断问题失败的本质缘由.针对近年来出现的许多求解布尔不可满足子式的研究工作,根据算法的类型归类比较,对各种求解方法进行了概述评论,并简要介绍了在该领域所做的一些研究工作.最后讨论了布尔不可满足子式的求解方法目前面临的主要挑战,并对今后的研究方向进行了展望.
- 李思昆张建民沈胜宇
- 关键词：形式化验证
- 一种高速互连网络中低开销的拥塞控制方法
- 本发明公开了一种高速互连网络中低开销的拥塞控制方法，本发明在目的节点动态发送CNP报文时根据目的节点的CNP报文回传路径的拥堵状况选择指定的将多个FECN标记产生一个CNP报文的方式控制CNP报文的产生方式并在CNP报文...
- 孙岩常俊胜赖明澈张建民陆平静徐金波罗章齐星云黎渊欧洋王强熊泽宇王崇峰
- 文献传递
- 用于高速互连网络接口芯片的DMA通信装置、芯片、设备及方法
- 本发明公开了一种用于高速互连网络接口芯片的DMA通信装置、芯片、设备及方法，装置包括DMA写请求处理模块和DMA读请求处理模块，DMA写请求处理模块包括DMA写请求FIFO、DMA写数据FIFO、DMA写请求接收计数器、...
- 欧洋常俊胜张建民翦杰黎渊罗章徐金波孙岩董德尊熊泽宇王子聪
- 文献传递
- 一种容错目录高速缓存控制器
- 本发明针对传统目录Cache容错性不强、可靠性不高，无法满足空间环境或复杂电磁环境的要求，公开了一种容错目录高速缓存控制器，包含4个完全相同的目录缓存体、目录访问旁路、目录访问交叉开关、访存交叉开关与配置寄存器。通过设计...
- 张建民黎铁军肖立权庞征斌王克非常俊胜齐星云徐金波罗章董德尊赖明澈黎渊徐实马柯帆
- 文献传递
- 面向高速缓冲存储器的可综合伪随机验证方法及装置
- 本发明公开了一种面向高速缓冲存储器的可综合伪随机验证方法及装置，方法步骤如下：1)建立数据镜像模块并初始化；2)生成伪随机数，构造访存控制数据信号并发送到高速缓冲存储器，同时启动超时计数器并在超时后报告超时错误；当收到高...
- 张建民罗章徐金波董德尊赖明澈陆平静黎铁军王绍刚徐炜遐肖立权庞征斌王克非夏军童元满陈虎张峻齐星云王桂彬常俊胜
- 阶数灵活的低直径大规模互连网络拓扑结构及路由方法
- 本发明公开了一种阶数灵活的低直径大规模互连网络拓扑结构及其路由方法，解决已有互连网络拓扑结构无法克服现有路由器工艺的缺点与不足的问题。技术方案是：整个拓扑由nq个超级路由节点按照n个簇、每个簇内q个超级路由节点、以Gal...
- 董德尊雷斐廖湘科肖立权庞征斌王克非夏军常俊胜齐星云张建民徐金波王绍刚戴艺罗章赖明澈黎渊吴际李存禄杨文祥
- 文献传递
- 通用接口控制器GPIO_WB IP核设计与实现被引量：2
- 2004年
- 通用IO接口是SoC系统中非常重要的一种外围端口。本文完成了一种基于WISHBONE总线的GPIO_WB控制器IP核的逻辑设计和物理实现,较具体地介绍了GPIO_WBIP核的体系结构以及WISHBONE接口和DMA传输方式的设计方案,并对所设计实现的GPIO_WB性能及可重用性做了分析,结论表明,与已有的通用IO接口IP核相比,GPIO_WBIP核具有性能高、实现代价小、硬件简单、可重用性好、易于扩展等优点。
- 张建民沈胜宇宋廷强高树静李思昆
- 关键词：WISHBONESOCIP核直接存储器访问
- 基于多维尺度变换的虫洞拓扑识别方法
- 本发明公开了一种基于多维尺度变换的虫洞拓扑识别方法，实施步骤如下：1)网络图中的每个节点分别获取局部化连接关系图，获取局部化连接关系图中所有节点之间的最短距离矩阵；2)以最短距离矩阵为输入，利用多维尺度变换对局部化连接关...
- 董德尊鲁晓佩廖湘科赖明澈陆平静王绍刚徐炜遐肖立权庞征斌王克非夏军童元满陈虎张峻齐星云王桂彬常俊胜张建民罗章徐金波
- 一种基于动态阈值的高速网络拥塞控制方法和装置
- 本发明公开了一种基于动态阈值的高速网络拥塞控制方法和装置，本发明基于动态阈值的高速网络拥塞控制方法包括：检测当前时刻的端口缓冲队列长度的梯度G；基于端口缓冲队列长度的梯度G表示的队列的变化趋势来动态调整基于拥塞打标ECN...
- 孙岩常俊胜黎渊张建民罗章欧洋徐金波陆平静熊泽宇王子聪王强吕方旭翦杰
