几乎可裂序列是研究代数表示论的一个有力工具。
The almost split sequence is an important instrument in research of the representation theory for algebra.
单纯李群的表示论已经成为研究现代物理学最有用的数学工具之一。
The representation theory of simple Lie groups has now been established as one of the most useful tools in modern physics.
本文介绍一种完全用量子力学中对易算符集方法处理的有限群表示论。
This paper advocates a new approach to the theory of finite group representations by applying exclusively the method of commuting operators in quantum mechanics.
代数表示论是上世纪七十年代初兴起的代数学的一个新的分支，它的基本内容是研究环与代数的结构。
Algebra representation theory is a new algebraic branch arising in 1970s whose researches mainly focuses on rings and algebraic structures.
新诗诗律论中的“顿”概念来源于古代表示顿歇意思的“句读”概念。
The concept of "slight pause" comes from the break made in reading unpunctuated ancient writings.
IEA今晚表示，石油峰值论的批评人士常常错误地怀疑IEA统计数据的准确性。
The IEA said tonight that peak oil critics had often wrongly questioned the accuracy of its figures.
不得不承认，表示可能会投无神论者票的美国人的比例在过去的半个世界翻了一番，而投票本身也被那些不知道什么是无神论的人搅得混乱不堪。
Granted, the proportion of Americans who say they might vote for an atheist has doubled in the past half-century, and the polls are muddied by those who do not know what an atheist is.
所以科学家认为的进化论是一种理论——从这个意义上来说，无论是进化论本身还是相关的其它理论——并不表示他们对真实性有所怀疑。
So when scientists talk aboutthe theory of evolution — or the atomic theory or the theory ofrelativity, for that matter — they are not expressing reservationsabout its truth.
因此海菲尔德博士表示，圣诞老人还无需担心相对论的影响。
So, Santa should not have to worry about the effects of relativity, Dr Highfield notes.
杂志对他所称的世界石油产量已经到达峰值的观点表示怀疑，他却对我们的怀疑不以为然；他说，他也希望“峰油”论是错的。
He also shrugs off our more recent scepticism about his belief that the world's production of oil has peaked: he, too, hopes that "peak oil" proves to be a myth, he says.
他遗憾地表示，这个惊人的现实在一代人时间里就被一种迟钝的秉持“所有文明平等”的相对主义论取代，并在历史长河中逝去。
This stunning fact is lost, he regrets, on a generation that has supplanted history's sweep with a feeble-minded relativism that holds "all civilisations as somehow equal".
州长旅行途中来拜访大师表示敬意：“工作繁忙令我没有时间做长篇大论，您能帮我这样的大忙人把宗
"Affairs of state leave me no time for lengthy dissertations", he said. "Could you put the essence of religion into a paragraph or two for a busy man like me"?
图2表示了owl存在论的基本构造块。
Figure 2 illustrates the basic building blocks of an OWL ontology.
因博弈论经济学著作而获得2005年诺贝尔奖的耶路撒冷希伯来大学学者RobertAumann表示，事实证明模拟软件应用于拍卖尤其成功。
Modelling auctions has proved especially successful, says Robert Aumann, an academic at the Hebrew University of Jerusalem who received a Nobel prize in 2005 for his work in game-theory economics.
麦克斯韦方程组用矢量的形式重新表示，并利用狭义相对论你的对称性。
Slide-shows original equations, then equations re-written as vector analysis, then using the symmetry of special relativity.
语义技术用存在论(ontology)表示意义，并通过这些存在论中表示的关系、规则、逻辑和条件来提供推理。
Semantic technologies represent meaning using ontologies and provide reasoning through the relationships, rules, logic, and conditions represented in those ontologies.
“我很容易受到所见所闻的影响，所以我想远离那些揣测和阴谋论。”他表示。
"I think I would be pretty affected by what I read or saw, so I stay clear of that," he says.
使用W3C推荐的OWLWeb存在论语言，可以表示存在论。
With the W3C-recommended OWL Web Ontology Language, you can express ontologies.
SOA模型工件-基于OpenGroup的SOA本体论的工件，提供了SOA环境的概念性表示。
SOA Model artifact - artifacts based on The Open Group's SOA Ontology providing a conceptual representation of a SOA environment.
通过高校图书馆阅览服务系统的细致的描述，阐述它实际上可以表示成一种排队论模型。
The reading service system of university Libraries can be expressed as a kind of queuing theory model by its detailed explanation.
用二阶微拢论计算这一截面，结果表示为核矩阵元和激光电场强度的函数。
The cross sections for such processes are calculated in second order perturbation theory and expressed in term of the intensity of laser radiation and the nuclearmatrix elements.
连续搅拌釜反应器仿真研究表明，利用化工过程故障诊断本体论表示化工过程的诊断知识可以获得良好的诊断效果。
Continuous Stirred Tank Reactor (CSTR) simulation study has proved that an effective diagnosis could be achieved by using CPFDON to represent the fault diagnosis knowledge of chemical process.
第二章详细介绍了基于本体论的语义网络模型理论，包括语义网络模型的结构、知识表示及推理机制。
Thesecond chapter introduced semantic network model theory in detail based on ontology, including model structure, knowledge expression and inferential mechanism.
在此基础上引入不动点原理深入刻划循环不变式的含义，循环不变式可以表示为谓词泛函的最小不动点，并从范畴论的角度解释该过程。
Many loop invariants can be expressed in the form of the fixed point of a predicate universal function while weakest precondition is least fixed point and explained in the view of category theory.
在此基础上引入不动点原理深入刻划循环不变式的含义，循环不变式可以表示为谓词泛函的最小不动点，并从范畴论的角度解释该过程。
Many loop invariants can be expressed in the form of the fixed point of a predicate universal function while weakest precondition is least fixed point and explained in the view of category theory.
应用推荐