查询词典 integer representation

The representation type of algebras is one of the main themes of representation theory of algebras.

决定代数的表示型是代数表示论的主要课题之一。

In light of the analysis of the traditional methods of model representation and model composite, a novel theory of model representation and model composite based on Agent technology was proposed.

在分析当前模型表示与模型复合方法的局限性基础上，结合Agent技术，提出了基于Agent的模型表示与模型复合理论。

By contrasting advantage and disadvantage to knowledge representation, Conceptual Dependency theory and Production System was chosen as a method of knowledge representation.

对比现有知识表示方法的优缺点，将产生式系统与概念从属理论相结合作为知识表示方法。

Keywords: Knowledge representation;theory representation method;concept description language.

本文给出了理论表示方法及其描述语言的定义和应用实例。

It is found that the internal relation between the wavelet method and multi-scale representation will determine the law by which the graphic information varies following the change of the scale. That work mark a new step towards the successful application of wavelet theory in the automatic map generalization and provide a new basis and mechanism for the multi-scale representation in GIS.

发现了小波理论与GIS图形数据多比例表达之间的内在联系，挖掘出GIS图形数据中一些信息随尺度的变化规律，因而为利用小波理论来解决GIS图形数据多比例尺表达中的问题作出了一些基础性工作，为GIS图形数据多比例尺表达和自动制图综合找到了新的数学机制和依据，使这项工作的在自动化、模型化、数量化、客观化的方向上又迈出一步。

In this paper, we mainly study representations of strong semisimple n-Lie algebras, prove that a representation of a strong semisimple n-Lie algebra is a representation of the reductive Lie algebra LP, and the relative properties.

本文主要研究了强半单的n-李代数的表示，证明了强半单的n-李代数的表示可转化为一个约化李代数Lρ的表示，并证明了不变线性形等其它相关性质。

Since the separable element algorithm of the rational univariate representation for solving zerodimensional systems presented by Rouillier makes the size of the coefficients in this representation too long, an improved algorithm for finding separating elements is presented in this paper, which is implemented by confirmingthe separating element of the coordinates step by step.

针对零维多项式系统中Rouillier计算可分元的算法使其相应的有理单变量表示中整系数过长的问题，提出一种改进的可分元选取算法，新算法通过逐步确定坐标可分元得以实现。

If the IEEE single-precision significand has more precision than the internal representation, it will be rounded to the internal representation using the round to nearest rule.

如果 IEEE 的单精确有效数字比内部表示法有更多的精确度，它将会被用四舍五入到最接近的规则来四舍五入成内部表示法。

In this paper,we study the first good representation and the strong representation of odd intege in rationl number,and some results are given,the problems to Ron Hardin and Neil Soane are solved.

用初等的方法研究了某些分数的第一类好表法与奇数强表法，得出了一些有用的新结论，并回答了文献[5]中由RonHardin和NeilSoane提出的一个问题。

At last,we give the description of completely meet irreducible ideals in terms of CMI-chain,and characterize the completely meet irreducible ideals as kernels of nest representation of a special kind (CMI-representation).

最后我们用CMI-链和一种特殊的套表示CMI表示给出了NSAF代数的完全交不可约理想的刻画。

Pachomius manual labour was organized as an essential part of the monastic life; and since it is a principle of the monks as distinguished from the mendicants, that the body shall be self-supporting, external work of one sort or another has been an inevitable part of the life ever since.

根据圣pachomius体力劳动组织作为一个重要组成部分寺院生活；以来，这是一个原则的和尚，作为有别于乞丐，该机构应自支撑，对外工作的这种或那种已一个必然的一部分，生活至今。

In order to study the effects of parametrical rolling on the ship movement and tilts, in allusion to ship's navigating in regular following waves, the equation of ship rolling motion is transformed into normal Mathieu equation by proper variable replacement when strong parametrical excitation in restoring moment varied according to sine or cosine wave.

为研究参数横摇对船舶运动和倾覆的影响，通过对船在规则波上随浪航行时，恢复力矩中出现的1个以正余弦规律变化的强参数激励项进行适当的变量置换，将船舶的横摇运动方程转换成标准形式的Mathieu方程。