查询词典 optimal normal form

The soundness and completeness theorem of this method were proved at last. This part consists of the following points: 1. The properties of the indecomposable extremely simple form of LP were discussed, the theorem shown that every logical formula of LP was equals of a generalized conjunction normal form. 2. The method for judging a logical formula is a indecomposable extremely simple form or not was discussed, the necessary and sufficient conditions of a logical formula with not more than three implicative connective being a indecomposable extremely simple form was given. 3. The α-resolution fields of the indecomposable extremely simple form of LP were discussed, some elementary results were obtained. 4. The automated reasoning method based on the resolution principle of classical logic was discussed, the author given a method to describe the set of clauses by using a matrix, and translated the resolution of two clauses to column operations of this matrix.

二、关于格值命题逻辑系统LP中α-自动推理方法的研究 1、对LP中不可分极简式的性质进行了研究，证明了LP中任何一个格值逻辑公式等值于一个广义合取范式； 2、对LP中不可分极简式的判定方法进行了研究，讨论了含有不超过3个蕴涵运算的格值逻辑式为不可分极简式的充分必要条件； 3、对LP中不可分极简式的α-归结域进行了研究，得到了一些基本结果； 4、对经典逻辑中基于归结原理的自动推理方法进行了研究，给出了用符号矩阵表示子句集合的一种方法，把不同的归结过程转换成矩阵的列变换。

Through correlative analysis and path analysis, it finds that (1) the family environment and the colleges and universities environment have direct and indirect influence on self-identity development of students; and (2) the family environment and the colleges and universities environment exert the major effect on self-identity development of students through identity style as mediational variable, so identity style becomes the explanatory base of self-identity status. That is, the predictive effect of diffuse/avoidant identity style for identity diffusion, normative identity style for identity foreclosure, and information identity style for identity achievement respectively is most significant; and (3) family environment that is helpful, supportive, warm, expressive, and promote autonomy and independence possibly makes students form identity achievement or identity moratorium, family environment that is excessively cohesive and warm but lacking independence possibly promote students to form identity foreclosure, and family environment that lacks of supportive and warm possibly make students form identity diffusion; and (4) colleges and universities environments that have better relationship system, clear developmental purpose, and promote to pay attention to societal concerns, critical and explorative qualities, and provide healthy, expressive, democratic, open atmosphere facilitate identity development, in turn form advanced identity. Colleges and universities environments that only emphasize the receival of colleges and universities aims, order and instilments, and scarcely encourage critique, exploration, individuation possibly make students form identity foreclosure. However, the ones that is remote relationship system, and lacking support, and students don't cognize the aim of colleges and universities possibly make students form identity diffusion.

通过相关分析、路径分析发现：(1)家庭环境和学校环境对大学生自我同一性有直接和间接的影响；(2)家庭环境、学校环境对大学生自我同一性影响主要以同一性加工方式为中介变量，同一性加工方式成为自我同一性状态的解释基础，弥散—回避定向同一性风格对弥散型同一性预测力最大，信息定向同一性风格对成就型和延缓型同一性预测力最大，常规定向同一性风格对排他型同一性预测力最大；(3)相互支持、帮助、关心、自由表达和鼓励自主和独立的家庭环境促进大学生同一性的发展，形成成就型或延缓型同一性状态，过度亲密而缺乏独立性特征的家庭环境可能形成排他型同一性状态，而缺乏支持性，关系疏远的家庭环境可能形成弥散同一性状态；(4)良好的关系系统，明确的发展目标，鼓励学生对社会事务关注、倡导批判和探索精神，塑造良好、健康、可供自由表达、民主、开放的文化氛围的大学校园环境促进大学生同一性发展，形成高级、成熟的自我同一性，而一味强调学校目标的接受，强调秩序、灌输，缺乏对批判、探索、个性发展鼓励的学校环境有可能使学生形成排他型同一性状态，但若学校的关系系统疏远，缺乏支持性的民主的风格，目标不能被学生明确感知的学校环境则可能影响学生形成弥散型同一性。

