真值

By the proposed method, the true north value can be obtained in 10 s after gyro operates through a counting cursor to calculate the movement velocity and acceleration, and it can also compensate the low precision caused by an electronic compass.

该方法通过计算光标运动的速度与加速度值，能够在陀螺开始寻北数秒后即测量出真北值，并且能够弥补电子罗盘初寻北精度过低的问题，是全自动寻北策略的重要组成部分。

Based on the outcome of Xu Yang and Qin Keyun about lattice implication algebra and lattice-valued prepositional logic LP with truth-value in a lattice implication algebra, the author studied the properties of lattice implication algebra and the α-automated reasoning method based on α-resolution principle of LP. The specific contents are as follows: The Study of Lattice Implication Algebra On the basis of previous results of lattice implication algebra, this part consists of the following three points: 1. Some properties of lattice implication algebra L were discussed, and some important results were given if L was a complete lattice implication algebra. 2. The properties of left idempotent elements of lattice implication algebras were discussed, and the conclusion that lattice implication algebra L was equals of the directed sum of the range and dual kernel of a left map constructed by a left idempotent element was proved. 3. The properties of the filters of lattice implication algebra were discussed, the theorem was shown that they satisfy the hypothetical syllogism and substitute theorem of the propositional logic. 4. The concept of weak niters of lattice implication algebras and their properties and structures are discussed. It is proved that all weak filters of a lattice implication algebra form a topology and the the implication isomorphism betweem two lattice implication algebras is a topological mapping between their topological spaces. The Study of α-automated reasoning method based on the lattice-valued propositional logic LP In this part, the author given an a-automated reasoning method based on the lattice-valued propositional logic LP.

本文基于徐扬和秦克云的关于格蕴涵代数和以格蕴涵代数为真值域的格值命题逻辑系统LP的研究工作，对格蕴涵代数以及格值命题逻辑系统LP中基于α-归结原理的自动推理方法进行了系统深入的研究，主要有以下两方面的研究成果：一、关于格蕴涵代数的研究 1、对格蕴涵代数的格论性质进行了研究，得到了当L为完备格蕴涵代数时，关于∨，∧，→运算的一些结果； 2、对格蕴涵代数的左幂等元进行了研究，证明了格蕴涵代数L可以分解为任何一个左幂等元所对应的左映射的像集合与其对偶核的直和； 3、对格蕴涵代数的滤子的性质进行了研究，证明了滤子的结构相似于逻辑学中的Hypothetical syllogism规则和替换定理； 4、给出了格蕴涵代数中弱滤子的概念，对弱滤子的性质个结构进行了研究，证明了格蕴涵代数的全体弱滤子构成一个拓扑结构，格蕴涵代数之间的蕴涵同构是相应的拓扑空间之间的拓扑映射。

AtEndOfLine Returns true if the file pointer is positioned immediately before the end-of-line marker in a TextStream file, and false if not

如果指针直接指向文本文件中"最末一行"的标记前，那么，他返回的值为"真"；否则，它返回的值为"假"。

By processing the measured data of the multispectral pyrometer at two different time, the true temperature and spectral emissivities at two different time can be simultaneously calculated.

经对国外的标准铌试样进行了测试，所得数据与国外同行的测量数据进行了比对，具有较好的一致性，实验结果表明，熔点真温计算值与生产者提供的值之差在 20K以内。

On the basis of the RMS definition a method for measuring TRMS of distortion sinusoid or non-sinusoid is introduced in the paper.

介绍了一种基于交流信号有效值定义测量失真正弦波或非正弦波真有效值的方法，解决了平均值法在测量失真正弦波时引起显著测量误差的问题。

Another angle to understand p values : If the null is true, what is the probability of observing a t statistic like the calculated one

理解p值的其它角度：如果零假设为真，那么有多大的概率可以观察到算得的 t 值？

This paper presents a non-watermarking algorithm based on the most significant bits to construct the key. Firstly, the binary watermarking image is scrambled and extended to the size of the main image. Then the value of every pixel of the watermarking image is compared with that of the corresponding MSB of the main image. When the compared value is true, the location of the main image is marked by a zero matrix, and the marked zero matrix is a key that can be used to detect the watermarking image later.

本文提出一种基于最高有效位构造密钥的零水印算法，先将二值水印图像置乱并拓展为载体图像的大小，再将其像素值与载体像素的MSB进行对应比较，当比较结果为真时，用一个零矩阵来标记载体像素的位置，被标记过的零矩阵作为密钥来检测水印。

This paper presents a nonwatermarking algorithm based on the most significant bits to construct the key. Firstly, the binary watermarking image is scrambled and extended to the size of the main image.Then the value of every pixel of the watermarking image is compared with that of the corresponding MSB of the main image. When the compared value is true,the location of the main image is marked by a zero matrix, and the marked zero matrix is a key that can be used to detect the watermarking image later.

本文提出一种基于最高有效位构造密钥的零水印算法，先将二值水印图像置乱并拓展为载体图像的大小，再将其像素值与载体像素的MSB进行对应比较，当比较结果为真时，用一个零矩阵来标记载体像素的位置，被标记过的零矩阵作为密钥来检测水印。

Fluxgate sensor inducts the environment magnetic field, outputs the compass course signal to the CPU system. This signal then is transformed into digital signal. CPU processes it and then gains compass course. When use rotary mathod to measure the deviations, CPU first collects timed the compass course come from the Fluxgate sensor, then calculates automatically their deviations and the correspondent coefficients. Based on all this, CPU can calculates out the real-time magnetic course or the real-time ture course, then sents them to display on the digital displayer.

本系统采用磁通门传感器来直接敏感合成磁场，输出罗航向直流感应电压信号送A/D转换器进行转换，并经CPU计算处理得到罗航向度数值，以及利用&旋回法&测定自差时，CPU按照船舶旋回的角速度定时地采集罗航向度数值，在此基础上CPU自动地计算出各采集罗航向上的白差，再由此计算出自差系数，并实时地解算出磁航向值或真航向值，送数码显示器显示。

By definition, the numeric value of a relational or logical expression is 1 if the relation is true, and 0 if the relation is false.

根据定义，在关系表达式或逻辑表达式中，如果关系为真，则表达式的结果值为数值1；如果为假，则结果值为数值0。

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.

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