查询词典 quaternion function

The research on the CCD sensor information is used to determinate the satellite attitude system without gyroscope .(1) Using quaternion and MRP as attitude representation , the attitude kinematics function are established . The satellite attitude dynamics function is established,that is disturbed by the first-order Markov force moment.(2) Using the quaternion as attitude representations, the attitude determination state estimator EKF and UKF are designed , numerical simulation is done .

基于CCD星敏感器的无陀螺测量卫星姿态确定系统的研究(1)针对地球同步轨道卫星，分别建立了以姿态四元数和修正罗德里格参数为卫星姿态描述参数的姿态运动方程；建立了卫星受一阶马尔柯夫干扰力矩时的卫星姿态动力学方程；(2)设计了采用姿态四元数为卫星姿态描述参数的EKF和UKF估计器，设计了分别以姿态四元数和修正罗德里格参数为卫星姿态描述参数的UKF估计器，并进行了数学仿真。

This paper firstly reviews the history of Automated Theorem Proving and Mizar,then gives a description of methods of mechanical theorem proving and verification to mathematical proposition under Mizar system.Based on that basis,the paper has done some Mizar researches on mixed operation of quaternion,differentiati- on of special composite function and the application of Rolle\'s theorem.

本文首先介绍了定理机器证明和Mizar语言系统的发展历史，其次简单描述了Mizar系统下定理机器证明和校验数学命题的方法，在此基础上对四元数的混合运算，特殊复合函数的微分以及洛尔定理的应用等方面进行了Mizar实现。

In this paper,pose representation by quaternions are researched.With the basic quaternion algebra,the "quaternion based rotations combination theorem" is introduced and proved theoretically.On the basis of this theorem,a method for compute of pose nonliear state transfer function and its linearization is purposed.Then,the computing of the measurement function and the linearization is studied.With the Extended Kalman Filter,the pose is tracked and estimated.

研究用四元数表示物体的姿态，在四元数基本运算法则基础上提出并证明了"基于四元数的多个旋转运动合成规则"，然后将此规则为依据，推导出一种用来计算姿态非线性状态方程系数的方法，对非线性状态转移函数进行线性化，并且研究了测量方程函数的确定及线性化，借助扩展Kalman滤波实现了对姿态的跟踪。

After analyzing the relation between a quaternion function and the angular velocity it represents, a smooth angular velocity interpolation algorithm is proposed.

在分析了四元数函数与角速度的关系后，提出了角速度光滑插值的方法，并能计算出任一时间角速度的值。

This article discusses fix quantity connection between quaternion non-linearity continuous function △ERR_ and △ERR_ in the reference literature~([1]),and its decisive effect on distributing evolvement disperse drop field in the error ratio function ERR_(100nm%)λ_(centreT,n,thus paves the way for the function degree of redundancy of Pipelined-Flash A/D.

本文讨论参考文献[1]中两类四元非线性连续函数△ERRdn与△ERRdj之间的定量关系，对误差比率函数ERR100nm%离散点域分布演变所起的决定性作用。

The split between the two groups can hardly be papered over.

这两个团体间的分歧难以掩饰。

This approach not only encourages a greater number of responses, but minimizes the likelihood of stale groupthink.

这种做法不仅鼓励了更多的反应，而且减少跟风的可能性。