曹占涛
- 作品数：8 被引量：2H指数：1
- 供职机构：电子科技大学更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：自动化与计算机技术医药卫生电子电信更多>>
- 图像的检测装置
- 本发明实施例提供了一种图像的检测装置，涉及医学技术领域。所述方法包括获取待检测的超声波图像，再根据预设的目标检测网络模型对所述待检测的超声波图像进行检测，获取所述待检测的超声波图像中的目标对象，以此实现自动检测到超声波图...
- 杨国武秦晓明曹占涛曾安军聂婧梁涛董俊文吕凤毛林晨张艳张菊玲
- 文献传递
- 一种基于关键点学习的乳腺超声影像分类方法
- 本发明公开了一种基于关键点学习的乳腺超声影像分类方法，首先将超声影像集预处理，将超声影像训练集划分为m个子集，并训练m‑1个基于神经网络的良恶性预测模型；然后根据BI‑RADS评级标准，给出6个关键点的学习方法，对输入的...
- 杨国武陈琴曹占涛王刚张孟华孔令宇
- 基于修正标签分布的乳腺超声图像分类被引量：1
- 2020年
- 针对乳腺超声图像分类中的标签噪音问题,该文设计了一种协作标签修正网络(COLC-Net)。该方法基于乳腺超声BI-RADS评级噪音分布特点,为乳腺超声图像定义了软标签,并设计了双网络协作训练,以蒸馏优秀知识修正软标签。随着软标签准确性的增加,可以降低噪音标签负作用,并增强准确标签知识的学习。与现有最新方法进行比较,结果证实了该方法具有更好的效果。
- 曹占涛杨国武陈琴吴尽昭李晓瑜
- 图像的检测方法及装置
- 本发明实施例提供了一种图像的检测方法及装置，涉及医学技术领域。所述方法包括获取待检测的超声波图像，再根据预设的目标检测网络模型对所述待检测的超声波图像进行检测，获取所述待检测的超声波图像中的目标对象，以此实现自动检测到超...
- 杨国武秦晓明曹占涛曾安军聂婧梁涛董俊文吕凤毛林晨张艳张菊玲
- 基于广义符号轨迹赋值模型验证的反例的产生被引量：1
- 2010年
- 广义符号轨迹赋值(Symbolic Trajectory Evaluation)引入了符号变量和抽象技术,解决了验证中状态爆炸的问题,但是却为寻找反例制造了很多障碍。针对此,提出了一种高效的寻找反例的算法,它应用集合的概念,通过回溯在父子路径之间进行集合的交集,可以高效地解决抽象引起的问题。并对此算法进行改进,解决了符号变量带来的问题。
- 李义年曹占涛郑德生杨国武
- 关键词：反例形式化验证
- 基于GSTE理论的反例研究
- 在过去几十年,人们对信息技术大量需求,微电子技术高速发展,使得集成电路的规模和复杂度越来越高,这些对集成电路的设计和制造提出了更高的要求。在亿万级的晶体管电路中,完全不出现错误是非常难的,1994年Intel公司的芯片中...
- 曹占涛
- 关键词：BDDSTE形式化验证
- 文献传递
- 一种基于关键点学习的乳腺超声影像分类方法
- 本发明公开了一种基于关键点学习的乳腺超声影像分类方法，首先将超声影像集预处理，将超声影像训练集划分为m个子集，并训练m‑1个基于神经网络的良恶性预测模型；然后根据BI‑RADS评级标准，给出6个关键点的学习方法，对输入的...
- 杨国武陈琴曹占涛王刚张孟华孔令宇
- 文献传递
- 深度学习在医学图像辅助诊断中的应用研究
- 医学图像是临床诊断中不可或缺的工具，但解读医学图像并给出诊断结论是劳动密集型工作，迫切需要一种高效的计算机辅助诊断系统，帮助临床医生更好的判读和决策。深度学习的最新进展，使能够重新思考基于医学图像的计算机辅助诊断方法，尽...
- 曹占涛
- 关键词：医学图像图像分类置信度
