模块验证

Finally, the prototype of a new type snakelike robot based on the P-R module was produced, which further verified the agility of P-R module.

最后通过研制的新型攀爬蛇形机器人样机，验证了P-R模块的可实现和灵活性。

The ripple of static trajectories by PPM field is nearly equivalent to the one by solenoidal magnetic field superposing the small wavelet.

利用电子科技大学编写的微波管模拟套装中的3维注-波互作用模块进行了静态轨迹计算，验证了理论推导。

On the basement of passband subsampling and digital downconvertion, according to QPSK with 30M carrier frequency and 8M bandwidth, digital IF channel is elaborately analyzed .

以对中频为30MHz，带宽为±4MHz的输入QPSK信号进行带通欠采样和数字下变频为基础，提出和分析了中频数字化通道的实现方案，进行了相应的多相低通抽取滤波器的设计，并针对数字中频信号就数字下变频模块进行了仿真，从而验证了整个下变频系统参数设计的可行性。

On the basement of passband subsampling and digital downconvertion, according to QPSK with 30M carrier frequency and 8M bandwidth, digital IF channel is elaborately analyzed .In this module, multiple phase filters are elaborately designed .According to this module, IF digital signal is simulated .

以对中频为30MHz，带宽为±4MHz的输入QPSK信号进行带通欠采样和数字下变频为基础，提出和分析了中频数字化通道的实现方案，进行了相应的多相低通抽取滤波器的设计，并针对数字中频信号就数字下变频模块进行了仿真，从而验证了整个下变频系统参数设计的可行性。

The main content of this dissertation includes: 1. Research on the theory of ultrasonic power supply, introduce its development process. On the basis of these, fix on the scheme of medical ultrasonic low-power supply. 2. According to the principle of modularized design, divide medical ultrasonic low-power supply into four parts. They are power amplify circuit, power control circuit, frequency automatic tracking circuit and matching circuit. Separately research on their theories and design their circuits and necessary programs, especially, effectively resolve the problem tracking the supersonic vibration system with a narrow syntony frequency bandwidth and a high swing. 3. The matching experiments gain good result, and prove that medical ultrasonic low-power supply is entirely up to the mustard on intellectualization, wide band of working frequency, steady output and high efficiency.

本文工作的主要内容包括： 1、研究了超声功率电源的原理，并回顾了它的发展过程，在此基础之上确定本文医用小功率超声电源的设计方案； 2、按照模块化的设计原则，将医用小功率超声电源的设计分解为功率放大电路、功率控制电路、频率自动跟踪电路和匹配电路等四个部分，分别研究了各部分的原理，在此基础之上进行了具体的电路设计和程序设计，尤其是有效地解决了对谐振频率带宽窄振幅高的超声振动系统的频率跟踪问题； 3、通过与超声振动系统的各项配合实验，取得了很好的实验结果，验证了医用小功率超声电源完全满足智能化、工作频带宽、输出功率稳定、输出效率高的设计要求。

Issue (2) with the unverified components of CompCert can obviously be addressed by reimplementing and proving the corresponding passes.

问题(2)中未经验证的CompCert模块，毫无疑问可以通过重新实现和证明相关编译遍的方式来解决。

We used counting - interpolation time interval measurement principle and alternate storage ZDT, refined arming timing into two different measurement timing, pointed out requirement of zero dead time arming under different modulation domain measurements , gave the design of zero dead time module in modulation domain pulse analyzer, and introduced the realization method in detail. The correctness of the method has been verified in work.

文章采用计数-内插时间间隔测量原理和交替存储ZDT，并将触发时序提炼为两种不同测量时序，通过分析，指出不同测量时序下实现调制域测量功能对无死区触发要求，给出调制域脉冲分析仪无死区触发模块设计方案，详细介绍无死区需求实现方法，并已在工程中验证了该方法的正确性。

After that, a numerical model about Zhejiang shore tide is established by mike21 program. After validating the good agreement between simulated results and observed ones, the planar hydrodynamic flow of this ocean area is analysed in detail. Then co-tidal and co-range chart of each main tide is drew based on the computational result. It can be found that each co-tidal and co-range chart that is based on the simulated result is suitable to the co-tidal and co-range chart that is deduced from autoptical data, besides, the modle co-tidal and co-range chart can perfect the co-tidal and co-range chart from autoptical data where autoptical data is too hard to get .

在这之后，使用MIKE21水动力模块建立起浙江近海海域潮波模型，在模型潮位、潮流流速流向验证均合理的基础上，分析了计算得到的二维水动力流场，最后将模拟结果绘制出浙江近海M2、S2、N2、K1、O1主要分潮的同潮时图，并将其与实测同潮时图比较，发现各分潮等振幅线及同潮时线相同或相近值的等值线位置及走势基本一致，而且模拟得到的同潮时图对实测资料覆盖不到的海区做了适当补充。

Firstly, this article in view of the CATIA CLSF, elaborated this software post-processing way, the operating mode of the three principles, and has given the explanation to this software overall constitution; Secondly, after having analysised and researched thoroughly how the CATIA/CAM module creates the APTSOURCE file and its format, the rules of CNC milling machining center MODIMILL 4L, FIDIA PowerXP20system and the coordinate transformation of the machine tool, we programmed the code of CMSPP special post-processing software and compiled the interface based on the dialog box pattern which the fine outward appearance, is easy to operate; Finally, from machining practice, the NC program by the post-processing program can be run in the machining center to machine the part.

首先，本文针对CATIA刀位文件的特点，提出了该软件的后处理方式以及软件运行的三条原则，并对该软件的总体构成作了阐明：其次，本文对CATIA／CAM模块生成的APTSOURCE文件格式、FIDIA PowerXP20数控系统的规则以及MODIMILL 4L铣削加工中心坐标转换数学模型进行了深入的分析与研究，在此基础上用VC++6.0语言编写了CMSPP专用后处理软件的算法代码，并且基于对话框模式编写了外观精美、易于操作的功能界面；最后，通过实例验证表明：开发的后置处理软件所生成的数控加工程序能够在加工中心上运行并能进行有效地加工。

The applicability of this method is proved through the kinematical simulation of an eight DOF robot built using elementary modules.

通过对采用基本模块搭建的八自由度机器人构形的运动学实例仿真，验证了该方法的可行性。

This paper discusses design and realizable methods of remote test output interface from logical design angle.

本文从逻辑设计的角度讨论遥测输出接口的设计及实现方法。

This also 星体投射plies to buildings, structures and geological features.

这也适用于建筑物和地质特征。