查询词典 integer representation

Utilizing the real representation of quaternion matrices and its characters discusses the reversibility of quaternion matrices and a account way of athwart matrix in this article.

3，利用四元数矩阵的实表示及其性质讨论了四元数矩阵的可逆性以及逆矩阵的一种计算方法

When the expert system is operating, the auto-run XML tools of "Quick" load the original XML data sheet document and generate it into structured object representation of XML document.

专家系统运行时，采用可扩展标记语言格式工具 Quick 对XML 数据表文档处理，获得决策知识元数据，并调用决策知识元解析程序得到设备的类名称及设备的参数，生成结构化的决策知识XML 文档，实现了决策知识面向对象的结构化表示。

In this thesis, it is indicated that the unified data model, knowledge representation and processing, and practicability and automaticity are three key points of any WI system.

本文指出数据模型、知识表示和处理、实用性和自动化处理能力是WI系统的关键问题。

It can be seen that the model representation withbuild-in knowledge makes it possible to automatize the operation of modelselection and model combination.

可以看到，正是由于嵌入知识的模型表示才使得模型选择和模型组合的自动管理成为可能。

Further, we can also define if a Coset graph is a graph representation, we note it GR for short, that is, the relevant group is exactly equal to the full automorphism group of the Coset graph.

甚至，我们也可以定义一个陪集图是一个图表示，简称GR，即相应的群是否恰等于它的这个陪集图的全自同构群。

Based on the new theories developed in biology,the basic theoreticalproblems of the genetic algorithm,which are the representation scheme,co-nvergence and convergence rates of the genetic algorithms,etc.,are discussedwith Boolean algebra,group theory,martingale theory and axiomatic method inthe framework of the Markov chain.

本文以生物学发展的新理论为背景，在遗传算法的Markov链框架下运用Boole代数、群、鞅及公理化方法研究遗传算法的表示、收敛性与收敛速度等基本理论问题。

ChapterⅢ: The methods of product design knowledge representation and acquisition are presented based on axiomatic design.

第三章提出了基于公理设计的产品设计知识表达与获取方法。

We present a complete axiomatization of ADL and discuss its application to knowledge representation in multicriteria decision analysis and social network analysis.

我们提出一种矢决策逻辑的公设化系统，证明其完备性，并展现其在多准则决策分析与社交网路分析上的应用。

Firstly, we prove the existence and uniqueness of the adapted solution of multi-dimensional backward stochastic differential equations driven by Brownian motion and Lévy process by using predictable representation theorem and the fixed point theorem about contract mapping, and also prove the comparison theory.

第一部分运用可料表示定理和压缩映射原理证明由布朗运动和Lévy过程共同驱动的多维倒向随机微分方程适应解的存在唯一性及其相应的比较定理。

The logic way of thought of this thesis is culture, teacher culture and teacher culture of balkanization. This thesis starts with the definition of teacher culture, and teacher groups, and teacher culture of balkanization. Secondly, on the basis of definition and comparing domestic and overseas studies, this thesis analyzes the features of teacher culture of balkanization and its form of representation. Thirdly, this thesis explores the reason of the forming of teacher culture of balkanization from three angles of view, namely individual angle, organizational angle and social angle. Fourthly, this thesis analyzes the advantages and disadvantages of teacher culture of balkanization in a dialectic way. Fifthly, the thesis ends up with principles and strategies for modifying teacher culture of balkanization.

本文首先对教师文化、教师派别以及派别主义教师文化做了概念上的界定，在此基础上，参照中西方研究深入剖析了派别主义教师文化的特征，归纳了派别主义教师文化的具体表现形式；从个人层面、组织层面以及社会层面三个维度详实探讨了派别主义教师文化的形成原因；以辩证的观点全面分析了派别主义教师文化存在的合理性与弊端；在对合理性和弊端全面分析的基础上主要针对派别主义教师文化的弊端提出了矫正原则与策略；在对全文整体把握的高度上，本文认为应当采用审慎的变革态度和方式对派别主义教师文化进行恰当取舍，对于实质上是团体个人主义的派别主义文化，其解决的根本途径是走向合作。

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方程。