查询词典 Domains

The relationship between transient response and shape design variables is highly non-linear, and the behavior of feasible domains is often not good, which may cause convergence difficulties. In order to improve convergence speed of iteration process, some algorithms the feasible domains adjusting, the adaptive move limit, the approximate line search and the approximate reanalysis, are adopted.

采用基于Newmark积分的直接求导法计算瞬态响应灵敏度，在序列二次规划算法中采用了可行域调整、近似—维搜索、自适应运动极限等改进技术，提高求解效率和收敛稳定性，以解决结构动态响应与设计变量的关系复杂、高度非线性，优化可行区域的性态不良等问题。

The structure theorem is obtained by defining "ternary ordered partition method" which is used to choose the test-sets of the first $k$ tests, and by defining two operations and two relations on feedback sequences; The isomorphism classification theorem is strictly proved by virtue of the structure theorem, thus the complicated problem of discussing $3^k$ possible search domains is reduced to the relatively easy problem on $k+1$ representative search domains; By the techniques of "super-coin construction method" and "image-union method", the search problem on $k+1$ representative search domains is reduced to the simple verification of several conditions on finite space of small cardinality.

通过引入用于选取前$k$次试验的试验集的"三元有序剖分法"以及关于反馈序列的两种运算和两种关系，得到了结构定理；基于结构定理严格地证明了同构类定理，从而将必须针对$3^k$个搜索域的复杂问题转变为讨论$k+1$个具代表性的搜索域的相对简单的问题；通过"构造超币法"和"并像法"等技术手段，将关于$k+1$个具代表性的搜索域的搜索问题转化为简单的关于势非常小的有限空间的几个条件的验证问题。

In this paper we acquaint the reader first with the algebraic semantics which is corre-sponding to the Kripke's semantic having nested domaius. By an application of the completenesstheorem on relational semantics of the quantified normal modal systems with nested domains proved in Hughes and Cresswell's method to prove a completeness theorem on relational algebraic semantics of those system. Next for normal systems with semantics which admits arbi-trarily variable domains we use Henkin's method to prove a c...

本文首先讨论嵌套论域语义的相应代数语义并由Hughes和Cresswell在［5］中建立的关于具有嵌套论域的正规量词模态系统的关系语义完全性定理推出其相应的代数语义完全性定理：然后对于具有任意可变论域语义的正规系统，我们用Henkin方法给出其关于狭义Kripke语义的关系语义完全性定理，由此通过将关系语义转化为代数语义从而亦推得其代数语义完全性定理。

