查询词典 archimedes axiom

We prove that the property satisfying Axiom A is not hereditary for dense subset.

并由此得到一个崭新的结论：力迫公理A性质对稠密子集不遗传。

In addition,we propose the fifth axiom of DG to support the parsing of Chinese sentences.

此外，我们也提出了依存语法第五公理来支持我们的汉语句法分析系统。

Usingthe CLT of subshifts of finite type and Ruelle's Smale space technique,we obtainthe CLT of an Axiom A endomorphism with respect to its equilibrium states.

利用有限移位的CLT和Ruelle的Smale空间方法，我们得到了公理A自映射相对平衡态的CLT。

In section three, we recall the mapping cone and show that the mapping cone is equivalent with the octahedral axiom if the other three axioms are satisfied.

在第三节，我们讨论了预三角范畴中的映射锥，证明了在其它三条公理满足的条件下，"映射锥是三角"与八面体公理等价。

Block recursive model ; Axiom of error ; Variable linear system error ; Constant system error ; Variance analysis

块递归模型；误差公理；可变线性系统误差；恒定系统误差；方差分析

No doubt, when the feast was introduced in England and Normandy, the axiom "decuit, potuit, ergo fecit", the childlike piety and enthusiasm of the simplices building upon revelations and apocryphal legends, had the upper hand.

毫无疑问，当宴席介绍了在英格兰和诺曼底，公理" decuit ， potuit ，故fecit "的童稚的虔诚和热情的基础上 simplices 揭露和未经证实的传说，已占上风。

The pointless description of axioms of separation, especially T2 axiom is a question without final result in pointless topology.

中文摘要：分离公理，尤其是T2公理的无点刻划是无点拓扑理论中没有统一结果的问题。

"A theorem within such a system is a formula capable of proof through a finite sequence of well-formed formulas, each of which either is an axiom or is validly inferred from earlier formulas."

在这样的系统中，一条定理即是可以通过合式公式的有限序列加以证明的一个公式，这些合式公式中的每一个公式不是公理，就是从前面公式可以推得的公式

Based on LML theory frame and its algebraic model, geometric model and learning axiom systems, going for further study, this paper presented orbits generated algorithm of learning subspace in LML and applied it to corresponding examples, such as classify of human, chemical composition of wine and eight data sets including Soybean-Large, etc.

本文在李群机器学习的理论框架上，以李群机器学习的代数模型、几何模型、学习的公理系统为基础作进一步研究，给出了李群机器学习的学习子空间轨道生成算法，将该算法应用于人群分类，葡萄酒化学成分分类以及大豆等八个专用数据集的分类，取得了满意的结果。

Often abbreviated as GIGO, this is a famous computer axiom meaning that if invalid data is entered into a system, the resulting output will also be invalid.

您想要观赏如未婚妻一般美丽而贞洁的自然风光，请您春天来吧；您想要平复您心灵上涔涔流血的伤口，请您晚秋再去那里吧。

In contrast to the ubiquitous rising-sun-with-rays military flag of the Japanese, Chinese banners and ensigns feature a range of designs.

与遍地都是的太阳军旗不同，中国人的旗帜和徽章设计得各式各样。

From their small corner of Feng's Guangzhou headquarters -- a jumble of pink leashes, squeezable rubber steaks, and plastic doggy Santas for Fido's stocking -- Soleil's designers come up with at least five new products a month.

从Feng 设在广州总部的产品展示柜台上可以看到，Soleil的设计师每月至少设计出5件新产品。