Based on the observation of atomic force microscopy, the etching morphology of faces and sections with different crystallographic significance on α-quartz has been studied. The etching morphology on the natural crystal faces hexagonal prism faces (1010 and 01(average10, rhombohedron positive form face 10(average11, rhombohedron negative form face 01(average11 and the sections between any of the two crystal faces has been observed. It is shown that the etching pit on the same simple form has the same shape, while the orientation of the etching pits can be different. Different simple forms have different shapes of etching pits and the shapes of etching pits on positive form and negative form of the same simple form are also different.

通过对α-石英自然晶面六方柱面10(平均值10和01(平均值10、菱面体正形面10(平均值11与菱面体负形面01(平均值11、以及介于上述自然晶面之间的切面进行腐蚀形貌的观察研究发现，石英晶体同种单形的晶面腐蚀坑形态相同，但方位可以有变化，不同单形的晶面腐蚀坑形态不同；同一单形的正形与负形腐蚀坑形状不同；蚀坑形态能够反映晶体的对称性。

Therefore, on the basis of objective description of corpus example, this paper study and analyze the condition of "free form" and "bound form" of the verbal phrases such as "V + Particle + N"、"V+ complement"(including:"V+ trend complement","V+ result complement","V+ extent complement" and "V+ action-measure complement )、"V TO V"、"V+ adverb+ V"、"V of V "and "V+ D".At the same time, from the semantic and pragmatic perspective this paper discuss the conditions and causes from "bound form" to "free form",concluding that particle dynamics、exclamation at the end of the sentence、adverb and follow—up of the language and so on can act as the conditions from the bound verbal phrase to the free verbal phrase. The main reason for these conditions is rich in the amount of the sentence, making semantic self—contained; Finally, this paper simply describes the theoretical and practical significance of the phenomena of "free form" and "bound form in the aspect of verbal phrase; at he conclusion of the article, the author of the text further sum up the content and coverage and raise her own views of the text of underdevelopment and the questions yet continuing to study.

因此，本文接着在语料例证的客观描述基础上，针对"v+动态助词+N"、"V+补语"(包括："V+趋向补语"、"V+结果补语"、"V+程度补语"、V+动量补语)、、"V来V去"、"副词+V"、"V的V"、"V+D的"等动词性短语的"粘着"和"自由"的情况做了探讨分析，并且从语义和语用两个角度探讨了"粘着"向"自由"转化的条件及原因，认为动态助词、句末语气词、副词、后续语段等等都可以充当粘着的动词性短语向自由的动词性短语转化的条件，其主要原因则是这些条件丰富了句子的信息量，使得语义自足；最后，文章简要地论述了研究动词性短语的"自由"和"粘着"现象的理论意义和实践意义；在文章的结语部分，作者就文中所论述的角度和涵盖的内容做了进一步的总结，并对文中存在的不足和有待于继续研究的问题提出了自己的看法。

The adjoint operator method and the theory of normal form are used to investigated the normal forms in the four dimensional nonlinear systems with cubic nonlinearities. We give two methods to compute the normal form for the four dimensional nonlinear systems. The corresponding Maple programs are also given in the appendix. The results obtained in this dissertation have a completely agreement with the results obtained in other papers.

利用共轭算子法和规范形理论研究了含有三次非线性项的四维系统的规范形，给出了计算四维非线性规范形的两种算法，给出了相应的Maple符号推导程序，所得到的结果与其它文献所得结果完全一致。

The general form of solution for the non symmetric matrix A is given, the expression of optimal approximation solution is presented, and an algorithm for solving the problem is described. The total least squares problem with symmetric and bisymmetry constraints is discussed respectively. A sufficient condition for existence of solution is derived by use of the theory of matrix Ricaati equation. The general form of solution is given if the problem has a solution, and the expression of optimal approximation solution is presented. Some numerical examples are given.

对矩阵A是非对称情形，给出了解的一般表达式，证明了最佳逼近问题解的存在唯一性，并给出了其解的表达式，描述了求解问题的算法；讨论了带对称和双对称约束的总体最小二乘问题，利用Ricaati矩阵方程的理论得到了解存在的一个充分条件，分别对对称矩阵和双对称矩阵两种情形，给出了解的一般表达式，证明了最佳逼近问题解的存在唯一性，给出了其解的表达式，提出了求解这些问题的算法，并给出了数值例子。

We characterize the optimal value function as the viscosity solution of the associated Hamilton-Jacobi-Bellman equation and we prove that there exists an optimal barrier strategy which is optimal among all admissible dividend strategy in some special cases.

通过HJB方程的粘性解理论来刻画最优值函数，并证明了一些特殊情形下界策略在所有可允许的分红策略中是最优的。

Seed culture conditions of Bacillus licheniformis TS-01 were firstly investigated. The results showed that the optimal growth temperature was 40C;the suitable seed culture medium was beef extract soya peptone medium; the optimal initial pH was 7.5; the optimal seed culture time was

首先对地衣芽孢杆菌TS-01的种子培养条件进行了研究，得到的结果为：最适生长温度为40℃；较适合的种子培养基为牛肉膏大豆蛋白胨培养基；最适初始pH值为7.5；种龄为13h～14h。

Then the optimal bidding strategies of block bidding under uniform and PAB pricing methods are presented. A case study is given. The results show that the optimal bids are higher than power supplier's real costs under uniform and PAB pricing method. The optimal supply function bids under the uniform pricing method are also studied.

在获得等效竞争对手报价概率分布的情况下，进一步研究了统一出清和PAB电价下，按容量段报价的最优报价策略及统一出清电价下按连续供应函数报价的最优报价策略，给出了相关算例，结果表明在统一出清和PAB电价下，最优报价均高于发电厂商的实际成本。

When SL21 was cultivated in the bouillon culture-medium including 2 mol/L NaCl for 48 h at 30℃, the ectoine synthesis amount was 285.1 mg/L. The optimal conditions of Ectoine synthesis was: the optimal temperature was 30℃; the optimal NaCl concentration was 2 mol/L.

用含2molL^(-1)NaCL的肉汤培养基，在30℃条件下，培养48h，诱导生成Ectoine为285.1mgL^(-1)，其Ectoine生成的最适诱导温度是30℃，最适NaCl浓度是2molL^(-1)。

The witness also told the jury at the Royal Courts of Justice in London that he saw a paparazzo fighting with a member of the public who was trying to stop him taking pictures in the minutes before the emergency services arrived.

他还告诉在伦敦皇家法庭的陪审团，在急救服务到来之前，他当时看见一个狗仔队正和一群阻止他拍照的人打架。

The entire N／C program on a tape is made up of an accumulation of these successive data blocks.

纸带上的整个数控程序由这些连续数据单元连接而成。