- 基于天空分割的去雾算法在目标检测中的应用
- 1
- 《计算机应用与软件》首都师范大学信息工程学院电子系统可靠性技术北京市重点实验室;首都师范大学成像技术北京市高精尖创新中心;首都师范大学信息工程学院轻型工业机器人与安全验证北京市重点实验室;首都师范大学电子系统可靠性与数理交叉国际科技合作基地 朱晓霞 施智平 邵振洲 关永 任长娥 出版年:2020
- 关键词:消失点检测 天空分割 暗通道 自适应去雾 道路目标检测 Yolo
- 摄动开普勒问题形式化建模与验证
- 2
- 《小型微型计算机系统》首都师范大学信息工程学院;首都师范大学北京成像理论与技术高精尖创新中心;北京城市学院信息学部;首都师范大学电子系统可靠性与数理交叉学科国家国际科技合作示范型基地 王国辉 许京然 刘永梅 施智平 关永 出版年:2020
- 关键词:形式化验证 定理证明 几何代数 摄动 卫星轨道