吴方君著2006 年出版185 页ISBN:7312013546
本书包括基于依赖性分析的Z形式规约切片及形式化描述,基于关系演算的Z形式规约切片,变量定义和使用情况的探讨,Z形式规约切片在提升和定理证明中的应用以及基于依赖性分析的Z形式规约度量。...
周红进,许江宁,覃方君著2017 年出版135 页ISBN:9787118114232
本书内容包括:提高载体角速度解算精度的分析和方法;基于单轴旋转的自主式对准技术;加速度计安装误差的“一步法”校准技术;引入更新四元素作为状态变量的建立与GPS组合导航的方法;研制GFINS实验装置的过程梳理总...