摄动开普勒问题形式化建模与验证

著录项

• 来源
  《小型微型计算机系统》 |2020年第2期|440-444|共5页
• 作者

  王国辉; 许京然; 刘永梅; 施智平; 关永;

  展开▼
• 作者单位

  1. 首都师范大学信息工程学院电子系统可靠性技术北京市重点实验室 2. 首都师范大学北京成像理论与技术高精尖创新中心 3. 北京城市学院信息学部 4. 首都师范大学电子系统可靠性与数理交叉学科国家国际科技合作示范型基地;

  展开▼
• 原文格式 PDF
• 正文语种 chi
• 中图分类 V412.41;
• 关键词

  形式化验证; 定理证明; 几何代数; 摄动; 卫星轨道;