沈胜宇
- 作品数：34 被引量：38H指数：4
- 供职机构：国防科学技术大学更多>>
- 发文基金：国家自然科学基金国家高技术研究发展计划高等学校全国优秀博士学位论文作者专项资金更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 用于物理编码子层的加扰方法及装置
- 本发明公开了一种用于物理编码子层的加扰方法及装置，加扰方法步骤如下：通过一个移位寄存器接收本轮加扰数据按照物理介质分组传输的每一个分组数据，且每一个周期将移位寄存器中存储的线性序列向左移动一个分组数据的长度；据标准加扰多...
- 沈胜宇王永庆肖灿文张磊徐炜遐肖立权庞征斌王克非戴艺
- 文献传递
- 用于数据链路层的并行自测试装置及其方法
- 一种用于数据链路层的并行自测试装置及其方法，该装置包括BIST使能模块、链路状态模块、控制模块、BIST控制器、BIST启动/停止报文产生器、BIST测试模式产生器、BIST序列报文封装器、BIST序列报文去封装器、BI...
- 王永庆徐炜遐王克非刘路肖灿文沈胜宇戴艺庞征斌张磊曹继军张鹤颖高蕾伍楠
- 最小布尔不可满足子式的求解算法被引量：6
- 2009年
- 解释布尔公式不可满足的原因在众多领域都具有非常重要的理论与应用价值,而最小不可满足子公式能够为公式不可满足的原因提供精确的解释,帮助自动化工具迅速定位错误,诊断问题失败的缘由.针对最小不可满足子式的求解问题,提出并证明了布尔公式最小不可满足性与极大可满足性之间的关系.基于二者的关系,提出了求解最小布尔不可满足子式的贪心遗传算法与蚁群算法,并且通过实验与当前最好的方法分支-限界算法进行了对比,结果表明:两种算法在运算效率以及单位时间内剔除的短句数上都显著优于分支-限界算法,而贪心遗传算法优于蚁群算法.
- 张建民沈胜宇李思昆
- 关键词：形式化验证蚁群算法
- 一种求解布尔不可满足子式的局部搜索算法
- 2009年
- 解释布尔公式不可满足的原因在众多领域都具有非常重要的理论与应用价值,而不可满足子式能够为公式不可满足的原因提供精确的解释,帮助应用领域的自动化工具迅速定位错误,诊断问题失败的本质缘由。近年来涌现了许多基于SAT求解器DPLL回溯搜索过程的完全算法,但关于不完全方法提取不可满足子式的研究相对较少。因此,本文提出一种采用启发式局部搜索过程从公式的不可满足性证明中求解布尔不可满足子式的算法。该算法根据公式的消解规则通过局部搜索过程直接构造证明不可满足性的消解序列,并融合了布尔推理技术以提高搜索效率;而后通过一个递归过程遍历证明序列从而得到不可满足子式。通过实验与贪心遗传算法进行对比,结果表明本文提出的算法优于贪心遗传算法。
- 张建民沈胜宇李思昆
- 关键词：局部搜索
- 可满足性求解技术研究被引量：3
- 2010年
- 求解公式的可满足性在诸如形式化验证、电子设计自动化与人工智能等众多领域中都具有非常重要的理论与应用价值,成为近年来的研究热点。本文针对命题公式与一阶公式的可满足性问题,重点介绍了布尔可满足性与可满足性模理论求解技术的基本原理,并且根据算法的类型进行分类阐述,分析了各种算法的优缺点。最后,讨论了目前面临的主要挑战,对今后的研究方向进行了展望。
- 张建民沈胜宇李思昆
- 布尔不可满足子式的求解方法研究进展被引量：2
- 2008年
- 解释布尔公式不可满足的原因在诸如形式化验证与电子设计自动化等众多领域中都具有非常重要的理论与应用价值.不可满足子式能够为布尔公式不可满足的原因提供精确的解释,帮助应用领域的自动化工具迅速定位错误,诊断问题失败的本质缘由.针对近年来出现的许多求解布尔不可满足子式的研究工作,根据算法的类型归类比较,对各种求解方法进行了概述评论,并简要介绍了在该领域所做的一些研究工作.最后讨论了布尔不可满足子式的求解方法目前面临的主要挑战,并对今后的研究方向进行了展望.
- 李思昆张建民沈胜宇
- 关键词：形式化验证
- 支持报文交叉存储的动态共享缓冲方法
- 本发明公开了一种支持报文交叉存储的动态共享缓冲方法，其实施步骤如下：1）预先建立缓冲区和寄存器组；2）判断新报文切片的类型，根据类型分配缓冲地址、分配或更新寄存器组，修改缓冲区中前一个报文切片的下级切片地址指针，将新报文...
- 徐炜遐肖灿文王永庆刘路张鹤颖沈胜宇张磊戴艺伍楠曹继军高蕾
- 文献传递
- 通用接口控制器GPIO_WB IP核设计与实现被引量：2
- 2004年
- 通用IO接口是SoC系统中非常重要的一种外围端口。本文完成了一种基于WISHBONE总线的GPIO_WB控制器IP核的逻辑设计和物理实现,较具体地介绍了GPIO_WBIP核的体系结构以及WISHBONE接口和DMA传输方式的设计方案,并对所设计实现的GPIO_WB性能及可重用性做了分析,结论表明,与已有的通用IO接口IP核相比,GPIO_WBIP核具有性能高、实现代价小、硬件简单、可重用性好、易于扩展等优点。
- 张建民沈胜宇宋廷强高树静李思昆
- 关键词：WISHBONESOCIP核直接存储器访问
- 基于片内连接管理的RDMA通信方法
- 本发明公开了一种基于片内连接管理的RDMA通信方法，实施步骤如下：1）在网络接口卡中建立发送上下文数据结构、接收上下文数据结构；在主机内存中建立的描述符队列、短消息接收队列、完成事件队列；2）源节点主机向主机内存中的描述...
- 肖立权王克非曹继军刘路肖灿文庞征斌夏军王永庆张鹤颖张磊沈胜宇戴艺高蕾
- 文献传递
- 基于异步物理层接口的PCIe接口芯片硬件验证方法
- 本发明公开了一种基于异步物理层接口的PCIe接口芯片硬件验证方法，其实施步骤如下：1)构建具有标准PCI Express接口的FPGA硬件平台；2)在待验证的PCI Express接口芯片ASIC代码中的PCI Expr...
- 肖立权张磊王克非刘路沈胜宇王学慧张鹤颖肖灿文王永庆伍楠戴艺曹继军高蕾
