Finally, we prove the frame completeness of KA with respect to the frame conditions as well.
最后,我们证明KA相对这个框架条件也是框架完全的。
Secondly, we introduce the relation semantics, give the frame conditions of the character axioms of KA, prove the frame soundness of KA with respect to the frame conditions.
其次,我们引入关系语义,给出描述KA的特征公理的框架条件,证明KA相对这个框架条件是框架可靠的。
These radios will be integrated with Hughes’ commercial, off-the-shelf products and broadband satellite communications capabilities. Hughes HX system utilizes Ku-, Ka- or X-band antennas and routes.
这些无线电将与休斯公司的商业产品和宽带卫星通信能力进行集成。
应用推荐