查询词典 symbolic method

This paper gives the study of polynomial symbolic algebraic theory in formal verification method.

本文研究基于多项式符号代数理论的形式化验证方法。

However,"JueLanCaiWei" still conveys a multiple meaning more extensive than "Absorption" in terms of learning or studying. Zubin's paintings tell what is regarded by him as an empirical or traditional existence has formed a kind of rhetoric to his paintings, for example, a restrained cynicism of the Ming and Qing Dynasty and even the times of the Republic of China or some conceits conjured upon a primitive thinking mode. No matter which it may be, the understanding of "symbolism" and "allegory" frankly shown by Zubin himself is more his interest in some particular drawing method than the outcome of "plucking" the fruitful tradition. Although he delightfully demonstrates an impressive charm of the traditional language indeed, the symbolic or allegoric meaning of his paintings depends not on the language itself but on some inexpressible secrets in his view of life by means of images.

不过， 作为学习立场的表述，"嚼兰采薇"依旧隐约传达出比"吸收"更大的多义性，祖斌的画作证实：那些被他视作经验或传统的存在，已然构成自己作品图式的某些修辞，譬如一种婉约的明清甚至民国时代的玩世情调，或者部分以原始思维模式臆造的奇思妙想，但无论前者或后者，祖斌所坦言的关于"象征"和"寓意"的理解与其说是他咀嚼或采摘的结果，不如说是他感兴趣的图绘手法，尽管他的确津津有味地在作品中展示了那些令人回味的有关传统语汇的魅力，但其作品的象征性和寓意并不取决于语汇自身所指，而是用图像看待生活时许多令他自己也欲辩难言的隐秘所在。

A general method for signal coding based on symbolic sequences and the relationship between the variable and its symbolic sequence are presented.

理论分析、数字仿真及试验结果表明，混沌在测量领域中的应用具有很大的潜力，为混沌的工程应用开辟了新的方向。

The Logic-information method is one kind of theories of quantification, and it is a comprehensive mathematical analysis method based on symbolic logic, Comprehensive analysis, and mathematical statistics.

逻辑信息法是数量化理论的一种，该方法是以数理逻辑、组合分析及数理统计为基础的一种综合数学分方法。

As a kind of method based on symbolic logic, Formal method has gained more and more attention because of its preciseness. It has been applied broadly in systems in which the security and reliability are the key issues. For example, protocol security analysis, operating system security model, software development.

作为一种以数学逻辑为基础的方法，形式化方法以其严密性越来越受到众多领域的重视，尤其是在安全性和可靠性作为关键问题的系统，如协议安全性分析、操作系统安全模型、软件开发等方面得到了较为广泛的应用。

In this paper, we give the method of solving the partial differential equations with the combine use of symbolic and numerical method, which is a new way of solving the extremely complicated partial differential equations.

本文作出了将符号计算方法和数值计算方法结合起来求解偏微分方程的研究工作，这是求解比较复杂的偏微分方程的新途径。

In order to study half-speed whirl that is subjected to nonlinear oil force of rotor-bearing system, the Wu Elimination method and symbolic calculation method are combined in this paper.

为研究转子轴承系统中非线性油膜力引起的半速涡动，本文给出了将吴文俊消去法和符号计算相结合的分析方法。

The research work in this dissertation aim to apply the advanced technique in practice, that ramifies three parts: at first, the basic study of the computer vision, especially the stereo vision, include their technical mechanisms, methods and algorithms resolves the same technical problems of endoscopy and ferrograhpy based on stereo vision. Secondly, the endoscopy of engine fault inspection based on stereovision is researched and the system faced to this application is developed, thus the problems of stereovision applied to macroscopical images such as endoscopic images are resolved in method and computation. In addition, inside scenes are reconstructed and typical damages of engine inside are analyzed. Thirdly, the investigations of system formation, methods applied and algorithms study of debris analysis based on stereovision is carried out. Thus the problems of stereovision applied in debris analysis are resolved mainly. Furthermore, the integrated method combine with 3D symbolic parameters is studied and discussed for the recognition of debris configuration in pilot.

本文的研究工作以技术应用为目标，分为三大部分：首先是对计算机视觉，特别是立体视觉技术机理、方法和算法的基本研究，主要解决了立体视觉在内窥探伤与铁谱检测中应用的技术共同点；其次是对基于立体视觉的发动机内窥探伤的技术研究和系统开发，解决了立体视觉用于内窥图像这一宏观图像的技术和算法实现问题，其中包括对内窥场景的视觉重建和对发动机内部典型损伤的分析；最后对基于立体视觉的磨粒分析技术的系统构架、实施方法和相关算法进行了研究，主要解决了立体视觉用于磨粒显微图像的技术问题，并对融合三维描述参数的磨粒形态综合识别方法进行了初步研究与探讨。

The research work in this dissertation aim to apply the advanced technique in practice, that ramifies three parts: at first, the basic study of the computer vision, especially the stereo vision, include their technical mechanisms, methods and algorithms resolves the same technical problems of endoscopy and ferrograhpy based on stereo vision. Secondly, the endoscopy of engine fault inspection based on stereovision is researched and the system faced to this application is developed, thus the problems of stereovision applied to macroscopical images such as endoscopic images are resolved in method and computation. In addition, inside scenes are reconstructed and typical damages of engine inside are analyzed. Thirdly, the investigations of system formation, methods applied and algorithms study of debris analysis based on stereovision is carried out. Thus the problems of stereovision applied in debris analysis are resolved mainly. Furthermore, the integrated method combine with 3D symbolic parameters is studied an d discussed for the recognition of debris configuration in pilot.

本文的研究工作以技术应用为目标，分为三大部分：首先是对计算机视觉，特别是立体视觉技术机理、方法和算法的基本研究，主要解决了立体视觉在内窥探伤与铁谱检测中应用的技术共同点；其次是对基于立体视觉的发动机内窥探伤的技术研究和系统开发，解决了立体视觉用于内窥图像这一宏观图像的技术和算法实现问题，其中包括对内窥场景的视觉重建和对发动机内部典型损伤的分析；最后对基于立体视觉的磨粒分析技术的系统构架、实施方法和相关算法进行了研究，主要解决了立体视觉用于磨粒显微图像的技术问题，并对融合三维描述参数的磨粒形态综合识别方法进行了初步研究与探讨。

Finally, we offer a method to reduce shift communication. In chapter 5, we invent a method based on linear inequalities representation to perform communication optimization and code generation. This method eliminate the restrictions on processable program placed by RSD based method used by RICE Fortran D Compiler or Symbolic Set based method used by PARADIGM Compiler.

第五章提出了一种以线性不等式组作为工具的更加实用化的通讯优化和结点代码生成方法，该方法克服了RICE大学实现FortranD编译器使用的基于规则段描述子的方法以及PARADIGM编译器使用的基于符号集的方法对输入程序的诸多限制，避免了复杂的规则段运算和符号集运算及其造成的无效性，拓宽了可处理的程序类，增强了编译器的处理能力。

If you are unfortunate enough to the lovelorn, please tell me, I will help you out, really, please contact me!

如果你不幸失恋了，请告诉我，我会帮助你摆脱困境，真的，请联系我啦！

China's plan to cut energy intensity by 20 percent and pollutant discharges by 10 percent between 2006 and 2010 is a case in point.

中国计划在2006年到2010间降低20%的能源强度和减少10%的主要污染物排放，就是一个这样的例子。