Note that the dots in a domain name have no correspondence to the dots in an IP address written in dotted decimal notation. General top-level domains are shown in Table 1.1 (see http://www.icann.org/tlds for the latest list). There is also a set of country domains such as: us, uk, ca, and au.

注意域名中的点和十进制书写IP地址的点没有对应关系）表1.1中列出了定级域名（访问 http：//www.icann.org/tlds 获得最新的）这也有一些国家的域名，例如US，UK，CA和AU。

In this dissertation we propose a set of fast algorithms for computing the DGFT (Discrete Generalized Fourier Transforms) over the hexagon domains and the parallel dodecahedron domains and give the parallel implementation on Linux clusters.

本文在理论上的主要贡献就是利用多色排序、区域分解和多重网格的思想，设计了二维三方向平行六边形区域和三维四方向平行十二面体区域上广义离散傅立叶变换的快速算法并给出它在PC Linux机群上的并行实现。

In recent years the information technology is used in many domains. It is also used in education domains.

近年来信息化技术在各行各业都得到了很大的利用，在教育行业也不例外。

II, Polynomial rings on a general field( on contrast of those over a number field): concepts of ring, ideals, field and several special rings as domains, principal ideal domains and unique factorization domains, the unique factorization theory of polynomial rings.

二、一般域上的多项式理论（是数域上多项式理论的推广）：学习环、域和几类特殊结构的环（整环、主理想环，唯一分解环等）的概念，多项式环的唯一分解定理；三、线性代数：讲述一般数域上的向量空间理论（是数域上向量空间理论的继续和推广），模的概念，主理想环上的模的结构及其线性变换的若当标准型等；四、一元多项式的解及域论：学习域扩张及其相关概念，伽罗瓦理论，用伽罗瓦定理判断根式解的存在性。

Some other domains are found in the proteins together with HOX, such as PAX, POU, LIM, OAR, ELK, SIX, bZIP, PHD-finger, Engrailed, hexapeptide domains. The HOX combined with other domains that associate with DNA binding or protein interactions are called "complex homeobox".

近年来发现了同源异型框与其它结构域同时存在，如PAX、POU、LIM、OAR、CUT、ELK、bZIP、SIX、PHD-finger、Engrailed等，近来还发现它通过基因融合或基因失调控方式参与肿瘤的发生。

Through difference significance tests and analyses, it finds that (1) man students more possibly form identity achievement, and woman students more possibly form identity foreclosure and identity diffusion; and (2) the difference of self-identity status between man and woman students is associated with various domains; and (3) self-identity status between man and woman students have some similarities that identity exploration has the same importance to both; and (4) grade-one is a period when students face up to more identity crises, and grade-two is key period of identity formation, and grade-three is a developmental period of identity that provides the basis for re-solution of the emergence of new identity crises in grade-four;(5) there is a gradually enhanced direction from lower self-identity statuses to advanced ones from grade-one to grade-three, but there is also a direction that reentry into the identity crisis by grade-four. It indicates that the identity achievement formation does not mean the end of development of self-identity and proves that there is a continuous MAMA cycle in self-identity development; and (6) that students self-identity status mainly is identity moratorium provides some evidence for which there is a Moratorium in student development, and which self-identity formation is not easy; and (7) the development of student self-identity is associated with various domains, what students pay most attention to firstly is vocation, secondly life philosophy, and lower interesting in political and religious domains in ideology; for relational domains, students pay more attention to dating and friendship compared to sex role and recreation domain.

通过差异显著性检验和分析发现：(1)男生更可能形成成就型同一性，女生则更可能形成排他型和弥散型同一性；(2)男女大学生自我同一性的差异与不同的领域相关；(3)男女大学生自我同一性也存在相似性，同一性探索对于男女大学生同样重要；(4)大学一年级是同一性危机面对较多的时期，二年级为同一性形成的关键期，三年级为同一性的发展期，所形成的同一性为四年级所出现新的同一性危机的解决提供了基础；(5)从一年级到三年级存在从低级的自我同一性向高级的自我同一型转变的渐进增强，但到四年级又有重新进入同一性危机的趋势，说明大学生成就型自我同一性的形成并不意味着自我同一性发展的结束，证明了自我同一性发展的MAMA周期持续存在的特点；(6)学生自我同一性状态主要还处于延缓型同一性状态，进一步证明大学生发展心理合法延缓期的存在，以及自我同一性形成不是一件很容易的事情；(7)大学生自我同一性的发展与领域相关，大学生较为关注职业领域，其次为人生观领域，而对政治和信仰领域兴趣较低；另外，大学生对友谊、交往领域较为关注，对性别角色和活动领域关注程度相对较低。

In summary, various key experimental conditions in electron acoustic imaging of ferroelectric domains were systematically studied. The optimum experimental conditions to obtain EAI of domains with good quality and the factors important to image analysis have been presented. The piezoelectric vibrator model and calculation of motion equation are helpful for explaining the imaging mechanism and related experimental phenomena. The sample holder with variable electric field was designed. The domain movement of BaTiO〓 ceramics and crystal under lateral and longitudinal applied electric field and domain movement of PMN-PT crystal under longitudinal poling electric field were observed. The application of SEAM on revealing of ferroelastic domains, imaging of residual stress distribution in ceramics coatings and around the pores on the surface of ferroelectric ceramic composite have been reported respectively. All these works enriched the study of electron acoustic imaging and extended the application of SEAM in the characterization of materials.

综上所述，本文系统地研究了各项关键实验条件对电畴电声成像的影响，指出了获得最佳畴结构电声像的条件和成像分析中应当考虑的各种影响因素；提出了解释电畴电声成像的压电振子模型，在此基础上推导并求解了压电振子运动方程，并对一些实验现象作出了解释；成功地设计了可变电场的样品台，观察了BaTiO〓陶瓷和晶体在横向电场作用下的畴运动，PMN-PT晶体在纵向极化电场作用下的畴运动；探索了电声显微镜在铁弹畴成像，陶瓷涂层应力观察，陶瓷自然表面气孔周围应力成像的应用，这些研究，丰富了电声成像的学术内涵，拓展了电声显微镜的应用领域。

Objective: To study the effect of polycythemia on blood oxygen saturation.

裴蕾目的：观察RBC剧增而引起的高粘血症对血氧饱和度的影响。

Based on SIMPLER algorithm in the curvilinear body-fitted coordinates, the calculations were performed for Pr=0.7, Re=10~1000 on non-orthogonal non-staggered grids which are generated by elliptic equation systems.

采用曲线坐标系下压力与速度耦合的SIMPLER算法，数值研究了周期性渐扩渐缩波纹通道内脉动流动与换热情况，流动Re数的范围为10~1000，Pr数为0.7。