查询词典 on-line output

Based on paper [1] and [2], this paper gives two generating algorithms to calculate and output the special conjunctive normal forms and special disjunctive forms of given propositional formulas automatically and formally.

摘要在文[1]和文[2]的基础上，给出了命题逻辑中任一命题公式的主析取范式和主合取范式的自动生成算法，并实现了多个命题公式主范式的同时形式化输出。

Then optimize your music videos for saving to disk and output them for sharing on the Web or CD as one of a few common digital video formats including AVI, AVI-DV, Windows Media, MPEG1 and RealMedia.

然后，优化您的音乐录影带保存到磁盘和输出他们在Web上共享或CD之一，几个常见的数字视频格式，包括视频格式变， Windows媒体， MPEG1和RealMedia 。

A display unit displays the image data and UI data output from the selector on corresponding display areas.

显示单元在相应的显示区上显示从选择器输出的图像数据和UI数据。

The effect on output power of distribution of space variation, crystal length and transmissivity has been discussed in detail.

讨论了泵浦光及振荡光的空间分布变量、晶体长度和透射率对输出功率的影响。

At different points in this chapter we have made the classical theory to depend in succession on the assumption:(1)that the real wage is equal to the marginal disutility of the existing employment;(2)that there is no such thing as involuntary unemployment in the strict sense;(3)that supply creates its own demand in the sense that the aggregate demand price is equal to the aggregate supply price for all levels of output and employment.

高译：在本章以上的各个地方，我们指出：古典学派的理论依次取决于下列假设条件：(1)实际工资等于现行的就业量的边际负效用；(2)严格意义上的非自愿失业并不存在；(3)供给创造自己的需求，其意义为：在产量和就业的任何水平，总需求的价格都等于总供给价格。

Based on the traditional geometric optics principles and the method of ray tracking, this paper reports the calculation of the aberration of the mode index lens when the collimated beam incidents upon it inclinely with an angle, and the divergency of the output beam from the MIL when it works as a collimator for the end-butt coupling between the semiconductor laser and the waveguide.

本文从传统几何光学原理出发，用光线追迹的方法来计算研究准直光束斜入射到模折射率透镜上产生的像差，以及当半导体激光器与波导端射耦合以MIL作为准直透镜时，输出准直光束的发散情况，并探讨MIL在集成光学频谱分析仪中作为准直或会聚透镜的适用性。

Based on the desired trajectory and real output dynamical information of the control system, a basic iterative learning control algorithm is suggested, its ε-convergence is derived, and the interval length of local symmetrical double integral is determined.

基于理想轨线与控制系统的实际输出动态信息，提出基本的迭代学习控制算法并分析和论证算法的收敛性，给出局部对称积分区间参数的确定策略。

Based on the desired trajectory and real output dynamical information of the control system, a basic iterative learning control algorithm is suggested, its e-convergence is derived, and the interval length of local symmetrical double integral is determined.

基于理想轨线与控制系统的实际输出动态信息，提出基本的迭代学习控制算法并分析和论证算法的收敛性，给出局部对称积分区间参数的确定策略。

Because it will show double refraction after the sine wave operate on crystal, it will make the latter part of this system, the signal disposal part, give demand with detecting the output wave and deal with it so that the system can meet the demand of the system. The system can be applied to the occasion of automatic control system etc.

利用正弦波通过晶体后能产生双折射现象，使系统的后一部分——信号处理部分通过对其的检测、处理，给出命令信号，进行随动跟踪，然后应用于自控系统等场合。

Depending on whether the input or output link can make fully rotation, the types can be drag link, crank-rocker, rocker-crank, double-rocker, or unassembled.

上述类型主要依连杆机构的输入杆及输出杆是否可完全旋转，共有牵杆、曲柄摇杆、摇杆曲柄、双摇杆及无法组合等五种。

We have no common name for a mime of Sophron or Xenarchus and a Socratic Conversation; and we should still be without one even if the imitation in the two instances were in trimeters or elegiacs or some other kind of verse--though it is the way with people to tack on 'poet' to the name of a metre, and talk of elegiac-poets and epic-poets, thinking that they call them poets not by reason of the imitative nature of their work, but indiscriminately by reason of the metre they write in.

索夫农 、森那库斯和苏格拉底式的对话采用的模仿没有一个公共的名称；三音步诗、挽歌体或其他类型的诗的模仿也没有——人们把&诗人&这一名词和格律名称结合到一起，称之为挽歌体诗人或者史诗诗人，他们被称为诗人，似乎只是因为遵守格律写作，而非他们作品的模仿本质。

The relationship between communicative competence and grammar teaching should be that of the ends and the means.

交际能力和语法的关系应该是目标与途径的关系。