查询词典 presents

This theory emerged from those philosophical and logical inquires Russell made in his early stage, when Russell use logical analysis to solve the semantics problem his meaning theory suffered. The foundation of the theory of descriptions is a theory of meaning, as this thesis presents, and its central notion includes two syntax rules. Based on the first order predicates calculus, this theory seems successfully solve some notable semantics problems and then assures Russell's denotation theory.

本文认为，摹状词理论有深刻的哲学渊源，它脱胎于罗素早期的哲学和逻辑研究，直接缘起于罗素想要利用逻辑的分析方法去解决意义指谓论所面临的语义学难题；摹状词理论的基础是它的意义理论，核心是两个句法规则，它基于带等词的一阶谓词演算成功地解决了一些著名的语义学难题，维护了直观的指谓论，从而产生了巨大而深刻的哲学影响。

In the firth section, this paper presents a modified Lyapunov control strategy.

本文第五部分提出了改进的Lyapunov控制策略。

Elegant curves The most fitting fishtail skirt women's S-shaped curve, but the latest style fishtail skirt below the buttocks will not collect too tight, hem slowly from the knees open, in general presents a more slender A-shaped, more modifications figure, walking is also more convenient.

优雅曲线鱼尾裙最能展现女性的 S 形曲线，而最新的鱼尾裙款式臀部以下不会收得过紧，下摆从膝盖以上慢慢打开，总体呈现为更修长的 A 形，更修饰身材，行走也更方便。

This paper presents a new fractional block coding approach with concept of fixed vector. The approach uses lineral combination of fixed vector in image flat, and it adopts hierarchical thought about fractional coding.

将固定矢量的概念应用于分形块编码中，对图象的平缓区进行固定矢量的线性组合编码，并且在分形编码中，采取了分层处理的思想。

We presents an accurate F method based on corresponding point adjustment.The method adjusts coresponding points according to the fixedness of projective transformed cross ratio,then calculates F matrix accurately through linear and non-linear methods. When computing intrinsic parameter,A matrix,we simplify the step,and stress on the two important parameters of A.The result will be getten through solving Kruppa equation based on SVD decomposition.In order to compute extrinsic parameters,we use linear method to get initial R and t,then apply non-linear method to accurate them.

提出了基于匹配点调整的F求精方法，先根据摄影交比不见性对手工选择的匹配点进行调整，再用线性、非线性结合的方法求精F矩阵；在计算内部参数A中，进行了一定的简化，把重心放在A中重要的两个参数上，用SVD分解法计算Kruppa方程；在计算外部参数时，首先用线性法求解R、t，然后再用非线性法迭代求精。

In the self - calibration scheme , the thesis emphasizes the accuracy of camera intrinsic and extrinsic parameters . we presents an accurate f method based on corresponding point adjustment . the method adjusts coresponding points according to the fixedness of projective transformed cross ratio , then calculates f matrix accurately through linear and non - linear methods . when computing intrinsic parameter , a matrix , we simplify the step , and stress on the two important parameters of a . the result will be getten through solving kruppa equation based on svd decomposition . in order to compute extrinsic parameters , we use linear method to get initial r and t , then apply non - linear method to accurate them

提出了基于匹配点调整的f求精方法，先根据摄影交比不见性对手工选择的匹配点进行调整，再用线性、非线性结合的方法求精f矩阵；在计算内部参数a中，进行了一定的简化，把重心放在a中重要的两个参数上，用svd分解法计算kruppa方程；在计算外部参数时，首先用线性法求解r、 t ，然后再用非线性法迭代求精。

The big photos, banners, flags and a lot of presents from our fans.....

的大照片，标语，旗帜和大量的礼物从我们的球迷。。。。。

Presents a torsional vibration model during the flameout of a cylinder with the system matrix method.

利用系统矩阵法建立了车辆动力传动系在发动机一缸熄火时的扭振数学模型。

This paper presents the mathematical model of heat transfer on flange plate.

建立了法兰盘两侧热传导的数学模型。

This paper presents an open VHDL simulation environment OVSE, which includes the modules of compiler, flattener, linker and simulator HSIM to verify the correctness of hierarchical design of digital circuitry at logic level.

开放的VHDL模拟环境OVSE林守勋，郭玉钗，林宗楷（中国科学院计算技术研究所CAD开放研究实验室，北京100080）摘要本文介绍了一个开放的VHDL模拟环境。

In the United States, chronic alcoholism and hepatitis C are the most common ones.

在美国，慢性酒精中毒，肝炎是最常见的。

If you have any questions, you can contact me anytime.

如果有任何问题，你可以随时联系我。